c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 700 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 700 | c | Number Clauses: 700 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 700 700 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 700 701 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 700 702 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 700 703 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 700 704 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 700 705 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 700 706 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 700 707 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 700 708 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 700 709 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 700 710 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 700 711 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 700 712 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 700 713 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 700 714 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 700 715 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 700 716 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 700 717 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 700 718 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 700 719 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 700 720 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 700 721 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 700 722 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 700 723 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 700 724 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 700 725 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 700 726 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 700 727 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 700 728 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 700 729 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 700 730 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 700 731 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 700 732 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 700 733 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 700 734 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 700 735 23700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 700 736 24300 | 5000 1 569 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 700 737 24900 | 5000 1 569 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 700 738 25500 | 5000 1 569 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 700 739 26100 | 5000 1 569 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 700 740 26700 | 5000 1 569 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 700 741 27300 | 5000 1 569 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 700 742 27900 | 5000 1 569 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 2 | 700 743 28500 | 5000 2 286 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 2 | 700 744 29100 | 5000 2 286 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 2 | 700 745 29700 | 5000 2 286 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 2 | 700 746 30300 | 5000 2 286 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 2 | 700 747 30900 | 5000 2 286 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 2 | 700 748 31500 | 5000 2 286 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 3 | 700 749 32100 | 5000 3 193 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 4 | 700 750 32700 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 4 | 700 751 33300 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 4 | 700 752 33900 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 4 | 700 753 34500 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 4 | 700 754 35100 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 4 | 700 755 35700 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 4 | 700 756 36300 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 4 | 700 757 36900 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 4 | 700 758 37500 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 4 | 700 759 38100 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 4 | 700 760 38700 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 4 | 700 761 39300 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 4 | 700 762 39900 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 4 | 700 763 40500 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 4 | 700 764 41100 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 4 | 700 765 41700 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 4 | 700 766 42300 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 4 | 700 767 42900 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 4 | 700 768 43500 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 4 | 700 769 44100 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 4 | 700 770 44700 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 4 | 700 771 45300 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 4 | 700 772 45900 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 4 | 700 773 46500 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 4 | 700 774 47100 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 4 | 700 775 47700 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 4 | 700 776 48300 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 4 | 700 777 48900 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 4 | 700 778 49500 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 4 | 700 779 50100 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 4 | 700 780 50700 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 4 | 700 781 51300 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 4 | 700 782 51900 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 4 | 700 783 52500 | 5000 4 284 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 5 | 700 784 53100 | 5000 5 228 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 5 | 700 785 53700 | 5000 5 228 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 5 | 700 786 54300 | 5000 5 228 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 5 | 700 787 54900 | 5000 5 228 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 6 | 700 788 55500 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 6 | 700 789 56100 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 6 | 700 790 56700 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 6 | 700 791 57300 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 6 | 700 792 57900 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 6 | 700 793 58500 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 6 | 700 794 59100 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 6 | 700 795 59700 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 6 | 700 796 60300 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 7 | 700 797 60900 | 5000 7 165 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 7 | 700 798 61500 | 5000 7 165 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 7 | 700 799 62100 | 5000 7 165 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 7 | 700 800 62700 | 5000 7 165 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 8 | 700 801 63300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 8 | 700 802 63900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 8 | 700 803 64500 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 8 | 700 804 65100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 8 | 700 805 65700 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 8 | 700 806 66300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 8 | 700 807 66900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 8 | 700 808 67500 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s c =============================================================================== c | 8 | 700 809 68100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 8 | 700 810 68700 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 8 | 700 811 69300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s c =============================================================================== c | 8 | 700 812 69900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 8 | 700 813 70500 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 8 | 700 814 71100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 8 | 700 815 71700 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 8 | 700 816 72300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 8 | 700 817 72900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 9 | 700 818 73500 | 5000 9 184 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 9 | 700 819 74100 | 5000 9 184 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s c =============================================================================== c | 11 | 700 820 74700 | 5000 11 153 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 11 | 700 821 75300 | 5000 11 153 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 11 | 700 822 75900 | 5000 11 153 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 11 | 700 823 76500 | 5000 11 153 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.929858 s Remaining CPU time: 179.07 s c =============================================================================== c | 13 | 700 824 77100 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 13 | 700 825 77700 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s c =============================================================================== c | 13 | 700 826 78300 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 13 | 700 827 78900 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 13 | 700 828 79500 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 1.01484 s Remaining CPU time: 178.985 s c =============================================================================== c | 13 | 700 829 80100 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 13 | 700 830 80700 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 13 | 700 831 81300 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 13 | 700 832 81900 | 5000 13 204 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 1.08483 s Remaining CPU time: 178.915 s c =============================================================================== c | 15 | 700 833 82500 | 5000 15 178 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s c =============================================================================== c | 16 | 700 834 83100 | 5000 16 168 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 17 | 700 835 83700 | 5000 17 158 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s c =============================================================================== c | 17 | 700 836 84300 | 5000 17 158 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 1.15782 s Remaining CPU time: 178.842 s c =============================================================================== c | 18 | 700 837 84900 | 5000 18 150 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 1.17582 s Remaining CPU time: 178.824 s c =============================================================================== c | 19 | 700 838 85500 | 5000 19 142 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 20 | 700 839 86100 | 5000 20 135 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 21 | 700 840 86700 | 5000 21 129 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 1.23581 s Remaining CPU time: 178.764 s c =============================================================================== c | 21 | 700 841 87300 | 5000 21 129 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 23 | 700 842 87900 | 5000 23 159 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 1.2768 s Remaining CPU time: 178.723 s c =============================================================================== c | 25 | 700 843 88500 | 5000 25 147 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 25 | 700 844 89100 | 5000 25 147 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 1.3158 s Remaining CPU time: 178.684 s c =============================================================================== c | 27 | 700 845 89700 | 5000 27 136 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 27 | 700 846 90300 | 5000 27 136 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s c =============================================================================== c | 29 | 700 847 90900 | 5000 29 128 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 30 | 700 848 91500 | 5000 30 139 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 1.39679 s Remaining CPU time: 178.603 s c =============================================================================== c | 30 | 700 849 92100 | 5000 30 139 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s c =============================================================================== c | 30 | 700 850 92700 | 5000 30 139 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 1.43778 s Remaining CPU time: 178.562 s c =============================================================================== c | 30 | 700 851 93300 | 5000 30 139 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 1.45878 s Remaining CPU time: 178.541 s c =============================================================================== c | 30 | 700 852 93900 | 5000 30 139 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 1.47877 s Remaining CPU time: 178.521 s c =============================================================================== c | 30 | 700 853 94500 | 5000 30 139 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 30 | 700 854 95100 | 5000 30 139 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 33 | 700 855 95700 | 5000 33 141 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 33 | 700 856 96300 | 5000 33 141 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 33 | 700 857 96900 | 5000 33 141 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 33 | 700 858 97500 | 5000 33 141 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 34 | 700 859 98100 | 5000 34 137 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 1.63675 s Remaining CPU time: 178.363 s c =============================================================================== c | 34 | 700 860 98700 | 5000 34 137 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 1.65975 s Remaining CPU time: 178.34 s c =============================================================================== c | 34 | 700 861 99300 | 5000 34 137 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 1.68174 s Remaining CPU time: 178.318 s c =============================================================================== c | 34 | 700 862 99900 | 5000 34 137 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 1.70474 s Remaining CPU time: 178.295 s c =============================================================================== c | 34 | 700 863 100500 | 5000 34 137 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 1.72774 s Remaining CPU time: 178.272 s c =============================================================================== c | 35 | 700 864 101100 | 5000 35 133 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 1.75073 s Remaining CPU time: 178.249 s c =============================================================================== c | 35 | 700 865 101700 | 5000 35 133 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 36 | 700 866 102300 | 5000 36 141 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 37 | 700 867 102900 | 5000 37 138 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s c =============================================================================== c | 38 | 700 868 103500 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 1.84372 s Remaining CPU time: 178.156 s c =============================================================================== c | 38 | 700 869 104100 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 1.86871 s Remaining CPU time: 178.131 s c =============================================================================== c | 38 | 700 870 104700 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 38 | 700 871 105300 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 1.91871 s Remaining CPU time: 178.081 s c =============================================================================== c | 38 | 700 872 105900 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 1.9417 s Remaining CPU time: 178.058 s c =============================================================================== c | 44 | 700 873 106500 | 5000 44 119 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 45 | 700 874 107100 | 5000 45 126 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 1.9917 s Remaining CPU time: 178.008 s c =============================================================================== c | 46 | 700 875 107700 | 5000 46 123 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 2.01869 s Remaining CPU time: 177.981 s c =============================================================================== c | 54 | 700 876 108300 | 5000 54 169 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 2.04369 s Remaining CPU time: 177.956 s c =============================================================================== c | 54 | 700 877 108900 | 5000 54 169 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 2.06968 s Remaining CPU time: 177.93 s c =============================================================================== c | 54 | 700 878 109500 | 5000 54 169 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 2.09468 s Remaining CPU time: 177.905 s c =============================================================================== c | 54 | 700 879 110100 | 5000 54 169 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 2.11968 s Remaining CPU time: 177.88 s c =============================================================================== c | 54 | 700 880 110700 | 5000 54 169 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 54 | 700 881 111300 | 5000 54 169 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 54 | 700 882 111900 | 5000 54 169 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 2.19966 s Remaining CPU time: 177.8 s c =============================================================================== c | 55 | 700 883 112500 | 5000 55 166 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s c =============================================================================== c | 63 | 700 884 113100 | 5000 63 147 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 65 | 700 885 113700 | 5000 65 143 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 2.28065 s Remaining CPU time: 177.719 s c =============================================================================== c | 72 | 700 886 114300 | 5000 72 132 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 2.30765 s Remaining CPU time: 177.692 s c =============================================================================== c | 75 | 700 887 114900 | 5000 75 143 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 2.33664 s Remaining CPU time: 177.663 s c =============================================================================== c | 79 | 700 888 115500 | 5000 79 157 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 81 | 700 889 116100 | 5000 81 153 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 2.39264 s Remaining CPU time: 177.607 s c =============================================================================== c | 82 | 700 890 116700 | 5000 82 152 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 2.42063 s Remaining CPU time: 177.579 s c =============================================================================== c | 83 | 700 891 117300 | 5000 83 150 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 83 | 700 892 117900 | 5000 83 150 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 2.47762 s Remaining CPU time: 177.522 s c =============================================================================== c | 83 | 700 893 118500 | 5000 83 150 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 2.50662 s Remaining CPU time: 177.493 s c =============================================================================== c | 84 | 700 894 119100 | 5000 84 148 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 2.53461 s Remaining CPU time: 177.465 s c =============================================================================== c | 88 | 700 895 119700 | 5000 88 142 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 88 | 700 896 120300 | 5000 88 142 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 2.58961 s Remaining CPU time: 177.41 s c =============================================================================== c | 88 | 700 897 120900 | 5000 88 142 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 2.6186 s Remaining CPU time: 177.381 s c =============================================================================== c | 89 | 700 898 121500 | 5000 89 140 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 2.6476 s Remaining CPU time: 177.352 s c =============================================================================== c | 89 | 700 899 122100 | 5000 89 140 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 2.67659 s Remaining CPU time: 177.323 s c =============================================================================== c | 90 | 700 900 122700 | 5000 90 139 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 2.70659 s Remaining CPU time: 177.293 s c =============================================================================== c | 95 | 700 901 123300 | 5000 95 141 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 2.73358 s Remaining CPU time: 177.266 s c =============================================================================== c | 96 | 700 902 123900 | 5000 96 140 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 2.76258 s Remaining CPU time: 177.237 s c =============================================================================== c | 96 | 700 903 124500 | 5000 96 140 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s c =============================================================================== c | 96 | 700 904 125100 | 5000 96 140 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 2.81857 s Remaining CPU time: 177.181 s c =============================================================================== c | 96 | 700 905 125700 | 5000 96 140 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 2.84857 s Remaining CPU time: 177.151 s c =============================================================================== c | 98 | 700 906 126300 | 5000 98 137 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 2.87856 s Remaining CPU time: 177.121 s c =============================================================================== c | 99 | 700 907 126900 | 5000 99 140 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s c =============================================================================== c | 100 | 700 908 127500 | 5000 100 142 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 100 | 700 909 128100 | 5000 100 142 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 2.97055 s Remaining CPU time: 177.029 s c =============================================================================== c | 100 | 700 910 128700 | 5000 100 142 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 3.00354 s Remaining CPU time: 176.996 s c =============================================================================== c | 104 | 700 911 129300 | 5000 104 141 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 3.03554 s Remaining CPU time: 176.964 s c =============================================================================== c | 104 | 700 912 129900 | 5000 104 141 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 3.06553 s Remaining CPU time: 176.934 s c =============================================================================== c | 104 | 700 913 130500 | 5000 104 141 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 3.09653 s Remaining CPU time: 176.903 s c =============================================================================== c | 104 | 700 914 131100 | 5000 104 141 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 3.12752 s Remaining CPU time: 176.872 s c =============================================================================== c | 104 | 700 915 131700 | 5000 104 141 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 3.15852 s Remaining CPU time: 176.841 s c =============================================================================== c | 104 | 700 916 132300 | 5000 104 141 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 106 | 700 917 132900 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 3.22251 s Remaining CPU time: 176.777 s c =============================================================================== c | 106 | 700 918 133500 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 3.2545 s Remaining CPU time: 176.745 s c =============================================================================== c | 106 | 700 919 134100 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 3.2865 s Remaining CPU time: 176.714 s c =============================================================================== c | 106 | 700 920 134700 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 3.31849 s Remaining CPU time: 176.682 s c =============================================================================== c | 106 | 700 921 135300 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 3.35149 s Remaining CPU time: 176.649 s c =============================================================================== c | 106 | 700 922 135900 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 3.38248 s Remaining CPU time: 176.618 s c =============================================================================== c | 106 | 700 923 136500 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 3.41548 s Remaining CPU time: 176.585 s c =============================================================================== c | 106 | 700 924 137100 | 5000 106 138 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 3.44848 s Remaining CPU time: 176.552 s c =============================================================================== c | 107 | 700 925 137700 | 5000 107 137 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 3.47947 s Remaining CPU time: 176.521 s c =============================================================================== c | 108 | 700 926 138300 | 5000 108 139 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 3.51047 s Remaining CPU time: 176.49 s c =============================================================================== c | 109 | 700 927 138900 | 5000 109 142 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 3.54246 s Remaining CPU time: 176.458 s c =============================================================================== c | 109 | 700 928 139500 | 5000 109 142 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 3.57845 s Remaining CPU time: 176.422 s c =============================================================================== c | 122 | 700 929 140100 | 5000 122 164 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 3.61245 s Remaining CPU time: 176.388 s c =============================================================================== c | 124 | 700 930 140700 | 5000 124 161 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 3.64644 s Remaining CPU time: 176.354 s c =============================================================================== c | 125 | 700 931 141300 | 5000 125 160 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 3.67944 s Remaining CPU time: 176.321 s c =============================================================================== c | 128 | 700 932 141900 | 5000 128 157 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 3.71443 s Remaining CPU time: 176.286 s c =============================================================================== c | 141 | 700 933 142500 | 5000 141 145 | 0.000 % | c | 241 | 700 933 142500 | 5500 241 240 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 3.81942 s Remaining CPU time: 176.181 s c =============================================================================== c | 242 | 700 934 143100 | 5000 242 239 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 3.85341 s Remaining CPU time: 176.147 s c =============================================================================== c | 242 | 700 935 143700 | 5000 242 239 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 3.88541 s Remaining CPU time: 176.115 s c =============================================================================== c | 245 | 700 936 144300 | 5000 245 236 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 3.9184 s Remaining CPU time: 176.082 s c =============================================================================== c | 247 | 700 937 144900 | 5000 247 234 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 3.9524 s Remaining CPU time: 176.048 s c =============================================================================== c | 254 | 700 938 145500 | 5000 254 229 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 3.98739 s Remaining CPU time: 176.013 s c =============================================================================== c | 259 | 700 939 146100 | 5000 259 225 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 4.02239 s Remaining CPU time: 175.978 s c =============================================================================== c | 264 | 700 940 146700 | 5000 264 221 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 4.05838 s Remaining CPU time: 175.942 s c =============================================================================== c | 270 | 700 941 147300 | 5000 270 224 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 4.09338 s Remaining CPU time: 175.907 s c =============================================================================== c | 275 | 700 942 147900 | 5000 275 220 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 4.12737 s Remaining CPU time: 175.873 s c =============================================================================== c | 278 | 700 943 148500 | 5000 278 222 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 4.16337 s Remaining CPU time: 175.837 s c =============================================================================== c | 279 | 700 944 149100 | 5000 279 221 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 4.20036 s Remaining CPU time: 175.8 s c =============================================================================== c | 285 | 700 945 149700 | 5000 285 217 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 4.23735 s Remaining CPU time: 175.763 s c =============================================================================== c | 286 | 700 946 150300 | 5000 286 218 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 4.27235 s Remaining CPU time: 175.728 s c =============================================================================== c | 286 | 700 947 150900 | 5000 286 218 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 4.30835 s Remaining CPU time: 175.692 s c =============================================================================== c | 287 | 700 948 151500 | 5000 287 217 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 4.34334 s Remaining CPU time: 175.657 s c =============================================================================== c | 288 | 700 949 152100 | 5000 288 216 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 4.38033 s Remaining CPU time: 175.62 s c =============================================================================== c | 289 | 700 950 152700 | 5000 289 217 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 4.41433 s Remaining CPU time: 175.586 s c =============================================================================== c | 291 | 700 951 153300 | 5000 291 216 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 4.45232 s Remaining CPU time: 175.548 s c =============================================================================== c | 291 | 700 952 153900 | 5000 291 216 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 4.48832 s Remaining CPU time: 175.512 s c =============================================================================== c | 292 | 700 953 154500 | 5000 292 217 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 4.52531 s Remaining CPU time: 175.475 s c =============================================================================== c | 292 | 700 954 155100 | 5000 292 217 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 4.55931 s Remaining CPU time: 175.441 s c =============================================================================== c | 293 | 700 955 155700 | 5000 293 217 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 4.5963 s Remaining CPU time: 175.404 s c =============================================================================== c | 294 | 700 956 156300 | 5000 294 217 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 4.6333 s Remaining CPU time: 175.367 s c =============================================================================== c | 296 | 700 957 156900 | 5000 296 218 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 4.67029 s Remaining CPU time: 175.33 s c =============================================================================== c | 297 | 700 958 157500 | 5000 297 218 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 4.70728 s Remaining CPU time: 175.293 s c =============================================================================== c | 297 | 700 959 158100 | 5000 297 218 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 4.74228 s Remaining CPU time: 175.258 s c =============================================================================== c | 297 | 700 960 158700 | 5000 297 218 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 4.78227 s Remaining CPU time: 175.218 s c =============================================================================== c | 300 | 700 961 159300 | 5000 300 218 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 4.82027 s Remaining CPU time: 175.18 s c =============================================================================== c | 315 | 700 962 159900 | 5000 315 212 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 4.85726 s Remaining CPU time: 175.143 s c =============================================================================== c | 320 | 700 963 160500 | 5000 320 214 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 4.89226 s Remaining CPU time: 175.108 s c =============================================================================== c | 320 | 700 964 161100 | 5000 320 214 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 4.92825 s Remaining CPU time: 175.072 s c =============================================================================== c | 321 | 700 965 161700 | 5000 321 214 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 4.96525 s Remaining CPU time: 175.035 s c =============================================================================== c | 321 | 700 966 162300 | 5000 321 214 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 5.00224 s Remaining CPU time: 174.998 s c =============================================================================== c | 321 | 700 967 162900 | 5000 321 214 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 5.03923 s Remaining CPU time: 174.961 s c =============================================================================== c | 321 | 700 968 163500 | 5000 321 214 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 5.07623 s Remaining CPU time: 174.924 s c =============================================================================== c | 322 | 700 969 164100 | 5000 322 213 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 5.11422 s Remaining CPU time: 174.886 s c =============================================================================== c | 322 | 700 970 164700 | 5000 322 213 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 5.15122 s Remaining CPU time: 174.849 s c =============================================================================== c | 322 | 700 971 165300 | 5000 322 213 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 5.18821 s Remaining CPU time: 174.812 s c =============================================================================== c | 328 | 700 972 165900 | 5000 328 210 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 5.22621 s Remaining CPU time: 174.774 s c =============================================================================== c | 329 | 700 973 166500 | 5000 329 210 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 5.2642 s Remaining CPU time: 174.736 s c =============================================================================== c | 329 | 700 974 167100 | 5000 329 210 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 5.30119 s Remaining CPU time: 174.699 s c =============================================================================== c | 329 | 700 975 167700 | 5000 329 210 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 5.33919 s Remaining CPU time: 174.661 s c =============================================================================== c | 331 | 700 976 168300 | 5000 331 210 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 5.37718 s Remaining CPU time: 174.623 s c =============================================================================== c | 331 | 700 977 168900 | 5000 331 210 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 5.41518 s Remaining CPU time: 174.585 s c =============================================================================== c | 332 | 700 978 169500 | 5000 332 210 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 5.45417 s Remaining CPU time: 174.546 s c =============================================================================== c | 336 | 700 979 170100 | 5000 336 209 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 5.49216 s Remaining CPU time: 174.508 s c =============================================================================== c | 336 | 700 980 170700 | 5000 336 209 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 5.53116 s Remaining CPU time: 174.469 s c =============================================================================== c | 336 | 700 981 171300 | 5000 336 209 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 5.56915 s Remaining CPU time: 174.431 s c =============================================================================== c | 336 | 700 982 171900 | 5000 336 209 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 5.60615 s Remaining CPU time: 174.394 s c =============================================================================== c | 339 | 700 983 172500 | 5000 339 207 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 5.64414 s Remaining CPU time: 174.356 s c =============================================================================== c | 342 | 700 984 173100 | 5000 342 206 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 5.68214 s Remaining CPU time: 174.318 s c =============================================================================== c | 342 | 700 985 173700 | 5000 342 206 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 5.72113 s Remaining CPU time: 174.279 s c =============================================================================== c | 345 | 700 986 174300 | 5000 345 205 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 5.75912 s Remaining CPU time: 174.241 s c =============================================================================== c | 347 | 700 987 174900 | 5000 347 206 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 5.79712 s Remaining CPU time: 174.203 s c =============================================================================== c | 354 | 700 988 175500 | 5000 354 202 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 5.83711 s Remaining CPU time: 174.163 s c =============================================================================== c | 357 | 700 989 176100 | 5000 357 203 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 5.87711 s Remaining CPU time: 174.123 s c =============================================================================== c | 360 | 700 990 176700 | 5000 360 204 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 5.9151 s Remaining CPU time: 174.085 s c =============================================================================== c | 365 | 700 991 177300 | 5000 365 203 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 5.95309 s Remaining CPU time: 174.047 s c =============================================================================== c | 366 | 700 992 177900 | 5000 366 203 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 5.99309 s Remaining CPU time: 174.007 s c =============================================================================== c | 370 | 700 993 178500 | 5000 370 201 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 6.03108 s Remaining CPU time: 173.969 s c =============================================================================== c | 370 | 700 994 179100 | 5000 370 201 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 6.06908 s Remaining CPU time: 173.931 s c =============================================================================== c | 370 | 700 995 179700 | 5000 370 201 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 6.10807 s Remaining CPU time: 173.892 s c =============================================================================== c | 370 | 700 996 180300 | 5000 370 201 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 6.14706 s Remaining CPU time: 173.853 s c =============================================================================== c | 374 | 700 997 180900 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 6.18606 s Remaining CPU time: 173.814 s c =============================================================================== c | 374 | 700 998 181500 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 6.22505 s Remaining CPU time: 173.775 s c =============================================================================== c | 374 | 700 999 182100 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 6.26505 s Remaining CPU time: 173.735 s c =============================================================================== c | 374 | 700 1000 182700 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 6.30304 s Remaining CPU time: 173.697 s c =============================================================================== c | 374 | 700 1001 183300 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 6.34104 s Remaining CPU time: 173.659 s c =============================================================================== c | 374 | 700 1002 183900 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 6.38003 s Remaining CPU time: 173.62 s c =============================================================================== c | 374 | 700 1003 184500 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 6.42002 s Remaining CPU time: 173.58 s c =============================================================================== c | 374 | 700 1004 185100 | 5000 374 199 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 6.46002 s Remaining CPU time: 173.54 s c =============================================================================== c | 375 | 700 1005 185700 | 5000 375 199 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 6.49901 s Remaining CPU time: 173.501 s c =============================================================================== c | 375 | 700 1006 186300 | 5000 375 199 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 6.539 s Remaining CPU time: 173.461 s c =============================================================================== c | 376 | 700 1007 186900 | 5000 376 198 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 6.578 s Remaining CPU time: 173.422 s c =============================================================================== c | 378 | 700 1008 187500 | 5000 378 197 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 6.62199 s Remaining CPU time: 173.378 s c =============================================================================== c | 393 | 700 1009 188100 | 5000 393 201 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 6.66399 s Remaining CPU time: 173.336 s c =============================================================================== c | 483 | 700 1010 188700 | 5000 483 171 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 6.70498 s Remaining CPU time: 173.295 s c =============================================================================== c | 485 | 700 1011 189300 | 5000 485 172 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 6.74497 s Remaining CPU time: 173.255 s c =============================================================================== c | 485 | 700 1012 189900 | 5000 485 172 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 6.79097 s Remaining CPU time: 173.209 s c =============================================================================== c | 493 | 700 1013 190500 | 5000 493 174 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 6.83296 s Remaining CPU time: 173.167 s c =============================================================================== c | 502 | 700 1014 191100 | 5000 502 172 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 6.87296 s Remaining CPU time: 173.127 s c =============================================================================== c | 502 | 700 1015 191700 | 5000 502 172 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 6.91695 s Remaining CPU time: 173.083 s c =============================================================================== c | 512 | 700 1016 192300 | 5000 512 174 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 6.95894 s Remaining CPU time: 173.041 s c =============================================================================== c | 514 | 700 1017 192900 | 5000 514 174 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 6.99794 s Remaining CPU time: 173.002 s c =============================================================================== c | 517 | 700 1018 193500 | 5000 517 173 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 7.04193 s Remaining CPU time: 172.958 s c =============================================================================== c | 556 | 700 1019 194100 | 5000 556 163 | 0.000 % | c | 657 | 700 1019 194100 | 5500 657 183 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 7.20191 s Remaining CPU time: 172.798 s c =============================================================================== c | 657 | 700 1020 194700 | 5000 657 183 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 7.2439 s Remaining CPU time: 172.756 s c =============================================================================== c | 657 | 700 1021 195300 | 5000 657 183 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 7.28489 s Remaining CPU time: 172.715 s c =============================================================================== c | 657 | 700 1022 195900 | 5000 657 183 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 7.32489 s Remaining CPU time: 172.675 s c =============================================================================== c | 657 | 700 1023 196500 | 5000 657 183 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 7.36688 s Remaining CPU time: 172.633 s c =============================================================================== c | 696 | 700 1024 197100 | 5000 696 174 | 0.000 % | c | 797 | 700 1024 197100 | 5500 797 188 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 7.49586 s Remaining CPU time: 172.504 s c =============================================================================== c | 841 | 700 1025 197700 | 5000 841 179 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 7.56785 s Remaining CPU time: 172.432 s c =============================================================================== c | 882 | 700 1026 198300 | 5000 882 184 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 7.60984 s Remaining CPU time: 172.39 s c =============================================================================== c | 895 | 700 1027 198900 | 5000 895 182 | 0.000 % | c | 996 | 700 1027 198900 | 5500 996 190 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 7.73182 s Remaining CPU time: 172.268 s c =============================================================================== c | 1010 | 700 1028 199500 | 5000 1010 188 | 0.000 % | c | 1110 | 700 1028 199500 | 5500 1110 196 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 7.84181 s Remaining CPU time: 172.158 s c =============================================================================== c | 1147 | 700 1029 200100 | 5000 1147 190 | 0.000 % | c | 1249 | 700 1029 200100 | 5500 1249 198 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 7.99278 s Remaining CPU time: 172.007 s c =============================================================================== c | 1272 | 700 1030 200700 | 5000 1272 195 | 0.000 % | c | 1372 | 700 1030 200700 | 5500 1372 200 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 8.11477 s Remaining CPU time: 171.885 s c =============================================================================== c | 1390 | 700 1031 201300 | 5000 1390 198 | 0.000 % | c | 1490 | 700 1031 201300 | 5500 1490 204 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 8.22375 s Remaining CPU time: 171.776 s c =============================================================================== c | 1491 | 700 1032 201900 | 5000 1491 204 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 8.26674 s Remaining CPU time: 171.733 s c =============================================================================== c | 1535 | 700 1033 202500 | 5000 1535 199 | 0.000 % | c | 1636 | 700 1033 202500 | 5500 1636 203 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 8.40672 s Remaining CPU time: 171.593 s c =============================================================================== c | 1651 | 700 1034 203100 | 5000 1651 202 | 0.000 % | c | 1752 | 700 1034 203100 | 5500 1752 204 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 8.5297 s Remaining CPU time: 171.47 s c =============================================================================== c | 1860 | 700 1035 203700 | 5000 1860 194 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 8.5747 s Remaining CPU time: 171.425 s c =============================================================================== c | 1866 | 700 1036 204300 | 5000 1866 194 | 0.000 % | c | 1966 | 700 1036 204300 | 5500 1966 198 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 8.70468 s Remaining CPU time: 171.295 s c =============================================================================== c | 1967 | 700 1037 204900 | 5000 1967 198 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 8.74667 s Remaining CPU time: 171.253 s c =============================================================================== c | 1967 | 700 1038 205500 | 5000 1967 198 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 8.78866 s Remaining CPU time: 171.211 s c =============================================================================== c | 1996 | 700 1039 206100 | 5000 1996 195 | 0.000 % | c | 2096 | 700 1039 206100 | 5500 2096 199 | 0.000 % | c | 2249 | 700 1039 206100 | 6050 2249 188 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 8.97663 s Remaining CPU time: 171.023 s c =============================================================================== c | 2274 | 700 1040 206700 | 5000 2274 189 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 9.02063 s Remaining CPU time: 170.979 s c =============================================================================== c | 2293 | 700 1041 207300 | 5000 2293 187 | 0.000 % | c | 2393 | 700 1041 207300 | 5500 2393 191 | 0.000 % | c | 2543 | 700 1041 207300 | 6050 2543 181 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 9.2386 s Remaining CPU time: 170.761 s c =============================================================================== c | 2561 | 700 1042 207900 | 5000 2561 182 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 9.28059 s Remaining CPU time: 170.719 s c =============================================================================== c | 2576 | 700 1043 208500 | 5000 2576 181 | 0.000 % | c | 2676 | 700 1043 208500 | 5500 2676 184 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 9.41657 s Remaining CPU time: 170.583 s c =============================================================================== c | 2730 | 700 1044 209100 | 5000 2730 181 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 9.52655 s Remaining CPU time: 170.473 s c =============================================================================== c | 2789 | 700 1045 209700 | 5000 2789 183 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 9.57054 s Remaining CPU time: 170.429 s c =============================================================================== c | 2876 | 700 1046 210300 | 5000 2876 178 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 9.61654 s Remaining CPU time: 170.383 s c =============================================================================== c | 2882 | 700 1047 210900 | 5000 2882 179 | 0.000 % | c | 2982 | 700 1047 210900 | 5500 2982 181 | 0.000 % | c | 3135 | 700 1047 210900 | 6050 3135 174 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 9.83351 s Remaining CPU time: 170.166 s c =============================================================================== c | 3147 | 700 1048 211500 | 5000 3147 175 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 9.89749 s Remaining CPU time: 170.103 s c =============================================================================== c | 3180 | 700 1049 212100 | 5000 3180 175 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 9.93949 s Remaining CPU time: 170.061 s c =============================================================================== c | 3180 | 700 1050 212700 | 5000 3180 175 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 9.98048 s Remaining CPU time: 170.02 s c =============================================================================== c | 3194 | 700 1051 213300 | 5000 3194 175 | 0.000 % | c | 3295 | 700 1051 213300 | 5500 3295 177 | 0.000 % | c | 3447 | 700 1051 213300 | 6050 3447 171 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 10.1525 s Remaining CPU time: 169.848 s c =============================================================================== c | 3455 | 700 1052 213900 | 5000 3455 171 | 0.000 % | c | 3555 | 700 1052 213900 | 5500 3555 173 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 10.2844 s Remaining CPU time: 169.716 s c =============================================================================== c | 3595 | 700 1053 214500 | 5000 3595 172 | 0.000 % | c | 3695 | 700 1053 214500 | 5500 3695 174 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 10.4354 s Remaining CPU time: 169.565 s c =============================================================================== c | 3798 | 700 1054 215100 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 10.4784 s Remaining CPU time: 169.522 s c =============================================================================== c | 3798 | 700 1055 215700 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 10.5194 s Remaining CPU time: 169.481 s c =============================================================================== c | 3798 | 700 1056 216300 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 10.5604 s Remaining CPU time: 169.44 s c =============================================================================== c | 3798 | 700 1057 216900 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 10.6024 s Remaining CPU time: 169.398 s c =============================================================================== c | 3798 | 700 1058 217500 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 10.6444 s Remaining CPU time: 169.356 s c =============================================================================== c | 3798 | 700 1059 218100 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 10.6854 s Remaining CPU time: 169.315 s c =============================================================================== c | 3798 | 700 1060 218700 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 10.7274 s Remaining CPU time: 169.273 s c =============================================================================== c | 3798 | 700 1061 219300 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 10.7694 s Remaining CPU time: 169.231 s c =============================================================================== c | 3798 | 700 1062 219900 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 10.8114 s Remaining CPU time: 169.189 s c =============================================================================== c | 3798 | 700 1063 220500 | 5000 3798 170 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 10.8523 s Remaining CPU time: 169.148 s c =============================================================================== c | 3799 | 700 1064 221100 | 5000 3799 170 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 10.8943 s Remaining CPU time: 169.106 s c =============================================================================== c | 3800 | 700 1065 221700 | 5000 3800 170 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 10.9723 s Remaining CPU time: 169.028 s c =============================================================================== c | 3822 | 700 1066 222300 | 5000 3822 171 | 0.000 % | c | 3922 | 700 1066 222300 | 5500 3922 168 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 11.0953 s Remaining CPU time: 168.905 s c =============================================================================== c | 3996 | 700 1067 222900 | 5000 3996 168 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 11.1513 s Remaining CPU time: 168.849 s c =============================================================================== c | 4058 | 700 1068 223500 | 5000 4058 167 | 0.000 % | c | 4159 | 700 1068 223500 | 5500 4159 169 | 0.000 % | c | 4309 | 700 1068 223500 | 6050 4309 164 | 0.000 % | c | 4534 | 700 1068 223500 | 6655 4534 168 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 11.5312 s Remaining CPU time: 168.469 s c =============================================================================== c | 4639 | 700 1069 224100 | 5000 4639 166 | 0.000 % | c | 4741 | 700 1069 224100 | 5500 4741 167 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 11.6562 s Remaining CPU time: 168.344 s c =============================================================================== c | 4785 | 700 1070 224700 | 5000 4785 166 | 0.000 % | c | 4885 | 700 1070 224700 | 5500 4885 167 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 11.8372 s Remaining CPU time: 168.163 s c =============================================================================== c | 4911 | 700 1071 225300 | 5000 4911 167 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 11.9002 s Remaining CPU time: 168.1 s c =============================================================================== c | 4975 | 700 1072 225900 | 5000 4975 168 | 0.000 % | c | 5075 | 700 1072 225900 | 5500 5075 165 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 11.9872 s Remaining CPU time: 168.013 s c =============================================================================== c | 5081 | 700 1073 226500 | 5000 5081 165 | 0.000 % | c | 5181 | 700 1073 226500 | 5500 2641 139 | 0.000 % | c | 5331 | 700 1073 226500 | 6050 2791 134 | 0.000 % | c | 5556 | 700 1073 226500 | 6655 3016 141 | 0.000 % | c | 5893 | 700 1073 226500 | 7320 3353 140 | 0.000 % | c | 6399 | 700 1073 226500 | 8052 3859 152 | 0.000 % | c | 7158 | 700 1073 226500 | 8857 4618 161 | 0.000 % | c | 8300 | 700 1073 226500 | 9743 5760 172 | 0.000 % | c | 10008 | 700 1073 226500 | 10717 7468 187 | 0.000 % | c | 12570 | 700 1073 226500 | 11789 10030 198 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 19.416 s Remaining CPU time: 160.584 s c =============================================================================== c | 15860 | 700 1074 227100 | 5000 7303 226 | 0.000 % | c | 15960 | 700 1074 227100 | 5500 3752 221 | 0.000 % | c | 16110 | 700 1074 227100 | 6050 3902 214 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 19.661 s Remaining CPU time: 160.339 s c =============================================================================== c | 16145 | 700 1075 227700 | 5000 3937 214 | 0.000 % | c | 16246 | 700 1075 227700 | 5500 4038 210 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 19.792 s Remaining CPU time: 160.208 s c =============================================================================== c | 16303 | 700 1076 228300 | 5000 4095 211 | 0.000 % | c | 16403 | 700 1076 228300 | 5500 4195 206 | 0.000 % | c | 16553 | 700 1076 228300 | 6050 4345 207 | 0.000 % | c | 16780 | 700 1076 228300 | 6655 4572 199 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 20.4939 s Remaining CPU time: 159.506 s c =============================================================================== c | 16954 | 700 1077 228900 | 5000 4746 200 | 0.000 % | c | 17056 | 700 1077 228900 | 5500 4848 197 | 0.000 % | c | 17206 | 700 1077 228900 | 6050 4998 198 | 0.000 % | c | 17431 | 700 1077 228900 | 6655 5223 197 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 21.0078 s Remaining CPU time: 158.992 s c =============================================================================== c | 17520 | 700 1078 229500 | 5000 5312 194 | 0.000 % | c | 17621 | 700 1078 229500 | 5500 2757 162 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 21.1398 s Remaining CPU time: 158.86 s c =============================================================================== c | 17630 | 700 1079 230100 | 5000 2766 161 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 21.1838 s Remaining CPU time: 158.816 s c =============================================================================== c | 17656 | 700 1080 230700 | 5000 2792 160 | 0.000 % | c | 17757 | 700 1080 230700 | 5500 2893 162 | 0.000 % | c | 17908 | 700 1080 230700 | 6050 3044 156 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 21.4987 s Remaining CPU time: 158.501 s c =============================================================================== c | 17962 | 700 1081 231300 | 5000 3098 157 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 21.5467 s Remaining CPU time: 158.453 s c =============================================================================== c | 18049 | 700 1082 231900 | 5000 3185 154 | 0.000 % | c | 18149 | 700 1082 231900 | 5500 3285 156 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 21.8447 s Remaining CPU time: 158.155 s c =============================================================================== c | 18196 | 700 1083 232500 | 5000 3332 155 | 0.000 % | c | 18297 | 700 1083 232500 | 5500 3433 157 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 21.9907 s Remaining CPU time: 158.009 s c =============================================================================== c | 18298 | 700 1084 233100 | 5000 3434 157 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 22.0316 s Remaining CPU time: 157.968 s c =============================================================================== c | 18318 | 700 1085 233700 | 5000 3454 156 | 0.000 % | c | 18418 | 700 1085 233700 | 5500 3554 158 | 0.000 % | c | 18568 | 700 1085 233700 | 6050 3704 159 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 22.2656 s Remaining CPU time: 157.734 s c =============================================================================== c | 18644 | 700 1086 234300 | 5000 3780 157 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 22.3746 s Remaining CPU time: 157.625 s c =============================================================================== c | 18665 | 700 1087 234900 | 5000 3801 157 | 0.000 % | c | 18765 | 700 1087 234900 | 5500 3901 157 | 0.000 % | c | 18915 | 700 1087 234900 | 6050 4051 154 | 0.000 % | c | 19140 | 700 1087 234900 | 6655 4276 155 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 22.8645 s Remaining CPU time: 157.135 s c =============================================================================== c | 19435 | 700 1088 235500 | 5000 4571 153 | 0.000 % | c | 19535 | 700 1088 235500 | 5500 4671 154 | 0.000 % | c | 19685 | 700 1088 235500 | 6050 4821 152 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 23.0925 s Remaining CPU time: 156.908 s c =============================================================================== c | 19741 | 700 1089 236100 | 5000 4877 152 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 23.1385 s Remaining CPU time: 156.862 s c =============================================================================== c | 19747 | 700 1090 236700 | 5000 4883 152 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 23.1805 s Remaining CPU time: 156.82 s c =============================================================================== c | 19749 | 700 1091 237300 | 5000 4885 152 | 0.000 % | c | 19849 | 700 1091 237300 | 5500 4985 153 | 0.000 % | c | 20000 | 700 1091 237300 | 6050 5136 150 | 0.000 % | c | 20228 | 700 1091 237300 | 6655 5364 153 | 0.000 % | c | 20565 | 700 1091 237300 | 7320 5701 156 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 24.1893 s Remaining CPU time: 155.811 s c =============================================================================== c | 20823 | 700 1092 237900 | 5000 5959 154 | 0.000 % | c | 20923 | 700 1092 237900 | 5500 3080 138 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 24.3253 s Remaining CPU time: 155.675 s c =============================================================================== c | 20935 | 700 1093 238500 | 5000 3092 138 | 0.000 % | c | 21035 | 700 1093 238500 | 5500 3192 140 | 0.000 % | c | 21185 | 700 1093 238500 | 6050 3342 139 | 0.000 % | c | 21410 | 700 1093 238500 | 6655 3567 135 | 0.000 % | c | 21747 | 700 1093 238500 | 7320 3904 138 | 0.000 % | c | 22253 | 700 1093 238500 | 8052 4410 145 | 0.000 % | c | 23012 | 700 1093 238500 | 8857 5169 149 | 0.000 % | c | 24153 | 700 1093 238500 | 9743 6310 161 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 26.8849 s Remaining CPU time: 153.115 s c =============================================================================== c | 24224 | 700 1094 239100 | 5000 6381 160 | 0.000 % | c | 24325 | 700 1094 239100 | 5500 3292 174 | 0.000 % | c | 24476 | 700 1094 239100 | 6050 3443 173 | 0.000 % | c | 24701 | 700 1094 239100 | 6655 3668 169 | 0.000 % | c | 25038 | 700 1094 239100 | 7320 4005 170 | 0.000 % | c | 25544 | 700 1094 239100 | 8052 4511 174 | 0.000 % | c | 26303 | 700 1094 239100 | 8857 5270 176 | 0.000 % | c | 27442 | 700 1094 239100 | 9743 6409 182 | 0.000 % | c | 29150 | 700 1094 239100 | 10717 8117 187 | 0.000 % | c | 31712 | 700 1094 239100 | 11789 10679 191 | 0.000 % | c | 35556 | 700 1094 239100 | 12968 8521 200 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 41.6977 s Remaining CPU time: 138.302 s c =============================================================================== c | 39874 | 700 1095 239700 | 5000 12839 204 | 0.000 % | c | 39974 | 700 1095 239700 | 5500 3310 189 | 0.000 % | c | 40124 | 700 1095 239700 | 6050 3460 189 | 0.000 % | c | 40349 | 700 1095 239700 | 6655 3685 189 | 0.000 % | c | 40686 | 700 1095 239700 | 7320 4022 190 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 42.6105 s Remaining CPU time: 137.389 s c =============================================================================== c | 40829 | 700 1096 240300 | 5000 4165 187 | 0.000 % | c | 40930 | 700 1096 240300 | 5500 4266 184 | 0.000 % | c | 41081 | 700 1096 240300 | 6050 4417 185 | 0.000 % | c | 41307 | 700 1096 240300 | 6655 4643 178 | 0.000 % | c | 41644 | 700 1096 240300 | 7320 4980 177 | 0.000 % | c | 42150 | 700 1096 240300 | 8052 5486 175 | 0.000 % | c | 42909 | 700 1096 240300 | 8857 6245 179 | 0.000 % | c | 44049 | 700 1096 240300 | 9743 7385 179 | 0.000 % | c | 45757 | 700 1096 240300 | 10717 9093 183 | 0.000 % | c | 48319 | 700 1096 240300 | 11789 6188 188 | 0.000 % | c | 52163 | 700 1096 240300 | 12968 10032 194 | 0.000 % | c | 57929 | 700 1096 240300 | 14265 9192 201 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 64.2502 s Remaining CPU time: 115.75 s c =============================================================================== c | 64185 | 700 1097 240900 | 5000 8207 197 | 0.000 % | c | 64288 | 700 1097 240900 | 5500 4207 190 | 0.000 % | c | 64438 | 700 1097 240900 | 6050 4357 191 | 0.000 % | c | 64663 | 700 1097 240900 | 6655 4582 184 | 0.000 % | c | 65003 | 700 1097 240900 | 7320 4922 186 | 0.000 % | c | 65509 | 700 1097 240900 | 8052 5428 180 | 0.000 % | c | 66268 | 700 1097 240900 | 8857 6187 182 | 0.000 % | c | 67407 | 700 1097 240900 | 9743 7326 184 | 0.000 % | c | 69116 | 700 1097 240900 | 10717 9035 187 | 0.000 % | c | 71679 | 700 1097 240900 | 11789 6130 189 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 72.578 s Remaining CPU time: 107.422 s c =============================================================================== c | 72793 | 700 1098 241500 | 5000 7244 184 | 0.000 % | c | 72893 | 700 1098 241500 | 5500 3722 174 | 0.000 % | c | 73043 | 700 1098 241500 | 6050 3872 170 | 0.000 % | c | 73268 | 700 1098 241500 | 6655 4097 172 | 0.000 % | c | 73605 | 700 1098 241500 | 7320 4434 170 | 0.000 % | c | 74111 | 700 1098 241500 | 8052 4940 174 | 0.000 % | c | 74870 | 700 1098 241500 | 8857 5699 177 | 0.000 % | c | 76009 | 700 1098 241500 | 9743 6838 179 | 0.000 % | c | 77717 | 700 1098 241500 | 10717 8546 185 | 0.000 % | c | 80279 | 700 1098 241500 | 11789 5636 196 | 0.000 % | c | 84123 | 700 1098 241500 | 12968 9480 199 | 0.000 % | c | 89889 | 700 1098 241500 | 14265 8643 201 | 0.000 % | c | 98538 | 700 1098 241500 | 15692 10048 201 | 0.000 % | c | 111513 | 700 1098 241500 | 17261 15063 205 | 0.000 % | c | 130974 | 700 1098 241500 | 18987 17036 208 | 0.000 % | c | 160166 | 700 1098 241500 | 20886 17392 209 | 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 1702 2709 | 5000 0 nan | 0.000 % | c | 101 | 99 1702 2709 | 5500 101 33 | 86.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 746 1703 76878 | 5000 0 nan | 0.000 % | c | 106 | 746 1703 76878 | 5500 106 48 | 27.077 % | c | 257 | 746 1703 76878 | 6050 257 31 | 27.078 % | c | 483 | 746 1703 76878 | 6655 483 28 | 27.078 % | c | 821 | 745 1703 76878 | 7320 254 14 | 27.175 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1523 1704 219796 | 5000 0 nan | 0.000 % | c | 100 | 1523 1704 219796 | 5500 100 50 | 2.622 % | c | 251 | 1523 1704 219796 | 6050 251 27 | 2.622 % | c | 476 | 1523 1704 219796 | 6655 476 22 | 2.622 % | c | 813 | 1523 1704 219796 | 7320 813 20 | 2.622 % | c | 1319 | 1523 1704 219796 | 8052 1319 18 | 2.622 % | c | 2080 | 1523 1704 219796 | 8857 2080 17 | 2.622 % | c | 3219 | 1523 1704 219796 | 9743 3219 18 | 2.622 % | c | 4927 | 1523 1704 219796 | 10717 4927 18 | 2.622 % | c | 7491 | 1523 1704 219796 | 11789 7491 18 | 2.622 % | c | 11335 | 1523 1704 219796 | 12968 11335 18 | 2.622 % | c | 17102 | 1523 1704 219796 | 14265 10590 20 | 2.622 % | c | 25751 | 1523 1704 219796 | 15692 12070 18 | 2.622 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2164 1706 245640 | 5000 0 nan | 0.000 % | c | 100 | 2164 1706 245640 | 5500 100 78 | 0.000 % | c | 252 | 2164 1706 245640 | 6050 252 37 | 0.000 % | c | 478 | 2164 1706 245640 | 6655 478 31 | 0.000 % | c | 815 | 2164 1706 245640 | 7320 815 28 | 0.000 % | c | 1322 | 2164 1706 245640 | 8052 1322 26 | 0.000 % | c | 2082 | 2164 1706 245640 | 8857 2082 24 | 0.000 % | c | 3221 | 2164 1706 245640 | 9743 3221 24 | 0.000 % | c | 4930 | 2164 1706 245640 | 10717 4930 24 | 0.000 % | c | 7492 | 2164 1706 245640 | 11789 7492 23 | 0.000 % | c | 11336 | 2164 1706 245640 | 12968 11336 26 | 0.000 % | c | 17103 | 2164 1706 245640 | 14265 10607 25 | 0.000 % | c | 25755 | 2164 1706 245640 | 15692 12110 26 | 0.000 % | c | 38730 | 2164 1706 245640 | 17261 9353 25 | 0.000 % | c | 58191 | 2164 1706 245640 | 18987 11529 25 | 0.000 % | c | 87385 | 2164 1706 245640 | 20886 12128 20 | 0.000 % | c | 131175 | 2164 1706 245640 | 22974 14078 22 | 0.000 % | c | 196859 | 2164 1706 245640 | 25272 22257 21 | 0.000 % | c | 295387 | 2164 1706 245640 | 27799 18110 20 | 0.000 % | c | 443178 | 2164 1706 245640 | 30579 18013 19 | 0.000 % | c | 664862 | 2164 1706 245640 | 33637 29717 18 | 0.000 % | c | 997388 | 2163 1706 245640 | 37001 26508 18 | 0.046 % |