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.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 700 701 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 700 702 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 700 703 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 700 704 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 700 705 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 700 706 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 700 707 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 700 708 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 700 709 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 700 710 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 700 711 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 700 712 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 700 713 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 700 714 11100 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 700 715 11700 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 700 716 12300 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 700 717 12900 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 700 718 13500 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 1 | 700 719 14100 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 1 | 700 720 14700 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 1 | 700 721 15300 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1 | 700 722 15900 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 1 | 700 723 16500 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 700 724 17100 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 700 725 17700 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1 | 700 726 18300 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 700 727 18900 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 700 728 19500 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 700 729 20100 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 700 730 20700 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 700 731 21300 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 700 732 21900 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 700 733 22500 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 700 734 23100 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 700 735 23700 | 5000 1 591 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 2 | 700 736 24300 | 5000 2 298 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 2 | 700 737 24900 | 5000 2 298 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 2 | 700 738 25500 | 5000 2 298 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 3 | 700 739 26100 | 5000 3 200 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 3 | 700 740 26700 | 5000 3 200 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 3 | 700 741 27300 | 5000 3 200 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 3 | 700 742 27900 | 5000 3 200 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 3 | 700 743 28500 | 5000 3 200 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 4 | 700 744 29100 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 4 | 700 745 29700 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 4 | 700 746 30300 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 4 | 700 747 30900 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 4 | 700 748 31500 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 4 | 700 749 32100 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 4 | 700 750 32700 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 4 | 700 751 33300 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 4 | 700 752 33900 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 4 | 700 753 34500 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 4 | 700 754 35100 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 4 | 700 755 35700 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 4 | 700 756 36300 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 4 | 700 757 36900 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 4 | 700 758 37500 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 4 | 700 759 38100 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 4 | 700 760 38700 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 4 | 700 761 39300 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 4 | 700 762 39900 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 4 | 700 763 40500 | 5000 4 151 | 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 151 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 4 | 700 765 41700 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 4 | 700 766 42300 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 4 | 700 767 42900 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 4 | 700 768 43500 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 4 | 700 769 44100 | 5000 4 151 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 5 | 700 770 44700 | 5000 5 123 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 5 | 700 771 45300 | 5000 5 123 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 5 | 700 772 45900 | 5000 5 123 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 5 | 700 773 46500 | 5000 5 123 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 5 | 700 774 47100 | 5000 5 123 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 6 | 700 775 47700 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 6 | 700 776 48300 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 6 | 700 777 48900 | 5000 6 191 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 7 | 700 778 49500 | 5000 7 165 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 8 | 700 779 50100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 8 | 700 780 50700 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 8 | 700 781 51300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 8 | 700 782 51900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 8 | 700 783 52500 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 8 | 700 784 53100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 8 | 700 785 53700 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 8 | 700 786 54300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 8 | 700 787 54900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 8 | 700 788 55500 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 8 | 700 789 56100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 8 | 700 790 56700 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 8 | 700 791 57300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 8 | 700 792 57900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 8 | 700 793 58500 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 8 | 700 794 59100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 8 | 700 795 59700 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 8 | 700 796 60300 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 8 | 700 797 60900 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 8 | 700 798 61500 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 8 | 700 799 62100 | 5000 8 145 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 9 | 700 800 62700 | 5000 9 129 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.633903 s Remaining CPU time: 179.366 s c =============================================================================== c | 9 | 700 801 63300 | 5000 9 129 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 9 | 700 802 63900 | 5000 9 129 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 9 | 700 803 64500 | 5000 9 129 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 11 | 700 804 65100 | 5000 11 152 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 11 | 700 805 65700 | 5000 11 152 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 11 | 700 806 66300 | 5000 11 152 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 11 | 700 807 66900 | 5000 11 152 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 11 | 700 808 67500 | 5000 11 152 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 12 | 700 809 68100 | 5000 12 140 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 12 | 700 810 68700 | 5000 12 140 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 12 | 700 811 69300 | 5000 12 140 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.815875 s Remaining CPU time: 179.184 s c =============================================================================== c | 12 | 700 812 69900 | 5000 12 140 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 12 | 700 813 70500 | 5000 12 140 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 12 | 700 814 71100 | 5000 12 140 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 13 | 700 815 71700 | 5000 13 130 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 13 | 700 816 72300 | 5000 13 130 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 13 | 700 817 72900 | 5000 13 130 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 13 | 700 818 73500 | 5000 13 130 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 13 | 700 819 74100 | 5000 13 130 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 13 | 700 820 74700 | 5000 13 130 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 14 | 700 821 75300 | 5000 14 121 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 14 | 700 822 75900 | 5000 14 121 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 14 | 700 823 76500 | 5000 14 121 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 14 | 700 824 77100 | 5000 14 121 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 14 | 700 825 77700 | 5000 14 121 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 14 | 700 826 78300 | 5000 14 121 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 18 | 700 827 78900 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 1.11783 s Remaining CPU time: 178.882 s c =============================================================================== c | 18 | 700 828 79500 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s c =============================================================================== c | 18 | 700 829 80100 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 18 | 700 830 80700 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 1.18182 s Remaining CPU time: 178.818 s c =============================================================================== c | 18 | 700 831 81300 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s c =============================================================================== c | 18 | 700 832 81900 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 19 | 700 833 82500 | 5000 19 91 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 19 | 700 834 83100 | 5000 19 91 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 1.27181 s Remaining CPU time: 178.728 s c =============================================================================== c | 20 | 700 835 83700 | 5000 20 87 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 21 | 700 836 84300 | 5000 21 106 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 22 | 700 837 84900 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 22 | 700 838 85500 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 22 | 700 839 86100 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 1.38879 s Remaining CPU time: 178.611 s c =============================================================================== c | 22 | 700 840 86700 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 22 | 700 841 87300 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 22 | 700 842 87900 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 23 | 700 843 88500 | 5000 23 117 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 23 | 700 844 89100 | 5000 23 117 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 23 | 700 845 89700 | 5000 23 117 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 24 | 700 846 90300 | 5000 24 112 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 25 | 700 847 90900 | 5000 25 109 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 25 | 700 848 91500 | 5000 25 109 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 1.61375 s Remaining CPU time: 178.386 s c =============================================================================== c | 25 | 700 849 92100 | 5000 25 109 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 25 | 700 850 92700 | 5000 25 109 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 1.66675 s Remaining CPU time: 178.333 s c =============================================================================== c | 25 | 700 851 93300 | 5000 25 109 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 25 | 700 852 93900 | 5000 25 109 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 1.72074 s Remaining CPU time: 178.279 s c =============================================================================== c | 26 | 700 853 94500 | 5000 26 105 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s c =============================================================================== c | 26 | 700 854 95100 | 5000 26 105 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 1.77573 s Remaining CPU time: 178.224 s c =============================================================================== c | 26 | 700 855 95700 | 5000 26 105 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 27 | 700 856 96300 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 29 | 700 857 96900 | 5000 29 95 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 1.85872 s Remaining CPU time: 178.141 s c =============================================================================== c | 30 | 700 858 97500 | 5000 30 92 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 1.88771 s Remaining CPU time: 178.112 s c =============================================================================== c | 30 | 700 859 98100 | 5000 30 92 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 31 | 700 860 98700 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 31 | 700 861 99300 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 1.9707 s Remaining CPU time: 178.029 s c =============================================================================== c | 31 | 700 862 99900 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 1.9997 s Remaining CPU time: 178 s c =============================================================================== c | 32 | 700 863 100500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 33 | 700 864 101100 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 33 | 700 865 101700 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 2.08868 s Remaining CPU time: 177.911 s c =============================================================================== c | 33 | 700 866 102300 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 2.11968 s Remaining CPU time: 177.88 s c =============================================================================== c | 33 | 700 867 102900 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 33 | 700 868 103500 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 2.17967 s Remaining CPU time: 177.82 s c =============================================================================== c | 33 | 700 869 104100 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s c =============================================================================== c | 33 | 700 870 104700 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 2.24066 s Remaining CPU time: 177.759 s c =============================================================================== c | 33 | 700 871 105300 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 2.27165 s Remaining CPU time: 177.728 s c =============================================================================== c | 34 | 700 872 105900 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 2.30265 s Remaining CPU time: 177.697 s c =============================================================================== c | 34 | 700 873 106500 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 2.33264 s Remaining CPU time: 177.667 s c =============================================================================== c | 34 | 700 874 107100 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 34 | 700 875 107700 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 2.39563 s Remaining CPU time: 177.604 s c =============================================================================== c | 34 | 700 876 108300 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 2.42763 s Remaining CPU time: 177.572 s c =============================================================================== c | 35 | 700 877 108900 | 5000 35 92 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 2.45963 s Remaining CPU time: 177.54 s c =============================================================================== c | 35 | 700 878 109500 | 5000 35 92 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 2.49062 s Remaining CPU time: 177.509 s c =============================================================================== c | 35 | 700 879 110100 | 5000 35 92 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 2.52362 s Remaining CPU time: 177.476 s c =============================================================================== c | 35 | 700 880 110700 | 5000 35 92 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 2.55561 s Remaining CPU time: 177.444 s c =============================================================================== c | 35 | 700 881 111300 | 5000 35 92 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 2.58861 s Remaining CPU time: 177.411 s c =============================================================================== c | 36 | 700 882 111900 | 5000 36 90 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 2.6226 s Remaining CPU time: 177.377 s c =============================================================================== c | 46 | 700 883 112500 | 5000 46 110 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 2.6546 s Remaining CPU time: 177.345 s c =============================================================================== c | 47 | 700 884 113100 | 5000 47 108 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 2.68659 s Remaining CPU time: 177.313 s c =============================================================================== c | 48 | 700 885 113700 | 5000 48 106 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 2.72059 s Remaining CPU time: 177.279 s c =============================================================================== c | 48 | 700 886 114300 | 5000 48 106 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 2.75458 s Remaining CPU time: 177.245 s c =============================================================================== c | 50 | 700 887 114900 | 5000 50 118 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 2.78758 s Remaining CPU time: 177.212 s c =============================================================================== c | 53 | 700 888 115500 | 5000 53 120 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 55 | 700 889 116100 | 5000 55 123 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 2.85556 s Remaining CPU time: 177.144 s c =============================================================================== c | 58 | 700 890 116700 | 5000 58 124 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 2.89056 s Remaining CPU time: 177.109 s c =============================================================================== c | 59 | 700 891 117300 | 5000 59 129 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 2.92556 s Remaining CPU time: 177.074 s c =============================================================================== c | 62 | 700 892 117900 | 5000 62 130 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 2.96055 s Remaining CPU time: 177.039 s c =============================================================================== c | 63 | 700 893 118500 | 5000 63 128 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 2.99554 s Remaining CPU time: 177.004 s c =============================================================================== c | 64 | 700 894 119100 | 5000 64 132 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 3.03154 s Remaining CPU time: 176.968 s c =============================================================================== c | 65 | 700 895 119700 | 5000 65 137 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 3.06653 s Remaining CPU time: 176.933 s c =============================================================================== c | 66 | 700 896 120300 | 5000 66 141 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 3.10253 s Remaining CPU time: 176.897 s c =============================================================================== c | 66 | 700 897 120900 | 5000 66 141 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 3.13852 s Remaining CPU time: 176.861 s c =============================================================================== c | 67 | 700 898 121500 | 5000 67 145 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 3.17452 s Remaining CPU time: 176.825 s c =============================================================================== c | 68 | 700 899 122100 | 5000 68 148 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 3.20951 s Remaining CPU time: 176.79 s c =============================================================================== c | 69 | 700 900 122700 | 5000 69 152 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 3.24651 s Remaining CPU time: 176.753 s c =============================================================================== c | 70 | 700 901 123300 | 5000 70 156 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 3.2835 s Remaining CPU time: 176.716 s c =============================================================================== c | 70 | 700 902 123900 | 5000 70 156 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 3.31849 s Remaining CPU time: 176.682 s c =============================================================================== c | 70 | 700 903 124500 | 5000 70 156 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 3.35649 s Remaining CPU time: 176.644 s c =============================================================================== c | 71 | 700 904 125100 | 5000 71 159 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 3.39148 s Remaining CPU time: 176.609 s c =============================================================================== c | 72 | 700 905 125700 | 5000 72 163 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 3.42848 s Remaining CPU time: 176.572 s c =============================================================================== c | 72 | 700 906 126300 | 5000 72 163 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 3.46647 s Remaining CPU time: 176.534 s c =============================================================================== c | 73 | 700 907 126900 | 5000 73 166 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 3.50447 s Remaining CPU time: 176.496 s c =============================================================================== c | 75 | 700 908 127500 | 5000 75 162 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 3.54146 s Remaining CPU time: 176.459 s c =============================================================================== c | 75 | 700 909 128100 | 5000 75 162 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 3.57845 s Remaining CPU time: 176.422 s c =============================================================================== c | 78 | 700 910 128700 | 5000 78 156 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 3.61845 s Remaining CPU time: 176.382 s c =============================================================================== c | 85 | 700 911 129300 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 3.65844 s Remaining CPU time: 176.342 s c =============================================================================== c | 85 | 700 912 129900 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 3.69744 s Remaining CPU time: 176.303 s c =============================================================================== c | 85 | 700 913 130500 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 3.73643 s Remaining CPU time: 176.264 s c =============================================================================== c | 85 | 700 914 131100 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 3.77443 s Remaining CPU time: 176.226 s c =============================================================================== c | 85 | 700 915 131700 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 3.81242 s Remaining CPU time: 176.188 s c =============================================================================== c | 85 | 700 916 132300 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 3.85041 s Remaining CPU time: 176.15 s c =============================================================================== c | 85 | 700 917 132900 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 3.88941 s Remaining CPU time: 176.111 s c =============================================================================== c | 86 | 700 918 133500 | 5000 86 143 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 3.9294 s Remaining CPU time: 176.071 s c =============================================================================== c | 87 | 700 919 134100 | 5000 87 142 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 3.9684 s Remaining CPU time: 176.032 s c =============================================================================== c | 87 | 700 920 134700 | 5000 87 142 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 4.00839 s Remaining CPU time: 175.992 s c =============================================================================== c | 87 | 700 921 135300 | 5000 87 142 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 4.04738 s Remaining CPU time: 175.953 s c =============================================================================== c | 88 | 700 922 135900 | 5000 88 140 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 4.08738 s Remaining CPU time: 175.913 s c =============================================================================== c | 88 | 700 923 136500 | 5000 88 140 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 4.12837 s Remaining CPU time: 175.872 s c =============================================================================== c | 92 | 700 924 137100 | 5000 92 139 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 4.16737 s Remaining CPU time: 175.833 s c =============================================================================== c | 92 | 700 925 137700 | 5000 92 139 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 4.20636 s Remaining CPU time: 175.794 s c =============================================================================== c | 96 | 700 926 138300 | 5000 96 134 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 4.24735 s Remaining CPU time: 175.753 s c =============================================================================== c | 97 | 700 927 138900 | 5000 97 137 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 4.28935 s Remaining CPU time: 175.711 s c =============================================================================== c | 99 | 700 928 139500 | 5000 99 142 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 4.32934 s Remaining CPU time: 175.671 s c =============================================================================== c | 100 | 700 929 140100 | 5000 100 140 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 4.36934 s Remaining CPU time: 175.631 s c =============================================================================== c | 100 | 700 930 140700 | 5000 100 140 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 4.41133 s Remaining CPU time: 175.589 s c =============================================================================== c | 101 | 700 931 141300 | 5000 101 143 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 4.45432 s Remaining CPU time: 175.546 s c =============================================================================== c | 107 | 700 932 141900 | 5000 107 156 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 4.49732 s Remaining CPU time: 175.503 s c =============================================================================== c | 110 | 700 933 142500 | 5000 110 152 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 4.53831 s Remaining CPU time: 175.462 s c =============================================================================== c | 110 | 700 934 143100 | 5000 110 152 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 4.5803 s Remaining CPU time: 175.42 s c =============================================================================== c | 112 | 700 935 143700 | 5000 112 153 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 4.6273 s Remaining CPU time: 175.373 s c =============================================================================== c | 124 | 700 936 144300 | 5000 124 174 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 4.67029 s Remaining CPU time: 175.33 s c =============================================================================== c | 126 | 700 937 144900 | 5000 126 171 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 4.71228 s Remaining CPU time: 175.288 s c =============================================================================== c | 128 | 700 938 145500 | 5000 128 169 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 4.75528 s Remaining CPU time: 175.245 s c =============================================================================== c | 129 | 700 939 146100 | 5000 129 168 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 4.79627 s Remaining CPU time: 175.204 s c =============================================================================== c | 129 | 700 940 146700 | 5000 129 168 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 4.83926 s Remaining CPU time: 175.161 s c =============================================================================== c | 129 | 700 941 147300 | 5000 129 168 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 4.88026 s Remaining CPU time: 175.12 s c =============================================================================== c | 130 | 700 942 147900 | 5000 130 167 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 4.92425 s Remaining CPU time: 175.076 s c =============================================================================== c | 130 | 700 943 148500 | 5000 130 167 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 4.96624 s Remaining CPU time: 175.034 s c =============================================================================== c | 130 | 700 944 149100 | 5000 130 167 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 5.00824 s Remaining CPU time: 174.992 s c =============================================================================== c | 130 | 700 945 149700 | 5000 130 167 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 5.05123 s Remaining CPU time: 174.949 s c =============================================================================== c | 132 | 700 946 150300 | 5000 132 164 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 5.09523 s Remaining CPU time: 174.905 s c =============================================================================== c | 134 | 700 947 150900 | 5000 134 162 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 5.13922 s Remaining CPU time: 174.861 s c =============================================================================== c | 137 | 700 948 151500 | 5000 137 159 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 5.18321 s Remaining CPU time: 174.817 s c =============================================================================== c | 138 | 700 949 152100 | 5000 138 158 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 5.2282 s Remaining CPU time: 174.772 s c =============================================================================== c | 139 | 700 950 152700 | 5000 139 160 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 5.2732 s Remaining CPU time: 174.727 s c =============================================================================== c | 141 | 700 951 153300 | 5000 141 162 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 5.31819 s Remaining CPU time: 174.682 s c =============================================================================== c | 142 | 700 952 153900 | 5000 142 164 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 5.36218 s Remaining CPU time: 174.638 s c =============================================================================== c | 142 | 700 953 154500 | 5000 142 164 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 5.40618 s Remaining CPU time: 174.594 s c =============================================================================== c | 142 | 700 954 155100 | 5000 142 164 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 5.45117 s Remaining CPU time: 174.549 s c =============================================================================== c | 143 | 700 955 155700 | 5000 143 165 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 5.49616 s Remaining CPU time: 174.504 s c =============================================================================== c | 144 | 700 956 156300 | 5000 144 166 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 5.54116 s Remaining CPU time: 174.459 s c =============================================================================== c | 145 | 700 957 156900 | 5000 145 168 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 5.58415 s Remaining CPU time: 174.416 s c =============================================================================== c | 146 | 700 958 157500 | 5000 146 169 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 5.63014 s Remaining CPU time: 174.37 s c =============================================================================== c | 146 | 700 959 158100 | 5000 146 169 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 5.67414 s Remaining CPU time: 174.326 s c =============================================================================== c | 155 | 700 960 158700 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 5.71813 s Remaining CPU time: 174.282 s c =============================================================================== c | 155 | 700 961 159300 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 5.76412 s Remaining CPU time: 174.236 s c =============================================================================== c | 155 | 700 962 159900 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 5.81012 s Remaining CPU time: 174.19 s c =============================================================================== c | 155 | 700 963 160500 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 5.85611 s Remaining CPU time: 174.144 s c =============================================================================== c | 155 | 700 964 161100 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 5.9021 s Remaining CPU time: 174.098 s c =============================================================================== c | 155 | 700 965 161700 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 5.9481 s Remaining CPU time: 174.052 s c =============================================================================== c | 155 | 700 966 162300 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 5.99309 s Remaining CPU time: 174.007 s c =============================================================================== c | 155 | 700 967 162900 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 6.03908 s Remaining CPU time: 173.961 s c =============================================================================== c | 155 | 700 968 163500 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 6.08607 s Remaining CPU time: 173.914 s c =============================================================================== c | 155 | 700 969 164100 | 5000 155 162 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 6.13207 s Remaining CPU time: 173.868 s c =============================================================================== c | 158 | 700 970 164700 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 6.17806 s Remaining CPU time: 173.822 s c =============================================================================== c | 158 | 700 971 165300 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 6.22505 s Remaining CPU time: 173.775 s c =============================================================================== c | 158 | 700 972 165900 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 6.27105 s Remaining CPU time: 173.729 s c =============================================================================== c | 158 | 700 973 166500 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 6.31804 s Remaining CPU time: 173.682 s c =============================================================================== c | 158 | 700 974 167100 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 6.36403 s Remaining CPU time: 173.636 s c =============================================================================== c | 158 | 700 975 167700 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 6.41202 s Remaining CPU time: 173.588 s c =============================================================================== c | 158 | 700 976 168300 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 6.46002 s Remaining CPU time: 173.54 s c =============================================================================== c | 158 | 700 977 168900 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 6.50701 s Remaining CPU time: 173.493 s c =============================================================================== c | 158 | 700 978 169500 | 5000 158 159 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 6.554 s Remaining CPU time: 173.446 s c =============================================================================== c | 159 | 700 979 170100 | 5000 159 158 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 6.601 s Remaining CPU time: 173.399 s c =============================================================================== c | 159 | 700 980 170700 | 5000 159 158 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 6.64699 s Remaining CPU time: 173.353 s c =============================================================================== c | 159 | 700 981 171300 | 5000 159 158 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 6.69398 s Remaining CPU time: 173.306 s c =============================================================================== c | 159 | 700 982 171900 | 5000 159 158 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 6.74097 s Remaining CPU time: 173.259 s c =============================================================================== c | 161 | 700 983 172500 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 6.78897 s Remaining CPU time: 173.211 s c =============================================================================== c | 161 | 700 984 173100 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 6.83696 s Remaining CPU time: 173.163 s c =============================================================================== c | 161 | 700 985 173700 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 6.88395 s Remaining CPU time: 173.116 s c =============================================================================== c | 161 | 700 986 174300 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 6.93095 s Remaining CPU time: 173.069 s c =============================================================================== c | 161 | 700 987 174900 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 6.97794 s Remaining CPU time: 173.022 s c =============================================================================== c | 161 | 700 988 175500 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 7.02393 s Remaining CPU time: 172.976 s c =============================================================================== c | 161 | 700 989 176100 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 7.07092 s Remaining CPU time: 172.929 s c =============================================================================== c | 161 | 700 990 176700 | 5000 161 157 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 7.11892 s Remaining CPU time: 172.881 s c =============================================================================== c | 162 | 700 991 177300 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 7.16591 s Remaining CPU time: 172.834 s c =============================================================================== c | 162 | 700 992 177900 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 7.2139 s Remaining CPU time: 172.786 s c =============================================================================== c | 162 | 700 993 178500 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 7.2609 s Remaining CPU time: 172.739 s c =============================================================================== c | 162 | 700 994 179100 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 7.30789 s Remaining CPU time: 172.692 s c =============================================================================== c | 162 | 700 995 179700 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 7.35488 s Remaining CPU time: 172.645 s c =============================================================================== c | 162 | 700 996 180300 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 7.40287 s Remaining CPU time: 172.597 s c =============================================================================== c | 162 | 700 997 180900 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 7.45087 s Remaining CPU time: 172.549 s c =============================================================================== c | 162 | 700 998 181500 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 7.49786 s Remaining CPU time: 172.502 s c =============================================================================== c | 162 | 700 999 182100 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 7.54485 s Remaining CPU time: 172.455 s c =============================================================================== c | 162 | 700 1000 182700 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 7.59284 s Remaining CPU time: 172.407 s c =============================================================================== c | 162 | 700 1001 183300 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 7.63984 s Remaining CPU time: 172.36 s c =============================================================================== c | 162 | 700 1002 183900 | 5000 162 156 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 7.68783 s Remaining CPU time: 172.312 s c =============================================================================== c | 163 | 700 1003 184500 | 5000 163 155 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 7.73482 s Remaining CPU time: 172.265 s c =============================================================================== c | 163 | 700 1004 185100 | 5000 163 155 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 7.78182 s Remaining CPU time: 172.218 s c =============================================================================== c | 163 | 700 1005 185700 | 5000 163 155 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 7.82981 s Remaining CPU time: 172.17 s c =============================================================================== c | 163 | 700 1006 186300 | 5000 163 155 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 7.8768 s Remaining CPU time: 172.123 s c =============================================================================== c | 164 | 700 1007 186900 | 5000 164 156 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 7.9238 s Remaining CPU time: 172.076 s c =============================================================================== c | 164 | 700 1008 187500 | 5000 164 156 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 7.97279 s Remaining CPU time: 172.027 s c =============================================================================== c | 164 | 700 1009 188100 | 5000 164 156 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 8.02078 s Remaining CPU time: 171.979 s c =============================================================================== c | 164 | 700 1010 188700 | 5000 164 156 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 8.06877 s Remaining CPU time: 171.931 s c =============================================================================== c | 164 | 700 1011 189300 | 5000 164 156 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 8.11777 s Remaining CPU time: 171.882 s c =============================================================================== c | 164 | 700 1012 189900 | 5000 164 156 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 8.16676 s Remaining CPU time: 171.833 s c =============================================================================== c | 165 | 700 1013 190500 | 5000 165 155 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 8.21375 s Remaining CPU time: 171.786 s c =============================================================================== c | 165 | 700 1014 191100 | 5000 165 155 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 8.26074 s Remaining CPU time: 171.739 s c =============================================================================== c | 166 | 700 1015 191700 | 5000 166 154 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 8.30874 s Remaining CPU time: 171.691 s c =============================================================================== c | 166 | 700 1016 192300 | 5000 166 154 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 8.35973 s Remaining CPU time: 171.64 s c =============================================================================== c | 166 | 700 1017 192900 | 5000 166 154 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 8.40872 s Remaining CPU time: 171.591 s c =============================================================================== c | 167 | 700 1018 193500 | 5000 167 153 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 8.45671 s Remaining CPU time: 171.543 s c =============================================================================== c | 168 | 700 1019 194100 | 5000 168 154 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 8.50571 s Remaining CPU time: 171.494 s c =============================================================================== c | 168 | 700 1020 194700 | 5000 168 154 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 8.5557 s Remaining CPU time: 171.444 s c =============================================================================== c | 168 | 700 1021 195300 | 5000 168 154 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 8.60369 s Remaining CPU time: 171.396 s c =============================================================================== c | 168 | 700 1022 195900 | 5000 168 154 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 8.65168 s Remaining CPU time: 171.348 s c =============================================================================== c | 168 | 700 1023 196500 | 5000 168 154 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 8.70168 s Remaining CPU time: 171.298 s c =============================================================================== c | 168 | 700 1024 197100 | 5000 168 154 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 8.75467 s Remaining CPU time: 171.245 s c =============================================================================== c | 186 | 700 1025 197700 | 5000 186 146 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 8.80366 s Remaining CPU time: 171.196 s c =============================================================================== c | 187 | 700 1026 198300 | 5000 187 145 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 8.85565 s Remaining CPU time: 171.144 s c =============================================================================== c | 190 | 700 1027 198900 | 5000 190 147 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 8.90565 s Remaining CPU time: 171.094 s c =============================================================================== c | 194 | 700 1028 199500 | 5000 194 146 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 8.95464 s Remaining CPU time: 171.045 s c =============================================================================== c | 195 | 700 1029 200100 | 5000 195 146 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 9.00363 s Remaining CPU time: 170.996 s c =============================================================================== c | 195 | 700 1030 200700 | 5000 195 146 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 9.05462 s Remaining CPU time: 170.945 s c =============================================================================== c | 199 | 700 1031 201300 | 5000 199 145 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 9.10462 s Remaining CPU time: 170.895 s c =============================================================================== c | 200 | 700 1032 201900 | 5000 200 144 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 9.15561 s Remaining CPU time: 170.844 s c =============================================================================== c | 203 | 700 1033 202500 | 5000 203 144 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 9.2056 s Remaining CPU time: 170.794 s c =============================================================================== c | 213 | 700 1034 203100 | 5000 213 139 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 9.25659 s Remaining CPU time: 170.743 s c =============================================================================== c | 215 | 700 1035 203700 | 5000 215 140 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 9.30758 s Remaining CPU time: 170.692 s c =============================================================================== c | 215 | 700 1036 204300 | 5000 215 140 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 9.35658 s Remaining CPU time: 170.643 s c =============================================================================== c | 216 | 700 1037 204900 | 5000 216 141 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 9.40757 s Remaining CPU time: 170.592 s c =============================================================================== c | 217 | 700 1038 205500 | 5000 217 141 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 9.45756 s Remaining CPU time: 170.542 s c =============================================================================== c | 218 | 700 1039 206100 | 5000 218 142 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 9.50955 s Remaining CPU time: 170.49 s c =============================================================================== c | 218 | 700 1040 206700 | 5000 218 142 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 9.55855 s Remaining CPU time: 170.441 s c =============================================================================== c | 219 | 700 1041 207300 | 5000 219 142 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 9.60954 s Remaining CPU time: 170.39 s c =============================================================================== c | 219 | 700 1042 207900 | 5000 219 142 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 9.66053 s Remaining CPU time: 170.339 s c =============================================================================== c | 220 | 700 1043 208500 | 5000 220 143 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 9.71152 s Remaining CPU time: 170.288 s c =============================================================================== c | 220 | 700 1044 209100 | 5000 220 143 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 9.76152 s Remaining CPU time: 170.238 s c =============================================================================== c | 220 | 700 1045 209700 | 5000 220 143 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 9.81851 s Remaining CPU time: 170.181 s c =============================================================================== c | 288 | 700 1046 210300 | 5000 288 118 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 9.8875 s Remaining CPU time: 170.113 s c =============================================================================== c | 316 | 700 1047 210900 | 5000 316 131 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 9.93749 s Remaining CPU time: 170.063 s c =============================================================================== c | 318 | 700 1048 211500 | 5000 318 130 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 9.98848 s Remaining CPU time: 170.012 s c =============================================================================== c | 318 | 700 1049 212100 | 5000 318 130 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 10.0395 s Remaining CPU time: 169.961 s c =============================================================================== c | 318 | 700 1050 212700 | 5000 318 130 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 10.0905 s Remaining CPU time: 169.91 s c =============================================================================== c | 318 | 700 1051 213300 | 5000 318 130 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 10.1405 s Remaining CPU time: 169.86 s c =============================================================================== c | 318 | 700 1052 213900 | 5000 318 130 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 10.1914 s Remaining CPU time: 169.809 s c =============================================================================== c | 318 | 700 1053 214500 | 5000 318 130 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 10.2414 s Remaining CPU time: 169.759 s c =============================================================================== c | 318 | 700 1054 215100 | 5000 318 130 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 10.2914 s Remaining CPU time: 169.709 s c =============================================================================== c | 335 | 700 1055 215700 | 5000 335 125 | 0.000 % | c | 435 | 700 1055 215700 | 5500 435 154 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 10.4214 s Remaining CPU time: 169.579 s c =============================================================================== c | 471 | 700 1056 216300 | 5000 471 144 | 0.000 % | c | 571 | 700 1056 216300 | 5500 571 163 | 0.000 % | c | 722 | 700 1056 216300 | 6050 722 136 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 10.6584 s Remaining CPU time: 169.342 s c =============================================================================== c | 723 | 700 1057 216900 | 5000 723 136 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 10.7164 s Remaining CPU time: 169.284 s c =============================================================================== c | 731 | 700 1058 217500 | 5000 731 138 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 10.7664 s Remaining CPU time: 169.234 s c =============================================================================== c | 733 | 700 1059 218100 | 5000 733 137 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 10.8164 s Remaining CPU time: 169.184 s c =============================================================================== c | 733 | 700 1060 218700 | 5000 733 137 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 10.8673 s Remaining CPU time: 169.133 s c =============================================================================== c | 734 | 700 1061 219300 | 5000 734 137 | 0.000 % | c | 834 | 700 1061 219300 | 5500 834 150 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 11.0023 s Remaining CPU time: 168.998 s c =============================================================================== c | 834 | 700 1062 219900 | 5000 834 150 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 11.0533 s Remaining CPU time: 168.947 s c =============================================================================== c | 835 | 700 1063 220500 | 5000 835 150 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 11.1053 s Remaining CPU time: 168.895 s c =============================================================================== c | 905 | 700 1064 221100 | 5000 905 142 | 0.000 % | c | 1006 | 700 1064 221100 | 5500 1006 152 | 0.000 % | c | 1156 | 700 1064 221100 | 6050 1156 138 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 11.6072 s Remaining CPU time: 168.393 s c =============================================================================== c | 1241 | 700 1065 221700 | 5000 1241 146 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 11.6582 s Remaining CPU time: 168.342 s c =============================================================================== c | 1254 | 700 1066 222300 | 5000 1254 144 | 0.000 % | c | 1354 | 700 1066 222300 | 5500 1354 149 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 11.8052 s Remaining CPU time: 168.195 s c =============================================================================== c | 1402 | 700 1067 222900 | 5000 1402 145 | 0.000 % | c | 1502 | 700 1067 222900 | 5500 1502 152 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 12.0502 s Remaining CPU time: 167.95 s c =============================================================================== c | 1589 | 700 1068 223500 | 5000 1589 145 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 12.1142 s Remaining CPU time: 167.886 s c =============================================================================== c | 1594 | 700 1069 224100 | 5000 1594 145 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 12.1641 s Remaining CPU time: 167.836 s c =============================================================================== c | 1595 | 700 1070 224700 | 5000 1595 145 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 12.2151 s Remaining CPU time: 167.785 s c =============================================================================== c | 1599 | 700 1071 225300 | 5000 1599 145 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 12.2651 s Remaining CPU time: 167.735 s c =============================================================================== c | 1601 | 700 1072 225900 | 5000 1601 145 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 12.3161 s Remaining CPU time: 167.684 s c =============================================================================== c | 1601 | 700 1073 226500 | 5000 1601 145 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 12.3681 s Remaining CPU time: 167.632 s c =============================================================================== c | 1602 | 700 1074 227100 | 5000 1602 145 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 12.4651 s Remaining CPU time: 167.535 s c =============================================================================== c | 1699 | 700 1075 227700 | 5000 1699 150 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 12.5161 s Remaining CPU time: 167.484 s c =============================================================================== c | 1705 | 700 1076 228300 | 5000 1705 150 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 12.5671 s Remaining CPU time: 167.433 s c =============================================================================== c | 1718 | 700 1077 228900 | 5000 1718 149 | 0.000 % | c | 1818 | 700 1077 228900 | 5500 1818 153 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 12.7281 s Remaining CPU time: 167.272 s c =============================================================================== c | 1943 | 700 1078 229500 | 5000 1943 146 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 12.909 s Remaining CPU time: 167.091 s c =============================================================================== c | 2008 | 700 1079 230100 | 5000 2008 148 | 0.000 % | c | 2108 | 700 1079 230100 | 5500 2108 143 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 13.023 s Remaining CPU time: 166.977 s c =============================================================================== c | 2118 | 700 1080 230700 | 5000 2118 143 | 0.000 % | c | 2218 | 700 1080 230700 | 5500 2218 140 | 0.000 % | c | 2368 | 700 1080 230700 | 6050 2368 140 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 13.258 s Remaining CPU time: 166.742 s c =============================================================================== c | 2370 | 700 1081 231300 | 5000 2370 140 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 13.307 s Remaining CPU time: 166.693 s c =============================================================================== c | 2374 | 700 1082 231900 | 5000 2374 140 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 13.358 s Remaining CPU time: 166.642 s c =============================================================================== c | 2378 | 700 1083 232500 | 5000 2378 140 | 0.000 % | c | 2478 | 700 1083 232500 | 5500 2478 143 | 0.000 % | c | 2628 | 700 1083 232500 | 6050 2628 139 | 0.000 % | c | 2853 | 700 1083 232500 | 6655 2853 145 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 13.7729 s Remaining CPU time: 166.227 s c =============================================================================== c | 2950 | 700 1084 233100 | 5000 2950 141 | 0.000 % | c | 3050 | 700 1084 233100 | 5500 3050 144 | 0.000 % | c | 3200 | 700 1084 233100 | 6050 3200 139 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 14.3608 s Remaining CPU time: 165.639 s c =============================================================================== c | 3319 | 700 1085 233700 | 5000 3319 142 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 14.4138 s Remaining CPU time: 165.586 s c =============================================================================== c | 3349 | 700 1086 234300 | 5000 3349 141 | 0.000 % | c | 3449 | 700 1086 234300 | 5500 3449 144 | 0.000 % | c | 3599 | 700 1086 234300 | 6050 3599 141 | 0.000 % | c | 3824 | 700 1086 234300 | 6655 3824 138 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 14.8487 s Remaining CPU time: 165.151 s c =============================================================================== c | 3955 | 700 1087 234900 | 5000 3955 140 | 0.000 % | c | 4055 | 700 1087 234900 | 5500 4055 140 | 0.000 % | c | 4205 | 700 1087 234900 | 6050 4205 143 | 0.000 % | c | 4430 | 700 1087 234900 | 6655 4430 144 | 0.000 % | c | 4767 | 700 1087 234900 | 7320 4767 149 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 16.0126 s Remaining CPU time: 163.987 s c =============================================================================== c | 5272 | 700 1088 235500 | 5000 5272 153 | 0.000 % | c | 5372 | 700 1088 235500 | 5500 2736 150 | 0.000 % | c | 5522 | 700 1088 235500 | 6050 2886 152 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 16.4595 s Remaining CPU time: 163.541 s c =============================================================================== c | 5641 | 700 1089 236100 | 5000 3005 154 | 0.000 % | c | 5741 | 700 1089 236100 | 5500 3105 156 | 0.000 % | c | 5891 | 700 1089 236100 | 6050 3255 157 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 16.7645 s Remaining CPU time: 163.236 s c =============================================================================== c | 5950 | 700 1090 236700 | 5000 3314 156 | 0.000 % | c | 6050 | 700 1090 236700 | 5500 3414 158 | 0.000 % | c | 6200 | 700 1090 236700 | 6050 3564 156 | 0.000 % | c | 6426 | 700 1090 236700 | 6655 3790 159 | 0.000 % | c | 6763 | 700 1090 236700 | 7320 4127 163 | 0.000 % | c | 7270 | 700 1090 236700 | 8052 4634 165 | 0.000 % | c | 8029 | 700 1090 236700 | 8857 5393 170 | 0.000 % | c | 9168 | 700 1090 236700 | 9743 6532 174 | 0.000 % | c | 10876 | 700 1090 236700 | 10717 8240 183 | 0.000 % | c | 13438 | 700 1090 236700 | 11789 10802 187 | 0.000 % | c | 17282 | 700 1090 236700 | 12968 8629 204 | 0.000 % | c | 23048 | 700 1090 236700 | 14265 7797 203 | 0.000 % | c | 31697 | 700 1090 236700 | 15692 9192 208 | 0.000 % | c | 44671 | 700 1090 236700 | 17261 14206 211 | 0.000 % | c | 64132 | 700 1090 236700 | 18987 16166 215 | 0.000 % | c | 93324 | 700 1090 236700 | 20886 16536 215 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 96.5673 s Remaining CPU time: 83.4327 s c =============================================================================== c | 94690 | 700 1091 237300 | 5000 17902 215 | 0.000 % | c | 94790 | 700 1091 237300 | 5500 4576 201 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 96.7883 s Remaining CPU time: 83.2117 s c =============================================================================== c | 94803 | 700 1092 237900 | 5000 4589 201 | 0.000 % | c | 94903 | 700 1092 237900 | 5500 4689 201 | 0.000 % | c | 95053 | 700 1092 237900 | 6050 4839 196 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 97.0862 s Remaining CPU time: 82.9138 s c =============================================================================== c | 95102 | 700 1093 238500 | 5000 4888 196 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 97.1392 s Remaining CPU time: 82.8608 s c =============================================================================== c | 95117 | 700 1094 239100 | 5000 4903 196 | 0.000 % | c | 95218 | 700 1094 239100 | 5500 5004 196 | 0.000 % | c | 95369 | 700 1094 239100 | 6050 5155 194 | 0.000 % | c | 95595 | 700 1094 239100 | 6655 5381 194 | 0.000 % | c | 95932 | 700 1094 239100 | 7320 5718 192 | 0.000 % | c | 96438 | 700 1094 239100 | 8052 6224 193 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 98.397 s Remaining CPU time: 81.603 s c =============================================================================== c | 96533 | 700 1095 239700 | 5000 6319 193 | 0.000 % | c | 96633 | 700 1095 239700 | 5500 3260 171 | 0.000 % | c | 96783 | 700 1095 239700 | 6050 3410 172 | 0.000 % | c | 97008 | 700 1095 239700 | 6655 3635 173 | 0.000 % | c | 97345 | 700 1095 239700 | 7320 3972 177 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 99.3069 s Remaining CPU time: 80.6931 s c =============================================================================== c | 97411 | 700 1096 240300 | 5000 4038 176 | 0.000 % | c | 97511 | 700 1096 240300 | 5500 4138 176 | 0.000 % | c | 97661 | 700 1096 240300 | 6050 4288 176 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 99.6958 s Remaining CPU time: 80.3042 s c =============================================================================== c | 97746 | 700 1097 240900 | 5000 4373 176 | 0.000 % | c | 97846 | 700 1097 240900 | 5500 4473 176 | 0.000 % | c | 97996 | 700 1097 240900 | 6050 4623 177 | 0.000 % | c | 98221 | 700 1097 240900 | 6655 4848 178 | 0.000 % | c | 98558 | 700 1097 240900 | 7320 5185 178 | 0.000 % | c | 99064 | 700 1097 240900 | 8052 5691 179 | 0.000 % | c | 99823 | 700 1097 240900 | 8857 6450 181 | 0.000 % | c | 100962 | 700 1097 240900 | 9743 7589 186 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 103.925 s Remaining CPU time: 76.0748 s c =============================================================================== c | 102350 | 700 1098 241500 | 5000 8977 189 | 0.000 % | c | 102450 | 700 1098 241500 | 5500 4589 190 | 0.000 % | c | 102600 | 700 1098 241500 | 6050 4739 189 | 0.000 % | c | 102825 | 700 1098 241500 | 6655 4964 189 | 0.000 % | c | 103162 | 700 1098 241500 | 7320 5301 190 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 104.994 s Remaining CPU time: 75.006 s c =============================================================================== c | 103611 | 700 1099 242100 | 5000 5750 187 | 0.000 % | c | 103712 | 700 1099 242100 | 5500 2976 170 | 0.000 % | c | 103862 | 700 1099 242100 | 6050 3126 172 | 0.000 % | c | 104087 | 700 1099 242100 | 6655 3351 174 | 0.000 % | c | 104424 | 700 1099 242100 | 7320 3688 164 | 0.000 % | c | 104930 | 700 1099 242100 | 8052 4194 168 | 0.000 % | c | 105689 | 700 1099 242100 | 8857 4953 171 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 107.224 s Remaining CPU time: 72.7763 s c =============================================================================== c | 105735 | 700 1100 242700 | 5000 4999 170 | 0.000 % | c | 105836 | 700 1100 242700 | 5500 5100 171 | 0.000 % | c | 105986 | 700 1100 242700 | 6050 5250 167 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 107.911 s Remaining CPU time: 72.0894 s c =============================================================================== c | 106168 | 700 1101 243300 | 5000 5432 168 | 0.000 % | c | 106268 | 700 1101 243300 | 5500 2816 147 | 0.000 % | c | 106418 | 700 1101 243300 | 6050 2966 150 | 0.000 % | c | 106643 | 700 1101 243300 | 6655 3191 148 | 0.000 % | c | 106980 | 700 1101 243300 | 7320 3528 153 | 0.000 % | c | 107486 | 700 1101 243300 | 8052 4034 157 | 0.000 % | c | 108245 | 700 1101 243300 | 8857 4793 164 | 0.000 % | c | 109385 | 700 1101 243300 | 9743 5933 169 | 0.000 % | c | 111093 | 700 1101 243300 | 10717 7641 175 | 0.000 % | c | 113655 | 700 1101 243300 | 11789 10203 182 | 0.000 % | c | 117499 | 700 1101 243300 | 12968 8044 196 | 0.000 % | c | 123265 | 700 1101 243300 | 14265 7214 195 | 0.000 % | c | 131914 | 700 1101 243300 | 15692 8627 198 | 0.000 % | c | 144888 | 700 1101 243300 | 17261 13639 203 | 0.000 % | c | 164349 | 700 1101 243300 | 18987 15619 203 | 0.000 % | c | 193541 | 700 1101 243300 | 20886 15998 204 | 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 1707 2715 | 5000 0 nan | 0.000 % | c | 100 | 95 1707 2715 | 5500 100 33 | 89.143 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 630 1708 43710 | 5000 0 nan | 0.000 % | c | 100 | 630 1708 43710 | 5500 100 46 | 34.715 % | c | 251 | 630 1708 43710 | 6050 251 30 | 34.715 % | c | 477 | 630 1708 43710 | 6655 477 25 | 34.715 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1456 1711 219677 | 5000 0 nan | 0.000 % | c | 103 | 1456 1711 219677 | 5500 103 52 | 2.933 % | c | 253 | 1456 1711 219677 | 6050 253 53 | 2.933 % | c | 480 | 1456 1711 219677 | 6655 480 38 | 2.933 % | c | 817 | 1456 1711 219677 | 7320 817 30 | 2.933 % | c | 1323 | 1456 1711 219677 | 8052 1323 24 | 2.933 % | c | 2084 | 1456 1711 219677 | 8857 2084 20 | 2.933 % | c | 3224 | 1456 1711 219677 | 9743 3224 19 | 2.933 % | c | 4934 | 1456 1711 219677 | 10717 4934 16 | 2.933 % | c | 7496 | 1456 1711 219677 | 11789 7496 16 | 2.933 % | c | 11341 | 1456 1711 219677 | 12968 11341 17 | 2.933 % | c | 17108 | 1456 1711 219677 | 14265 10592 19 | 2.933 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2091 1712 246704 | 5000 0 nan | 0.000 % | c | 100 | 2091 1712 246704 | 5500 100 34 | 0.048 % | c | 250 | 2091 1712 246704 | 6050 250 28 | 0.048 % | c | 477 | 2091 1712 246704 | 6655 477 34 | 0.048 % | c | 815 | 2091 1712 246704 | 7320 815 29 | 0.048 % | c | 1322 | 2091 1712 246704 | 8052 1322 42 | 0.048 % | c | 2083 | 2091 1712 246704 | 8857 2083 36 | 0.048 % | c | 3223 | 2091 1712 246704 | 9743 3223 30 | 0.048 % | c | 4932 | 2091 1712 246704 | 10717 4932 28 | 0.048 % | c | 7494 | 2091 1712 246704 | 11789 7494 27 | 0.048 % | c | 11339 | 2091 1712 246704 | 12968 11339 24 | 0.048 % | c | 17105 | 2091 1712 246704 | 14265 10609 18 | 0.048 % | c | 25756 | 2091 1712 246704 | 15692 12114 21 | 0.048 % | c | 38730 | 2091 1712 246704 | 17261 9367 17 | 0.048 % | c | 58191 | 2091 1712 246704 | 18987 11499 18 | 0.048 % | c | 87384 | 2091 1712 246704 | 20886 12160 19 | 0.048 % | c | 131173 | 2091 1712 246704 | 22974 14119 20 | 0.048 % | c | 196859 | 2091 1712 246704 | 25272 22191 21 | 0.048 % | c | 295386 | 2091 1712 246704 | 27799 17553 20 | 0.048 % | c | 443176 | 2091 1712 246704 | 30579 15938 18 | 0.048 % | c | 664859 | 2090 1712 246704 | 33637 14845 18 | 0.096 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2692 1714 248508 | 5000 0 nan | 0.000 % | c | 102 | 2692 1714 248508 | 5500 102 43 | 0.000 % | c | 252 | 2692 1714 248508 | 6050 252 29 | 0.000 % | c | 477 | 2692 1714 248508 | 6655 477 27 | 0.000 % | c | 814 | 2692 1714 248508 | 7320 814 31 | 0.000 % | c | 1320 | 2692 1714 248508 | 8052 1320 32 | 0.000 % | c | 2079 | 2692 1714 248508 | 8857 2079 32 | 0.000 % | c | 3219 | 2692 1714 248508 | 9743 3219 32 | 0.000 % | c | 4927 | 2692 1714 248508 | 10717 4927 31 | 0.000 % | c | 7492 | 2692 1714 248508 | 11789 7492 32 | 0.000 % | c | 11337 | 2692 1714 248508 | 12968 11337 37 | 0.000 % | c | 17104 | 2692 1714 248508 | 14265 10278 44 | 0.000 % | c | 25756 | 2692 1714 248508 | 15692 11482 35 | 0.000 % | c | 38732 | 2692 1714 248508 | 17261 8579 39 | 0.000 % | c | 58193 | 2692 1714 248508 | 18987 10737 38 | 0.000 % | c | 87386 | 2692 1714 248508 | 20886 11337 40 | 0.000 % | c | 131175 | 2692 1714 248508 | 22974 12684 42 | 0.000 % | c | 196860 | 2692 1714 248508 | 25272 20317 60 | 0.000 % | c | 295386 | 2692 1714 248508 | 27799 14452 39 | 0.000 % | c | 443176 | 2692 1714 248508 | 30579 23832 34 | 0.000 % |