c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1106 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1021 | c | Number Clauses: 1105 | 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 | 993 1133 4625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 993 1134 5367 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 993 1135 6109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 993 1136 6851 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 993 1137 7593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 993 1138 8335 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 993 1139 9077 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 993 1140 9819 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 993 1141 10561 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 993 1142 11303 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 993 1143 12045 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 993 1144 12787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 993 1145 13529 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 993 1146 14271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 993 1147 15013 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 993 1148 15755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 993 1149 16497 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 993 1150 17239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 993 1151 17981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 993 1152 18723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 993 1153 19465 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 993 1154 20207 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 993 1155 20949 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 993 1156 21691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 993 1157 22433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 993 1158 23175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 993 1159 23917 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 993 1160 24659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 993 1161 25401 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 993 1162 26143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 993 1163 26885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 993 1164 27627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 993 1165 28369 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 993 1166 29111 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 993 1167 29853 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 993 1168 30595 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 993 1169 31337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 993 1170 32079 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 993 1171 32821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 993 1172 33563 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 993 1173 34305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 993 1174 35047 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 0 | 993 1175 35789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 993 1176 36531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 993 1177 37273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 993 1178 38015 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 993 1179 38757 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 993 1180 39499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 993 1181 40241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 993 1182 40983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 993 1183 41725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 993 1184 42467 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 993 1185 43209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 993 1186 43951 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 0 | 993 1187 44693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 0 | 993 1188 45435 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 993 1189 46177 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 993 1190 46919 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 0 | 993 1191 47661 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 993 1192 48403 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 0 | 993 1193 49145 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 0 | 993 1194 49887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 993 1195 50629 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 0 | 993 1196 51371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 0 | 993 1197 52113 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 0 | 993 1198 52855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 0 | 993 1199 53597 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 0 | 993 1200 54339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 993 1201 55081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 0 | 993 1202 55823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 0 | 993 1203 56565 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 0 | 993 1204 57307 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 0 | 993 1205 58049 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 0 | 993 1206 58791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 993 1207 59533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 0 | 993 1208 60275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 0 | 993 1209 61017 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 0 | 993 1210 61759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 0 | 993 1211 62501 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 0 | 993 1212 63243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 0 | 993 1213 63985 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 993 1214 64727 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 0 | 993 1215 65469 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 0 | 993 1216 66211 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.617906 s Remaining CPU time: 179.382 s c =============================================================================== c | 0 | 993 1217 66953 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 0 | 993 1218 67695 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 0 | 993 1219 68437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 993 1220 69179 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 0 | 993 1221 69921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 0 | 993 1222 70663 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 0 | 993 1223 71405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 0 | 993 1224 72147 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 0 | 993 1225 72889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 0 | 993 1226 73631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 0 | 993 1227 74373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s c =============================================================================== c | 0 | 993 1228 75115 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 0 | 993 1229 75857 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 0 | 993 1230 76599 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 0 | 993 1231 77341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 0 | 993 1232 78083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 0 | 993 1233 78825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 0 | 993 1234 79567 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 0 | 993 1235 80309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 0 | 993 1236 81051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 0 | 993 1237 81793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 0 | 993 1238 82535 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 1.05384 s Remaining CPU time: 178.946 s c =============================================================================== c | 0 | 993 1239 83277 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 0 | 993 1240 84019 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 0 | 993 1241 84761 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 0 | 993 1242 85503 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 0 | 993 1243 86245 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 0 | 993 1244 86987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 0 | 993 1245 87729 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 0 | 993 1246 88471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 0 | 993 1247 89213 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 1.26081 s Remaining CPU time: 178.739 s c =============================================================================== c | 0 | 993 1248 89955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 0 | 993 1249 90697 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 0 | 993 1250 91439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 993 1251 92181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 0 | 993 1252 92923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 1.38379 s Remaining CPU time: 178.616 s c =============================================================================== c | 0 | 993 1253 93665 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 1.40779 s Remaining CPU time: 178.592 s c =============================================================================== c | 0 | 993 1254 94407 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 1.43278 s Remaining CPU time: 178.567 s c =============================================================================== c | 0 | 993 1255 95149 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 0 | 993 1256 95891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s c =============================================================================== c | 0 | 993 1257 96633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 1.50977 s Remaining CPU time: 178.49 s c =============================================================================== c | 0 | 993 1258 97375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 0 | 993 1259 98117 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 0 | 993 1260 98859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 0 | 993 1261 99601 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 1.61775 s Remaining CPU time: 178.382 s c =============================================================================== c | 0 | 993 1262 100343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 1.64575 s Remaining CPU time: 178.354 s c =============================================================================== c | 0 | 993 1263 101085 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 0 | 993 1264 101827 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 0 | 993 1265 102569 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 0 | 993 1266 103311 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 0 | 993 1267 104053 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 1.78373 s Remaining CPU time: 178.216 s c =============================================================================== c | 0 | 993 1268 104795 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 0 | 993 1269 105537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 0 | 993 1270 106279 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 1.86871 s Remaining CPU time: 178.131 s c =============================================================================== c | 0 | 993 1271 107021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 0 | 993 1272 107763 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 1.92671 s Remaining CPU time: 178.073 s c =============================================================================== c | 0 | 993 1273 108505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 0 | 993 1274 109247 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 1.9877 s Remaining CPU time: 178.012 s c =============================================================================== c | 0 | 993 1275 109989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 2.01769 s Remaining CPU time: 177.982 s c =============================================================================== c | 0 | 993 1276 110731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 0 | 993 1277 111473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 0 | 993 1278 112215 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 2.10668 s Remaining CPU time: 177.893 s c =============================================================================== c | 0 | 993 1279 112957 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s c =============================================================================== c | 0 | 993 1280 113699 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 2.16967 s Remaining CPU time: 177.83 s c =============================================================================== c | 0 | 993 1281 114441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 0 | 993 1282 115183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 2.23266 s Remaining CPU time: 177.767 s c =============================================================================== c | 0 | 993 1283 115925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 2.26465 s Remaining CPU time: 177.735 s c =============================================================================== c | 0 | 993 1284 116667 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 2.29665 s Remaining CPU time: 177.703 s c =============================================================================== c | 0 | 993 1285 117409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 2.32864 s Remaining CPU time: 177.671 s c =============================================================================== c | 0 | 993 1286 118151 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 2.36164 s Remaining CPU time: 177.638 s c =============================================================================== c | 0 | 993 1287 118893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 2.39364 s Remaining CPU time: 177.606 s c =============================================================================== c | 0 | 993 1288 119635 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 2.42663 s Remaining CPU time: 177.573 s c =============================================================================== c | 0 | 993 1289 120377 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 2.45963 s Remaining CPU time: 177.54 s c =============================================================================== c | 0 | 993 1290 121119 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 2.49462 s Remaining CPU time: 177.505 s c =============================================================================== c | 0 | 993 1291 121861 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s c =============================================================================== c | 0 | 993 1292 122603 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 0 | 993 1293 123345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s c =============================================================================== c | 0 | 993 1294 124087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 2.6306 s Remaining CPU time: 177.369 s c =============================================================================== c | 0 | 993 1295 124829 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 2.66559 s Remaining CPU time: 177.334 s c =============================================================================== c | 0 | 993 1296 125571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 2.70059 s Remaining CPU time: 177.299 s c =============================================================================== c | 0 | 993 1297 126313 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 2.73558 s Remaining CPU time: 177.264 s c =============================================================================== c | 0 | 993 1298 127055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 2.76858 s Remaining CPU time: 177.231 s c =============================================================================== c | 0 | 993 1299 127797 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 0 | 993 1300 128539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 2.83857 s Remaining CPU time: 177.161 s c =============================================================================== c | 0 | 993 1301 129281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 2.87356 s Remaining CPU time: 177.126 s c =============================================================================== c | 0 | 993 1302 130023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s c =============================================================================== c | 0 | 993 1303 130765 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 2.94655 s Remaining CPU time: 177.053 s c =============================================================================== c | 1 | 993 1304 131507 | 5000 1 578 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 2.98255 s Remaining CPU time: 177.017 s c =============================================================================== c | 1 | 993 1305 132249 | 5000 1 578 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 3.01754 s Remaining CPU time: 176.982 s c =============================================================================== c | 1 | 993 1306 132991 | 5000 1 578 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 3.05154 s Remaining CPU time: 176.948 s c =============================================================================== c | 1 | 993 1307 133733 | 5000 1 578 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 3.09053 s Remaining CPU time: 176.909 s c =============================================================================== c | 1 | 993 1308 134475 | 5000 1 578 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 3.12552 s Remaining CPU time: 176.874 s c =============================================================================== c | 1 | 993 1309 135217 | 5000 1 578 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 3.16152 s Remaining CPU time: 176.838 s c =============================================================================== c | 2 | 993 1310 135959 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 3.19851 s Remaining CPU time: 176.801 s c =============================================================================== c | 2 | 993 1311 136701 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 3.23751 s Remaining CPU time: 176.762 s c =============================================================================== c | 2 | 993 1312 137443 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 3.2725 s Remaining CPU time: 176.727 s c =============================================================================== c | 2 | 993 1313 138185 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 3.3095 s Remaining CPU time: 176.691 s c =============================================================================== c | 2 | 993 1314 138927 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 3.34849 s Remaining CPU time: 176.652 s c =============================================================================== c | 2 | 993 1315 139669 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 3.38848 s Remaining CPU time: 176.612 s c =============================================================================== c | 2 | 993 1316 140411 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 3.42648 s Remaining CPU time: 176.574 s c =============================================================================== c | 2 | 993 1317 141153 | 5000 2 290 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 3.46547 s Remaining CPU time: 176.535 s c =============================================================================== c | 4 | 993 1318 141895 | 5000 4 147 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 3.50747 s Remaining CPU time: 176.493 s c =============================================================================== c | 4 | 993 1319 142637 | 5000 4 147 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 3.54746 s Remaining CPU time: 176.453 s c =============================================================================== c | 4 | 993 1320 143379 | 5000 4 147 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 3.58645 s Remaining CPU time: 176.414 s c =============================================================================== c | 7 | 993 1321 144121 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 3.63045 s Remaining CPU time: 176.37 s c =============================================================================== c | 7 | 993 1322 144863 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 3.67244 s Remaining CPU time: 176.328 s c =============================================================================== c | 7 | 993 1323 145605 | 5000 7 86 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 3.71644 s Remaining CPU time: 176.284 s c =============================================================================== c | 8 | 993 1324 146347 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 3.76043 s Remaining CPU time: 176.24 s c =============================================================================== c | 10 | 993 1325 147089 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 3.80042 s Remaining CPU time: 176.2 s c =============================================================================== c | 10 | 993 1326 147831 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 3.84042 s Remaining CPU time: 176.16 s c =============================================================================== c | 10 | 993 1327 148573 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 3.88141 s Remaining CPU time: 176.119 s c =============================================================================== c | 10 | 993 1328 149315 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s c =============================================================================== c | 10 | 993 1329 150057 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 3.9614 s Remaining CPU time: 176.039 s c =============================================================================== c | 10 | 993 1330 150799 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 4.00539 s Remaining CPU time: 175.995 s c =============================================================================== c | 10 | 993 1331 151541 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 4.04738 s Remaining CPU time: 175.953 s c =============================================================================== c | 10 | 993 1332 152283 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 4.08938 s Remaining CPU time: 175.911 s c =============================================================================== c | 10 | 993 1333 153025 | 5000 10 117 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 4.13137 s Remaining CPU time: 175.869 s c =============================================================================== c | 11 | 993 1334 153767 | 5000 11 156 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 4.17337 s Remaining CPU time: 175.827 s c =============================================================================== c | 11 | 993 1335 154509 | 5000 11 156 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 4.21636 s Remaining CPU time: 175.784 s c =============================================================================== c | 12 | 993 1336 155251 | 5000 12 143 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 4.25735 s Remaining CPU time: 175.743 s c =============================================================================== c | 13 | 993 1337 155993 | 5000 13 132 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 4.29935 s Remaining CPU time: 175.701 s c =============================================================================== c | 15 | 993 1338 156735 | 5000 15 115 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 4.34334 s Remaining CPU time: 175.657 s c =============================================================================== c | 16 | 993 1339 157477 | 5000 16 108 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 4.38833 s Remaining CPU time: 175.612 s c =============================================================================== c | 16 | 993 1340 158219 | 5000 16 108 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 4.43333 s Remaining CPU time: 175.567 s c =============================================================================== c | 17 | 993 1341 158961 | 5000 17 102 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 4.47832 s Remaining CPU time: 175.522 s c =============================================================================== c | 17 | 993 1342 159703 | 5000 17 102 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 4.52131 s Remaining CPU time: 175.479 s c =============================================================================== c | 18 | 993 1343 160445 | 5000 18 126 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 4.56331 s Remaining CPU time: 175.437 s c =============================================================================== c | 18 | 993 1344 161187 | 5000 18 126 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 4.6083 s Remaining CPU time: 175.392 s c =============================================================================== c | 19 | 993 1345 161929 | 5000 19 120 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 4.65329 s Remaining CPU time: 175.347 s c =============================================================================== c | 19 | 993 1346 162671 | 5000 19 120 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 4.69829 s Remaining CPU time: 175.302 s c =============================================================================== c | 20 | 993 1347 163413 | 5000 20 114 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 4.74228 s Remaining CPU time: 175.258 s c =============================================================================== c | 20 | 993 1348 164155 | 5000 20 114 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 4.78627 s Remaining CPU time: 175.214 s c =============================================================================== c | 20 | 993 1349 164897 | 5000 20 114 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 4.83226 s Remaining CPU time: 175.168 s c =============================================================================== c | 20 | 993 1350 165639 | 5000 20 114 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 4.87626 s Remaining CPU time: 175.124 s c =============================================================================== c | 20 | 993 1351 166381 | 5000 20 114 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 4.92225 s Remaining CPU time: 175.078 s c =============================================================================== c | 21 | 993 1352 167123 | 5000 21 109 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 4.96824 s Remaining CPU time: 175.032 s c =============================================================================== c | 22 | 993 1353 167865 | 5000 22 104 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 5.01424 s Remaining CPU time: 174.986 s c =============================================================================== c | 23 | 993 1354 168607 | 5000 23 122 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 5.06023 s Remaining CPU time: 174.94 s c =============================================================================== c | 25 | 993 1355 169349 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 5.10722 s Remaining CPU time: 174.893 s c =============================================================================== c | 25 | 993 1356 170091 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 5.15422 s Remaining CPU time: 174.846 s c =============================================================================== c | 25 | 993 1357 170833 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 5.20121 s Remaining CPU time: 174.799 s c =============================================================================== c | 25 | 993 1358 171575 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 5.2492 s Remaining CPU time: 174.751 s c =============================================================================== c | 25 | 993 1359 172317 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 5.29619 s Remaining CPU time: 174.704 s c =============================================================================== c | 25 | 993 1360 173059 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 5.34419 s Remaining CPU time: 174.656 s c =============================================================================== c | 25 | 993 1361 173801 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 5.39218 s Remaining CPU time: 174.608 s c =============================================================================== c | 25 | 993 1362 174543 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 5.44017 s Remaining CPU time: 174.56 s c =============================================================================== c | 25 | 993 1363 175285 | 5000 25 113 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 5.49216 s Remaining CPU time: 174.508 s c =============================================================================== c | 26 | 993 1364 176027 | 5000 26 108 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 5.54016 s Remaining CPU time: 174.46 s c =============================================================================== c | 28 | 993 1365 176769 | 5000 28 119 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 5.58815 s Remaining CPU time: 174.412 s c =============================================================================== c | 28 | 993 1366 177511 | 5000 28 119 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 5.63614 s Remaining CPU time: 174.364 s c =============================================================================== c | 28 | 993 1367 178253 | 5000 28 119 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 5.68513 s Remaining CPU time: 174.315 s c =============================================================================== c | 28 | 993 1368 178995 | 5000 28 119 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 5.73413 s Remaining CPU time: 174.266 s c =============================================================================== c | 29 | 993 1369 179737 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 5.78612 s Remaining CPU time: 174.214 s c =============================================================================== c | 30 | 993 1370 180479 | 5000 30 112 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 5.83611 s Remaining CPU time: 174.164 s c =============================================================================== c | 30 | 993 1371 181221 | 5000 30 112 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 5.8861 s Remaining CPU time: 174.114 s c =============================================================================== c | 31 | 993 1372 181963 | 5000 31 108 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 5.9361 s Remaining CPU time: 174.064 s c =============================================================================== c | 32 | 993 1373 182705 | 5000 32 121 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 5.98909 s Remaining CPU time: 174.011 s c =============================================================================== c | 36 | 993 1374 183447 | 5000 36 122 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 6.03908 s Remaining CPU time: 173.961 s c =============================================================================== c | 36 | 993 1375 184189 | 5000 36 122 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 6.08907 s Remaining CPU time: 173.911 s c =============================================================================== c | 38 | 993 1376 184931 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 6.13907 s Remaining CPU time: 173.861 s c =============================================================================== c | 38 | 993 1377 185673 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 6.18906 s Remaining CPU time: 173.811 s c =============================================================================== c | 38 | 993 1378 186415 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 6.23805 s Remaining CPU time: 173.762 s c =============================================================================== c | 38 | 993 1379 187157 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 6.28904 s Remaining CPU time: 173.711 s c =============================================================================== c | 38 | 993 1380 187899 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 6.34104 s Remaining CPU time: 173.659 s c =============================================================================== c | 38 | 993 1381 188641 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 6.39103 s Remaining CPU time: 173.609 s c =============================================================================== c | 38 | 993 1382 189383 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 6.44302 s Remaining CPU time: 173.557 s c =============================================================================== c | 38 | 993 1383 190125 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 6.49401 s Remaining CPU time: 173.506 s c =============================================================================== c | 38 | 993 1384 190867 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 6.54401 s Remaining CPU time: 173.456 s c =============================================================================== c | 38 | 993 1385 191609 | 5000 38 116 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 6.597 s Remaining CPU time: 173.403 s c =============================================================================== c | 39 | 993 1386 192351 | 5000 39 113 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 6.64899 s Remaining CPU time: 173.351 s c =============================================================================== c | 39 | 993 1387 193093 | 5000 39 113 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 6.70098 s Remaining CPU time: 173.299 s c =============================================================================== c | 39 | 993 1388 193835 | 5000 39 113 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 6.75197 s Remaining CPU time: 173.248 s c =============================================================================== c | 39 | 993 1389 194577 | 5000 39 113 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 6.80497 s Remaining CPU time: 173.195 s c =============================================================================== c | 41 | 993 1390 195319 | 5000 41 120 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 6.85696 s Remaining CPU time: 173.143 s c =============================================================================== c | 41 | 993 1391 196061 | 5000 41 120 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 6.90895 s Remaining CPU time: 173.091 s c =============================================================================== c | 41 | 993 1392 196803 | 5000 41 120 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 6.96194 s Remaining CPU time: 173.038 s c =============================================================================== c | 41 | 993 1393 197545 | 5000 41 120 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 7.01593 s Remaining CPU time: 172.984 s c =============================================================================== c | 42 | 993 1394 198287 | 5000 42 128 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 7.06992 s Remaining CPU time: 172.93 s c =============================================================================== c | 42 | 993 1395 199029 | 5000 42 128 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 7.12292 s Remaining CPU time: 172.877 s c =============================================================================== c | 43 | 993 1396 199771 | 5000 43 136 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 7.17691 s Remaining CPU time: 172.823 s c =============================================================================== c | 43 | 993 1397 200513 | 5000 43 136 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 7.2309 s Remaining CPU time: 172.769 s c =============================================================================== c | 44 | 993 1398 201255 | 5000 44 144 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 7.28489 s Remaining CPU time: 172.715 s c =============================================================================== c | 46 | 993 1399 201997 | 5000 46 138 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 7.33988 s Remaining CPU time: 172.66 s c =============================================================================== c | 46 | 993 1400 202739 | 5000 46 138 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 7.39387 s Remaining CPU time: 172.606 s c =============================================================================== c | 46 | 993 1401 203481 | 5000 46 138 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 7.44887 s Remaining CPU time: 172.551 s c =============================================================================== c | 47 | 993 1402 204223 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 7.50386 s Remaining CPU time: 172.496 s c =============================================================================== c | 47 | 993 1403 204965 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 7.55885 s Remaining CPU time: 172.441 s c =============================================================================== c | 47 | 993 1404 205707 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 7.61384 s Remaining CPU time: 172.386 s c =============================================================================== c | 47 | 993 1405 206449 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 7.66983 s Remaining CPU time: 172.33 s c =============================================================================== c | 47 | 993 1406 207191 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 7.72583 s Remaining CPU time: 172.274 s c =============================================================================== c | 47 | 993 1407 207933 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 7.78182 s Remaining CPU time: 172.218 s c =============================================================================== c | 47 | 993 1408 208675 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 7.83481 s Remaining CPU time: 172.165 s c =============================================================================== c | 47 | 993 1409 209417 | 5000 47 136 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 7.8898 s Remaining CPU time: 172.11 s c =============================================================================== c | 48 | 993 1410 210159 | 5000 48 133 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 7.94679 s Remaining CPU time: 172.053 s c =============================================================================== c | 48 | 993 1411 210901 | 5000 48 133 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 8.00178 s Remaining CPU time: 171.998 s c =============================================================================== c | 48 | 993 1412 211643 | 5000 48 133 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 8.05877 s Remaining CPU time: 171.941 s c =============================================================================== c | 49 | 993 1413 212385 | 5000 49 130 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 8.11577 s Remaining CPU time: 171.884 s c =============================================================================== c | 49 | 993 1414 213127 | 5000 49 130 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 8.17176 s Remaining CPU time: 171.828 s c =============================================================================== c | 50 | 993 1415 213869 | 5000 50 128 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 8.22775 s Remaining CPU time: 171.772 s c =============================================================================== c | 50 | 993 1416 214611 | 5000 50 128 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 8.28474 s Remaining CPU time: 171.715 s c =============================================================================== c | 50 | 993 1417 215353 | 5000 50 128 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 8.34073 s Remaining CPU time: 171.659 s c =============================================================================== c | 50 | 993 1418 216095 | 5000 50 128 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 8.39972 s Remaining CPU time: 171.6 s c =============================================================================== c | 50 | 993 1419 216837 | 5000 50 128 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 8.45771 s Remaining CPU time: 171.542 s c =============================================================================== c | 58 | 993 1420 217579 | 5000 58 111 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 8.51571 s Remaining CPU time: 171.484 s c =============================================================================== c | 58 | 993 1421 218321 | 5000 58 111 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 8.5737 s Remaining CPU time: 171.426 s c =============================================================================== c | 59 | 993 1422 219063 | 5000 59 109 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 8.63269 s Remaining CPU time: 171.367 s c =============================================================================== c | 61 | 993 1423 219805 | 5000 61 120 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 8.69068 s Remaining CPU time: 171.309 s c =============================================================================== c | 62 | 993 1424 220547 | 5000 62 118 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 8.74967 s Remaining CPU time: 171.25 s c =============================================================================== c | 62 | 993 1425 221289 | 5000 62 118 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 8.80566 s Remaining CPU time: 171.194 s c =============================================================================== c | 62 | 993 1426 222031 | 5000 62 118 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 8.86465 s Remaining CPU time: 171.135 s c =============================================================================== c | 62 | 993 1427 222773 | 5000 62 118 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 8.92264 s Remaining CPU time: 171.077 s c =============================================================================== c | 64 | 993 1428 223515 | 5000 64 115 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 8.98163 s Remaining CPU time: 171.018 s c =============================================================================== c | 67 | 993 1429 224257 | 5000 67 111 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 9.04063 s Remaining CPU time: 170.959 s c =============================================================================== c | 67 | 993 1430 224999 | 5000 67 111 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 9.09862 s Remaining CPU time: 170.901 s c =============================================================================== c | 70 | 993 1431 225741 | 5000 70 113 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 9.16461 s Remaining CPU time: 170.835 s c =============================================================================== c | 75 | 993 1432 226483 | 5000 75 136 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 9.2246 s Remaining CPU time: 170.775 s c =============================================================================== c | 76 | 993 1433 227225 | 5000 76 134 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 9.28859 s Remaining CPU time: 170.711 s c =============================================================================== c | 76 | 993 1434 227967 | 5000 76 134 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 9.35158 s Remaining CPU time: 170.648 s c =============================================================================== c | 76 | 993 1435 228709 | 5000 76 134 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 9.41557 s Remaining CPU time: 170.584 s c =============================================================================== c | 76 | 993 1436 229451 | 5000 76 134 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 9.47956 s Remaining CPU time: 170.52 s c =============================================================================== c | 79 | 993 1437 230193 | 5000 79 129 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 9.54655 s Remaining CPU time: 170.453 s c =============================================================================== c | 88 | 993 1438 230935 | 5000 88 156 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 9.60654 s Remaining CPU time: 170.393 s c =============================================================================== c | 94 | 993 1439 231677 | 5000 94 165 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 9.66853 s Remaining CPU time: 170.331 s c =============================================================================== c | 102 | 993 1440 232419 | 5000 102 170 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 9.72852 s Remaining CPU time: 170.271 s c =============================================================================== c | 102 | 993 1441 233161 | 5000 102 170 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 9.78951 s Remaining CPU time: 170.21 s c =============================================================================== c | 103 | 993 1442 233903 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 9.8495 s Remaining CPU time: 170.15 s c =============================================================================== c | 103 | 993 1443 234645 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 9.90849 s Remaining CPU time: 170.092 s c =============================================================================== c | 103 | 993 1444 235387 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 9.96948 s Remaining CPU time: 170.031 s c =============================================================================== c | 103 | 993 1445 236129 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 10.0315 s Remaining CPU time: 169.969 s c =============================================================================== c | 103 | 993 1446 236871 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 10.0925 s Remaining CPU time: 169.908 s c =============================================================================== c | 103 | 993 1447 237613 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 10.1515 s Remaining CPU time: 169.849 s c =============================================================================== c | 103 | 993 1448 238355 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 10.2104 s Remaining CPU time: 169.79 s c =============================================================================== c | 103 | 993 1449 239097 | 5000 103 168 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 10.2734 s Remaining CPU time: 169.727 s c =============================================================================== c | 105 | 993 1450 239839 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 10.3334 s Remaining CPU time: 169.667 s c =============================================================================== c | 105 | 993 1451 240581 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 10.3944 s Remaining CPU time: 169.606 s c =============================================================================== c | 105 | 993 1452 241323 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 10.4574 s Remaining CPU time: 169.543 s c =============================================================================== c | 105 | 993 1453 242065 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 10.5194 s Remaining CPU time: 169.481 s c =============================================================================== c | 105 | 993 1454 242807 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 10.5814 s Remaining CPU time: 169.419 s c =============================================================================== c | 105 | 993 1455 243549 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 10.6414 s Remaining CPU time: 169.359 s c =============================================================================== c | 105 | 993 1456 244291 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 10.7024 s Remaining CPU time: 169.298 s c =============================================================================== c | 105 | 993 1457 245033 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 10.7654 s Remaining CPU time: 169.235 s c =============================================================================== c | 105 | 993 1458 245775 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 10.8274 s Remaining CPU time: 169.173 s c =============================================================================== c | 105 | 993 1459 246517 | 5000 105 165 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 10.8903 s Remaining CPU time: 169.11 s c =============================================================================== c | 108 | 993 1460 247259 | 5000 108 161 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 10.9513 s Remaining CPU time: 169.049 s c =============================================================================== c | 109 | 993 1461 248001 | 5000 109 159 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 11.0143 s Remaining CPU time: 168.986 s c =============================================================================== c | 114 | 993 1462 248743 | 5000 114 152 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 11.0773 s Remaining CPU time: 168.923 s c =============================================================================== c | 114 | 993 1463 249485 | 5000 114 152 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 11.1393 s Remaining CPU time: 168.861 s c =============================================================================== c | 114 | 993 1464 250227 | 5000 114 152 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 11.2013 s Remaining CPU time: 168.799 s c =============================================================================== c | 115 | 993 1465 250969 | 5000 115 151 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 11.2643 s Remaining CPU time: 168.736 s c =============================================================================== c | 115 | 993 1466 251711 | 5000 115 151 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 11.3273 s Remaining CPU time: 168.673 s c =============================================================================== c | 115 | 993 1467 252453 | 5000 115 151 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 11.3903 s Remaining CPU time: 168.61 s c =============================================================================== c | 116 | 993 1468 253195 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 11.4543 s Remaining CPU time: 168.546 s c =============================================================================== c | 116 | 993 1469 253937 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 11.5172 s Remaining CPU time: 168.483 s c =============================================================================== c | 116 | 993 1470 254679 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 11.5782 s Remaining CPU time: 168.422 s c =============================================================================== c | 116 | 993 1471 255421 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 11.6412 s Remaining CPU time: 168.359 s c =============================================================================== c | 116 | 993 1472 256163 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 11.7042 s Remaining CPU time: 168.296 s c =============================================================================== c | 116 | 993 1473 256905 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 11.7682 s Remaining CPU time: 168.232 s c =============================================================================== c | 116 | 993 1474 257647 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 11.8312 s Remaining CPU time: 168.169 s c =============================================================================== c | 116 | 993 1475 258389 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 11.8952 s Remaining CPU time: 168.105 s c =============================================================================== c | 116 | 993 1476 259131 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 11.9592 s Remaining CPU time: 168.041 s c =============================================================================== c | 116 | 993 1477 259873 | 5000 116 150 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 12.0222 s Remaining CPU time: 167.978 s c =============================================================================== c | 117 | 993 1478 260615 | 5000 117 149 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 12.0882 s Remaining CPU time: 167.912 s c =============================================================================== c | 119 | 993 1479 261357 | 5000 119 146 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 12.1512 s Remaining CPU time: 167.849 s c =============================================================================== c | 119 | 993 1480 262099 | 5000 119 146 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 12.2151 s Remaining CPU time: 167.785 s c =============================================================================== c | 119 | 993 1481 262841 | 5000 119 146 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 12.2841 s Remaining CPU time: 167.716 s c =============================================================================== c | 132 | 993 1482 263583 | 5000 132 156 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 12.3481 s Remaining CPU time: 167.652 s c =============================================================================== c | 133 | 993 1483 264325 | 5000 133 155 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 12.4131 s Remaining CPU time: 167.587 s c =============================================================================== c | 133 | 993 1484 265067 | 5000 133 155 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 12.4761 s Remaining CPU time: 167.524 s c =============================================================================== c | 137 | 993 1485 265809 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 12.5461 s Remaining CPU time: 167.454 s c =============================================================================== c | 138 | 993 1486 266551 | 5000 138 153 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 12.6131 s Remaining CPU time: 167.387 s c =============================================================================== c | 138 | 993 1487 267293 | 5000 138 153 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 12.6841 s Remaining CPU time: 167.316 s c =============================================================================== c | 140 | 993 1488 268035 | 5000 140 154 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 12.7491 s Remaining CPU time: 167.251 s c =============================================================================== c | 141 | 993 1489 268777 | 5000 141 152 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 12.8141 s Remaining CPU time: 167.186 s c =============================================================================== c | 143 | 993 1490 269519 | 5000 143 150 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 12.879 s Remaining CPU time: 167.121 s c =============================================================================== c | 143 | 993 1491 270261 | 5000 143 150 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 12.944 s Remaining CPU time: 167.056 s c =============================================================================== c | 143 | 993 1492 271003 | 5000 143 150 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 13.01 s Remaining CPU time: 166.99 s c =============================================================================== c | 145 | 993 1493 271745 | 5000 145 154 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 13.077 s Remaining CPU time: 166.923 s c =============================================================================== c | 148 | 993 1494 272487 | 5000 148 156 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 13.14 s Remaining CPU time: 166.86 s c =============================================================================== c | 148 | 993 1495 273229 | 5000 148 156 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 13.205 s Remaining CPU time: 166.795 s c =============================================================================== c | 148 | 993 1496 273971 | 5000 148 156 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 13.271 s Remaining CPU time: 166.729 s c =============================================================================== c | 148 | 993 1497 274713 | 5000 148 156 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 13.337 s Remaining CPU time: 166.663 s c =============================================================================== c | 148 | 993 1498 275455 | 5000 148 156 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 13.404 s Remaining CPU time: 166.596 s c =============================================================================== c | 150 | 993 1499 276197 | 5000 150 157 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 13.47 s Remaining CPU time: 166.53 s c =============================================================================== c | 150 | 993 1500 276939 | 5000 150 157 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 13.5339 s Remaining CPU time: 166.466 s c =============================================================================== c | 150 | 993 1501 277681 | 5000 150 157 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 13.5999 s Remaining CPU time: 166.4 s c =============================================================================== c | 150 | 993 1502 278423 | 5000 150 157 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 13.6659 s Remaining CPU time: 166.334 s c =============================================================================== c | 151 | 993 1503 279165 | 5000 151 156 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 13.7309 s Remaining CPU time: 166.269 s c =============================================================================== c | 151 | 993 1504 279907 | 5000 151 156 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 13.7959 s Remaining CPU time: 166.204 s c =============================================================================== c | 152 | 993 1505 280649 | 5000 152 155 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 13.8599 s Remaining CPU time: 166.14 s c =============================================================================== c | 152 | 993 1506 281391 | 5000 152 155 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 13.9249 s Remaining CPU time: 166.075 s c =============================================================================== c | 152 | 993 1507 282133 | 5000 152 155 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 13.9909 s Remaining CPU time: 166.009 s c =============================================================================== c | 152 | 993 1508 282875 | 5000 152 155 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 14.0569 s Remaining CPU time: 165.943 s c =============================================================================== c | 153 | 993 1509 283617 | 5000 153 154 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 14.1219 s Remaining CPU time: 165.878 s c =============================================================================== c | 153 | 993 1510 284359 | 5000 153 154 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 14.1868 s Remaining CPU time: 165.813 s c =============================================================================== c | 153 | 993 1511 285101 | 5000 153 154 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 14.2548 s Remaining CPU time: 165.745 s c =============================================================================== c | 155 | 993 1512 285843 | 5000 155 154 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 14.3208 s Remaining CPU time: 165.679 s c =============================================================================== c | 162 | 993 1513 286585 | 5000 162 149 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 14.3888 s Remaining CPU time: 165.611 s c =============================================================================== c | 162 | 993 1514 287327 | 5000 162 149 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 14.4558 s Remaining CPU time: 165.544 s c =============================================================================== c | 162 | 993 1515 288069 | 5000 162 149 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 14.5228 s Remaining CPU time: 165.477 s c =============================================================================== c | 162 | 993 1516 288811 | 5000 162 149 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 14.5888 s Remaining CPU time: 165.411 s c =============================================================================== c | 162 | 993 1517 289553 | 5000 162 149 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 14.6548 s Remaining CPU time: 165.345 s c =============================================================================== c | 162 | 993 1518 290295 | 5000 162 149 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 14.7208 s Remaining CPU time: 165.279 s c =============================================================================== c | 163 | 993 1519 291037 | 5000 163 148 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 14.7868 s Remaining CPU time: 165.213 s c =============================================================================== c | 163 | 993 1520 291779 | 5000 163 148 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 14.8537 s Remaining CPU time: 165.146 s c =============================================================================== c | 163 | 993 1521 292521 | 5000 163 148 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 14.9207 s Remaining CPU time: 165.079 s c =============================================================================== c | 164 | 993 1522 293263 | 5000 164 147 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 14.9867 s Remaining CPU time: 165.013 s c =============================================================================== c | 164 | 993 1523 294005 | 5000 164 147 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 15.0537 s Remaining CPU time: 164.946 s c =============================================================================== c | 164 | 993 1524 294747 | 5000 164 147 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 15.1207 s Remaining CPU time: 164.879 s c =============================================================================== c | 164 | 993 1525 295489 | 5000 164 147 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 15.1867 s Remaining CPU time: 164.813 s c =============================================================================== c | 164 | 993 1526 296231 | 5000 164 147 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 15.2557 s Remaining CPU time: 164.744 s c =============================================================================== c | 168 | 993 1527 296973 | 5000 168 152 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 15.3287 s Remaining CPU time: 164.671 s c =============================================================================== c | 168 | 993 1528 297715 | 5000 168 152 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 15.3967 s Remaining CPU time: 164.603 s c =============================================================================== c | 169 | 993 1529 298457 | 5000 169 151 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 15.4636 s Remaining CPU time: 164.536 s c =============================================================================== c | 169 | 993 1530 299199 | 5000 169 151 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 15.5306 s Remaining CPU time: 164.469 s c =============================================================================== c | 169 | 993 1531 299941 | 5000 169 151 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 15.5986 s Remaining CPU time: 164.401 s c =============================================================================== c | 169 | 993 1532 300683 | 5000 169 151 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 15.6666 s Remaining CPU time: 164.333 s c =============================================================================== c | 170 | 993 1533 301425 | 5000 170 150 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 15.7346 s Remaining CPU time: 164.265 s c =============================================================================== c | 170 | 993 1534 302167 | 5000 170 150 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 15.8026 s Remaining CPU time: 164.197 s c =============================================================================== c | 170 | 993 1535 302909 | 5000 170 150 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 15.8696 s Remaining CPU time: 164.13 s c =============================================================================== c | 170 | 993 1536 303651 | 5000 170 150 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 15.9406 s Remaining CPU time: 164.059 s c =============================================================================== c | 170 | 993 1537 304393 | 5000 170 150 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 16.0086 s Remaining CPU time: 163.991 s c =============================================================================== c | 170 | 993 1538 305135 | 5000 170 150 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 16.0756 s Remaining CPU time: 163.924 s c =============================================================================== c | 170 | 993 1539 305877 | 5000 170 150 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 16.1445 s Remaining CPU time: 163.855 s c =============================================================================== c | 173 | 993 1540 306619 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 16.2115 s Remaining CPU time: 163.788 s c =============================================================================== c | 173 | 993 1541 307361 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 16.2785 s Remaining CPU time: 163.721 s c =============================================================================== c | 173 | 993 1542 308103 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 16.3455 s Remaining CPU time: 163.654 s c =============================================================================== c | 173 | 993 1543 308845 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 16.4145 s Remaining CPU time: 163.585 s c =============================================================================== c | 173 | 993 1544 309587 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 16.4815 s Remaining CPU time: 163.519 s c =============================================================================== c | 173 | 993 1545 310329 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 16.5495 s Remaining CPU time: 163.451 s c =============================================================================== c | 173 | 993 1546 311071 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 16.6175 s Remaining CPU time: 163.383 s c =============================================================================== c | 173 | 993 1547 311813 | 5000 173 150 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 16.6845 s Remaining CPU time: 163.316 s c =============================================================================== c | 174 | 993 1548 312555 | 5000 174 149 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 16.7525 s Remaining CPU time: 163.248 s c =============================================================================== c | 175 | 993 1549 313297 | 5000 175 150 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 16.8214 s Remaining CPU time: 163.179 s c =============================================================================== c | 177 | 993 1550 314039 | 5000 177 152 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 16.8894 s Remaining CPU time: 163.111 s c =============================================================================== c | 177 | 993 1551 314781 | 5000 177 152 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 16.9574 s Remaining CPU time: 163.043 s c =============================================================================== c | 177 | 993 1552 315523 | 5000 177 152 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 17.0254 s Remaining CPU time: 162.975 s c =============================================================================== c | 178 | 993 1553 316265 | 5000 178 153 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 17.0924 s Remaining CPU time: 162.908 s c =============================================================================== c | 178 | 993 1554 317007 | 5000 178 153 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 17.1604 s Remaining CPU time: 162.84 s c =============================================================================== c | 178 | 993 1555 317749 | 5000 178 153 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 17.2284 s Remaining CPU time: 162.772 s c =============================================================================== c | 178 | 993 1556 318491 | 5000 178 153 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 17.2954 s Remaining CPU time: 162.705 s c =============================================================================== c | 180 | 993 1557 319233 | 5000 180 151 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 17.3624 s Remaining CPU time: 162.638 s c =============================================================================== c | 181 | 993 1558 319975 | 5000 181 150 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 17.4304 s Remaining CPU time: 162.57 s c =============================================================================== c | 181 | 993 1559 320717 | 5000 181 150 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 17.4983 s Remaining CPU time: 162.502 s c =============================================================================== c | 181 | 993 1560 321459 | 5000 181 150 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 17.5653 s Remaining CPU time: 162.435 s c =============================================================================== c | 182 | 993 1561 322201 | 5000 182 151 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 17.6323 s Remaining CPU time: 162.368 s c =============================================================================== c | 182 | 993 1562 322943 | 5000 182 151 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 17.7003 s Remaining CPU time: 162.3 s c =============================================================================== c | 182 | 993 1563 323685 | 5000 182 151 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 17.7673 s Remaining CPU time: 162.233 s c =============================================================================== c | 182 | 993 1564 324427 | 5000 182 151 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 17.8353 s Remaining CPU time: 162.165 s c =============================================================================== c | 182 | 993 1565 325169 | 5000 182 151 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 17.9043 s Remaining CPU time: 162.096 s c =============================================================================== c | 182 | 993 1566 325911 | 5000 182 151 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 17.9713 s Remaining CPU time: 162.029 s c =============================================================================== c | 182 | 993 1567 326653 | 5000 182 151 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 18.0423 s Remaining CPU time: 161.958 s c =============================================================================== c | 187 | 993 1568 327395 | 5000 187 150 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 18.1112 s Remaining CPU time: 161.889 s c =============================================================================== c | 188 | 993 1569 328137 | 5000 188 151 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 18.1812 s Remaining CPU time: 161.819 s c =============================================================================== c | 196 | 993 1570 328879 | 5000 196 156 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 18.2482 s Remaining CPU time: 161.752 s c =============================================================================== c | 198 | 993 1571 329621 | 5000 198 154 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 18.3162 s Remaining CPU time: 161.684 s c =============================================================================== c | 198 | 993 1572 330363 | 5000 198 154 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 18.3842 s Remaining CPU time: 161.616 s c =============================================================================== c | 203 | 993 1573 331105 | 5000 203 151 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 18.4502 s Remaining CPU time: 161.55 s c =============================================================================== c | 203 | 993 1574 331847 | 5000 203 151 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 18.5172 s Remaining CPU time: 161.483 s c =============================================================================== c | 207 | 993 1575 332589 | 5000 207 148 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 18.5852 s Remaining CPU time: 161.415 s c =============================================================================== c | 207 | 993 1576 333331 | 5000 207 148 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 18.6502 s Remaining CPU time: 161.35 s c =============================================================================== c | 207 | 993 1577 334073 | 5000 207 148 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 18.7172 s Remaining CPU time: 161.283 s c =============================================================================== c | 207 | 993 1578 334815 | 5000 207 148 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 18.7851 s Remaining CPU time: 161.215 s c =============================================================================== c | 207 | 993 1579 335557 | 5000 207 148 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 18.8531 s Remaining CPU time: 161.147 s c =============================================================================== c | 209 | 993 1580 336299 | 5000 209 149 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 18.9211 s Remaining CPU time: 161.079 s c =============================================================================== c | 210 | 993 1581 337041 | 5000 210 150 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 18.9951 s Remaining CPU time: 161.005 s c =============================================================================== c | 211 | 993 1582 337783 | 5000 211 150 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 19.0601 s Remaining CPU time: 160.94 s c =============================================================================== c | 211 | 993 1583 338525 | 5000 211 150 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 19.1271 s Remaining CPU time: 160.873 s c =============================================================================== c | 215 | 993 1584 339267 | 5000 215 147 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 19.1911 s Remaining CPU time: 160.809 s c =============================================================================== c | 215 | 993 1585 340009 | 5000 215 147 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 19.2581 s Remaining CPU time: 160.742 s c =============================================================================== c | 215 | 993 1586 340751 | 5000 215 147 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 19.3251 s Remaining CPU time: 160.675 s c =============================================================================== c | 215 | 993 1587 341493 | 5000 215 147 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 19.3921 s Remaining CPU time: 160.608 s c =============================================================================== c | 215 | 993 1588 342235 | 5000 215 147 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 19.459 s Remaining CPU time: 160.541 s c =============================================================================== c | 215 | 993 1589 342977 | 5000 215 147 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 19.526 s Remaining CPU time: 160.474 s c =============================================================================== c | 215 | 993 1590 343719 | 5000 215 147 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 19.613 s Remaining CPU time: 160.387 s c =============================================================================== c | 238 | 993 1591 344461 | 5000 238 162 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 19.68 s Remaining CPU time: 160.32 s c =============================================================================== c | 239 | 993 1592 345203 | 5000 239 161 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 19.746 s Remaining CPU time: 160.254 s c =============================================================================== c | 239 | 993 1593 345945 | 5000 239 161 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 19.813 s Remaining CPU time: 160.187 s c =============================================================================== c | 239 | 993 1594 346687 | 5000 239 161 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 19.88 s Remaining CPU time: 160.12 s c =============================================================================== c | 239 | 993 1595 347429 | 5000 239 161 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 19.947 s Remaining CPU time: 160.053 s c =============================================================================== c | 239 | 993 1596 348171 | 5000 239 161 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 20.014 s Remaining CPU time: 159.986 s c =============================================================================== c | 242 | 993 1597 348913 | 5000 242 159 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 20.0839 s Remaining CPU time: 159.916 s c =============================================================================== c | 250 | 993 1598 349655 | 5000 250 155 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 20.1529 s Remaining CPU time: 159.847 s c =============================================================================== c | 259 | 993 1599 350397 | 5000 259 157 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 20.2209 s Remaining CPU time: 159.779 s c =============================================================================== c | 260 | 993 1600 351139 | 5000 260 157 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 20.2869 s Remaining CPU time: 159.713 s c =============================================================================== c | 262 | 993 1601 351881 | 5000 262 156 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 20.3569 s Remaining CPU time: 159.643 s c =============================================================================== c | 272 | 993 1602 352623 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 20.4249 s Remaining CPU time: 159.575 s c =============================================================================== c | 272 | 993 1603 353365 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 20.4909 s Remaining CPU time: 159.509 s c =============================================================================== c | 272 | 993 1604 354107 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 20.5569 s Remaining CPU time: 159.443 s c =============================================================================== c | 272 | 993 1605 354849 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 20.6229 s Remaining CPU time: 159.377 s c =============================================================================== c | 272 | 993 1606 355591 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 20.6929 s Remaining CPU time: 159.307 s c =============================================================================== c | 272 | 993 1607 356333 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 20.7598 s Remaining CPU time: 159.24 s c =============================================================================== c | 272 | 993 1608 357075 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 20.8268 s Remaining CPU time: 159.173 s c =============================================================================== c | 272 | 993 1609 357817 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 20.8928 s Remaining CPU time: 159.107 s c =============================================================================== c | 272 | 993 1610 358559 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 20.9588 s Remaining CPU time: 159.041 s c =============================================================================== c | 272 | 993 1611 359301 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 21.0238 s Remaining CPU time: 158.976 s c =============================================================================== c | 272 | 993 1612 360043 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 21.0888 s Remaining CPU time: 158.911 s c =============================================================================== c | 272 | 993 1613 360785 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 21.1548 s Remaining CPU time: 158.845 s c =============================================================================== c | 272 | 993 1614 361527 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 21.2208 s Remaining CPU time: 158.779 s c =============================================================================== c | 272 | 993 1615 362269 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 21.2868 s Remaining CPU time: 158.713 s c =============================================================================== c | 272 | 993 1616 363011 | 5000 272 156 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 21.3568 s Remaining CPU time: 158.643 s c =============================================================================== c | 280 | 993 1617 363753 | 5000 280 153 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 21.4227 s Remaining CPU time: 158.577 s c =============================================================================== c | 281 | 993 1618 364495 | 5000 281 153 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 21.4887 s Remaining CPU time: 158.511 s c =============================================================================== c | 281 | 993 1619 365237 | 5000 281 153 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 21.5537 s Remaining CPU time: 158.446 s c =============================================================================== c | 281 | 993 1620 365979 | 5000 281 153 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 21.6187 s Remaining CPU time: 158.381 s c =============================================================================== c | 282 | 993 1621 366721 | 5000 282 152 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 21.6857 s Remaining CPU time: 158.314 s c =============================================================================== c | 287 | 993 1622 367463 | 5000 287 152 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 21.7537 s Remaining CPU time: 158.246 s c =============================================================================== c | 287 | 993 1623 368205 | 5000 287 152 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 21.8197 s Remaining CPU time: 158.18 s c =============================================================================== c | 287 | 993 1624 368947 | 5000 287 152 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 21.8857 s Remaining CPU time: 158.114 s c =============================================================================== c | 289 | 993 1625 369689 | 5000 289 153 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 21.9517 s Remaining CPU time: 158.048 s c =============================================================================== c | 289 | 993 1626 370431 | 5000 289 153 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 22.0187 s Remaining CPU time: 157.981 s c =============================================================================== c | 293 | 993 1627 371173 | 5000 293 152 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 22.0906 s Remaining CPU time: 157.909 s c =============================================================================== c | 293 | 993 1628 371915 | 5000 293 152 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 22.1606 s Remaining CPU time: 157.839 s c =============================================================================== c | 293 | 993 1629 372657 | 5000 293 152 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 22.2326 s Remaining CPU time: 157.767 s c =============================================================================== c | 303 | 993 1630 373399 | 5000 303 149 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 22.3036 s Remaining CPU time: 157.696 s c =============================================================================== c | 306 | 993 1631 374141 | 5000 306 148 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 22.3756 s Remaining CPU time: 157.624 s c =============================================================================== c | 306 | 993 1632 374883 | 5000 306 148 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 22.4456 s Remaining CPU time: 157.554 s c =============================================================================== c | 306 | 993 1633 375625 | 5000 306 148 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 22.5186 s Remaining CPU time: 157.481 s c =============================================================================== c | 309 | 993 1634 376367 | 5000 309 149 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 22.5826 s Remaining CPU time: 157.417 s c =============================================================================== c | 309 | 993 1635 377109 | 5000 309 149 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 22.6476 s Remaining CPU time: 157.352 s c =============================================================================== c | 309 | 993 1636 377851 | 5000 309 149 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 22.7115 s Remaining CPU time: 157.288 s c =============================================================================== c | 313 | 993 1637 378593 | 5000 313 148 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 22.7755 s Remaining CPU time: 157.224 s c =============================================================================== c | 313 | 993 1638 379335 | 5000 313 148 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 22.8405 s Remaining CPU time: 157.159 s c =============================================================================== c | 314 | 993 1639 380077 | 5000 314 149 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 22.9045 s Remaining CPU time: 157.095 s c =============================================================================== c | 314 | 993 1640 380819 | 5000 314 149 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 22.9685 s Remaining CPU time: 157.031 s c =============================================================================== c | 314 | 993 1641 381561 | 5000 314 149 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 23.0325 s Remaining CPU time: 156.968 s c =============================================================================== c | 316 | 993 1642 382303 | 5000 316 148 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 23.0965 s Remaining CPU time: 156.904 s c =============================================================================== c | 317 | 993 1643 383045 | 5000 317 149 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 23.1595 s Remaining CPU time: 156.841 s c =============================================================================== c | 317 | 993 1644 383787 | 5000 317 149 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 23.2215 s Remaining CPU time: 156.779 s c =============================================================================== c | 319 | 993 1645 384529 | 5000 319 149 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 23.2845 s Remaining CPU time: 156.716 s c =============================================================================== c | 319 | 993 1646 385271 | 5000 319 149 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 23.3484 s Remaining CPU time: 156.652 s c =============================================================================== c | 319 | 993 1647 386013 | 5000 319 149 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 23.4114 s Remaining CPU time: 156.589 s c =============================================================================== c | 319 | 993 1648 386755 | 5000 319 149 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 23.4754 s Remaining CPU time: 156.525 s c =============================================================================== c | 320 | 993 1649 387497 | 5000 320 149 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 23.5394 s Remaining CPU time: 156.461 s c =============================================================================== c | 321 | 993 1650 388239 | 5000 321 149 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 23.6034 s Remaining CPU time: 156.397 s c =============================================================================== c | 321 | 993 1651 388981 | 5000 321 149 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 23.6704 s Remaining CPU time: 156.33 s c =============================================================================== c | 327 | 993 1652 389723 | 5000 327 151 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 23.7334 s Remaining CPU time: 156.267 s c =============================================================================== c | 327 | 993 1653 390465 | 5000 327 151 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 23.8564 s Remaining CPU time: 156.144 s c =============================================================================== c | 376 | 993 1654 391207 | 5000 376 161 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 23.9194 s Remaining CPU time: 156.081 s c =============================================================================== c | 382 | 993 1655 391949 | 5000 382 159 | 0.000 % | c | 483 | 993 1655 391949 | 5500 483 153 | 2.743 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 24.1063 s Remaining CPU time: 155.894 s c =============================================================================== c | 491 | 993 1656 392691 | 5000 491 151 | 2.743 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 24.1803 s Remaining CPU time: 155.82 s c =============================================================================== c | 508 | 993 1657 393433 | 5000 508 149 | 2.743 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 24.2483 s Remaining CPU time: 155.752 s c =============================================================================== c | 510 | 993 1658 394175 | 5000 510 149 | 2.743 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 24.3153 s Remaining CPU time: 155.685 s c =============================================================================== c | 510 | 993 1659 394917 | 5000 510 149 | 2.743 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 24.3823 s Remaining CPU time: 155.618 s c =============================================================================== c | 510 | 993 1660 395659 | 5000 510 149 | 2.743 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 24.4493 s Remaining CPU time: 155.551 s c =============================================================================== c | 510 | 993 1661 396401 | 5000 510 149 | 2.743 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 24.5173 s Remaining CPU time: 155.483 s c =============================================================================== c | 516 | 993 1662 397143 | 5000 516 148 | 2.743 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 24.5843 s Remaining CPU time: 155.416 s c =============================================================================== c | 519 | 993 1663 397885 | 5000 519 148 | 2.743 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 24.6503 s Remaining CPU time: 155.35 s c =============================================================================== c | 519 | 993 1664 398627 | 5000 519 148 | 2.743 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 24.7162 s Remaining CPU time: 155.284 s c =============================================================================== c | 519 | 993 1665 399369 | 5000 519 148 | 2.743 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 24.7822 s Remaining CPU time: 155.218 s c =============================================================================== c | 519 | 993 1666 400111 | 5000 519 148 | 2.743 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 24.8482 s Remaining CPU time: 155.152 s c =============================================================================== c | 519 | 993 1667 400853 | 5000 519 148 | 2.743 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 24.9152 s Remaining CPU time: 155.085 s c =============================================================================== c | 528 | 993 1668 401595 | 5000 528 146 | 2.743 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 24.9862 s Remaining CPU time: 155.014 s c =============================================================================== c | 531 | 993 1669 402337 | 5000 531 146 | 2.743 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 25.0472 s Remaining CPU time: 154.953 s c =============================================================================== c | 531 | 993 1670 403079 | 5000 531 146 | 2.743 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 25.1072 s Remaining CPU time: 154.893 s c =============================================================================== c | 532 | 993 1671 403821 | 5000 532 146 | 2.743 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 25.1692 s Remaining CPU time: 154.831 s c =============================================================================== c | 533 | 993 1672 404563 | 5000 533 146 | 2.743 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 25.2332 s Remaining CPU time: 154.767 s c =============================================================================== c | 537 | 993 1673 405305 | 5000 537 147 | 2.743 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 25.2952 s Remaining CPU time: 154.705 s c =============================================================================== c | 540 | 993 1674 406047 | 5000 540 146 | 2.743 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 25.3571 s Remaining CPU time: 154.643 s c =============================================================================== c | 541 | 993 1675 406789 | 5000 541 146 | 2.743 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 25.4181 s Remaining CPU time: 154.582 s c =============================================================================== c | 541 | 993 1676 407531 | 5000 541 146 | 2.743 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 25.4801 s Remaining CPU time: 154.52 s c =============================================================================== c | 542 | 993 1677 408273 | 5000 542 146 | 2.743 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 25.5411 s Remaining CPU time: 154.459 s c =============================================================================== c | 546 | 993 1678 409015 | 5000 546 146 | 2.743 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 25.6021 s Remaining CPU time: 154.398 s c =============================================================================== c | 546 | 993 1679 409757 | 5000 546 146 | 2.743 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 25.6631 s Remaining CPU time: 154.337 s c =============================================================================== c | 547 | 993 1680 410499 | 5000 547 146 | 2.743 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 25.7231 s Remaining CPU time: 154.277 s c =============================================================================== c | 547 | 993 1681 411241 | 5000 547 146 | 2.743 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 25.8311 s Remaining CPU time: 154.169 s c =============================================================================== c | 603 | 993 1682 411983 | 5000 603 150 | 2.743 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 25.8911 s Remaining CPU time: 154.109 s c =============================================================================== c | 609 | 993 1683 412725 | 5000 609 149 | 2.743 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 25.9521 s Remaining CPU time: 154.048 s c =============================================================================== c | 612 | 993 1684 413467 | 5000 612 148 | 2.743 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 26.035 s Remaining CPU time: 153.965 s c =============================================================================== c | 641 | 993 1685 414209 | 5000 641 149 | 2.743 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 26.094 s Remaining CPU time: 153.906 s c =============================================================================== c | 646 | 993 1686 414951 | 5000 646 148 | 2.743 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 26.173 s Remaining CPU time: 153.827 s c =============================================================================== c | 660 | 993 1687 415693 | 5000 660 149 | 2.743 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 26.231 s Remaining CPU time: 153.769 s c =============================================================================== c | 663 | 993 1688 416435 | 5000 663 149 | 2.743 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 26.29 s Remaining CPU time: 153.71 s c =============================================================================== c | 668 | 993 1689 417177 | 5000 668 148 | 2.743 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 26.35 s Remaining CPU time: 153.65 s c =============================================================================== c | 676 | 993 1690 417919 | 5000 676 146 | 2.743 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 26.414 s Remaining CPU time: 153.586 s c =============================================================================== c | 684 | 993 1691 418661 | 5000 684 147 | 2.743 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 26.477 s Remaining CPU time: 153.523 s c =============================================================================== c | 694 | 993 1692 419403 | 5000 694 145 | 2.743 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 26.536 s Remaining CPU time: 153.464 s c =============================================================================== c | 695 | 993 1693 420145 | 5000 695 145 | 2.743 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 26.592 s Remaining CPU time: 153.408 s c =============================================================================== c | 696 | 993 1694 420887 | 5000 696 146 | 2.743 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 26.6499 s Remaining CPU time: 153.35 s c =============================================================================== c | 697 | 993 1695 421629 | 5000 697 146 | 2.743 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 26.7079 s Remaining CPU time: 153.292 s c =============================================================================== c | 698 | 993 1696 422371 | 5000 698 146 | 2.743 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 26.7659 s Remaining CPU time: 153.234 s c =============================================================================== c | 698 | 993 1697 423113 | 5000 698 146 | 2.743 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 26.8239 s Remaining CPU time: 153.176 s c =============================================================================== c | 699 | 993 1698 423855 | 5000 699 146 | 2.743 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 26.8809 s Remaining CPU time: 153.119 s c =============================================================================== c | 700 | 993 1699 424597 | 5000 700 146 | 2.743 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 26.9389 s Remaining CPU time: 153.061 s c =============================================================================== c | 701 | 993 1700 425339 | 5000 701 146 | 2.743 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 26.9969 s Remaining CPU time: 153.003 s c =============================================================================== c | 710 | 993 1701 426081 | 5000 710 144 | 2.743 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 27.0549 s Remaining CPU time: 152.945 s c =============================================================================== c | 711 | 993 1702 426823 | 5000 711 144 | 2.743 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 27.1119 s Remaining CPU time: 152.888 s c =============================================================================== c | 711 | 993 1703 427565 | 5000 711 144 | 2.743 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 27.1689 s Remaining CPU time: 152.831 s c =============================================================================== c | 713 | 993 1704 428307 | 5000 713 144 | 2.743 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 27.2239 s Remaining CPU time: 152.776 s c =============================================================================== c | 715 | 993 1705 429049 | 5000 715 144 | 2.743 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 27.2949 s Remaining CPU time: 152.705 s c =============================================================================== c | 733 | 993 1706 429791 | 5000 733 144 | 2.743 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 27.3508 s Remaining CPU time: 152.649 s c =============================================================================== c | 733 | 993 1707 430533 | 5000 733 144 | 2.743 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 27.4078 s Remaining CPU time: 152.592 s c =============================================================================== c | 734 | 993 1708 431275 | 5000 734 144 | 2.743 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 27.5458 s Remaining CPU time: 152.454 s c =============================================================================== c | 823 | 993 1709 432017 | 5000 823 145 | 2.743 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 27.6028 s Remaining CPU time: 152.397 s c =============================================================================== c | 832 | 993 1710 432759 | 5000 832 144 | 2.743 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 27.6588 s Remaining CPU time: 152.341 s c =============================================================================== c | 832 | 993 1711 433501 | 5000 832 144 | 2.743 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 27.7138 s Remaining CPU time: 152.286 s c =============================================================================== c | 832 | 993 1712 434243 | 5000 832 144 | 2.743 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 27.7698 s Remaining CPU time: 152.23 s c =============================================================================== c | 832 | 993 1713 434985 | 5000 832 144 | 2.743 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 27.8248 s Remaining CPU time: 152.175 s c =============================================================================== c | 832 | 993 1714 435727 | 5000 832 144 | 2.743 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 27.8798 s Remaining CPU time: 152.12 s c =============================================================================== c | 832 | 993 1715 436469 | 5000 832 144 | 2.743 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 27.9348 s Remaining CPU time: 152.065 s c =============================================================================== c | 832 | 993 1716 437211 | 5000 832 144 | 2.743 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 27.9897 s Remaining CPU time: 152.01 s c =============================================================================== c | 833 | 993 1717 437953 | 5000 833 144 | 2.743 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 28.0447 s Remaining CPU time: 151.955 s c =============================================================================== c | 833 | 993 1718 438695 | 5000 833 144 | 2.743 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 28.0987 s Remaining CPU time: 151.901 s c =============================================================================== c | 833 | 993 1719 439437 | 5000 833 144 | 2.743 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 28.1547 s Remaining CPU time: 151.845 s c =============================================================================== c | 835 | 993 1720 440179 | 5000 835 144 | 2.743 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 28.2087 s Remaining CPU time: 151.791 s c =============================================================================== c | 835 | 993 1721 440921 | 5000 835 144 | 2.743 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 28.2627 s Remaining CPU time: 151.737 s c =============================================================================== c | 836 | 993 1722 441663 | 5000 836 144 | 2.743 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 28.3167 s Remaining CPU time: 151.683 s c =============================================================================== c | 836 | 993 1723 442405 | 5000 836 144 | 2.743 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 28.3747 s Remaining CPU time: 151.625 s c =============================================================================== c | 844 | 993 1724 443147 | 5000 844 144 | 2.743 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 28.4267 s Remaining CPU time: 151.573 s c =============================================================================== c | 844 | 993 1725 443889 | 5000 844 144 | 2.743 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 28.4787 s Remaining CPU time: 151.521 s c =============================================================================== c | 844 | 993 1726 444631 | 5000 844 144 | 2.743 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 28.5297 s Remaining CPU time: 151.47 s c =============================================================================== c | 844 | 993 1727 445373 | 5000 844 144 | 2.743 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 28.5817 s Remaining CPU time: 151.418 s c =============================================================================== c | 844 | 993 1728 446115 | 5000 844 144 | 2.743 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 28.6336 s Remaining CPU time: 151.366 s c =============================================================================== c | 844 | 993 1729 446857 | 5000 844 144 | 2.743 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 28.6846 s Remaining CPU time: 151.315 s c =============================================================================== c | 844 | 993 1730 447599 | 5000 844 144 | 2.743 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 28.7926 s Remaining CPU time: 151.207 s c =============================================================================== c | 904 | 993 1731 448341 | 5000 904 145 | 2.743 % | c | 1006 | 993 1731 448341 | 5500 1006 141 | 2.743 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 29.1406 s Remaining CPU time: 150.859 s c =============================================================================== c | 1147 | 993 1732 449083 | 5000 1147 140 | 2.743 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 29.2686 s Remaining CPU time: 150.731 s c =============================================================================== c | 1220 | 993 1733 449825 | 5000 1220 138 | 2.743 % | c | 1320 | 993 1733 449825 | 5500 1320 139 | 2.743 % | c | 1470 | 993 1733 449825 | 6050 1470 140 | 2.743 % | c | 1698 | 993 1733 449825 | 6655 1698 140 | 2.743 % | c | 2035 | 993 1733 449825 | 7320 2035 142 | 2.743 % | c | 2541 | 993 1733 449825 | 8052 2541 147 | 2.743 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 33.161 s Remaining CPU time: 146.839 s c =============================================================================== c | 3278 | 993 1734 450567 | 5000 3278 153 | 2.743 % | c | 3378 | 993 1734 450567 | 5500 3378 153 | 2.743 % | c | 3528 | 993 1734 450567 | 6050 3528 154 | 2.743 % | c | 3753 | 993 1734 450567 | 6655 3753 153 | 2.743 % | c | 4091 | 993 1734 450567 | 7320 4091 153 | 2.743 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 34.8087 s Remaining CPU time: 145.191 s c =============================================================================== c | 4151 | 993 1735 451309 | 5000 4151 153 | 2.743 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 34.9447 s Remaining CPU time: 145.055 s c =============================================================================== c | 4225 | 993 1736 452051 | 5000 4225 153 | 2.743 % | c | 4325 | 993 1736 452051 | 5500 4325 152 | 2.743 % | c | 4475 | 993 1736 452051 | 6050 4475 152 | 2.743 % | c | 4700 | 993 1736 452051 | 6655 4700 153 | 2.743 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 36.3495 s Remaining CPU time: 143.651 s c =============================================================================== c | 5006 | 993 1737 452793 | 5000 5006 153 | 2.743 % | c | 5108 | 993 1737 452793 | 5500 5108 154 | 2.743 % | c | 5258 | 993 1737 452793 | 6050 5258 154 | 2.743 % | c | 5483 | 993 1737 452793 | 6655 5483 155 | 2.743 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 37.8133 s Remaining CPU time: 142.187 s c =============================================================================== c | 5679 | 993 1738 453535 | 5000 5679 154 | 2.743 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 37.9432 s Remaining CPU time: 142.057 s c =============================================================================== c | 5709 | 993 1739 454277 | 5000 2870 147 | 2.743 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 37.9982 s Remaining CPU time: 142.002 s c =============================================================================== c | 5711 | 993 1740 455019 | 5000 2872 147 | 2.743 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 38.0522 s Remaining CPU time: 141.948 s c =============================================================================== c | 5714 | 993 1741 455761 | 5000 2875 146 | 2.743 % | c | 5816 | 993 1741 455761 | 5500 2977 146 | 2.743 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 38.3982 s Remaining CPU time: 141.602 s c =============================================================================== c | 5943 | 993 1742 456503 | 5000 3104 145 | 2.743 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 38.5581 s Remaining CPU time: 141.442 s c =============================================================================== c | 6018 | 993 1743 457245 | 5000 3179 145 | 2.743 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 38.6361 s Remaining CPU time: 141.364 s c =============================================================================== c | 6049 | 993 1744 457987 | 5000 3210 144 | 2.743 % | c | 6149 | 993 1744 457987 | 5500 3310 144 | 2.743 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 38.9081 s Remaining CPU time: 141.092 s c =============================================================================== c | 6169 | 993 1745 458729 | 5000 3330 144 | 2.743 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 38.9831 s Remaining CPU time: 141.017 s c =============================================================================== c | 6193 | 993 1746 459471 | 5000 3354 144 | 2.743 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 39.0521 s Remaining CPU time: 140.948 s c =============================================================================== c | 6209 | 993 1747 460213 | 5000 3370 144 | 2.743 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 39.158 s Remaining CPU time: 140.842 s c =============================================================================== c | 6238 | 993 1748 460955 | 5000 3399 144 | 2.743 % | c | 6338 | 993 1748 460955 | 5500 3499 143 | 2.743 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 39.371 s Remaining CPU time: 140.629 s c =============================================================================== c | 6345 | 993 1749 461697 | 5000 3506 143 | 2.743 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 39.419 s Remaining CPU time: 140.581 s c =============================================================================== c | 6345 | 993 1750 462439 | 5000 3506 143 | 2.743 % | c | 6446 | 993 1750 462439 | 5500 3607 143 | 2.743 % | c | 6596 | 993 1750 462439 | 6050 3757 142 | 2.743 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 40.1479 s Remaining CPU time: 139.852 s c =============================================================================== c | 6735 | 993 1751 463181 | 5000 3896 142 | 2.743 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 40.2119 s Remaining CPU time: 139.788 s c =============================================================================== c | 6747 | 993 1752 463923 | 5000 3908 142 | 2.743 % | c | 6847 | 993 1752 463923 | 5500 4008 142 | 2.743 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 40.5288 s Remaining CPU time: 139.471 s c =============================================================================== c | 6920 | 993 1753 464665 | 5000 4081 142 | 2.743 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 40.6848 s Remaining CPU time: 139.315 s c =============================================================================== c | 6988 | 993 1754 465407 | 5000 4149 141 | 2.743 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 40.8378 s Remaining CPU time: 139.162 s c =============================================================================== c | 7052 | 993 1755 466149 | 5000 4213 141 | 2.743 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 40.9278 s Remaining CPU time: 139.072 s c =============================================================================== c | 7078 | 993 1756 466891 | 5000 4239 141 | 2.743 % | c | 7179 | 993 1756 466891 | 5500 4340 141 | 2.743 % | c | 7329 | 993 1756 466891 | 6050 4490 141 | 2.743 % | c | 7554 | 993 1756 466891 | 6655 4715 141 | 2.743 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 42.3076 s Remaining CPU time: 137.692 s c =============================================================================== c | 7860 | 993 1757 467633 | 5000 5021 141 | 2.743 % | c | 7960 | 993 1757 467633 | 5500 5121 141 | 2.743 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 42.5885 s Remaining CPU time: 137.411 s c =============================================================================== c | 7978 | 993 1758 468375 | 5000 5139 141 | 2.743 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 42.6765 s Remaining CPU time: 137.323 s c =============================================================================== c | 7995 | 993 1759 469117 | 5000 2587 122 | 2.743 % | c | 8095 | 993 1759 469117 | 5500 2687 122 | 2.743 % | c | 8245 | 993 1759 469117 | 6050 2837 122 | 2.743 % | c | 8470 | 993 1759 469117 | 6655 3062 123 | 2.743 % | c | 8809 | 993 1759 469117 | 7320 3401 125 | 2.743 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 44.5462 s Remaining CPU time: 135.454 s c =============================================================================== c | 9231 | 993 1760 469859 | 5000 3823 125 | 2.743 % | c | 9331 | 993 1760 469859 | 5500 3923 126 | 2.743 % | c | 9481 | 993 1760 469859 | 6050 4073 126 | 2.743 % | c | 9706 | 993 1760 469859 | 6655 4298 127 | 2.743 % | c | 10043 | 993 1760 469859 | 7320 4635 127 | 2.743 % | c | 10550 | 993 1760 469859 | 8052 5142 128 | 2.743 % | c | 11309 | 993 1760 469859 | 8857 5901 128 | 2.743 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 48.5586 s Remaining CPU time: 131.441 s c =============================================================================== c | 11867 | 993 1761 470601 | 5000 6459 128 | 2.743 % | c | 11967 | 993 1761 470601 | 5500 3330 124 | 2.743 % | c | 12117 | 993 1761 470601 | 6050 3480 125 | 2.743 % | c | 12342 | 993 1761 470601 | 6655 3705 125 | 2.743 % | c | 12679 | 993 1761 470601 | 7320 4042 126 | 2.743 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 50.1124 s Remaining CPU time: 129.888 s c =============================================================================== c | 12705 | 993 1762 471343 | 5000 4068 126 | 2.743 % | c | 12805 | 993 1762 471343 | 5500 4168 126 | 2.743 % | c | 12955 | 993 1762 471343 | 6050 4318 127 | 2.743 % | c | 13180 | 993 1762 471343 | 6655 4543 127 | 2.743 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 51.0572 s Remaining CPU time: 128.943 s c =============================================================================== c | 13211 | 993 1763 472085 | 5000 4574 127 | 2.743 % | c | 13311 | 993 1763 472085 | 5500 4674 127 | 2.743 % | c | 13461 | 993 1763 472085 | 6050 4824 128 | 2.743 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 51.8321 s Remaining CPU time: 128.168 s c =============================================================================== c | 13643 | 993 1764 472827 | 5000 5006 128 | 2.743 % | c | 13743 | 993 1764 472827 | 5500 5106 128 | 2.743 % | c | 13893 | 993 1764 472827 | 6050 5256 128 | 2.743 % | c | 14118 | 993 1764 472827 | 6655 5481 127 | 2.743 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 52.851 s Remaining CPU time: 127.149 s c =============================================================================== c | 14247 | 993 1765 473569 | 5000 5610 128 | 2.743 % | c | 14347 | 993 1765 473569 | 5500 2905 124 | 2.743 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 53.1849 s Remaining CPU time: 126.815 s c =============================================================================== c | 14356 | 993 1766 474311 | 5000 2914 124 | 2.743 % | c | 14456 | 993 1766 474311 | 5500 3014 123 | 2.743 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 53.4509 s Remaining CPU time: 126.549 s c =============================================================================== c | 14536 | 993 1767 475053 | 5000 3094 123 | 2.743 % | c | 14636 | 993 1767 475053 | 5500 3194 123 | 2.743 % | c | 14786 | 993 1767 475053 | 6050 3344 122 | 2.743 % | c | 15014 | 993 1767 475053 | 6655 3572 121 | 2.743 % | c | 15351 | 993 1767 475053 | 7320 3909 121 | 2.743 % | c | 15857 | 993 1767 475053 | 8052 4415 121 | 2.743 % | c | 16616 | 993 1767 475053 | 8857 5174 120 | 2.743 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 57.2973 s Remaining CPU time: 122.703 s c =============================================================================== c | 17497 | 993 1768 475795 | 5000 6055 121 | 2.743 % | c | 17597 | 993 1768 475795 | 5500 3128 111 | 2.743 % | c | 17747 | 993 1768 475795 | 6050 3278 112 | 2.743 % | c | 17972 | 993 1768 475795 | 6655 3503 112 | 2.743 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 58.3191 s Remaining CPU time: 121.681 s c =============================================================================== c | 18119 | 993 1769 476537 | 5000 3650 112 | 2.743 % | c | 18219 | 993 1769 476537 | 5500 3750 112 | 2.743 % | c | 18369 | 993 1769 476537 | 6050 3900 113 | 2.743 % | c | 18594 | 993 1769 476537 | 6655 4125 113 | 2.743 % | c | 18931 | 993 1769 476537 | 7320 4462 114 | 2.743 % | c | 19437 | 993 1769 476537 | 8052 4968 115 | 2.743 % | c | 20196 | 993 1769 476537 | 8857 5727 116 | 2.743 % | c | 21335 | 993 1769 476537 | 9743 6866 116 | 2.743 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 65.0501 s Remaining CPU time: 114.95 s c =============================================================================== c | 22765 | 993 1770 477279 | 5000 8296 117 | 2.743 % | c | 22865 | 993 1770 477279 | 5500 4248 116 | 2.743 % | c | 23015 | 993 1770 477279 | 6050 4398 118 | 2.743 % | c | 23240 | 993 1770 477279 | 6655 4623 117 | 2.743 % | c | 23577 | 993 1770 477279 | 7320 4960 118 | 2.743 % | c | 24083 | 993 1770 477279 | 8052 5466 118 | 2.743 % | c | 24842 | 993 1770 477279 | 8857 6225 119 | 2.743 % | c | 25982 | 993 1770 477279 | 9743 7365 119 | 2.743 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 71.8861 s Remaining CPU time: 108.114 s c =============================================================================== c | 27465 | 993 1771 478021 | 5000 8848 119 | 2.743 % | c | 27565 | 993 1771 478021 | 5500 4524 116 | 2.743 % | c | 27715 | 993 1771 478021 | 6050 4674 116 | 2.743 % | c | 27941 | 993 1771 478021 | 6655 4900 117 | 2.743 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 73.0769 s Remaining CPU time: 106.923 s c =============================================================================== c | 28126 | 993 1772 478763 | 5000 5085 117 | 2.743 % | c | 28226 | 993 1772 478763 | 5500 2643 113 | 2.743 % | c | 28377 | 993 1772 478763 | 6050 2794 114 | 2.743 % | c | 28602 | 993 1772 478763 | 6655 3019 115 | 2.743 % | c | 28939 | 993 1772 478763 | 7320 3356 115 | 2.743 % | c | 29445 | 993 1772 478763 | 8052 3862 118 | 2.743 % | c | 30204 | 993 1772 478763 | 8857 4621 118 | 2.743 % | c | 31343 | 993 1772 478763 | 9743 5760 117 | 2.743 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 80.2498 s Remaining CPU time: 99.7502 s c =============================================================================== c | 32690 | 993 1773 479505 | 5000 7107 119 | 2.743 % | c | 32790 | 993 1773 479505 | 5500 3654 116 | 2.743 % | c | 32940 | 993 1773 479505 | 6050 3804 117 | 2.743 % | c | 33165 | 993 1773 479505 | 6655 4029 118 | 2.743 % | c | 33502 | 993 1773 479505 | 7320 4366 118 | 2.743 % | c | 34008 | 993 1773 479505 | 8052 4872 118 | 2.743 % | c | 34767 | 993 1773 479505 | 8857 5631 118 | 2.743 % | c | 35906 | 993 1773 479505 | 9743 6770 117 | 2.743 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 86.0229 s Remaining CPU time: 93.9771 s c =============================================================================== c | 36739 | 993 1774 480247 | 5000 7603 116 | 2.743 % | c | 36839 | 993 1774 480247 | 5500 3902 110 | 2.743 % | c | 36989 | 993 1774 480247 | 6050 4052 111 | 2.743 % | c | 37214 | 993 1774 480247 | 6655 4277 111 | 2.743 % | c | 37551 | 993 1774 480247 | 7320 4614 111 | 2.743 % | c | 38057 | 993 1774 480247 | 8052 5120 112 | 2.743 % | c | 38816 | 993 1774 480247 | 8857 5879 112 | 2.743 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 89.6784 s Remaining CPU time: 90.3216 s c =============================================================================== c | 39271 | 993 1775 480989 | 5000 6334 112 | 2.743 % | c | 39371 | 993 1775 480989 | 5500 3267 109 | 2.743 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 89.9423 s Remaining CPU time: 90.0577 s c =============================================================================== c | 39377 | 993 1776 481731 | 5000 3273 109 | 2.743 % | c | 39478 | 993 1776 481731 | 5500 3374 109 | 2.743 % | c | 39628 | 993 1776 481731 | 6050 3524 110 | 2.743 % | c | 39853 | 993 1776 481731 | 6655 3749 110 | 2.743 % | c | 40190 | 993 1776 481731 | 7320 4086 111 | 2.743 % | c | 40696 | 993 1776 481731 | 8052 4592 110 | 2.743 % | c | 41455 | 993 1776 481731 | 8857 5351 111 | 2.743 % | c | 42595 | 993 1776 481731 | 9743 6491 111 | 2.743 % | c | 44303 | 993 1776 481731 | 10717 8199 113 | 2.743 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 98.0791 s Remaining CPU time: 81.9209 s c =============================================================================== c | 44906 | 993 1777 482473 | 5000 8802 113 | 2.743 % | c | 45007 | 993 1777 482473 | 5500 4502 111 | 2.743 % | c | 45157 | 993 1777 482473 | 6050 4652 113 | 2.743 % | c | 45382 | 993 1777 482473 | 6655 4877 113 | 2.743 % | c | 45719 | 993 1777 482473 | 7320 5214 113 | 2.743 % | c | 46225 | 993 1777 482473 | 8052 5720 113 | 2.743 % | c | 46984 | 993 1777 482473 | 8857 6479 113 | 2.743 % | c | 48123 | 993 1777 482473 | 9743 7618 114 | 2.743 % | c | 49831 | 993 1777 482473 | 10717 9326 114 | 2.743 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 109.012 s Remaining CPU time: 70.9876 s c =============================================================================== c | 52213 | 993 1778 483215 | 5000 6265 114 | 2.743 % | c | 52313 | 993 1778 483215 | 5500 3233 113 | 2.743 % | c | 52464 | 993 1778 483215 | 6050 3384 112 | 2.743 % | c | 52689 | 993 1778 483215 | 6655 3609 112 | 2.743 % | c | 53026 | 993 1778 483215 | 7320 3946 111 | 2.743 % | c | 53532 | 993 1778 483215 | 8052 4452 111 | 2.743 % | c | 54291 | 993 1778 483215 | 8857 5211 111 | 2.743 % | c | 55430 | 993 1778 483215 | 9743 6350 111 | 2.743 % | c | 57138 | 993 1778 483215 | 10717 8058 112 | 2.743 % | c | 59700 | 993 1778 483215 | 11789 10620 115 | 2.743 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 124.79 s Remaining CPU time: 55.21 s c =============================================================================== c | 63256 | 993 1779 483957 | 5000 8181 118 | 2.743 % | c | 63356 | 993 1779 483957 | 5500 4191 117 | 2.743 % | c | 63507 | 993 1779 483957 | 6050 4342 117 | 2.743 % | c | 63732 | 993 1779 483957 | 6655 4567 116 | 2.743 % | c | 64070 | 993 1779 483957 | 7320 4905 115 | 2.743 % | c | 64576 | 993 1779 483957 | 8052 5411 115 | 2.743 % | c | 65336 | 993 1779 483957 | 8857 6171 113 | 2.743 % | c | 66475 | 993 1779 483957 | 9743 7310 112 | 2.743 % | c | 68183 | 993 1779 483957 | 10717 9018 111 | 2.743 % | c | 70745 | 993 1779 483957 | 11789 6131 106 | 2.743 % | c | 74589 | 993 1779 483957 | 12968 9975 112 | 2.743 % | c | 80355 | 993 1779 483957 | 14265 9160 118 | 2.743 % | c | 89004 | 993 1779 483957 | 15692 10598 108 | 2.743 % | c There are 28 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 251 2538 4702 | 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 | 419 2545 5030 | 5000 0 nan | 0.000 % | c | 100 | 386 2545 5030 | 5500 12 14 | 65.343 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 708 2556 78243 | 5000 0 nan | 0.000 % | c | 100 | 708 2556 78243 | 5500 100 85 | 44.946 % | c | 250 | 707 2556 78243 | 6050 250 56 | 45.101 % | c | 477 | 667 2556 78243 | 6655 64 16 | 48.367 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1520 2575 310372 | 5000 0 nan | 0.000 % | c | 101 | 1520 2575 310372 | 5500 101 28 | 14.941 % | c | 254 | 1520 2575 310372 | 6050 254 21 | 14.941 % | c | 479 | 1520 2575 310372 | 6655 479 18 | 14.941 % | c | 816 | 1520 2575 310372 | 7320 816 17 | 14.941 % | c | 1322 | 1520 2575 310372 | 8052 1322 18 | 14.941 % | c | 2081 | 1520 2575 310372 | 8857 2081 18 | 14.941 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2303 2607 434296 | 5000 0 nan | 0.000 % | c | 100 | 2303 2607 434296 | 5500 100 97 | 4.241 % | c | 252 | 2303 2607 434296 | 6050 252 50 | 4.241 % | c | 478 | 2303 2607 434296 | 6655 478 50 | 4.241 % | c | 815 | 2303 2607 434296 | 7320 815 51 | 4.241 % | c | 1321 | 2303 2607 434296 | 8052 1321 48 | 4.241 % | c | 2083 | 2303 2607 434296 | 8857 2083 42 | 4.241 % | c | 3222 | 2303 2607 434296 | 9743 3222 33 | 4.241 % | c | 4930 | 2303 2607 434296 | 10717 4930 28 | 4.241 % | c | 7492 | 2301 2607 434296 | 11789 5978 25 | 4.324 % | c | 11339 | 2301 2607 434296 | 12968 9825 25 | 4.324 % | c | 17105 | 2301 2607 434296 | 14265 9035 20 | 4.324 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3041 2642 469219 | 5000 0 nan | 0.000 % | c | 100 | 3041 2642 469219 | 5500 100 117 | 1.840 % | c | 250 | 3041 2642 469219 | 6050 250 51 | 1.840 % | c | 477 | 3041 2642 469219 | 6655 477 65 | 1.840 % | c | 814 | 3041 2642 469219 | 7320 814 81 | 1.840 % | c | 1321 | 3041 2642 469219 | 8052 1321 89 | 1.840 % | c | 2081 | 3041 2642 469219 | 8857 2081 94 | 1.840 % | c | 3224 | 3041 2642 469219 | 9743 3224 98 | 1.840 % | c | 4932 | 3041 2642 469219 | 10717 4932 100 | 1.840 % | c | 7499 | 3041 2642 469219 | 11789 7499 102 | 1.840 % | c | 11343 | 3041 2642 469219 | 12968 11343 103 | 1.840 % | c | 17109 | 3041 2642 469219 | 14265 10521 105 | 1.840 % | c | 25758 | 3041 2642 469219 | 15692 11925 105 | 1.840 % | c | 38732 | 3041 2642 469219 | 17261 8980 105 | 1.840 % | c | 58193 | 3041 2642 469219 | 18987 10977 107 | 1.840 % | c | 87386 | 3041 2642 469219 | 20886 11100 113 | 1.840 % | c | 131177 | 3041 2642 469219 | 22974 12606 71 | 1.840 % | c | 196861 | 3041 2642 469219 | 25272 20241 44 | 1.840 % | c | 295388 | 3041 2642 469219 | 27799 25210 59 | 1.840 % | c | 443179 | 3032 2642 469219 | 30579 21317 39 | 2.131 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3822 2690 490929 | 5000 0 nan | 0.000 % | c | 101 | 3822 2690 490929 | 5500 101 32 | 0.779 % | c | 251 | 3822 2690 490929 | 6050 251 48 | 0.779 % | c | 477 | 3822 2690 490929 | 6655 477 36 | 0.779 % | c | 815 | 3822 2690 490929 | 7320 815 39 | 0.779 % | c | 1324 | 3822 2690 490929 | 8052 1324 48 | 0.779 % | c | 2085 | 3822 2690 490929 | 8857 2085 51 | 0.779 % | c | 3228 | 3822 2690 490929 | 9743 3228 59 | 0.779 % | c | 4936 | 3822 2690 490929 | 10717 4936 61 | 0.779 % | c | 7499 | 3822 2690 490929 | 11789 7499 66 | 0.779 % | c | 11343 | 3822 2690 490929 | 12968 11343 65 | 0.779 % | c | 17113 | 3822 2690 490929 | 14265 10577 73 | 0.779 % | c | 25762 | 3822 2690 490929 | 15692 12017 90 | 0.779 % | c | 38742 | 3822 2690 490929 | 17261 8866 87 | 0.779 % | c | 58203 | 3822 2690 490929 | 18987 10842 69 | 0.779 % | c | 87396 | 3822 2690 490929 | 20886 10948 78 | 0.779 % | c | 131186 | 3822 2690 490929 | 22974 12063 50 | 0.779 % | c | 196870 | 3822 2690 490929 | 25272 19051 74 | 0.779 % | c Memory used : 303.94 MB c CPU time : 1800 s c c Total CPU time: 1800 s