c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1123 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1038 | c | Number Clauses: 1122 | 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 | 1010 1150 4744 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1010 1151 5503 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1010 1152 6262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1010 1153 7021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1010 1154 7780 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1010 1155 8539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1010 1156 9298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1010 1157 10057 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1010 1158 10816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1010 1159 11575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1010 1160 12334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1010 1161 13093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1010 1162 13852 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1010 1163 14611 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1010 1164 15370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1010 1165 16129 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1010 1166 16888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1010 1167 17647 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1010 1168 18406 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1010 1169 19165 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1010 1170 19924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1010 1171 20683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1010 1172 21442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1010 1173 22201 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1010 1174 22960 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1010 1175 23719 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1010 1176 24478 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 1010 1177 25237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1010 1178 25996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 1010 1179 26755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 1010 1180 27514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1010 1181 28273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 1010 1182 29032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1010 1183 29791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 1010 1184 30550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1010 1185 31309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 1010 1186 32068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 0 | 1010 1187 32827 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 1010 1188 33586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 1010 1189 34345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 1010 1190 35104 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 1010 1191 35863 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 1010 1192 36622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 1010 1193 37381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 1010 1194 38140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 1010 1195 38899 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 1010 1196 39658 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 1010 1197 40417 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 1010 1198 41176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 1010 1199 41935 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 0 | 1010 1200 42694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 0 | 1010 1201 43453 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 1010 1202 44212 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 1010 1203 44971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 1010 1204 45730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 1010 1205 46489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 1010 1206 47248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 1010 1207 48007 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 1010 1208 48766 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 1010 1209 49525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 0 | 1010 1210 50284 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 0 | 1010 1211 51043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 1010 1212 51802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 1010 1213 52561 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 0 | 1010 1214 53320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 1010 1215 54079 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 1010 1216 54838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 1010 1217 55597 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 1010 1218 56356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 1010 1219 57115 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 0 | 1010 1220 57874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 0 | 1010 1221 58633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 0 | 1010 1222 59392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 0 | 1010 1223 60151 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 1010 1224 60910 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 1010 1225 61669 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 0 | 1010 1226 62428 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 0 | 1010 1227 63187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 0 | 1010 1228 63946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 0 | 1010 1229 64705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 0 | 1010 1230 65464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 0 | 1010 1231 66223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s c =============================================================================== c | 0 | 1010 1232 66982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 1010 1233 67741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 0 | 1010 1234 68500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 0 | 1010 1235 69259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 0 | 1010 1236 70018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s c =============================================================================== c | 0 | 1010 1237 70777 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 0 | 1010 1238 71536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 0 | 1010 1239 72295 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 0 | 1010 1240 73054 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 0 | 1010 1241 73813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 0 | 1010 1242 74572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 0 | 1010 1243 75331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 1010 1244 76090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 0 | 1010 1245 76849 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 0 | 1010 1246 77608 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s c =============================================================================== c | 0 | 1010 1247 78367 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 0 | 1010 1248 79126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 0 | 1010 1249 79885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 0 | 1010 1250 80644 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 0 | 1010 1251 81403 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 0 | 1010 1252 82162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 0 | 1010 1253 82921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 0 | 1010 1254 83680 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 0 | 1010 1255 84439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 1.08683 s Remaining CPU time: 178.913 s c =============================================================================== c | 0 | 1010 1256 85198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 0 | 1010 1257 85957 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 0 | 1010 1258 86716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s c =============================================================================== c | 0 | 1010 1259 87475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 1.18882 s Remaining CPU time: 178.811 s c =============================================================================== c | 0 | 1010 1260 88234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 0 | 1010 1261 88993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 0 | 1010 1262 89752 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 0 | 1010 1263 90511 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 0 | 1010 1264 91270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 0 | 1010 1265 92029 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 1.34879 s Remaining CPU time: 178.651 s c =============================================================================== c | 0 | 1010 1266 92788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 0 | 1010 1267 93547 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s c =============================================================================== c | 0 | 1010 1268 94306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 0 | 1010 1269 95065 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 1.46478 s Remaining CPU time: 178.535 s c =============================================================================== c | 0 | 1010 1270 95824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 1.49377 s Remaining CPU time: 178.506 s c =============================================================================== c | 0 | 1010 1271 96583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 1.52377 s Remaining CPU time: 178.476 s c =============================================================================== c | 0 | 1010 1272 97342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 1.55476 s Remaining CPU time: 178.445 s c =============================================================================== c | 0 | 1010 1273 98101 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 1.58476 s Remaining CPU time: 178.415 s c =============================================================================== c | 0 | 1010 1274 98860 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 0 | 1010 1275 99619 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 0 | 1010 1276 100378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 1.67874 s Remaining CPU time: 178.321 s c =============================================================================== c | 0 | 1010 1277 101137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s c =============================================================================== c | 0 | 1010 1278 101896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 0 | 1010 1279 102655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 0 | 1010 1280 103414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 1.80972 s Remaining CPU time: 178.19 s c =============================================================================== c | 0 | 1010 1281 104173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 1.84372 s Remaining CPU time: 178.156 s c =============================================================================== c | 0 | 1010 1282 104932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 0 | 1010 1283 105691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 0 | 1010 1284 106450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 0 | 1010 1285 107209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 1.9787 s Remaining CPU time: 178.021 s c =============================================================================== c | 0 | 1010 1286 107968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 2.01369 s Remaining CPU time: 177.986 s c =============================================================================== c | 0 | 1010 1287 108727 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 2.04969 s Remaining CPU time: 177.95 s c =============================================================================== c | 0 | 1010 1288 109486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 2.08568 s Remaining CPU time: 177.914 s c =============================================================================== c | 0 | 1010 1289 110245 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 0 | 1010 1290 111004 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 2.15967 s Remaining CPU time: 177.84 s c =============================================================================== c | 0 | 1010 1291 111763 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 0 | 1010 1292 112522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 2.23566 s Remaining CPU time: 177.764 s c =============================================================================== c | 0 | 1010 1293 113281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 2.27365 s Remaining CPU time: 177.726 s c =============================================================================== c | 0 | 1010 1294 114040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 2.31165 s Remaining CPU time: 177.688 s c =============================================================================== c | 0 | 1010 1295 114799 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 2.35064 s Remaining CPU time: 177.649 s c =============================================================================== c | 0 | 1010 1296 115558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 2.38864 s Remaining CPU time: 177.611 s c =============================================================================== c | 0 | 1010 1297 116317 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 2.42663 s Remaining CPU time: 177.573 s c =============================================================================== c | 0 | 1010 1298 117076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 2.46563 s Remaining CPU time: 177.534 s c =============================================================================== c | 0 | 1010 1299 117835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 2.50462 s Remaining CPU time: 177.495 s c =============================================================================== c | 0 | 1010 1300 118594 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 2.54361 s Remaining CPU time: 177.456 s c =============================================================================== c | 0 | 1010 1301 119353 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 2.58461 s Remaining CPU time: 177.415 s c =============================================================================== c | 0 | 1010 1302 120112 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 2.6246 s Remaining CPU time: 177.375 s c =============================================================================== c | 0 | 1010 1303 120871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 2.66459 s Remaining CPU time: 177.335 s c =============================================================================== c | 0 | 1010 1304 121630 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 2.70559 s Remaining CPU time: 177.294 s c =============================================================================== c | 0 | 1010 1305 122389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 2.74658 s Remaining CPU time: 177.253 s c =============================================================================== c | 0 | 1010 1306 123148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 2.78958 s Remaining CPU time: 177.21 s c =============================================================================== c | 0 | 1010 1307 123907 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 2.83157 s Remaining CPU time: 177.168 s c =============================================================================== c | 0 | 1010 1308 124666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 2.87456 s Remaining CPU time: 177.125 s c =============================================================================== c | 0 | 1010 1309 125425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 2.91756 s Remaining CPU time: 177.082 s c =============================================================================== c | 0 | 1010 1310 126184 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 2.96055 s Remaining CPU time: 177.039 s c =============================================================================== c | 0 | 1010 1311 126943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 3.00454 s Remaining CPU time: 176.995 s c =============================================================================== c | 0 | 1010 1312 127702 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 3.04954 s Remaining CPU time: 176.95 s c =============================================================================== c | 0 | 1010 1313 128461 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 3.09453 s Remaining CPU time: 176.905 s c =============================================================================== c | 1 | 1010 1314 129220 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 3.13752 s Remaining CPU time: 176.862 s c =============================================================================== c | 1 | 1010 1315 129979 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 3.18152 s Remaining CPU time: 176.818 s c =============================================================================== c | 1 | 1010 1316 130738 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 3.22551 s Remaining CPU time: 176.774 s c =============================================================================== c | 1 | 1010 1317 131497 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 3.2685 s Remaining CPU time: 176.731 s c =============================================================================== c | 1 | 1010 1318 132256 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 3.3135 s Remaining CPU time: 176.687 s c =============================================================================== c | 1 | 1010 1319 133015 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 3.35649 s Remaining CPU time: 176.644 s c =============================================================================== c | 1 | 1010 1320 133774 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 3.40048 s Remaining CPU time: 176.6 s c =============================================================================== c | 1 | 1010 1321 134533 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 3.44548 s Remaining CPU time: 176.555 s c =============================================================================== c | 1 | 1010 1322 135292 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 3.49147 s Remaining CPU time: 176.509 s c =============================================================================== c | 1 | 1010 1323 136051 | 5000 1 602 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 3.53646 s Remaining CPU time: 176.464 s c =============================================================================== c | 2 | 1010 1324 136810 | 5000 2 304 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 3.58345 s Remaining CPU time: 176.417 s c =============================================================================== c | 2 | 1010 1325 137569 | 5000 2 304 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 3.63045 s Remaining CPU time: 176.37 s c =============================================================================== c | 5 | 1010 1326 138328 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 3.67844 s Remaining CPU time: 176.322 s c =============================================================================== c | 5 | 1010 1327 139087 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 3.72543 s Remaining CPU time: 176.275 s c =============================================================================== c | 5 | 1010 1328 139846 | 5000 5 124 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 3.77243 s Remaining CPU time: 176.228 s c =============================================================================== c | 6 | 1010 1329 140605 | 5000 6 104 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 3.82142 s Remaining CPU time: 176.179 s c =============================================================================== c | 6 | 1010 1330 141364 | 5000 6 104 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 3.86841 s Remaining CPU time: 176.132 s c =============================================================================== c | 8 | 1010 1331 142123 | 5000 8 80 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 3.9214 s Remaining CPU time: 176.079 s c =============================================================================== c | 11 | 1010 1332 142882 | 5000 11 218 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 3.9714 s Remaining CPU time: 176.029 s c =============================================================================== c | 11 | 1010 1333 143641 | 5000 11 218 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 4.02239 s Remaining CPU time: 175.978 s c =============================================================================== c | 13 | 1010 1334 144400 | 5000 13 186 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 4.07238 s Remaining CPU time: 175.928 s c =============================================================================== c | 13 | 1010 1335 145159 | 5000 13 186 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 4.12337 s Remaining CPU time: 175.877 s c =============================================================================== c | 13 | 1010 1336 145918 | 5000 13 186 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 4.17337 s Remaining CPU time: 175.827 s c =============================================================================== c | 13 | 1010 1337 146677 | 5000 13 186 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 4.22436 s Remaining CPU time: 175.776 s c =============================================================================== c | 14 | 1010 1338 147436 | 5000 14 173 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 4.27435 s Remaining CPU time: 175.726 s c =============================================================================== c | 15 | 1010 1339 148195 | 5000 15 200 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 4.32734 s Remaining CPU time: 175.673 s c =============================================================================== c | 15 | 1010 1340 148954 | 5000 15 200 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 4.37933 s Remaining CPU time: 175.621 s c =============================================================================== c | 15 | 1010 1341 149713 | 5000 15 200 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 4.43033 s Remaining CPU time: 175.57 s c =============================================================================== c | 17 | 1010 1342 150472 | 5000 17 177 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 4.48332 s Remaining CPU time: 175.517 s c =============================================================================== c | 20 | 1010 1343 151231 | 5000 20 151 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 4.53631 s Remaining CPU time: 175.464 s c =============================================================================== c | 20 | 1010 1344 151990 | 5000 20 151 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 4.5893 s Remaining CPU time: 175.411 s c =============================================================================== c | 20 | 1010 1345 152749 | 5000 20 151 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 4.64529 s Remaining CPU time: 175.355 s c =============================================================================== c | 20 | 1010 1346 153508 | 5000 20 151 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 4.69928 s Remaining CPU time: 175.301 s c =============================================================================== c | 20 | 1010 1347 154267 | 5000 20 151 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 4.75228 s Remaining CPU time: 175.248 s c =============================================================================== c | 20 | 1010 1348 155026 | 5000 20 151 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 4.80627 s Remaining CPU time: 175.194 s c =============================================================================== c | 20 | 1010 1349 155785 | 5000 20 151 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 4.85826 s Remaining CPU time: 175.142 s c =============================================================================== c | 22 | 1010 1350 156544 | 5000 22 137 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 4.91325 s Remaining CPU time: 175.087 s c =============================================================================== c | 23 | 1010 1351 157303 | 5000 23 156 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 4.96824 s Remaining CPU time: 175.032 s c =============================================================================== c | 24 | 1010 1352 158062 | 5000 24 173 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 5.02424 s Remaining CPU time: 174.976 s c =============================================================================== c | 25 | 1010 1353 158821 | 5000 25 188 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 5.08023 s Remaining CPU time: 174.92 s c =============================================================================== c | 27 | 1010 1354 159580 | 5000 27 195 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 5.13522 s Remaining CPU time: 174.865 s c =============================================================================== c | 29 | 1010 1355 160339 | 5000 29 182 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 5.19121 s Remaining CPU time: 174.809 s c =============================================================================== c | 30 | 1010 1356 161098 | 5000 30 195 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 5.2472 s Remaining CPU time: 174.753 s c =============================================================================== c | 30 | 1010 1357 161857 | 5000 30 195 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 5.30419 s Remaining CPU time: 174.696 s c =============================================================================== c | 31 | 1010 1358 162616 | 5000 31 206 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 5.36218 s Remaining CPU time: 174.638 s c =============================================================================== c | 31 | 1010 1359 163375 | 5000 31 206 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 5.42018 s Remaining CPU time: 174.58 s c =============================================================================== c | 31 | 1010 1360 164134 | 5000 31 206 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 5.47817 s Remaining CPU time: 174.522 s c =============================================================================== c | 31 | 1010 1361 164893 | 5000 31 206 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 5.53816 s Remaining CPU time: 174.462 s c =============================================================================== c | 32 | 1010 1362 165652 | 5000 32 217 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 5.59815 s Remaining CPU time: 174.402 s c =============================================================================== c | 33 | 1010 1363 166411 | 5000 33 227 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 5.65814 s Remaining CPU time: 174.342 s c =============================================================================== c | 33 | 1010 1364 167170 | 5000 33 227 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 5.71713 s Remaining CPU time: 174.283 s c =============================================================================== c | 38 | 1010 1365 167929 | 5000 38 212 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 5.77712 s Remaining CPU time: 174.223 s c =============================================================================== c | 39 | 1010 1366 168688 | 5000 39 221 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 5.83711 s Remaining CPU time: 174.163 s c =============================================================================== c | 40 | 1010 1367 169447 | 5000 40 229 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 5.8971 s Remaining CPU time: 174.103 s c =============================================================================== c | 40 | 1010 1368 170206 | 5000 40 229 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 5.96009 s Remaining CPU time: 174.04 s c =============================================================================== c | 40 | 1010 1369 170965 | 5000 40 229 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 6.02008 s Remaining CPU time: 173.98 s c =============================================================================== c | 41 | 1010 1370 171724 | 5000 41 237 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 6.08207 s Remaining CPU time: 173.918 s c =============================================================================== c | 42 | 1010 1371 172483 | 5000 42 244 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 6.14307 s Remaining CPU time: 173.857 s c =============================================================================== c | 43 | 1010 1372 173242 | 5000 43 238 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 6.20506 s Remaining CPU time: 173.795 s c =============================================================================== c | 43 | 1010 1373 174001 | 5000 43 238 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 6.26605 s Remaining CPU time: 173.734 s c =============================================================================== c | 43 | 1010 1374 174760 | 5000 43 238 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 6.32704 s Remaining CPU time: 173.673 s c =============================================================================== c | 44 | 1010 1375 175519 | 5000 44 245 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 6.38803 s Remaining CPU time: 173.612 s c =============================================================================== c | 44 | 1010 1376 176278 | 5000 44 245 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 6.44702 s Remaining CPU time: 173.553 s c =============================================================================== c | 44 | 1010 1377 177037 | 5000 44 245 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 6.50801 s Remaining CPU time: 173.492 s c =============================================================================== c | 44 | 1010 1378 177796 | 5000 44 245 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 6.569 s Remaining CPU time: 173.431 s c =============================================================================== c | 44 | 1010 1379 178555 | 5000 44 245 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 6.63099 s Remaining CPU time: 173.369 s c =============================================================================== c | 47 | 1010 1380 179314 | 5000 47 241 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 6.69298 s Remaining CPU time: 173.307 s c =============================================================================== c | 50 | 1010 1381 180073 | 5000 50 237 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 6.75597 s Remaining CPU time: 173.244 s c =============================================================================== c | 51 | 1010 1382 180832 | 5000 51 233 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 6.81896 s Remaining CPU time: 173.181 s c =============================================================================== c | 53 | 1010 1383 181591 | 5000 53 234 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 6.88395 s Remaining CPU time: 173.116 s c =============================================================================== c | 54 | 1010 1384 182350 | 5000 54 240 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 6.94794 s Remaining CPU time: 173.052 s c =============================================================================== c | 60 | 1010 1385 183109 | 5000 60 225 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 7.01293 s Remaining CPU time: 172.987 s c =============================================================================== c | 60 | 1010 1386 183868 | 5000 60 225 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 7.07892 s Remaining CPU time: 172.921 s c =============================================================================== c | 63 | 1010 1387 184627 | 5000 63 223 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 7.14391 s Remaining CPU time: 172.856 s c =============================================================================== c | 63 | 1010 1388 185386 | 5000 63 223 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 7.2099 s Remaining CPU time: 172.79 s c =============================================================================== c | 64 | 1010 1389 186145 | 5000 64 227 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 7.27589 s Remaining CPU time: 172.724 s c =============================================================================== c | 70 | 1010 1390 186904 | 5000 70 216 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 7.34188 s Remaining CPU time: 172.658 s c =============================================================================== c | 70 | 1010 1391 187663 | 5000 70 216 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 7.40587 s Remaining CPU time: 172.594 s c =============================================================================== c | 70 | 1010 1392 188422 | 5000 70 216 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 7.47286 s Remaining CPU time: 172.527 s c =============================================================================== c | 70 | 1010 1393 189181 | 5000 70 216 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 7.53885 s Remaining CPU time: 172.461 s c =============================================================================== c | 71 | 1010 1394 189940 | 5000 71 220 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 7.60584 s Remaining CPU time: 172.394 s c =============================================================================== c | 72 | 1010 1395 190699 | 5000 72 217 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 7.67083 s Remaining CPU time: 172.329 s c =============================================================================== c | 72 | 1010 1396 191458 | 5000 72 217 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 7.73882 s Remaining CPU time: 172.261 s c =============================================================================== c | 73 | 1010 1397 192217 | 5000 73 221 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 7.80481 s Remaining CPU time: 172.195 s c =============================================================================== c | 74 | 1010 1398 192976 | 5000 74 225 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 7.8728 s Remaining CPU time: 172.127 s c =============================================================================== c | 75 | 1010 1399 193735 | 5000 75 229 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 7.93979 s Remaining CPU time: 172.06 s c =============================================================================== c | 77 | 1010 1400 194494 | 5000 77 230 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 8.00678 s Remaining CPU time: 171.993 s c =============================================================================== c | 78 | 1010 1401 195253 | 5000 78 233 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 8.07377 s Remaining CPU time: 171.926 s c =============================================================================== c | 80 | 1010 1402 196012 | 5000 80 228 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 8.14176 s Remaining CPU time: 171.858 s c =============================================================================== c | 84 | 1010 1403 196771 | 5000 84 223 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 8.20775 s Remaining CPU time: 171.792 s c =============================================================================== c | 85 | 1010 1404 197530 | 5000 85 227 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 8.27674 s Remaining CPU time: 171.723 s c =============================================================================== c | 87 | 1010 1405 198289 | 5000 87 227 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 8.34573 s Remaining CPU time: 171.654 s c =============================================================================== c | 89 | 1010 1406 199048 | 5000 89 228 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 8.41272 s Remaining CPU time: 171.587 s c =============================================================================== c | 90 | 1010 1407 199807 | 5000 90 231 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 8.48171 s Remaining CPU time: 171.518 s c =============================================================================== c | 91 | 1010 1408 200566 | 5000 91 234 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 8.5547 s Remaining CPU time: 171.445 s c =============================================================================== c | 92 | 1010 1409 201325 | 5000 92 237 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 8.62369 s Remaining CPU time: 171.376 s c =============================================================================== c | 93 | 1010 1410 202084 | 5000 93 234 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 8.69468 s Remaining CPU time: 171.305 s c =============================================================================== c | 95 | 1010 1411 202843 | 5000 95 230 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 8.76567 s Remaining CPU time: 171.234 s c =============================================================================== c | 99 | 1010 1412 203602 | 5000 99 226 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 8.83466 s Remaining CPU time: 171.165 s c =============================================================================== c | 99 | 1010 1413 204361 | 5000 99 226 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 8.90465 s Remaining CPU time: 171.095 s c =============================================================================== c | 100 | 1010 1414 205120 | 5000 100 228 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 8.97564 s Remaining CPU time: 171.024 s c =============================================================================== c | 102 | 1010 1415 205879 | 5000 102 224 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 9.04562 s Remaining CPU time: 170.954 s c =============================================================================== c | 102 | 1010 1416 206638 | 5000 102 224 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 9.11661 s Remaining CPU time: 170.883 s c =============================================================================== c | 103 | 1010 1417 207397 | 5000 103 227 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 9.1876 s Remaining CPU time: 170.812 s c =============================================================================== c | 104 | 1010 1418 208156 | 5000 104 225 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 9.25959 s Remaining CPU time: 170.74 s c =============================================================================== c | 105 | 1010 1419 208915 | 5000 105 227 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 9.33158 s Remaining CPU time: 170.668 s c =============================================================================== c | 106 | 1010 1420 209674 | 5000 106 225 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 9.40357 s Remaining CPU time: 170.596 s c =============================================================================== c | 107 | 1010 1421 210433 | 5000 107 228 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 9.47856 s Remaining CPU time: 170.521 s c =============================================================================== c | 107 | 1010 1422 211192 | 5000 107 228 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 9.55055 s Remaining CPU time: 170.449 s c =============================================================================== c | 108 | 1010 1423 211951 | 5000 108 230 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 9.62254 s Remaining CPU time: 170.377 s c =============================================================================== c | 108 | 1010 1424 212710 | 5000 108 230 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 9.69553 s Remaining CPU time: 170.304 s c =============================================================================== c | 108 | 1010 1425 213469 | 5000 108 230 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 9.76951 s Remaining CPU time: 170.23 s c =============================================================================== c | 111 | 1010 1426 214228 | 5000 111 228 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 9.8445 s Remaining CPU time: 170.155 s c =============================================================================== c | 111 | 1010 1427 214987 | 5000 111 228 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 9.91849 s Remaining CPU time: 170.082 s c =============================================================================== c | 112 | 1010 1428 215746 | 5000 112 231 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 9.99248 s Remaining CPU time: 170.008 s c =============================================================================== c | 113 | 1010 1429 216505 | 5000 113 233 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 10.0675 s Remaining CPU time: 169.933 s c =============================================================================== c | 115 | 1010 1430 217264 | 5000 115 233 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 10.1425 s Remaining CPU time: 169.858 s c =============================================================================== c | 115 | 1010 1431 218023 | 5000 115 233 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 10.2164 s Remaining CPU time: 169.784 s c =============================================================================== c | 115 | 1010 1432 218782 | 5000 115 233 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 10.2914 s Remaining CPU time: 169.709 s c =============================================================================== c | 116 | 1010 1433 219541 | 5000 116 235 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 10.3664 s Remaining CPU time: 169.634 s c =============================================================================== c | 117 | 1010 1434 220300 | 5000 117 237 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 10.4424 s Remaining CPU time: 169.558 s c =============================================================================== c | 118 | 1010 1435 221059 | 5000 118 239 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 10.5174 s Remaining CPU time: 169.483 s c =============================================================================== c | 119 | 1010 1436 221818 | 5000 119 241 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 10.5934 s Remaining CPU time: 169.407 s c =============================================================================== c | 121 | 1010 1437 222577 | 5000 121 237 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 10.6684 s Remaining CPU time: 169.332 s c =============================================================================== c | 121 | 1010 1438 223336 | 5000 121 237 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 10.7444 s Remaining CPU time: 169.256 s c =============================================================================== c | 122 | 1010 1439 224095 | 5000 122 236 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 10.8204 s Remaining CPU time: 169.18 s c =============================================================================== c | 123 | 1010 1440 224854 | 5000 123 238 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 10.8963 s Remaining CPU time: 169.104 s c =============================================================================== c | 123 | 1010 1441 225613 | 5000 123 238 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 10.9743 s Remaining CPU time: 169.026 s c =============================================================================== c | 124 | 1010 1442 226372 | 5000 124 239 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 11.0503 s Remaining CPU time: 168.95 s c =============================================================================== c | 125 | 1010 1443 227131 | 5000 125 241 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 11.1273 s Remaining CPU time: 168.873 s c =============================================================================== c | 125 | 1010 1444 227890 | 5000 125 241 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 11.2053 s Remaining CPU time: 168.795 s c =============================================================================== c | 127 | 1010 1445 228649 | 5000 127 241 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 11.2803 s Remaining CPU time: 168.72 s c =============================================================================== c | 131 | 1010 1446 229408 | 5000 131 238 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 11.3573 s Remaining CPU time: 168.643 s c =============================================================================== c | 133 | 1010 1447 230167 | 5000 133 238 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 11.4333 s Remaining CPU time: 168.567 s c =============================================================================== c | 134 | 1010 1448 230926 | 5000 134 236 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 11.5102 s Remaining CPU time: 168.49 s c =============================================================================== c | 136 | 1010 1449 231685 | 5000 136 236 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 11.5882 s Remaining CPU time: 168.412 s c =============================================================================== c | 137 | 1010 1450 232444 | 5000 137 235 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 11.6672 s Remaining CPU time: 168.333 s c =============================================================================== c | 140 | 1010 1451 233203 | 5000 140 236 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 11.7452 s Remaining CPU time: 168.255 s c =============================================================================== c | 141 | 1010 1452 233962 | 5000 141 235 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 11.8242 s Remaining CPU time: 168.176 s c =============================================================================== c | 142 | 1010 1453 234721 | 5000 142 237 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 11.9012 s Remaining CPU time: 168.099 s c =============================================================================== c | 143 | 1010 1454 235480 | 5000 143 235 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 11.9802 s Remaining CPU time: 168.02 s c =============================================================================== c | 144 | 1010 1455 236239 | 5000 144 237 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 12.0592 s Remaining CPU time: 167.941 s c =============================================================================== c | 145 | 1010 1456 236998 | 5000 145 238 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 12.1402 s Remaining CPU time: 167.86 s c =============================================================================== c | 147 | 1010 1457 237757 | 5000 147 235 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 12.2181 s Remaining CPU time: 167.782 s c =============================================================================== c | 149 | 1010 1458 238516 | 5000 149 232 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 12.2971 s Remaining CPU time: 167.703 s c =============================================================================== c | 150 | 1010 1459 239275 | 5000 150 234 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 12.3761 s Remaining CPU time: 167.624 s c =============================================================================== c | 151 | 1010 1460 240034 | 5000 151 235 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 12.4581 s Remaining CPU time: 167.542 s c =============================================================================== c | 154 | 1010 1461 240793 | 5000 154 234 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 12.5371 s Remaining CPU time: 167.463 s c =============================================================================== c | 156 | 1010 1462 241552 | 5000 156 231 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 12.6181 s Remaining CPU time: 167.382 s c =============================================================================== c | 157 | 1010 1463 242311 | 5000 157 232 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 12.6971 s Remaining CPU time: 167.303 s c =============================================================================== c | 157 | 1010 1464 243070 | 5000 157 232 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 12.7761 s Remaining CPU time: 167.224 s c =============================================================================== c | 159 | 1010 1465 243829 | 5000 159 232 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 12.858 s Remaining CPU time: 167.142 s c =============================================================================== c | 159 | 1010 1466 244588 | 5000 159 232 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 12.939 s Remaining CPU time: 167.061 s c =============================================================================== c | 160 | 1010 1467 245347 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 13.018 s Remaining CPU time: 166.982 s c =============================================================================== c | 160 | 1010 1468 246106 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 13.098 s Remaining CPU time: 166.902 s c =============================================================================== c | 160 | 1010 1469 246865 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 13.179 s Remaining CPU time: 166.821 s c =============================================================================== c | 160 | 1010 1470 247624 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 13.257 s Remaining CPU time: 166.743 s c =============================================================================== c | 160 | 1010 1471 248383 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 13.336 s Remaining CPU time: 166.664 s c =============================================================================== c | 160 | 1010 1472 249142 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 13.417 s Remaining CPU time: 166.583 s c =============================================================================== c | 160 | 1010 1473 249901 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 13.4949 s Remaining CPU time: 166.505 s c =============================================================================== c | 160 | 1010 1474 250660 | 5000 160 231 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 13.5769 s Remaining CPU time: 166.423 s c =============================================================================== c | 163 | 1010 1475 251419 | 5000 163 235 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 13.6569 s Remaining CPU time: 166.343 s c =============================================================================== c | 163 | 1010 1476 252178 | 5000 163 235 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 13.7379 s Remaining CPU time: 166.262 s c =============================================================================== c | 165 | 1010 1477 252937 | 5000 165 235 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 13.8179 s Remaining CPU time: 166.182 s c =============================================================================== c | 165 | 1010 1478 253696 | 5000 165 235 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 13.8999 s Remaining CPU time: 166.1 s c =============================================================================== c | 166 | 1010 1479 254455 | 5000 166 233 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 13.9819 s Remaining CPU time: 166.018 s c =============================================================================== c | 167 | 1010 1480 255214 | 5000 167 232 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 14.0639 s Remaining CPU time: 165.936 s c =============================================================================== c | 168 | 1010 1481 255973 | 5000 168 231 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 14.1458 s Remaining CPU time: 165.854 s c =============================================================================== c | 172 | 1010 1482 256732 | 5000 172 228 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 14.2288 s Remaining CPU time: 165.771 s c =============================================================================== c | 174 | 1010 1483 257491 | 5000 174 225 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 14.3088 s Remaining CPU time: 165.691 s c =============================================================================== c | 179 | 1010 1484 258250 | 5000 179 222 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 14.3928 s Remaining CPU time: 165.607 s c =============================================================================== c | 181 | 1010 1485 259009 | 5000 181 224 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 14.4818 s Remaining CPU time: 165.518 s c =============================================================================== c | 195 | 1010 1486 259768 | 5000 195 235 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 14.5648 s Remaining CPU time: 165.435 s c =============================================================================== c | 197 | 1010 1487 260527 | 5000 197 232 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 14.6468 s Remaining CPU time: 165.353 s c =============================================================================== c | 200 | 1010 1488 261286 | 5000 200 229 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 14.7278 s Remaining CPU time: 165.272 s c =============================================================================== c | 203 | 1010 1489 262045 | 5000 203 226 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 14.8107 s Remaining CPU time: 165.189 s c =============================================================================== c | 203 | 1010 1490 262804 | 5000 203 226 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 14.8937 s Remaining CPU time: 165.106 s c =============================================================================== c | 203 | 1010 1491 263563 | 5000 203 226 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 14.9757 s Remaining CPU time: 165.024 s c =============================================================================== c | 205 | 1010 1492 264322 | 5000 205 224 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 15.0587 s Remaining CPU time: 164.941 s c =============================================================================== c | 209 | 1010 1493 265081 | 5000 209 228 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 15.1437 s Remaining CPU time: 164.856 s c =============================================================================== c | 214 | 1010 1494 265840 | 5000 214 230 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 15.2267 s Remaining CPU time: 164.773 s c =============================================================================== c | 215 | 1010 1495 266599 | 5000 215 229 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 15.3137 s Remaining CPU time: 164.686 s c =============================================================================== c | 225 | 1010 1496 267358 | 5000 225 237 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 15.3977 s Remaining CPU time: 164.602 s c =============================================================================== c | 226 | 1010 1497 268117 | 5000 226 237 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 15.4806 s Remaining CPU time: 164.519 s c =============================================================================== c | 230 | 1010 1498 268876 | 5000 230 233 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 15.5656 s Remaining CPU time: 164.434 s c =============================================================================== c | 234 | 1010 1499 269635 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 15.6496 s Remaining CPU time: 164.35 s c =============================================================================== c | 234 | 1010 1500 270394 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 15.7336 s Remaining CPU time: 164.266 s c =============================================================================== c | 234 | 1010 1501 271153 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 15.8186 s Remaining CPU time: 164.181 s c =============================================================================== c | 234 | 1010 1502 271912 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 15.9036 s Remaining CPU time: 164.096 s c =============================================================================== c | 234 | 1010 1503 272671 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 15.9876 s Remaining CPU time: 164.012 s c =============================================================================== c | 234 | 1010 1504 273430 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 16.0706 s Remaining CPU time: 163.929 s c =============================================================================== c | 234 | 1010 1505 274189 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 16.1555 s Remaining CPU time: 163.844 s c =============================================================================== c | 234 | 1010 1506 274948 | 5000 234 234 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 16.2405 s Remaining CPU time: 163.759 s c =============================================================================== c | 235 | 1010 1507 275707 | 5000 235 233 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 16.3235 s Remaining CPU time: 163.676 s c =============================================================================== c | 235 | 1010 1508 276466 | 5000 235 233 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 16.4085 s Remaining CPU time: 163.591 s c =============================================================================== c | 238 | 1010 1509 277225 | 5000 238 232 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 16.4935 s Remaining CPU time: 163.507 s c =============================================================================== c | 240 | 1010 1510 277984 | 5000 240 230 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 16.5785 s Remaining CPU time: 163.422 s c =============================================================================== c | 240 | 1010 1511 278743 | 5000 240 230 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 16.6645 s Remaining CPU time: 163.336 s c =============================================================================== c | 242 | 1010 1512 279502 | 5000 242 228 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 16.7505 s Remaining CPU time: 163.25 s c =============================================================================== c | 242 | 1010 1513 280261 | 5000 242 228 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 16.8354 s Remaining CPU time: 163.165 s c =============================================================================== c | 242 | 1010 1514 281020 | 5000 242 228 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 16.9224 s Remaining CPU time: 163.078 s c =============================================================================== c | 242 | 1010 1515 281779 | 5000 242 228 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 17.0074 s Remaining CPU time: 162.993 s c =============================================================================== c | 243 | 1010 1516 282538 | 5000 243 227 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 17.0934 s Remaining CPU time: 162.907 s c =============================================================================== c | 243 | 1010 1517 283297 | 5000 243 227 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 17.1784 s Remaining CPU time: 162.822 s c =============================================================================== c | 244 | 1010 1518 284056 | 5000 244 226 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 17.2654 s Remaining CPU time: 162.735 s c =============================================================================== c | 248 | 1010 1519 284815 | 5000 248 229 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 17.3524 s Remaining CPU time: 162.648 s c =============================================================================== c | 248 | 1010 1520 285574 | 5000 248 229 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 17.4373 s Remaining CPU time: 162.563 s c =============================================================================== c | 248 | 1010 1521 286333 | 5000 248 229 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 17.5233 s Remaining CPU time: 162.477 s c =============================================================================== c | 249 | 1010 1522 287092 | 5000 249 228 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 17.6103 s Remaining CPU time: 162.39 s c =============================================================================== c | 253 | 1010 1523 287851 | 5000 253 225 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 17.6973 s Remaining CPU time: 162.303 s c =============================================================================== c | 255 | 1010 1524 288610 | 5000 255 223 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 17.7853 s Remaining CPU time: 162.215 s c =============================================================================== c | 255 | 1010 1525 289369 | 5000 255 223 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 17.8723 s Remaining CPU time: 162.128 s c =============================================================================== c | 258 | 1010 1526 290128 | 5000 258 221 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 17.9583 s Remaining CPU time: 162.042 s c =============================================================================== c | 258 | 1010 1527 290887 | 5000 258 221 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 18.0463 s Remaining CPU time: 161.954 s c =============================================================================== c | 261 | 1010 1528 291646 | 5000 261 221 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 18.1322 s Remaining CPU time: 161.868 s c =============================================================================== c | 263 | 1010 1529 292405 | 5000 263 219 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 18.2192 s Remaining CPU time: 161.781 s c =============================================================================== c | 266 | 1010 1530 293164 | 5000 266 217 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 18.3072 s Remaining CPU time: 161.693 s c =============================================================================== c | 267 | 1010 1531 293923 | 5000 267 216 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 18.4102 s Remaining CPU time: 161.59 s c =============================================================================== c | 276 | 1010 1532 294682 | 5000 276 221 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 18.4982 s Remaining CPU time: 161.502 s c =============================================================================== c | 278 | 1010 1533 295441 | 5000 278 219 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 18.5872 s Remaining CPU time: 161.413 s c =============================================================================== c | 280 | 1010 1534 296200 | 5000 280 219 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 18.7282 s Remaining CPU time: 161.272 s c =============================================================================== c | 344 | 1010 1535 296959 | 5000 344 247 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 18.8151 s Remaining CPU time: 161.185 s c =============================================================================== c | 345 | 1010 1536 297718 | 5000 345 246 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 18.9031 s Remaining CPU time: 161.097 s c =============================================================================== c | 348 | 1010 1537 298477 | 5000 348 244 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 18.9911 s Remaining CPU time: 161.009 s c =============================================================================== c | 348 | 1010 1538 299236 | 5000 348 244 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 19.0821 s Remaining CPU time: 160.918 s c =============================================================================== c | 348 | 1010 1539 299995 | 5000 348 244 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 19.1701 s Remaining CPU time: 160.83 s c =============================================================================== c | 348 | 1010 1540 300754 | 5000 348 244 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 19.2581 s Remaining CPU time: 160.742 s c =============================================================================== c | 348 | 1010 1541 301513 | 5000 348 244 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 19.3471 s Remaining CPU time: 160.653 s c =============================================================================== c | 350 | 1010 1542 302272 | 5000 350 243 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 19.435 s Remaining CPU time: 160.565 s c =============================================================================== c | 350 | 1010 1543 303031 | 5000 350 243 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 19.524 s Remaining CPU time: 160.476 s c =============================================================================== c | 350 | 1010 1544 303790 | 5000 350 243 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 19.612 s Remaining CPU time: 160.388 s c =============================================================================== c | 350 | 1010 1545 304549 | 5000 350 243 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 19.699 s Remaining CPU time: 160.301 s c =============================================================================== c | 353 | 1010 1546 305308 | 5000 353 241 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 19.787 s Remaining CPU time: 160.213 s c =============================================================================== c | 354 | 1010 1547 306067 | 5000 354 241 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 19.878 s Remaining CPU time: 160.122 s c =============================================================================== c | 354 | 1010 1548 306826 | 5000 354 241 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 19.966 s Remaining CPU time: 160.034 s c =============================================================================== c | 354 | 1010 1549 307585 | 5000 354 241 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 20.053 s Remaining CPU time: 159.947 s c =============================================================================== c | 354 | 1010 1550 308344 | 5000 354 241 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 20.1399 s Remaining CPU time: 159.86 s c =============================================================================== c | 356 | 1010 1551 309103 | 5000 356 239 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 20.2289 s Remaining CPU time: 159.771 s c =============================================================================== c | 356 | 1010 1552 309862 | 5000 356 239 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 20.3239 s Remaining CPU time: 159.676 s c =============================================================================== c | 362 | 1010 1553 310621 | 5000 362 241 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 20.4119 s Remaining CPU time: 159.588 s c =============================================================================== c | 362 | 1010 1554 311380 | 5000 362 241 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 20.4989 s Remaining CPU time: 159.501 s c =============================================================================== c | 362 | 1010 1555 312139 | 5000 362 241 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 20.5899 s Remaining CPU time: 159.41 s c =============================================================================== c | 365 | 1010 1556 312898 | 5000 365 242 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 20.6789 s Remaining CPU time: 159.321 s c =============================================================================== c | 365 | 1010 1557 313657 | 5000 365 242 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 20.7678 s Remaining CPU time: 159.232 s c =============================================================================== c | 366 | 1010 1558 314416 | 5000 366 241 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 20.8568 s Remaining CPU time: 159.143 s c =============================================================================== c | 375 | 1010 1559 315175 | 5000 375 236 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 20.9478 s Remaining CPU time: 159.052 s c =============================================================================== c | 375 | 1010 1560 315934 | 5000 375 236 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 21.0388 s Remaining CPU time: 158.961 s c =============================================================================== c | 375 | 1010 1561 316693 | 5000 375 236 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 21.1308 s Remaining CPU time: 158.869 s c =============================================================================== c | 375 | 1010 1562 317452 | 5000 375 236 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 21.2228 s Remaining CPU time: 158.777 s c =============================================================================== c | 377 | 1010 1563 318211 | 5000 377 235 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 21.3158 s Remaining CPU time: 158.684 s c =============================================================================== c | 377 | 1010 1564 318970 | 5000 377 235 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 21.4067 s Remaining CPU time: 158.593 s c =============================================================================== c | 377 | 1010 1565 319729 | 5000 377 235 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 21.4977 s Remaining CPU time: 158.502 s c =============================================================================== c | 377 | 1010 1566 320488 | 5000 377 235 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 21.5887 s Remaining CPU time: 158.411 s c =============================================================================== c | 383 | 1010 1567 321247 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 21.6777 s Remaining CPU time: 158.322 s c =============================================================================== c | 383 | 1010 1568 322006 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 21.7657 s Remaining CPU time: 158.234 s c =============================================================================== c | 383 | 1010 1569 322765 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 21.8537 s Remaining CPU time: 158.146 s c =============================================================================== c | 383 | 1010 1570 323524 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 21.9427 s Remaining CPU time: 158.057 s c =============================================================================== c | 383 | 1010 1571 324283 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 22.0316 s Remaining CPU time: 157.968 s c =============================================================================== c | 383 | 1010 1572 325042 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 22.1196 s Remaining CPU time: 157.88 s c =============================================================================== c | 383 | 1010 1573 325801 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 22.2076 s Remaining CPU time: 157.792 s c =============================================================================== c | 383 | 1010 1574 326560 | 5000 383 236 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 22.2976 s Remaining CPU time: 157.702 s c =============================================================================== c | 384 | 1010 1575 327319 | 5000 384 236 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 22.3876 s Remaining CPU time: 157.612 s c =============================================================================== c | 385 | 1010 1576 328078 | 5000 385 237 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 22.4806 s Remaining CPU time: 157.519 s c =============================================================================== c | 393 | 1010 1577 328837 | 5000 393 238 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 22.5686 s Remaining CPU time: 157.431 s c =============================================================================== c | 395 | 1010 1578 329596 | 5000 395 237 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 22.6576 s Remaining CPU time: 157.342 s c =============================================================================== c | 395 | 1010 1579 330355 | 5000 395 237 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 22.7455 s Remaining CPU time: 157.254 s c =============================================================================== c | 396 | 1010 1580 331114 | 5000 396 236 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 22.8335 s Remaining CPU time: 157.166 s c =============================================================================== c | 401 | 1010 1581 331873 | 5000 401 234 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 22.9285 s Remaining CPU time: 157.071 s c =============================================================================== c | 409 | 1010 1582 332632 | 5000 409 233 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 23.0385 s Remaining CPU time: 156.962 s c =============================================================================== c | 423 | 1010 1583 333391 | 5000 423 236 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 23.1335 s Remaining CPU time: 156.867 s c =============================================================================== c | 447 | 1010 1584 334150 | 5000 447 226 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 23.2345 s Remaining CPU time: 156.766 s c =============================================================================== c | 460 | 1010 1585 334909 | 5000 460 229 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 23.3235 s Remaining CPU time: 156.677 s c =============================================================================== c | 462 | 1010 1586 335668 | 5000 462 229 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 23.4494 s Remaining CPU time: 156.551 s c =============================================================================== c | 502 | 1010 1587 336427 | 5000 502 232 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 23.5384 s Remaining CPU time: 156.462 s c =============================================================================== c | 502 | 1010 1588 337186 | 5000 502 232 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 23.6264 s Remaining CPU time: 156.374 s c =============================================================================== c | 504 | 1010 1589 337945 | 5000 504 231 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 23.7154 s Remaining CPU time: 156.285 s c =============================================================================== c | 504 | 1010 1590 338704 | 5000 504 231 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 23.8044 s Remaining CPU time: 156.196 s c =============================================================================== c | 514 | 1010 1591 339463 | 5000 514 227 | 0.000 % | c | 615 | 1010 1591 339463 | 5500 615 242 | 2.698 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 24.0423 s Remaining CPU time: 155.958 s c =============================================================================== c | 632 | 1010 1592 340222 | 5000 632 236 | 2.698 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 24.1533 s Remaining CPU time: 155.847 s c =============================================================================== c | 670 | 1010 1593 340981 | 5000 670 239 | 2.698 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 24.2433 s Remaining CPU time: 155.757 s c =============================================================================== c | 676 | 1010 1594 341740 | 5000 676 237 | 2.698 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 24.3313 s Remaining CPU time: 155.669 s c =============================================================================== c | 677 | 1010 1595 342499 | 5000 677 237 | 2.698 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 24.4193 s Remaining CPU time: 155.581 s c =============================================================================== c | 684 | 1010 1596 343258 | 5000 684 235 | 2.698 % | c | 784 | 1010 1596 343258 | 5500 784 245 | 2.698 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 24.6563 s Remaining CPU time: 155.344 s c =============================================================================== c | 794 | 1010 1597 344017 | 5000 794 242 | 2.698 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 24.8022 s Remaining CPU time: 155.198 s c =============================================================================== c | 865 | 1010 1598 344776 | 5000 865 245 | 2.698 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 24.8912 s Remaining CPU time: 155.109 s c =============================================================================== c | 868 | 1010 1599 345535 | 5000 868 244 | 2.698 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 24.9782 s Remaining CPU time: 155.022 s c =============================================================================== c | 872 | 1010 1600 346294 | 5000 872 243 | 2.698 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 25.0662 s Remaining CPU time: 154.934 s c =============================================================================== c | 873 | 1010 1601 347053 | 5000 873 243 | 2.698 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 25.1542 s Remaining CPU time: 154.846 s c =============================================================================== c | 873 | 1010 1602 347812 | 5000 873 243 | 2.698 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 25.2422 s Remaining CPU time: 154.758 s c =============================================================================== c | 873 | 1010 1603 348571 | 5000 873 243 | 2.698 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 25.3311 s Remaining CPU time: 154.669 s c =============================================================================== c | 874 | 1010 1604 349330 | 5000 874 242 | 2.698 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 25.4171 s Remaining CPU time: 154.583 s c =============================================================================== c | 874 | 1010 1605 350089 | 5000 874 242 | 2.698 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 25.5071 s Remaining CPU time: 154.493 s c =============================================================================== c | 874 | 1010 1606 350848 | 5000 874 242 | 2.698 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 25.6451 s Remaining CPU time: 154.355 s c =============================================================================== c | 939 | 1010 1607 351607 | 5000 939 246 | 2.698 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 25.7411 s Remaining CPU time: 154.259 s c =============================================================================== c | 952 | 1010 1608 352366 | 5000 952 245 | 2.698 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 25.8351 s Remaining CPU time: 154.165 s c =============================================================================== c | 978 | 1010 1609 353125 | 5000 978 240 | 2.698 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 25.9241 s Remaining CPU time: 154.076 s c =============================================================================== c | 980 | 1010 1610 353884 | 5000 980 240 | 2.698 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 26.013 s Remaining CPU time: 153.987 s c =============================================================================== c | 985 | 1010 1611 354643 | 5000 985 239 | 2.698 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 26.102 s Remaining CPU time: 153.898 s c =============================================================================== c | 991 | 1010 1612 355402 | 5000 991 238 | 2.698 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 26.285 s Remaining CPU time: 153.715 s c =============================================================================== c | 1069 | 1010 1613 356161 | 5000 1069 242 | 2.698 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 26.373 s Remaining CPU time: 153.627 s c =============================================================================== c | 1087 | 1010 1614 356920 | 5000 1087 238 | 2.698 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 26.477 s Remaining CPU time: 153.523 s c =============================================================================== c | 1104 | 1010 1615 357679 | 5000 1104 239 | 2.698 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 26.564 s Remaining CPU time: 153.436 s c =============================================================================== c | 1107 | 1010 1616 358438 | 5000 1107 238 | 2.698 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 26.6509 s Remaining CPU time: 153.349 s c =============================================================================== c | 1110 | 1010 1617 359197 | 5000 1110 238 | 2.698 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 26.7369 s Remaining CPU time: 153.263 s c =============================================================================== c | 1113 | 1010 1618 359956 | 5000 1113 237 | 2.698 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 26.8619 s Remaining CPU time: 153.138 s c =============================================================================== c | 1150 | 1010 1619 360715 | 5000 1150 239 | 2.698 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 26.9489 s Remaining CPU time: 153.051 s c =============================================================================== c | 1152 | 1010 1620 361474 | 5000 1152 238 | 2.698 % | c | 1252 | 1010 1620 361474 | 5500 1252 232 | 2.698 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 27.1919 s Remaining CPU time: 152.808 s c =============================================================================== c | 1257 | 1010 1621 362233 | 5000 1257 231 | 2.698 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 27.2789 s Remaining CPU time: 152.721 s c =============================================================================== c | 1262 | 1010 1622 362992 | 5000 1262 230 | 2.698 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 27.3738 s Remaining CPU time: 152.626 s c =============================================================================== c | 1277 | 1010 1623 363751 | 5000 1277 230 | 2.698 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 27.4658 s Remaining CPU time: 152.534 s c =============================================================================== c | 1314 | 1010 1624 364510 | 5000 1314 225 | 2.698 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 27.5718 s Remaining CPU time: 152.428 s c =============================================================================== c | 1339 | 1010 1625 365269 | 5000 1339 226 | 2.698 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 27.6588 s Remaining CPU time: 152.341 s c =============================================================================== c | 1339 | 1010 1626 366028 | 5000 1339 226 | 2.698 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 27.7448 s Remaining CPU time: 152.255 s c =============================================================================== c | 1342 | 1010 1627 366787 | 5000 1342 225 | 2.698 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 27.8338 s Remaining CPU time: 152.166 s c =============================================================================== c | 1373 | 1010 1628 367546 | 5000 1373 221 | 2.698 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 27.9438 s Remaining CPU time: 152.056 s c =============================================================================== c | 1388 | 1010 1629 368305 | 5000 1388 222 | 2.698 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 28.0277 s Remaining CPU time: 151.972 s c =============================================================================== c | 1390 | 1010 1630 369064 | 5000 1390 221 | 2.698 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 28.1107 s Remaining CPU time: 151.889 s c =============================================================================== c | 1390 | 1010 1631 369823 | 5000 1390 221 | 2.698 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 28.1947 s Remaining CPU time: 151.805 s c =============================================================================== c | 1390 | 1010 1632 370582 | 5000 1390 221 | 2.698 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 28.2807 s Remaining CPU time: 151.719 s c =============================================================================== c | 1404 | 1010 1633 371341 | 5000 1404 219 | 2.698 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 28.3687 s Remaining CPU time: 151.631 s c =============================================================================== c | 1404 | 1010 1634 372100 | 5000 1404 219 | 2.698 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 28.4597 s Remaining CPU time: 151.54 s c =============================================================================== c | 1410 | 1010 1635 372859 | 5000 1410 220 | 2.698 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 28.5457 s Remaining CPU time: 151.454 s c =============================================================================== c | 1414 | 1010 1636 373618 | 5000 1414 220 | 2.698 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 28.6296 s Remaining CPU time: 151.37 s c =============================================================================== c | 1416 | 1010 1637 374377 | 5000 1416 219 | 2.698 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 28.7146 s Remaining CPU time: 151.285 s c =============================================================================== c | 1416 | 1010 1638 375136 | 5000 1416 219 | 2.698 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 28.7986 s Remaining CPU time: 151.201 s c =============================================================================== c | 1417 | 1010 1639 375895 | 5000 1417 219 | 2.698 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 28.8826 s Remaining CPU time: 151.117 s c =============================================================================== c | 1417 | 1010 1640 376654 | 5000 1417 219 | 2.698 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 28.9676 s Remaining CPU time: 151.032 s c =============================================================================== c | 1429 | 1010 1641 377413 | 5000 1429 218 | 2.698 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 29.0516 s Remaining CPU time: 150.948 s c =============================================================================== c | 1429 | 1010 1642 378172 | 5000 1429 218 | 2.698 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 29.1346 s Remaining CPU time: 150.865 s c =============================================================================== c | 1429 | 1010 1643 378931 | 5000 1429 218 | 2.698 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 29.2176 s Remaining CPU time: 150.782 s c =============================================================================== c | 1438 | 1010 1644 379690 | 5000 1438 217 | 2.698 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 29.3025 s Remaining CPU time: 150.697 s c =============================================================================== c | 1441 | 1010 1645 380449 | 5000 1441 216 | 2.698 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 29.3885 s Remaining CPU time: 150.611 s c =============================================================================== c | 1446 | 1010 1646 381208 | 5000 1446 216 | 2.698 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 29.4715 s Remaining CPU time: 150.528 s c =============================================================================== c | 1447 | 1010 1647 381967 | 5000 1447 216 | 2.698 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 29.5605 s Remaining CPU time: 150.439 s c =============================================================================== c | 1455 | 1010 1648 382726 | 5000 1455 216 | 2.698 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 29.6425 s Remaining CPU time: 150.358 s c =============================================================================== c | 1461 | 1010 1649 383485 | 5000 1461 215 | 2.698 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 29.7465 s Remaining CPU time: 150.254 s c =============================================================================== c | 1471 | 1010 1650 384244 | 5000 1471 215 | 2.698 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 29.8465 s Remaining CPU time: 150.154 s c =============================================================================== c | 1492 | 1010 1651 385003 | 5000 1492 214 | 2.698 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 29.9304 s Remaining CPU time: 150.07 s c =============================================================================== c | 1499 | 1010 1652 385762 | 5000 1499 213 | 2.698 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 30.0114 s Remaining CPU time: 149.989 s c =============================================================================== c | 1504 | 1010 1653 386521 | 5000 1504 212 | 2.698 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 30.0954 s Remaining CPU time: 149.905 s c =============================================================================== c | 1510 | 1010 1654 387280 | 5000 1510 212 | 2.698 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 30.1794 s Remaining CPU time: 149.821 s c =============================================================================== c | 1513 | 1010 1655 388039 | 5000 1513 212 | 2.698 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 30.2614 s Remaining CPU time: 149.739 s c =============================================================================== c | 1517 | 1010 1656 388798 | 5000 1517 211 | 2.698 % | c | 1617 | 1010 1656 388798 | 5500 1617 213 | 2.698 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 30.5054 s Remaining CPU time: 149.495 s c =============================================================================== c | 1620 | 1010 1657 389557 | 5000 1620 213 | 2.698 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 30.5874 s Remaining CPU time: 149.413 s c =============================================================================== c | 1620 | 1010 1658 390316 | 5000 1620 213 | 2.698 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 30.6683 s Remaining CPU time: 149.332 s c =============================================================================== c | 1620 | 1010 1659 391075 | 5000 1620 213 | 2.698 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 30.7503 s Remaining CPU time: 149.25 s c =============================================================================== c | 1636 | 1010 1660 391834 | 5000 1636 211 | 2.698 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 30.8353 s Remaining CPU time: 149.165 s c =============================================================================== c | 1640 | 1010 1661 392593 | 5000 1640 211 | 2.698 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 30.9163 s Remaining CPU time: 149.084 s c =============================================================================== c | 1640 | 1010 1662 393352 | 5000 1640 211 | 2.698 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 30.9983 s Remaining CPU time: 149.002 s c =============================================================================== c | 1640 | 1010 1663 394111 | 5000 1640 211 | 2.698 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 31.0803 s Remaining CPU time: 148.92 s c =============================================================================== c | 1640 | 1010 1664 394870 | 5000 1640 211 | 2.698 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 31.1643 s Remaining CPU time: 148.836 s c =============================================================================== c | 1643 | 1010 1665 395629 | 5000 1643 211 | 2.698 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 31.2472 s Remaining CPU time: 148.753 s c =============================================================================== c | 1645 | 1010 1666 396388 | 5000 1645 211 | 2.698 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 31.3312 s Remaining CPU time: 148.669 s c =============================================================================== c | 1649 | 1010 1667 397147 | 5000 1649 210 | 2.698 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 31.4122 s Remaining CPU time: 148.588 s c =============================================================================== c | 1651 | 1010 1668 397906 | 5000 1651 210 | 2.698 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 31.4942 s Remaining CPU time: 148.506 s c =============================================================================== c | 1654 | 1010 1669 398665 | 5000 1654 210 | 2.698 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 31.6172 s Remaining CPU time: 148.383 s c =============================================================================== c | 1682 | 1010 1670 399424 | 5000 1682 211 | 2.698 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 31.7172 s Remaining CPU time: 148.283 s c =============================================================================== c | 1702 | 1010 1671 400183 | 5000 1702 209 | 2.698 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 31.8002 s Remaining CPU time: 148.2 s c =============================================================================== c | 1704 | 1010 1672 400942 | 5000 1704 209 | 2.698 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 31.9401 s Remaining CPU time: 148.06 s c =============================================================================== c | 1771 | 1010 1673 401701 | 5000 1771 210 | 2.698 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 32.0341 s Remaining CPU time: 147.966 s c =============================================================================== c | 1841 | 1010 1674 402460 | 5000 1841 204 | 2.698 % | c | 1941 | 1010 1674 402460 | 5500 1941 206 | 2.698 % | c | 2092 | 1010 1674 402460 | 6050 2092 206 | 2.698 % | c | 2317 | 1010 1674 402460 | 6655 2317 208 | 2.698 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 33.3059 s Remaining CPU time: 146.694 s c =============================================================================== c | 2647 | 1010 1675 403219 | 5000 2647 207 | 2.698 % | c | 2747 | 1010 1675 403219 | 5500 2747 207 | 2.698 % | c | 2897 | 1010 1675 403219 | 6050 2897 208 | 2.698 % | c | 3122 | 1010 1675 403219 | 6655 3122 209 | 2.698 % | c | 3462 | 1010 1675 403219 | 7320 3462 212 | 2.698 % | c | 3968 | 1010 1675 403219 | 8052 3968 216 | 2.698 % | c | 4727 | 1010 1675 403219 | 8857 4727 220 | 2.698 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 36.2455 s Remaining CPU time: 143.755 s c =============================================================================== c | 4750 | 1010 1676 403978 | 5000 4750 219 | 2.698 % | c | 4850 | 1010 1676 403978 | 5500 4850 220 | 2.698 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 36.5164 s Remaining CPU time: 143.484 s c =============================================================================== c | 4892 | 1010 1677 404737 | 5000 4892 218 | 2.698 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 36.6744 s Remaining CPU time: 143.326 s c =============================================================================== c | 4919 | 1010 1678 405496 | 5000 4919 218 | 2.698 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 36.7624 s Remaining CPU time: 143.238 s c =============================================================================== c | 4978 | 1010 1679 406255 | 5000 4978 216 | 2.698 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 37.0684 s Remaining CPU time: 142.932 s c =============================================================================== c | 5062 | 1010 1680 407014 | 5000 5062 217 | 2.698 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 37.1723 s Remaining CPU time: 142.828 s c =============================================================================== c | 5101 | 1010 1681 407773 | 5000 2570 200 | 2.698 % | c | 5202 | 1010 1681 407773 | 5500 2671 201 | 2.698 % | c | 5354 | 1010 1681 407773 | 6050 2823 202 | 2.698 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 37.7453 s Remaining CPU time: 142.255 s c =============================================================================== c | 5369 | 1010 1682 408532 | 5000 2838 201 | 2.698 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 37.8262 s Remaining CPU time: 142.174 s c =============================================================================== c | 5374 | 1010 1683 409291 | 5000 2843 201 | 2.698 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 37.9082 s Remaining CPU time: 142.092 s c =============================================================================== c | 5378 | 1010 1684 410050 | 5000 2847 201 | 2.698 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 38.0152 s Remaining CPU time: 141.985 s c =============================================================================== c | 5393 | 1010 1685 410809 | 5000 2862 201 | 2.698 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 38.0952 s Remaining CPU time: 141.905 s c =============================================================================== c | 5398 | 1010 1686 411568 | 5000 2867 200 | 2.698 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 38.1972 s Remaining CPU time: 141.803 s c =============================================================================== c | 5410 | 1010 1687 412327 | 5000 2879 200 | 2.698 % | c | 5511 | 1010 1687 412327 | 5500 2980 200 | 2.698 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 38.4402 s Remaining CPU time: 141.56 s c =============================================================================== c | 5513 | 1010 1688 413086 | 5000 2982 200 | 2.698 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 38.5201 s Remaining CPU time: 141.48 s c =============================================================================== c | 5520 | 1010 1689 413845 | 5000 2989 199 | 2.698 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 38.5991 s Remaining CPU time: 141.401 s c =============================================================================== c | 5520 | 1010 1690 414604 | 5000 2989 199 | 2.698 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 38.6791 s Remaining CPU time: 141.321 s c =============================================================================== c | 5520 | 1010 1691 415363 | 5000 2989 199 | 2.698 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 38.7591 s Remaining CPU time: 141.241 s c =============================================================================== c | 5523 | 1010 1692 416122 | 5000 2992 199 | 2.698 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 38.8381 s Remaining CPU time: 141.162 s c =============================================================================== c | 5526 | 1010 1693 416881 | 5000 2995 199 | 2.698 % | c | 5626 | 1010 1693 416881 | 5500 3095 200 | 2.698 % | c | 5776 | 1010 1693 416881 | 6050 3245 200 | 2.698 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 39.386 s Remaining CPU time: 140.614 s c =============================================================================== c | 5836 | 1010 1694 417640 | 5000 3305 197 | 2.698 % | c | 5937 | 1010 1694 417640 | 5500 3406 198 | 2.698 % | c | 6088 | 1010 1694 417640 | 6050 3557 197 | 2.698 % | c | 6314 | 1010 1694 417640 | 6655 3783 198 | 2.698 % | c | 6651 | 1010 1694 417640 | 7320 4120 199 | 2.698 % | c | 7158 | 1010 1694 417640 | 8052 4627 201 | 2.698 % | c | 7917 | 1010 1694 417640 | 8857 5386 204 | 2.698 % | c | 9057 | 1010 1694 417640 | 9743 6526 208 | 2.698 % | c | 10765 | 1010 1694 417640 | 10717 8234 211 | 2.698 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 48.4596 s Remaining CPU time: 131.54 s c =============================================================================== c | 12312 | 1010 1695 418399 | 5000 9781 213 | 2.698 % | c | 12412 | 1010 1695 418399 | 5500 4991 216 | 2.698 % | c | 12562 | 1010 1695 418399 | 6050 5141 216 | 2.698 % | c | 12787 | 1010 1695 418399 | 6655 5366 216 | 2.698 % | c | 13124 | 1010 1695 418399 | 7320 5703 216 | 2.698 % | c | 13630 | 1010 1695 418399 | 8052 6209 217 | 2.698 % | c | 14390 | 1010 1695 418399 | 8857 6969 218 | 2.698 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 52.2721 s Remaining CPU time: 127.728 s c =============================================================================== c | 14846 | 1010 1696 419158 | 5000 7425 217 | 2.698 % | c | 14946 | 1010 1696 419158 | 5500 3813 210 | 2.698 % | c | 15096 | 1010 1696 419158 | 6050 3963 210 | 2.698 % | c | 15321 | 1010 1696 419158 | 6655 4188 211 | 2.698 % | c | 15658 | 1010 1696 419158 | 7320 4525 212 | 2.698 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 54.2018 s Remaining CPU time: 125.798 s c =============================================================================== c | 15918 | 1010 1697 419917 | 5000 4785 212 | 2.698 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 54.3867 s Remaining CPU time: 125.613 s c =============================================================================== c | 15992 | 1010 1698 420676 | 5000 4859 212 | 2.698 % | c | 16092 | 1010 1698 420676 | 5500 4959 212 | 2.698 % | c | 16242 | 1010 1698 420676 | 6050 5109 212 | 2.698 % | c | 16467 | 1010 1698 420676 | 6655 5334 212 | 2.698 % | c | 16804 | 1010 1698 420676 | 7320 5671 213 | 2.698 % | c | 17310 | 1010 1698 420676 | 8052 6177 213 | 2.698 % | c | 18069 | 1010 1698 420676 | 8857 6936 214 | 2.698 % | c | 19208 | 1010 1698 420676 | 9743 8075 215 | 2.698 % | c | 20916 | 1010 1698 420676 | 10717 9783 216 | 2.698 % | c | 23479 | 1010 1698 420676 | 11789 6843 212 | 2.698 % | c | 27323 | 1010 1698 420676 | 12968 10687 216 | 2.698 % | c | 33092 | 1010 1698 420676 | 14265 9826 216 | 2.698 % | c | 41741 | 1010 1698 420676 | 15692 11200 217 | 2.698 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 97.8851 s Remaining CPU time: 82.1149 s c =============================================================================== c | 50378 | 1010 1699 421435 | 5000 11855 216 | 2.698 % | c | 50478 | 1010 1699 421435 | 5500 3064 209 | 2.698 % | c | 50628 | 1010 1699 421435 | 6050 3214 209 | 2.698 % | c | 50853 | 1010 1699 421435 | 6655 3439 210 | 2.698 % | c | 51190 | 1010 1699 421435 | 7320 3776 210 | 2.698 % | c | 51696 | 1010 1699 421435 | 8052 4282 211 | 2.698 % | c | 52455 | 1010 1699 421435 | 8857 5041 212 | 2.698 % | c | 53594 | 1010 1699 421435 | 9743 6180 213 | 2.698 % | c | 55302 | 1010 1699 421435 | 10717 7888 215 | 2.698 % | c | 57865 | 1010 1699 421435 | 11789 10451 216 | 2.698 % | c | 61709 | 1010 1699 421435 | 12968 8263 215 | 2.698 % | c | 67475 | 1010 1699 421435 | 14265 7404 216 | 2.698 % | c | 76124 | 1010 1699 421435 | 15692 8769 218 | 2.698 % | c | 89098 | 1010 1699 421435 | 17261 13756 218 | 2.698 % | c | 108559 | 1010 1699 421435 | 18987 15671 218 | 2.698 % | c There are 28 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 251 2480 4867 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 502 2488 5292 | 5000 0 nan | 0.000 % | c | 104 | 502 2488 5292 | 5500 104 41 | 56.984 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1049 2504 98821 | 5000 0 nan | 0.000 % | c | 101 | 1049 2504 98821 | 5500 101 45 | 30.345 % | c | 251 | 1049 2504 98821 | 6050 251 33 | 30.345 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1397 2513 220821 | 5000 0 nan | 0.000 % | c | 100 | 1397 2513 220821 | 5500 100 20 | 17.533 % | c | 250 | 1397 2513 220821 | 6050 250 20 | 17.533 % | c | 475 | 1397 2513 220821 | 6655 475 18 | 17.533 % | c | 814 | 1397 2513 220821 | 7320 814 18 | 17.533 % | c | 1320 | 1395 2513 220821 | 8052 1023 17 | 17.651 % | c | 2079 | 1395 2513 220821 | 8857 1782 18 | 17.652 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2140 2550 358097 | 5000 0 nan | 0.000 % | c | 100 | 2140 2550 358097 | 5500 100 42 | 5.226 % | c | 250 | 2140 2550 358097 | 6050 250 24 | 5.226 % | c | 476 | 2140 2550 358097 | 6655 476 24 | 5.226 % | c | 816 | 2140 2550 358097 | 7320 816 23 | 5.226 % | c | 1323 | 2140 2550 358097 | 8052 1323 20 | 5.226 % | c | 2082 | 2140 2550 358097 | 8857 2082 21 | 5.226 % | c | 3221 | 2140 2550 358097 | 9743 3221 20 | 5.226 % | c | 4929 | 2140 2550 358097 | 10717 4929 22 | 5.226 % | c | 7491 | 2138 2550 358097 | 11789 5623 21 | 5.314 % | c | 11335 | 2123 2550 358097 | 12968 4489 17 | 6.023 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2820 2582 414126 | 5000 0 nan | 0.000 % | c | 100 | 2820 2582 414126 | 5500 100 38 | 1.605 % | c | 250 | 2820 2582 414126 | 6050 250 28 | 1.605 % | c | 475 | 2820 2582 414126 | 6655 475 27 | 1.605 % | c | 815 | 2820 2582 414126 | 7320 815 28 | 1.605 % | c | 1321 | 2820 2582 414126 | 8052 1321 24 | 1.605 % | c | 2080 | 2820 2582 414126 | 8857 2080 24 | 1.605 % | c | 3219 | 2820 2582 414126 | 9743 3219 29 | 1.605 % | c | 4927 | 2820 2582 414126 | 10717 4927 30 | 1.605 % | c | 7489 | 2820 2582 414126 | 11789 7489 32 | 1.605 % | c | 11335 | 2820 2582 414126 | 12968 11335 31 | 1.605 % | c | 17101 | 2820 2582 414126 | 14265 10549 31 | 1.605 % | c | 25751 | 2820 2582 414126 | 15692 12012 28 | 1.605 % | c | 38726 | 2818 2582 414126 | 17261 9111 27 | 1.675 % | c | 58187 | 2818 2582 414126 | 18987 11205 39 | 1.675 % | c | 87381 | 2816 2582 414126 | 20886 11423 35 | 1.745 % | c | 131170 | 2816 2582 414126 | 22974 13015 43 | 1.745 % | c | 196854 | 2816 2582 414126 | 25272 20897 30 | 1.745 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3593 2653 425736 | 5000 0 nan | 0.000 % | c | 100 | 3593 2653 425736 | 5500 100 47 | 0.910 % | c | 251 | 3593 2653 425736 | 6050 251 37 | 0.910 % | c | 480 | 3593 2653 425736 | 6655 480 43 | 0.910 % | c | 817 | 3593 2653 425736 | 7320 817 42 | 0.910 % | c | 1323 | 3593 2653 425736 | 8052 1323 42 | 0.910 % | c | 2082 | 3593 2653 425736 | 8857 2082 40 | 0.910 % | c | 3221 | 3593 2653 425736 | 9743 3221 47 | 0.910 % | c | 4930 | 3593 2653 425736 | 10717 4930 55 | 0.910 % | c | 7492 | 3593 2653 425736 | 11789 7492 60 | 0.910 % | c | 11336 | 3593 2653 425736 | 12968 11336 63 | 0.910 % | c | 17103 | 3593 2653 425736 | 14265 10566 61 | 0.910 % | c | 25752 | 3593 2653 425736 | 15692 11842 54 | 0.910 % | c | 38726 | 3593 2653 425736 | 17261 8736 55 | 0.910 % | c | 58189 | 3593 2653 425736 | 18987 10767 75 | 0.910 % | c | 87381 | 3593 2653 425736 | 20886 10809 72 | 0.910 % | c | 131172 | 3593 2653 425736 | 22974 12127 72 | 0.910 % | c | 196860 | 3593 2653 425736 | 25272 19938 118 | 0.910 % | c | 295386 | 3593 2653 425736 | 27799 12347 45 | 0.910 % | c | 443176 | 3593 2653 425736 | 30579 23456 86 | 0.910 % |