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.004999 s Remaining CPU time: 179.995 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.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 700 707 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 700 708 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 700 709 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 700 710 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 700 711 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 700 712 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 700 713 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 700 714 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 700 715 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 700 716 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 700 717 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 700 718 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 700 719 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 700 720 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 700 721 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 700 722 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 700 723 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 700 724 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 700 725 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 700 726 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 700 727 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 700 728 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 700 729 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 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.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 700 732 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 700 733 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 700 734 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 700 735 23700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 700 736 24300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 700 737 24900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 700 738 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 700 739 26100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 700 740 26700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 700 741 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 700 742 27900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 700 743 28500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 700 744 29100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 700 745 29700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 700 746 30300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 700 747 30900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 700 748 31500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 700 749 32100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 700 750 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 700 751 33300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 700 752 33900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 700 753 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 700 754 35100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 700 755 35700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 700 756 36300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 700 757 36900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 700 758 37500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 700 759 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 700 760 38700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 700 761 39300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 700 762 39900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 700 763 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 700 764 41100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 700 765 41700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 700 766 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 0 | 700 767 42900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 0 | 700 768 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 700 769 44100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 700 770 44700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 0 | 700 771 45300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 700 772 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 0 | 700 773 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 700 774 47100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 700 775 47700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 700 776 48300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 700 777 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 700 778 49500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 0 | 700 779 50100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 0 | 700 780 50700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 0 | 700 781 51300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 0 | 700 782 51900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 700 783 52500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 0 | 700 784 53100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 0 | 700 785 53700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 0 | 700 786 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 700 787 54900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 0 | 700 788 55500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 0 | 700 789 56100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 700 790 56700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 700 791 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 0 | 700 792 57900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 700 793 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 0 | 700 794 59100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 0 | 700 795 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 0 | 700 796 60300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 0 | 700 797 60900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 0 | 700 798 61500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 700 799 62100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 0 | 700 800 62700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 700 801 63300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 0 | 700 802 63900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 0 | 700 803 64500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 0 | 700 804 65100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 0 | 700 805 65700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 0 | 700 806 66300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 0 | 700 807 66900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 0 | 700 808 67500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 0 | 700 809 68100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 0 | 700 810 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s c =============================================================================== c | 1 | 700 811 69300 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 2 | 700 812 69900 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 2 | 700 813 70500 | 5000 2 248 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 4 | 700 814 71100 | 5000 4 129 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 4 | 700 815 71700 | 5000 4 129 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 6 | 700 816 72300 | 5000 6 88 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 6 | 700 817 72900 | 5000 6 88 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 6 | 700 818 73500 | 5000 6 88 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s c =============================================================================== c | 6 | 700 819 74100 | 5000 6 88 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 8 | 700 820 74700 | 5000 8 188 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 8 | 700 821 75300 | 5000 8 188 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 8 | 700 822 75900 | 5000 8 188 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 8 | 700 823 76500 | 5000 8 188 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 8 | 700 824 77100 | 5000 8 188 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 1.07084 s Remaining CPU time: 178.929 s c =============================================================================== c | 8 | 700 825 77700 | 5000 8 188 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 11 | 700 826 78300 | 5000 11 138 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 11 | 700 827 78900 | 5000 11 138 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 1.12983 s Remaining CPU time: 178.87 s c =============================================================================== c | 11 | 700 828 79500 | 5000 11 138 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 11 | 700 829 80100 | 5000 11 138 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 12 | 700 830 80700 | 5000 12 128 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 12 | 700 831 81300 | 5000 12 128 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s c =============================================================================== c | 12 | 700 832 81900 | 5000 12 128 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 12 | 700 833 82500 | 5000 12 128 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 1.25781 s Remaining CPU time: 178.742 s c =============================================================================== c | 13 | 700 834 83100 | 5000 13 118 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 13 | 700 835 83700 | 5000 13 118 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s c =============================================================================== c | 16 | 700 836 84300 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 1.3268 s Remaining CPU time: 178.673 s c =============================================================================== c | 16 | 700 837 84900 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 16 | 700 838 85500 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s c =============================================================================== c | 16 | 700 839 86100 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 16 | 700 840 86700 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 16 | 700 841 87300 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 16 | 700 842 87900 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 16 | 700 843 88500 | 5000 16 97 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 17 | 700 844 89100 | 5000 17 92 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 18 | 700 845 89700 | 5000 18 112 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 19 | 700 846 90300 | 5000 19 107 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 1.57176 s Remaining CPU time: 178.428 s c =============================================================================== c | 20 | 700 847 90900 | 5000 20 124 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 1.59776 s Remaining CPU time: 178.402 s c =============================================================================== c | 20 | 700 848 91500 | 5000 20 124 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 1.62475 s Remaining CPU time: 178.375 s c =============================================================================== c | 20 | 700 849 92100 | 5000 20 124 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 20 | 700 850 92700 | 5000 20 124 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 20 | 700 851 93300 | 5000 20 124 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 21 | 700 852 93900 | 5000 21 119 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 1.72774 s Remaining CPU time: 178.272 s c =============================================================================== c | 22 | 700 853 94500 | 5000 22 134 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 23 | 700 854 95100 | 5000 23 148 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 1.78173 s Remaining CPU time: 178.218 s c =============================================================================== c | 24 | 700 855 95700 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 1.80872 s Remaining CPU time: 178.191 s c =============================================================================== c | 27 | 700 856 96300 | 5000 27 192 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 1.83372 s Remaining CPU time: 178.166 s c =============================================================================== c | 27 | 700 857 96900 | 5000 27 192 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 1.85972 s Remaining CPU time: 178.14 s c =============================================================================== c | 27 | 700 858 97500 | 5000 27 192 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 1.88671 s Remaining CPU time: 178.113 s c =============================================================================== c | 28 | 700 859 98100 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 28 | 700 860 98700 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 28 | 700 861 99300 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 1.9687 s Remaining CPU time: 178.031 s c =============================================================================== c | 28 | 700 862 99900 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 1.9977 s Remaining CPU time: 178.002 s c =============================================================================== c | 28 | 700 863 100500 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 2.02669 s Remaining CPU time: 177.973 s c =============================================================================== c | 28 | 700 864 101100 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 2.05569 s Remaining CPU time: 177.944 s c =============================================================================== c | 28 | 700 865 101700 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 2.08468 s Remaining CPU time: 177.915 s c =============================================================================== c | 28 | 700 866 102300 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 2.11268 s Remaining CPU time: 177.887 s c =============================================================================== c | 28 | 700 867 102900 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 2.14167 s Remaining CPU time: 177.858 s c =============================================================================== c | 28 | 700 868 103500 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 2.16967 s Remaining CPU time: 177.83 s c =============================================================================== c | 28 | 700 869 104100 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 28 | 700 870 104700 | 5000 28 186 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 2.23166 s Remaining CPU time: 177.768 s c =============================================================================== c | 30 | 700 871 105300 | 5000 30 174 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s c =============================================================================== c | 30 | 700 872 105900 | 5000 30 174 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 32 | 700 873 106500 | 5000 32 164 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 2.32465 s Remaining CPU time: 177.675 s c =============================================================================== c | 34 | 700 874 107100 | 5000 34 155 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 2.35564 s Remaining CPU time: 177.644 s c =============================================================================== c | 35 | 700 875 107700 | 5000 35 151 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 2.38664 s Remaining CPU time: 177.613 s c =============================================================================== c | 35 | 700 876 108300 | 5000 35 151 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 2.41863 s Remaining CPU time: 177.581 s c =============================================================================== c | 35 | 700 877 108900 | 5000 35 151 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 35 | 700 878 109500 | 5000 35 151 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 2.47962 s Remaining CPU time: 177.52 s c =============================================================================== c | 35 | 700 879 110100 | 5000 35 151 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 2.51162 s Remaining CPU time: 177.488 s c =============================================================================== c | 35 | 700 880 110700 | 5000 35 151 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 2.54361 s Remaining CPU time: 177.456 s c =============================================================================== c | 36 | 700 881 111300 | 5000 36 146 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 2.57461 s Remaining CPU time: 177.425 s c =============================================================================== c | 36 | 700 882 111900 | 5000 36 146 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 2.6066 s Remaining CPU time: 177.393 s c =============================================================================== c | 36 | 700 883 112500 | 5000 36 146 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 2.6406 s Remaining CPU time: 177.359 s c =============================================================================== c | 40 | 700 884 113100 | 5000 40 133 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 2.67459 s Remaining CPU time: 177.325 s c =============================================================================== c | 46 | 700 885 113700 | 5000 46 118 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 2.70959 s Remaining CPU time: 177.29 s c =============================================================================== c | 47 | 700 886 114300 | 5000 47 125 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 2.74158 s Remaining CPU time: 177.258 s c =============================================================================== c | 47 | 700 887 114900 | 5000 47 125 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 2.77558 s Remaining CPU time: 177.224 s c =============================================================================== c | 51 | 700 888 115500 | 5000 51 148 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 2.80757 s Remaining CPU time: 177.192 s c =============================================================================== c | 51 | 700 889 116100 | 5000 51 148 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 2.84157 s Remaining CPU time: 177.158 s c =============================================================================== c | 51 | 700 890 116700 | 5000 51 148 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 2.87556 s Remaining CPU time: 177.124 s c =============================================================================== c | 51 | 700 891 117300 | 5000 51 148 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s c =============================================================================== c | 51 | 700 892 117900 | 5000 51 148 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 2.94455 s Remaining CPU time: 177.055 s c =============================================================================== c | 51 | 700 893 118500 | 5000 51 148 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 2.97855 s Remaining CPU time: 177.021 s c =============================================================================== c | 51 | 700 894 119100 | 5000 51 148 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 3.01454 s Remaining CPU time: 176.985 s c =============================================================================== c | 52 | 700 895 119700 | 5000 52 145 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 3.04854 s Remaining CPU time: 176.951 s c =============================================================================== c | 56 | 700 896 120300 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 3.08553 s Remaining CPU time: 176.914 s c =============================================================================== c | 56 | 700 897 120900 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 3.12052 s Remaining CPU time: 176.879 s c =============================================================================== c | 56 | 700 898 121500 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 3.15752 s Remaining CPU time: 176.842 s c =============================================================================== c | 56 | 700 899 122100 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 3.19351 s Remaining CPU time: 176.806 s c =============================================================================== c | 57 | 700 900 122700 | 5000 57 133 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 3.22751 s Remaining CPU time: 176.772 s c =============================================================================== c | 57 | 700 901 123300 | 5000 57 133 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 3.2645 s Remaining CPU time: 176.735 s c =============================================================================== c | 57 | 700 902 123900 | 5000 57 133 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 3.3015 s Remaining CPU time: 176.699 s c =============================================================================== c | 58 | 700 903 124500 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 3.33849 s Remaining CPU time: 176.662 s c =============================================================================== c | 58 | 700 904 125100 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 3.37649 s Remaining CPU time: 176.624 s c =============================================================================== c | 60 | 700 905 125700 | 5000 60 140 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 60 | 700 906 126300 | 5000 60 140 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s c =============================================================================== c | 60 | 700 907 126900 | 5000 60 140 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 3.49247 s Remaining CPU time: 176.508 s c =============================================================================== c | 62 | 700 908 127500 | 5000 62 149 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 3.53146 s Remaining CPU time: 176.469 s c =============================================================================== c | 62 | 700 909 128100 | 5000 62 149 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 3.57046 s Remaining CPU time: 176.43 s c =============================================================================== c | 66 | 700 910 128700 | 5000 66 142 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 3.61045 s Remaining CPU time: 176.39 s c =============================================================================== c | 68 | 700 911 129300 | 5000 68 149 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 3.64945 s Remaining CPU time: 176.351 s c =============================================================================== c | 69 | 700 912 129900 | 5000 69 153 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 3.68944 s Remaining CPU time: 176.311 s c =============================================================================== c | 70 | 700 913 130500 | 5000 70 156 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 3.73043 s Remaining CPU time: 176.27 s c =============================================================================== c | 71 | 700 914 131100 | 5000 71 159 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 3.77143 s Remaining CPU time: 176.229 s c =============================================================================== c | 71 | 700 915 131700 | 5000 71 159 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 3.81042 s Remaining CPU time: 176.19 s c =============================================================================== c | 72 | 700 916 132300 | 5000 72 163 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 3.85041 s Remaining CPU time: 176.15 s c =============================================================================== c | 72 | 700 917 132900 | 5000 72 163 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 3.89041 s Remaining CPU time: 176.11 s c =============================================================================== c | 75 | 700 918 133500 | 5000 75 162 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 3.9314 s Remaining CPU time: 176.069 s c =============================================================================== c | 75 | 700 919 134100 | 5000 75 162 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 3.9714 s Remaining CPU time: 176.029 s c =============================================================================== c | 76 | 700 920 134700 | 5000 76 164 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 4.01239 s Remaining CPU time: 175.988 s c =============================================================================== c | 81 | 700 921 135300 | 5000 81 155 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 4.05438 s Remaining CPU time: 175.946 s c =============================================================================== c | 82 | 700 922 135900 | 5000 82 158 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 4.09538 s Remaining CPU time: 175.905 s c =============================================================================== c | 82 | 700 923 136500 | 5000 82 158 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 4.13737 s Remaining CPU time: 175.863 s c =============================================================================== c | 85 | 700 924 137100 | 5000 85 157 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 4.17936 s Remaining CPU time: 175.821 s c =============================================================================== c | 85 | 700 925 137700 | 5000 85 157 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 4.22036 s Remaining CPU time: 175.78 s c =============================================================================== c | 86 | 700 926 138300 | 5000 86 160 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 4.26135 s Remaining CPU time: 175.739 s c =============================================================================== c | 87 | 700 927 138900 | 5000 87 162 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 4.30234 s Remaining CPU time: 175.698 s c =============================================================================== c | 87 | 700 928 139500 | 5000 87 162 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 4.34434 s Remaining CPU time: 175.656 s c =============================================================================== c | 87 | 700 929 140100 | 5000 87 162 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 4.38733 s Remaining CPU time: 175.613 s c =============================================================================== c | 88 | 700 930 140700 | 5000 88 165 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 4.43033 s Remaining CPU time: 175.57 s c =============================================================================== c | 89 | 700 931 141300 | 5000 89 167 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 4.47332 s Remaining CPU time: 175.527 s c =============================================================================== c | 91 | 700 932 141900 | 5000 91 168 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 4.51731 s Remaining CPU time: 175.483 s c =============================================================================== c | 100 | 700 933 142500 | 5000 100 158 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 4.56131 s Remaining CPU time: 175.439 s c =============================================================================== c | 106 | 700 934 143100 | 5000 106 153 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 4.6063 s Remaining CPU time: 175.394 s c =============================================================================== c | 115 | 700 935 143700 | 5000 115 155 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 4.67429 s Remaining CPU time: 175.326 s c =============================================================================== c | 170 | 700 936 144300 | 5000 170 212 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 4.71628 s Remaining CPU time: 175.284 s c =============================================================================== c | 170 | 700 937 144900 | 5000 170 212 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 4.75928 s Remaining CPU time: 175.241 s c =============================================================================== c | 170 | 700 938 145500 | 5000 170 212 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 4.80327 s Remaining CPU time: 175.197 s c =============================================================================== c | 171 | 700 939 146100 | 5000 171 210 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 4.84726 s Remaining CPU time: 175.153 s c =============================================================================== c | 171 | 700 940 146700 | 5000 171 210 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 4.89026 s Remaining CPU time: 175.11 s c =============================================================================== c | 172 | 700 941 147300 | 5000 172 209 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 4.93425 s Remaining CPU time: 175.066 s c =============================================================================== c | 172 | 700 942 147900 | 5000 172 209 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 4.97724 s Remaining CPU time: 175.023 s c =============================================================================== c | 173 | 700 943 148500 | 5000 173 208 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 5.02024 s Remaining CPU time: 174.98 s c =============================================================================== c | 173 | 700 944 149100 | 5000 173 208 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 5.06423 s Remaining CPU time: 174.936 s c =============================================================================== c | 173 | 700 945 149700 | 5000 173 208 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 5.10822 s Remaining CPU time: 174.892 s c =============================================================================== c | 174 | 700 946 150300 | 5000 174 207 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 5.15122 s Remaining CPU time: 174.849 s c =============================================================================== c | 179 | 700 947 150900 | 5000 179 202 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 5.19521 s Remaining CPU time: 174.805 s c =============================================================================== c | 179 | 700 948 151500 | 5000 179 202 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 5.2402 s Remaining CPU time: 174.76 s c =============================================================================== c | 181 | 700 949 152100 | 5000 181 202 | 0.000 % | c | 281 | 700 949 152100 | 5500 281 257 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 5.36518 s Remaining CPU time: 174.635 s c =============================================================================== c | 283 | 700 950 152700 | 5000 283 255 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 5.40818 s Remaining CPU time: 174.592 s c =============================================================================== c | 283 | 700 951 153300 | 5000 283 255 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 5.45217 s Remaining CPU time: 174.548 s c =============================================================================== c | 283 | 700 952 153900 | 5000 283 255 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 5.49516 s Remaining CPU time: 174.505 s c =============================================================================== c | 284 | 700 953 154500 | 5000 284 254 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 5.54016 s Remaining CPU time: 174.46 s c =============================================================================== c | 287 | 700 954 155100 | 5000 287 252 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 5.58415 s Remaining CPU time: 174.416 s c =============================================================================== c | 288 | 700 955 155700 | 5000 288 251 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 5.62814 s Remaining CPU time: 174.372 s c =============================================================================== c | 288 | 700 956 156300 | 5000 288 251 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 291 | 700 957 156900 | 5000 291 249 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 5.71713 s Remaining CPU time: 174.283 s c =============================================================================== c | 297 | 700 958 157500 | 5000 297 244 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 5.76512 s Remaining CPU time: 174.235 s c =============================================================================== c | 310 | 700 959 158100 | 5000 310 237 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 5.81112 s Remaining CPU time: 174.189 s c =============================================================================== c | 312 | 700 960 158700 | 5000 312 238 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 5.85511 s Remaining CPU time: 174.145 s c =============================================================================== c | 312 | 700 961 159300 | 5000 312 238 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 5.9001 s Remaining CPU time: 174.1 s c =============================================================================== c | 312 | 700 962 159900 | 5000 312 238 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 5.9511 s Remaining CPU time: 174.049 s c =============================================================================== c | 328 | 700 963 160500 | 5000 328 242 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 5.99609 s Remaining CPU time: 174.004 s c =============================================================================== c | 328 | 700 964 161100 | 5000 328 242 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 6.04208 s Remaining CPU time: 173.958 s c =============================================================================== c | 329 | 700 965 161700 | 5000 329 241 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 6.08707 s Remaining CPU time: 173.913 s c =============================================================================== c | 329 | 700 966 162300 | 5000 329 241 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 6.13207 s Remaining CPU time: 173.868 s c =============================================================================== c | 330 | 700 967 162900 | 5000 330 241 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 6.17806 s Remaining CPU time: 173.822 s c =============================================================================== c | 332 | 700 968 163500 | 5000 332 239 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 6.22305 s Remaining CPU time: 173.777 s c =============================================================================== c | 338 | 700 969 164100 | 5000 338 235 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 6.27005 s Remaining CPU time: 173.73 s c =============================================================================== c | 342 | 700 970 164700 | 5000 342 234 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 6.31504 s Remaining CPU time: 173.685 s c =============================================================================== c | 343 | 700 971 165300 | 5000 343 234 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 6.36103 s Remaining CPU time: 173.639 s c =============================================================================== c | 344 | 700 972 165900 | 5000 344 233 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 6.40803 s Remaining CPU time: 173.592 s c =============================================================================== c | 345 | 700 973 166500 | 5000 345 233 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 6.45402 s Remaining CPU time: 173.546 s c =============================================================================== c | 345 | 700 974 167100 | 5000 345 233 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 6.50101 s Remaining CPU time: 173.499 s c =============================================================================== c | 347 | 700 975 167700 | 5000 347 231 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 6.548 s Remaining CPU time: 173.452 s c =============================================================================== c | 347 | 700 976 168300 | 5000 347 231 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 6.595 s Remaining CPU time: 173.405 s c =============================================================================== c | 349 | 700 977 168900 | 5000 349 231 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 6.64199 s Remaining CPU time: 173.358 s c =============================================================================== c | 349 | 700 978 169500 | 5000 349 231 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 6.68898 s Remaining CPU time: 173.311 s c =============================================================================== c | 349 | 700 979 170100 | 5000 349 231 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 6.73597 s Remaining CPU time: 173.264 s c =============================================================================== c | 349 | 700 980 170700 | 5000 349 231 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 6.78297 s Remaining CPU time: 173.217 s c =============================================================================== c | 350 | 700 981 171300 | 5000 350 230 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 6.82996 s Remaining CPU time: 173.17 s c =============================================================================== c | 354 | 700 982 171900 | 5000 354 228 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 6.87695 s Remaining CPU time: 173.123 s c =============================================================================== c | 354 | 700 983 172500 | 5000 354 228 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 6.92395 s Remaining CPU time: 173.076 s c =============================================================================== c | 354 | 700 984 173100 | 5000 354 228 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 6.97394 s Remaining CPU time: 173.026 s c =============================================================================== c | 363 | 700 985 173700 | 5000 363 230 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 7.02093 s Remaining CPU time: 172.979 s c =============================================================================== c | 367 | 700 986 174300 | 5000 367 228 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 7.06893 s Remaining CPU time: 172.931 s c =============================================================================== c | 374 | 700 987 174900 | 5000 374 225 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 7.11992 s Remaining CPU time: 172.88 s c =============================================================================== c | 377 | 700 988 175500 | 5000 377 225 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 7.16991 s Remaining CPU time: 172.83 s c =============================================================================== c | 380 | 700 989 176100 | 5000 380 225 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 7.2199 s Remaining CPU time: 172.78 s c =============================================================================== c | 381 | 700 990 176700 | 5000 381 225 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 7.26989 s Remaining CPU time: 172.73 s c =============================================================================== c | 381 | 700 991 177300 | 5000 381 225 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 7.31989 s Remaining CPU time: 172.68 s c =============================================================================== c | 382 | 700 992 177900 | 5000 382 225 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 7.36888 s Remaining CPU time: 172.631 s c =============================================================================== c | 382 | 700 993 178500 | 5000 382 225 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 7.42287 s Remaining CPU time: 172.577 s c =============================================================================== c | 388 | 700 994 179100 | 5000 388 225 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 7.47386 s Remaining CPU time: 172.526 s c =============================================================================== c | 392 | 700 995 179700 | 5000 392 225 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 7.52785 s Remaining CPU time: 172.472 s c =============================================================================== c | 399 | 700 996 180300 | 5000 399 222 | 0.000 % | c | 499 | 700 996 180300 | 5500 499 238 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 7.66883 s Remaining CPU time: 172.331 s c =============================================================================== c | 508 | 700 997 180900 | 5000 508 234 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 7.72083 s Remaining CPU time: 172.279 s c =============================================================================== c | 512 | 700 998 181500 | 5000 512 232 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 7.77182 s Remaining CPU time: 172.228 s c =============================================================================== c | 515 | 700 999 182100 | 5000 515 231 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 7.82381 s Remaining CPU time: 172.176 s c =============================================================================== c | 515 | 700 1000 182700 | 5000 515 231 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 7.8728 s Remaining CPU time: 172.127 s c =============================================================================== c | 515 | 700 1001 183300 | 5000 515 231 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 7.9238 s Remaining CPU time: 172.076 s c =============================================================================== c | 516 | 700 1002 183900 | 5000 516 231 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 7.97579 s Remaining CPU time: 172.024 s c =============================================================================== c | 517 | 700 1003 184500 | 5000 517 231 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 8.02778 s Remaining CPU time: 171.972 s c =============================================================================== c | 519 | 700 1004 185100 | 5000 519 231 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 8.07877 s Remaining CPU time: 171.921 s c =============================================================================== c | 521 | 700 1005 185700 | 5000 521 230 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 8.13076 s Remaining CPU time: 171.869 s c =============================================================================== c | 521 | 700 1006 186300 | 5000 521 230 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 8.18276 s Remaining CPU time: 171.817 s c =============================================================================== c | 521 | 700 1007 186900 | 5000 521 230 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 8.23475 s Remaining CPU time: 171.765 s c =============================================================================== c | 521 | 700 1008 187500 | 5000 521 230 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 8.28674 s Remaining CPU time: 171.713 s c =============================================================================== c | 521 | 700 1009 188100 | 5000 521 230 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 8.33873 s Remaining CPU time: 171.661 s c =============================================================================== c | 523 | 700 1010 188700 | 5000 523 230 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 8.39072 s Remaining CPU time: 171.609 s c =============================================================================== c | 526 | 700 1011 189300 | 5000 526 229 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 8.44772 s Remaining CPU time: 171.552 s c =============================================================================== c | 538 | 700 1012 189900 | 5000 538 230 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 8.50171 s Remaining CPU time: 171.498 s c =============================================================================== c | 576 | 700 1013 190500 | 5000 576 217 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 8.59869 s Remaining CPU time: 171.401 s c =============================================================================== c | 648 | 700 1014 191100 | 5000 648 225 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 8.65168 s Remaining CPU time: 171.348 s c =============================================================================== c | 650 | 700 1015 191700 | 5000 650 225 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 8.70668 s Remaining CPU time: 171.293 s c =============================================================================== c | 651 | 700 1016 192300 | 5000 651 224 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 8.76167 s Remaining CPU time: 171.238 s c =============================================================================== c | 656 | 700 1017 192900 | 5000 656 223 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 8.81666 s Remaining CPU time: 171.183 s c =============================================================================== c | 662 | 700 1018 193500 | 5000 662 221 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 8.87165 s Remaining CPU time: 171.128 s c =============================================================================== c | 667 | 700 1019 194100 | 5000 667 220 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 8.92664 s Remaining CPU time: 171.073 s c =============================================================================== c | 672 | 700 1020 194700 | 5000 672 219 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 8.98063 s Remaining CPU time: 171.019 s c =============================================================================== c | 675 | 700 1021 195300 | 5000 675 218 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 9.03763 s Remaining CPU time: 170.962 s c =============================================================================== c | 680 | 700 1022 195900 | 5000 680 218 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 9.09262 s Remaining CPU time: 170.907 s c =============================================================================== c | 683 | 700 1023 196500 | 5000 683 218 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 9.14561 s Remaining CPU time: 170.854 s c =============================================================================== c | 684 | 700 1024 197100 | 5000 684 218 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 9.2006 s Remaining CPU time: 170.799 s c =============================================================================== c | 688 | 700 1025 197700 | 5000 688 217 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 9.25559 s Remaining CPU time: 170.744 s c =============================================================================== c | 706 | 700 1026 198300 | 5000 706 212 | 0.000 % | c | 807 | 700 1026 198300 | 5500 807 221 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 9.41657 s Remaining CPU time: 170.583 s c =============================================================================== c | 808 | 700 1027 198900 | 5000 808 221 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 9.46956 s Remaining CPU time: 170.53 s c =============================================================================== c | 808 | 700 1028 199500 | 5000 808 221 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 9.52355 s Remaining CPU time: 170.476 s c =============================================================================== c | 809 | 700 1029 200100 | 5000 809 221 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 9.57554 s Remaining CPU time: 170.424 s c =============================================================================== c | 810 | 700 1030 200700 | 5000 810 220 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 9.62854 s Remaining CPU time: 170.371 s c =============================================================================== c | 813 | 700 1031 201300 | 5000 813 220 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 9.68253 s Remaining CPU time: 170.317 s c =============================================================================== c | 828 | 700 1032 201900 | 5000 828 216 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 9.81351 s Remaining CPU time: 170.186 s c =============================================================================== c | 922 | 700 1033 202500 | 5000 922 222 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 9.8655 s Remaining CPU time: 170.135 s c =============================================================================== c | 923 | 700 1034 203100 | 5000 923 222 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 9.91849 s Remaining CPU time: 170.082 s c =============================================================================== c | 928 | 700 1035 203700 | 5000 928 221 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 9.97048 s Remaining CPU time: 170.03 s c =============================================================================== c | 928 | 700 1036 204300 | 5000 928 221 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 10.0215 s Remaining CPU time: 169.979 s c =============================================================================== c | 928 | 700 1037 204900 | 5000 928 221 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 10.0735 s Remaining CPU time: 169.927 s c =============================================================================== c | 928 | 700 1038 205500 | 5000 928 221 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 10.1265 s Remaining CPU time: 169.874 s c =============================================================================== c | 928 | 700 1039 206100 | 5000 928 221 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 10.1795 s Remaining CPU time: 169.821 s c =============================================================================== c | 928 | 700 1040 206700 | 5000 928 221 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 10.2324 s Remaining CPU time: 169.768 s c =============================================================================== c | 928 | 700 1041 207300 | 5000 928 221 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 10.2874 s Remaining CPU time: 169.713 s c =============================================================================== c | 986 | 700 1042 207900 | 5000 986 210 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 10.3584 s Remaining CPU time: 169.642 s c =============================================================================== c | 1007 | 700 1043 208500 | 5000 1007 211 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 10.4094 s Remaining CPU time: 169.591 s c =============================================================================== c | 1015 | 700 1044 209100 | 5000 1015 210 | 0.000 % | c | 1117 | 700 1044 209100 | 5500 1117 211 | 0.000 % | c | 1267 | 700 1044 209100 | 6050 1267 193 | 0.000 % | c | 1492 | 700 1044 209100 | 6655 1492 204 | 0.000 % | c | 1829 | 700 1044 209100 | 7320 1829 173 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 10.9173 s Remaining CPU time: 169.083 s c =============================================================================== c | 1848 | 700 1045 209700 | 5000 1848 174 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 10.9693 s Remaining CPU time: 169.031 s c =============================================================================== c | 1855 | 700 1046 210300 | 5000 1855 173 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 11.0203 s Remaining CPU time: 168.98 s c =============================================================================== c | 1857 | 700 1047 210900 | 5000 1857 173 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 11.0723 s Remaining CPU time: 168.928 s c =============================================================================== c | 1877 | 700 1048 211500 | 5000 1877 172 | 0.000 % | c | 1979 | 700 1048 211500 | 5500 1979 176 | 0.000 % | c | 2129 | 700 1048 211500 | 6050 2129 167 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 11.3253 s Remaining CPU time: 168.675 s c =============================================================================== c | 2138 | 700 1049 212100 | 5000 2138 167 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 11.3773 s Remaining CPU time: 168.623 s c =============================================================================== c | 2140 | 700 1050 212700 | 5000 2140 167 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 11.4283 s Remaining CPU time: 168.572 s c =============================================================================== c | 2142 | 700 1051 213300 | 5000 2142 167 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 11.4793 s Remaining CPU time: 168.521 s c =============================================================================== c | 2147 | 700 1052 213900 | 5000 2147 167 | 0.000 % | c | 2247 | 700 1052 213900 | 5500 2247 170 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 11.6122 s Remaining CPU time: 168.388 s c =============================================================================== c | 2247 | 700 1053 214500 | 5000 2247 170 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 11.6662 s Remaining CPU time: 168.334 s c =============================================================================== c | 2308 | 700 1054 215100 | 5000 2308 167 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 11.8172 s Remaining CPU time: 168.183 s c =============================================================================== c | 2378 | 700 1055 215700 | 5000 2378 169 | 0.000 % | c | 2478 | 700 1055 215700 | 5500 2478 164 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 11.9742 s Remaining CPU time: 168.026 s c =============================================================================== c | 2526 | 700 1056 216300 | 5000 2526 165 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 12.0262 s Remaining CPU time: 167.974 s c =============================================================================== c | 2547 | 700 1057 216900 | 5000 2547 164 | 0.000 % | c | 2648 | 700 1057 216900 | 5500 2648 168 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 12.1592 s Remaining CPU time: 167.841 s c =============================================================================== c | 2700 | 700 1058 217500 | 5000 2700 165 | 0.000 % | c | 2800 | 700 1058 217500 | 5500 2800 168 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 12.3971 s Remaining CPU time: 167.603 s c =============================================================================== c | 2805 | 700 1059 218100 | 5000 2805 168 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 12.4501 s Remaining CPU time: 167.55 s c =============================================================================== c | 2807 | 700 1060 218700 | 5000 2807 168 | 0.000 % | c | 2907 | 700 1060 218700 | 5500 2907 169 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 12.6021 s Remaining CPU time: 167.398 s c =============================================================================== c | 2937 | 700 1061 219300 | 5000 2937 167 | 0.000 % | c | 3038 | 700 1061 219300 | 5500 3038 170 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 12.8071 s Remaining CPU time: 167.193 s c =============================================================================== c | 3043 | 700 1062 219900 | 5000 3043 170 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 12.861 s Remaining CPU time: 167.139 s c =============================================================================== c | 3072 | 700 1063 220500 | 5000 3072 168 | 0.000 % | c | 3172 | 700 1063 220500 | 5500 3172 171 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 13.059 s Remaining CPU time: 166.941 s c =============================================================================== c | 3178 | 700 1064 221100 | 5000 3178 171 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 13.111 s Remaining CPU time: 166.889 s c =============================================================================== c | 3215 | 700 1065 221700 | 5000 3215 169 | 0.000 % | c | 3316 | 700 1065 221700 | 5500 3316 171 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 13.327 s Remaining CPU time: 166.673 s c =============================================================================== c | 3343 | 700 1066 222300 | 5000 3343 170 | 0.000 % | c | 3443 | 700 1066 222300 | 5500 3443 172 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 13.5099 s Remaining CPU time: 166.49 s c =============================================================================== c | 3461 | 700 1067 222900 | 5000 3461 171 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 13.5659 s Remaining CPU time: 166.434 s c =============================================================================== c | 3476 | 700 1068 223500 | 5000 3476 172 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 13.6169 s Remaining CPU time: 166.383 s c =============================================================================== c | 3482 | 700 1069 224100 | 5000 3482 171 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 13.6769 s Remaining CPU time: 166.323 s c =============================================================================== c | 3508 | 700 1070 224700 | 5000 3508 172 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 13.7299 s Remaining CPU time: 166.27 s c =============================================================================== c | 3554 | 700 1071 225300 | 5000 3554 170 | 0.000 % | c | 3654 | 700 1071 225300 | 5500 3654 172 | 0.000 % | c | 3804 | 700 1071 225300 | 6050 3804 166 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 14.2328 s Remaining CPU time: 165.767 s c =============================================================================== c | 3918 | 700 1072 225900 | 5000 3918 168 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 14.2888 s Remaining CPU time: 165.711 s c =============================================================================== c | 3973 | 700 1073 226500 | 5000 3973 167 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 14.3788 s Remaining CPU time: 165.621 s c =============================================================================== c | 4004 | 700 1074 227100 | 5000 4004 167 | 0.000 % | c | 4105 | 700 1074 227100 | 5500 4105 164 | 0.000 % | c | 4255 | 700 1074 227100 | 6050 4255 166 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 14.7967 s Remaining CPU time: 165.203 s c =============================================================================== c | 4383 | 700 1075 227700 | 5000 4383 163 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 14.8827 s Remaining CPU time: 165.117 s c =============================================================================== c | 4396 | 700 1076 228300 | 5000 4396 163 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 14.9387 s Remaining CPU time: 165.061 s c =============================================================================== c | 4453 | 700 1077 228900 | 5000 4453 161 | 0.000 % | c | 4553 | 700 1077 228900 | 5500 4553 163 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 15.2107 s Remaining CPU time: 164.789 s c =============================================================================== c | 4593 | 700 1078 229500 | 5000 4593 162 | 0.000 % | c | 4693 | 700 1078 229500 | 5500 4693 163 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 15.5596 s Remaining CPU time: 164.44 s c =============================================================================== c | 4761 | 700 1079 230100 | 5000 4761 163 | 0.000 % | c | 4861 | 700 1079 230100 | 5500 4861 160 | 0.000 % | c | 5012 | 700 1079 230100 | 6050 5012 162 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 15.9816 s Remaining CPU time: 164.018 s c =============================================================================== c | 5029 | 700 1080 230700 | 5000 5029 162 | 0.000 % | c | 5129 | 700 1080 230700 | 5500 2615 147 | 0.000 % | c | 5279 | 700 1080 230700 | 6050 2765 145 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 16.2275 s Remaining CPU time: 163.772 s c =============================================================================== c | 5312 | 700 1081 231300 | 5000 2798 144 | 0.000 % | c | 5412 | 700 1081 231300 | 5500 2898 147 | 0.000 % | c | 5562 | 700 1081 231300 | 6050 3048 141 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 16.9074 s Remaining CPU time: 163.093 s c =============================================================================== c | 5733 | 700 1082 231900 | 5000 3219 146 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 16.9604 s Remaining CPU time: 163.04 s c =============================================================================== c | 5776 | 700 1083 232500 | 5000 3262 144 | 0.000 % | c | 5877 | 700 1083 232500 | 5500 3363 147 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 17.1734 s Remaining CPU time: 162.827 s c =============================================================================== c | 5891 | 700 1084 233100 | 5000 3377 146 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 17.2274 s Remaining CPU time: 162.773 s c =============================================================================== c | 5897 | 700 1085 233700 | 5000 3383 146 | 0.000 % | c | 5997 | 700 1085 233700 | 5500 3483 145 | 0.000 % | c | 6148 | 700 1085 233700 | 6050 3634 149 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 17.4973 s Remaining CPU time: 162.503 s c =============================================================================== c | 6228 | 700 1086 234300 | 5000 3714 146 | 0.000 % | c | 6330 | 700 1086 234300 | 5500 3816 148 | 0.000 % | c | 6481 | 700 1086 234300 | 6050 3967 144 | 0.000 % | c | 6708 | 700 1086 234300 | 6655 4194 148 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 18.1612 s Remaining CPU time: 161.839 s c =============================================================================== c | 6855 | 700 1087 234900 | 5000 4341 145 | 0.000 % | c | 6955 | 700 1087 234900 | 5500 4441 146 | 0.000 % | c | 7105 | 700 1087 234900 | 6050 4591 149 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 18.6892 s Remaining CPU time: 161.311 s c =============================================================================== c | 7112 | 700 1088 235500 | 5000 4598 149 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 18.7421 s Remaining CPU time: 161.258 s c =============================================================================== c | 7157 | 700 1089 236100 | 5000 4643 148 | 0.000 % | c | 7257 | 700 1089 236100 | 5500 4743 149 | 0.000 % | c | 7407 | 700 1089 236100 | 6050 4893 146 | 0.000 % | c | 7632 | 700 1089 236100 | 6655 5118 149 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 19.2251 s Remaining CPU time: 160.775 s c =============================================================================== c | 7633 | 700 1090 236700 | 5000 5119 149 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 19.2831 s Remaining CPU time: 160.717 s c =============================================================================== c | 7633 | 700 1091 237300 | 5000 2560 138 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 19.3351 s Remaining CPU time: 160.665 s c =============================================================================== c | 7637 | 700 1092 237900 | 5000 2564 137 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 19.3871 s Remaining CPU time: 160.613 s c =============================================================================== c | 7653 | 700 1093 238500 | 5000 2580 137 | 0.000 % | c | 7753 | 700 1093 238500 | 5500 2680 140 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 19.528 s Remaining CPU time: 160.472 s c =============================================================================== c | 7800 | 700 1094 239100 | 5000 2727 138 | 0.000 % | c | 7901 | 700 1094 239100 | 5500 2828 141 | 0.000 % | c | 8051 | 700 1094 239100 | 6050 2978 143 | 0.000 % | c | 8276 | 700 1094 239100 | 6655 3203 135 | 0.000 % | c | 8613 | 700 1094 239100 | 7320 3540 143 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 20.5589 s Remaining CPU time: 159.441 s c =============================================================================== c | 8621 | 700 1095 239700 | 5000 3548 142 | 0.000 % | c | 8721 | 700 1095 239700 | 5500 3648 140 | 0.000 % | c | 8871 | 700 1095 239700 | 6050 3798 143 | 0.000 % | c | 9096 | 700 1095 239700 | 6655 4023 141 | 0.000 % | c | 9433 | 700 1095 239700 | 7320 4360 138 | 0.000 % | c | 9939 | 700 1095 239700 | 8052 4866 143 | 0.000 % | c | 10698 | 700 1095 239700 | 8857 5625 150 | 0.000 % | c | 11837 | 700 1095 239700 | 9743 6764 160 | 0.000 % | c | 13547 | 700 1095 239700 | 10717 8474 168 | 0.000 % | c | 16109 | 700 1095 239700 | 11789 5569 195 | 0.000 % | c | 19953 | 700 1095 239700 | 12968 9413 197 | 0.000 % | c | 25719 | 700 1095 239700 | 14265 8566 196 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 43.1284 s Remaining CPU time: 136.872 s c =============================================================================== c | 32641 | 700 1096 240300 | 5000 8245 202 | 0.000 % | c | 32741 | 700 1096 240300 | 5500 4223 203 | 0.000 % | c | 32891 | 700 1096 240300 | 6050 4373 203 | 0.000 % | c | 33116 | 700 1096 240300 | 6655 4598 199 | 0.000 % | c | 33453 | 700 1096 240300 | 7320 4935 199 | 0.000 % | c | 33959 | 700 1096 240300 | 8052 5441 199 | 0.000 % | c | 34719 | 700 1096 240300 | 8857 6201 200 | 0.000 % | c | 35858 | 700 1096 240300 | 9743 7340 201 | 0.000 % | c | 37566 | 700 1096 240300 | 10717 9048 201 | 0.000 % | c | 40128 | 700 1096 240300 | 11789 6141 189 | 0.000 % | c | 43972 | 700 1096 240300 | 12968 9985 197 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 56.8344 s Remaining CPU time: 123.166 s c =============================================================================== c | 47825 | 700 1097 240900 | 5000 7244 201 | 0.000 % | c | 47925 | 700 1097 240900 | 5500 3722 190 | 0.000 % | c | 48076 | 700 1097 240900 | 6050 3873 191 | 0.000 % | c | 48301 | 700 1097 240900 | 6655 4098 188 | 0.000 % | c | 48638 | 700 1097 240900 | 7320 4435 189 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 57.6492 s Remaining CPU time: 122.351 s c =============================================================================== c | 48692 | 700 1098 241500 | 5000 4489 187 | 0.000 % | c | 48792 | 700 1098 241500 | 5500 4589 188 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 57.9322 s Remaining CPU time: 122.068 s c =============================================================================== c | 48803 | 700 1099 242100 | 5000 4600 187 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 57.9832 s Remaining CPU time: 122.017 s c =============================================================================== c | 48804 | 700 1100 242700 | 5000 4601 187 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 58.0342 s Remaining CPU time: 121.966 s c =============================================================================== c | 48806 | 700 1101 243300 | 5000 4603 187 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 58.0832 s Remaining CPU time: 121.917 s c =============================================================================== c | 48809 | 700 1102 243900 | 5000 4606 187 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 58.1332 s Remaining CPU time: 121.867 s c =============================================================================== c | 48810 | 700 1103 244500 | 5000 4607 187 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 58.1832 s Remaining CPU time: 121.817 s c =============================================================================== c | 48811 | 700 1104 245100 | 5000 4608 187 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 58.2331 s Remaining CPU time: 121.767 s c =============================================================================== c | 48812 | 700 1105 245700 | 5000 4609 187 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 58.2911 s Remaining CPU time: 121.709 s c =============================================================================== c | 48826 | 700 1106 246300 | 5000 4623 187 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 58.3411 s Remaining CPU time: 121.659 s c =============================================================================== c | 48833 | 700 1107 246900 | 5000 4630 187 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 58.3921 s Remaining CPU time: 121.608 s c =============================================================================== c | 48833 | 700 1108 247500 | 5000 4630 187 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 58.4411 s Remaining CPU time: 121.559 s c =============================================================================== c | 48833 | 700 1109 248100 | 5000 4630 187 | 0.000 % | c | 48933 | 700 1109 248100 | 5500 4730 187 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 58.6351 s Remaining CPU time: 121.365 s c =============================================================================== c | 49029 | 700 1110 248700 | 5000 4826 187 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 58.6881 s Remaining CPU time: 121.312 s c =============================================================================== c | 49066 | 700 1111 249300 | 5000 4863 186 | 0.000 % | c | 49167 | 700 1111 249300 | 5500 4964 186 | 0.000 % | c | 49317 | 700 1111 249300 | 6050 5114 184 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 58.957 s Remaining CPU time: 121.043 s c =============================================================================== c | 49494 | 700 1112 249900 | 5000 5291 179 | 0.000 % | c | 49594 | 700 1112 249900 | 5500 2746 156 | 0.000 % | c | 49744 | 700 1112 249900 | 6050 2896 154 | 0.000 % | c | 49969 | 700 1112 249900 | 6655 3121 154 | 0.000 % | c | 50306 | 700 1112 249900 | 7320 3458 157 | 0.000 % | c | 50813 | 700 1112 249900 | 8052 3965 159 | 0.000 % | c | 51573 | 700 1112 249900 | 8857 4725 164 | 0.000 % | c | 52712 | 700 1112 249900 | 9743 5864 172 | 0.000 % | c | 54420 | 700 1112 249900 | 10717 7572 176 | 0.000 % | c | 56982 | 700 1112 249900 | 11789 10134 181 | 0.000 % | c | 60826 | 700 1112 249900 | 12968 7978 187 | 0.000 % | c | 66592 | 700 1112 249900 | 14265 7148 188 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 76.3414 s Remaining CPU time: 103.659 s c =============================================================================== c | 69133 | 700 1113 250500 | 5000 9689 189 | 0.000 % | c | 69233 | 700 1113 250500 | 5500 4945 181 | 0.000 % | c | 69383 | 700 1113 250500 | 6050 5095 182 | 0.000 % | c | 69608 | 700 1113 250500 | 6655 5320 181 | 0.000 % | c | 69945 | 700 1113 250500 | 7320 5657 181 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 77.5222 s Remaining CPU time: 102.478 s c =============================================================================== c | 70239 | 700 1114 251100 | 5000 5951 181 | 0.000 % | c | 70339 | 700 1114 251100 | 5500 3076 167 | 0.000 % | c | 70489 | 700 1114 251100 | 6050 3226 167 | 0.000 % | c | 70714 | 700 1114 251100 | 6655 3451 169 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 78.2301 s Remaining CPU time: 101.77 s c =============================================================================== c | 70878 | 700 1115 251700 | 5000 3615 168 | 0.000 % | c | 70978 | 700 1115 251700 | 5500 3715 167 | 0.000 % | c | 71128 | 700 1115 251700 | 6050 3865 168 | 0.000 % | c | 71354 | 700 1115 251700 | 6655 4091 168 | 0.000 % | c | 71691 | 700 1115 251700 | 7320 4428 170 | 0.000 % | c | 72197 | 700 1115 251700 | 8052 4934 172 | 0.000 % | c | 72956 | 700 1115 251700 | 8857 5693 174 | 0.000 % | c | 74095 | 700 1115 251700 | 9743 6832 177 | 0.000 % | c | 75804 | 700 1115 251700 | 10717 8541 180 | 0.000 % | c | 78366 | 700 1115 251700 | 11789 5640 178 | 0.000 % | c | 82210 | 700 1115 251700 | 12968 9484 184 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 90.0353 s Remaining CPU time: 89.9647 s c =============================================================================== c | 84083 | 700 1116 252300 | 5000 11357 185 | 0.000 % | c | 84184 | 700 1116 252300 | 5500 2941 169 | 0.000 % | c | 84334 | 700 1116 252300 | 6050 3091 170 | 0.000 % | c | 84559 | 700 1116 252300 | 6655 3316 169 | 0.000 % | c | 84896 | 700 1116 252300 | 7320 3653 169 | 0.000 % | c | 85402 | 700 1116 252300 | 8052 4159 171 | 0.000 % | c | 86161 | 700 1116 252300 | 8857 4918 172 | 0.000 % | c | 87300 | 700 1116 252300 | 9743 6057 174 | 0.000 % | c | 89009 | 700 1116 252300 | 10717 7766 177 | 0.000 % | c | 91571 | 700 1116 252300 | 11789 10328 181 | 0.000 % | c | 95415 | 700 1116 252300 | 12968 8161 182 | 0.000 % | c | 101182 | 700 1116 252300 | 14265 7333 183 | 0.000 % | c | 109831 | 700 1116 252300 | 15692 8753 184 | 0.000 % | c | 122805 | 700 1116 252300 | 17261 13767 188 | 0.000 % | c | 142266 | 700 1116 252300 | 18987 15758 189 | 0.000 % | c | 171458 | 700 1116 252300 | 20886 16144 189 | 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 1721 2712 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 736 1722 84666 | 5000 0 nan | 0.000 % | c | 101 | 736 1722 84666 | 5500 101 64 | 27.701 % | c | 251 | 736 1722 84666 | 6050 251 39 | 27.701 % | c | 476 | 736 1722 84666 | 6655 476 28 | 27.701 % | c | 813 | 736 1722 84666 | 7320 813 29 | 27.702 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1566 1723 244462 | 5000 0 nan | 0.000 % | c | 100 | 1566 1723 244462 | 5500 100 56 | 1.136 % | c | 250 | 1566 1723 244462 | 6050 250 32 | 1.136 % | c | 476 | 1566 1723 244462 | 6655 476 23 | 1.136 % | c | 814 | 1566 1723 244462 | 7320 814 19 | 1.136 % | c | 1320 | 1566 1723 244462 | 8052 1320 16 | 1.136 % | c | 2084 | 1566 1723 244462 | 8857 2084 15 | 1.136 % | c | 3223 | 1566 1723 244462 | 9743 3223 15 | 1.136 % | c | 4931 | 1566 1723 244462 | 10717 4931 14 | 1.136 % | c | 7493 | 1566 1723 244462 | 11789 7493 14 | 1.136 % | c | 11337 | 1566 1723 244462 | 12968 11337 14 | 1.136 % | c | 17103 | 1565 1723 244462 | 14265 5898 12 | 1.200 % | c | 25752 | 1565 1723 244462 | 15692 7393 13 | 1.200 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2176 1726 255871 | 5000 0 nan | 0.000 % | c | 101 | 2176 1726 255871 | 5500 101 44 | 0.046 % | c | 252 | 2176 1726 255871 | 6050 252 27 | 0.046 % | c | 480 | 2176 1726 255871 | 6655 480 27 | 0.046 % | c | 817 | 2176 1726 255871 | 7320 817 26 | 0.046 % | c | 1323 | 2176 1726 255871 | 8052 1323 23 | 0.046 % | c | 2083 | 2176 1726 255871 | 8857 2083 21 | 0.046 % | c | 3222 | 2176 1726 255871 | 9743 3222 20 | 0.046 % | c | 4931 | 2176 1726 255871 | 10717 4931 20 | 0.046 % | c | 7495 | 2176 1726 255871 | 11789 7495 18 | 0.046 % | c | 11339 | 2176 1726 255871 | 12968 11339 18 | 0.046 % | c | 17105 | 2176 1726 255871 | 14265 10582 19 | 0.046 % | c | 25756 | 2176 1726 255871 | 15692 12087 19 | 0.046 % | c | 38730 | 2176 1726 255871 | 17261 9341 19 | 0.046 % | c | 58192 | 2176 1726 255871 | 18987 11465 19 | 0.046 % | c | 87384 | 2176 1726 255871 | 20886 12139 19 | 0.046 % | c | 131174 | 2176 1726 255871 | 22974 14101 20 | 0.046 % | c | 196858 | 2176 1726 255871 | 25272 22250 21 | 0.046 % | c | 295384 | 2175 1726 255871 | 27799 21399 19 | 0.092 % | c | 443174 | 2174 1726 255871 | 30579 25999 22 | 0.138 % | c | 664857 | 2172 1726 255871 | 33637 20692 18 | 0.230 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2777 1728 257675 | 5000 0 nan | 0.000 % | c | 101 | 2777 1728 257675 | 5500 101 53 | 0.000 % | c | 252 | 2777 1728 257675 | 6050 252 43 | 0.000 % | c | 478 | 2777 1728 257675 | 6655 478 79 | 0.000 % | c | 815 | 2777 1728 257675 | 7320 815 106 | 0.000 % | c | 1321 | 2777 1728 257675 | 8052 1321 133 | 0.000 % | c | 2080 | 2777 1728 257675 | 8857 2080 154 | 0.000 % | c | 3220 | 2777 1728 257675 | 9743 3220 164 | 0.000 % | c | 4928 | 2777 1728 257675 | 10717 4928 174 | 0.000 % | c | 7491 | 2777 1728 257675 | 11789 7491 178 | 0.000 % | c | 11335 | 2777 1728 257675 | 12968 11335 177 | 0.000 % | c | 17101 | 2777 1728 257675 | 14265 10512 183 | 0.000 % | c | 25750 | 2777 1728 257675 | 15692 11891 189 | 0.000 % | c | 38724 | 2777 1728 257675 | 17261 8969 178 | 0.000 % | c | 58186 | 2777 1728 257675 | 18987 10965 187 | 0.000 % | c | 87378 | 2777 1728 257675 | 20886 11075 183 | 0.000 % |