c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 1000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1000 | c | Number Clauses: 1000 | 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 | 952 1016 2809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 952 1017 3659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 952 1018 4509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 952 1019 5359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 952 1020 6209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 952 1021 7059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 952 1022 7909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 952 1023 8759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 952 1024 9609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 952 1025 10459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 952 1026 11309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 952 1027 12159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 952 1028 13009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 952 1029 13859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 952 1030 14709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 952 1031 15559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 952 1032 16409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 952 1033 17259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 952 1034 18109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 952 1035 18959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 952 1036 19809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 952 1037 20659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 952 1038 21509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 952 1039 22359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 952 1040 23209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 952 1041 24059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 952 1042 24909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 952 1043 25759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 0 | 952 1044 26609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 952 1045 27459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 952 1046 28309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 952 1047 29159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 952 1048 30009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 0 | 952 1049 30859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 952 1050 31709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 0 | 952 1051 32559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 952 1052 33409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 952 1053 34259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 0 | 952 1054 35109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 0 | 952 1055 35959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 952 1056 36809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 952 1057 37659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 0 | 952 1058 38509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 952 1059 39359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 0 | 952 1060 40209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 952 1061 41059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 952 1062 41909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 0 | 952 1063 42759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 0 | 952 1064 43609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 952 1065 44459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 0 | 952 1066 45309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 952 1067 46159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 952 1068 47009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 0 | 952 1069 47859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 952 1070 48709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 0 | 952 1071 49559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s c =============================================================================== c | 0 | 952 1072 50409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 952 1073 51259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 0 | 952 1074 52109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 952 1075 52959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 0 | 952 1076 53809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 952 1077 54659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 0 | 952 1078 55509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 0 | 952 1079 56359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 952 1080 57209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 0 | 952 1081 58059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 0 | 952 1082 58909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 0 | 952 1083 59759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 0 | 952 1084 60609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 0 | 952 1085 61459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 0 | 952 1086 62309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 0 | 952 1087 63159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 0 | 952 1088 64009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 0 | 952 1089 64859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 0 | 952 1090 65709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 0 | 952 1091 66559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 0 | 952 1092 67409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 0 | 952 1093 68259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 0 | 952 1094 69109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 0 | 952 1095 69959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 0 | 952 1096 70809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 0 | 952 1097 71659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 0 | 952 1098 72509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 0 | 952 1099 73359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 952 1100 74209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 0 | 952 1101 75059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 0 | 952 1102 75909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 1.14783 s Remaining CPU time: 178.852 s c =============================================================================== c | 0 | 952 1103 76759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 1.17582 s Remaining CPU time: 178.824 s c =============================================================================== c | 0 | 952 1104 77609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 0 | 952 1105 78459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 0 | 952 1106 79309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 1.25581 s Remaining CPU time: 178.744 s c =============================================================================== c | 0 | 952 1107 80159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 0 | 952 1108 81009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 0 | 952 1109 81859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4651 c Elapsed CPU time: 1.3438 s Remaining CPU time: 178.656 s c =============================================================================== c | 0 | 952 1110 82709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 1.37479 s Remaining CPU time: 178.625 s c =============================================================================== c | 0 | 952 1111 83559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4642 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 0 | 952 1112 84409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 0 | 952 1113 85259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4638 c Elapsed CPU time: 1.46478 s Remaining CPU time: 178.535 s c =============================================================================== c | 0 | 952 1114 86109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 0 | 952 1115 86959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 0 | 952 1116 87809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4632 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s c =============================================================================== c | 0 | 952 1117 88659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4631 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 0 | 952 1118 89509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4629 c Elapsed CPU time: 1.62575 s Remaining CPU time: 178.374 s c =============================================================================== c | 0 | 952 1119 90359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4624 c Elapsed CPU time: 1.65975 s Remaining CPU time: 178.34 s c =============================================================================== c | 0 | 952 1120 91209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s c =============================================================================== c | 0 | 952 1121 92059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4622 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 0 | 952 1122 92909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4621 c Elapsed CPU time: 1.76573 s Remaining CPU time: 178.234 s c =============================================================================== c | 0 | 952 1123 93759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4618 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 0 | 952 1124 94609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4616 c Elapsed CPU time: 1.83472 s Remaining CPU time: 178.165 s c =============================================================================== c | 0 | 952 1125 95459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4613 c Elapsed CPU time: 1.87372 s Remaining CPU time: 178.126 s c =============================================================================== c | 0 | 952 1126 96309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4612 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 0 | 952 1127 97159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4611 c Elapsed CPU time: 1.9517 s Remaining CPU time: 178.048 s c =============================================================================== c | 0 | 952 1128 98009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4610 c Elapsed CPU time: 1.9907 s Remaining CPU time: 178.009 s c =============================================================================== c | 0 | 952 1129 98859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4608 c Elapsed CPU time: 2.02869 s Remaining CPU time: 177.971 s c =============================================================================== c | 0 | 952 1130 99709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4607 c Elapsed CPU time: 2.06968 s Remaining CPU time: 177.93 s c =============================================================================== c | 0 | 952 1131 100559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 0 | 952 1132 101409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 2.15467 s Remaining CPU time: 177.845 s c =============================================================================== c | 0 | 952 1133 102259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4604 c Elapsed CPU time: 2.19667 s Remaining CPU time: 177.803 s c =============================================================================== c | 0 | 952 1134 103109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4603 c Elapsed CPU time: 2.24066 s Remaining CPU time: 177.759 s c =============================================================================== c | 0 | 952 1135 103959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4601 c Elapsed CPU time: 2.28565 s Remaining CPU time: 177.714 s c =============================================================================== c | 0 | 952 1136 104809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4600 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 0 | 952 1137 105659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4599 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 0 | 952 1138 106509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 2.42663 s Remaining CPU time: 177.573 s c =============================================================================== c | 0 | 952 1139 107359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4596 c Elapsed CPU time: 2.47462 s Remaining CPU time: 177.525 s c =============================================================================== c | 0 | 952 1140 108209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4594 c Elapsed CPU time: 2.52262 s Remaining CPU time: 177.477 s c =============================================================================== c | 0 | 952 1141 109059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4592 c Elapsed CPU time: 2.57061 s Remaining CPU time: 177.429 s c =============================================================================== c | 0 | 952 1142 109909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4588 c Elapsed CPU time: 2.6156 s Remaining CPU time: 177.384 s c =============================================================================== c | 0 | 952 1143 110759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4585 c Elapsed CPU time: 2.66059 s Remaining CPU time: 177.339 s c =============================================================================== c | 0 | 952 1144 111609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4582 c Elapsed CPU time: 2.70859 s Remaining CPU time: 177.291 s c =============================================================================== c | 0 | 952 1145 112459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4580 c Elapsed CPU time: 2.75758 s Remaining CPU time: 177.242 s c =============================================================================== c | 0 | 952 1146 113309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4579 c Elapsed CPU time: 2.80457 s Remaining CPU time: 177.195 s c =============================================================================== c | 0 | 952 1147 114159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4577 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 0 | 952 1148 115009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4575 c Elapsed CPU time: 2.89956 s Remaining CPU time: 177.1 s c =============================================================================== c | 0 | 952 1149 115859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4571 c Elapsed CPU time: 2.94755 s Remaining CPU time: 177.052 s c =============================================================================== c | 0 | 952 1150 116709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4570 c Elapsed CPU time: 2.99554 s Remaining CPU time: 177.004 s c =============================================================================== c | 0 | 952 1151 117559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4569 c Elapsed CPU time: 3.04454 s Remaining CPU time: 176.955 s c =============================================================================== c | 0 | 952 1152 118409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4564 c Elapsed CPU time: 3.09353 s Remaining CPU time: 176.906 s c =============================================================================== c | 0 | 952 1153 119259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 3.14452 s Remaining CPU time: 176.855 s c =============================================================================== c | 0 | 952 1154 120109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4562 c Elapsed CPU time: 3.19551 s Remaining CPU time: 176.804 s c =============================================================================== c | 0 | 952 1155 120959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4560 c Elapsed CPU time: 3.24751 s Remaining CPU time: 176.752 s c =============================================================================== c | 0 | 952 1156 121809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4559 c Elapsed CPU time: 3.3005 s Remaining CPU time: 176.7 s c =============================================================================== c | 0 | 952 1157 122659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4556 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s c =============================================================================== c | 0 | 952 1158 123509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4554 c Elapsed CPU time: 3.40848 s Remaining CPU time: 176.592 s c =============================================================================== c | 0 | 952 1159 124359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4553 c Elapsed CPU time: 3.46347 s Remaining CPU time: 176.537 s c =============================================================================== c | 0 | 952 1160 125209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4550 c Elapsed CPU time: 3.51747 s Remaining CPU time: 176.483 s c =============================================================================== c | 0 | 952 1161 126059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4549 c Elapsed CPU time: 3.57346 s Remaining CPU time: 176.427 s c =============================================================================== c | 0 | 952 1162 126909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4548 c Elapsed CPU time: 3.63045 s Remaining CPU time: 176.37 s c =============================================================================== c | 0 | 952 1163 127759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4546 c Elapsed CPU time: 3.68944 s Remaining CPU time: 176.311 s c =============================================================================== c | 0 | 952 1164 128609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4544 c Elapsed CPU time: 3.74543 s Remaining CPU time: 176.255 s c =============================================================================== c | 0 | 952 1165 129459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4542 c Elapsed CPU time: 3.80242 s Remaining CPU time: 176.198 s c =============================================================================== c | 0 | 952 1166 130309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4541 c Elapsed CPU time: 3.85941 s Remaining CPU time: 176.141 s c =============================================================================== c | 0 | 952 1167 131159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4538 c Elapsed CPU time: 3.9154 s Remaining CPU time: 176.085 s c =============================================================================== c | 0 | 952 1168 132009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4537 c Elapsed CPU time: 3.97539 s Remaining CPU time: 176.025 s c =============================================================================== c | 0 | 952 1169 132859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4534 c Elapsed CPU time: 4.03739 s Remaining CPU time: 175.963 s c =============================================================================== c | 0 | 952 1170 133709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4533 c Elapsed CPU time: 4.09938 s Remaining CPU time: 175.901 s c =============================================================================== c | 0 | 952 1171 134559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4532 c Elapsed CPU time: 4.16137 s Remaining CPU time: 175.839 s c =============================================================================== c | 0 | 952 1172 135409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4531 c Elapsed CPU time: 4.22036 s Remaining CPU time: 175.78 s c =============================================================================== c | 0 | 952 1173 136259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4529 c Elapsed CPU time: 4.28135 s Remaining CPU time: 175.719 s c =============================================================================== c | 0 | 952 1174 137109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4524 c Elapsed CPU time: 4.34034 s Remaining CPU time: 175.66 s c =============================================================================== c | 0 | 952 1175 137959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4520 c Elapsed CPU time: 4.40133 s Remaining CPU time: 175.599 s c =============================================================================== c | 0 | 952 1176 138809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4519 c Elapsed CPU time: 4.46332 s Remaining CPU time: 175.537 s c =============================================================================== c | 0 | 952 1177 139659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4516 c Elapsed CPU time: 4.52431 s Remaining CPU time: 175.476 s c =============================================================================== c | 0 | 952 1178 140509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4515 c Elapsed CPU time: 4.5873 s Remaining CPU time: 175.413 s c =============================================================================== c | 0 | 952 1179 141359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4512 c Elapsed CPU time: 4.65229 s Remaining CPU time: 175.348 s c =============================================================================== c | 0 | 952 1180 142209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4510 c Elapsed CPU time: 4.71528 s Remaining CPU time: 175.285 s c =============================================================================== c | 0 | 952 1181 143059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4508 c Elapsed CPU time: 4.77927 s Remaining CPU time: 175.221 s c =============================================================================== c | 0 | 952 1182 143909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4504 c Elapsed CPU time: 4.84326 s Remaining CPU time: 175.157 s c =============================================================================== c | 0 | 952 1183 144759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4501 c Elapsed CPU time: 4.90725 s Remaining CPU time: 175.093 s c =============================================================================== c | 0 | 952 1184 145609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4497 c Elapsed CPU time: 4.97624 s Remaining CPU time: 175.024 s c =============================================================================== c | 0 | 952 1185 146459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4496 c Elapsed CPU time: 5.04323 s Remaining CPU time: 174.957 s c =============================================================================== c | 0 | 952 1186 147309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4494 c Elapsed CPU time: 5.10822 s Remaining CPU time: 174.892 s c =============================================================================== c | 0 | 952 1187 148159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4492 c Elapsed CPU time: 5.17321 s Remaining CPU time: 174.827 s c =============================================================================== c | 0 | 952 1188 149009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4491 c Elapsed CPU time: 5.2392 s Remaining CPU time: 174.761 s c =============================================================================== c | 0 | 952 1189 149859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4487 c Elapsed CPU time: 5.30619 s Remaining CPU time: 174.694 s c =============================================================================== c | 0 | 952 1190 150709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4486 c Elapsed CPU time: 5.37818 s Remaining CPU time: 174.622 s c =============================================================================== c | 0 | 952 1191 151559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4485 c Elapsed CPU time: 5.44817 s Remaining CPU time: 174.552 s c =============================================================================== c | 1 | 952 1192 152409 | 5000 1 805 | 0.000 % | c =============================================================================== c New solution: 4484 c Elapsed CPU time: 5.51816 s Remaining CPU time: 174.482 s c =============================================================================== c | 2 | 952 1193 153259 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4483 c Elapsed CPU time: 5.58915 s Remaining CPU time: 174.411 s c =============================================================================== c | 2 | 952 1194 154109 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4481 c Elapsed CPU time: 5.66014 s Remaining CPU time: 174.34 s c =============================================================================== c | 2 | 952 1195 154959 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4480 c Elapsed CPU time: 5.73513 s Remaining CPU time: 174.265 s c =============================================================================== c | 2 | 952 1196 155809 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4479 c Elapsed CPU time: 5.81012 s Remaining CPU time: 174.19 s c =============================================================================== c | 2 | 952 1197 156659 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 5.8841 s Remaining CPU time: 174.116 s c =============================================================================== c | 2 | 952 1198 157509 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4476 c Elapsed CPU time: 5.95709 s Remaining CPU time: 174.043 s c =============================================================================== c | 2 | 952 1199 158359 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4475 c Elapsed CPU time: 6.03208 s Remaining CPU time: 173.968 s c =============================================================================== c | 2 | 952 1200 159209 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4473 c Elapsed CPU time: 6.11307 s Remaining CPU time: 173.887 s c =============================================================================== c | 2 | 952 1201 160059 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4472 c Elapsed CPU time: 6.19306 s Remaining CPU time: 173.807 s c =============================================================================== c | 2 | 952 1202 160909 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4471 c Elapsed CPU time: 6.27305 s Remaining CPU time: 173.727 s c =============================================================================== c | 2 | 952 1203 161759 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4470 c Elapsed CPU time: 6.34703 s Remaining CPU time: 173.653 s c =============================================================================== c | 2 | 952 1204 162609 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4469 c Elapsed CPU time: 6.42602 s Remaining CPU time: 173.574 s c =============================================================================== c | 2 | 952 1205 163459 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4467 c Elapsed CPU time: 6.50801 s Remaining CPU time: 173.492 s c =============================================================================== c | 2 | 952 1206 164309 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4466 c Elapsed CPU time: 6.589 s Remaining CPU time: 173.411 s c =============================================================================== c | 2 | 952 1207 165159 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4465 c Elapsed CPU time: 6.66799 s Remaining CPU time: 173.332 s c =============================================================================== c | 2 | 952 1208 166009 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4464 c Elapsed CPU time: 6.74697 s Remaining CPU time: 173.253 s c =============================================================================== c | 2 | 952 1209 166859 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4463 c Elapsed CPU time: 6.82796 s Remaining CPU time: 173.172 s c =============================================================================== c | 2 | 952 1210 167709 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4462 c Elapsed CPU time: 6.91295 s Remaining CPU time: 173.087 s c =============================================================================== c | 2 | 952 1211 168559 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4460 c Elapsed CPU time: 6.99694 s Remaining CPU time: 173.003 s c =============================================================================== c | 2 | 952 1212 169409 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 7.08192 s Remaining CPU time: 172.918 s c =============================================================================== c | 2 | 952 1213 170259 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4457 c Elapsed CPU time: 7.17091 s Remaining CPU time: 172.829 s c =============================================================================== c | 2 | 952 1214 171109 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4456 c Elapsed CPU time: 7.2549 s Remaining CPU time: 172.745 s c =============================================================================== c | 2 | 952 1215 171959 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4455 c Elapsed CPU time: 7.34788 s Remaining CPU time: 172.652 s c =============================================================================== c | 2 | 952 1216 172809 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4454 c Elapsed CPU time: 7.43687 s Remaining CPU time: 172.563 s c =============================================================================== c | 2 | 952 1217 173659 | 5000 2 404 | 0.000 % | c =============================================================================== c New solution: 4453 c Elapsed CPU time: 7.52386 s Remaining CPU time: 172.476 s c =============================================================================== c | 3 | 952 1218 174509 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4452 c Elapsed CPU time: 7.61184 s Remaining CPU time: 172.388 s c =============================================================================== c | 3 | 952 1219 175359 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4451 c Elapsed CPU time: 7.70383 s Remaining CPU time: 172.296 s c =============================================================================== c | 3 | 952 1220 176209 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4450 c Elapsed CPU time: 7.79681 s Remaining CPU time: 172.203 s c =============================================================================== c | 3 | 952 1221 177059 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4449 c Elapsed CPU time: 7.8868 s Remaining CPU time: 172.113 s c =============================================================================== c | 3 | 952 1222 177909 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4448 c Elapsed CPU time: 7.97479 s Remaining CPU time: 172.025 s c =============================================================================== c | 3 | 952 1223 178759 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4447 c Elapsed CPU time: 8.06377 s Remaining CPU time: 171.936 s c =============================================================================== c | 3 | 952 1224 179609 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4446 c Elapsed CPU time: 8.15276 s Remaining CPU time: 171.847 s c =============================================================================== c | 3 | 952 1225 180459 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4445 c Elapsed CPU time: 8.24275 s Remaining CPU time: 171.757 s c =============================================================================== c | 3 | 952 1226 181309 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4444 c Elapsed CPU time: 8.33373 s Remaining CPU time: 171.666 s c =============================================================================== c | 3 | 952 1227 182159 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4443 c Elapsed CPU time: 8.42572 s Remaining CPU time: 171.574 s c =============================================================================== c | 3 | 952 1228 183009 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 8.5187 s Remaining CPU time: 171.481 s c =============================================================================== c | 3 | 952 1229 183859 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4441 c Elapsed CPU time: 8.60969 s Remaining CPU time: 171.39 s c =============================================================================== c | 3 | 952 1230 184709 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4440 c Elapsed CPU time: 8.70068 s Remaining CPU time: 171.299 s c =============================================================================== c | 3 | 952 1231 185559 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4439 c Elapsed CPU time: 8.79666 s Remaining CPU time: 171.203 s c =============================================================================== c | 3 | 952 1232 186409 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4438 c Elapsed CPU time: 8.89265 s Remaining CPU time: 171.107 s c =============================================================================== c | 3 | 952 1233 187259 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4437 c Elapsed CPU time: 8.98863 s Remaining CPU time: 171.011 s c =============================================================================== c | 3 | 952 1234 188109 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4436 c Elapsed CPU time: 9.08262 s Remaining CPU time: 170.917 s c =============================================================================== c | 3 | 952 1235 188959 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4435 c Elapsed CPU time: 9.1786 s Remaining CPU time: 170.821 s c =============================================================================== c | 3 | 952 1236 189809 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4434 c Elapsed CPU time: 9.28159 s Remaining CPU time: 170.718 s c =============================================================================== c | 3 | 952 1237 190659 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4433 c Elapsed CPU time: 9.38457 s Remaining CPU time: 170.615 s c =============================================================================== c | 3 | 952 1238 191509 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4432 c Elapsed CPU time: 9.48256 s Remaining CPU time: 170.517 s c =============================================================================== c | 3 | 952 1239 192359 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 9.57854 s Remaining CPU time: 170.421 s c =============================================================================== c | 3 | 952 1240 193209 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4430 c Elapsed CPU time: 9.67553 s Remaining CPU time: 170.324 s c =============================================================================== c | 3 | 952 1241 194059 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 9.77651 s Remaining CPU time: 170.223 s c =============================================================================== c | 3 | 952 1242 194909 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4428 c Elapsed CPU time: 9.8735 s Remaining CPU time: 170.127 s c =============================================================================== c | 3 | 952 1243 195759 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4427 c Elapsed CPU time: 9.97948 s Remaining CPU time: 170.021 s c =============================================================================== c | 3 | 952 1244 196609 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4426 c Elapsed CPU time: 10.0765 s Remaining CPU time: 169.924 s c =============================================================================== c | 3 | 952 1245 197459 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4425 c Elapsed CPU time: 10.1815 s Remaining CPU time: 169.819 s c =============================================================================== c | 3 | 952 1246 198309 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4424 c Elapsed CPU time: 10.2824 s Remaining CPU time: 169.718 s c =============================================================================== c | 3 | 952 1247 199159 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 10.3824 s Remaining CPU time: 169.618 s c =============================================================================== c | 3 | 952 1248 200009 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4422 c Elapsed CPU time: 10.4864 s Remaining CPU time: 169.514 s c =============================================================================== c | 3 | 952 1249 200859 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4421 c Elapsed CPU time: 10.5934 s Remaining CPU time: 169.407 s c =============================================================================== c | 3 | 952 1250 201709 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4420 c Elapsed CPU time: 10.6984 s Remaining CPU time: 169.302 s c =============================================================================== c | 3 | 952 1251 202559 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 10.8044 s Remaining CPU time: 169.196 s c =============================================================================== c | 3 | 952 1252 203409 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 10.9063 s Remaining CPU time: 169.094 s c =============================================================================== c | 3 | 952 1253 204259 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4417 c Elapsed CPU time: 11.0063 s Remaining CPU time: 168.994 s c =============================================================================== c | 3 | 952 1254 205109 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4416 c Elapsed CPU time: 11.1163 s Remaining CPU time: 168.884 s c =============================================================================== c | 3 | 952 1255 205959 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 11.2233 s Remaining CPU time: 168.777 s c =============================================================================== c | 3 | 952 1256 206809 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4414 c Elapsed CPU time: 11.3313 s Remaining CPU time: 168.669 s c =============================================================================== c | 3 | 952 1257 207659 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4413 c Elapsed CPU time: 11.4353 s Remaining CPU time: 168.565 s c =============================================================================== c | 3 | 952 1258 208509 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4412 c Elapsed CPU time: 11.5402 s Remaining CPU time: 168.46 s c =============================================================================== c | 3 | 952 1259 209359 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4411 c Elapsed CPU time: 11.6512 s Remaining CPU time: 168.349 s c =============================================================================== c | 3 | 952 1260 210209 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4410 c Elapsed CPU time: 11.7642 s Remaining CPU time: 168.236 s c =============================================================================== c | 3 | 952 1261 211059 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 11.8762 s Remaining CPU time: 168.124 s c =============================================================================== c | 3 | 952 1262 211909 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4408 c Elapsed CPU time: 11.9862 s Remaining CPU time: 168.014 s c =============================================================================== c | 3 | 952 1263 212759 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 12.0982 s Remaining CPU time: 167.902 s c =============================================================================== c | 3 | 952 1264 213609 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4406 c Elapsed CPU time: 12.2111 s Remaining CPU time: 167.789 s c =============================================================================== c | 3 | 952 1265 214459 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4405 c Elapsed CPU time: 12.3221 s Remaining CPU time: 167.678 s c =============================================================================== c | 3 | 952 1266 215309 | 5000 3 533 | 0.000 % | c =============================================================================== c New solution: 4404 c Elapsed CPU time: 12.4381 s Remaining CPU time: 167.562 s c =============================================================================== c | 4 | 952 1267 216159 | 5000 4 596 | 0.000 % | c =============================================================================== c New solution: 4403 c Elapsed CPU time: 12.5551 s Remaining CPU time: 167.445 s c =============================================================================== c | 4 | 952 1268 217009 | 5000 4 596 | 0.000 % | c =============================================================================== c New solution: 4402 c Elapsed CPU time: 12.6731 s Remaining CPU time: 167.327 s c =============================================================================== c | 4 | 952 1269 217859 | 5000 4 596 | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 12.7881 s Remaining CPU time: 167.212 s c =============================================================================== c | 4 | 952 1270 218709 | 5000 4 596 | 0.000 % | c =============================================================================== c New solution: 4400 c Elapsed CPU time: 12.906 s Remaining CPU time: 167.094 s c =============================================================================== c | 4 | 952 1271 219559 | 5000 4 596 | 0.000 % | c =============================================================================== c New solution: 4399 c Elapsed CPU time: 13.018 s Remaining CPU time: 166.982 s c =============================================================================== c | 4 | 952 1272 220409 | 5000 4 596 | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 13.129 s Remaining CPU time: 166.871 s c =============================================================================== c | 5 | 952 1273 221259 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4397 c Elapsed CPU time: 13.242 s Remaining CPU time: 166.758 s c =============================================================================== c | 5 | 952 1274 222109 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4396 c Elapsed CPU time: 13.359 s Remaining CPU time: 166.641 s c =============================================================================== c | 5 | 952 1275 222959 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4395 c Elapsed CPU time: 13.477 s Remaining CPU time: 166.523 s c =============================================================================== c | 5 | 952 1276 223809 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4394 c Elapsed CPU time: 13.5949 s Remaining CPU time: 166.405 s c =============================================================================== c | 5 | 952 1277 224659 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4393 c Elapsed CPU time: 13.7179 s Remaining CPU time: 166.282 s c =============================================================================== c | 5 | 952 1278 225509 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4392 c Elapsed CPU time: 13.8399 s Remaining CPU time: 166.16 s c =============================================================================== c | 5 | 952 1279 226359 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4391 c Elapsed CPU time: 13.9649 s Remaining CPU time: 166.035 s c =============================================================================== c | 5 | 952 1280 227209 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4390 c Elapsed CPU time: 14.0869 s Remaining CPU time: 165.913 s c =============================================================================== c | 5 | 952 1281 228059 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4389 c Elapsed CPU time: 14.2058 s Remaining CPU time: 165.794 s c =============================================================================== c | 5 | 952 1282 228909 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 14.3278 s Remaining CPU time: 165.672 s c =============================================================================== c | 5 | 952 1283 229759 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4387 c Elapsed CPU time: 14.4538 s Remaining CPU time: 165.546 s c =============================================================================== c | 5 | 952 1284 230609 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4386 c Elapsed CPU time: 14.5758 s Remaining CPU time: 165.424 s c =============================================================================== c | 5 | 952 1285 231459 | 5000 5 477 | 0.000 % | c =============================================================================== c New solution: 4385 c Elapsed CPU time: 14.7088 s Remaining CPU time: 165.291 s c =============================================================================== c | 6 | 952 1286 232309 | 5000 6 528 | 0.000 % | c =============================================================================== c New solution: 4384 c Elapsed CPU time: 14.8307 s Remaining CPU time: 165.169 s c =============================================================================== c | 6 | 952 1287 233159 | 5000 6 528 | 0.000 % | c =============================================================================== c New solution: 4383 c Elapsed CPU time: 14.9587 s Remaining CPU time: 165.041 s c =============================================================================== c | 7 | 952 1288 234009 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4382 c Elapsed CPU time: 15.0847 s Remaining CPU time: 164.915 s c =============================================================================== c | 7 | 952 1289 234859 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4381 c Elapsed CPU time: 15.2157 s Remaining CPU time: 164.784 s c =============================================================================== c | 7 | 952 1290 235709 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4380 c Elapsed CPU time: 15.3457 s Remaining CPU time: 164.654 s c =============================================================================== c | 7 | 952 1291 236559 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4379 c Elapsed CPU time: 15.4756 s Remaining CPU time: 164.524 s c =============================================================================== c | 7 | 952 1292 237409 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4378 c Elapsed CPU time: 15.6016 s Remaining CPU time: 164.398 s c =============================================================================== c | 7 | 952 1293 238259 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4377 c Elapsed CPU time: 15.7276 s Remaining CPU time: 164.272 s c =============================================================================== c | 7 | 952 1294 239109 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4376 c Elapsed CPU time: 15.8576 s Remaining CPU time: 164.142 s c =============================================================================== c | 7 | 952 1295 239959 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4375 c Elapsed CPU time: 15.9836 s Remaining CPU time: 164.016 s c =============================================================================== c | 7 | 952 1296 240809 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4374 c Elapsed CPU time: 16.1215 s Remaining CPU time: 163.878 s c =============================================================================== c | 7 | 952 1297 241659 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4373 c Elapsed CPU time: 16.2485 s Remaining CPU time: 163.751 s c =============================================================================== c | 7 | 952 1298 242509 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4372 c Elapsed CPU time: 16.3825 s Remaining CPU time: 163.617 s c =============================================================================== c | 7 | 952 1299 243359 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4371 c Elapsed CPU time: 16.5165 s Remaining CPU time: 163.484 s c =============================================================================== c | 7 | 952 1300 244209 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 16.6515 s Remaining CPU time: 163.349 s c =============================================================================== c | 7 | 952 1301 245059 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 16.7904 s Remaining CPU time: 163.21 s c =============================================================================== c | 7 | 952 1302 245909 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4368 c Elapsed CPU time: 16.9324 s Remaining CPU time: 163.068 s c =============================================================================== c | 7 | 952 1303 246759 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 17.0654 s Remaining CPU time: 162.935 s c =============================================================================== c | 7 | 952 1304 247609 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4366 c Elapsed CPU time: 17.2054 s Remaining CPU time: 162.795 s c =============================================================================== c | 7 | 952 1305 248459 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4365 c Elapsed CPU time: 17.3414 s Remaining CPU time: 162.659 s c =============================================================================== c | 7 | 952 1306 249309 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4364 c Elapsed CPU time: 17.4773 s Remaining CPU time: 162.523 s c =============================================================================== c | 7 | 952 1307 250159 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 17.6133 s Remaining CPU time: 162.387 s c =============================================================================== c | 7 | 952 1308 251009 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4362 c Elapsed CPU time: 17.7623 s Remaining CPU time: 162.238 s c =============================================================================== c | 7 | 952 1309 251859 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4361 c Elapsed CPU time: 17.8993 s Remaining CPU time: 162.101 s c =============================================================================== c | 7 | 952 1310 252709 | 5000 7 564 | 0.000 % | c =============================================================================== c New solution: 4360 c Elapsed CPU time: 18.0353 s Remaining CPU time: 161.965 s c =============================================================================== c | 8 | 952 1311 253559 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4359 c Elapsed CPU time: 18.1722 s Remaining CPU time: 161.828 s c =============================================================================== c | 8 | 952 1312 254409 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4358 c Elapsed CPU time: 18.3152 s Remaining CPU time: 161.685 s c =============================================================================== c | 8 | 952 1313 255259 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4357 c Elapsed CPU time: 18.4492 s Remaining CPU time: 161.551 s c =============================================================================== c | 8 | 952 1314 256109 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4356 c Elapsed CPU time: 18.5942 s Remaining CPU time: 161.406 s c =============================================================================== c | 8 | 952 1315 256959 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4355 c Elapsed CPU time: 18.7272 s Remaining CPU time: 161.273 s c =============================================================================== c | 8 | 952 1316 257809 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 18.8651 s Remaining CPU time: 161.135 s c =============================================================================== c | 8 | 952 1317 258659 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4353 c Elapsed CPU time: 19.0101 s Remaining CPU time: 160.99 s c =============================================================================== c | 8 | 952 1318 259509 | 5000 8 591 | 0.000 % | c =============================================================================== c New solution: 4352 c Elapsed CPU time: 19.1761 s Remaining CPU time: 160.824 s c =============================================================================== c | 14 | 952 1319 260359 | 5000 14 670 | 0.000 % | c =============================================================================== c New solution: 4351 c Elapsed CPU time: 19.3241 s Remaining CPU time: 160.676 s c =============================================================================== c | 14 | 952 1320 261209 | 5000 14 670 | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 19.47 s Remaining CPU time: 160.53 s c =============================================================================== c | 14 | 952 1321 262059 | 5000 14 670 | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 19.614 s Remaining CPU time: 160.386 s c =============================================================================== c | 14 | 952 1322 262909 | 5000 14 670 | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 19.766 s Remaining CPU time: 160.234 s c =============================================================================== c | 15 | 952 1323 263759 | 5000 15 677 | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 19.91 s Remaining CPU time: 160.09 s c =============================================================================== c | 15 | 952 1324 264609 | 5000 15 677 | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 20.056 s Remaining CPU time: 159.944 s c =============================================================================== c | 15 | 952 1325 265459 | 5000 15 677 | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 20.2089 s Remaining CPU time: 159.791 s c =============================================================================== c | 15 | 952 1326 266309 | 5000 15 677 | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 20.3539 s Remaining CPU time: 159.646 s c =============================================================================== c | 15 | 952 1327 267159 | 5000 15 677 | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 20.4989 s Remaining CPU time: 159.501 s c =============================================================================== c | 15 | 952 1328 268009 | 5000 15 677 | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 20.6519 s Remaining CPU time: 159.348 s c =============================================================================== c | 16 | 952 1329 268859 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 20.7978 s Remaining CPU time: 159.202 s c =============================================================================== c | 16 | 952 1330 269709 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 20.9438 s Remaining CPU time: 159.056 s c =============================================================================== c | 16 | 952 1331 270559 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 21.0968 s Remaining CPU time: 158.903 s c =============================================================================== c | 16 | 952 1332 271409 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 21.2438 s Remaining CPU time: 158.756 s c =============================================================================== c | 16 | 952 1333 272259 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 21.3927 s Remaining CPU time: 158.607 s c =============================================================================== c | 16 | 952 1334 273109 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 21.5397 s Remaining CPU time: 158.46 s c =============================================================================== c | 16 | 952 1335 273959 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 21.6907 s Remaining CPU time: 158.309 s c =============================================================================== c | 16 | 952 1336 274809 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 21.8387 s Remaining CPU time: 158.161 s c =============================================================================== c | 16 | 952 1337 275659 | 5000 16 683 | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 21.9957 s Remaining CPU time: 158.004 s c =============================================================================== c | 17 | 952 1338 276509 | 5000 17 688 | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 22.1486 s Remaining CPU time: 157.851 s c =============================================================================== c | 17 | 952 1339 277359 | 5000 17 688 | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 22.2996 s Remaining CPU time: 157.7 s c =============================================================================== c | 17 | 952 1340 278209 | 5000 17 688 | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 22.4456 s Remaining CPU time: 157.554 s c =============================================================================== c | 17 | 952 1341 279059 | 5000 17 688 | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 22.5986 s Remaining CPU time: 157.401 s c =============================================================================== c | 17 | 952 1342 279909 | 5000 17 688 | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 22.7555 s Remaining CPU time: 157.244 s c =============================================================================== c | 18 | 952 1343 280759 | 5000 18 693 | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 22.9065 s Remaining CPU time: 157.093 s c =============================================================================== c | 18 | 952 1344 281609 | 5000 18 693 | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 23.0575 s Remaining CPU time: 156.943 s c =============================================================================== c | 18 | 952 1345 282459 | 5000 18 693 | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 23.2095 s Remaining CPU time: 156.791 s c =============================================================================== c | 22 | 952 1346 283309 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 23.3624 s Remaining CPU time: 156.638 s c =============================================================================== c | 22 | 952 1347 284159 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 23.5134 s Remaining CPU time: 156.487 s c =============================================================================== c | 22 | 952 1348 285009 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 23.6734 s Remaining CPU time: 156.327 s c =============================================================================== c | 22 | 952 1349 285859 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 23.8294 s Remaining CPU time: 156.171 s c =============================================================================== c | 22 | 952 1350 286709 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 23.9894 s Remaining CPU time: 156.011 s c =============================================================================== c | 22 | 952 1351 287559 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 24.1473 s Remaining CPU time: 155.853 s c =============================================================================== c | 22 | 952 1352 288409 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 24.3123 s Remaining CPU time: 155.688 s c =============================================================================== c | 22 | 952 1353 289259 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 24.4723 s Remaining CPU time: 155.528 s c =============================================================================== c | 22 | 952 1354 290109 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 24.6373 s Remaining CPU time: 155.363 s c =============================================================================== c | 22 | 952 1355 290959 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 24.7962 s Remaining CPU time: 155.204 s c =============================================================================== c | 22 | 952 1356 291809 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 24.9572 s Remaining CPU time: 155.043 s c =============================================================================== c | 22 | 952 1357 292659 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 25.1192 s Remaining CPU time: 154.881 s c =============================================================================== c | 22 | 952 1358 293509 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 25.2822 s Remaining CPU time: 154.718 s c =============================================================================== c | 22 | 952 1359 294359 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 25.4511 s Remaining CPU time: 154.549 s c =============================================================================== c | 22 | 952 1360 295209 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 25.6071 s Remaining CPU time: 154.393 s c =============================================================================== c | 22 | 952 1361 296059 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 25.7661 s Remaining CPU time: 154.234 s c =============================================================================== c | 22 | 952 1362 296909 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 25.9321 s Remaining CPU time: 154.068 s c =============================================================================== c | 22 | 952 1363 297759 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 26.103 s Remaining CPU time: 153.897 s c =============================================================================== c | 22 | 952 1364 298609 | 5000 22 706 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 26.278 s Remaining CPU time: 153.722 s c =============================================================================== c | 23 | 952 1365 299459 | 5000 23 708 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 26.447 s Remaining CPU time: 153.553 s c =============================================================================== c | 24 | 952 1366 300309 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 26.61 s Remaining CPU time: 153.39 s c =============================================================================== c | 24 | 952 1367 301159 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 26.7739 s Remaining CPU time: 153.226 s c =============================================================================== c | 24 | 952 1368 302009 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 26.9389 s Remaining CPU time: 153.061 s c =============================================================================== c | 24 | 952 1369 302859 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 27.1089 s Remaining CPU time: 152.891 s c =============================================================================== c | 24 | 952 1370 303709 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 27.2819 s Remaining CPU time: 152.718 s c =============================================================================== c | 24 | 952 1371 304559 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 27.4538 s Remaining CPU time: 152.546 s c =============================================================================== c | 24 | 952 1372 305409 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 27.6248 s Remaining CPU time: 152.375 s c =============================================================================== c | 24 | 952 1373 306259 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 27.7998 s Remaining CPU time: 152.2 s c =============================================================================== c | 24 | 952 1374 307109 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 27.9647 s Remaining CPU time: 152.035 s c =============================================================================== c | 24 | 952 1375 307959 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 28.1387 s Remaining CPU time: 151.861 s c =============================================================================== c | 24 | 952 1376 308809 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 28.3107 s Remaining CPU time: 151.689 s c =============================================================================== c | 24 | 952 1377 309659 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 28.4847 s Remaining CPU time: 151.515 s c =============================================================================== c | 24 | 952 1378 310509 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 28.6646 s Remaining CPU time: 151.335 s c =============================================================================== c | 24 | 952 1379 311359 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 28.8426 s Remaining CPU time: 151.157 s c =============================================================================== c | 24 | 952 1380 312209 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 29.0176 s Remaining CPU time: 150.982 s c =============================================================================== c | 24 | 952 1381 313059 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 29.1856 s Remaining CPU time: 150.814 s c =============================================================================== c | 24 | 952 1382 313909 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 29.3595 s Remaining CPU time: 150.64 s c =============================================================================== c | 24 | 952 1383 314759 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 29.5315 s Remaining CPU time: 150.468 s c =============================================================================== c | 24 | 952 1384 315609 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 29.7085 s Remaining CPU time: 150.292 s c =============================================================================== c | 24 | 952 1385 316459 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 29.8885 s Remaining CPU time: 150.112 s c =============================================================================== c | 24 | 952 1386 317309 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 30.0594 s Remaining CPU time: 149.941 s c =============================================================================== c | 24 | 952 1387 318159 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 30.2424 s Remaining CPU time: 149.758 s c =============================================================================== c | 24 | 952 1388 319009 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 30.4254 s Remaining CPU time: 149.575 s c =============================================================================== c | 24 | 952 1389 319859 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 30.6063 s Remaining CPU time: 149.394 s c =============================================================================== c | 24 | 952 1390 320709 | 5000 24 711 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 30.7923 s Remaining CPU time: 149.208 s c =============================================================================== c | 29 | 952 1391 321559 | 5000 29 719 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 30.9833 s Remaining CPU time: 149.017 s c =============================================================================== c | 30 | 952 1392 322409 | 5000 30 721 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 31.1743 s Remaining CPU time: 148.826 s c =============================================================================== c | 30 | 952 1393 323259 | 5000 30 721 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 31.3502 s Remaining CPU time: 148.65 s c =============================================================================== c | 30 | 952 1394 324109 | 5000 30 721 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 31.5322 s Remaining CPU time: 148.468 s c =============================================================================== c | 30 | 952 1395 324959 | 5000 30 721 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 31.7082 s Remaining CPU time: 148.292 s c =============================================================================== c | 30 | 952 1396 325809 | 5000 30 721 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 31.8912 s Remaining CPU time: 148.109 s c =============================================================================== c | 30 | 952 1397 326659 | 5000 30 721 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 32.0731 s Remaining CPU time: 147.927 s c =============================================================================== c | 31 | 952 1398 327509 | 5000 31 722 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 32.2591 s Remaining CPU time: 147.741 s c =============================================================================== c | 31 | 952 1399 328359 | 5000 31 722 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 32.4441 s Remaining CPU time: 147.556 s c =============================================================================== c | 31 | 952 1400 329209 | 5000 31 722 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 32.627 s Remaining CPU time: 147.373 s c =============================================================================== c | 31 | 952 1401 330059 | 5000 31 722 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 32.827 s Remaining CPU time: 147.173 s c =============================================================================== c | 31 | 952 1402 330909 | 5000 31 722 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 33.04 s Remaining CPU time: 146.96 s c =============================================================================== c | 37 | 952 1403 331759 | 5000 37 728 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 33.2249 s Remaining CPU time: 146.775 s c =============================================================================== c | 42 | 952 1404 332609 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 33.4089 s Remaining CPU time: 146.591 s c =============================================================================== c | 42 | 952 1405 333459 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 33.5979 s Remaining CPU time: 146.402 s c =============================================================================== c | 42 | 952 1406 334309 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 33.7859 s Remaining CPU time: 146.214 s c =============================================================================== c | 42 | 952 1407 335159 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 33.9748 s Remaining CPU time: 146.025 s c =============================================================================== c | 42 | 952 1408 336009 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 34.1568 s Remaining CPU time: 145.843 s c =============================================================================== c | 42 | 952 1409 336859 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 34.3508 s Remaining CPU time: 145.649 s c =============================================================================== c | 42 | 952 1410 337709 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 34.5477 s Remaining CPU time: 145.452 s c =============================================================================== c | 42 | 952 1411 338559 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 34.7347 s Remaining CPU time: 145.265 s c =============================================================================== c | 42 | 952 1412 339409 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 34.9187 s Remaining CPU time: 145.081 s c =============================================================================== c | 42 | 952 1413 340259 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 35.1157 s Remaining CPU time: 144.884 s c =============================================================================== c | 42 | 952 1414 341109 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 35.3096 s Remaining CPU time: 144.69 s c =============================================================================== c | 42 | 952 1415 341959 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 35.5126 s Remaining CPU time: 144.487 s c =============================================================================== c | 42 | 952 1416 342809 | 5000 42 732 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 35.7056 s Remaining CPU time: 144.294 s c =============================================================================== c | 44 | 952 1417 343659 | 5000 44 733 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 35.8965 s Remaining CPU time: 144.103 s c =============================================================================== c | 44 | 952 1418 344509 | 5000 44 733 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 36.0965 s Remaining CPU time: 143.903 s c =============================================================================== c | 44 | 952 1419 345359 | 5000 44 733 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 36.2955 s Remaining CPU time: 143.705 s c =============================================================================== c | 47 | 952 1420 346209 | 5000 47 734 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 36.5005 s Remaining CPU time: 143.5 s c =============================================================================== c | 47 | 952 1421 347059 | 5000 47 734 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 36.7254 s Remaining CPU time: 143.275 s c =============================================================================== c | 52 | 952 1422 347909 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 36.9284 s Remaining CPU time: 143.072 s c =============================================================================== c | 52 | 952 1423 348759 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 37.1234 s Remaining CPU time: 142.877 s c =============================================================================== c | 52 | 952 1424 349609 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 37.3183 s Remaining CPU time: 142.682 s c =============================================================================== c | 52 | 952 1425 350459 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 37.5163 s Remaining CPU time: 142.484 s c =============================================================================== c | 52 | 952 1426 351309 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 37.7143 s Remaining CPU time: 142.286 s c =============================================================================== c | 52 | 952 1427 352159 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 37.9132 s Remaining CPU time: 142.087 s c =============================================================================== c | 52 | 952 1428 353009 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 38.1092 s Remaining CPU time: 141.891 s c =============================================================================== c | 52 | 952 1429 353859 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 38.3142 s Remaining CPU time: 141.686 s c =============================================================================== c | 52 | 952 1430 354709 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 38.5171 s Remaining CPU time: 141.483 s c =============================================================================== c | 52 | 952 1431 355559 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 38.7211 s Remaining CPU time: 141.279 s c =============================================================================== c | 52 | 952 1432 356409 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 38.9201 s Remaining CPU time: 141.08 s c =============================================================================== c | 52 | 952 1433 357259 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 39.1201 s Remaining CPU time: 140.88 s c =============================================================================== c | 52 | 952 1434 358109 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 39.32 s Remaining CPU time: 140.68 s c =============================================================================== c | 52 | 952 1435 358959 | 5000 52 736 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 39.526 s Remaining CPU time: 140.474 s c =============================================================================== c | 54 | 952 1436 359809 | 5000 54 737 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 39.733 s Remaining CPU time: 140.267 s c =============================================================================== c | 54 | 952 1437 360659 | 5000 54 737 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 39.9429 s Remaining CPU time: 140.057 s c =============================================================================== c | 54 | 952 1438 361509 | 5000 54 737 | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 40.1639 s Remaining CPU time: 139.836 s c =============================================================================== c | 54 | 952 1439 362359 | 5000 54 737 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 40.3729 s Remaining CPU time: 139.627 s c =============================================================================== c | 59 | 952 1440 363209 | 5000 59 738 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 40.5708 s Remaining CPU time: 139.429 s c =============================================================================== c | 59 | 952 1441 364059 | 5000 59 738 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 40.7728 s Remaining CPU time: 139.227 s c =============================================================================== c | 59 | 952 1442 364909 | 5000 59 738 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 40.9808 s Remaining CPU time: 139.019 s c =============================================================================== c | 63 | 952 1443 365759 | 5000 63 739 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 41.1757 s Remaining CPU time: 138.824 s c =============================================================================== c | 63 | 952 1444 366609 | 5000 63 739 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 41.3737 s Remaining CPU time: 138.626 s c =============================================================================== c | 63 | 952 1445 367459 | 5000 63 739 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 41.5817 s Remaining CPU time: 138.418 s c =============================================================================== c | 63 | 952 1446 368309 | 5000 63 739 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 41.7766 s Remaining CPU time: 138.223 s c =============================================================================== c | 63 | 952 1447 369159 | 5000 63 739 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 41.9886 s Remaining CPU time: 138.011 s c =============================================================================== c | 63 | 952 1448 370009 | 5000 63 739 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 42.2156 s Remaining CPU time: 137.784 s c =============================================================================== c | 68 | 952 1449 370859 | 5000 68 740 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 42.4256 s Remaining CPU time: 137.574 s c =============================================================================== c | 68 | 952 1450 371709 | 5000 68 740 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 42.6315 s Remaining CPU time: 137.368 s c =============================================================================== c | 68 | 952 1451 372559 | 5000 68 740 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 42.8455 s Remaining CPU time: 137.155 s c =============================================================================== c | 68 | 952 1452 373409 | 5000 68 740 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 43.0595 s Remaining CPU time: 136.941 s c =============================================================================== c | 77 | 952 1453 374259 | 5000 77 741 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 43.2594 s Remaining CPU time: 136.741 s c =============================================================================== c | 77 | 952 1454 375109 | 5000 77 741 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 43.4944 s Remaining CPU time: 136.506 s c =============================================================================== c | 91 | 952 1455 375959 | 5000 91 743 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 43.7224 s Remaining CPU time: 136.278 s c =============================================================================== c | 98 | 952 1456 376809 | 5000 98 743 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 43.9513 s Remaining CPU time: 136.049 s c =============================================================================== c | 105 | 952 1457 377659 | 5000 105 744 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 44.1603 s Remaining CPU time: 135.84 s c =============================================================================== c | 106 | 952 1458 378509 | 5000 106 744 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 44.3533 s Remaining CPU time: 135.647 s c =============================================================================== c | 106 | 952 1459 379359 | 5000 106 744 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 44.5522 s Remaining CPU time: 135.448 s c =============================================================================== c | 108 | 952 1460 380209 | 5000 108 744 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 44.7692 s Remaining CPU time: 135.231 s c =============================================================================== c | 112 | 952 1461 381059 | 5000 112 744 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 44.9502 s Remaining CPU time: 135.05 s c =============================================================================== c | 114 | 952 1462 381909 | 5000 114 744 | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 45.1181 s Remaining CPU time: 134.882 s c =============================================================================== c | 114 | 952 1463 382759 | 5000 114 744 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 45.2941 s Remaining CPU time: 134.706 s c =============================================================================== c | 115 | 952 1464 383609 | 5000 115 744 | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 45.4611 s Remaining CPU time: 134.539 s c =============================================================================== c | 115 | 952 1465 384459 | 5000 115 744 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 45.6381 s Remaining CPU time: 134.362 s c =============================================================================== c | 115 | 952 1466 385309 | 5000 115 744 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 45.817 s Remaining CPU time: 134.183 s c =============================================================================== c | 116 | 952 1467 386159 | 5000 116 744 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 45.988 s Remaining CPU time: 134.012 s c =============================================================================== c | 116 | 952 1468 387009 | 5000 116 744 | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 46.164 s Remaining CPU time: 133.836 s c =============================================================================== c | 117 | 952 1469 387859 | 5000 117 744 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 46.345 s Remaining CPU time: 133.655 s c =============================================================================== c | 118 | 952 1470 388709 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 46.5219 s Remaining CPU time: 133.478 s c =============================================================================== c | 118 | 952 1471 389559 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 46.6979 s Remaining CPU time: 133.302 s c =============================================================================== c | 118 | 952 1472 390409 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 46.8699 s Remaining CPU time: 133.13 s c =============================================================================== c | 118 | 952 1473 391259 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 47.0468 s Remaining CPU time: 132.953 s c =============================================================================== c | 118 | 952 1474 392109 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 47.2218 s Remaining CPU time: 132.778 s c =============================================================================== c | 118 | 952 1475 392959 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 47.3918 s Remaining CPU time: 132.608 s c =============================================================================== c | 118 | 952 1476 393809 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 47.5958 s Remaining CPU time: 132.404 s c =============================================================================== c | 118 | 952 1477 394659 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 47.7797 s Remaining CPU time: 132.22 s c =============================================================================== c | 118 | 952 1478 395509 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 47.9687 s Remaining CPU time: 132.031 s c =============================================================================== c | 121 | 952 1479 396359 | 5000 121 744 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 48.1507 s Remaining CPU time: 131.849 s c =============================================================================== c | 123 | 952 1480 397209 | 5000 123 744 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 48.3327 s Remaining CPU time: 131.667 s c =============================================================================== c | 123 | 952 1481 398059 | 5000 123 744 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 48.5096 s Remaining CPU time: 131.49 s c =============================================================================== c | 123 | 952 1482 398909 | 5000 123 744 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 48.6866 s Remaining CPU time: 131.313 s c =============================================================================== c | 123 | 952 1483 399759 | 5000 123 744 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 48.8646 s Remaining CPU time: 131.135 s c =============================================================================== c | 123 | 952 1484 400609 | 5000 123 744 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 49.1125 s Remaining CPU time: 130.887 s c =============================================================================== c | 140 | 952 1485 401459 | 5000 140 744 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 49.3085 s Remaining CPU time: 130.691 s c =============================================================================== c | 143 | 952 1486 402309 | 5000 143 744 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 49.5415 s Remaining CPU time: 130.459 s c =============================================================================== c | 156 | 952 1487 403159 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 49.7294 s Remaining CPU time: 130.271 s c =============================================================================== c | 156 | 952 1488 404009 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 49.9104 s Remaining CPU time: 130.09 s c =============================================================================== c | 156 | 952 1489 404859 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 50.0974 s Remaining CPU time: 129.903 s c =============================================================================== c | 156 | 952 1490 405709 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 50.2834 s Remaining CPU time: 129.717 s c =============================================================================== c | 156 | 952 1491 406559 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 50.4683 s Remaining CPU time: 129.532 s c =============================================================================== c | 156 | 952 1492 407409 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 50.6433 s Remaining CPU time: 129.357 s c =============================================================================== c | 156 | 952 1493 408259 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 50.8203 s Remaining CPU time: 129.18 s c =============================================================================== c | 156 | 952 1494 409109 | 5000 156 744 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 51.0132 s Remaining CPU time: 128.987 s c =============================================================================== c | 157 | 952 1495 409959 | 5000 157 744 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 51.2032 s Remaining CPU time: 128.797 s c =============================================================================== c | 159 | 952 1496 410809 | 5000 159 744 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 51.3862 s Remaining CPU time: 128.614 s c =============================================================================== c | 159 | 952 1497 411659 | 5000 159 744 | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 51.5752 s Remaining CPU time: 128.425 s c =============================================================================== c | 162 | 952 1498 412509 | 5000 162 744 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 51.7551 s Remaining CPU time: 128.245 s c =============================================================================== c | 162 | 952 1499 413359 | 5000 162 744 | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 51.9481 s Remaining CPU time: 128.052 s c =============================================================================== c | 166 | 952 1500 414209 | 5000 166 744 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 52.1361 s Remaining CPU time: 127.864 s c =============================================================================== c | 166 | 952 1501 415059 | 5000 166 744 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 52.332 s Remaining CPU time: 127.668 s c =============================================================================== c | 166 | 952 1502 415909 | 5000 166 744 | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 52.523 s Remaining CPU time: 127.477 s c =============================================================================== c | 167 | 952 1503 416759 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 52.719 s Remaining CPU time: 127.281 s c =============================================================================== c | 167 | 952 1504 417609 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 52.904 s Remaining CPU time: 127.096 s c =============================================================================== c | 167 | 952 1505 418459 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 53.0949 s Remaining CPU time: 126.905 s c =============================================================================== c | 167 | 952 1506 419309 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 53.2889 s Remaining CPU time: 126.711 s c =============================================================================== c | 167 | 952 1507 420159 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 53.4859 s Remaining CPU time: 126.514 s c =============================================================================== c | 167 | 952 1508 421009 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 53.6828 s Remaining CPU time: 126.317 s c =============================================================================== c | 167 | 952 1509 421859 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 53.8658 s Remaining CPU time: 126.134 s c =============================================================================== c | 167 | 952 1510 422709 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 54.0588 s Remaining CPU time: 125.941 s c =============================================================================== c | 167 | 952 1511 423559 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 54.2498 s Remaining CPU time: 125.75 s c =============================================================================== c | 167 | 952 1512 424409 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 54.4337 s Remaining CPU time: 125.566 s c =============================================================================== c | 167 | 952 1513 425259 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 54.6237 s Remaining CPU time: 125.376 s c =============================================================================== c | 167 | 952 1514 426109 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 54.8047 s Remaining CPU time: 125.195 s c =============================================================================== c | 167 | 952 1515 426959 | 5000 167 744 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 55.0096 s Remaining CPU time: 124.99 s c =============================================================================== c | 168 | 952 1516 427809 | 5000 168 744 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 55.2006 s Remaining CPU time: 124.799 s c =============================================================================== c | 169 | 952 1517 428659 | 5000 169 744 | 0.000 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 55.3906 s Remaining CPU time: 124.609 s c =============================================================================== c | 169 | 952 1518 429509 | 5000 169 744 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 55.5746 s Remaining CPU time: 124.425 s c =============================================================================== c | 169 | 952 1519 430359 | 5000 169 744 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 55.7595 s Remaining CPU time: 124.24 s c =============================================================================== c | 169 | 952 1520 431209 | 5000 169 744 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 55.9595 s Remaining CPU time: 124.041 s c =============================================================================== c | 172 | 952 1521 432059 | 5000 172 743 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 56.1475 s Remaining CPU time: 123.853 s c =============================================================================== c | 172 | 952 1522 432909 | 5000 172 743 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 56.3294 s Remaining CPU time: 123.671 s c =============================================================================== c | 172 | 952 1523 433759 | 5000 172 743 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 56.5194 s Remaining CPU time: 123.481 s c =============================================================================== c | 172 | 952 1524 434609 | 5000 172 743 | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 56.7174 s Remaining CPU time: 123.283 s c =============================================================================== c | 172 | 952 1525 435459 | 5000 172 743 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 56.9133 s Remaining CPU time: 123.087 s c =============================================================================== c | 173 | 952 1526 436309 | 5000 173 743 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 57.1133 s Remaining CPU time: 122.887 s c =============================================================================== c | 173 | 952 1527 437159 | 5000 173 743 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 57.3443 s Remaining CPU time: 122.656 s c =============================================================================== c | 177 | 952 1528 438009 | 5000 177 743 | 0.000 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 57.5922 s Remaining CPU time: 122.408 s c =============================================================================== c | 185 | 952 1529 438859 | 5000 185 743 | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 57.7952 s Remaining CPU time: 122.205 s c =============================================================================== c | 185 | 952 1530 439709 | 5000 185 743 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 57.9952 s Remaining CPU time: 122.005 s c =============================================================================== c | 186 | 952 1531 440559 | 5000 186 743 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 58.2022 s Remaining CPU time: 121.798 s c =============================================================================== c | 186 | 952 1532 441409 | 5000 186 743 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 58.3991 s Remaining CPU time: 121.601 s c =============================================================================== c | 187 | 952 1533 442259 | 5000 187 743 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 58.6001 s Remaining CPU time: 121.4 s c =============================================================================== c | 188 | 952 1534 443109 | 5000 188 743 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 58.7921 s Remaining CPU time: 121.208 s c =============================================================================== c | 188 | 952 1535 443959 | 5000 188 743 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 58.995 s Remaining CPU time: 121.005 s c =============================================================================== c | 188 | 952 1536 444809 | 5000 188 743 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 59.248 s Remaining CPU time: 120.752 s c =============================================================================== c | 191 | 952 1537 445659 | 5000 191 743 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 59.459 s Remaining CPU time: 120.541 s c =============================================================================== c | 192 | 952 1538 446509 | 5000 192 743 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 59.6599 s Remaining CPU time: 120.34 s c =============================================================================== c | 193 | 952 1539 447359 | 5000 193 742 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 59.8929 s Remaining CPU time: 120.107 s c =============================================================================== c | 196 | 952 1540 448209 | 5000 196 742 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 60.0859 s Remaining CPU time: 119.914 s c =============================================================================== c | 196 | 952 1541 449059 | 5000 196 742 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 60.2778 s Remaining CPU time: 119.722 s c =============================================================================== c | 196 | 952 1542 449909 | 5000 196 742 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 60.5228 s Remaining CPU time: 119.477 s c =============================================================================== c | 202 | 952 1543 450759 | 5000 202 742 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 60.7208 s Remaining CPU time: 119.279 s c =============================================================================== c | 202 | 952 1544 451609 | 5000 202 742 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 60.9217 s Remaining CPU time: 119.078 s c =============================================================================== c | 202 | 952 1545 452459 | 5000 202 742 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 61.1287 s Remaining CPU time: 118.871 s c =============================================================================== c | 207 | 952 1546 453309 | 5000 207 742 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 61.3377 s Remaining CPU time: 118.662 s c =============================================================================== c | 207 | 952 1547 454159 | 5000 207 742 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 61.5626 s Remaining CPU time: 118.437 s c =============================================================================== c | 211 | 952 1548 455009 | 5000 211 742 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 61.7936 s Remaining CPU time: 118.206 s c =============================================================================== c | 213 | 952 1549 455859 | 5000 213 742 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 62.1436 s Remaining CPU time: 117.856 s c =============================================================================== c | 254 | 952 1550 456709 | 5000 254 741 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 62.3385 s Remaining CPU time: 117.661 s c =============================================================================== c | 254 | 952 1551 457559 | 5000 254 741 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 62.5375 s Remaining CPU time: 117.463 s c =============================================================================== c | 254 | 952 1552 458409 | 5000 254 741 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 62.7535 s Remaining CPU time: 117.247 s c =============================================================================== c | 254 | 952 1553 459259 | 5000 254 741 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 62.9624 s Remaining CPU time: 117.038 s c =============================================================================== c | 254 | 952 1554 460109 | 5000 254 741 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 63.2374 s Remaining CPU time: 116.763 s c =============================================================================== c | 262 | 952 1555 460959 | 5000 262 740 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 63.4434 s Remaining CPU time: 116.557 s c =============================================================================== c | 262 | 952 1556 461809 | 5000 262 740 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 63.6573 s Remaining CPU time: 116.343 s c =============================================================================== c | 262 | 952 1557 462659 | 5000 262 740 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 63.8743 s Remaining CPU time: 116.126 s c =============================================================================== c | 262 | 952 1558 463509 | 5000 262 740 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 64.0873 s Remaining CPU time: 115.913 s c =============================================================================== c | 262 | 952 1559 464359 | 5000 262 740 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 64.2952 s Remaining CPU time: 115.705 s c =============================================================================== c | 262 | 952 1560 465209 | 5000 262 740 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 64.5542 s Remaining CPU time: 115.446 s c =============================================================================== c | 273 | 952 1561 466059 | 5000 273 740 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 64.7822 s Remaining CPU time: 115.218 s c =============================================================================== c | 274 | 952 1562 466909 | 5000 274 740 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 64.9901 s Remaining CPU time: 115.01 s c =============================================================================== c | 274 | 952 1563 467759 | 5000 274 740 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 65.2061 s Remaining CPU time: 114.794 s c =============================================================================== c | 274 | 952 1564 468609 | 5000 274 740 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 65.475 s Remaining CPU time: 114.525 s c =============================================================================== c | 284 | 952 1565 469459 | 5000 284 740 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 65.682 s Remaining CPU time: 114.318 s c =============================================================================== c | 284 | 952 1566 470309 | 5000 284 740 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 65.918 s Remaining CPU time: 114.082 s c =============================================================================== c | 285 | 952 1567 471159 | 5000 285 740 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 66.1439 s Remaining CPU time: 113.856 s c =============================================================================== c | 285 | 952 1568 472009 | 5000 285 740 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 66.3539 s Remaining CPU time: 113.646 s c =============================================================================== c | 285 | 952 1569 472859 | 5000 285 740 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 66.5739 s Remaining CPU time: 113.426 s c =============================================================================== c | 286 | 952 1570 473709 | 5000 286 740 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 66.7908 s Remaining CPU time: 113.209 s c =============================================================================== c | 286 | 952 1571 474559 | 5000 286 740 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 67.0168 s Remaining CPU time: 112.983 s c =============================================================================== c | 296 | 952 1572 475409 | 5000 296 739 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 67.2348 s Remaining CPU time: 112.765 s c =============================================================================== c | 297 | 952 1573 476259 | 5000 297 739 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 67.5127 s Remaining CPU time: 112.487 s c =============================================================================== c | 305 | 952 1574 477109 | 5000 305 739 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 67.7397 s Remaining CPU time: 112.26 s c =============================================================================== c | 305 | 952 1575 477959 | 5000 305 739 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 67.9637 s Remaining CPU time: 112.036 s c =============================================================================== c | 305 | 952 1576 478809 | 5000 305 739 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 68.2076 s Remaining CPU time: 111.792 s c =============================================================================== c | 309 | 952 1577 479659 | 5000 309 739 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 68.4326 s Remaining CPU time: 111.567 s c =============================================================================== c | 311 | 952 1578 480509 | 5000 311 739 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 68.6416 s Remaining CPU time: 111.358 s c =============================================================================== c | 311 | 952 1579 481359 | 5000 311 739 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 68.8495 s Remaining CPU time: 111.15 s c =============================================================================== c | 311 | 952 1580 482209 | 5000 311 739 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 69.0755 s Remaining CPU time: 110.925 s c =============================================================================== c | 311 | 952 1581 483059 | 5000 311 739 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 69.2935 s Remaining CPU time: 110.707 s c =============================================================================== c | 311 | 952 1582 483909 | 5000 311 739 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 69.5994 s Remaining CPU time: 110.401 s c =============================================================================== c | 323 | 952 1583 484759 | 5000 323 738 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 69.8184 s Remaining CPU time: 110.182 s c =============================================================================== c | 323 | 952 1584 485609 | 5000 323 738 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 70.0384 s Remaining CPU time: 109.962 s c =============================================================================== c | 323 | 952 1585 486459 | 5000 323 738 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 70.2743 s Remaining CPU time: 109.726 s c =============================================================================== c | 324 | 952 1586 487309 | 5000 324 738 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 70.5043 s Remaining CPU time: 109.496 s c =============================================================================== c | 327 | 952 1587 488159 | 5000 327 738 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 70.7442 s Remaining CPU time: 109.256 s c =============================================================================== c | 330 | 952 1588 489009 | 5000 330 738 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 70.9602 s Remaining CPU time: 109.04 s c =============================================================================== c | 330 | 952 1589 489859 | 5000 330 738 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 71.1902 s Remaining CPU time: 108.81 s c =============================================================================== c | 331 | 952 1590 490709 | 5000 331 738 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 71.4131 s Remaining CPU time: 108.587 s c =============================================================================== c | 331 | 952 1591 491559 | 5000 331 738 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 71.6441 s Remaining CPU time: 108.356 s c =============================================================================== c | 332 | 952 1592 492409 | 5000 332 738 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 72.071 s Remaining CPU time: 107.929 s c =============================================================================== c | 350 | 952 1593 493259 | 5000 350 737 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 72.466 s Remaining CPU time: 107.534 s c =============================================================================== c | 374 | 952 1594 494109 | 5000 374 736 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 72.6839 s Remaining CPU time: 107.316 s c =============================================================================== c | 374 | 952 1595 494959 | 5000 374 736 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 72.9069 s Remaining CPU time: 107.093 s c =============================================================================== c | 374 | 952 1596 495809 | 5000 374 736 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 73.1409 s Remaining CPU time: 106.859 s c =============================================================================== c | 375 | 952 1597 496659 | 5000 375 736 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 73.4268 s Remaining CPU time: 106.573 s c =============================================================================== c | 382 | 952 1598 497509 | 5000 382 736 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 73.6698 s Remaining CPU time: 106.33 s c =============================================================================== c | 389 | 952 1599 498359 | 5000 389 736 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 73.8998 s Remaining CPU time: 106.1 s c =============================================================================== c | 389 | 952 1600 499209 | 5000 389 736 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 74.1257 s Remaining CPU time: 105.874 s c =============================================================================== c | 391 | 952 1601 500059 | 5000 391 736 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 74.3677 s Remaining CPU time: 105.632 s c =============================================================================== c | 394 | 952 1602 500909 | 5000 394 736 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 74.6117 s Remaining CPU time: 105.388 s c =============================================================================== c | 397 | 952 1603 501759 | 5000 397 736 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 74.8436 s Remaining CPU time: 105.156 s c =============================================================================== c | 397 | 952 1604 502609 | 5000 397 736 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 75.0876 s Remaining CPU time: 104.912 s c =============================================================================== c | 398 | 952 1605 503459 | 5000 398 735 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 75.3136 s Remaining CPU time: 104.686 s c =============================================================================== c | 399 | 952 1606 504309 | 5000 399 735 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 75.5805 s Remaining CPU time: 104.419 s c =============================================================================== c | 408 | 952 1607 505159 | 5000 408 735 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 75.9005 s Remaining CPU time: 104.1 s c =============================================================================== c | 418 | 952 1608 506009 | 5000 418 735 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 76.1394 s Remaining CPU time: 103.861 s c =============================================================================== c | 420 | 952 1609 506859 | 5000 420 735 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 76.3714 s Remaining CPU time: 103.629 s c =============================================================================== c | 421 | 952 1610 507709 | 5000 421 735 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 76.6064 s Remaining CPU time: 103.394 s c =============================================================================== c | 421 | 952 1611 508559 | 5000 421 735 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 76.8613 s Remaining CPU time: 103.139 s c =============================================================================== c | 428 | 952 1612 509409 | 5000 428 735 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 77.1013 s Remaining CPU time: 102.899 s c =============================================================================== c | 429 | 952 1613 510259 | 5000 429 735 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 77.3362 s Remaining CPU time: 102.664 s c =============================================================================== c | 429 | 952 1614 511109 | 5000 429 735 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 77.5702 s Remaining CPU time: 102.43 s c =============================================================================== c | 430 | 952 1615 511959 | 5000 430 734 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 77.8012 s Remaining CPU time: 102.199 s c =============================================================================== c | 431 | 952 1616 512809 | 5000 431 734 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 78.0431 s Remaining CPU time: 101.957 s c =============================================================================== c | 432 | 952 1617 513659 | 5000 432 734 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 78.3031 s Remaining CPU time: 101.697 s c =============================================================================== c | 432 | 952 1618 514509 | 5000 432 734 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 78.5531 s Remaining CPU time: 101.447 s c =============================================================================== c | 434 | 952 1619 515359 | 5000 434 734 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 78.78 s Remaining CPU time: 101.22 s c =============================================================================== c | 434 | 952 1620 516209 | 5000 434 734 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 79.006 s Remaining CPU time: 100.994 s c =============================================================================== c | 444 | 952 1621 517059 | 5000 444 734 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 79.25 s Remaining CPU time: 100.75 s c =============================================================================== c | 446 | 952 1622 517909 | 5000 446 734 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 79.4949 s Remaining CPU time: 100.505 s c =============================================================================== c | 446 | 952 1623 518759 | 5000 446 734 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 79.7339 s Remaining CPU time: 100.266 s c =============================================================================== c | 446 | 952 1624 519609 | 5000 446 734 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 79.9928 s Remaining CPU time: 100.007 s c =============================================================================== c | 447 | 952 1625 520459 | 5000 447 734 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 80.2338 s Remaining CPU time: 99.7662 s c =============================================================================== c | 447 | 952 1626 521309 | 5000 447 734 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 80.5178 s Remaining CPU time: 99.4822 s c =============================================================================== c | 451 | 952 1627 522159 | 5000 451 734 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 80.7627 s Remaining CPU time: 99.2373 s c =============================================================================== c | 451 | 952 1628 523009 | 5000 451 734 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 81.0127 s Remaining CPU time: 98.9873 s c =============================================================================== c | 454 | 952 1629 523859 | 5000 454 734 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 81.2466 s Remaining CPU time: 98.7534 s c =============================================================================== c | 454 | 952 1630 524709 | 5000 454 734 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 81.4866 s Remaining CPU time: 98.5134 s c =============================================================================== c | 454 | 952 1631 525559 | 5000 454 734 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 81.7276 s Remaining CPU time: 98.2724 s c =============================================================================== c | 454 | 952 1632 526409 | 5000 454 734 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 81.9665 s Remaining CPU time: 98.0335 s c =============================================================================== c | 454 | 952 1633 527259 | 5000 454 734 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 82.2515 s Remaining CPU time: 97.7485 s c =============================================================================== c | 457 | 952 1634 528109 | 5000 457 734 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 82.4905 s Remaining CPU time: 97.5095 s c =============================================================================== c | 458 | 952 1635 528959 | 5000 458 734 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 82.7224 s Remaining CPU time: 97.2776 s c =============================================================================== c | 458 | 952 1636 529809 | 5000 458 734 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 82.9754 s Remaining CPU time: 97.0246 s c =============================================================================== c | 459 | 952 1637 530659 | 5000 459 734 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 83.2173 s Remaining CPU time: 96.7827 s c =============================================================================== c | 459 | 952 1638 531509 | 5000 459 734 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 83.4943 s Remaining CPU time: 96.5057 s c =============================================================================== c | 466 | 952 1639 532359 | 5000 466 733 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 83.7463 s Remaining CPU time: 96.2537 s c =============================================================================== c | 467 | 952 1640 533209 | 5000 467 733 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 84.0342 s Remaining CPU time: 95.9658 s c =============================================================================== c | 474 | 952 1641 534059 | 5000 474 733 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 84.2842 s Remaining CPU time: 95.7158 s c =============================================================================== c | 480 | 952 1642 534909 | 5000 480 733 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 84.5871 s Remaining CPU time: 95.4129 s c =============================================================================== c | 494 | 952 1643 535759 | 5000 494 732 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 84.8421 s Remaining CPU time: 95.1579 s c =============================================================================== c | 497 | 952 1644 536609 | 5000 497 732 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 85.1331 s Remaining CPU time: 94.8669 s c =============================================================================== c | 501 | 952 1645 537459 | 5000 501 732 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 85.382 s Remaining CPU time: 94.618 s c =============================================================================== c | 507 | 952 1646 538309 | 5000 507 732 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 85.633 s Remaining CPU time: 94.367 s c =============================================================================== c | 508 | 952 1647 539159 | 5000 508 732 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 85.8959 s Remaining CPU time: 94.1041 s c =============================================================================== c | 509 | 952 1648 540009 | 5000 509 732 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 86.1689 s Remaining CPU time: 93.8311 s c =============================================================================== c | 511 | 952 1649 540859 | 5000 511 732 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 86.4079 s Remaining CPU time: 93.5921 s c =============================================================================== c | 512 | 952 1650 541709 | 5000 512 732 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 86.6738 s Remaining CPU time: 93.3262 s c =============================================================================== c | 513 | 952 1651 542559 | 5000 513 732 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 86.9478 s Remaining CPU time: 93.0522 s c =============================================================================== c | 515 | 952 1652 543409 | 5000 515 732 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 87.1807 s Remaining CPU time: 92.8193 s c =============================================================================== c | 515 | 952 1653 544259 | 5000 515 732 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 87.4267 s Remaining CPU time: 92.5733 s c =============================================================================== c | 515 | 952 1654 545109 | 5000 515 732 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 87.6877 s Remaining CPU time: 92.3123 s c =============================================================================== c | 517 | 952 1655 545959 | 5000 517 732 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 87.9366 s Remaining CPU time: 92.0634 s c =============================================================================== c | 518 | 952 1656 546809 | 5000 518 732 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 88.2086 s Remaining CPU time: 91.7914 s c =============================================================================== c | 520 | 952 1657 547659 | 5000 520 732 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 88.5045 s Remaining CPU time: 91.4955 s c =============================================================================== c | 525 | 952 1658 548509 | 5000 525 731 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 88.8105 s Remaining CPU time: 91.1895 s c =============================================================================== c | 528 | 952 1659 549359 | 5000 528 731 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 89.0695 s Remaining CPU time: 90.9305 s c =============================================================================== c | 533 | 952 1660 550209 | 5000 533 731 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 89.3284 s Remaining CPU time: 90.6716 s c =============================================================================== c | 535 | 952 1661 551059 | 5000 535 731 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 89.5894 s Remaining CPU time: 90.4106 s c =============================================================================== c | 536 | 952 1662 551909 | 5000 536 731 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 89.8433 s Remaining CPU time: 90.1567 s c =============================================================================== c | 536 | 952 1663 552759 | 5000 536 731 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 90.0873 s Remaining CPU time: 89.9127 s c =============================================================================== c | 536 | 952 1664 553609 | 5000 536 731 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 90.3533 s Remaining CPU time: 89.6467 s c =============================================================================== c | 536 | 952 1665 554459 | 5000 536 731 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 90.6202 s Remaining CPU time: 89.3798 s c =============================================================================== c | 537 | 952 1666 555309 | 5000 537 731 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 90.8802 s Remaining CPU time: 89.1198 s c =============================================================================== c | 537 | 952 1667 556159 | 5000 537 731 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 91.1301 s Remaining CPU time: 88.8699 s c =============================================================================== c | 537 | 952 1668 557009 | 5000 537 731 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 91.6251 s Remaining CPU time: 88.3749 s c =============================================================================== c | 558 | 952 1669 557859 | 5000 558 730 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 91.886 s Remaining CPU time: 88.114 s c =============================================================================== c | 559 | 952 1670 558709 | 5000 559 730 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 92.154 s Remaining CPU time: 87.846 s c =============================================================================== c | 559 | 952 1671 559559 | 5000 559 730 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 92.6459 s Remaining CPU time: 87.3541 s c =============================================================================== c | 617 | 952 1672 560409 | 5000 617 729 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 92.8959 s Remaining CPU time: 87.1041 s c =============================================================================== c | 619 | 952 1673 561259 | 5000 619 729 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 93.2188 s Remaining CPU time: 86.7812 s c =============================================================================== c | 627 | 952 1674 562109 | 5000 627 729 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 93.4858 s Remaining CPU time: 86.5142 s c =============================================================================== c | 634 | 952 1675 562959 | 5000 634 728 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 93.8317 s Remaining CPU time: 86.1683 s c =============================================================================== c | 645 | 952 1676 563809 | 5000 645 728 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 94.0657 s Remaining CPU time: 85.9343 s c =============================================================================== c | 645 | 952 1677 564659 | 5000 645 728 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 94.3387 s Remaining CPU time: 85.6613 s c =============================================================================== c | 647 | 952 1678 565509 | 5000 647 728 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 94.5826 s Remaining CPU time: 85.4174 s c =============================================================================== c | 647 | 952 1679 566359 | 5000 647 728 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 94.8376 s Remaining CPU time: 85.1624 s c =============================================================================== c | 647 | 952 1680 567209 | 5000 647 728 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 95.0935 s Remaining CPU time: 84.9065 s c =============================================================================== c | 647 | 952 1681 568059 | 5000 647 728 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 95.3765 s Remaining CPU time: 84.6235 s c =============================================================================== c | 652 | 952 1682 568909 | 5000 652 728 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 95.6235 s Remaining CPU time: 84.3765 s c =============================================================================== c | 652 | 952 1683 569759 | 5000 652 728 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 95.8854 s Remaining CPU time: 84.1146 s c =============================================================================== c | 654 | 952 1684 570609 | 5000 654 728 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 96.1594 s Remaining CPU time: 83.8406 s c =============================================================================== c | 658 | 952 1685 571459 | 5000 658 728 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 96.5083 s Remaining CPU time: 83.4917 s c =============================================================================== c | 666 | 952 1686 572309 | 5000 666 728 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 96.9183 s Remaining CPU time: 83.0817 s c =============================================================================== c | 710 | 952 1687 573159 | 5000 710 727 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 97.2242 s Remaining CPU time: 82.7758 s c =============================================================================== c | 715 | 952 1688 574009 | 5000 715 726 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 97.4902 s Remaining CPU time: 82.5098 s c =============================================================================== c | 721 | 952 1689 574859 | 5000 721 726 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 97.9431 s Remaining CPU time: 82.0569 s c =============================================================================== c | 756 | 952 1690 575709 | 5000 756 726 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 98.2731 s Remaining CPU time: 81.7269 s c =============================================================================== c | 764 | 952 1691 576559 | 5000 764 725 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 98.628 s Remaining CPU time: 81.372 s c =============================================================================== c | 783 | 952 1692 577409 | 5000 783 725 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 98.911 s Remaining CPU time: 81.089 s c =============================================================================== c | 785 | 952 1693 578259 | 5000 785 725 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 99.1769 s Remaining CPU time: 80.8231 s c =============================================================================== c | 786 | 952 1694 579109 | 5000 786 725 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 99.4649 s Remaining CPU time: 80.5351 s c =============================================================================== c | 792 | 952 1695 579959 | 5000 792 725 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 99.7328 s Remaining CPU time: 80.2672 s c =============================================================================== c | 794 | 952 1696 580809 | 5000 794 725 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 99.9888 s Remaining CPU time: 80.0112 s c =============================================================================== c | 795 | 952 1697 581659 | 5000 795 725 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 100.246 s Remaining CPU time: 79.7542 s c =============================================================================== c | 796 | 952 1698 582509 | 5000 796 725 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 100.646 s Remaining CPU time: 79.3543 s c =============================================================================== c | 827 | 952 1699 583359 | 5000 827 724 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 100.993 s Remaining CPU time: 79.0074 s c =============================================================================== c | 848 | 952 1700 584209 | 5000 848 724 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 101.261 s Remaining CPU time: 78.7394 s c =============================================================================== c | 850 | 952 1701 585059 | 5000 850 724 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 101.61 s Remaining CPU time: 78.3904 s c =============================================================================== c | 873 | 952 1702 585909 | 5000 873 724 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 101.865 s Remaining CPU time: 78.1355 s c =============================================================================== c | 876 | 952 1703 586759 | 5000 876 723 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 102.139 s Remaining CPU time: 77.8605 s c =============================================================================== c | 878 | 952 1704 587609 | 5000 878 723 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 102.415 s Remaining CPU time: 77.5846 s c =============================================================================== c | 879 | 952 1705 588459 | 5000 879 723 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 102.708 s Remaining CPU time: 77.2916 s c =============================================================================== c | 884 | 952 1706 589309 | 5000 884 723 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 102.976 s Remaining CPU time: 77.0237 s c =============================================================================== c | 886 | 952 1707 590159 | 5000 886 723 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 103.266 s Remaining CPU time: 76.7337 s c =============================================================================== c | 889 | 952 1708 591009 | 5000 889 723 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 103.531 s Remaining CPU time: 76.4687 s c =============================================================================== c | 889 | 952 1709 591859 | 5000 889 723 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 103.781 s Remaining CPU time: 76.2188 s c =============================================================================== c | 889 | 952 1710 592709 | 5000 889 723 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 104.037 s Remaining CPU time: 75.9628 s c =============================================================================== c | 889 | 952 1711 593559 | 5000 889 723 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 104.304 s Remaining CPU time: 75.6959 s c =============================================================================== c | 890 | 952 1712 594409 | 5000 890 723 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 104.571 s Remaining CPU time: 75.4289 s c =============================================================================== c | 890 | 952 1713 595259 | 5000 890 723 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 104.842 s Remaining CPU time: 75.1579 s c =============================================================================== c | 893 | 952 1714 596109 | 5000 893 723 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 105.121 s Remaining CPU time: 74.879 s c =============================================================================== c | 894 | 952 1715 596959 | 5000 894 723 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 105.497 s Remaining CPU time: 74.503 s c =============================================================================== c | 914 | 952 1716 597809 | 5000 914 723 | 0.000 % | c | 1014 | 952 1716 597809 | 5500 1014 721 | 4.800 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 106.423 s Remaining CPU time: 73.5772 s c =============================================================================== c | 1014 | 952 1717 598659 | 5000 1014 721 | 4.800 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 106.932 s Remaining CPU time: 73.0683 s c =============================================================================== c | 1064 | 952 1718 599509 | 5000 1064 720 | 4.800 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 107.436 s Remaining CPU time: 72.5643 s c =============================================================================== c | 1107 | 952 1719 600359 | 5000 1107 720 | 4.800 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 108.006 s Remaining CPU time: 71.9944 s c =============================================================================== c | 1155 | 952 1720 601209 | 5000 1155 719 | 4.800 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 108.311 s Remaining CPU time: 71.6895 s c =============================================================================== c | 1165 | 952 1721 602059 | 5000 1165 719 | 4.800 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 108.726 s Remaining CPU time: 71.2735 s c =============================================================================== c | 1186 | 952 1722 602909 | 5000 1186 718 | 4.800 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 109.036 s Remaining CPU time: 70.9636 s c =============================================================================== c | 1196 | 952 1723 603759 | 5000 1196 718 | 4.800 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 109.564 s Remaining CPU time: 70.4357 s c =============================================================================== c | 1239 | 952 1724 604609 | 5000 1239 717 | 4.800 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 109.873 s Remaining CPU time: 70.1267 s c =============================================================================== c | 1246 | 952 1725 605459 | 5000 1246 717 | 4.800 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 110.158 s Remaining CPU time: 69.8417 s c =============================================================================== c | 1248 | 952 1726 606309 | 5000 1248 717 | 4.800 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 110.516 s Remaining CPU time: 69.4838 s c =============================================================================== c | 1259 | 952 1727 607159 | 5000 1259 717 | 4.800 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 111.088 s Remaining CPU time: 68.9119 s c =============================================================================== c | 1318 | 952 1728 608009 | 5000 1318 716 | 4.800 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 111.384 s Remaining CPU time: 68.6159 s c =============================================================================== c | 1324 | 952 1729 608859 | 5000 1324 716 | 4.800 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 111.655 s Remaining CPU time: 68.345 s c =============================================================================== c | 1325 | 952 1730 609709 | 5000 1325 716 | 4.800 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 112.198 s Remaining CPU time: 67.8021 s c =============================================================================== c | 1368 | 952 1731 610559 | 5000 1368 716 | 4.800 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 112.632 s Remaining CPU time: 67.3681 s c =============================================================================== c | 1394 | 952 1732 611409 | 5000 1394 716 | 4.800 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 112.917 s Remaining CPU time: 67.0832 s c =============================================================================== c | 1396 | 952 1733 612259 | 5000 1396 716 | 4.800 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 113.474 s Remaining CPU time: 66.5263 s c =============================================================================== c | 1418 | 952 1734 613109 | 5000 1418 715 | 4.800 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 113.855 s Remaining CPU time: 66.1453 s c =============================================================================== c | 1429 | 952 1735 613959 | 5000 1429 715 | 4.800 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 114.329 s Remaining CPU time: 65.6714 s c =============================================================================== c | 1457 | 952 1736 614809 | 5000 1457 715 | 4.800 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 114.78 s Remaining CPU time: 65.2204 s c =============================================================================== c | 1483 | 952 1737 615659 | 5000 1483 715 | 4.800 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 115.163 s Remaining CPU time: 64.8365 s c =============================================================================== c | 1492 | 952 1738 616509 | 5000 1492 715 | 4.800 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 115.481 s Remaining CPU time: 64.5186 s c =============================================================================== c | 1507 | 952 1739 617359 | 5000 1507 715 | 4.800 % | c | 1607 | 952 1739 617359 | 5500 1607 714 | 4.800 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 117.295 s Remaining CPU time: 62.7048 s c =============================================================================== c | 1705 | 952 1740 618209 | 5000 1705 713 | 4.800 % | c | 1805 | 952 1740 618209 | 5500 1805 712 | 4.800 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 118.452 s Remaining CPU time: 61.548 s c =============================================================================== c | 1832 | 952 1741 619059 | 5000 1832 712 | 4.800 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 118.761 s Remaining CPU time: 61.2391 s c =============================================================================== c | 1836 | 952 1742 619909 | 5000 1836 712 | 4.800 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 119.296 s Remaining CPU time: 60.7041 s c =============================================================================== c | 1853 | 952 1743 620759 | 5000 1853 712 | 4.800 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 119.657 s Remaining CPU time: 60.3432 s c =============================================================================== c | 1857 | 952 1744 621609 | 5000 1857 712 | 4.800 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 120.16 s Remaining CPU time: 59.8403 s c =============================================================================== c | 1880 | 952 1745 622459 | 5000 1880 711 | 4.800 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 120.567 s Remaining CPU time: 59.4333 s c =============================================================================== c | 1886 | 952 1746 623309 | 5000 1886 711 | 4.800 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 121.102 s Remaining CPU time: 58.8984 s c =============================================================================== c | 1937 | 952 1747 624159 | 5000 1937 711 | 4.800 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 121.805 s Remaining CPU time: 58.1945 s c =============================================================================== c | 2018 | 952 1748 625009 | 5000 2018 710 | 4.800 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 122.237 s Remaining CPU time: 57.7626 s c =============================================================================== c | 2042 | 952 1749 625859 | 5000 2042 710 | 4.800 % | c | 2142 | 952 1749 625859 | 5500 2142 710 | 4.800 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 124.167 s Remaining CPU time: 55.8329 s c =============================================================================== c | 2221 | 952 1750 626709 | 5000 2221 709 | 4.800 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 124.632 s Remaining CPU time: 55.3679 s c =============================================================================== c | 2243 | 952 1751 627559 | 5000 2243 709 | 4.800 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 125.144 s Remaining CPU time: 54.856 s c =============================================================================== c | 2282 | 952 1752 628409 | 5000 2282 709 | 4.800 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 125.524 s Remaining CPU time: 54.4761 s c =============================================================================== c | 2292 | 952 1753 629259 | 5000 2292 709 | 4.800 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 125.786 s Remaining CPU time: 54.2141 s c =============================================================================== c | 2292 | 952 1754 630109 | 5000 2292 709 | 4.800 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 126.19 s Remaining CPU time: 53.8102 s c =============================================================================== c | 2311 | 952 1755 630959 | 5000 2311 709 | 4.800 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 126.896 s Remaining CPU time: 53.1043 s c =============================================================================== c | 2361 | 952 1756 631809 | 5000 2361 708 | 4.800 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 127.344 s Remaining CPU time: 52.6564 s c =============================================================================== c | 2386 | 952 1757 632659 | 5000 2386 708 | 4.800 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 128.167 s Remaining CPU time: 51.8335 s c =============================================================================== c | 2446 | 952 1758 633509 | 5000 2446 708 | 4.800 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 128.742 s Remaining CPU time: 51.2576 s c =============================================================================== c | 2480 | 952 1759 634359 | 5000 2480 708 | 4.800 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 129.227 s Remaining CPU time: 50.7726 s c =============================================================================== c | 2514 | 952 1760 635209 | 5000 2514 708 | 4.800 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 130.099 s Remaining CPU time: 49.9008 s c =============================================================================== c | 2597 | 952 1761 636059 | 5000 2597 707 | 4.800 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 130.628 s Remaining CPU time: 49.3719 s c =============================================================================== c | 2631 | 952 1762 636909 | 5000 2631 707 | 4.800 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 130.93 s Remaining CPU time: 49.0699 s c =============================================================================== c | 2649 | 952 1763 637759 | 5000 2649 707 | 4.800 % | c | 2749 | 952 1763 637759 | 5500 2749 706 | 4.800 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 132.257 s Remaining CPU time: 47.7431 s c =============================================================================== c | 2784 | 952 1764 638609 | 5000 2784 706 | 4.800 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 132.564 s Remaining CPU time: 47.4362 s c =============================================================================== c | 2792 | 952 1765 639459 | 5000 2792 706 | 4.800 % | c | 2893 | 952 1765 639459 | 5500 2893 706 | 4.800 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 133.991 s Remaining CPU time: 46.0094 s c =============================================================================== c | 2964 | 952 1766 640309 | 5000 2964 706 | 4.800 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 134.437 s Remaining CPU time: 45.5634 s c =============================================================================== c | 2984 | 952 1767 641159 | 5000 2984 706 | 4.800 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 134.919 s Remaining CPU time: 45.0805 s c =============================================================================== c | 3010 | 952 1768 642009 | 5000 3010 705 | 4.800 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 135.224 s Remaining CPU time: 44.7756 s c =============================================================================== c | 3014 | 952 1769 642859 | 5000 3014 705 | 4.800 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 135.776 s Remaining CPU time: 44.2236 s c =============================================================================== c | 3038 | 952 1770 643709 | 5000 3038 705 | 4.800 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 136.414 s Remaining CPU time: 43.5857 s c =============================================================================== c | 3079 | 952 1771 644559 | 5000 3079 705 | 4.800 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 136.841 s Remaining CPU time: 43.1588 s c =============================================================================== c | 3108 | 952 1772 645409 | 5000 3108 705 | 4.800 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 137.359 s Remaining CPU time: 42.6409 s c =============================================================================== c | 3130 | 952 1773 646259 | 5000 3130 705 | 4.800 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 137.655 s Remaining CPU time: 42.3449 s c =============================================================================== c | 3130 | 952 1774 647109 | 5000 3130 705 | 4.800 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 138.174 s Remaining CPU time: 41.826 s c =============================================================================== c | 3161 | 952 1775 647959 | 5000 3161 705 | 4.800 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 138.552 s Remaining CPU time: 41.4481 s c =============================================================================== c | 3168 | 952 1776 648809 | 5000 3168 705 | 4.800 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 138.887 s Remaining CPU time: 41.1131 s c =============================================================================== c | 3177 | 952 1777 649659 | 5000 3177 705 | 4.800 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 139.158 s Remaining CPU time: 40.8422 s c =============================================================================== c | 3177 | 952 1778 650509 | 5000 3177 705 | 4.800 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 139.448 s Remaining CPU time: 40.5522 s c =============================================================================== c | 3179 | 952 1779 651359 | 5000 3179 705 | 4.800 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 139.744 s Remaining CPU time: 40.2562 s c =============================================================================== c | 3181 | 952 1780 652209 | 5000 3181 705 | 4.800 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 140.219 s Remaining CPU time: 39.7813 s c =============================================================================== c | 3187 | 952 1781 653059 | 5000 3187 705 | 4.800 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 140.543 s Remaining CPU time: 39.4574 s c =============================================================================== c | 3189 | 952 1782 653909 | 5000 3189 705 | 4.800 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 141.241 s Remaining CPU time: 38.7595 s c =============================================================================== c | 3276 | 952 1783 654759 | 5000 3276 704 | 4.800 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 142.17 s Remaining CPU time: 37.8296 s c =============================================================================== c | 3315 | 952 1784 655609 | 5000 3315 704 | 4.800 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 143.011 s Remaining CPU time: 36.9887 s c =============================================================================== c | 3375 | 952 1785 656459 | 5000 3375 704 | 4.800 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 143.49 s Remaining CPU time: 36.5098 s c =============================================================================== c | 3405 | 952 1786 657309 | 5000 3405 704 | 4.800 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 143.824 s Remaining CPU time: 36.1759 s c =============================================================================== c | 3413 | 952 1787 658159 | 5000 3413 704 | 4.800 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 144.242 s Remaining CPU time: 35.7579 s c =============================================================================== c | 3438 | 952 1788 659009 | 5000 3438 704 | 4.800 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 144.722 s Remaining CPU time: 35.278 s c =============================================================================== c | 3459 | 952 1789 659859 | 5000 3459 704 | 4.800 % | c | 3559 | 952 1789 659859 | 5500 3559 703 | 4.800 % | c | 3710 | 952 1789 659859 | 6050 3710 703 | 4.800 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 147.258 s Remaining CPU time: 32.7424 s c =============================================================================== c | 3721 | 952 1790 660709 | 5000 3721 703 | 4.800 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 147.798 s Remaining CPU time: 32.2025 s c =============================================================================== c | 3741 | 952 1791 661559 | 5000 3741 703 | 4.800 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 148.121 s Remaining CPU time: 31.8785 s c =============================================================================== c | 3742 | 952 1792 662409 | 5000 3742 703 | 4.800 % | c | 3842 | 952 1792 662409 | 5500 3842 702 | 4.800 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 149.656 s Remaining CPU time: 30.3438 s c =============================================================================== c | 3864 | 952 1793 663259 | 5000 3864 702 | 4.800 % | c | 3964 | 952 1793 663259 | 5500 3964 702 | 4.800 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 151.126 s Remaining CPU time: 28.874 s c =============================================================================== c | 4010 | 952 1794 664109 | 5000 4010 702 | 4.800 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 152.021 s Remaining CPU time: 27.9791 s c =============================================================================== c | 4064 | 952 1795 664959 | 5000 4064 702 | 4.800 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 152.596 s Remaining CPU time: 27.4042 s c =============================================================================== c | 4095 | 952 1796 665809 | 5000 4095 701 | 4.800 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 152.991 s Remaining CPU time: 27.0093 s c =============================================================================== c | 4099 | 952 1797 666659 | 5000 4099 701 | 4.800 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 153.519 s Remaining CPU time: 26.4813 s c =============================================================================== c | 4123 | 952 1798 667509 | 5000 4123 701 | 4.800 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 153.971 s Remaining CPU time: 26.0294 s c =============================================================================== c | 4128 | 952 1799 668359 | 5000 4128 701 | 4.800 % | c | 4228 | 952 1799 668359 | 5500 4228 701 | 4.800 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 156.457 s Remaining CPU time: 23.5428 s c =============================================================================== c | 4351 | 952 1800 669209 | 5000 4351 701 | 4.800 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 157.282 s Remaining CPU time: 22.7179 s c =============================================================================== c | 4408 | 952 1801 670059 | 5000 4408 700 | 4.800 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 157.906 s Remaining CPU time: 22.094 s c =============================================================================== c | 4441 | 952 1802 670909 | 5000 4441 700 | 4.800 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 159.153 s Remaining CPU time: 20.8472 s c =============================================================================== c | 4540 | 952 1803 671759 | 5000 4540 700 | 4.800 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 159.638 s Remaining CPU time: 20.3623 s c =============================================================================== c | 4553 | 952 1804 672609 | 5000 4553 700 | 4.800 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 160.472 s Remaining CPU time: 19.5284 s c =============================================================================== c | 4600 | 952 1805 673459 | 5000 4600 700 | 4.800 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 161.152 s Remaining CPU time: 18.8485 s c =============================================================================== c | 4678 | 952 1806 674309 | 5000 4678 700 | 4.800 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 162.072 s Remaining CPU time: 17.9276 s c =============================================================================== c | 4763 | 952 1807 675159 | 5000 4763 699 | 4.800 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 162.642 s Remaining CPU time: 17.3577 s c =============================================================================== c | 4799 | 952 1808 676009 | 5000 4799 699 | 4.800 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 163.499 s Remaining CPU time: 16.5009 s c =============================================================================== c | 4892 | 952 1809 676859 | 5000 4892 699 | 4.800 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 163.992 s Remaining CPU time: 16.0079 s c =============================================================================== c | 4914 | 952 1810 677709 | 5000 4914 699 | 4.800 % | c | 5015 | 952 1810 677709 | 5500 5015 698 | 4.800 % | c | 5165 | 952 1810 677709 | 6050 5165 698 | 4.800 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 167.265 s Remaining CPU time: 12.7354 s c =============================================================================== c | 5321 | 952 1811 678559 | 5000 5321 697 | 4.800 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 167.866 s Remaining CPU time: 12.1335 s c =============================================================================== c | 5367 | 952 1812 679409 | 5000 2707 687 | 4.800 % | c | 5468 | 952 1812 679409 | 5500 2808 687 | 4.800 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 169.209 s Remaining CPU time: 10.7907 s c =============================================================================== c | 5512 | 952 1813 680259 | 5000 2852 687 | 4.800 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 169.877 s Remaining CPU time: 10.1228 s c =============================================================================== c | 5546 | 952 1814 681109 | 5000 2886 687 | 4.800 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 170.522 s Remaining CPU time: 9.47792 s c =============================================================================== c | 5598 | 952 1815 681959 | 5000 2938 687 | 4.800 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 171.162 s Remaining CPU time: 8.83802 s c =============================================================================== c | 5643 | 952 1816 682809 | 5000 2983 686 | 4.800 % | c | 5743 | 952 1816 682809 | 5500 3083 686 | 4.800 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 172.646 s Remaining CPU time: 7.35425 s c =============================================================================== c | 5779 | 952 1817 683659 | 5000 3119 686 | 4.800 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 173.189 s Remaining CPU time: 6.81133 s c =============================================================================== c | 5823 | 952 1818 684509 | 5000 3163 686 | 4.800 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 173.585 s Remaining CPU time: 6.41539 s c =============================================================================== c | 5835 | 952 1819 685359 | 5000 3175 686 | 4.800 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 173.917 s Remaining CPU time: 6.08344 s c =============================================================================== c | 5845 | 952 1820 686209 | 5000 3185 686 | 4.800 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 174.276 s Remaining CPU time: 5.72449 s c =============================================================================== c | 5848 | 952 1821 687059 | 5000 3188 686 | 4.800 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 174.925 s Remaining CPU time: 5.07459 s c =============================================================================== c | 5895 | 952 1822 687909 | 5000 3235 686 | 4.800 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 175.342 s Remaining CPU time: 4.65766 s c =============================================================================== c | 5905 | 952 1823 688759 | 5000 3245 686 | 4.800 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 176.669 s Remaining CPU time: 3.33086 s c =============================================================================== c | 6004 | 952 1824 689609 | 5000 3344 686 | 4.800 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 176.975 s Remaining CPU time: 3.0249 s c =============================================================================== c | 6004 | 952 1825 690459 | 5000 3344 686 | 4.800 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 177.387 s Remaining CPU time: 2.61297 s c =============================================================================== c | 6026 | 952 1826 691309 | 5000 3366 686 | 4.800 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 177.86 s Remaining CPU time: 2.14004 s c =============================================================================== c | 6053 | 952 1827 692159 | 5000 3393 686 | 4.800 % | c | 6155 | 952 1827 692159 | 5500 3495 685 | 4.800 % | c There are 48 assigned variables. 10 in cost function.