c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1309 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 878 | c | Number Clauses: 962 | 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 | 850 990 2897 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 850 991 3624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 850 992 4351 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 1 | 850 993 5078 | 5000 1 620 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 1 | 850 994 5805 | 5000 1 620 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 2 | 850 995 6532 | 5000 2 618 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 2 | 850 996 7259 | 5000 2 618 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 2 | 850 997 7986 | 5000 2 618 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 2 | 850 998 8713 | 5000 2 618 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 3 | 850 999 9440 | 5000 3 618 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 3 | 850 1000 10167 | 5000 3 618 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 3 | 850 1001 10894 | 5000 3 618 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 4 | 850 1002 11621 | 5000 4 616 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 4 | 850 1003 12348 | 5000 4 616 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 5 | 850 1004 13075 | 5000 5 614 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 5 | 850 1005 13802 | 5000 5 614 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 6 | 850 1006 14529 | 5000 6 613 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 6 | 850 1007 15256 | 5000 6 613 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 6 | 850 1008 15983 | 5000 6 613 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 6 | 850 1009 16710 | 5000 6 613 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 8 | 850 1010 17437 | 5000 8 610 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 8 | 850 1011 18164 | 5000 8 610 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 8 | 850 1012 18891 | 5000 8 610 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 8 | 850 1013 19618 | 5000 8 610 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 8 | 850 1014 20345 | 5000 8 610 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 8 | 850 1015 21072 | 5000 8 610 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 9 | 850 1016 21799 | 5000 9 609 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 9 | 850 1017 22526 | 5000 9 609 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 9 | 850 1018 23253 | 5000 9 609 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 9 | 850 1019 23980 | 5000 9 609 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 9 | 850 1020 24707 | 5000 9 609 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 29 | 850 1021 25434 | 5000 29 598 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 48 | 850 1022 26161 | 5000 48 595 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 64 | 850 1023 26888 | 5000 64 594 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 89 | 850 1024 27615 | 5000 89 592 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 105 | 850 1025 28342 | 5000 105 592 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 110 | 850 1026 29069 | 5000 110 592 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 130 | 850 1027 29796 | 5000 130 591 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 145 | 850 1028 30523 | 5000 145 590 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 162 | 850 1029 31250 | 5000 162 590 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 171 | 850 1030 31977 | 5000 171 589 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 187 | 850 1031 32704 | 5000 187 589 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 193 | 850 1032 33431 | 5000 193 588 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 221 | 850 1033 34158 | 5000 221 587 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 255 | 850 1034 34885 | 5000 255 586 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 347 | 850 1035 35612 | 5000 347 584 | 0.000 % | c | 448 | 850 1035 35612 | 5500 448 583 | 3.189 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 472 | 850 1036 36339 | 5000 472 583 | 3.189 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 485 | 850 1037 37066 | 5000 485 582 | 3.189 % | c | 586 | 850 1037 37066 | 5500 586 581 | 3.189 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 635 | 850 1038 37793 | 5000 635 580 | 3.189 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 678 | 850 1039 38520 | 5000 678 580 | 3.189 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 688 | 850 1040 39247 | 5000 688 580 | 3.189 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 725 | 850 1041 39974 | 5000 725 580 | 3.189 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 755 | 850 1042 40701 | 5000 755 579 | 3.189 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 777 | 850 1043 41428 | 5000 777 579 | 3.189 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 786 | 850 1044 42155 | 5000 786 579 | 3.189 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 789 | 850 1045 42882 | 5000 789 579 | 3.189 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 801 | 850 1046 43609 | 5000 801 579 | 3.189 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 826 | 850 1047 44336 | 5000 826 578 | 3.189 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 830 | 850 1048 45063 | 5000 830 578 | 3.189 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 833 | 850 1049 45790 | 5000 833 578 | 3.189 % | c | 933 | 850 1049 45790 | 5500 933 576 | 3.189 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.905862 s Remaining CPU time: 179.094 s c =============================================================================== c | 1067 | 850 1050 46517 | 5000 1067 575 | 3.189 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s c =============================================================================== c | 1120 | 850 1051 47244 | 5000 1120 574 | 3.189 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 1136 | 850 1052 47971 | 5000 1136 574 | 3.189 % | c | 1236 | 850 1052 47971 | 5500 1236 573 | 3.189 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s c =============================================================================== c | 1294 | 850 1053 48698 | 5000 1294 572 | 3.189 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 1313 | 850 1054 49425 | 5000 1313 572 | 3.189 % | c | 1413 | 850 1054 49425 | 5500 1413 571 | 3.189 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 1.3218 s Remaining CPU time: 178.678 s c =============================================================================== c | 1557 | 850 1055 50152 | 5000 1557 570 | 3.189 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 1.34879 s Remaining CPU time: 178.651 s c =============================================================================== c | 1576 | 850 1056 50879 | 5000 1576 570 | 3.189 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 1651 | 850 1057 51606 | 5000 1651 569 | 3.189 % | c | 1751 | 850 1057 51606 | 5500 1751 568 | 3.189 % | c | 1902 | 850 1057 51606 | 6050 1902 567 | 3.189 % | c | 2127 | 850 1057 51606 | 6655 2127 566 | 3.189 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 1.9937 s Remaining CPU time: 178.006 s c =============================================================================== c | 2433 | 850 1058 52333 | 5000 2433 565 | 3.189 % | c | 2534 | 850 1058 52333 | 5500 2534 564 | 3.189 % | c | 2684 | 850 1058 52333 | 6050 2684 564 | 3.189 % | c | 2909 | 850 1058 52333 | 6655 2909 563 | 3.189 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 2.52162 s Remaining CPU time: 177.478 s c =============================================================================== c | 3085 | 850 1059 53060 | 5000 3085 563 | 3.189 % | c | 3185 | 850 1059 53060 | 5500 3185 562 | 3.189 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 2.6306 s Remaining CPU time: 177.369 s c =============================================================================== c | 3194 | 850 1060 53787 | 5000 3194 562 | 3.189 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 2.68159 s Remaining CPU time: 177.318 s c =============================================================================== c | 3240 | 850 1061 54514 | 5000 3240 562 | 3.189 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 2.74758 s Remaining CPU time: 177.252 s c =============================================================================== c | 3311 | 850 1062 55241 | 5000 3311 562 | 3.189 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 2.83557 s Remaining CPU time: 177.164 s c =============================================================================== c | 3404 | 850 1063 55968 | 5000 3404 562 | 3.189 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 2.90356 s Remaining CPU time: 177.096 s c =============================================================================== c | 3473 | 850 1064 56695 | 5000 3473 562 | 3.189 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 2.94455 s Remaining CPU time: 177.055 s c =============================================================================== c | 3499 | 850 1065 57422 | 5000 3499 561 | 3.189 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 2.97455 s Remaining CPU time: 177.025 s c =============================================================================== c | 3522 | 850 1066 58149 | 5000 3522 561 | 3.189 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 3.04054 s Remaining CPU time: 176.959 s c =============================================================================== c | 3586 | 850 1067 58876 | 5000 3586 561 | 3.189 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 3.10653 s Remaining CPU time: 176.893 s c =============================================================================== c | 3650 | 850 1068 59603 | 5000 3650 561 | 3.189 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 3.13252 s Remaining CPU time: 176.867 s c =============================================================================== c | 3663 | 850 1069 60330 | 5000 3663 561 | 3.189 % | c | 3764 | 850 1069 60330 | 5500 3764 560 | 3.190 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 3.3085 s Remaining CPU time: 176.692 s c =============================================================================== c | 3851 | 850 1070 61057 | 5000 3851 560 | 3.190 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 3.37949 s Remaining CPU time: 176.621 s c =============================================================================== c | 3931 | 850 1071 61784 | 5000 3931 560 | 3.190 % | c | 4031 | 850 1071 61784 | 5500 4031 559 | 3.189 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 3.53646 s Remaining CPU time: 176.464 s c =============================================================================== c | 4082 | 850 1072 62511 | 5000 4082 559 | 3.189 % | c | 4183 | 850 1072 62511 | 5500 4183 558 | 3.189 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 3.68144 s Remaining CPU time: 176.319 s c =============================================================================== c | 4225 | 850 1073 63238 | 5000 4225 558 | 3.189 % | c | 4325 | 850 1073 63238 | 5500 4325 558 | 3.190 % | c | 4475 | 850 1073 63238 | 6050 4475 557 | 3.189 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 4.07938 s Remaining CPU time: 175.921 s c =============================================================================== c | 4686 | 850 1074 63965 | 5000 4686 556 | 3.189 % | c | 4787 | 850 1074 63965 | 5500 4787 556 | 3.189 % | c | 4937 | 850 1074 63965 | 6050 4937 556 | 3.189 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 4.37633 s Remaining CPU time: 175.624 s c =============================================================================== c | 5018 | 850 1075 64692 | 5000 5018 555 | 3.189 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 4.43733 s Remaining CPU time: 175.563 s c =============================================================================== c | 5068 | 850 1076 65419 | 5000 5068 555 | 3.189 % | c | 5168 | 850 1076 65419 | 5500 2634 545 | 3.189 % | c | 5318 | 850 1076 65419 | 6050 2784 545 | 3.189 % | c | 5543 | 850 1076 65419 | 6655 3009 544 | 3.189 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 5.11922 s Remaining CPU time: 174.881 s c =============================================================================== c | 5849 | 850 1077 66146 | 5000 3315 544 | 3.189 % | c | 5949 | 850 1077 66146 | 5500 3415 543 | 3.189 % | c | 6099 | 850 1077 66146 | 6050 3565 543 | 3.189 % | c | 6324 | 850 1077 66146 | 6655 3790 543 | 3.189 % | c | 6663 | 850 1077 66146 | 7320 4129 542 | 3.189 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 5.85911 s Remaining CPU time: 174.141 s c =============================================================================== c | 6710 | 850 1078 66873 | 5000 4176 542 | 3.189 % | c | 6811 | 850 1078 66873 | 5500 4277 542 | 3.189 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 6.03308 s Remaining CPU time: 173.967 s c =============================================================================== c | 6902 | 850 1079 67600 | 5000 4368 542 | 3.189 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 6.11907 s Remaining CPU time: 173.881 s c =============================================================================== c | 6991 | 850 1080 68327 | 5000 4457 541 | 3.189 % | c | 7091 | 850 1080 68327 | 5500 4557 541 | 3.189 % | c | 7241 | 850 1080 68327 | 6050 4707 541 | 3.189 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 6.45402 s Remaining CPU time: 173.546 s c =============================================================================== c | 7316 | 850 1081 69054 | 5000 4782 541 | 3.189 % | c | 7416 | 850 1081 69054 | 5500 4882 541 | 3.189 % | c | 7567 | 850 1081 69054 | 6050 5033 540 | 3.189 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 6.73597 s Remaining CPU time: 173.264 s c =============================================================================== c | 7582 | 850 1082 69781 | 5000 5048 540 | 3.189 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 6.83596 s Remaining CPU time: 173.164 s c =============================================================================== c | 7668 | 850 1083 70508 | 5000 2610 535 | 3.189 % | c | 7768 | 850 1083 70508 | 5500 2710 534 | 3.189 % | c | 7918 | 850 1083 70508 | 6050 2860 534 | 3.189 % | c | 8143 | 850 1083 70508 | 6655 3085 534 | 3.189 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 7.54985 s Remaining CPU time: 172.45 s c =============================================================================== c | 8432 | 850 1084 71235 | 5000 3374 534 | 3.189 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 7.62984 s Remaining CPU time: 172.37 s c =============================================================================== c | 8491 | 850 1085 71962 | 5000 3433 534 | 3.189 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 7.69183 s Remaining CPU time: 172.308 s c =============================================================================== c | 8538 | 850 1086 72689 | 5000 3480 533 | 3.189 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 7.74982 s Remaining CPU time: 172.25 s c =============================================================================== c | 8578 | 850 1087 73416 | 5000 3520 533 | 3.189 % | c | 8678 | 850 1087 73416 | 5500 3620 533 | 3.190 % | c | 8828 | 850 1087 73416 | 6050 3770 533 | 3.190 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 8.11277 s Remaining CPU time: 171.887 s c =============================================================================== c | 8853 | 850 1088 74143 | 5000 3795 533 | 3.190 % | c | 8953 | 850 1088 74143 | 5500 3895 533 | 3.190 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 8.30574 s Remaining CPU time: 171.694 s c =============================================================================== c | 8990 | 850 1089 74870 | 5000 3932 532 | 3.190 % | c | 9091 | 850 1089 74870 | 5500 4033 532 | 3.190 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 8.51271 s Remaining CPU time: 171.487 s c =============================================================================== c | 9137 | 850 1090 75597 | 5000 4079 532 | 3.190 % | c | 9237 | 850 1090 75597 | 5500 4179 532 | 3.190 % | c | 9388 | 850 1090 75597 | 6050 4330 532 | 3.189 % | c | 9613 | 850 1090 75597 | 6655 4555 531 | 3.189 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 9.13661 s Remaining CPU time: 170.863 s c =============================================================================== c | 9669 | 850 1091 76324 | 5000 4611 531 | 3.189 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 9.2176 s Remaining CPU time: 170.782 s c =============================================================================== c | 9724 | 850 1092 77051 | 5000 4666 531 | 3.189 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 9.28659 s Remaining CPU time: 170.713 s c =============================================================================== c | 9764 | 850 1093 77778 | 5000 4706 531 | 3.189 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 9.32458 s Remaining CPU time: 170.675 s c =============================================================================== c | 9777 | 850 1094 78505 | 5000 4719 531 | 3.189 % | c | 9878 | 850 1094 78505 | 5500 4820 530 | 3.190 % | c | 10028 | 850 1094 78505 | 6050 4970 530 | 3.189 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 9.75752 s Remaining CPU time: 170.242 s c =============================================================================== c | 10111 | 850 1095 79232 | 5000 5053 530 | 3.189 % | c | 10211 | 850 1095 79232 | 5500 2627 525 | 3.190 % | c | 10362 | 850 1095 79232 | 6050 2778 524 | 3.189 % | c | 10587 | 850 1095 79232 | 6655 3003 524 | 3.189 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 10.4474 s Remaining CPU time: 169.553 s c =============================================================================== c | 10628 | 850 1096 79959 | 5000 3044 524 | 3.189 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 10.5434 s Remaining CPU time: 169.457 s c =============================================================================== c | 10700 | 850 1097 80686 | 5000 3116 523 | 3.189 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 10.5924 s Remaining CPU time: 169.408 s c =============================================================================== c | 10723 | 850 1098 81413 | 5000 3139 523 | 3.189 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 10.6384 s Remaining CPU time: 169.362 s c =============================================================================== c | 10745 | 850 1099 82140 | 5000 3161 523 | 3.189 % | c | 10847 | 850 1099 82140 | 5500 3263 523 | 3.189 % | c | 10998 | 850 1099 82140 | 6050 3414 522 | 3.189 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 11.1023 s Remaining CPU time: 168.898 s c =============================================================================== c | 11074 | 850 1100 82867 | 5000 3490 522 | 3.189 % | c | 11174 | 850 1100 82867 | 5500 3590 522 | 3.190 % | c | 11324 | 850 1100 82867 | 6050 3740 522 | 3.189 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 11.7382 s Remaining CPU time: 168.262 s c =============================================================================== c | 11536 | 850 1101 83594 | 5000 3952 521 | 3.189 % | c | 11636 | 850 1101 83594 | 5500 4052 521 | 3.190 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 11.9602 s Remaining CPU time: 168.04 s c =============================================================================== c | 11687 | 850 1102 84321 | 5000 4103 521 | 3.190 % | c | 11787 | 850 1102 84321 | 5500 4203 521 | 3.189 % | c | 11938 | 850 1102 84321 | 6050 4354 520 | 3.189 % | c | 12163 | 850 1102 84321 | 6655 4579 520 | 3.189 % | c | 12502 | 850 1102 84321 | 7320 4918 519 | 3.189 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 13.381 s Remaining CPU time: 166.619 s c =============================================================================== c | 12921 | 850 1103 85048 | 5000 5337 518 | 3.189 % | c | 13022 | 850 1103 85048 | 5500 2770 512 | 3.189 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 13.6449 s Remaining CPU time: 166.355 s c =============================================================================== c | 13106 | 850 1104 85775 | 5000 2854 512 | 3.189 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 13.7219 s Remaining CPU time: 166.278 s c =============================================================================== c | 13153 | 850 1105 86502 | 5000 2901 512 | 3.189 % | c | 13254 | 850 1105 86502 | 5500 3002 512 | 3.189 % | c | 13406 | 850 1105 86502 | 6050 3154 512 | 3.189 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 14.3648 s Remaining CPU time: 165.635 s c =============================================================================== c | 13613 | 850 1106 87229 | 5000 3361 511 | 3.189 % | c | 13713 | 850 1106 87229 | 5500 3461 511 | 3.189 % | c | 13866 | 850 1106 87229 | 6050 3614 511 | 3.189 % | c | 14091 | 850 1106 87229 | 6655 3839 511 | 3.190 % | c | 14428 | 850 1106 87229 | 7320 4176 510 | 3.189 % | c | 14935 | 850 1106 87229 | 8052 4683 510 | 3.189 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 16.6095 s Remaining CPU time: 163.391 s c =============================================================================== c | 15663 | 850 1107 87956 | 5000 5411 509 | 3.189 % | c | 15764 | 850 1107 87956 | 5500 2807 506 | 3.189 % | c | 15914 | 850 1107 87956 | 6050 2957 506 | 3.189 % | c | 16141 | 850 1107 87956 | 6655 3184 506 | 3.189 % | c | 16479 | 850 1107 87956 | 7320 3522 506 | 3.189 % | c | 16985 | 850 1107 87956 | 8052 4028 506 | 3.189 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 18.1752 s Remaining CPU time: 161.825 s c =============================================================================== c | 17054 | 850 1108 88683 | 5000 4097 506 | 3.189 % | c | 17154 | 850 1108 88683 | 5500 4197 506 | 3.189 % | c | 17304 | 850 1108 88683 | 6050 4347 506 | 3.189 % | c | 17529 | 850 1108 88683 | 6655 4572 506 | 3.190 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 18.7521 s Remaining CPU time: 161.248 s c =============================================================================== c | 17557 | 850 1109 89410 | 5000 4600 506 | 3.190 % | c | 17657 | 850 1109 89410 | 5500 4700 506 | 3.189 % | c | 17808 | 850 1109 89410 | 6050 4851 506 | 3.189 % | c | 18034 | 850 1109 89410 | 6655 5077 506 | 3.189 % | c | 18371 | 850 1109 89410 | 7320 5414 505 | 3.189 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 20.007 s Remaining CPU time: 159.993 s c =============================================================================== c | 18666 | 850 1110 90137 | 5000 5709 505 | 3.189 % | c | 18766 | 850 1110 90137 | 5500 2955 504 | 3.189 % | c | 18916 | 850 1110 90137 | 6050 3105 504 | 3.189 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 20.4949 s Remaining CPU time: 159.505 s c =============================================================================== c | 19062 | 850 1111 90864 | 5000 3251 504 | 3.189 % | c | 19162 | 850 1111 90864 | 5500 3351 504 | 3.189 % | c | 19312 | 850 1111 90864 | 6050 3501 504 | 3.189 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 20.9698 s Remaining CPU time: 159.03 s c =============================================================================== c | 19410 | 850 1112 91591 | 5000 3599 504 | 3.189 % | c | 19511 | 850 1112 91591 | 5500 3700 504 | 3.189 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 21.1938 s Remaining CPU time: 158.806 s c =============================================================================== c | 19569 | 850 1113 92318 | 5000 3758 504 | 3.189 % | c | 19671 | 850 1113 92318 | 5500 3860 503 | 3.189 % | c | 19821 | 850 1113 92318 | 6050 4010 503 | 3.189 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 21.7447 s Remaining CPU time: 158.255 s c =============================================================================== c | 19974 | 850 1114 93045 | 5000 4163 503 | 3.189 % | c | 20075 | 850 1114 93045 | 5500 4264 503 | 3.189 % | c | 20225 | 850 1114 93045 | 6050 4414 503 | 3.189 % | c | 20451 | 850 1114 93045 | 6655 4640 503 | 3.189 % | c | 20788 | 850 1114 93045 | 7320 4977 502 | 3.189 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 23.1915 s Remaining CPU time: 156.809 s c =============================================================================== c | 21152 | 850 1115 93772 | 5000 5341 502 | 3.189 % | c | 21252 | 850 1115 93772 | 5500 2771 500 | 3.189 % | c | 21402 | 850 1115 93772 | 6050 2921 500 | 3.189 % | c | 21628 | 850 1115 93772 | 6655 3147 500 | 3.189 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 23.8734 s Remaining CPU time: 156.127 s c =============================================================================== c | 21820 | 850 1116 94499 | 5000 3339 500 | 3.189 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 23.9134 s Remaining CPU time: 156.087 s c =============================================================================== c | 21830 | 850 1117 95226 | 5000 3349 500 | 3.189 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 23.9794 s Remaining CPU time: 156.021 s c =============================================================================== c | 21869 | 850 1118 95953 | 5000 3388 500 | 3.189 % | c | 21970 | 850 1118 95953 | 5500 3489 500 | 3.189 % | c | 22122 | 850 1118 95953 | 6050 3641 500 | 3.189 % | c | 22347 | 850 1118 95953 | 6655 3866 499 | 3.189 % | c | 22685 | 850 1118 95953 | 7320 4204 499 | 3.189 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 24.9642 s Remaining CPU time: 155.036 s c =============================================================================== c | 22811 | 850 1119 96680 | 5000 4330 499 | 3.189 % | c | 22911 | 850 1119 96680 | 5500 4430 499 | 3.190 % | c | 23061 | 850 1119 96680 | 6050 4580 499 | 3.189 % | c | 23288 | 850 1119 96680 | 6655 4807 499 | 3.189 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 25.6901 s Remaining CPU time: 154.31 s c =============================================================================== c | 23392 | 850 1120 97407 | 5000 4911 499 | 3.189 % | c | 23492 | 850 1120 97407 | 5500 5011 499 | 3.189 % | c | 23642 | 850 1120 97407 | 6050 5161 499 | 3.189 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 26.154 s Remaining CPU time: 153.846 s c =============================================================================== c | 23788 | 850 1121 98134 | 5000 5307 499 | 3.189 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 26.259 s Remaining CPU time: 153.741 s c =============================================================================== c | 23853 | 850 1122 98861 | 5000 2719 497 | 3.189 % | c | 23953 | 850 1122 98861 | 5500 2819 497 | 3.189 % | c | 24103 | 850 1122 98861 | 6050 2969 497 | 3.189 % | c | 24328 | 850 1122 98861 | 6655 3194 497 | 3.189 % | c | 24667 | 850 1122 98861 | 7320 3533 496 | 3.189 % | c | 25173 | 850 1122 98861 | 8052 4039 496 | 3.189 % | c | 25934 | 850 1122 98861 | 8857 4800 495 | 3.189 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 28.9376 s Remaining CPU time: 151.062 s c =============================================================================== c | 26050 | 850 1123 99588 | 5000 4916 495 | 3.189 % | c | 26151 | 850 1123 99588 | 5500 5017 495 | 3.189 % | c | 26303 | 850 1123 99588 | 6050 5169 495 | 3.189 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 29.4985 s Remaining CPU time: 150.501 s c =============================================================================== c | 26479 | 850 1124 100315 | 5000 5345 495 | 3.189 % | c | 26579 | 850 1124 100315 | 5500 2773 493 | 3.189 % | c | 26730 | 850 1124 100315 | 6050 2924 492 | 3.189 % | c | 26955 | 850 1124 100315 | 6655 3149 492 | 3.189 % | c | 27292 | 850 1124 100315 | 7320 3486 492 | 3.189 % | c | 27798 | 850 1124 100315 | 8052 3992 492 | 3.189 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 31.5582 s Remaining CPU time: 148.442 s c =============================================================================== c | 28087 | 850 1125 101042 | 5000 4281 492 | 3.189 % | c | 28187 | 850 1125 101042 | 5500 4381 492 | 3.189 % | c | 28337 | 850 1125 101042 | 6050 4531 492 | 3.189 % | c | 28565 | 850 1125 101042 | 6655 4759 492 | 3.189 % | c | 28902 | 850 1125 101042 | 7320 5096 492 | 3.189 % | c | 29409 | 850 1125 101042 | 8052 5603 492 | 3.189 % | c | 30168 | 850 1125 101042 | 8857 6362 491 | 3.189 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 34.8907 s Remaining CPU time: 145.109 s c =============================================================================== c | 30840 | 850 1126 101769 | 5000 7034 491 | 3.189 % | c | 30940 | 850 1126 101769 | 5500 3617 490 | 3.189 % | c | 31090 | 850 1126 101769 | 6050 3767 490 | 3.189 % | c | 31315 | 850 1126 101769 | 6655 3992 490 | 3.189 % | c | 31653 | 850 1126 101769 | 7320 4330 490 | 3.189 % | c | 32159 | 850 1126 101769 | 8052 4836 490 | 3.189 % | c | 32918 | 850 1126 101769 | 8857 5595 490 | 3.189 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 38.3332 s Remaining CPU time: 141.667 s c =============================================================================== c | 33748 | 850 1127 102496 | 5000 6425 490 | 3.189 % | c | 33849 | 850 1127 102496 | 5500 3314 489 | 3.189 % | c | 33999 | 850 1127 102496 | 6050 3464 489 | 3.189 % | c | 34224 | 850 1127 102496 | 6655 3689 489 | 3.189 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 39.224 s Remaining CPU time: 140.776 s c =============================================================================== c | 34502 | 850 1128 103223 | 5000 3967 489 | 3.189 % | c | 34602 | 850 1128 103223 | 5500 4067 489 | 3.189 % | c | 34753 | 850 1128 103223 | 6050 4218 489 | 3.189 % | c | 34978 | 850 1128 103223 | 6655 4443 489 | 3.189 % | c | 35315 | 850 1128 103223 | 7320 4780 489 | 3.189 % | c | 35821 | 850 1128 103223 | 8052 5286 489 | 3.189 % | c | 36580 | 850 1128 103223 | 8857 6045 489 | 3.189 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 42.5915 s Remaining CPU time: 137.408 s c =============================================================================== c | 37072 | 850 1129 103950 | 5000 6537 489 | 3.189 % | c | 37172 | 850 1129 103950 | 5500 3369 488 | 3.189 % | c | 37323 | 850 1129 103950 | 6050 3520 488 | 3.189 % | c | 37548 | 850 1129 103950 | 6655 3745 488 | 3.189 % | c | 37886 | 850 1129 103950 | 7320 4083 488 | 3.189 % | c | 38393 | 850 1129 103950 | 8052 4590 488 | 3.189 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 45.0721 s Remaining CPU time: 134.928 s c =============================================================================== c | 38894 | 850 1130 104677 | 5000 5091 488 | 3.189 % | c | 38994 | 850 1130 104677 | 5500 2646 488 | 3.189 % | c | 39145 | 850 1130 104677 | 6050 2797 488 | 3.189 % | c | 39370 | 850 1130 104677 | 6655 3022 488 | 3.189 % | c | 39707 | 850 1130 104677 | 7320 3359 487 | 3.189 % | c | 40213 | 850 1130 104677 | 8052 3865 487 | 3.189 % | c | 40974 | 850 1130 104677 | 8857 4626 487 | 3.189 % | c | 42114 | 850 1130 104677 | 9743 5766 487 | 3.189 % | c | 43822 | 850 1130 104677 | 10717 7474 487 | 3.190 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 52.2471 s Remaining CPU time: 127.753 s c =============================================================================== c | 43959 | 850 1131 105404 | 5000 7611 487 | 3.190 % | c | 44059 | 850 1131 105404 | 5500 3906 487 | 3.189 % | c | 44211 | 850 1131 105404 | 6050 4058 487 | 3.189 % | c | 44436 | 850 1131 105404 | 6655 4283 486 | 3.189 % | c | 44774 | 850 1131 105404 | 7320 4621 486 | 3.189 % | c | 45280 | 850 1131 105404 | 8052 5127 486 | 3.189 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 55.3716 s Remaining CPU time: 124.628 s c =============================================================================== c | 45914 | 850 1132 106131 | 5000 5761 486 | 3.189 % | c | 46014 | 850 1132 106131 | 5500 2981 486 | 3.189 % | c | 46165 | 850 1132 106131 | 6050 3132 486 | 3.189 % | c | 46390 | 850 1132 106131 | 6655 3357 486 | 3.189 % | c | 46727 | 850 1132 106131 | 7320 3694 486 | 3.189 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 57.3463 s Remaining CPU time: 122.654 s c =============================================================================== c | 47110 | 850 1133 106858 | 5000 4077 485 | 3.189 % | c | 47210 | 850 1133 106858 | 5500 4177 485 | 3.189 % | c | 47362 | 850 1133 106858 | 6050 4329 485 | 3.189 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 57.9822 s Remaining CPU time: 122.018 s c =============================================================================== c | 47498 | 850 1134 107585 | 5000 4465 485 | 3.189 % | c | 47598 | 850 1134 107585 | 5500 4565 485 | 3.189 % | c | 47748 | 850 1134 107585 | 6050 4715 485 | 3.189 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 58.7341 s Remaining CPU time: 121.266 s c =============================================================================== c | 47918 | 850 1135 108312 | 5000 4885 485 | 3.189 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 58.886 s Remaining CPU time: 121.114 s c =============================================================================== c | 47994 | 850 1136 109039 | 5000 4961 485 | 3.189 % | c | 48094 | 850 1136 109039 | 5500 5061 485 | 3.189 % | c | 48245 | 850 1136 109039 | 6050 5212 485 | 3.189 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 59.5619 s Remaining CPU time: 120.438 s c =============================================================================== c | 48340 | 850 1137 109766 | 5000 5307 485 | 3.189 % | c | 48442 | 850 1137 109766 | 5500 2756 483 | 3.189 % | c | 48592 | 850 1137 109766 | 6050 2906 483 | 3.189 % | c | 48817 | 850 1137 109766 | 6655 3131 482 | 3.189 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 60.4788 s Remaining CPU time: 119.521 s c =============================================================================== c | 48820 | 850 1138 110493 | 5000 3134 482 | 3.189 % | c | 48920 | 850 1138 110493 | 5500 3234 482 | 3.189 % | c | 49070 | 850 1138 110493 | 6050 3384 482 | 3.189 % | c | 49297 | 850 1138 110493 | 6655 3611 482 | 3.189 % | c | 49634 | 850 1138 110493 | 7320 3948 482 | 3.189 % | c | 50140 | 850 1138 110493 | 8052 4454 481 | 3.189 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 63.1694 s Remaining CPU time: 116.831 s c =============================================================================== c | 50540 | 850 1139 111220 | 5000 4854 481 | 3.189 % | c | 50642 | 850 1139 111220 | 5500 4956 481 | 3.189 % | c | 50793 | 850 1139 111220 | 6050 5107 481 | 3.189 % | c | 51018 | 850 1139 111220 | 6655 5332 481 | 3.189 % | c | 51355 | 850 1139 111220 | 7320 5669 481 | 3.189 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 65.1351 s Remaining CPU time: 114.865 s c =============================================================================== c | 51745 | 850 1140 111947 | 5000 6059 480 | 3.189 % | c | 51846 | 850 1140 111947 | 5500 3131 478 | 3.189 % | c | 51996 | 850 1140 111947 | 6050 3281 478 | 3.189 % | c | 52221 | 850 1140 111947 | 6655 3506 478 | 3.189 % | c | 52559 | 850 1140 111947 | 7320 3844 478 | 3.190 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 67.0908 s Remaining CPU time: 112.909 s c =============================================================================== c | 53038 | 850 1141 112674 | 5000 4323 478 | 3.190 % | c | 53138 | 850 1141 112674 | 5500 4423 478 | 3.190 % | c | 53288 | 850 1141 112674 | 6050 4573 478 | 3.189 % | c | 53513 | 850 1141 112674 | 6655 4798 478 | 3.189 % | c | 53850 | 850 1141 112674 | 7320 5135 477 | 3.189 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 68.9585 s Remaining CPU time: 111.041 s c =============================================================================== c | 54216 | 850 1142 113401 | 5000 5501 477 | 3.189 % | c | 54316 | 850 1142 113401 | 5500 2851 476 | 3.189 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 69.2825 s Remaining CPU time: 110.718 s c =============================================================================== c | 54383 | 850 1143 114128 | 5000 2918 476 | 3.189 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 69.3954 s Remaining CPU time: 110.605 s c =============================================================================== c | 54433 | 850 1144 114855 | 5000 2968 476 | 3.189 % | c | 54534 | 850 1144 114855 | 5500 3069 476 | 3.189 % | c | 54685 | 850 1144 114855 | 6050 3220 476 | 3.189 % | c | 54910 | 850 1144 114855 | 6655 3445 475 | 3.189 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 70.2363 s Remaining CPU time: 109.764 s c =============================================================================== c | 54946 | 850 1145 115582 | 5000 3481 475 | 3.189 % | c | 55047 | 850 1145 115582 | 5500 3582 475 | 3.190 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 70.5903 s Remaining CPU time: 109.41 s c =============================================================================== c | 55130 | 850 1146 116309 | 5000 3665 475 | 3.190 % | c | 55230 | 850 1146 116309 | 5500 3765 475 | 3.190 % | c | 55382 | 850 1146 116309 | 6050 3917 475 | 3.189 % | c | 55607 | 850 1146 116309 | 6655 4142 475 | 3.189 % | c | 55945 | 850 1146 116309 | 7320 4480 474 | 3.189 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 72.466 s Remaining CPU time: 107.534 s c =============================================================================== c | 56240 | 850 1147 117036 | 5000 4775 474 | 3.189 % | c | 56341 | 850 1147 117036 | 5500 4876 474 | 3.189 % | c | 56491 | 850 1147 117036 | 6050 5026 474 | 3.189 % | c | 56716 | 850 1147 117036 | 6655 5251 474 | 3.189 % | c | 57053 | 850 1147 117036 | 7320 5588 474 | 3.189 % | c | 57559 | 850 1147 117036 | 8052 6094 474 | 3.189 % | c | 58318 | 850 1147 117036 | 8857 6853 473 | 3.189 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 76.3764 s Remaining CPU time: 103.624 s c =============================================================================== c | 58657 | 850 1148 117763 | 5000 7192 473 | 3.189 % | c | 58757 | 850 1148 117763 | 5500 3696 471 | 3.189 % | c | 58907 | 850 1148 117763 | 6050 3846 471 | 3.189 % | c | 59132 | 850 1148 117763 | 6655 4071 471 | 3.189 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 77.3872 s Remaining CPU time: 102.613 s c =============================================================================== c | 59186 | 850 1149 118490 | 5000 4125 471 | 3.189 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 77.4482 s Remaining CPU time: 102.552 s c =============================================================================== c | 59205 | 850 1150 119217 | 5000 4144 471 | 3.189 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 77.5122 s Remaining CPU time: 102.488 s c =============================================================================== c | 59226 | 850 1151 119944 | 5000 4165 471 | 3.189 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 77.5782 s Remaining CPU time: 102.422 s c =============================================================================== c | 59246 | 850 1152 120671 | 5000 4185 471 | 3.189 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 77.7252 s Remaining CPU time: 102.275 s c =============================================================================== c | 59306 | 850 1153 121398 | 5000 4245 471 | 3.189 % | c | 59406 | 850 1153 121398 | 5500 4345 471 | 3.189 % | c | 59556 | 850 1153 121398 | 6050 4495 471 | 3.189 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 78.5271 s Remaining CPU time: 101.473 s c =============================================================================== c | 59719 | 850 1154 122125 | 5000 4658 470 | 3.189 % | c | 59821 | 850 1154 122125 | 5500 4760 470 | 3.189 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 78.905 s Remaining CPU time: 101.095 s c =============================================================================== c | 59890 | 850 1155 122852 | 5000 4829 470 | 3.189 % | c | 59991 | 850 1155 122852 | 5500 4930 470 | 3.189 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 79.2769 s Remaining CPU time: 100.723 s c =============================================================================== c | 60075 | 850 1156 123579 | 5000 5014 470 | 3.189 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 79.4769 s Remaining CPU time: 100.523 s c =============================================================================== c | 60172 | 850 1157 124306 | 5000 5111 470 | 3.189 % | c | 60273 | 850 1157 124306 | 5500 2657 468 | 3.189 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 80.0028 s Remaining CPU time: 99.9972 s c =============================================================================== c | 60412 | 850 1158 125033 | 5000 2796 468 | 3.189 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 80.1538 s Remaining CPU time: 99.8462 s c =============================================================================== c | 60482 | 850 1159 125760 | 5000 2866 467 | 3.189 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 80.3128 s Remaining CPU time: 99.6872 s c =============================================================================== c | 60543 | 850 1160 126487 | 5000 2927 467 | 3.189 % | c | 60643 | 850 1160 126487 | 5500 3027 467 | 3.189 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 80.7567 s Remaining CPU time: 99.2433 s c =============================================================================== c | 60734 | 850 1161 127214 | 5000 3118 467 | 3.189 % | c | 60835 | 850 1161 127214 | 5500 3219 467 | 3.190 % | c | 60987 | 850 1161 127214 | 6050 3371 466 | 3.189 % | c | 61213 | 850 1161 127214 | 6655 3597 466 | 3.189 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 82.0855 s Remaining CPU time: 97.9145 s c =============================================================================== c | 61460 | 850 1162 127941 | 5000 3844 465 | 3.189 % | c | 61560 | 850 1162 127941 | 5500 3944 465 | 3.189 % | c | 61710 | 850 1162 127941 | 6050 4094 465 | 3.189 % | c | 61936 | 850 1162 127941 | 6655 4320 464 | 3.189 % | c | 62273 | 850 1162 127941 | 7320 4657 464 | 3.189 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 84.1352 s Remaining CPU time: 95.8648 s c =============================================================================== c | 62608 | 850 1163 128668 | 5000 4992 463 | 3.189 % | c | 62709 | 850 1163 128668 | 5500 5093 463 | 3.189 % | c | 62859 | 850 1163 128668 | 6050 5243 463 | 3.189 % | c | 63085 | 850 1163 128668 | 6655 5469 463 | 3.189 % | c | 63422 | 850 1163 128668 | 7320 5806 462 | 3.189 % | c | 63929 | 850 1163 128668 | 8052 6313 461 | 3.189 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 87.1468 s Remaining CPU time: 92.8532 s c =============================================================================== c | 64143 | 850 1164 129395 | 5000 6527 461 | 3.189 % | c | 64243 | 850 1164 129395 | 5500 3364 456 | 3.189 % | c | 64393 | 850 1164 129395 | 6050 3514 456 | 3.189 % | c | 64620 | 850 1164 129395 | 6655 3741 456 | 3.189 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 88.7025 s Remaining CPU time: 91.2975 s c =============================================================================== c | 64900 | 850 1165 130122 | 5000 4021 455 | 3.189 % | c | 65001 | 850 1165 130122 | 5500 4122 455 | 3.189 % | c | 65151 | 850 1165 130122 | 6050 4272 455 | 3.189 % | c | 65376 | 850 1165 130122 | 6655 4497 455 | 3.189 % | c | 65714 | 850 1165 130122 | 7320 4835 455 | 3.189 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 90.7332 s Remaining CPU time: 89.2668 s c =============================================================================== c | 65881 | 850 1166 130849 | 5000 5002 455 | 3.189 % | c | 65982 | 850 1166 130849 | 5500 5103 455 | 3.189 % | c | 66133 | 850 1166 130849 | 6050 5254 455 | 3.189 % | c | 66358 | 850 1166 130849 | 6655 5479 454 | 3.189 % | c | 66696 | 850 1166 130849 | 7320 5817 454 | 3.190 % | c | 67203 | 850 1166 130849 | 8052 6324 454 | 3.189 % | c | 67963 | 850 1166 130849 | 8857 7084 454 | 3.189 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 96.6853 s Remaining CPU time: 83.3147 s c =============================================================================== c | 68934 | 850 1167 131576 | 5000 8055 453 | 3.189 % | c | 69034 | 850 1167 131576 | 5500 4128 451 | 3.189 % | c | 69184 | 850 1167 131576 | 6050 4278 451 | 3.189 % | c | 69409 | 850 1167 131576 | 6655 4503 451 | 3.189 % | c | 69746 | 850 1167 131576 | 7320 4840 451 | 3.189 % | c | 70252 | 850 1167 131576 | 8052 5346 450 | 3.190 % | c | 71011 | 850 1167 131576 | 8857 6105 450 | 3.189 % | c | 72150 | 850 1167 131576 | 9743 7244 450 | 3.190 % | c | 73859 | 850 1167 131576 | 10717 8953 450 | 3.189 % | c | 76421 | 850 1167 131576 | 11789 5847 449 | 3.189 % | c | 80265 | 850 1167 131576 | 12968 9691 449 | 3.189 % | c | 86031 | 850 1167 131576 | 14265 8663 451 | 3.189 % | c | 94680 | 850 1167 131576 | 15692 9863 451 | 3.189 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 158.692 s Remaining CPU time: 21.3081 s c =============================================================================== c | 99767 | 850 1168 132303 | 5000 14950 451 | 3.189 % | c | 99868 | 850 1168 132303 | 5500 3839 452 | 3.189 % | c | 100019 | 850 1168 132303 | 6050 3990 452 | 3.189 % | c | 100244 | 850 1168 132303 | 6655 4215 452 | 3.190 % | c | 100582 | 850 1168 132303 | 7320 4553 451 | 3.189 % | c | 101088 | 850 1168 132303 | 8052 5059 451 | 3.189 % | c | 101849 | 850 1168 132303 | 8857 5820 451 | 3.189 % | c | 102988 | 850 1168 132303 | 9743 6959 451 | 3.189 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 168.16 s Remaining CPU time: 11.8396 s c =============================================================================== c | 104247 | 850 1169 133030 | 5000 8218 451 | 3.189 % | c | 104348 | 850 1169 133030 | 5500 4210 450 | 3.189 % | c | 104498 | 850 1169 133030 | 6050 4360 450 | 3.189 % | c | 104725 | 850 1169 133030 | 6655 4587 450 | 3.189 % | c | 105062 | 850 1169 133030 | 7320 4924 450 | 3.189 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 170.407 s Remaining CPU time: 9.59291 s c =============================================================================== c | 105270 | 850 1170 133757 | 5000 5132 450 | 3.189 % | c | 105370 | 850 1170 133757 | 5500 2666 450 | 3.189 % | c | 105520 | 850 1170 133757 | 6050 2816 450 | 3.189 % | c | 105745 | 850 1170 133757 | 6655 3041 449 | 3.189 % | c | 106082 | 850 1170 133757 | 7320 3378 449 | 3.189 % | c | 106588 | 850 1170 133757 | 8052 3884 449 | 3.189 % | c | 107347 | 850 1170 133757 | 8857 4643 449 | 3.189 % | c | 108487 | 850 1170 133757 | 9743 5783 449 | 3.189 % | c There are 28 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 | 967 2095 47245 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1008 2097 61120 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1052 2098 76454 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1099 2100 92548 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1172 2101 110844 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1241 2103 131309 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1366 2109 136634 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1458 2110 136816 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1562 2115 137002 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1821 2124 137466 | 5000 0 nan | 0.000 % | c | 101 | 1821 2124 137466 | 5500 101 17 | 6.711 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2104 2128 138011 | 5000 0 nan | 0.000 % | c | 100 | 2104 2128 138011 | 5500 100 38 | 4.667 % | c | 250 | 2104 2128 138011 | 6050 250 25 | 4.667 % | c | 479 | 2102 2128 138011 | 6655 479 20 | 4.804 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2617 2138 138994 | 5000 0 nan | 0.000 % | c | 100 | 2617 2138 138994 | 5500 100 34 | 1.505 % | c | 250 | 2617 2138 138994 | 6050 250 20 | 1.505 % | c | 475 | 2617 2138 138994 | 6655 475 18 | 1.505 % | c | 815 | 2617 2138 138994 | 7320 815 17 | 1.505 % | c | 1322 | 2615 2138 138994 | 8052 730 17 | 1.581 % | c | 2081 | 2613 2138 138994 | 8857 1396 16 | 1.656 % | c | 3223 | 2599 2138 138994 | 9743 1345 13 | 2.183 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3025 2149 139832 | 5000 0 nan | 0.000 % | c | 101 | 3025 2149 139832 | 5500 101 63 | 1.241 % | c | 252 | 3025 2149 139832 | 6050 252 37 | 1.241 % | c | 478 | 3025 2149 139832 | 6655 478 29 | 1.241 % | c | 815 | 3025 2149 139832 | 7320 815 28 | 1.241 % | c | 1323 | 3025 2149 139832 | 8052 1323 29 | 1.241 % | c | 2082 | 3025 2149 139832 | 8857 2082 30 | 1.241 % | c | 3221 | 3025 2149 139832 | 9743 3221 28 | 1.241 % | c | 4930 | 3021 2149 139832 | 10717 1803 33 | 1.371 % | c | 7493 | 3021 2149 139832 | 11789 4366 43 | 1.371 % | c | 11340 | 3021 2149 139832 | 12968 8213 43 | 1.371 % | c | 17108 | 3021 2149 139832 | 14265 7460 36 | 1.371 % | c | 25762 | 3021 2149 139832 | 15692 8940 54 | 1.371 % | c | 38737 | 3021 2149 139832 | 17261 13971 34 | 1.371 % | c | 58199 | 3021 2149 139832 | 18987 16034 36 | 1.371 % | c | 87391 | 3021 2149 139832 | 20886 16563 30 | 1.371 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3749 2175 141343 | 5000 0 nan | 0.000 % | c | 100 | 3749 2175 141343 | 5500 100 65 | 0.768 % | c | 251 | 3749 2175 141343 | 6050 251 50 | 0.768 % | c | 478 | 3749 2175 141343 | 6655 478 40 | 0.768 % | c | 815 | 3749 2175 141343 | 7320 815 35 | 0.768 % | c | 1321 | 3749 2175 141343 | 8052 1321 34 | 0.768 % | c | 2083 | 3749 2175 141343 | 8857 2083 34 | 0.768 % | c | 3224 | 3749 2175 141343 | 9743 3224 38 | 0.768 % | c | 4932 | 3749 2175 141343 | 10717 4932 45 | 0.768 % | c | 7495 | 3749 2175 141343 | 11789 7495 46 | 0.768 % | c | 11343 | 3749 2175 141343 | 12968 11343 48 | 0.768 % | c | 17112 | 3749 2175 141343 | 14265 10553 55 | 0.768 % | c | 25761 | 3749 2175 141343 | 15692 11790 62 | 0.768 % | c | 38736 | 3747 2175 141343 | 17261 4170 53 | 0.821 % | c | 58200 | 3747 2175 141343 | 18987 14936 51 | 0.821 % | c | 87395 | 3747 2175 141343 | 20886 15083 72 | 0.821 % | c | 131184 | 3747 2175 141343 | 22974 16287 70 | 0.821 % | c | 196871 | 3747 2175 141343 | 25272 12392 68 | 0.821 % | c | 295397 | 3747 2175 141343 | 27799 18408 59 | 0.821 % |