c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1118 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1033 | c | Number Clauses: 1117 | 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 | 1005 1145 4709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1005 1146 5463 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1005 1147 6217 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1005 1148 6971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1005 1149 7725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1005 1150 8479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1005 1151 9233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1005 1152 9987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1005 1153 10741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1005 1154 11495 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1005 1155 12249 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1005 1156 13003 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1005 1157 13757 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1005 1158 14511 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1005 1159 15265 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1005 1160 16019 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1005 1161 16773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1005 1162 17527 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1005 1163 18281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1005 1164 19035 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1005 1165 19789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1005 1166 20543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1005 1167 21297 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1005 1168 22051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1005 1169 22805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1005 1170 23559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1005 1171 24313 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1005 1172 25067 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1005 1173 25821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1005 1174 26575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1005 1175 27329 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 1005 1176 28083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 1005 1177 28837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 1005 1178 29591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1005 1179 30345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 1005 1180 31099 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 1005 1181 31853 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 1005 1182 32607 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 1005 1183 33361 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 1005 1184 34115 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 1005 1185 34869 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 1005 1186 35623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 1005 1187 36377 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 1005 1188 37131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 1005 1189 37885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 1005 1190 38639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 1005 1191 39393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 1005 1192 40147 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 1005 1193 40901 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 0 | 1005 1194 41655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 1005 1195 42409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 1005 1196 43163 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 1005 1197 43917 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 1005 1198 44671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 1005 1199 45425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 1005 1200 46179 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 0 | 1005 1201 46933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 1005 1202 47687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 1005 1203 48441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 1005 1204 49195 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 1005 1205 49949 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 1005 1206 50703 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 1005 1207 51457 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 1005 1208 52211 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 0 | 1005 1209 52965 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 1005 1210 53719 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 0 | 1005 1211 54473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 0 | 1005 1212 55227 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 0 | 1005 1213 55981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 0 | 1005 1214 56735 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 1005 1215 57489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 1005 1216 58243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 0 | 1005 1217 58997 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 0 | 1005 1218 59751 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 0 | 1005 1219 60505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 1005 1220 61259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 0 | 1005 1221 62013 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 0 | 1005 1222 62767 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 0 | 1005 1223 63521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 0 | 1005 1224 64275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 0 | 1005 1225 65029 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 0 | 1005 1226 65783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 0 | 1005 1227 66537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 0 | 1005 1228 67291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 0 | 1005 1229 68045 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 0 | 1005 1230 68799 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 0 | 1005 1231 69553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 0 | 1005 1232 70307 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s c =============================================================================== c | 0 | 1005 1233 71061 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 0 | 1005 1234 71815 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 0 | 1005 1235 72569 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 1005 1236 73323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 0 | 1005 1237 74077 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 0 | 1005 1238 74831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 0 | 1005 1239 75585 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 0 | 1005 1240 76339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 0 | 1005 1241 77093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.857869 s Remaining CPU time: 179.142 s c =============================================================================== c | 0 | 1005 1242 77847 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 0 | 1005 1243 78601 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 0 | 1005 1244 79355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 0 | 1005 1245 80109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 0 | 1005 1246 80863 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.971852 s Remaining CPU time: 179.028 s c =============================================================================== c | 0 | 1005 1247 81617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 0 | 1005 1248 82371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 0 | 1005 1249 83125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 0 | 1005 1250 83879 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 1005 1251 84633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 1.09583 s Remaining CPU time: 178.904 s c =============================================================================== c | 0 | 1005 1252 85387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 0 | 1005 1253 86141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 0 | 1005 1254 86895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 1.17282 s Remaining CPU time: 178.827 s c =============================================================================== c | 0 | 1005 1255 87649 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 0 | 1005 1256 88403 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 0 | 1005 1257 89157 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 0 | 1005 1258 89911 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 0 | 1005 1259 90665 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 1.3068 s Remaining CPU time: 178.693 s c =============================================================================== c | 0 | 1005 1260 91419 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 1005 1261 92173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 1.36279 s Remaining CPU time: 178.637 s c =============================================================================== c | 0 | 1005 1262 92927 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 1.39079 s Remaining CPU time: 178.609 s c =============================================================================== c | 0 | 1005 1263 93681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 0 | 1005 1264 94435 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 0 | 1005 1265 95189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 0 | 1005 1266 95943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 1.50777 s Remaining CPU time: 178.492 s c =============================================================================== c | 0 | 1005 1267 96697 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 0 | 1005 1268 97451 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 1.56576 s Remaining CPU time: 178.434 s c =============================================================================== c | 0 | 1005 1269 98205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 1.59576 s Remaining CPU time: 178.404 s c =============================================================================== c | 0 | 1005 1270 98959 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 1.62475 s Remaining CPU time: 178.375 s c =============================================================================== c | 0 | 1005 1271 99713 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 0 | 1005 1272 100467 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 1.68574 s Remaining CPU time: 178.314 s c =============================================================================== c | 0 | 1005 1273 101221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 1.71674 s Remaining CPU time: 178.283 s c =============================================================================== c | 0 | 1005 1274 101975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 0 | 1005 1275 102729 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 1.77873 s Remaining CPU time: 178.221 s c =============================================================================== c | 0 | 1005 1276 103483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 1.81072 s Remaining CPU time: 178.189 s c =============================================================================== c | 0 | 1005 1277 104237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 0 | 1005 1278 104991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 0 | 1005 1279 105745 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 0 | 1005 1280 106499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 1.9407 s Remaining CPU time: 178.059 s c =============================================================================== c | 0 | 1005 1281 107253 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 1.9747 s Remaining CPU time: 178.025 s c =============================================================================== c | 0 | 1005 1282 108007 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s c =============================================================================== c | 0 | 1005 1283 108761 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 2.04269 s Remaining CPU time: 177.957 s c =============================================================================== c | 0 | 1005 1284 109515 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 0 | 1005 1285 110269 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 2.11168 s Remaining CPU time: 177.888 s c =============================================================================== c | 0 | 1005 1286 111023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 0 | 1005 1287 111777 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 2.18367 s Remaining CPU time: 177.816 s c =============================================================================== c | 0 | 1005 1288 112531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 2.22066 s Remaining CPU time: 177.779 s c =============================================================================== c | 0 | 1005 1289 113285 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 2.25666 s Remaining CPU time: 177.743 s c =============================================================================== c | 0 | 1005 1290 114039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 0 | 1005 1291 114793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s c =============================================================================== c | 0 | 1005 1292 115547 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 0 | 1005 1293 116301 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 2.40163 s Remaining CPU time: 177.598 s c =============================================================================== c | 0 | 1005 1294 117055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 2.43963 s Remaining CPU time: 177.56 s c =============================================================================== c | 0 | 1005 1295 117809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 2.47762 s Remaining CPU time: 177.522 s c =============================================================================== c | 0 | 1005 1296 118563 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 2.51562 s Remaining CPU time: 177.484 s c =============================================================================== c | 0 | 1005 1297 119317 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 2.55261 s Remaining CPU time: 177.447 s c =============================================================================== c | 0 | 1005 1298 120071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 2.59061 s Remaining CPU time: 177.409 s c =============================================================================== c | 0 | 1005 1299 120825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 2.6306 s Remaining CPU time: 177.369 s c =============================================================================== c | 0 | 1005 1300 121579 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 0 | 1005 1301 122333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 2.70459 s Remaining CPU time: 177.295 s c =============================================================================== c | 0 | 1005 1302 123087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 2.74458 s Remaining CPU time: 177.255 s c =============================================================================== c | 0 | 1005 1303 123841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 2.78458 s Remaining CPU time: 177.215 s c =============================================================================== c | 0 | 1005 1304 124595 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 2.82557 s Remaining CPU time: 177.174 s c =============================================================================== c | 0 | 1005 1305 125349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 2.86556 s Remaining CPU time: 177.134 s c =============================================================================== c | 0 | 1005 1306 126103 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 0 | 1005 1307 126857 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 2.94755 s Remaining CPU time: 177.052 s c =============================================================================== c | 0 | 1005 1308 127611 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s c =============================================================================== c | 0 | 1005 1309 128365 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 3.02754 s Remaining CPU time: 176.972 s c =============================================================================== c | 0 | 1005 1310 129119 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s c =============================================================================== c | 0 | 1005 1311 129873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 3.11153 s Remaining CPU time: 176.888 s c =============================================================================== c | 0 | 1005 1312 130627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 3.15452 s Remaining CPU time: 176.845 s c =============================================================================== c | 0 | 1005 1313 131381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s c =============================================================================== c | 0 | 1005 1314 132135 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 3.23851 s Remaining CPU time: 176.761 s c =============================================================================== c | 0 | 1005 1315 132889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 3.2815 s Remaining CPU time: 176.718 s c =============================================================================== c | 0 | 1005 1316 133643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 3.32449 s Remaining CPU time: 176.676 s c =============================================================================== c | 0 | 1005 1317 134397 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s c =============================================================================== c | 0 | 1005 1318 135151 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 3.41048 s Remaining CPU time: 176.59 s c =============================================================================== c | 0 | 1005 1319 135905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 3.45248 s Remaining CPU time: 176.548 s c =============================================================================== c | 0 | 1005 1320 136659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 3.49847 s Remaining CPU time: 176.502 s c =============================================================================== c | 0 | 1005 1321 137413 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 3.54346 s Remaining CPU time: 176.457 s c =============================================================================== c | 0 | 1005 1322 138167 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 3.58945 s Remaining CPU time: 176.411 s c =============================================================================== c | 0 | 1005 1323 138921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 3.63545 s Remaining CPU time: 176.365 s c =============================================================================== c | 0 | 1005 1324 139675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 3.68144 s Remaining CPU time: 176.319 s c =============================================================================== c | 0 | 1005 1325 140429 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 3.72743 s Remaining CPU time: 176.273 s c =============================================================================== c | 0 | 1005 1326 141183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 3.77343 s Remaining CPU time: 176.227 s c =============================================================================== c | 0 | 1005 1327 141937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 3.81942 s Remaining CPU time: 176.181 s c =============================================================================== c | 0 | 1005 1328 142691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 3.86841 s Remaining CPU time: 176.132 s c =============================================================================== c | 0 | 1005 1329 143445 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 3.9164 s Remaining CPU time: 176.084 s c =============================================================================== c | 0 | 1005 1330 144199 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 3.9654 s Remaining CPU time: 176.035 s c =============================================================================== c | 0 | 1005 1331 144953 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 4.01439 s Remaining CPU time: 175.986 s c =============================================================================== c | 0 | 1005 1332 145707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 4.06438 s Remaining CPU time: 175.936 s c =============================================================================== c | 0 | 1005 1333 146461 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 4.11437 s Remaining CPU time: 175.886 s c =============================================================================== c | 0 | 1005 1334 147215 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 4.16437 s Remaining CPU time: 175.836 s c =============================================================================== c | 0 | 1005 1335 147969 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 4.21336 s Remaining CPU time: 175.787 s c =============================================================================== c | 0 | 1005 1336 148723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 4.26335 s Remaining CPU time: 175.737 s c =============================================================================== c | 0 | 1005 1337 149477 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 4.31434 s Remaining CPU time: 175.686 s c =============================================================================== c | 0 | 1005 1338 150231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 4.36534 s Remaining CPU time: 175.635 s c =============================================================================== c | 0 | 1005 1339 150985 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 4.41633 s Remaining CPU time: 175.584 s c =============================================================================== c | 0 | 1005 1340 151739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 4.46832 s Remaining CPU time: 175.532 s c =============================================================================== c | 0 | 1005 1341 152493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 4.51931 s Remaining CPU time: 175.481 s c =============================================================================== c | 0 | 1005 1342 153247 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 4.5723 s Remaining CPU time: 175.428 s c =============================================================================== c | 0 | 1005 1343 154001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 4.6253 s Remaining CPU time: 175.375 s c =============================================================================== c | 0 | 1005 1344 154755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 4.67929 s Remaining CPU time: 175.321 s c =============================================================================== c | 0 | 1005 1345 155509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 4.73128 s Remaining CPU time: 175.269 s c =============================================================================== c | 0 | 1005 1346 156263 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 4.78527 s Remaining CPU time: 175.215 s c =============================================================================== c | 0 | 1005 1347 157017 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 4.83826 s Remaining CPU time: 175.162 s c =============================================================================== c | 0 | 1005 1348 157771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 4.89226 s Remaining CPU time: 175.108 s c =============================================================================== c | 0 | 1005 1349 158525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 4.94725 s Remaining CPU time: 175.053 s c =============================================================================== c | 0 | 1005 1350 159279 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 5.00024 s Remaining CPU time: 175 s c =============================================================================== c | 0 | 1005 1351 160033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 5.05523 s Remaining CPU time: 174.945 s c =============================================================================== c | 0 | 1005 1352 160787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 5.11022 s Remaining CPU time: 174.89 s c =============================================================================== c | 0 | 1005 1353 161541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 5.16621 s Remaining CPU time: 174.834 s c =============================================================================== c | 0 | 1005 1354 162295 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 5.22121 s Remaining CPU time: 174.779 s c =============================================================================== c | 0 | 1005 1355 163049 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 5.2782 s Remaining CPU time: 174.722 s c =============================================================================== c | 0 | 1005 1356 163803 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 5.33619 s Remaining CPU time: 174.664 s c =============================================================================== c | 0 | 1005 1357 164557 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 5.39318 s Remaining CPU time: 174.607 s c =============================================================================== c | 0 | 1005 1358 165311 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 5.45017 s Remaining CPU time: 174.55 s c =============================================================================== c | 0 | 1005 1359 166065 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 5.50716 s Remaining CPU time: 174.493 s c =============================================================================== c | 0 | 1005 1360 166819 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 5.56515 s Remaining CPU time: 174.435 s c =============================================================================== c | 0 | 1005 1361 167573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 5.62214 s Remaining CPU time: 174.378 s c =============================================================================== c | 0 | 1005 1362 168327 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 5.68114 s Remaining CPU time: 174.319 s c =============================================================================== c | 0 | 1005 1363 169081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 5.73813 s Remaining CPU time: 174.262 s c =============================================================================== c | 0 | 1005 1364 169835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 5.79612 s Remaining CPU time: 174.204 s c =============================================================================== c | 0 | 1005 1365 170589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 5.85511 s Remaining CPU time: 174.145 s c =============================================================================== c | 0 | 1005 1366 171343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 5.9141 s Remaining CPU time: 174.086 s c =============================================================================== c | 1 | 1005 1367 172097 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 5.97409 s Remaining CPU time: 174.026 s c =============================================================================== c | 1 | 1005 1368 172851 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 6.03408 s Remaining CPU time: 173.966 s c =============================================================================== c | 1 | 1005 1369 173605 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 6.09507 s Remaining CPU time: 173.905 s c =============================================================================== c | 1 | 1005 1370 174359 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 6.15606 s Remaining CPU time: 173.844 s c =============================================================================== c | 1 | 1005 1371 175113 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 6.21705 s Remaining CPU time: 173.783 s c =============================================================================== c | 1 | 1005 1372 175867 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 6.27804 s Remaining CPU time: 173.722 s c =============================================================================== c | 1 | 1005 1373 176621 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 6.33904 s Remaining CPU time: 173.661 s c =============================================================================== c | 1 | 1005 1374 177375 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 6.40103 s Remaining CPU time: 173.599 s c =============================================================================== c | 1 | 1005 1375 178129 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 6.46402 s Remaining CPU time: 173.536 s c =============================================================================== c | 1 | 1005 1376 178883 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 6.52501 s Remaining CPU time: 173.475 s c =============================================================================== c | 1 | 1005 1377 179637 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 6.588 s Remaining CPU time: 173.412 s c =============================================================================== c | 1 | 1005 1378 180391 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 6.65099 s Remaining CPU time: 173.349 s c =============================================================================== c | 1 | 1005 1379 181145 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 6.71498 s Remaining CPU time: 173.285 s c =============================================================================== c | 1 | 1005 1380 181899 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 6.77797 s Remaining CPU time: 173.222 s c =============================================================================== c | 1 | 1005 1381 182653 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 6.84096 s Remaining CPU time: 173.159 s c =============================================================================== c | 1 | 1005 1382 183407 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 6.90395 s Remaining CPU time: 173.096 s c =============================================================================== c | 1 | 1005 1383 184161 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 6.96694 s Remaining CPU time: 173.033 s c =============================================================================== c | 1 | 1005 1384 184915 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 7.03093 s Remaining CPU time: 172.969 s c =============================================================================== c | 1 | 1005 1385 185669 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 7.09392 s Remaining CPU time: 172.906 s c =============================================================================== c | 1 | 1005 1386 186423 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 7.15791 s Remaining CPU time: 172.842 s c =============================================================================== c | 1 | 1005 1387 187177 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 7.2209 s Remaining CPU time: 172.779 s c =============================================================================== c | 1 | 1005 1388 187931 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 7.28589 s Remaining CPU time: 172.714 s c =============================================================================== c | 1 | 1005 1389 188685 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 7.34988 s Remaining CPU time: 172.65 s c =============================================================================== c | 1 | 1005 1390 189439 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 7.41487 s Remaining CPU time: 172.585 s c =============================================================================== c | 1 | 1005 1391 190193 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 7.48186 s Remaining CPU time: 172.518 s c =============================================================================== c | 2 | 1005 1392 190947 | 5000 2 258 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 7.54785 s Remaining CPU time: 172.452 s c =============================================================================== c | 2 | 1005 1393 191701 | 5000 2 258 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 7.61284 s Remaining CPU time: 172.387 s c =============================================================================== c | 2 | 1005 1394 192455 | 5000 2 258 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 7.67783 s Remaining CPU time: 172.322 s c =============================================================================== c | 2 | 1005 1395 193209 | 5000 2 258 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 7.74482 s Remaining CPU time: 172.255 s c =============================================================================== c | 4 | 1005 1396 193963 | 5000 4 131 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 7.81181 s Remaining CPU time: 172.188 s c =============================================================================== c | 6 | 1005 1397 194717 | 5000 6 89 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 7.8788 s Remaining CPU time: 172.121 s c =============================================================================== c | 7 | 1005 1398 195471 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 7.94879 s Remaining CPU time: 172.051 s c =============================================================================== c | 8 | 1005 1399 196225 | 5000 8 131 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 8.01578 s Remaining CPU time: 171.984 s c =============================================================================== c | 8 | 1005 1400 196979 | 5000 8 131 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 8.08477 s Remaining CPU time: 171.915 s c =============================================================================== c | 8 | 1005 1401 197733 | 5000 8 131 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 8.15276 s Remaining CPU time: 171.847 s c =============================================================================== c | 8 | 1005 1402 198487 | 5000 8 131 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 8.22375 s Remaining CPU time: 171.776 s c =============================================================================== c | 9 | 1005 1403 199241 | 5000 9 117 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 8.29074 s Remaining CPU time: 171.709 s c =============================================================================== c | 10 | 1005 1404 199995 | 5000 10 106 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 8.35973 s Remaining CPU time: 171.64 s c =============================================================================== c | 10 | 1005 1405 200749 | 5000 10 106 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 8.42872 s Remaining CPU time: 171.571 s c =============================================================================== c | 10 | 1005 1406 201503 | 5000 10 106 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 8.49571 s Remaining CPU time: 171.504 s c =============================================================================== c | 10 | 1005 1407 202257 | 5000 10 106 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 8.5677 s Remaining CPU time: 171.432 s c =============================================================================== c | 12 | 1005 1408 203011 | 5000 12 130 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 8.63769 s Remaining CPU time: 171.362 s c =============================================================================== c | 12 | 1005 1409 203765 | 5000 12 130 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 8.70768 s Remaining CPU time: 171.292 s c =============================================================================== c | 12 | 1005 1410 204519 | 5000 12 130 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 8.77867 s Remaining CPU time: 171.221 s c =============================================================================== c | 14 | 1005 1411 205273 | 5000 14 112 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 8.85465 s Remaining CPU time: 171.145 s c =============================================================================== c | 17 | 1005 1412 206027 | 5000 17 94 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 8.92364 s Remaining CPU time: 171.076 s c =============================================================================== c | 17 | 1005 1413 206781 | 5000 17 94 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 8.99263 s Remaining CPU time: 171.007 s c =============================================================================== c | 17 | 1005 1414 207535 | 5000 17 94 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 9.06562 s Remaining CPU time: 170.934 s c =============================================================================== c | 17 | 1005 1415 208289 | 5000 17 94 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 9.13561 s Remaining CPU time: 170.864 s c =============================================================================== c | 17 | 1005 1416 209043 | 5000 17 94 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 9.2056 s Remaining CPU time: 170.794 s c =============================================================================== c | 17 | 1005 1417 209797 | 5000 17 94 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 9.27759 s Remaining CPU time: 170.722 s c =============================================================================== c | 19 | 1005 1418 210551 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 9.34858 s Remaining CPU time: 170.651 s c =============================================================================== c | 19 | 1005 1419 211305 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 9.42057 s Remaining CPU time: 170.579 s c =============================================================================== c | 19 | 1005 1420 212059 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 9.49156 s Remaining CPU time: 170.508 s c =============================================================================== c | 19 | 1005 1421 212813 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 9.56155 s Remaining CPU time: 170.438 s c =============================================================================== c | 19 | 1005 1422 213567 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 9.63054 s Remaining CPU time: 170.369 s c =============================================================================== c | 19 | 1005 1423 214321 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 9.70452 s Remaining CPU time: 170.295 s c =============================================================================== c | 19 | 1005 1424 215075 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 9.77751 s Remaining CPU time: 170.222 s c =============================================================================== c | 19 | 1005 1425 215829 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 9.8505 s Remaining CPU time: 170.149 s c =============================================================================== c | 19 | 1005 1426 216583 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 9.92349 s Remaining CPU time: 170.077 s c =============================================================================== c | 19 | 1005 1427 217337 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 9.99648 s Remaining CPU time: 170.004 s c =============================================================================== c | 19 | 1005 1428 218091 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 10.0685 s Remaining CPU time: 169.932 s c =============================================================================== c | 19 | 1005 1429 218845 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 10.1435 s Remaining CPU time: 169.857 s c =============================================================================== c | 19 | 1005 1430 219599 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 10.2164 s Remaining CPU time: 169.784 s c =============================================================================== c | 19 | 1005 1431 220353 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 10.2894 s Remaining CPU time: 169.711 s c =============================================================================== c | 19 | 1005 1432 221107 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 10.3634 s Remaining CPU time: 169.637 s c =============================================================================== c | 19 | 1005 1433 221861 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 10.4354 s Remaining CPU time: 169.565 s c =============================================================================== c | 19 | 1005 1434 222615 | 5000 19 136 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 10.5074 s Remaining CPU time: 169.493 s c =============================================================================== c | 20 | 1005 1435 223369 | 5000 20 129 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 10.5814 s Remaining CPU time: 169.419 s c =============================================================================== c | 20 | 1005 1436 224123 | 5000 20 129 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 10.6544 s Remaining CPU time: 169.346 s c =============================================================================== c | 20 | 1005 1437 224877 | 5000 20 129 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 10.7284 s Remaining CPU time: 169.272 s c =============================================================================== c | 20 | 1005 1438 225631 | 5000 20 129 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 10.8034 s Remaining CPU time: 169.197 s c =============================================================================== c | 20 | 1005 1439 226385 | 5000 20 129 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 10.8753 s Remaining CPU time: 169.125 s c =============================================================================== c | 20 | 1005 1440 227139 | 5000 20 129 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 10.9483 s Remaining CPU time: 169.052 s c =============================================================================== c | 20 | 1005 1441 227893 | 5000 20 129 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 11.0243 s Remaining CPU time: 168.976 s c =============================================================================== c | 21 | 1005 1442 228647 | 5000 21 123 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 11.1033 s Remaining CPU time: 168.897 s c =============================================================================== c | 22 | 1005 1443 229401 | 5000 22 118 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 11.1783 s Remaining CPU time: 168.822 s c =============================================================================== c | 22 | 1005 1444 230155 | 5000 22 118 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 11.2513 s Remaining CPU time: 168.749 s c =============================================================================== c | 22 | 1005 1445 230909 | 5000 22 118 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 11.3273 s Remaining CPU time: 168.673 s c =============================================================================== c | 22 | 1005 1446 231663 | 5000 22 118 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 11.4043 s Remaining CPU time: 168.596 s c =============================================================================== c | 22 | 1005 1447 232417 | 5000 22 118 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 11.4813 s Remaining CPU time: 168.519 s c =============================================================================== c | 22 | 1005 1448 233171 | 5000 22 118 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 11.5582 s Remaining CPU time: 168.442 s c =============================================================================== c | 23 | 1005 1449 233925 | 5000 23 113 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 11.6342 s Remaining CPU time: 168.366 s c =============================================================================== c | 23 | 1005 1450 234679 | 5000 23 113 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 11.7102 s Remaining CPU time: 168.29 s c =============================================================================== c | 23 | 1005 1451 235433 | 5000 23 113 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 11.7872 s Remaining CPU time: 168.213 s c =============================================================================== c | 23 | 1005 1452 236187 | 5000 23 113 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 11.8632 s Remaining CPU time: 168.137 s c =============================================================================== c | 23 | 1005 1453 236941 | 5000 23 113 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 11.9392 s Remaining CPU time: 168.061 s c =============================================================================== c | 24 | 1005 1454 237695 | 5000 24 108 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 12.0162 s Remaining CPU time: 167.984 s c =============================================================================== c | 24 | 1005 1455 238449 | 5000 24 108 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 12.0932 s Remaining CPU time: 167.907 s c =============================================================================== c | 24 | 1005 1456 239203 | 5000 24 108 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 12.1692 s Remaining CPU time: 167.831 s c =============================================================================== c | 25 | 1005 1457 239957 | 5000 25 104 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 12.2461 s Remaining CPU time: 167.754 s c =============================================================================== c | 25 | 1005 1458 240711 | 5000 25 104 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 12.3231 s Remaining CPU time: 167.677 s c =============================================================================== c | 25 | 1005 1459 241465 | 5000 25 104 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 12.4011 s Remaining CPU time: 167.599 s c =============================================================================== c | 26 | 1005 1460 242219 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 12.4801 s Remaining CPU time: 167.52 s c =============================================================================== c | 26 | 1005 1461 242973 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 12.5591 s Remaining CPU time: 167.441 s c =============================================================================== c | 26 | 1005 1462 243727 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 12.6391 s Remaining CPU time: 167.361 s c =============================================================================== c | 26 | 1005 1463 244481 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 12.7181 s Remaining CPU time: 167.282 s c =============================================================================== c | 26 | 1005 1464 245235 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 12.7971 s Remaining CPU time: 167.203 s c =============================================================================== c | 26 | 1005 1465 245989 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 12.876 s Remaining CPU time: 167.124 s c =============================================================================== c | 26 | 1005 1466 246743 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 12.954 s Remaining CPU time: 167.046 s c =============================================================================== c | 26 | 1005 1467 247497 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 13.031 s Remaining CPU time: 166.969 s c =============================================================================== c | 26 | 1005 1468 248251 | 5000 26 101 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 13.109 s Remaining CPU time: 166.891 s c =============================================================================== c | 27 | 1005 1469 249005 | 5000 27 113 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 13.188 s Remaining CPU time: 166.812 s c =============================================================================== c | 28 | 1005 1470 249759 | 5000 28 109 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 13.268 s Remaining CPU time: 166.732 s c =============================================================================== c | 28 | 1005 1471 250513 | 5000 28 109 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 13.346 s Remaining CPU time: 166.654 s c =============================================================================== c | 28 | 1005 1472 251267 | 5000 28 109 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 13.424 s Remaining CPU time: 166.576 s c =============================================================================== c | 30 | 1005 1473 252021 | 5000 30 103 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 13.5019 s Remaining CPU time: 166.498 s c =============================================================================== c | 31 | 1005 1474 252775 | 5000 31 100 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 13.5809 s Remaining CPU time: 166.419 s c =============================================================================== c | 32 | 1005 1475 253529 | 5000 32 97 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 13.6619 s Remaining CPU time: 166.338 s c =============================================================================== c | 36 | 1005 1476 254283 | 5000 36 87 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 13.7419 s Remaining CPU time: 166.258 s c =============================================================================== c | 36 | 1005 1477 255037 | 5000 36 87 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 13.8209 s Remaining CPU time: 166.179 s c =============================================================================== c | 36 | 1005 1478 255791 | 5000 36 87 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 13.9019 s Remaining CPU time: 166.098 s c =============================================================================== c | 37 | 1005 1479 256545 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 13.9819 s Remaining CPU time: 166.018 s c =============================================================================== c | 37 | 1005 1480 257299 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 14.0629 s Remaining CPU time: 165.937 s c =============================================================================== c | 37 | 1005 1481 258053 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 14.1418 s Remaining CPU time: 165.858 s c =============================================================================== c | 37 | 1005 1482 258807 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 14.2218 s Remaining CPU time: 165.778 s c =============================================================================== c | 37 | 1005 1483 259561 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 14.3028 s Remaining CPU time: 165.697 s c =============================================================================== c | 37 | 1005 1484 260315 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 14.3838 s Remaining CPU time: 165.616 s c =============================================================================== c | 37 | 1005 1485 261069 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 14.4648 s Remaining CPU time: 165.535 s c =============================================================================== c | 37 | 1005 1486 261823 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 14.5438 s Remaining CPU time: 165.456 s c =============================================================================== c | 37 | 1005 1487 262577 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 14.6248 s Remaining CPU time: 165.375 s c =============================================================================== c | 37 | 1005 1488 263331 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 14.7058 s Remaining CPU time: 165.294 s c =============================================================================== c | 37 | 1005 1489 264085 | 5000 37 85 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 14.7898 s Remaining CPU time: 165.21 s c =============================================================================== c | 46 | 1005 1490 264839 | 5000 46 150 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 14.8707 s Remaining CPU time: 165.129 s c =============================================================================== c | 47 | 1005 1491 265593 | 5000 47 146 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 14.9517 s Remaining CPU time: 165.048 s c =============================================================================== c | 48 | 1005 1492 266347 | 5000 48 144 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 15.0327 s Remaining CPU time: 164.967 s c =============================================================================== c | 51 | 1005 1493 267101 | 5000 51 135 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 15.1137 s Remaining CPU time: 164.886 s c =============================================================================== c | 54 | 1005 1494 267855 | 5000 54 128 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 15.1937 s Remaining CPU time: 164.806 s c =============================================================================== c | 56 | 1005 1495 268609 | 5000 56 124 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 15.2747 s Remaining CPU time: 164.725 s c =============================================================================== c | 57 | 1005 1496 269363 | 5000 57 122 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 15.3557 s Remaining CPU time: 164.644 s c =============================================================================== c | 57 | 1005 1497 270117 | 5000 57 122 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 15.4377 s Remaining CPU time: 164.562 s c =============================================================================== c | 57 | 1005 1498 270871 | 5000 57 122 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 15.5206 s Remaining CPU time: 164.479 s c =============================================================================== c | 58 | 1005 1499 271625 | 5000 58 120 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 15.6036 s Remaining CPU time: 164.396 s c =============================================================================== c | 59 | 1005 1500 272379 | 5000 59 125 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 15.6866 s Remaining CPU time: 164.313 s c =============================================================================== c | 60 | 1005 1501 273133 | 5000 60 129 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 15.7686 s Remaining CPU time: 164.231 s c =============================================================================== c | 61 | 1005 1502 273887 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 15.8506 s Remaining CPU time: 164.149 s c =============================================================================== c | 62 | 1005 1503 274641 | 5000 62 132 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 15.9336 s Remaining CPU time: 164.066 s c =============================================================================== c | 63 | 1005 1504 275395 | 5000 63 136 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 16.0166 s Remaining CPU time: 163.983 s c =============================================================================== c | 64 | 1005 1505 276149 | 5000 64 140 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 16.1006 s Remaining CPU time: 163.899 s c =============================================================================== c | 64 | 1005 1506 276903 | 5000 64 140 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 16.1835 s Remaining CPU time: 163.816 s c =============================================================================== c | 64 | 1005 1507 277657 | 5000 64 140 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 16.2655 s Remaining CPU time: 163.734 s c =============================================================================== c | 65 | 1005 1508 278411 | 5000 65 144 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 16.3475 s Remaining CPU time: 163.652 s c =============================================================================== c | 67 | 1005 1509 279165 | 5000 67 146 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 16.4305 s Remaining CPU time: 163.569 s c =============================================================================== c | 68 | 1005 1510 279919 | 5000 68 149 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 16.5115 s Remaining CPU time: 163.489 s c =============================================================================== c | 68 | 1005 1511 280673 | 5000 68 149 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 16.5945 s Remaining CPU time: 163.406 s c =============================================================================== c | 68 | 1005 1512 281427 | 5000 68 149 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 16.6795 s Remaining CPU time: 163.321 s c =============================================================================== c | 68 | 1005 1513 282181 | 5000 68 149 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 16.7635 s Remaining CPU time: 163.237 s c =============================================================================== c | 69 | 1005 1514 282935 | 5000 69 153 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 16.8444 s Remaining CPU time: 163.156 s c =============================================================================== c | 69 | 1005 1515 283689 | 5000 69 153 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 16.9294 s Remaining CPU time: 163.071 s c =============================================================================== c | 69 | 1005 1516 284443 | 5000 69 153 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 17.0154 s Remaining CPU time: 162.985 s c =============================================================================== c | 70 | 1005 1517 285197 | 5000 70 151 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 17.1004 s Remaining CPU time: 162.9 s c =============================================================================== c | 78 | 1005 1518 285951 | 5000 78 141 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 17.1844 s Remaining CPU time: 162.816 s c =============================================================================== c | 79 | 1005 1519 286705 | 5000 79 144 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 17.2674 s Remaining CPU time: 162.733 s c =============================================================================== c | 80 | 1005 1520 287459 | 5000 80 147 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 17.3514 s Remaining CPU time: 162.649 s c =============================================================================== c | 81 | 1005 1521 288213 | 5000 81 150 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 17.4363 s Remaining CPU time: 162.564 s c =============================================================================== c | 82 | 1005 1522 288967 | 5000 82 153 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 17.5213 s Remaining CPU time: 162.479 s c =============================================================================== c | 83 | 1005 1523 289721 | 5000 83 156 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 17.6063 s Remaining CPU time: 162.394 s c =============================================================================== c | 83 | 1005 1524 290475 | 5000 83 156 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 17.6913 s Remaining CPU time: 162.309 s c =============================================================================== c | 84 | 1005 1525 291229 | 5000 84 154 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 17.7773 s Remaining CPU time: 162.223 s c =============================================================================== c | 84 | 1005 1526 291983 | 5000 84 154 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 17.8613 s Remaining CPU time: 162.139 s c =============================================================================== c | 84 | 1005 1527 292737 | 5000 84 154 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 17.9463 s Remaining CPU time: 162.054 s c =============================================================================== c | 85 | 1005 1528 293491 | 5000 85 156 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 18.0323 s Remaining CPU time: 161.968 s c =============================================================================== c | 86 | 1005 1529 294245 | 5000 86 159 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 18.1182 s Remaining CPU time: 161.882 s c =============================================================================== c | 86 | 1005 1530 294999 | 5000 86 159 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 18.2062 s Remaining CPU time: 161.794 s c =============================================================================== c | 87 | 1005 1531 295753 | 5000 87 157 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 18.2932 s Remaining CPU time: 161.707 s c =============================================================================== c | 90 | 1005 1532 296507 | 5000 90 156 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 18.3772 s Remaining CPU time: 161.623 s c =============================================================================== c | 91 | 1005 1533 297261 | 5000 91 158 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 18.4632 s Remaining CPU time: 161.537 s c =============================================================================== c | 91 | 1005 1534 298015 | 5000 91 158 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 18.5482 s Remaining CPU time: 161.452 s c =============================================================================== c | 92 | 1005 1535 298769 | 5000 92 161 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 18.6352 s Remaining CPU time: 161.365 s c =============================================================================== c | 93 | 1005 1536 299523 | 5000 93 163 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 18.7212 s Remaining CPU time: 161.279 s c =============================================================================== c | 101 | 1005 1537 300277 | 5000 101 154 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 18.8071 s Remaining CPU time: 161.193 s c =============================================================================== c | 104 | 1005 1538 301031 | 5000 104 154 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 18.8931 s Remaining CPU time: 161.107 s c =============================================================================== c | 104 | 1005 1539 301785 | 5000 104 154 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 18.9801 s Remaining CPU time: 161.02 s c =============================================================================== c | 105 | 1005 1540 302539 | 5000 105 155 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 19.0671 s Remaining CPU time: 160.933 s c =============================================================================== c | 106 | 1005 1541 303293 | 5000 106 157 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 19.1541 s Remaining CPU time: 160.846 s c =============================================================================== c | 107 | 1005 1542 304047 | 5000 107 159 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 19.2411 s Remaining CPU time: 160.759 s c =============================================================================== c | 111 | 1005 1543 304801 | 5000 111 154 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 19.3281 s Remaining CPU time: 160.672 s c =============================================================================== c | 111 | 1005 1544 305555 | 5000 111 154 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 19.415 s Remaining CPU time: 160.585 s c =============================================================================== c | 114 | 1005 1545 306309 | 5000 114 154 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 19.501 s Remaining CPU time: 160.499 s c =============================================================================== c | 114 | 1005 1546 307063 | 5000 114 154 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 19.585 s Remaining CPU time: 160.415 s c =============================================================================== c | 115 | 1005 1547 307817 | 5000 115 155 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 19.671 s Remaining CPU time: 160.329 s c =============================================================================== c | 115 | 1005 1548 308571 | 5000 115 155 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 19.756 s Remaining CPU time: 160.244 s c =============================================================================== c | 115 | 1005 1549 309325 | 5000 115 155 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 19.843 s Remaining CPU time: 160.157 s c =============================================================================== c | 118 | 1005 1550 310079 | 5000 118 155 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 19.929 s Remaining CPU time: 160.071 s c =============================================================================== c | 118 | 1005 1551 310833 | 5000 118 155 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 20.015 s Remaining CPU time: 159.985 s c =============================================================================== c | 120 | 1005 1552 311587 | 5000 120 155 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 20.0999 s Remaining CPU time: 159.9 s c =============================================================================== c | 121 | 1005 1553 312341 | 5000 121 157 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 20.1849 s Remaining CPU time: 159.815 s c =============================================================================== c | 123 | 1005 1554 313095 | 5000 123 157 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 20.3309 s Remaining CPU time: 159.669 s c =============================================================================== c | 210 | 1005 1555 313849 | 5000 210 202 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 20.4149 s Remaining CPU time: 159.585 s c =============================================================================== c | 211 | 1005 1556 314603 | 5000 211 201 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 20.5009 s Remaining CPU time: 159.499 s c =============================================================================== c | 214 | 1005 1557 315357 | 5000 214 198 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 20.5859 s Remaining CPU time: 159.414 s c =============================================================================== c | 220 | 1005 1558 316111 | 5000 220 193 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 20.6729 s Remaining CPU time: 159.327 s c =============================================================================== c | 220 | 1005 1559 316865 | 5000 220 193 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 20.7598 s Remaining CPU time: 159.24 s c =============================================================================== c | 221 | 1005 1560 317619 | 5000 221 192 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 20.8558 s Remaining CPU time: 159.144 s c =============================================================================== c | 243 | 1005 1561 318373 | 5000 243 193 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 20.9418 s Remaining CPU time: 159.058 s c =============================================================================== c | 243 | 1005 1562 319127 | 5000 243 193 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 21.0288 s Remaining CPU time: 158.971 s c =============================================================================== c | 243 | 1005 1563 319881 | 5000 243 193 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 21.1158 s Remaining CPU time: 158.884 s c =============================================================================== c | 245 | 1005 1564 320635 | 5000 245 191 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 21.2018 s Remaining CPU time: 158.798 s c =============================================================================== c | 246 | 1005 1565 321389 | 5000 246 190 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 21.2868 s Remaining CPU time: 158.713 s c =============================================================================== c | 248 | 1005 1566 322143 | 5000 248 189 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 21.3738 s Remaining CPU time: 158.626 s c =============================================================================== c | 250 | 1005 1567 322897 | 5000 250 188 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 21.4597 s Remaining CPU time: 158.54 s c =============================================================================== c | 254 | 1005 1568 323651 | 5000 254 185 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 21.5717 s Remaining CPU time: 158.428 s c =============================================================================== c | 279 | 1005 1569 324405 | 5000 279 199 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 21.6577 s Remaining CPU time: 158.342 s c =============================================================================== c | 286 | 1005 1570 325159 | 5000 286 195 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 21.7437 s Remaining CPU time: 158.256 s c =============================================================================== c | 287 | 1005 1571 325913 | 5000 287 194 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 21.8307 s Remaining CPU time: 158.169 s c =============================================================================== c | 287 | 1005 1572 326667 | 5000 287 194 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 21.9167 s Remaining CPU time: 158.083 s c =============================================================================== c | 287 | 1005 1573 327421 | 5000 287 194 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 22.0037 s Remaining CPU time: 157.996 s c =============================================================================== c | 291 | 1005 1574 328175 | 5000 291 192 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 22.0976 s Remaining CPU time: 157.902 s c =============================================================================== c | 294 | 1005 1575 328929 | 5000 294 193 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 22.1866 s Remaining CPU time: 157.813 s c =============================================================================== c | 295 | 1005 1576 329683 | 5000 295 194 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 22.2706 s Remaining CPU time: 157.729 s c =============================================================================== c | 297 | 1005 1577 330437 | 5000 297 193 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 22.3576 s Remaining CPU time: 157.642 s c =============================================================================== c | 299 | 1005 1578 331191 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 22.4446 s Remaining CPU time: 157.555 s c =============================================================================== c | 299 | 1005 1579 331945 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 22.5306 s Remaining CPU time: 157.469 s c =============================================================================== c | 299 | 1005 1580 332699 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 22.6176 s Remaining CPU time: 157.382 s c =============================================================================== c | 299 | 1005 1581 333453 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 22.7035 s Remaining CPU time: 157.296 s c =============================================================================== c | 299 | 1005 1582 334207 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 22.7895 s Remaining CPU time: 157.21 s c =============================================================================== c | 299 | 1005 1583 334961 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 22.8765 s Remaining CPU time: 157.123 s c =============================================================================== c | 299 | 1005 1584 335715 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 22.9635 s Remaining CPU time: 157.036 s c =============================================================================== c | 299 | 1005 1585 336469 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 23.0485 s Remaining CPU time: 156.952 s c =============================================================================== c | 299 | 1005 1586 337223 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 23.1365 s Remaining CPU time: 156.864 s c =============================================================================== c | 299 | 1005 1587 337977 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 23.2215 s Remaining CPU time: 156.779 s c =============================================================================== c | 299 | 1005 1588 338731 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 23.3095 s Remaining CPU time: 156.691 s c =============================================================================== c | 299 | 1005 1589 339485 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 23.3944 s Remaining CPU time: 156.606 s c =============================================================================== c | 299 | 1005 1590 340239 | 5000 299 193 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 23.4844 s Remaining CPU time: 156.516 s c =============================================================================== c | 307 | 1005 1591 340993 | 5000 307 191 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 23.5704 s Remaining CPU time: 156.43 s c =============================================================================== c | 307 | 1005 1592 341747 | 5000 307 191 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 23.6574 s Remaining CPU time: 156.343 s c =============================================================================== c | 307 | 1005 1593 342501 | 5000 307 191 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 23.7434 s Remaining CPU time: 156.257 s c =============================================================================== c | 307 | 1005 1594 343255 | 5000 307 191 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 23.8294 s Remaining CPU time: 156.171 s c =============================================================================== c | 307 | 1005 1595 344009 | 5000 307 191 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 23.9164 s Remaining CPU time: 156.084 s c =============================================================================== c | 307 | 1005 1596 344763 | 5000 307 191 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 24.0053 s Remaining CPU time: 155.995 s c =============================================================================== c | 312 | 1005 1597 345517 | 5000 312 189 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 24.0923 s Remaining CPU time: 155.908 s c =============================================================================== c | 314 | 1005 1598 346271 | 5000 314 188 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 24.1793 s Remaining CPU time: 155.821 s c =============================================================================== c | 316 | 1005 1599 347025 | 5000 316 189 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 24.2673 s Remaining CPU time: 155.733 s c =============================================================================== c | 319 | 1005 1600 347779 | 5000 319 190 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 24.3553 s Remaining CPU time: 155.645 s c =============================================================================== c | 321 | 1005 1601 348533 | 5000 321 191 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 24.4413 s Remaining CPU time: 155.559 s c =============================================================================== c | 322 | 1005 1602 349287 | 5000 322 191 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 24.5283 s Remaining CPU time: 155.472 s c =============================================================================== c | 323 | 1005 1603 350041 | 5000 323 191 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 24.6143 s Remaining CPU time: 155.386 s c =============================================================================== c | 324 | 1005 1604 350795 | 5000 324 192 | 0.000 % | c | 424 | 1005 1604 350795 | 5500 424 214 | 2.711 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 24.8782 s Remaining CPU time: 155.122 s c =============================================================================== c | 425 | 1005 1605 351549 | 5000 425 213 | 2.711 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 24.9662 s Remaining CPU time: 155.034 s c =============================================================================== c | 441 | 1005 1606 352303 | 5000 441 206 | 2.711 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 25.0522 s Remaining CPU time: 154.948 s c =============================================================================== c | 443 | 1005 1607 353057 | 5000 443 206 | 2.711 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 25.1372 s Remaining CPU time: 154.863 s c =============================================================================== c | 443 | 1005 1608 353811 | 5000 443 206 | 2.711 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 25.2242 s Remaining CPU time: 154.776 s c =============================================================================== c | 444 | 1005 1609 354565 | 5000 444 206 | 2.711 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 25.3112 s Remaining CPU time: 154.689 s c =============================================================================== c | 445 | 1005 1610 355319 | 5000 445 206 | 2.711 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 25.3971 s Remaining CPU time: 154.603 s c =============================================================================== c | 452 | 1005 1611 356073 | 5000 452 203 | 2.711 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 25.4811 s Remaining CPU time: 154.519 s c =============================================================================== c | 452 | 1005 1612 356827 | 5000 452 203 | 2.711 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 25.5691 s Remaining CPU time: 154.431 s c =============================================================================== c | 458 | 1005 1613 357581 | 5000 458 204 | 2.711 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 25.6561 s Remaining CPU time: 154.344 s c =============================================================================== c | 460 | 1005 1614 358335 | 5000 460 204 | 2.711 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 25.7431 s Remaining CPU time: 154.257 s c =============================================================================== c | 468 | 1005 1615 359089 | 5000 468 202 | 2.711 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 25.8301 s Remaining CPU time: 154.17 s c =============================================================================== c | 469 | 1005 1616 359843 | 5000 469 202 | 2.711 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 25.9151 s Remaining CPU time: 154.085 s c =============================================================================== c | 470 | 1005 1617 360597 | 5000 470 201 | 2.711 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 26.001 s Remaining CPU time: 153.999 s c =============================================================================== c | 471 | 1005 1618 361351 | 5000 471 201 | 2.711 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 26.086 s Remaining CPU time: 153.914 s c =============================================================================== c | 471 | 1005 1619 362105 | 5000 471 201 | 2.711 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 26.173 s Remaining CPU time: 153.827 s c =============================================================================== c | 472 | 1005 1620 362859 | 5000 472 201 | 2.711 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 26.258 s Remaining CPU time: 153.742 s c =============================================================================== c | 472 | 1005 1621 363613 | 5000 472 201 | 2.711 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 26.343 s Remaining CPU time: 153.657 s c =============================================================================== c | 472 | 1005 1622 364367 | 5000 472 201 | 2.711 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 26.428 s Remaining CPU time: 153.572 s c =============================================================================== c | 472 | 1005 1623 365121 | 5000 472 201 | 2.711 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 26.516 s Remaining CPU time: 153.484 s c =============================================================================== c | 474 | 1005 1624 365875 | 5000 474 202 | 2.711 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 26.602 s Remaining CPU time: 153.398 s c =============================================================================== c | 474 | 1005 1625 366629 | 5000 474 202 | 2.711 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 26.6889 s Remaining CPU time: 153.311 s c =============================================================================== c | 475 | 1005 1626 367383 | 5000 475 202 | 2.711 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 26.7749 s Remaining CPU time: 153.225 s c =============================================================================== c | 476 | 1005 1627 368137 | 5000 476 201 | 2.711 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 26.8589 s Remaining CPU time: 153.141 s c =============================================================================== c | 476 | 1005 1628 368891 | 5000 476 201 | 2.711 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 26.9439 s Remaining CPU time: 153.056 s c =============================================================================== c | 477 | 1005 1629 369645 | 5000 477 201 | 2.711 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 27.0299 s Remaining CPU time: 152.97 s c =============================================================================== c | 477 | 1005 1630 370399 | 5000 477 201 | 2.711 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 27.1139 s Remaining CPU time: 152.886 s c =============================================================================== c | 479 | 1005 1631 371153 | 5000 479 200 | 2.711 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 27.1989 s Remaining CPU time: 152.801 s c =============================================================================== c | 479 | 1005 1632 371907 | 5000 479 200 | 2.711 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 27.2829 s Remaining CPU time: 152.717 s c =============================================================================== c | 479 | 1005 1633 372661 | 5000 479 200 | 2.711 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 27.3678 s Remaining CPU time: 152.632 s c =============================================================================== c | 479 | 1005 1634 373415 | 5000 479 200 | 2.711 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 27.4528 s Remaining CPU time: 152.547 s c =============================================================================== c | 479 | 1005 1635 374169 | 5000 479 200 | 2.711 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 27.5378 s Remaining CPU time: 152.462 s c =============================================================================== c | 479 | 1005 1636 374923 | 5000 479 200 | 2.711 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 27.6208 s Remaining CPU time: 152.379 s c =============================================================================== c | 479 | 1005 1637 375677 | 5000 479 200 | 2.711 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 27.7068 s Remaining CPU time: 152.293 s c =============================================================================== c | 485 | 1005 1638 376431 | 5000 485 198 | 2.711 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 27.7928 s Remaining CPU time: 152.207 s c =============================================================================== c | 489 | 1005 1639 377185 | 5000 489 199 | 2.711 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 27.8788 s Remaining CPU time: 152.121 s c =============================================================================== c | 495 | 1005 1640 377939 | 5000 495 199 | 2.711 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 27.9637 s Remaining CPU time: 152.036 s c =============================================================================== c | 497 | 1005 1641 378693 | 5000 497 200 | 2.711 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 28.1697 s Remaining CPU time: 151.83 s c =============================================================================== c | 594 | 1005 1642 379447 | 5000 594 209 | 2.711 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 28.2547 s Remaining CPU time: 151.745 s c =============================================================================== c | 611 | 1005 1643 380201 | 5000 611 205 | 2.711 % | c | 711 | 1005 1643 380201 | 5500 711 213 | 2.711 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 28.6356 s Remaining CPU time: 151.364 s c =============================================================================== c | 811 | 1005 1644 380955 | 5000 811 215 | 2.711 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 28.7346 s Remaining CPU time: 151.265 s c =============================================================================== c | 852 | 1005 1645 381709 | 5000 852 208 | 2.711 % | c | 952 | 1005 1645 381709 | 5500 952 214 | 2.711 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 29.0116 s Remaining CPU time: 150.988 s c =============================================================================== c | 959 | 1005 1646 382463 | 5000 959 212 | 2.711 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 29.0956 s Remaining CPU time: 150.904 s c =============================================================================== c | 980 | 1005 1647 383217 | 5000 980 208 | 2.711 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 29.2036 s Remaining CPU time: 150.796 s c =============================================================================== c | 1023 | 1005 1648 383971 | 5000 1023 209 | 2.711 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 29.2875 s Remaining CPU time: 150.712 s c =============================================================================== c | 1033 | 1005 1649 384725 | 5000 1033 207 | 2.711 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 29.3735 s Remaining CPU time: 150.626 s c =============================================================================== c | 1045 | 1005 1650 385479 | 5000 1045 205 | 2.711 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 29.4575 s Remaining CPU time: 150.542 s c =============================================================================== c | 1047 | 1005 1651 386233 | 5000 1047 205 | 2.711 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 29.5415 s Remaining CPU time: 150.458 s c =============================================================================== c | 1049 | 1005 1652 386987 | 5000 1049 205 | 2.711 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 29.6245 s Remaining CPU time: 150.376 s c =============================================================================== c | 1050 | 1005 1653 387741 | 5000 1050 205 | 2.711 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 29.7085 s Remaining CPU time: 150.292 s c =============================================================================== c | 1052 | 1005 1654 388495 | 5000 1052 205 | 2.711 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 29.7905 s Remaining CPU time: 150.21 s c =============================================================================== c | 1052 | 1005 1655 389249 | 5000 1052 205 | 2.711 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 29.9894 s Remaining CPU time: 150.011 s c =============================================================================== c | 1146 | 1005 1656 390003 | 5000 1146 206 | 2.711 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 30.0724 s Remaining CPU time: 149.928 s c =============================================================================== c | 1151 | 1005 1657 390757 | 5000 1151 206 | 2.711 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 30.1554 s Remaining CPU time: 149.845 s c =============================================================================== c | 1158 | 1005 1658 391511 | 5000 1158 205 | 2.711 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 30.2424 s Remaining CPU time: 149.758 s c =============================================================================== c | 1164 | 1005 1659 392265 | 5000 1164 205 | 2.711 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 30.3244 s Remaining CPU time: 149.676 s c =============================================================================== c | 1165 | 1005 1660 393019 | 5000 1165 205 | 2.711 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 30.4104 s Remaining CPU time: 149.59 s c =============================================================================== c | 1168 | 1005 1661 393773 | 5000 1168 205 | 2.711 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 30.4934 s Remaining CPU time: 149.507 s c =============================================================================== c | 1169 | 1005 1662 394527 | 5000 1169 205 | 2.711 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 30.5774 s Remaining CPU time: 149.423 s c =============================================================================== c | 1171 | 1005 1663 395281 | 5000 1171 205 | 2.711 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 30.6623 s Remaining CPU time: 149.338 s c =============================================================================== c | 1181 | 1005 1664 396035 | 5000 1181 204 | 2.711 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 30.7433 s Remaining CPU time: 149.257 s c =============================================================================== c | 1181 | 1005 1665 396789 | 5000 1181 204 | 2.711 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 30.8273 s Remaining CPU time: 149.173 s c =============================================================================== c | 1188 | 1005 1666 397543 | 5000 1188 203 | 2.711 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 30.9083 s Remaining CPU time: 149.092 s c =============================================================================== c | 1189 | 1005 1667 398297 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 30.9883 s Remaining CPU time: 149.012 s c =============================================================================== c | 1189 | 1005 1668 399051 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 31.0693 s Remaining CPU time: 148.931 s c =============================================================================== c | 1189 | 1005 1669 399805 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 31.1493 s Remaining CPU time: 148.851 s c =============================================================================== c | 1189 | 1005 1670 400559 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 31.2293 s Remaining CPU time: 148.771 s c =============================================================================== c | 1189 | 1005 1671 401313 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 31.3102 s Remaining CPU time: 148.69 s c =============================================================================== c | 1189 | 1005 1672 402067 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 31.3902 s Remaining CPU time: 148.61 s c =============================================================================== c | 1189 | 1005 1673 402821 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 31.4702 s Remaining CPU time: 148.53 s c =============================================================================== c | 1189 | 1005 1674 403575 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 31.5502 s Remaining CPU time: 148.45 s c =============================================================================== c | 1189 | 1005 1675 404329 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 31.6282 s Remaining CPU time: 148.372 s c =============================================================================== c | 1189 | 1005 1676 405083 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 31.7082 s Remaining CPU time: 148.292 s c =============================================================================== c | 1189 | 1005 1677 405837 | 5000 1189 203 | 2.711 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 31.8102 s Remaining CPU time: 148.19 s c =============================================================================== c | 1199 | 1005 1678 406591 | 5000 1199 203 | 2.711 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 31.8892 s Remaining CPU time: 148.111 s c =============================================================================== c | 1199 | 1005 1679 407345 | 5000 1199 203 | 2.711 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 31.9731 s Remaining CPU time: 148.027 s c =============================================================================== c | 1216 | 1005 1680 408099 | 5000 1216 201 | 2.711 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 32.0541 s Remaining CPU time: 147.946 s c =============================================================================== c | 1220 | 1005 1681 408853 | 5000 1220 200 | 2.711 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 32.1461 s Remaining CPU time: 147.854 s c =============================================================================== c | 1230 | 1005 1682 409607 | 5000 1230 200 | 2.711 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 32.2241 s Remaining CPU time: 147.776 s c =============================================================================== c | 1232 | 1005 1683 410361 | 5000 1232 200 | 2.711 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 32.3031 s Remaining CPU time: 147.697 s c =============================================================================== c | 1233 | 1005 1684 411115 | 5000 1233 200 | 2.711 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 32.3811 s Remaining CPU time: 147.619 s c =============================================================================== c | 1236 | 1005 1685 411869 | 5000 1236 199 | 2.711 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 32.4591 s Remaining CPU time: 147.541 s c =============================================================================== c | 1236 | 1005 1686 412623 | 5000 1236 199 | 2.711 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 32.5371 s Remaining CPU time: 147.463 s c =============================================================================== c | 1246 | 1005 1687 413377 | 5000 1246 198 | 2.711 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 32.629 s Remaining CPU time: 147.371 s c =============================================================================== c | 1257 | 1005 1688 414131 | 5000 1257 198 | 2.711 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 32.707 s Remaining CPU time: 147.293 s c =============================================================================== c | 1258 | 1005 1689 414885 | 5000 1258 198 | 2.711 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 32.784 s Remaining CPU time: 147.216 s c =============================================================================== c | 1260 | 1005 1690 415639 | 5000 1260 198 | 2.711 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 32.862 s Remaining CPU time: 147.138 s c =============================================================================== c | 1272 | 1005 1691 416393 | 5000 1272 196 | 2.711 % | c | 1372 | 1005 1691 416393 | 5500 1372 198 | 2.711 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 33.107 s Remaining CPU time: 146.893 s c =============================================================================== c | 1376 | 1005 1692 417147 | 5000 1376 197 | 2.711 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 33.2599 s Remaining CPU time: 146.74 s c =============================================================================== c | 1441 | 1005 1693 417901 | 5000 1441 196 | 2.711 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 33.3389 s Remaining CPU time: 146.661 s c =============================================================================== c | 1450 | 1005 1694 418655 | 5000 1450 195 | 2.711 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 33.4159 s Remaining CPU time: 146.584 s c =============================================================================== c | 1457 | 1005 1695 419409 | 5000 1457 195 | 2.711 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 33.4939 s Remaining CPU time: 146.506 s c =============================================================================== c | 1457 | 1005 1696 420163 | 5000 1457 195 | 2.711 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 33.5699 s Remaining CPU time: 146.43 s c =============================================================================== c | 1457 | 1005 1697 420917 | 5000 1457 195 | 2.711 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 33.6459 s Remaining CPU time: 146.354 s c =============================================================================== c | 1457 | 1005 1698 421671 | 5000 1457 195 | 2.711 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 33.7229 s Remaining CPU time: 146.277 s c =============================================================================== c | 1457 | 1005 1699 422425 | 5000 1457 195 | 2.711 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 33.7979 s Remaining CPU time: 146.202 s c =============================================================================== c | 1457 | 1005 1700 423179 | 5000 1457 195 | 2.711 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 33.8728 s Remaining CPU time: 146.127 s c =============================================================================== c | 1458 | 1005 1701 423933 | 5000 1458 194 | 2.711 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 33.9488 s Remaining CPU time: 146.051 s c =============================================================================== c | 1458 | 1005 1702 424687 | 5000 1458 194 | 2.711 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 34.0238 s Remaining CPU time: 145.976 s c =============================================================================== c | 1458 | 1005 1703 425441 | 5000 1458 194 | 2.711 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 34.0998 s Remaining CPU time: 145.9 s c =============================================================================== c | 1459 | 1005 1704 426195 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 34.1748 s Remaining CPU time: 145.825 s c =============================================================================== c | 1459 | 1005 1705 426949 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 34.2498 s Remaining CPU time: 145.75 s c =============================================================================== c | 1459 | 1005 1706 427703 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 34.3238 s Remaining CPU time: 145.676 s c =============================================================================== c | 1459 | 1005 1707 428457 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 34.3978 s Remaining CPU time: 145.602 s c =============================================================================== c | 1459 | 1005 1708 429211 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 34.4728 s Remaining CPU time: 145.527 s c =============================================================================== c | 1459 | 1005 1709 429965 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 34.5467 s Remaining CPU time: 145.453 s c =============================================================================== c | 1459 | 1005 1710 430719 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 34.6197 s Remaining CPU time: 145.38 s c =============================================================================== c | 1459 | 1005 1711 431473 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 34.6937 s Remaining CPU time: 145.306 s c =============================================================================== c | 1459 | 1005 1712 432227 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 34.7667 s Remaining CPU time: 145.233 s c =============================================================================== c | 1459 | 1005 1713 432981 | 5000 1459 194 | 2.711 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 34.8397 s Remaining CPU time: 145.16 s c =============================================================================== c | 1463 | 1005 1714 433735 | 5000 1463 194 | 2.711 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 34.9127 s Remaining CPU time: 145.087 s c =============================================================================== c | 1463 | 1005 1715 434489 | 5000 1463 194 | 2.711 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 34.9887 s Remaining CPU time: 145.011 s c =============================================================================== c | 1468 | 1005 1716 435243 | 5000 1468 194 | 2.711 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 35.0617 s Remaining CPU time: 144.938 s c =============================================================================== c | 1468 | 1005 1717 435997 | 5000 1468 194 | 2.711 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 35.1347 s Remaining CPU time: 144.865 s c =============================================================================== c | 1468 | 1005 1718 436751 | 5000 1468 194 | 2.711 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 35.2066 s Remaining CPU time: 144.793 s c =============================================================================== c | 1470 | 1005 1719 437505 | 5000 1470 194 | 2.711 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 35.2786 s Remaining CPU time: 144.721 s c =============================================================================== c | 1470 | 1005 1720 438259 | 5000 1470 194 | 2.711 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 35.3506 s Remaining CPU time: 144.649 s c =============================================================================== c | 1471 | 1005 1721 439013 | 5000 1471 193 | 2.711 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 35.4236 s Remaining CPU time: 144.576 s c =============================================================================== c | 1471 | 1005 1722 439767 | 5000 1471 193 | 2.711 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 35.4966 s Remaining CPU time: 144.503 s c =============================================================================== c | 1478 | 1005 1723 440521 | 5000 1478 193 | 2.711 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 35.5886 s Remaining CPU time: 144.411 s c =============================================================================== c | 1497 | 1005 1724 441275 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 35.6596 s Remaining CPU time: 144.34 s c =============================================================================== c | 1497 | 1005 1725 442029 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 35.7306 s Remaining CPU time: 144.269 s c =============================================================================== c | 1497 | 1005 1726 442783 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 35.8016 s Remaining CPU time: 144.198 s c =============================================================================== c | 1497 | 1005 1727 443537 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 35.8725 s Remaining CPU time: 144.127 s c =============================================================================== c | 1497 | 1005 1728 444291 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 35.9435 s Remaining CPU time: 144.056 s c =============================================================================== c | 1497 | 1005 1729 445045 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 36.0125 s Remaining CPU time: 143.987 s c =============================================================================== c | 1497 | 1005 1730 445799 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 36.0825 s Remaining CPU time: 143.917 s c =============================================================================== c | 1497 | 1005 1731 446553 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 36.1525 s Remaining CPU time: 143.847 s c =============================================================================== c | 1497 | 1005 1732 447307 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 36.2225 s Remaining CPU time: 143.778 s c =============================================================================== c | 1497 | 1005 1733 448061 | 5000 1497 193 | 2.711 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 36.2925 s Remaining CPU time: 143.708 s c =============================================================================== c | 1498 | 1005 1734 448815 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 36.3625 s Remaining CPU time: 143.638 s c =============================================================================== c | 1498 | 1005 1735 449569 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 36.4315 s Remaining CPU time: 143.569 s c =============================================================================== c | 1498 | 1005 1736 450323 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 36.4995 s Remaining CPU time: 143.501 s c =============================================================================== c | 1498 | 1005 1737 451077 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 36.5674 s Remaining CPU time: 143.433 s c =============================================================================== c | 1498 | 1005 1738 451831 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 36.6364 s Remaining CPU time: 143.364 s c =============================================================================== c | 1498 | 1005 1739 452585 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 36.7044 s Remaining CPU time: 143.296 s c =============================================================================== c | 1498 | 1005 1740 453339 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 36.7714 s Remaining CPU time: 143.229 s c =============================================================================== c | 1498 | 1005 1741 454093 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 36.8374 s Remaining CPU time: 143.163 s c =============================================================================== c | 1498 | 1005 1742 454847 | 5000 1498 193 | 2.711 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 36.9044 s Remaining CPU time: 143.096 s c =============================================================================== c | 1499 | 1005 1743 455601 | 5000 1499 193 | 2.711 % | c | 1601 | 1005 1743 455601 | 5500 1601 189 | 2.711 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 37.1274 s Remaining CPU time: 142.873 s c =============================================================================== c | 1608 | 1005 1744 456355 | 5000 1608 189 | 2.711 % | c | 1708 | 1005 1744 456355 | 5500 1708 187 | 2.711 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 37.3693 s Remaining CPU time: 142.631 s c =============================================================================== c | 1712 | 1005 1745 457109 | 5000 1712 186 | 2.711 % | c | 1812 | 1005 1745 457109 | 5500 1812 184 | 2.711 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 37.6103 s Remaining CPU time: 142.39 s c =============================================================================== c | 1821 | 1005 1746 457863 | 5000 1821 183 | 2.711 % | c | 1922 | 1005 1746 457863 | 5500 1922 181 | 2.711 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 37.8432 s Remaining CPU time: 142.157 s c =============================================================================== c | 1924 | 1005 1747 458617 | 5000 1924 181 | 2.711 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 37.9112 s Remaining CPU time: 142.089 s c =============================================================================== c | 1924 | 1005 1748 459371 | 5000 1924 181 | 2.711 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 37.9772 s Remaining CPU time: 142.023 s c =============================================================================== c | 1924 | 1005 1749 460125 | 5000 1924 181 | 2.711 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 38.0442 s Remaining CPU time: 141.956 s c =============================================================================== c | 1925 | 1005 1750 460879 | 5000 1925 181 | 2.711 % | c | 2025 | 1005 1750 460879 | 5500 2025 179 | 2.711 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 38.2842 s Remaining CPU time: 141.716 s c =============================================================================== c | 2025 | 1005 1751 461633 | 5000 2025 179 | 2.711 % | c | 2125 | 1005 1751 461633 | 5500 2125 178 | 2.711 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 38.5431 s Remaining CPU time: 141.457 s c =============================================================================== c | 2133 | 1005 1752 462387 | 5000 2133 177 | 2.711 % | c | 2235 | 1005 1752 462387 | 5500 2235 176 | 2.711 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 38.8321 s Remaining CPU time: 141.168 s c =============================================================================== c | 2242 | 1005 1753 463141 | 5000 2242 176 | 2.711 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 38.8981 s Remaining CPU time: 141.102 s c =============================================================================== c | 2253 | 1005 1754 463895 | 5000 2253 175 | 2.711 % | c | 2354 | 1005 1754 463895 | 5500 2354 174 | 2.711 % | c | 2504 | 1005 1754 463895 | 6050 2504 173 | 2.711 % | c | 2729 | 1005 1754 463895 | 6655 2729 171 | 2.711 % | c | 3066 | 1005 1754 463895 | 7320 3066 169 | 2.711 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 40.9538 s Remaining CPU time: 139.046 s c =============================================================================== c | 3335 | 1005 1755 464649 | 5000 3335 168 | 2.711 % | c | 3435 | 1005 1755 464649 | 5500 3435 167 | 2.711 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 41.3807 s Remaining CPU time: 138.619 s c =============================================================================== c | 3531 | 1005 1756 465403 | 5000 3531 167 | 2.711 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 41.6057 s Remaining CPU time: 138.394 s c =============================================================================== c | 3630 | 1005 1757 466157 | 5000 3630 166 | 2.711 % | c | 3730 | 1005 1757 466157 | 5500 3730 166 | 2.711 % | c | 3880 | 1005 1757 466157 | 6050 3880 164 | 2.711 % | c | 4105 | 1005 1757 466157 | 6655 4105 164 | 2.711 % | c | 4442 | 1005 1757 466157 | 7320 4442 163 | 2.711 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 43.7773 s Remaining CPU time: 136.223 s c =============================================================================== c | 4684 | 1005 1758 466911 | 5000 4684 163 | 2.711 % | c | 4786 | 1005 1758 466911 | 5500 4786 162 | 2.711 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 44.0093 s Remaining CPU time: 135.991 s c =============================================================================== c | 4801 | 1005 1759 467665 | 5000 4801 162 | 2.711 % | c | 4901 | 1005 1759 467665 | 5500 4901 162 | 2.711 % | c | 5051 | 1005 1759 467665 | 6050 5051 160 | 2.711 % | c | 5276 | 1005 1759 467665 | 6655 5276 159 | 2.711 % | c | 5613 | 1005 1759 467665 | 7320 5613 158 | 2.711 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 45.3921 s Remaining CPU time: 134.608 s c =============================================================================== c | 5676 | 1005 1760 468419 | 5000 5676 158 | 2.711 % | c | 5777 | 1005 1760 468419 | 5500 2939 136 | 2.711 % | c | 5927 | 1005 1760 468419 | 6050 3089 136 | 2.711 % | c | 6152 | 1005 1760 468419 | 6655 3314 136 | 2.711 % | c | 6489 | 1005 1760 468419 | 7320 3651 137 | 2.711 % | c | 6995 | 1005 1760 468419 | 8052 4157 138 | 2.711 % | c | 7754 | 1005 1760 468419 | 8857 4916 139 | 2.711 % | c | 8893 | 1005 1760 468419 | 9743 6055 141 | 2.711 % | c | 10601 | 1005 1760 468419 | 10717 7763 143 | 2.711 % | c | 13165 | 1005 1760 468419 | 11789 10327 144 | 2.711 % | c | 17009 | 1005 1760 468419 | 12968 8187 146 | 2.711 % | c | 22775 | 1005 1760 468419 | 14265 7347 145 | 2.711 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 75.8255 s Remaining CPU time: 104.175 s c =============================================================================== c | 25394 | 1005 1761 469173 | 5000 9966 146 | 2.711 % | c | 25494 | 1005 1761 469173 | 5500 5083 144 | 2.711 % | c | 25644 | 1005 1761 469173 | 6050 5233 143 | 2.711 % | c | 25869 | 1005 1761 469173 | 6655 5458 143 | 2.711 % | c | 26209 | 1005 1761 469173 | 7320 5798 144 | 2.711 % | c | 26715 | 1005 1761 469173 | 8052 6304 144 | 2.711 % | c | 27474 | 1005 1761 469173 | 8857 7063 144 | 2.711 % | c | 28613 | 1005 1761 469173 | 9743 8202 145 | 2.711 % | c | 30321 | 1005 1761 469173 | 10717 9910 147 | 2.711 % | c | 32884 | 1005 1761 469173 | 11789 7023 148 | 2.711 % | c | 36728 | 1005 1761 469173 | 12968 10867 150 | 2.711 % | c | 42494 | 1005 1761 469173 | 14265 10018 151 | 2.711 % | c | 51143 | 1005 1761 469173 | 15692 11420 149 | 2.711 % | c | 64117 | 1005 1761 469173 | 17261 8485 148 | 2.711 % | c | 83578 | 1005 1761 469173 | 18987 10454 149 | 2.711 % | 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 2532 4816 | 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 | 494 2539 5226 | 5000 0 nan | 0.000 % | c | 100 | 494 2539 5226 | 5500 100 73 | 57.303 % | c | 250 | 494 2539 5226 | 6050 250 58 | 57.304 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 975 2554 131211 | 5000 0 nan | 0.000 % | c | 100 | 975 2554 131211 | 5500 100 73 | 32.990 % | c | 250 | 975 2554 131211 | 6050 250 41 | 32.990 % | c | 476 | 975 2554 131211 | 6655 476 38 | 32.990 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1758 2583 340689 | 5000 0 nan | 0.000 % | c | 101 | 1758 2583 340689 | 5500 101 48 | 10.398 % | c | 252 | 1758 2583 340689 | 6050 252 32 | 10.398 % | c | 477 | 1758 2583 340689 | 6655 477 27 | 10.398 % | c | 814 | 1758 2583 340689 | 7320 814 25 | 10.398 % | c | 1320 | 1758 2583 340689 | 8052 1320 21 | 10.398 % | c | 2080 | 1747 2583 340689 | 8857 1183 20 | 10.958 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2343 2613 404445 | 5000 0 nan | 0.000 % | c | 100 | 2343 2613 404445 | 5500 100 106 | 4.911 % | c | 250 | 2343 2613 404445 | 6050 250 58 | 4.911 % | c | 475 | 2343 2613 404445 | 6655 475 52 | 4.911 % | c | 814 | 2343 2613 404445 | 7320 814 39 | 4.911 % | c | 1320 | 2343 2613 404445 | 8052 1320 35 | 4.911 % | c | 2079 | 2343 2613 404445 | 8857 2079 32 | 4.911 % | c | 3218 | 2343 2613 404445 | 9743 3218 26 | 4.911 % | c | 4926 | 2343 2613 404445 | 10717 4926 24 | 4.911 % | c | 7488 | 2343 2613 404445 | 11789 7488 22 | 4.911 % | c | 11332 | 2343 2613 404445 | 12968 11332 21 | 4.911 % | c | 17100 | 2338 2613 404445 | 14265 8116 18 | 5.154 % | c | 25750 | 2337 2613 404445 | 15692 8277 20 | 5.154 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3091 2662 445241 | 5000 0 nan | 0.000 % | c | 101 | 3091 2662 445241 | 5500 101 39 | 2.184 % | c | 252 | 3091 2662 445241 | 6050 252 44 | 2.184 % | c | 477 | 3091 2662 445241 | 6655 477 30 | 2.184 % | c | 815 | 3091 2662 445241 | 7320 815 28 | 2.184 % | c | 1321 | 3091 2662 445241 | 8052 1321 32 | 2.184 % | c | 2080 | 3091 2662 445241 | 8857 2080 32 | 2.184 % | c | 3219 | 3091 2662 445241 | 9743 3219 37 | 2.184 % | c | 4930 | 3091 2662 445241 | 10717 4930 36 | 2.184 % | c | 7496 | 3091 2662 445241 | 11789 7496 37 | 2.184 % | c | 11346 | 3091 2662 445241 | 12968 11346 36 | 2.184 % | c | 17112 | 3091 2662 445241 | 14265 10560 42 | 2.184 % | c | 25761 | 3091 2662 445241 | 15692 12012 36 | 2.184 % | c | 38737 | 3091 2662 445241 | 17261 9102 41 | 2.184 % | c | 58198 | 3091 2662 445241 | 18987 11017 36 | 2.184 % | c | 87391 | 3091 2662 445241 | 20886 11296 42 | 2.184 % | c | 131182 | 3091 2662 445241 | 22974 12890 33 | 2.184 % | c | 196866 | 3091 2662 445241 | 25272 20418 47 | 2.184 % | c | 295395 | 3091 2662 445241 | 27799 14306 35 | 2.184 % | c | 443189 | 3089 2662 445241 | 30579 20411 37 | 2.247 % | c | 664872 | 3071 2662 445241 | 33637 14348 27 | 2.816 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3855 2701 470226 | 5000 0 nan | 0.000 % | c | 101 | 3855 2701 470226 | 5500 101 76 | 0.976 % | c | 251 | 3855 2701 470226 | 6050 251 57 | 0.976 % | c | 476 | 3855 2701 470226 | 6655 476 47 | 0.976 % | c | 813 | 3855 2701 470226 | 7320 813 41 | 0.976 % | c | 1320 | 3855 2701 470226 | 8052 1320 43 | 0.976 % | c | 2080 | 3855 2701 470226 | 8857 2080 42 | 0.976 % | c | 3229 | 3855 2701 470226 | 9743 3229 40 | 0.976 % | c | 4939 | 3855 2701 470226 | 10717 4939 47 | 0.976 % | c | 7501 | 3855 2701 470226 | 11789 7501 56 | 0.976 % | c | 11348 | 3855 2701 470226 | 12968 11348 63 | 0.976 % | c | 17115 | 3855 2701 470226 | 14265 10444 78 | 0.976 % | c | 25765 | 3855 2701 470226 | 15692 11625 75 | 0.976 % | c | 38740 | 3855 2701 470226 | 17261 8690 66 | 0.976 % | c | 58204 | 3855 2701 470226 | 18987 10269 99 | 0.976 % | c | 87397 | 3855 2701 470226 | 20886 10422 73 | 0.976 % | c | 131187 | 3855 2701 470226 | 22974 11120 91 | 0.976 % | c | 196875 | 3855 2701 470226 | 25272 17101 113 | 0.976 % | c | 295403 | 3855 2701 470226 | 27799 22008 85 | 0.976 % |