c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1110 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1026 | c | Number Clauses: 1110 | 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 | 998 1138 4655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 998 1139 5401 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 998 1140 6147 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 998 1141 6893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 998 1142 7639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 998 1143 8385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 998 1144 9131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 998 1145 9877 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 998 1146 10623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 998 1147 11369 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 998 1148 12115 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 998 1149 12861 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 998 1150 13607 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 998 1151 14353 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 998 1152 15099 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 998 1153 15845 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 998 1154 16591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 998 1155 17337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 998 1156 18083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 998 1157 18829 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 998 1158 19575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 998 1159 20321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 998 1160 21067 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 998 1161 21813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 998 1162 22559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 998 1163 23305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 998 1164 24051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 998 1165 24797 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 998 1166 25543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 998 1167 26289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 998 1168 27035 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 998 1169 27781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 998 1170 28527 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 998 1171 29273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 998 1172 30019 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 998 1173 30765 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 998 1174 31511 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 998 1175 32257 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 998 1176 33003 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 998 1177 33749 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 998 1178 34495 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 998 1179 35241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 998 1180 35987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 998 1181 36733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 998 1182 37479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 998 1183 38225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 0 | 998 1184 38971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 998 1185 39717 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 998 1186 40463 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 998 1187 41209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 998 1188 41955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 998 1189 42701 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 998 1190 43447 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 998 1191 44193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 0 | 998 1192 44939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 998 1193 45685 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 998 1194 46431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 998 1195 47177 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 998 1196 47923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 998 1197 48669 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 0 | 998 1198 49415 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 998 1199 50161 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 998 1200 50907 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 0 | 998 1201 51653 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 998 1202 52399 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 0 | 998 1203 53145 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 998 1204 53891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 0 | 998 1205 54637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 0 | 998 1206 55383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 998 1207 56129 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 0 | 998 1208 56875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 998 1209 57621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 0 | 998 1210 58367 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 998 1211 59113 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 998 1212 59859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 0 | 998 1213 60605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 0 | 998 1214 61351 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s c =============================================================================== c | 0 | 998 1215 62097 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 0 | 998 1216 62843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 0 | 998 1217 63589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 998 1218 64335 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 0 | 998 1219 65081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 998 1220 65827 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 0 | 998 1221 66573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 0 | 998 1222 67319 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 0 | 998 1223 68065 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 0 | 998 1224 68811 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 998 1225 69557 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 998 1226 70303 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 0 | 998 1227 71049 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 998 1228 71795 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 0 | 998 1229 72541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 0 | 998 1230 73287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 0 | 998 1231 74033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 998 1232 74779 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 0 | 998 1233 75525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 0 | 998 1234 76271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s c =============================================================================== c | 0 | 998 1235 77017 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 0 | 998 1236 77763 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 0 | 998 1237 78509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 0 | 998 1238 79255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 0 | 998 1239 80001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 0 | 998 1240 80747 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 0 | 998 1241 81493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 0 | 998 1242 82239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 0 | 998 1243 82985 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 0 | 998 1244 83731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 0 | 998 1245 84477 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 1.04884 s Remaining CPU time: 178.951 s c =============================================================================== c | 0 | 998 1246 85223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 1.07384 s Remaining CPU time: 178.926 s c =============================================================================== c | 0 | 998 1247 85969 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 0 | 998 1248 86715 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 0 | 998 1249 87461 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 0 | 998 1250 88207 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 1.17782 s Remaining CPU time: 178.822 s c =============================================================================== c | 0 | 998 1251 88953 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s c =============================================================================== c | 0 | 998 1252 89699 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 0 | 998 1253 90445 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 0 | 998 1254 91191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 0 | 998 1255 91937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 0 | 998 1256 92683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 0 | 998 1257 93429 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 0 | 998 1258 94175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 0 | 998 1259 94921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 0 | 998 1260 95667 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 0 | 998 1261 96413 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 1.47877 s Remaining CPU time: 178.521 s c =============================================================================== c | 0 | 998 1262 97159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 1.50977 s Remaining CPU time: 178.49 s c =============================================================================== c | 0 | 998 1263 97905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 1.54177 s Remaining CPU time: 178.458 s c =============================================================================== c | 0 | 998 1264 98651 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 0 | 998 1265 99397 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 1.60576 s Remaining CPU time: 178.394 s c =============================================================================== c | 0 | 998 1266 100143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 1.63875 s Remaining CPU time: 178.361 s c =============================================================================== c | 0 | 998 1267 100889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 0 | 998 1268 101635 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 1.70374 s Remaining CPU time: 178.296 s c =============================================================================== c | 0 | 998 1269 102381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 1.73574 s Remaining CPU time: 178.264 s c =============================================================================== c | 0 | 998 1270 103127 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 1.76973 s Remaining CPU time: 178.23 s c =============================================================================== c | 0 | 998 1271 103873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 1.80373 s Remaining CPU time: 178.196 s c =============================================================================== c | 0 | 998 1272 104619 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 0 | 998 1273 105365 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 0 | 998 1274 106111 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 1.90471 s Remaining CPU time: 178.095 s c =============================================================================== c | 0 | 998 1275 106857 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 0 | 998 1276 107603 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 1.9747 s Remaining CPU time: 178.025 s c =============================================================================== c | 0 | 998 1277 108349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s c =============================================================================== c | 0 | 998 1278 109095 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 2.04569 s Remaining CPU time: 177.954 s c =============================================================================== c | 0 | 998 1279 109841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 0 | 998 1280 110587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 0 | 998 1281 111333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 0 | 998 1282 112079 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 2.18967 s Remaining CPU time: 177.81 s c =============================================================================== c | 0 | 998 1283 112825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s c =============================================================================== c | 0 | 998 1284 113571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 2.26465 s Remaining CPU time: 177.735 s c =============================================================================== c | 0 | 998 1285 114317 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 2.30165 s Remaining CPU time: 177.698 s c =============================================================================== c | 0 | 998 1286 115063 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 2.33864 s Remaining CPU time: 177.661 s c =============================================================================== c | 0 | 998 1287 115809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 0 | 998 1288 116555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 2.41563 s Remaining CPU time: 177.584 s c =============================================================================== c | 0 | 998 1289 117301 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 2.45463 s Remaining CPU time: 177.545 s c =============================================================================== c | 0 | 998 1290 118047 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 2.49362 s Remaining CPU time: 177.506 s c =============================================================================== c | 0 | 998 1291 118793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 2.53261 s Remaining CPU time: 177.467 s c =============================================================================== c | 0 | 998 1292 119539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 2.56961 s Remaining CPU time: 177.43 s c =============================================================================== c | 0 | 998 1293 120285 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 2.6086 s Remaining CPU time: 177.391 s c =============================================================================== c | 0 | 998 1294 121031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 2.6476 s Remaining CPU time: 177.352 s c =============================================================================== c | 0 | 998 1295 121777 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 2.68759 s Remaining CPU time: 177.312 s c =============================================================================== c | 0 | 998 1296 122523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 2.72858 s Remaining CPU time: 177.271 s c =============================================================================== c | 0 | 998 1297 123269 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 0 | 998 1298 124015 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 2.80957 s Remaining CPU time: 177.19 s c =============================================================================== c | 0 | 998 1299 124761 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 2.85157 s Remaining CPU time: 177.148 s c =============================================================================== c | 0 | 998 1300 125507 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 2.89256 s Remaining CPU time: 177.107 s c =============================================================================== c | 0 | 998 1301 126253 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 2.93455 s Remaining CPU time: 177.065 s c =============================================================================== c | 0 | 998 1302 126999 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 2.97655 s Remaining CPU time: 177.023 s c =============================================================================== c | 0 | 998 1303 127745 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 3.01854 s Remaining CPU time: 176.981 s c =============================================================================== c | 0 | 998 1304 128491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 3.06153 s Remaining CPU time: 176.938 s c =============================================================================== c | 0 | 998 1305 129237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 3.10353 s Remaining CPU time: 176.896 s c =============================================================================== c | 0 | 998 1306 129983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s c =============================================================================== c | 0 | 998 1307 130729 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 3.18952 s Remaining CPU time: 176.81 s c =============================================================================== c | 0 | 998 1308 131475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 3.23151 s Remaining CPU time: 176.768 s c =============================================================================== c | 0 | 998 1309 132221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 3.2755 s Remaining CPU time: 176.724 s c =============================================================================== c | 0 | 998 1310 132967 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 3.3175 s Remaining CPU time: 176.683 s c =============================================================================== c | 0 | 998 1311 133713 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 3.36149 s Remaining CPU time: 176.639 s c =============================================================================== c | 0 | 998 1312 134459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s c =============================================================================== c | 0 | 998 1313 135205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 3.45047 s Remaining CPU time: 176.55 s c =============================================================================== c | 0 | 998 1314 135951 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 3.49447 s Remaining CPU time: 176.506 s c =============================================================================== c | 0 | 998 1315 136697 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 3.53946 s Remaining CPU time: 176.461 s c =============================================================================== c | 0 | 998 1316 137443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 3.58446 s Remaining CPU time: 176.416 s c =============================================================================== c | 0 | 998 1317 138189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 3.62945 s Remaining CPU time: 176.371 s c =============================================================================== c | 0 | 998 1318 138935 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 3.67644 s Remaining CPU time: 176.324 s c =============================================================================== c | 0 | 998 1319 139681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 3.72143 s Remaining CPU time: 176.279 s c =============================================================================== c | 0 | 998 1320 140427 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 3.76643 s Remaining CPU time: 176.234 s c =============================================================================== c | 0 | 998 1321 141173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 3.81342 s Remaining CPU time: 176.187 s c =============================================================================== c | 0 | 998 1322 141919 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 3.85841 s Remaining CPU time: 176.142 s c =============================================================================== c | 0 | 998 1323 142665 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 3.90441 s Remaining CPU time: 176.096 s c =============================================================================== c | 0 | 998 1324 143411 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 3.9514 s Remaining CPU time: 176.049 s c =============================================================================== c | 0 | 998 1325 144157 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 3.99839 s Remaining CPU time: 176.002 s c =============================================================================== c | 0 | 998 1326 144903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 4.04538 s Remaining CPU time: 175.955 s c =============================================================================== c | 0 | 998 1327 145649 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 4.09038 s Remaining CPU time: 175.91 s c =============================================================================== c | 0 | 998 1328 146395 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 4.13637 s Remaining CPU time: 175.864 s c =============================================================================== c | 0 | 998 1329 147141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 4.18236 s Remaining CPU time: 175.818 s c =============================================================================== c | 0 | 998 1330 147887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 4.23036 s Remaining CPU time: 175.77 s c =============================================================================== c | 0 | 998 1331 148633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 4.27835 s Remaining CPU time: 175.722 s c =============================================================================== c | 0 | 998 1332 149379 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 4.32634 s Remaining CPU time: 175.674 s c =============================================================================== c | 0 | 998 1333 150125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 4.37434 s Remaining CPU time: 175.626 s c =============================================================================== c | 0 | 998 1334 150871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 4.42333 s Remaining CPU time: 175.577 s c =============================================================================== c | 0 | 998 1335 151617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 4.47332 s Remaining CPU time: 175.527 s c =============================================================================== c | 0 | 998 1336 152363 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 4.52231 s Remaining CPU time: 175.478 s c =============================================================================== c | 0 | 998 1337 153109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 4.5723 s Remaining CPU time: 175.428 s c =============================================================================== c | 0 | 998 1338 153855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 4.6213 s Remaining CPU time: 175.379 s c =============================================================================== c | 0 | 998 1339 154601 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 4.67029 s Remaining CPU time: 175.33 s c =============================================================================== c | 0 | 998 1340 155347 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 4.72028 s Remaining CPU time: 175.28 s c =============================================================================== c | 0 | 998 1341 156093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 4.77127 s Remaining CPU time: 175.229 s c =============================================================================== c | 0 | 998 1342 156839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 4.82227 s Remaining CPU time: 175.178 s c =============================================================================== c | 0 | 998 1343 157585 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 4.87326 s Remaining CPU time: 175.127 s c =============================================================================== c | 0 | 998 1344 158331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 4.92425 s Remaining CPU time: 175.076 s c =============================================================================== c | 0 | 998 1345 159077 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 4.97624 s Remaining CPU time: 175.024 s c =============================================================================== c | 0 | 998 1346 159823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 5.02823 s Remaining CPU time: 174.972 s c =============================================================================== c | 0 | 998 1347 160569 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 5.08023 s Remaining CPU time: 174.92 s c =============================================================================== c | 0 | 998 1348 161315 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 5.13322 s Remaining CPU time: 174.867 s c =============================================================================== c | 0 | 998 1349 162061 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 5.18521 s Remaining CPU time: 174.815 s c =============================================================================== c | 0 | 998 1350 162807 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 5.2392 s Remaining CPU time: 174.761 s c =============================================================================== c | 0 | 998 1351 163553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 5.29219 s Remaining CPU time: 174.708 s c =============================================================================== c | 0 | 998 1352 164299 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 5.34519 s Remaining CPU time: 174.655 s c =============================================================================== c | 0 | 998 1353 165045 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 5.39818 s Remaining CPU time: 174.602 s c =============================================================================== c | 0 | 998 1354 165791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 5.45217 s Remaining CPU time: 174.548 s c =============================================================================== c | 0 | 998 1355 166537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 5.50716 s Remaining CPU time: 174.493 s c =============================================================================== c | 0 | 998 1356 167283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 5.56015 s Remaining CPU time: 174.44 s c =============================================================================== c | 0 | 998 1357 168029 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 5.61615 s Remaining CPU time: 174.384 s c =============================================================================== c | 0 | 998 1358 168775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 0 | 998 1359 169521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 5.72913 s Remaining CPU time: 174.271 s c =============================================================================== c | 0 | 998 1360 170267 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 5.78512 s Remaining CPU time: 174.215 s c =============================================================================== c | 0 | 998 1361 171013 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 5.84111 s Remaining CPU time: 174.159 s c =============================================================================== c | 0 | 998 1362 171759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 5.8971 s Remaining CPU time: 174.103 s c =============================================================================== c | 0 | 998 1363 172505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 5.95409 s Remaining CPU time: 174.046 s c =============================================================================== c | 0 | 998 1364 173251 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 6.01109 s Remaining CPU time: 173.989 s c =============================================================================== c | 0 | 998 1365 173997 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 6.06808 s Remaining CPU time: 173.932 s c =============================================================================== c | 0 | 998 1366 174743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 6.12507 s Remaining CPU time: 173.875 s c =============================================================================== c | 0 | 998 1367 175489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 6.18306 s Remaining CPU time: 173.817 s c =============================================================================== c | 0 | 998 1368 176235 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 6.24105 s Remaining CPU time: 173.759 s c =============================================================================== c | 0 | 998 1369 176981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 6.29904 s Remaining CPU time: 173.701 s c =============================================================================== c | 0 | 998 1370 177727 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 6.35803 s Remaining CPU time: 173.642 s c =============================================================================== c | 0 | 998 1371 178473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 6.41602 s Remaining CPU time: 173.584 s c =============================================================================== c | 0 | 998 1372 179219 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 6.47501 s Remaining CPU time: 173.525 s c =============================================================================== c | 0 | 998 1373 179965 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 6.53501 s Remaining CPU time: 173.465 s c =============================================================================== c | 0 | 998 1374 180711 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 6.596 s Remaining CPU time: 173.404 s c =============================================================================== c | 0 | 998 1375 181457 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 6.65499 s Remaining CPU time: 173.345 s c =============================================================================== c | 0 | 998 1376 182203 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 6.71598 s Remaining CPU time: 173.284 s c =============================================================================== c | 0 | 998 1377 182949 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 6.77597 s Remaining CPU time: 173.224 s c =============================================================================== c | 0 | 998 1378 183695 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 6.83796 s Remaining CPU time: 173.162 s c =============================================================================== c | 0 | 998 1379 184441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 6.89995 s Remaining CPU time: 173.1 s c =============================================================================== c | 0 | 998 1380 185187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 6.96194 s Remaining CPU time: 173.038 s c =============================================================================== c | 0 | 998 1381 185933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 7.02393 s Remaining CPU time: 172.976 s c =============================================================================== c | 0 | 998 1382 186679 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 7.08592 s Remaining CPU time: 172.914 s c =============================================================================== c | 0 | 998 1383 187425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 7.14791 s Remaining CPU time: 172.852 s c =============================================================================== c | 0 | 998 1384 188171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 7.2109 s Remaining CPU time: 172.789 s c =============================================================================== c | 0 | 998 1385 188917 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 7.27389 s Remaining CPU time: 172.726 s c =============================================================================== c | 0 | 998 1386 189663 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 7.33688 s Remaining CPU time: 172.663 s c =============================================================================== c | 0 | 998 1387 190409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 7.39987 s Remaining CPU time: 172.6 s c =============================================================================== c | 0 | 998 1388 191155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 7.46387 s Remaining CPU time: 172.536 s c =============================================================================== c | 0 | 998 1389 191901 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 7.52686 s Remaining CPU time: 172.473 s c =============================================================================== c | 0 | 998 1390 192647 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 7.58985 s Remaining CPU time: 172.41 s c =============================================================================== c | 0 | 998 1391 193393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 7.65384 s Remaining CPU time: 172.346 s c =============================================================================== c | 0 | 998 1392 194139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 7.71783 s Remaining CPU time: 172.282 s c =============================================================================== c | 0 | 998 1393 194885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 7.78182 s Remaining CPU time: 172.218 s c =============================================================================== c | 0 | 998 1394 195631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 7.84581 s Remaining CPU time: 172.154 s c =============================================================================== c | 0 | 998 1395 196377 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 7.9108 s Remaining CPU time: 172.089 s c =============================================================================== c | 0 | 998 1396 197123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 7.97379 s Remaining CPU time: 172.026 s c =============================================================================== c | 0 | 998 1397 197869 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 8.03778 s Remaining CPU time: 171.962 s c =============================================================================== c | 0 | 998 1398 198615 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 8.10277 s Remaining CPU time: 171.897 s c =============================================================================== c | 0 | 998 1399 199361 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 8.16676 s Remaining CPU time: 171.833 s c =============================================================================== c | 0 | 998 1400 200107 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 8.23275 s Remaining CPU time: 171.767 s c =============================================================================== c | 0 | 998 1401 200853 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 8.29874 s Remaining CPU time: 171.701 s c =============================================================================== c | 0 | 998 1402 201599 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 8.36573 s Remaining CPU time: 171.634 s c =============================================================================== c | 0 | 998 1403 202345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 8.43272 s Remaining CPU time: 171.567 s c =============================================================================== c | 0 | 998 1404 203091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 8.49871 s Remaining CPU time: 171.501 s c =============================================================================== c | 0 | 998 1405 203837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 8.5637 s Remaining CPU time: 171.436 s c =============================================================================== c | 0 | 998 1406 204583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 8.63169 s Remaining CPU time: 171.368 s c =============================================================================== c | 0 | 998 1407 205329 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 8.69868 s Remaining CPU time: 171.301 s c =============================================================================== c | 0 | 998 1408 206075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 8.76667 s Remaining CPU time: 171.233 s c =============================================================================== c | 0 | 998 1409 206821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 8.83466 s Remaining CPU time: 171.165 s c =============================================================================== c | 0 | 998 1410 207567 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 8.90065 s Remaining CPU time: 171.099 s c =============================================================================== c | 0 | 998 1411 208313 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 8.96864 s Remaining CPU time: 171.031 s c =============================================================================== c | 0 | 998 1412 209059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 9.03663 s Remaining CPU time: 170.963 s c =============================================================================== c | 0 | 998 1413 209805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 9.10462 s Remaining CPU time: 170.895 s c =============================================================================== c | 0 | 998 1414 210551 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 9.17261 s Remaining CPU time: 170.827 s c =============================================================================== c | 0 | 998 1415 211297 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 9.2416 s Remaining CPU time: 170.758 s c =============================================================================== c | 0 | 998 1416 212043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 9.30958 s Remaining CPU time: 170.69 s c =============================================================================== c | 0 | 998 1417 212789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 9.37857 s Remaining CPU time: 170.621 s c =============================================================================== c | 0 | 998 1418 213535 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 9.44656 s Remaining CPU time: 170.553 s c =============================================================================== c | 0 | 998 1419 214281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 9.51555 s Remaining CPU time: 170.484 s c =============================================================================== c | 0 | 998 1420 215027 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 9.58454 s Remaining CPU time: 170.415 s c =============================================================================== c | 0 | 998 1421 215773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 9.65453 s Remaining CPU time: 170.345 s c =============================================================================== c | 0 | 998 1422 216519 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 9.72452 s Remaining CPU time: 170.275 s c =============================================================================== c | 0 | 998 1423 217265 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 9.79451 s Remaining CPU time: 170.205 s c =============================================================================== c | 0 | 998 1424 218011 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 9.8645 s Remaining CPU time: 170.136 s c =============================================================================== c | 0 | 998 1425 218757 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 9.93349 s Remaining CPU time: 170.067 s c =============================================================================== c | 0 | 998 1426 219503 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 10.0025 s Remaining CPU time: 169.998 s c =============================================================================== c | 0 | 998 1427 220249 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 10.0735 s Remaining CPU time: 169.927 s c =============================================================================== c | 0 | 998 1428 220995 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 10.1435 s Remaining CPU time: 169.857 s c =============================================================================== c | 0 | 998 1429 221741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 10.2134 s Remaining CPU time: 169.787 s c =============================================================================== c | 0 | 998 1430 222487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 10.2844 s Remaining CPU time: 169.716 s c =============================================================================== c | 0 | 998 1431 223233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 10.3544 s Remaining CPU time: 169.646 s c =============================================================================== c | 0 | 998 1432 223979 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 10.4254 s Remaining CPU time: 169.575 s c =============================================================================== c | 0 | 998 1433 224725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 10.4974 s Remaining CPU time: 169.503 s c =============================================================================== c | 0 | 998 1434 225471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 10.5694 s Remaining CPU time: 169.431 s c =============================================================================== c | 0 | 998 1435 226217 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 10.6404 s Remaining CPU time: 169.36 s c =============================================================================== c | 0 | 998 1436 226963 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 10.7114 s Remaining CPU time: 169.289 s c =============================================================================== c | 0 | 998 1437 227709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 10.7824 s Remaining CPU time: 169.218 s c =============================================================================== c | 0 | 998 1438 228455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 10.8534 s Remaining CPU time: 169.147 s c =============================================================================== c | 0 | 998 1439 229201 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 10.9253 s Remaining CPU time: 169.075 s c =============================================================================== c | 1 | 998 1440 229947 | 5000 1 453 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 10.9993 s Remaining CPU time: 169.001 s c =============================================================================== c | 1 | 998 1441 230693 | 5000 1 453 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 11.0733 s Remaining CPU time: 168.927 s c =============================================================================== c | 7 | 998 1442 231439 | 5000 7 138 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 11.1493 s Remaining CPU time: 168.851 s c =============================================================================== c | 8 | 998 1443 232185 | 5000 8 121 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 11.2243 s Remaining CPU time: 168.776 s c =============================================================================== c | 11 | 998 1444 232931 | 5000 11 172 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 11.2983 s Remaining CPU time: 168.702 s c =============================================================================== c | 12 | 998 1445 233677 | 5000 12 158 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 11.3723 s Remaining CPU time: 168.628 s c =============================================================================== c | 13 | 998 1446 234423 | 5000 13 147 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 11.4473 s Remaining CPU time: 168.553 s c =============================================================================== c | 13 | 998 1447 235169 | 5000 13 147 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 11.5222 s Remaining CPU time: 168.478 s c =============================================================================== c | 14 | 998 1448 235915 | 5000 14 136 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 11.5972 s Remaining CPU time: 168.403 s c =============================================================================== c | 14 | 998 1449 236661 | 5000 14 136 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 11.6722 s Remaining CPU time: 168.328 s c =============================================================================== c | 15 | 998 1450 237407 | 5000 15 130 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 11.7482 s Remaining CPU time: 168.252 s c =============================================================================== c | 17 | 998 1451 238153 | 5000 17 141 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 11.8212 s Remaining CPU time: 168.179 s c =============================================================================== c | 18 | 998 1452 238899 | 5000 18 158 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 11.8972 s Remaining CPU time: 168.103 s c =============================================================================== c | 19 | 998 1453 239645 | 5000 19 150 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 11.9752 s Remaining CPU time: 168.025 s c =============================================================================== c | 21 | 998 1454 240391 | 5000 21 158 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 12.0602 s Remaining CPU time: 167.94 s c =============================================================================== c | 32 | 998 1455 241137 | 5000 32 241 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 12.1362 s Remaining CPU time: 167.864 s c =============================================================================== c | 33 | 998 1456 241883 | 5000 33 235 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 12.2121 s Remaining CPU time: 167.788 s c =============================================================================== c | 35 | 998 1457 242629 | 5000 35 221 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 12.2891 s Remaining CPU time: 167.711 s c =============================================================================== c | 36 | 998 1458 243375 | 5000 36 215 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 12.3651 s Remaining CPU time: 167.635 s c =============================================================================== c | 37 | 998 1459 244121 | 5000 37 210 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 12.4421 s Remaining CPU time: 167.558 s c =============================================================================== c | 39 | 998 1460 244867 | 5000 39 200 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 12.5201 s Remaining CPU time: 167.48 s c =============================================================================== c | 39 | 998 1461 245613 | 5000 39 200 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 12.5981 s Remaining CPU time: 167.402 s c =============================================================================== c | 40 | 998 1462 246359 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 12.6771 s Remaining CPU time: 167.323 s c =============================================================================== c | 40 | 998 1463 247105 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 12.7551 s Remaining CPU time: 167.245 s c =============================================================================== c | 40 | 998 1464 247851 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 12.831 s Remaining CPU time: 167.169 s c =============================================================================== c | 40 | 998 1465 248597 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 12.909 s Remaining CPU time: 167.091 s c =============================================================================== c | 40 | 998 1466 249343 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 12.987 s Remaining CPU time: 167.013 s c =============================================================================== c | 40 | 998 1467 250089 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 13.065 s Remaining CPU time: 166.935 s c =============================================================================== c | 40 | 998 1468 250835 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 13.144 s Remaining CPU time: 166.856 s c =============================================================================== c | 40 | 998 1469 251581 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 13.223 s Remaining CPU time: 166.777 s c =============================================================================== c | 40 | 998 1470 252327 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 13.303 s Remaining CPU time: 166.697 s c =============================================================================== c | 40 | 998 1471 253073 | 5000 40 196 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 13.381 s Remaining CPU time: 166.619 s c =============================================================================== c | 41 | 998 1472 253819 | 5000 41 192 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 13.46 s Remaining CPU time: 166.54 s c =============================================================================== c | 42 | 998 1473 254565 | 5000 42 197 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 13.5369 s Remaining CPU time: 166.463 s c =============================================================================== c | 42 | 998 1474 255311 | 5000 42 197 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 13.6149 s Remaining CPU time: 166.385 s c =============================================================================== c | 42 | 998 1475 256057 | 5000 42 197 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 13.6969 s Remaining CPU time: 166.303 s c =============================================================================== c | 51 | 998 1476 256803 | 5000 51 236 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 13.7769 s Remaining CPU time: 166.223 s c =============================================================================== c | 52 | 998 1477 257549 | 5000 52 232 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 13.8569 s Remaining CPU time: 166.143 s c =============================================================================== c | 53 | 998 1478 258295 | 5000 53 228 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 13.9369 s Remaining CPU time: 166.063 s c =============================================================================== c | 54 | 998 1479 259041 | 5000 54 224 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 14.0179 s Remaining CPU time: 165.982 s c =============================================================================== c | 54 | 998 1480 259787 | 5000 54 224 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 14.1009 s Remaining CPU time: 165.899 s c =============================================================================== c | 54 | 998 1481 260533 | 5000 54 224 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 14.1798 s Remaining CPU time: 165.82 s c =============================================================================== c | 54 | 998 1482 261279 | 5000 54 224 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 14.2618 s Remaining CPU time: 165.738 s c =============================================================================== c | 54 | 998 1483 262025 | 5000 54 224 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 14.3438 s Remaining CPU time: 165.656 s c =============================================================================== c | 55 | 998 1484 262771 | 5000 55 220 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 14.4258 s Remaining CPU time: 165.574 s c =============================================================================== c | 55 | 998 1485 263517 | 5000 55 220 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 14.5048 s Remaining CPU time: 165.495 s c =============================================================================== c | 55 | 998 1486 264263 | 5000 55 220 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 14.5858 s Remaining CPU time: 165.414 s c =============================================================================== c | 55 | 998 1487 265009 | 5000 55 220 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 14.6678 s Remaining CPU time: 165.332 s c =============================================================================== c | 55 | 998 1488 265755 | 5000 55 220 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 14.7488 s Remaining CPU time: 165.251 s c =============================================================================== c | 55 | 998 1489 266501 | 5000 55 220 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 14.8287 s Remaining CPU time: 165.171 s c =============================================================================== c | 55 | 998 1490 267247 | 5000 55 220 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 14.9107 s Remaining CPU time: 165.089 s c =============================================================================== c | 59 | 998 1491 267993 | 5000 59 207 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 14.9927 s Remaining CPU time: 165.007 s c =============================================================================== c | 60 | 998 1492 268739 | 5000 60 204 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 15.0747 s Remaining CPU time: 164.925 s c =============================================================================== c | 62 | 998 1493 269485 | 5000 62 204 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 15.1567 s Remaining CPU time: 164.843 s c =============================================================================== c | 64 | 998 1494 270231 | 5000 64 198 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 15.2397 s Remaining CPU time: 164.76 s c =============================================================================== c | 66 | 998 1495 270977 | 5000 66 198 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 15.3217 s Remaining CPU time: 164.678 s c =============================================================================== c | 68 | 998 1496 271723 | 5000 68 198 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 15.4047 s Remaining CPU time: 164.595 s c =============================================================================== c | 69 | 998 1497 272469 | 5000 69 201 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 15.4876 s Remaining CPU time: 164.512 s c =============================================================================== c | 71 | 998 1498 273215 | 5000 71 196 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 15.5686 s Remaining CPU time: 164.431 s c =============================================================================== c | 71 | 998 1499 273961 | 5000 71 196 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 15.6486 s Remaining CPU time: 164.351 s c =============================================================================== c | 74 | 998 1500 274707 | 5000 74 189 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 15.7306 s Remaining CPU time: 164.269 s c =============================================================================== c | 74 | 998 1501 275453 | 5000 74 189 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 15.8126 s Remaining CPU time: 164.187 s c =============================================================================== c | 76 | 998 1502 276199 | 5000 76 194 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 15.8956 s Remaining CPU time: 164.104 s c =============================================================================== c | 76 | 998 1503 276945 | 5000 76 194 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 15.9776 s Remaining CPU time: 164.022 s c =============================================================================== c | 76 | 998 1504 277691 | 5000 76 194 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 16.0596 s Remaining CPU time: 163.94 s c =============================================================================== c | 77 | 998 1505 278437 | 5000 77 191 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 16.1425 s Remaining CPU time: 163.857 s c =============================================================================== c | 77 | 998 1506 279183 | 5000 77 191 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 16.2245 s Remaining CPU time: 163.775 s c =============================================================================== c | 77 | 998 1507 279929 | 5000 77 191 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 16.3095 s Remaining CPU time: 163.69 s c =============================================================================== c | 83 | 998 1508 280675 | 5000 83 201 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 16.3915 s Remaining CPU time: 163.608 s c =============================================================================== c | 83 | 998 1509 281421 | 5000 83 201 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 16.4735 s Remaining CPU time: 163.527 s c =============================================================================== c | 84 | 998 1510 282167 | 5000 84 199 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 16.5535 s Remaining CPU time: 163.447 s c =============================================================================== c | 85 | 998 1511 282913 | 5000 85 196 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 16.6355 s Remaining CPU time: 163.365 s c =============================================================================== c | 85 | 998 1512 283659 | 5000 85 196 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 16.7175 s Remaining CPU time: 163.283 s c =============================================================================== c | 85 | 998 1513 284405 | 5000 85 196 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 16.7984 s Remaining CPU time: 163.202 s c =============================================================================== c | 85 | 998 1514 285151 | 5000 85 196 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 16.8804 s Remaining CPU time: 163.12 s c =============================================================================== c | 85 | 998 1515 285897 | 5000 85 196 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 16.9634 s Remaining CPU time: 163.037 s c =============================================================================== c | 85 | 998 1516 286643 | 5000 85 196 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 17.0464 s Remaining CPU time: 162.954 s c =============================================================================== c | 88 | 998 1517 287389 | 5000 88 190 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 17.1294 s Remaining CPU time: 162.871 s c =============================================================================== c | 88 | 998 1518 288135 | 5000 88 190 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 17.2114 s Remaining CPU time: 162.789 s c =============================================================================== c | 88 | 998 1519 288881 | 5000 88 190 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 17.2934 s Remaining CPU time: 162.707 s c =============================================================================== c | 90 | 998 1520 289627 | 5000 90 186 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 17.3754 s Remaining CPU time: 162.625 s c =============================================================================== c | 90 | 998 1521 290373 | 5000 90 186 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 17.4583 s Remaining CPU time: 162.542 s c =============================================================================== c | 90 | 998 1522 291119 | 5000 90 186 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 17.5403 s Remaining CPU time: 162.46 s c =============================================================================== c | 92 | 998 1523 291865 | 5000 92 182 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 17.6203 s Remaining CPU time: 162.38 s c =============================================================================== c | 96 | 998 1524 292611 | 5000 96 175 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 17.7043 s Remaining CPU time: 162.296 s c =============================================================================== c | 98 | 998 1525 293357 | 5000 98 172 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 17.7873 s Remaining CPU time: 162.213 s c =============================================================================== c | 98 | 998 1526 294103 | 5000 98 172 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 17.8703 s Remaining CPU time: 162.13 s c =============================================================================== c | 98 | 998 1527 294849 | 5000 98 172 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 17.9543 s Remaining CPU time: 162.046 s c =============================================================================== c | 101 | 998 1528 295595 | 5000 101 167 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 18.0383 s Remaining CPU time: 161.962 s c =============================================================================== c | 101 | 998 1529 296341 | 5000 101 167 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 18.1212 s Remaining CPU time: 161.879 s c =============================================================================== c | 103 | 998 1530 297087 | 5000 103 164 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 18.2042 s Remaining CPU time: 161.796 s c =============================================================================== c | 103 | 998 1531 297833 | 5000 103 164 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 18.2882 s Remaining CPU time: 161.712 s c =============================================================================== c | 103 | 998 1532 298579 | 5000 103 164 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 18.3712 s Remaining CPU time: 161.629 s c =============================================================================== c | 103 | 998 1533 299325 | 5000 103 164 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 18.4542 s Remaining CPU time: 161.546 s c =============================================================================== c | 105 | 998 1534 300071 | 5000 105 167 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 18.5382 s Remaining CPU time: 161.462 s c =============================================================================== c | 105 | 998 1535 300817 | 5000 105 167 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 18.6212 s Remaining CPU time: 161.379 s c =============================================================================== c | 105 | 998 1536 301563 | 5000 105 167 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 18.7052 s Remaining CPU time: 161.295 s c =============================================================================== c | 105 | 998 1537 302309 | 5000 105 167 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 18.7871 s Remaining CPU time: 161.213 s c =============================================================================== c | 105 | 998 1538 303055 | 5000 105 167 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 18.8701 s Remaining CPU time: 161.13 s c =============================================================================== c | 106 | 998 1539 303801 | 5000 106 166 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 18.9551 s Remaining CPU time: 161.045 s c =============================================================================== c | 106 | 998 1540 304547 | 5000 106 166 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 19.0391 s Remaining CPU time: 160.961 s c =============================================================================== c | 106 | 998 1541 305293 | 5000 106 166 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 19.1231 s Remaining CPU time: 160.877 s c =============================================================================== c | 106 | 998 1542 306039 | 5000 106 166 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 19.2041 s Remaining CPU time: 160.796 s c =============================================================================== c | 109 | 998 1543 306785 | 5000 109 161 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 19.2881 s Remaining CPU time: 160.712 s c =============================================================================== c | 110 | 998 1544 307531 | 5000 110 160 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 19.3711 s Remaining CPU time: 160.629 s c =============================================================================== c | 119 | 998 1545 308277 | 5000 119 154 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 19.458 s Remaining CPU time: 160.542 s c =============================================================================== c | 127 | 998 1546 309023 | 5000 127 166 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 19.543 s Remaining CPU time: 160.457 s c =============================================================================== c | 127 | 998 1547 309769 | 5000 127 166 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 19.627 s Remaining CPU time: 160.373 s c =============================================================================== c | 128 | 998 1548 310515 | 5000 128 165 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 19.711 s Remaining CPU time: 160.289 s c =============================================================================== c | 128 | 998 1549 311261 | 5000 128 165 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 19.833 s Remaining CPU time: 160.167 s c =============================================================================== c | 183 | 998 1550 312007 | 5000 183 206 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 19.917 s Remaining CPU time: 160.083 s c =============================================================================== c | 183 | 998 1551 312753 | 5000 183 206 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 20.001 s Remaining CPU time: 159.999 s c =============================================================================== c | 185 | 998 1552 313499 | 5000 185 204 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 20.0849 s Remaining CPU time: 159.915 s c =============================================================================== c | 186 | 998 1553 314245 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 20.1699 s Remaining CPU time: 159.83 s c =============================================================================== c | 186 | 998 1554 314991 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 20.2529 s Remaining CPU time: 159.747 s c =============================================================================== c | 186 | 998 1555 315737 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 20.3369 s Remaining CPU time: 159.663 s c =============================================================================== c | 186 | 998 1556 316483 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 20.4209 s Remaining CPU time: 159.579 s c =============================================================================== c | 186 | 998 1557 317229 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 20.5049 s Remaining CPU time: 159.495 s c =============================================================================== c | 186 | 998 1558 317975 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 20.5879 s Remaining CPU time: 159.412 s c =============================================================================== c | 186 | 998 1559 318721 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 20.6719 s Remaining CPU time: 159.328 s c =============================================================================== c | 186 | 998 1560 319467 | 5000 186 203 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 20.7548 s Remaining CPU time: 159.245 s c =============================================================================== c | 188 | 998 1561 320213 | 5000 188 201 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 20.8418 s Remaining CPU time: 159.158 s c =============================================================================== c | 198 | 998 1562 320959 | 5000 198 195 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 20.9248 s Remaining CPU time: 159.075 s c =============================================================================== c | 199 | 998 1563 321705 | 5000 199 194 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 21.0078 s Remaining CPU time: 158.992 s c =============================================================================== c | 199 | 998 1564 322451 | 5000 199 194 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 21.0928 s Remaining CPU time: 158.907 s c =============================================================================== c | 199 | 998 1565 323197 | 5000 199 194 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 21.1768 s Remaining CPU time: 158.823 s c =============================================================================== c | 199 | 998 1566 323943 | 5000 199 194 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 21.2618 s Remaining CPU time: 158.738 s c =============================================================================== c | 199 | 998 1567 324689 | 5000 199 194 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 21.3448 s Remaining CPU time: 158.655 s c =============================================================================== c | 200 | 998 1568 325435 | 5000 200 193 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 21.4297 s Remaining CPU time: 158.57 s c =============================================================================== c | 200 | 998 1569 326181 | 5000 200 193 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 21.5137 s Remaining CPU time: 158.486 s c =============================================================================== c | 200 | 998 1570 326927 | 5000 200 193 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 21.5967 s Remaining CPU time: 158.403 s c =============================================================================== c | 200 | 998 1571 327673 | 5000 200 193 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 21.6807 s Remaining CPU time: 158.319 s c =============================================================================== c | 200 | 998 1572 328419 | 5000 200 193 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 21.7657 s Remaining CPU time: 158.234 s c =============================================================================== c | 200 | 998 1573 329165 | 5000 200 193 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 21.8497 s Remaining CPU time: 158.15 s c =============================================================================== c | 207 | 998 1574 329911 | 5000 207 188 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 21.9357 s Remaining CPU time: 158.064 s c =============================================================================== c | 207 | 998 1575 330657 | 5000 207 188 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 22.0217 s Remaining CPU time: 157.978 s c =============================================================================== c | 207 | 998 1576 331403 | 5000 207 188 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 22.1076 s Remaining CPU time: 157.892 s c =============================================================================== c | 207 | 998 1577 332149 | 5000 207 188 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 22.1926 s Remaining CPU time: 157.807 s c =============================================================================== c | 207 | 998 1578 332895 | 5000 207 188 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 22.2786 s Remaining CPU time: 157.721 s c =============================================================================== c | 212 | 998 1579 333641 | 5000 212 185 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 22.3636 s Remaining CPU time: 157.636 s c =============================================================================== c | 212 | 998 1580 334387 | 5000 212 185 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 22.4476 s Remaining CPU time: 157.552 s c =============================================================================== c | 212 | 998 1581 335133 | 5000 212 185 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 22.5316 s Remaining CPU time: 157.468 s c =============================================================================== c | 212 | 998 1582 335879 | 5000 212 185 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 22.6166 s Remaining CPU time: 157.383 s c =============================================================================== c | 212 | 998 1583 336625 | 5000 212 185 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 22.7025 s Remaining CPU time: 157.297 s c =============================================================================== c | 213 | 998 1584 337371 | 5000 213 186 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 22.7885 s Remaining CPU time: 157.211 s c =============================================================================== c | 214 | 998 1585 338117 | 5000 214 187 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 22.8725 s Remaining CPU time: 157.127 s c =============================================================================== c | 214 | 998 1586 338863 | 5000 214 187 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 22.9565 s Remaining CPU time: 157.043 s c =============================================================================== c | 214 | 998 1587 339609 | 5000 214 187 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 23.0525 s Remaining CPU time: 156.948 s c =============================================================================== c | 231 | 998 1588 340355 | 5000 231 191 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 23.1365 s Remaining CPU time: 156.864 s c =============================================================================== c | 231 | 998 1589 341101 | 5000 231 191 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 23.2185 s Remaining CPU time: 156.782 s c =============================================================================== c | 233 | 998 1590 341847 | 5000 233 190 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 23.3005 s Remaining CPU time: 156.7 s c =============================================================================== c | 235 | 998 1591 342593 | 5000 235 188 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 23.3854 s Remaining CPU time: 156.615 s c =============================================================================== c | 235 | 998 1592 343339 | 5000 235 188 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 23.4694 s Remaining CPU time: 156.531 s c =============================================================================== c | 235 | 998 1593 344085 | 5000 235 188 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 23.5544 s Remaining CPU time: 156.446 s c =============================================================================== c | 236 | 998 1594 344831 | 5000 236 188 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 23.6374 s Remaining CPU time: 156.363 s c =============================================================================== c | 237 | 998 1595 345577 | 5000 237 187 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 23.7194 s Remaining CPU time: 156.281 s c =============================================================================== c | 240 | 998 1596 346323 | 5000 240 185 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 23.8024 s Remaining CPU time: 156.198 s c =============================================================================== c | 244 | 998 1597 347069 | 5000 244 182 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 23.8874 s Remaining CPU time: 156.113 s c =============================================================================== c | 248 | 998 1598 347815 | 5000 248 181 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 23.9734 s Remaining CPU time: 156.027 s c =============================================================================== c | 250 | 998 1599 348561 | 5000 250 182 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 24.0563 s Remaining CPU time: 155.944 s c =============================================================================== c | 250 | 998 1600 349307 | 5000 250 182 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 24.1403 s Remaining CPU time: 155.86 s c =============================================================================== c | 251 | 998 1601 350053 | 5000 251 183 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 24.2233 s Remaining CPU time: 155.777 s c =============================================================================== c | 253 | 998 1602 350799 | 5000 253 181 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 24.3083 s Remaining CPU time: 155.692 s c =============================================================================== c | 258 | 998 1603 351545 | 5000 258 180 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 24.3933 s Remaining CPU time: 155.607 s c =============================================================================== c | 259 | 998 1604 352291 | 5000 259 181 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 24.4763 s Remaining CPU time: 155.524 s c =============================================================================== c | 259 | 998 1605 353037 | 5000 259 181 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 24.5593 s Remaining CPU time: 155.441 s c =============================================================================== c | 261 | 998 1606 353783 | 5000 261 182 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 24.6433 s Remaining CPU time: 155.357 s c =============================================================================== c | 261 | 998 1607 354529 | 5000 261 182 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 24.7272 s Remaining CPU time: 155.273 s c =============================================================================== c | 269 | 998 1608 355275 | 5000 269 177 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 24.8132 s Remaining CPU time: 155.187 s c =============================================================================== c | 273 | 998 1609 356021 | 5000 273 178 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 24.8972 s Remaining CPU time: 155.103 s c =============================================================================== c | 273 | 998 1610 356767 | 5000 273 178 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 24.9802 s Remaining CPU time: 155.02 s c =============================================================================== c | 273 | 998 1611 357513 | 5000 273 178 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 25.0642 s Remaining CPU time: 154.936 s c =============================================================================== c | 275 | 998 1612 358259 | 5000 275 177 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 25.1492 s Remaining CPU time: 154.851 s c =============================================================================== c | 276 | 998 1613 359005 | 5000 276 177 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 25.2382 s Remaining CPU time: 154.762 s c =============================================================================== c | 288 | 998 1614 359751 | 5000 288 176 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 25.3222 s Remaining CPU time: 154.678 s c =============================================================================== c | 289 | 998 1615 360497 | 5000 289 176 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 25.4091 s Remaining CPU time: 154.591 s c =============================================================================== c | 298 | 998 1616 361243 | 5000 298 175 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 25.4911 s Remaining CPU time: 154.509 s c =============================================================================== c | 298 | 998 1617 361989 | 5000 298 175 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 25.5741 s Remaining CPU time: 154.426 s c =============================================================================== c | 299 | 998 1618 362735 | 5000 299 175 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 25.6571 s Remaining CPU time: 154.343 s c =============================================================================== c | 299 | 998 1619 363481 | 5000 299 175 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 25.7401 s Remaining CPU time: 154.26 s c =============================================================================== c | 299 | 998 1620 364227 | 5000 299 175 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 25.8281 s Remaining CPU time: 154.172 s c =============================================================================== c | 308 | 998 1621 364973 | 5000 308 175 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 25.9111 s Remaining CPU time: 154.089 s c =============================================================================== c | 313 | 998 1622 365719 | 5000 313 174 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 25.995 s Remaining CPU time: 154.005 s c =============================================================================== c | 314 | 998 1623 366465 | 5000 314 174 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 26.078 s Remaining CPU time: 153.922 s c =============================================================================== c | 314 | 998 1624 367211 | 5000 314 174 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 26.16 s Remaining CPU time: 153.84 s c =============================================================================== c | 314 | 998 1625 367957 | 5000 314 174 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 26.245 s Remaining CPU time: 153.755 s c =============================================================================== c | 320 | 998 1626 368703 | 5000 320 172 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 26.327 s Remaining CPU time: 153.673 s c =============================================================================== c | 320 | 998 1627 369449 | 5000 320 172 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 26.409 s Remaining CPU time: 153.591 s c =============================================================================== c | 320 | 998 1628 370195 | 5000 320 172 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 26.494 s Remaining CPU time: 153.506 s c =============================================================================== c | 328 | 998 1629 370941 | 5000 328 171 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 26.576 s Remaining CPU time: 153.424 s c =============================================================================== c | 328 | 998 1630 371687 | 5000 328 171 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 26.6579 s Remaining CPU time: 153.342 s c =============================================================================== c | 330 | 998 1631 372433 | 5000 330 170 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 26.7379 s Remaining CPU time: 153.262 s c =============================================================================== c | 330 | 998 1632 373179 | 5000 330 170 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 26.8219 s Remaining CPU time: 153.178 s c =============================================================================== c | 335 | 998 1633 373925 | 5000 335 172 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 26.9039 s Remaining CPU time: 153.096 s c =============================================================================== c | 335 | 998 1634 374671 | 5000 335 172 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 26.9849 s Remaining CPU time: 153.015 s c =============================================================================== c | 335 | 998 1635 375417 | 5000 335 172 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 27.0659 s Remaining CPU time: 152.934 s c =============================================================================== c | 335 | 998 1636 376163 | 5000 335 172 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 27.1459 s Remaining CPU time: 152.854 s c =============================================================================== c | 335 | 998 1637 376909 | 5000 335 172 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 27.2269 s Remaining CPU time: 152.773 s c =============================================================================== c | 335 | 998 1638 377655 | 5000 335 172 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 27.3078 s Remaining CPU time: 152.692 s c =============================================================================== c | 340 | 998 1639 378401 | 5000 340 170 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 27.3878 s Remaining CPU time: 152.612 s c =============================================================================== c | 341 | 998 1640 379147 | 5000 341 169 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 27.4678 s Remaining CPU time: 152.532 s c =============================================================================== c | 341 | 998 1641 379893 | 5000 341 169 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 27.5498 s Remaining CPU time: 152.45 s c =============================================================================== c | 341 | 998 1642 380639 | 5000 341 169 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 27.6308 s Remaining CPU time: 152.369 s c =============================================================================== c | 342 | 998 1643 381385 | 5000 342 169 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 27.7168 s Remaining CPU time: 152.283 s c =============================================================================== c | 349 | 998 1644 382131 | 5000 349 168 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 27.7978 s Remaining CPU time: 152.202 s c =============================================================================== c | 351 | 998 1645 382877 | 5000 351 168 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 27.8788 s Remaining CPU time: 152.121 s c =============================================================================== c | 351 | 998 1646 383623 | 5000 351 168 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 27.9597 s Remaining CPU time: 152.04 s c =============================================================================== c | 351 | 998 1647 384369 | 5000 351 168 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 28.0407 s Remaining CPU time: 151.959 s c =============================================================================== c | 351 | 998 1648 385115 | 5000 351 168 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 28.1207 s Remaining CPU time: 151.879 s c =============================================================================== c | 351 | 998 1649 385861 | 5000 351 168 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 28.2017 s Remaining CPU time: 151.798 s c =============================================================================== c | 356 | 998 1650 386607 | 5000 356 167 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 28.2847 s Remaining CPU time: 151.715 s c =============================================================================== c | 360 | 998 1651 387353 | 5000 360 166 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 28.3647 s Remaining CPU time: 151.635 s c =============================================================================== c | 361 | 998 1652 388099 | 5000 361 165 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 28.4447 s Remaining CPU time: 151.555 s c =============================================================================== c | 362 | 998 1653 388845 | 5000 362 165 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 28.5237 s Remaining CPU time: 151.476 s c =============================================================================== c | 362 | 998 1654 389591 | 5000 362 165 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 28.6027 s Remaining CPU time: 151.397 s c =============================================================================== c | 362 | 998 1655 390337 | 5000 362 165 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 28.6836 s Remaining CPU time: 151.316 s c =============================================================================== c | 364 | 998 1656 391083 | 5000 364 166 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 28.7626 s Remaining CPU time: 151.237 s c =============================================================================== c | 365 | 998 1657 391829 | 5000 365 165 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 28.8416 s Remaining CPU time: 151.158 s c =============================================================================== c | 365 | 998 1658 392575 | 5000 365 165 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 28.9206 s Remaining CPU time: 151.079 s c =============================================================================== c | 366 | 998 1659 393321 | 5000 366 166 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 28.9996 s Remaining CPU time: 151 s c =============================================================================== c | 366 | 998 1660 394067 | 5000 366 166 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 29.0776 s Remaining CPU time: 150.922 s c =============================================================================== c | 366 | 998 1661 394813 | 5000 366 166 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 29.1556 s Remaining CPU time: 150.844 s c =============================================================================== c | 367 | 998 1662 395559 | 5000 367 165 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 29.2336 s Remaining CPU time: 150.766 s c =============================================================================== c | 367 | 998 1663 396305 | 5000 367 165 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 29.3105 s Remaining CPU time: 150.689 s c =============================================================================== c | 367 | 998 1664 397051 | 5000 367 165 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 29.3885 s Remaining CPU time: 150.611 s c =============================================================================== c | 367 | 998 1665 397797 | 5000 367 165 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 29.4715 s Remaining CPU time: 150.528 s c =============================================================================== c | 378 | 998 1666 398543 | 5000 378 164 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 29.5495 s Remaining CPU time: 150.45 s c =============================================================================== c | 378 | 998 1667 399289 | 5000 378 164 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 29.6265 s Remaining CPU time: 150.374 s c =============================================================================== c | 378 | 998 1668 400035 | 5000 378 164 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 29.7045 s Remaining CPU time: 150.296 s c =============================================================================== c | 378 | 998 1669 400781 | 5000 378 164 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 29.7825 s Remaining CPU time: 150.218 s c =============================================================================== c | 380 | 998 1670 401527 | 5000 380 163 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 29.8595 s Remaining CPU time: 150.141 s c =============================================================================== c | 380 | 998 1671 402273 | 5000 380 163 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 29.9364 s Remaining CPU time: 150.064 s c =============================================================================== c | 380 | 998 1672 403019 | 5000 380 163 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 30.0154 s Remaining CPU time: 149.985 s c =============================================================================== c | 388 | 998 1673 403765 | 5000 388 161 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 30.0934 s Remaining CPU time: 149.907 s c =============================================================================== c | 392 | 998 1674 404511 | 5000 392 161 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 30.1734 s Remaining CPU time: 149.827 s c =============================================================================== c | 399 | 998 1675 405257 | 5000 399 161 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 30.2774 s Remaining CPU time: 149.723 s c =============================================================================== c | 430 | 998 1676 406003 | 5000 430 163 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 30.3534 s Remaining CPU time: 149.647 s c =============================================================================== c | 435 | 998 1677 406749 | 5000 435 162 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 30.4284 s Remaining CPU time: 149.572 s c =============================================================================== c | 442 | 998 1678 407495 | 5000 442 159 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 30.5044 s Remaining CPU time: 149.496 s c =============================================================================== c | 454 | 998 1679 408241 | 5000 454 156 | 0.000 % | c | 555 | 998 1679 408241 | 5500 555 168 | 2.729 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 30.7963 s Remaining CPU time: 149.204 s c =============================================================================== c | 566 | 998 1680 408987 | 5000 566 168 | 2.729 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 30.8703 s Remaining CPU time: 149.13 s c =============================================================================== c | 571 | 998 1681 409733 | 5000 571 166 | 2.729 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 30.9443 s Remaining CPU time: 149.056 s c =============================================================================== c | 577 | 998 1682 410479 | 5000 577 165 | 2.729 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 31.0183 s Remaining CPU time: 148.982 s c =============================================================================== c | 586 | 998 1683 411225 | 5000 586 163 | 2.729 % | c | 686 | 998 1683 411225 | 5500 686 169 | 2.730 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 31.2792 s Remaining CPU time: 148.721 s c =============================================================================== c | 688 | 998 1684 411971 | 5000 688 168 | 2.730 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 31.3542 s Remaining CPU time: 148.646 s c =============================================================================== c | 691 | 998 1685 412717 | 5000 691 168 | 2.730 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 31.4272 s Remaining CPU time: 148.573 s c =============================================================================== c | 692 | 998 1686 413463 | 5000 692 168 | 2.730 % | c | 792 | 998 1686 413463 | 5500 792 167 | 2.729 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 31.6632 s Remaining CPU time: 148.337 s c =============================================================================== c | 796 | 998 1687 414209 | 5000 796 167 | 2.729 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 31.7362 s Remaining CPU time: 148.264 s c =============================================================================== c | 797 | 998 1688 414955 | 5000 797 166 | 2.729 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 31.8092 s Remaining CPU time: 148.191 s c =============================================================================== c | 801 | 998 1689 415701 | 5000 801 166 | 2.729 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 31.8822 s Remaining CPU time: 148.118 s c =============================================================================== c | 801 | 998 1690 416447 | 5000 801 166 | 2.729 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 31.9561 s Remaining CPU time: 148.044 s c =============================================================================== c | 802 | 998 1691 417193 | 5000 802 165 | 2.729 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 32.0291 s Remaining CPU time: 147.971 s c =============================================================================== c | 803 | 998 1692 417939 | 5000 803 165 | 2.729 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 32.1011 s Remaining CPU time: 147.899 s c =============================================================================== c | 803 | 998 1693 418685 | 5000 803 165 | 2.729 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 32.1741 s Remaining CPU time: 147.826 s c =============================================================================== c | 803 | 998 1694 419431 | 5000 803 165 | 2.729 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 32.2461 s Remaining CPU time: 147.754 s c =============================================================================== c | 804 | 998 1695 420177 | 5000 804 165 | 2.729 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 32.3251 s Remaining CPU time: 147.675 s c =============================================================================== c | 827 | 998 1696 420923 | 5000 827 163 | 2.729 % | c | 929 | 998 1696 420923 | 5500 929 167 | 2.730 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 32.565 s Remaining CPU time: 147.435 s c =============================================================================== c | 940 | 998 1697 421669 | 5000 940 165 | 2.730 % | c | 1040 | 998 1697 421669 | 5500 1040 168 | 2.729 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 32.866 s Remaining CPU time: 147.134 s c =============================================================================== c | 1054 | 998 1698 422415 | 5000 1054 167 | 2.729 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 32.94 s Remaining CPU time: 147.06 s c =============================================================================== c | 1063 | 998 1699 423161 | 5000 1063 166 | 2.729 % | c | 1163 | 998 1699 423161 | 5500 1163 167 | 2.730 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 33.2339 s Remaining CPU time: 146.766 s c =============================================================================== c | 1222 | 998 1700 423907 | 5000 1222 167 | 2.730 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 33.3059 s Remaining CPU time: 146.694 s c =============================================================================== c | 1269 | 998 1701 424653 | 5000 1269 162 | 2.730 % | c | 1369 | 998 1701 424653 | 5500 1369 164 | 2.730 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 33.6959 s Remaining CPU time: 146.304 s c =============================================================================== c | 1383 | 998 1702 425399 | 5000 1383 163 | 2.730 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 33.7659 s Remaining CPU time: 146.234 s c =============================================================================== c | 1392 | 998 1703 426145 | 5000 1392 162 | 2.730 % | c | 1494 | 998 1703 426145 | 5500 1494 164 | 2.730 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 34.2368 s Remaining CPU time: 145.763 s c =============================================================================== c | 1626 | 998 1704 426891 | 5000 1626 165 | 2.730 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 34.3078 s Remaining CPU time: 145.692 s c =============================================================================== c | 1639 | 998 1705 427637 | 5000 1639 164 | 2.730 % | c | 1740 | 998 1705 427637 | 5500 1740 165 | 2.729 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 34.6517 s Remaining CPU time: 145.348 s c =============================================================================== c | 1747 | 998 1706 428383 | 5000 1747 165 | 2.729 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 34.7227 s Remaining CPU time: 145.277 s c =============================================================================== c | 1755 | 998 1707 429129 | 5000 1755 164 | 2.729 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 34.7927 s Remaining CPU time: 145.207 s c =============================================================================== c | 1774 | 998 1708 429875 | 5000 1774 163 | 2.729 % | c | 1874 | 998 1708 429875 | 5500 1874 164 | 2.729 % | c | 2024 | 998 1708 429875 | 6050 2024 165 | 2.729 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 35.5016 s Remaining CPU time: 144.498 s c =============================================================================== c | 2191 | 998 1709 430621 | 5000 2191 163 | 2.729 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 35.5726 s Remaining CPU time: 144.427 s c =============================================================================== c | 2194 | 998 1710 431367 | 5000 2194 163 | 2.729 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 35.6416 s Remaining CPU time: 144.358 s c =============================================================================== c | 2194 | 998 1711 432113 | 5000 2194 163 | 2.729 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 35.7126 s Remaining CPU time: 144.287 s c =============================================================================== c | 2208 | 998 1712 432859 | 5000 2208 163 | 2.729 % | c | 2308 | 998 1712 432859 | 5500 2308 164 | 2.729 % | c | 2461 | 998 1712 432859 | 6050 2461 165 | 2.729 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 36.3505 s Remaining CPU time: 143.65 s c =============================================================================== c | 2540 | 998 1713 433605 | 5000 2540 165 | 2.729 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 36.4225 s Remaining CPU time: 143.578 s c =============================================================================== c | 2564 | 998 1714 434351 | 5000 2564 164 | 2.729 % | c | 2664 | 998 1714 434351 | 5500 2664 165 | 2.730 % | c | 2815 | 998 1714 434351 | 6050 2815 166 | 2.729 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 37.0084 s Remaining CPU time: 142.992 s c =============================================================================== c | 2891 | 998 1715 435097 | 5000 2891 163 | 2.729 % | c | 2991 | 998 1715 435097 | 5500 2991 163 | 2.730 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 37.4183 s Remaining CPU time: 142.582 s c =============================================================================== c | 3119 | 998 1716 435843 | 5000 3119 162 | 2.730 % | c | 3220 | 998 1716 435843 | 5500 3220 161 | 2.729 % | c | 3370 | 998 1716 435843 | 6050 3370 161 | 2.729 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 37.8043 s Remaining CPU time: 142.196 s c =============================================================================== c | 3377 | 998 1717 436589 | 5000 3377 161 | 2.729 % | c | 3477 | 998 1717 436589 | 5500 3477 161 | 2.729 % | c | 3627 | 998 1717 436589 | 6050 3627 162 | 2.729 % | c | 3852 | 998 1717 436589 | 6655 3852 161 | 2.729 % | c | 4189 | 998 1717 436589 | 7320 4189 162 | 2.729 % | c | 4695 | 998 1717 436589 | 8052 4695 163 | 2.729 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 40.5158 s Remaining CPU time: 139.484 s c =============================================================================== c | 5335 | 998 1718 437335 | 5000 5335 164 | 2.729 % | c | 5435 | 998 1718 437335 | 5500 2768 154 | 2.729 % | c | 5585 | 998 1718 437335 | 6050 2918 155 | 2.729 % | c | 5810 | 998 1718 437335 | 6655 3143 157 | 2.730 % | c | 6147 | 998 1718 437335 | 7320 3480 159 | 2.729 % | c | 6653 | 998 1718 437335 | 8052 3986 162 | 2.729 % | c | 7413 | 998 1718 437335 | 8857 4746 165 | 2.729 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 44.5692 s Remaining CPU time: 135.431 s c =============================================================================== c | 7927 | 998 1719 438081 | 5000 5260 164 | 2.729 % | c | 8027 | 998 1719 438081 | 5500 2730 163 | 2.729 % | c | 8177 | 998 1719 438081 | 6050 2880 163 | 2.729 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 45.1911 s Remaining CPU time: 134.809 s c =============================================================================== c | 8286 | 998 1720 438827 | 5000 2989 163 | 2.729 % | c | 8386 | 998 1720 438827 | 5500 3089 164 | 2.729 % | c | 8537 | 998 1720 438827 | 6050 3240 164 | 2.729 % | c | 8764 | 998 1720 438827 | 6655 3467 164 | 2.729 % | c | 9102 | 998 1720 438827 | 7320 3805 165 | 2.729 % | c | 9608 | 998 1720 438827 | 8052 4311 165 | 2.729 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 48.2447 s Remaining CPU time: 131.755 s c =============================================================================== c | 10299 | 998 1721 439573 | 5000 5002 166 | 2.729 % | c | 10399 | 998 1721 439573 | 5500 5102 166 | 2.729 % | c | 10549 | 998 1721 439573 | 6050 5252 166 | 2.730 % | c | 10774 | 998 1721 439573 | 6655 5477 166 | 2.729 % | c | 11111 | 998 1721 439573 | 7320 5814 165 | 2.729 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 49.5705 s Remaining CPU time: 130.43 s c =============================================================================== c | 11124 | 998 1722 440319 | 5000 5827 165 | 2.729 % | c | 11224 | 998 1722 440319 | 5500 3014 154 | 2.729 % | c | 11375 | 998 1722 440319 | 6050 3165 154 | 2.729 % | c | 11600 | 998 1722 440319 | 6655 3390 155 | 2.729 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 50.4373 s Remaining CPU time: 129.563 s c =============================================================================== c | 11623 | 998 1723 441065 | 5000 3413 154 | 2.729 % | c | 11723 | 998 1723 441065 | 5500 3513 155 | 2.729 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 50.7063 s Remaining CPU time: 129.294 s c =============================================================================== c | 11783 | 998 1724 441811 | 5000 3573 154 | 2.729 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 50.7763 s Remaining CPU time: 129.224 s c =============================================================================== c | 11794 | 998 1725 442557 | 5000 3584 153 | 2.729 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 50.9173 s Remaining CPU time: 129.083 s c =============================================================================== c | 11880 | 998 1726 443303 | 5000 3670 154 | 2.729 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 50.9902 s Remaining CPU time: 129.01 s c =============================================================================== c | 11930 | 998 1727 444049 | 5000 3720 152 | 2.729 % | c | 12030 | 998 1727 444049 | 5500 3820 153 | 2.730 % | c | 12180 | 998 1727 444049 | 6050 3970 152 | 2.729 % | c | 12406 | 998 1727 444049 | 6655 4196 153 | 2.729 % | c | 12743 | 998 1727 444049 | 7320 4533 153 | 2.729 % | c | 13249 | 998 1727 444049 | 8052 5039 154 | 2.729 % | c | 14008 | 998 1727 444049 | 8857 5798 156 | 2.729 % | c | 15147 | 998 1727 444049 | 9743 6937 157 | 2.729 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 55.8795 s Remaining CPU time: 124.12 s c =============================================================================== c | 15837 | 998 1728 444795 | 5000 7627 158 | 2.729 % | c | 15938 | 998 1728 444795 | 5500 3915 154 | 2.729 % | c | 16088 | 998 1728 444795 | 6050 4065 155 | 2.729 % | c | 16313 | 998 1728 444795 | 6655 4290 155 | 2.729 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 57.0683 s Remaining CPU time: 122.932 s c =============================================================================== c | 16649 | 998 1729 445541 | 5000 4626 156 | 2.729 % | c | 16749 | 998 1729 445541 | 5500 4726 156 | 2.729 % | c | 16899 | 998 1729 445541 | 6050 4876 156 | 2.729 % | c | 17124 | 998 1729 445541 | 6655 5101 157 | 2.729 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 58.0562 s Remaining CPU time: 121.944 s c =============================================================================== c | 17180 | 998 1730 446287 | 5000 5157 157 | 2.729 % | c | 17282 | 998 1730 446287 | 5500 2681 156 | 2.729 % | c | 17432 | 998 1730 446287 | 6050 2831 156 | 2.729 % | c | 17658 | 998 1730 446287 | 6655 3057 157 | 2.729 % | c | 17995 | 998 1730 446287 | 7320 3394 158 | 2.729 % | c | 18501 | 998 1730 446287 | 8052 3900 159 | 2.729 % | c | 19260 | 998 1730 446287 | 8857 4659 160 | 2.729 % | c | 20399 | 998 1730 446287 | 9743 5798 162 | 2.729 % | c | 22108 | 998 1730 446287 | 10717 7507 162 | 2.729 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 66.9198 s Remaining CPU time: 113.08 s c =============================================================================== c | 24365 | 998 1731 447033 | 5000 9764 163 | 2.729 % | c | 24465 | 998 1731 447033 | 5500 4982 160 | 2.729 % | c | 24615 | 998 1731 447033 | 6050 5132 160 | 2.729 % | c | 24840 | 998 1731 447033 | 6655 5357 160 | 2.729 % | c | 25177 | 998 1731 447033 | 7320 5694 160 | 2.729 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 68.5726 s Remaining CPU time: 111.427 s c =============================================================================== c | 25407 | 998 1732 447779 | 5000 5924 160 | 2.729 % | c | 25507 | 998 1732 447779 | 5500 3062 155 | 2.729 % | c | 25657 | 998 1732 447779 | 6050 3212 155 | 2.729 % | c | 25882 | 998 1732 447779 | 6655 3437 155 | 2.729 % | c | 26220 | 998 1732 447779 | 7320 3775 156 | 2.729 % | c | 26726 | 998 1732 447779 | 8052 4281 156 | 2.729 % | c | 27485 | 998 1732 447779 | 8857 5040 158 | 2.729 % | c | 28624 | 998 1732 447779 | 9743 6179 159 | 2.729 % | c | 30332 | 998 1732 447779 | 10717 7887 160 | 2.729 % | c | 32894 | 998 1732 447779 | 11789 10449 161 | 2.729 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 82.5195 s Remaining CPU time: 97.4805 s c =============================================================================== c | 36306 | 998 1733 448525 | 5000 7863 160 | 2.729 % | c | 36406 | 998 1733 448525 | 5500 4032 156 | 2.729 % | c | 36556 | 998 1733 448525 | 6050 4182 156 | 2.729 % | c | 36782 | 998 1733 448525 | 6655 4408 156 | 2.729 % | c | 37120 | 998 1733 448525 | 7320 4746 157 | 2.729 % | c | 37627 | 998 1733 448525 | 8052 5253 157 | 2.729 % | c | 38386 | 998 1733 448525 | 8857 6012 158 | 2.729 % | c | 39525 | 998 1733 448525 | 9743 7151 159 | 2.729 % | c | 41235 | 998 1733 448525 | 10717 8861 160 | 2.729 % | c | 43797 | 998 1733 448525 | 11789 5964 158 | 2.729 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 96.8923 s Remaining CPU time: 83.1077 s c =============================================================================== c | 47368 | 998 1734 449271 | 5000 9535 159 | 2.729 % | c | 47468 | 998 1734 449271 | 5500 4868 155 | 2.729 % | c | 47618 | 998 1734 449271 | 6050 5018 155 | 2.729 % | c | 47843 | 998 1734 449271 | 6655 5243 156 | 2.729 % | c | 48181 | 998 1734 449271 | 7320 5581 156 | 2.729 % | c | 48687 | 998 1734 449271 | 8052 6087 157 | 2.729 % | c | 49446 | 998 1734 449271 | 8857 6846 157 | 2.729 % | c | 50585 | 998 1734 449271 | 9743 7985 158 | 2.729 % | c | 52293 | 998 1734 449271 | 10717 9693 159 | 2.729 % | c | 54855 | 998 1734 449271 | 11789 6793 157 | 2.729 % | c | 58699 | 998 1734 449271 | 12968 10637 159 | 2.729 % | c | 64465 | 998 1734 449271 | 14265 9812 158 | 2.729 % | c | 73114 | 998 1734 449271 | 15692 11221 158 | 2.729 % | c | 86088 | 998 1734 449271 | 17261 8277 156 | 2.729 % | c | 105549 | 998 1734 449271 | 18987 10259 158 | 2.729 % | 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 | 252 2513 4835 | 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 | 597 2524 19561 | 5000 0 nan | 0.000 % | c | 101 | 597 2524 19561 | 5500 101 45 | 50.374 % | c | 251 | 595 2524 19561 | 6050 160 40 | 50.542 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1325 2549 225219 | 5000 0 nan | 0.000 % | c | 101 | 1325 2549 225219 | 5500 101 95 | 20.036 % | c | 252 | 1325 2549 225219 | 6050 252 46 | 20.036 % | c | 477 | 1325 2549 225219 | 6655 477 39 | 20.036 % | c | 814 | 1325 2549 225219 | 7320 814 34 | 20.037 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2089 2587 365429 | 5000 0 nan | 0.000 % | c | 100 | 2089 2587 365429 | 5500 100 55 | 6.532 % | c | 250 | 2089 2587 365429 | 6050 250 43 | 6.533 % | c | 475 | 2089 2587 365429 | 6655 475 32 | 6.532 % | c | 814 | 2089 2587 365429 | 7320 814 29 | 6.533 % | c | 1320 | 2089 2587 365429 | 8052 1320 23 | 6.533 % | c | 2079 | 2089 2587 365429 | 8857 2079 22 | 6.533 % | c | 3218 | 2089 2587 365429 | 9743 3218 20 | 6.533 % | c | 4926 | 2087 2587 365429 | 10717 4535 20 | 6.622 % | c | 7488 | 2087 2587 365429 | 11789 7097 21 | 6.622 % | c | 11332 | 2087 2587 365429 | 12968 10941 25 | 6.622 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2883 2636 433467 | 5000 0 nan | 0.000 % | c | 100 | 2883 2636 433467 | 5500 100 49 | 1.939 % | c | 253 | 2883 2636 433467 | 6050 253 37 | 1.939 % | c | 480 | 2883 2636 433467 | 6655 480 29 | 1.939 % | c | 819 | 2883 2636 433467 | 7320 819 28 | 1.939 % | c | 1325 | 2883 2636 433467 | 8052 1325 33 | 1.939 % | c | 2085 | 2883 2636 433467 | 8857 2085 31 | 1.939 % | c | 3226 | 2883 2636 433467 | 9743 3226 38 | 1.939 % | c | 4936 | 2883 2636 433467 | 10717 4936 50 | 1.939 % | c | 7498 | 2883 2636 433467 | 11789 7498 49 | 1.939 % | c | 11342 | 2883 2636 433467 | 12968 11342 53 | 1.939 % | c | 17108 | 2883 2636 433467 | 14265 10501 49 | 1.939 % | c | 25760 | 2883 2636 433467 | 15692 11954 34 | 1.939 % | c | 38734 | 2883 2636 433467 | 17261 8903 30 | 1.939 % | c | 58196 | 2883 2636 433467 | 18987 10974 27 | 1.939 % | c | 87389 | 2883 2636 433467 | 20886 11374 35 | 1.939 % | c | 131178 | 2883 2636 433467 | 22974 13120 30 | 1.939 % | c | 196865 | 2871 2636 433467 | 25272 13059 29 | 2.347 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3570 2684 439453 | 5000 0 nan | 0.000 % | c | 100 | 3570 2684 439453 | 5500 100 88 | 1.408 % | c | 251 | 3570 2684 439453 | 6050 251 41 | 1.408 % | c | 476 | 3570 2684 439453 | 6655 476 63 | 1.408 % | c | 813 | 3570 2684 439453 | 7320 813 51 | 1.408 % | c | 1319 | 3570 2684 439453 | 8052 1319 72 | 1.408 % | c | 2078 | 3570 2684 439453 | 8857 2078 65 | 1.408 % | c | 3217 | 3570 2684 439453 | 9743 3217 67 | 1.408 % | c | 4927 | 3570 2684 439453 | 10717 4927 65 | 1.408 % | c | 7489 | 3570 2684 439453 | 11789 7489 57 | 1.408 % | c | 11334 | 3570 2684 439453 | 12968 11334 53 | 1.409 % | c | 17101 | 3570 2684 439453 | 14265 10574 57 | 1.408 % | c | 25750 | 3570 2684 439453 | 15692 12032 80 | 1.409 % | c | 38724 | 3570 2684 439453 | 17261 8839 85 | 1.408 % | c | 58188 | 3570 2684 439453 | 18987 10576 41 | 1.408 % | c | 87380 | 3570 2684 439453 | 20886 11108 51 | 1.409 % | c | 131177 | 3570 2684 439453 | 22974 12720 49 | 1.409 % | c | 196862 | 3570 2684 439453 | 25272 19543 62 | 1.408 % | c | 295389 | 3568 2684 439453 | 27799 13051 54 | 1.464 % | c | 443179 | 3568 2684 439453 | 30579 18414 74 | 1.464 % |