c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1223 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1128 | c | Number Clauses: 1212 | 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 | 1100 1240 4857 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1100 1241 5716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1100 1242 6575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1100 1243 7434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1100 1244 8293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1100 1245 9152 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1100 1246 10011 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1100 1247 10870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1100 1248 11729 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1100 1249 12588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1100 1250 13447 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1100 1251 14306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1100 1252 15165 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1100 1253 16024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1100 1254 16883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1100 1255 17742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1100 1256 18601 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1100 1257 19460 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1100 1258 20319 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1100 1259 21178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1100 1260 22037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 1100 1261 22896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1100 1262 23755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 1100 1263 24614 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 1100 1264 25473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 1100 1265 26332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 1100 1266 27191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 1100 1267 28050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 1100 1268 28909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 1100 1269 29768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 1100 1270 30627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 1100 1271 31486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 1100 1272 32345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 1100 1273 33204 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 1100 1274 34063 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 1100 1275 34922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 1100 1276 35781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 1100 1277 36640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 1100 1278 37499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 0 | 1100 1279 38358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 1100 1280 39217 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 1100 1281 40076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 1100 1282 40935 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 1100 1283 41794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 1100 1284 42653 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 0 | 1100 1285 43512 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 0 | 1100 1286 44371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 0 | 1100 1287 45230 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 1100 1288 46089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 1100 1289 46948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 0 | 1100 1290 47807 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 0 | 1100 1291 48666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 1100 1292 49525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 0 | 1100 1293 50384 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 0 | 1100 1294 51243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 0 | 1100 1295 52102 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 0 | 1100 1296 52961 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 0 | 1100 1297 53820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 0 | 1100 1298 54679 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 0 | 1100 1299 55538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 1100 1300 56397 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 0 | 1100 1301 57256 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.6539 s Remaining CPU time: 179.346 s c =============================================================================== c | 0 | 1100 1302 58115 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 0 | 1100 1303 58974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 0 | 1100 1304 59833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 0 | 1100 1305 60692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 0 | 1100 1306 61551 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 1100 1307 62410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 0 | 1100 1308 63269 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 0 | 1100 1309 64128 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s c =============================================================================== c | 0 | 1100 1310 64987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 0 | 1100 1311 65846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 0 | 1100 1312 66705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.924859 s Remaining CPU time: 179.075 s c =============================================================================== c | 0 | 1100 1313 67564 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 0 | 1100 1314 68423 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 0 | 1100 1315 69282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 0 | 1100 1316 70141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 0 | 1100 1317 71000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 0 | 1100 1318 71859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 0 | 1100 1319 72718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 0 | 1100 1320 73577 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 1.14882 s Remaining CPU time: 178.851 s c =============================================================================== c | 0 | 1100 1321 74436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 0 | 1100 1322 75295 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 1.20982 s Remaining CPU time: 178.79 s c =============================================================================== c | 0 | 1100 1323 76154 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 0 | 1100 1324 77013 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 0 | 1100 1325 77872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 1.3058 s Remaining CPU time: 178.694 s c =============================================================================== c | 0 | 1100 1326 78731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 0 | 1100 1327 79590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s c =============================================================================== c | 0 | 1100 1328 80449 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s c =============================================================================== c | 0 | 1100 1329 81308 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 1.43978 s Remaining CPU time: 178.56 s c =============================================================================== c | 0 | 1100 1330 82167 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 1.47477 s Remaining CPU time: 178.525 s c =============================================================================== c | 0 | 1100 1331 83026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 0 | 1100 1332 83885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 0 | 1100 1333 84744 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 1.57576 s Remaining CPU time: 178.424 s c =============================================================================== c | 0 | 1100 1334 85603 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 1.61076 s Remaining CPU time: 178.389 s c =============================================================================== c | 0 | 1100 1335 86462 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 1.64575 s Remaining CPU time: 178.354 s c =============================================================================== c | 0 | 1100 1336 87321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 0 | 1100 1337 88180 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 1.71674 s Remaining CPU time: 178.283 s c =============================================================================== c | 0 | 1100 1338 89039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 0 | 1100 1339 89898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 0 | 1100 1340 90757 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 1.82972 s Remaining CPU time: 178.17 s c =============================================================================== c | 0 | 1100 1341 91616 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 1.86672 s Remaining CPU time: 178.133 s c =============================================================================== c | 0 | 1100 1342 92475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 1.90571 s Remaining CPU time: 178.094 s c =============================================================================== c | 0 | 1100 1343 93334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 1.9457 s Remaining CPU time: 178.054 s c =============================================================================== c | 0 | 1100 1344 94193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s c =============================================================================== c | 0 | 1100 1345 95052 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 2.02369 s Remaining CPU time: 177.976 s c =============================================================================== c | 0 | 1100 1346 95911 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 0 | 1100 1347 96770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 0 | 1100 1348 97629 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 2.14367 s Remaining CPU time: 177.856 s c =============================================================================== c | 0 | 1100 1349 98488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 2.18467 s Remaining CPU time: 177.815 s c =============================================================================== c | 0 | 1100 1350 99347 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 2.22766 s Remaining CPU time: 177.772 s c =============================================================================== c | 0 | 1100 1351 100206 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 2.27065 s Remaining CPU time: 177.729 s c =============================================================================== c | 0 | 1100 1352 101065 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 2.31465 s Remaining CPU time: 177.685 s c =============================================================================== c | 0 | 1100 1353 101924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 2.35764 s Remaining CPU time: 177.642 s c =============================================================================== c | 0 | 1100 1354 102783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 2.40063 s Remaining CPU time: 177.599 s c =============================================================================== c | 0 | 1100 1355 103642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 0 | 1100 1356 104501 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 2.48862 s Remaining CPU time: 177.511 s c =============================================================================== c | 0 | 1100 1357 105360 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 2.53161 s Remaining CPU time: 177.468 s c =============================================================================== c | 0 | 1100 1358 106219 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 2.57561 s Remaining CPU time: 177.424 s c =============================================================================== c | 0 | 1100 1359 107078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 2.6186 s Remaining CPU time: 177.381 s c =============================================================================== c | 0 | 1100 1360 107937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 2.66359 s Remaining CPU time: 177.336 s c =============================================================================== c | 0 | 1100 1361 108796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 2.70759 s Remaining CPU time: 177.292 s c =============================================================================== c | 0 | 1100 1362 109655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 2.75358 s Remaining CPU time: 177.246 s c =============================================================================== c | 0 | 1100 1363 110514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 2.79757 s Remaining CPU time: 177.202 s c =============================================================================== c | 0 | 1100 1364 111373 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 0 | 1100 1365 112232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 2.88856 s Remaining CPU time: 177.111 s c =============================================================================== c | 0 | 1100 1366 113091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 2.93555 s Remaining CPU time: 177.064 s c =============================================================================== c | 0 | 1100 1367 113950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 2.98255 s Remaining CPU time: 177.017 s c =============================================================================== c | 0 | 1100 1368 114809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 3.02954 s Remaining CPU time: 176.97 s c =============================================================================== c | 0 | 1100 1369 115668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 3.07553 s Remaining CPU time: 176.924 s c =============================================================================== c | 0 | 1100 1370 116527 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 3.12052 s Remaining CPU time: 176.879 s c =============================================================================== c | 0 | 1100 1371 117386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 3.16652 s Remaining CPU time: 176.833 s c =============================================================================== c | 0 | 1100 1372 118245 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 3.21451 s Remaining CPU time: 176.785 s c =============================================================================== c | 0 | 1100 1373 119104 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 3.2595 s Remaining CPU time: 176.74 s c =============================================================================== c | 0 | 1100 1374 119963 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 3.3055 s Remaining CPU time: 176.695 s c =============================================================================== c | 0 | 1100 1375 120822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s c =============================================================================== c | 0 | 1100 1376 121681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 3.40148 s Remaining CPU time: 176.599 s c =============================================================================== c | 0 | 1100 1377 122540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 3.44948 s Remaining CPU time: 176.551 s c =============================================================================== c | 0 | 1100 1378 123399 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 3.49747 s Remaining CPU time: 176.503 s c =============================================================================== c | 0 | 1100 1379 124258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 3.54746 s Remaining CPU time: 176.453 s c =============================================================================== c | 0 | 1100 1380 125117 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 3.59745 s Remaining CPU time: 176.403 s c =============================================================================== c | 0 | 1100 1381 125976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 3.65244 s Remaining CPU time: 176.348 s c =============================================================================== c | 0 | 1100 1382 126835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 3.70644 s Remaining CPU time: 176.294 s c =============================================================================== c | 0 | 1100 1383 127694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 3.75843 s Remaining CPU time: 176.242 s c =============================================================================== c | 0 | 1100 1384 128553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 3.81342 s Remaining CPU time: 176.187 s c =============================================================================== c | 0 | 1100 1385 129412 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 3.86741 s Remaining CPU time: 176.133 s c =============================================================================== c | 0 | 1100 1386 130271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s c =============================================================================== c | 0 | 1100 1387 131130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 3.97539 s Remaining CPU time: 176.025 s c =============================================================================== c | 0 | 1100 1388 131989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 4.03039 s Remaining CPU time: 175.97 s c =============================================================================== c | 0 | 1100 1389 132848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 4.08538 s Remaining CPU time: 175.915 s c =============================================================================== c | 0 | 1100 1390 133707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 4.14037 s Remaining CPU time: 175.86 s c =============================================================================== c | 0 | 1100 1391 134566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 4.19636 s Remaining CPU time: 175.804 s c =============================================================================== c | 0 | 1100 1392 135425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 4.25235 s Remaining CPU time: 175.748 s c =============================================================================== c | 0 | 1100 1393 136284 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 4.30635 s Remaining CPU time: 175.694 s c =============================================================================== c | 0 | 1100 1394 137143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 4.36134 s Remaining CPU time: 175.639 s c =============================================================================== c | 0 | 1100 1395 138002 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 4.41733 s Remaining CPU time: 175.583 s c =============================================================================== c | 0 | 1100 1396 138861 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 4.47432 s Remaining CPU time: 175.526 s c =============================================================================== c | 0 | 1100 1397 139720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 4.53131 s Remaining CPU time: 175.469 s c =============================================================================== c | 0 | 1100 1398 140579 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 4.5873 s Remaining CPU time: 175.413 s c =============================================================================== c | 0 | 1100 1399 141438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 4.64429 s Remaining CPU time: 175.356 s c =============================================================================== c | 0 | 1100 1400 142297 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 4.70029 s Remaining CPU time: 175.3 s c =============================================================================== c | 0 | 1100 1401 143156 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 4.75728 s Remaining CPU time: 175.243 s c =============================================================================== c | 0 | 1100 1402 144015 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 4.81527 s Remaining CPU time: 175.185 s c =============================================================================== c | 0 | 1100 1403 144874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 4.87226 s Remaining CPU time: 175.128 s c =============================================================================== c | 0 | 1100 1404 145733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 4.93025 s Remaining CPU time: 175.07 s c =============================================================================== c | 0 | 1100 1405 146592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 4.98824 s Remaining CPU time: 175.012 s c =============================================================================== c | 0 | 1100 1406 147451 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 5.04823 s Remaining CPU time: 174.952 s c =============================================================================== c | 0 | 1100 1407 148310 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 5.10422 s Remaining CPU time: 174.896 s c =============================================================================== c | 0 | 1100 1408 149169 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 5.16721 s Remaining CPU time: 174.833 s c =============================================================================== c | 0 | 1100 1409 150028 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 5.2312 s Remaining CPU time: 174.769 s c =============================================================================== c | 0 | 1100 1410 150887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 5.2942 s Remaining CPU time: 174.706 s c =============================================================================== c | 0 | 1100 1411 151746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 5.35818 s Remaining CPU time: 174.642 s c =============================================================================== c | 0 | 1100 1412 152605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 5.42117 s Remaining CPU time: 174.579 s c =============================================================================== c | 0 | 1100 1413 153464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 5.48417 s Remaining CPU time: 174.516 s c =============================================================================== c | 0 | 1100 1414 154323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 5.54816 s Remaining CPU time: 174.452 s c =============================================================================== c | 0 | 1100 1415 155182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 5.61215 s Remaining CPU time: 174.388 s c =============================================================================== c | 0 | 1100 1416 156041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 5.67614 s Remaining CPU time: 174.324 s c =============================================================================== c | 0 | 1100 1417 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 5.73913 s Remaining CPU time: 174.261 s c =============================================================================== c | 0 | 1100 1418 157759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 5.80512 s Remaining CPU time: 174.195 s c =============================================================================== c | 0 | 1100 1419 158618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 5.87311 s Remaining CPU time: 174.127 s c =============================================================================== c | 0 | 1100 1420 159477 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 5.9401 s Remaining CPU time: 174.06 s c =============================================================================== c | 0 | 1100 1421 160336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 6.00909 s Remaining CPU time: 173.991 s c =============================================================================== c | 0 | 1100 1422 161195 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 6.07708 s Remaining CPU time: 173.923 s c =============================================================================== c | 0 | 1100 1423 162054 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 6.14506 s Remaining CPU time: 173.855 s c =============================================================================== c | 0 | 1100 1424 162913 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 6.21406 s Remaining CPU time: 173.786 s c =============================================================================== c | 0 | 1100 1425 163772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 6.28404 s Remaining CPU time: 173.716 s c =============================================================================== c | 0 | 1100 1426 164631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 6.35403 s Remaining CPU time: 173.646 s c =============================================================================== c | 0 | 1100 1427 165490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 6.42302 s Remaining CPU time: 173.577 s c =============================================================================== c | 0 | 1100 1428 166349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 6.49201 s Remaining CPU time: 173.508 s c =============================================================================== c | 0 | 1100 1429 167208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 6.562 s Remaining CPU time: 173.438 s c =============================================================================== c | 0 | 1100 1430 168067 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 6.63199 s Remaining CPU time: 173.368 s c =============================================================================== c | 0 | 1100 1431 168926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 6.69898 s Remaining CPU time: 173.301 s c =============================================================================== c | 0 | 1100 1432 169785 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 6.76597 s Remaining CPU time: 173.234 s c =============================================================================== c | 0 | 1100 1433 170644 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 6.83596 s Remaining CPU time: 173.164 s c =============================================================================== c | 0 | 1100 1434 171503 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 6.90495 s Remaining CPU time: 173.095 s c =============================================================================== c | 0 | 1100 1435 172362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 6.97594 s Remaining CPU time: 173.024 s c =============================================================================== c | 0 | 1100 1436 173221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 7.04693 s Remaining CPU time: 172.953 s c =============================================================================== c | 0 | 1100 1437 174080 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 7.12992 s Remaining CPU time: 172.87 s c =============================================================================== c | 0 | 1100 1438 174939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 7.2149 s Remaining CPU time: 172.785 s c =============================================================================== c | 0 | 1100 1439 175798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 7.29889 s Remaining CPU time: 172.701 s c =============================================================================== c | 0 | 1100 1440 176657 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 7.38388 s Remaining CPU time: 172.616 s c =============================================================================== c | 0 | 1100 1441 177516 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 7.46686 s Remaining CPU time: 172.533 s c =============================================================================== c | 0 | 1100 1442 178375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 7.55085 s Remaining CPU time: 172.449 s c =============================================================================== c | 0 | 1100 1443 179234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 7.63484 s Remaining CPU time: 172.365 s c =============================================================================== c | 0 | 1100 1444 180093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 7.71683 s Remaining CPU time: 172.283 s c =============================================================================== c | 0 | 1100 1445 180952 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 7.80281 s Remaining CPU time: 172.197 s c =============================================================================== c | 0 | 1100 1446 181811 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 7.8878 s Remaining CPU time: 172.112 s c =============================================================================== c | 0 | 1100 1447 182670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 7.97279 s Remaining CPU time: 172.027 s c =============================================================================== c | 0 | 1100 1448 183529 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 8.05777 s Remaining CPU time: 171.942 s c =============================================================================== c | 0 | 1100 1449 184388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 8.14476 s Remaining CPU time: 171.855 s c =============================================================================== c | 0 | 1100 1450 185247 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 8.22875 s Remaining CPU time: 171.771 s c =============================================================================== c | 0 | 1100 1451 186106 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 8.31874 s Remaining CPU time: 171.681 s c =============================================================================== c | 0 | 1100 1452 186965 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 8.40572 s Remaining CPU time: 171.594 s c =============================================================================== c | 0 | 1100 1453 187824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 8.49171 s Remaining CPU time: 171.508 s c =============================================================================== c | 0 | 1100 1454 188683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 8.57869 s Remaining CPU time: 171.421 s c =============================================================================== c | 0 | 1100 1455 189542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 8.66668 s Remaining CPU time: 171.333 s c =============================================================================== c | 0 | 1100 1456 190401 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 8.75467 s Remaining CPU time: 171.245 s c =============================================================================== c | 0 | 1100 1457 191260 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 8.84266 s Remaining CPU time: 171.157 s c =============================================================================== c | 0 | 1100 1458 192119 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 8.92964 s Remaining CPU time: 171.07 s c =============================================================================== c | 0 | 1100 1459 192978 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 9.01763 s Remaining CPU time: 170.982 s c =============================================================================== c | 0 | 1100 1460 193837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 9.10462 s Remaining CPU time: 170.895 s c =============================================================================== c | 0 | 1100 1461 194696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 9.1926 s Remaining CPU time: 170.807 s c =============================================================================== c | 0 | 1100 1462 195555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 9.28059 s Remaining CPU time: 170.719 s c =============================================================================== c | 0 | 1100 1463 196414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 9.36758 s Remaining CPU time: 170.632 s c =============================================================================== c | 0 | 1100 1464 197273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 9.45456 s Remaining CPU time: 170.545 s c =============================================================================== c | 0 | 1100 1465 198132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 9.54155 s Remaining CPU time: 170.458 s c =============================================================================== c | 0 | 1100 1466 198991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 9.63153 s Remaining CPU time: 170.368 s c =============================================================================== c | 0 | 1100 1467 199850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 9.72152 s Remaining CPU time: 170.278 s c =============================================================================== c | 0 | 1100 1468 200709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 9.81251 s Remaining CPU time: 170.187 s c =============================================================================== c | 0 | 1100 1469 201568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 9.90249 s Remaining CPU time: 170.098 s c =============================================================================== c | 0 | 1100 1470 202427 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 9.99048 s Remaining CPU time: 170.01 s c =============================================================================== c | 0 | 1100 1471 203286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 10.0805 s Remaining CPU time: 169.92 s c =============================================================================== c | 0 | 1100 1472 204145 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 10.1695 s Remaining CPU time: 169.831 s c =============================================================================== c | 0 | 1100 1473 205004 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 10.2564 s Remaining CPU time: 169.744 s c =============================================================================== c | 0 | 1100 1474 205863 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 10.3594 s Remaining CPU time: 169.641 s c =============================================================================== c | 0 | 1100 1475 206722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 10.4614 s Remaining CPU time: 169.539 s c =============================================================================== c | 0 | 1100 1476 207581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 10.5654 s Remaining CPU time: 169.435 s c =============================================================================== c | 0 | 1100 1477 208440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 10.6704 s Remaining CPU time: 169.33 s c =============================================================================== c | 0 | 1100 1478 209299 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 10.7734 s Remaining CPU time: 169.227 s c =============================================================================== c | 0 | 1100 1479 210158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 10.8773 s Remaining CPU time: 169.123 s c =============================================================================== c | 0 | 1100 1480 211017 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 10.9813 s Remaining CPU time: 169.019 s c =============================================================================== c | 0 | 1100 1481 211876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 11.0843 s Remaining CPU time: 168.916 s c =============================================================================== c | 0 | 1100 1482 212735 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 11.1883 s Remaining CPU time: 168.812 s c =============================================================================== c | 0 | 1100 1483 213594 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 11.2923 s Remaining CPU time: 168.708 s c =============================================================================== c | 0 | 1100 1484 214453 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 11.3933 s Remaining CPU time: 168.607 s c =============================================================================== c | 0 | 1100 1485 215312 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 11.4983 s Remaining CPU time: 168.502 s c =============================================================================== c | 0 | 1100 1486 216171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 11.6022 s Remaining CPU time: 168.398 s c =============================================================================== c | 0 | 1100 1487 217030 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 11.7062 s Remaining CPU time: 168.294 s c =============================================================================== c | 0 | 1100 1488 217889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 11.8242 s Remaining CPU time: 168.176 s c =============================================================================== c | 5 | 1100 1489 218748 | 5000 5 611 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 11.9042 s Remaining CPU time: 168.096 s c =============================================================================== c | 8 | 1100 1490 219607 | 5000 8 384 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 11.9832 s Remaining CPU time: 168.017 s c =============================================================================== c | 10 | 1100 1491 220466 | 5000 10 308 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 12.0662 s Remaining CPU time: 167.934 s c =============================================================================== c | 10 | 1100 1492 221325 | 5000 10 308 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 12.1472 s Remaining CPU time: 167.853 s c =============================================================================== c | 12 | 1100 1493 222184 | 5000 12 309 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 12.2271 s Remaining CPU time: 167.773 s c =============================================================================== c | 12 | 1100 1494 223043 | 5000 12 309 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 12.3081 s Remaining CPU time: 167.692 s c =============================================================================== c | 12 | 1100 1495 223902 | 5000 12 309 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 12.3901 s Remaining CPU time: 167.61 s c =============================================================================== c | 13 | 1100 1496 224761 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 12.4741 s Remaining CPU time: 167.526 s c =============================================================================== c | 13 | 1100 1497 225620 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 12.5591 s Remaining CPU time: 167.441 s c =============================================================================== c | 13 | 1100 1498 226479 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 12.6431 s Remaining CPU time: 167.357 s c =============================================================================== c | 13 | 1100 1499 227338 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 12.7241 s Remaining CPU time: 167.276 s c =============================================================================== c | 13 | 1100 1500 228197 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 12.8081 s Remaining CPU time: 167.192 s c =============================================================================== c | 13 | 1100 1501 229056 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 12.894 s Remaining CPU time: 167.106 s c =============================================================================== c | 13 | 1100 1502 229915 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 12.98 s Remaining CPU time: 167.02 s c =============================================================================== c | 13 | 1100 1503 230774 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 13.065 s Remaining CPU time: 166.935 s c =============================================================================== c | 13 | 1100 1504 231633 | 5000 13 285 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 13.155 s Remaining CPU time: 166.845 s c =============================================================================== c | 22 | 1100 1505 232492 | 5000 22 411 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 13.244 s Remaining CPU time: 166.756 s c =============================================================================== c | 23 | 1100 1506 233351 | 5000 23 393 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 13.33 s Remaining CPU time: 166.67 s c =============================================================================== c | 25 | 1100 1507 234210 | 5000 25 385 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 13.417 s Remaining CPU time: 166.583 s c =============================================================================== c | 27 | 1100 1508 235069 | 5000 27 379 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 13.5049 s Remaining CPU time: 166.495 s c =============================================================================== c | 29 | 1100 1509 235928 | 5000 29 353 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 13.5979 s Remaining CPU time: 166.402 s c =============================================================================== c | 34 | 1100 1510 236787 | 5000 34 336 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 13.6859 s Remaining CPU time: 166.314 s c =============================================================================== c | 35 | 1100 1511 237646 | 5000 35 326 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 13.7729 s Remaining CPU time: 166.227 s c =============================================================================== c | 35 | 1100 1512 238505 | 5000 35 326 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 13.8589 s Remaining CPU time: 166.141 s c =============================================================================== c | 35 | 1100 1513 239364 | 5000 35 326 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 13.9479 s Remaining CPU time: 166.052 s c =============================================================================== c | 37 | 1100 1514 240223 | 5000 37 309 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 14.0389 s Remaining CPU time: 165.961 s c =============================================================================== c | 40 | 1100 1515 241082 | 5000 40 301 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 14.1269 s Remaining CPU time: 165.873 s c =============================================================================== c | 41 | 1100 1516 241941 | 5000 41 294 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 14.2178 s Remaining CPU time: 165.782 s c =============================================================================== c | 42 | 1100 1517 242800 | 5000 42 300 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 14.3078 s Remaining CPU time: 165.692 s c =============================================================================== c | 43 | 1100 1518 243659 | 5000 43 307 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 14.3978 s Remaining CPU time: 165.602 s c =============================================================================== c | 44 | 1100 1519 244518 | 5000 44 300 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 14.4888 s Remaining CPU time: 165.511 s c =============================================================================== c | 45 | 1100 1520 245377 | 5000 45 306 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 14.5808 s Remaining CPU time: 165.419 s c =============================================================================== c | 46 | 1100 1521 246236 | 5000 46 312 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 14.6738 s Remaining CPU time: 165.326 s c =============================================================================== c | 57 | 1100 1522 247095 | 5000 57 334 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 14.7648 s Remaining CPU time: 165.235 s c =============================================================================== c | 65 | 1100 1523 247954 | 5000 65 303 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 14.8577 s Remaining CPU time: 165.142 s c =============================================================================== c | 68 | 1100 1524 248813 | 5000 68 307 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 14.9497 s Remaining CPU time: 165.05 s c =============================================================================== c | 68 | 1100 1525 249672 | 5000 68 307 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 15.0407 s Remaining CPU time: 164.959 s c =============================================================================== c | 70 | 1100 1526 250531 | 5000 70 314 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 15.1337 s Remaining CPU time: 164.866 s c =============================================================================== c | 71 | 1100 1527 251390 | 5000 71 318 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 15.2277 s Remaining CPU time: 164.772 s c =============================================================================== c | 74 | 1100 1528 252249 | 5000 74 320 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 15.3217 s Remaining CPU time: 164.678 s c =============================================================================== c | 74 | 1100 1529 253108 | 5000 74 320 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 15.4137 s Remaining CPU time: 164.586 s c =============================================================================== c | 75 | 1100 1530 253967 | 5000 75 323 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 15.5066 s Remaining CPU time: 164.493 s c =============================================================================== c | 75 | 1100 1531 254826 | 5000 75 323 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 15.6096 s Remaining CPU time: 164.39 s c =============================================================================== c | 77 | 1100 1532 255685 | 5000 77 330 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 15.7026 s Remaining CPU time: 164.297 s c =============================================================================== c | 77 | 1100 1533 256544 | 5000 77 330 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 15.7976 s Remaining CPU time: 164.202 s c =============================================================================== c | 77 | 1100 1534 257403 | 5000 77 330 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 15.8936 s Remaining CPU time: 164.106 s c =============================================================================== c | 78 | 1100 1535 258262 | 5000 78 333 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 15.9876 s Remaining CPU time: 164.012 s c =============================================================================== c | 81 | 1100 1536 259121 | 5000 81 334 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 16.0836 s Remaining CPU time: 163.916 s c =============================================================================== c | 82 | 1100 1537 259980 | 5000 82 337 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 16.1785 s Remaining CPU time: 163.821 s c =============================================================================== c | 82 | 1100 1538 260839 | 5000 82 337 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 16.2735 s Remaining CPU time: 163.726 s c =============================================================================== c | 83 | 1100 1539 261698 | 5000 83 340 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 16.3705 s Remaining CPU time: 163.629 s c =============================================================================== c | 84 | 1100 1540 262557 | 5000 84 342 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 16.4655 s Remaining CPU time: 163.535 s c =============================================================================== c | 85 | 1100 1541 263416 | 5000 85 338 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 16.5635 s Remaining CPU time: 163.437 s c =============================================================================== c | 86 | 1100 1542 264275 | 5000 86 341 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 16.6575 s Remaining CPU time: 163.343 s c =============================================================================== c | 89 | 1100 1543 265134 | 5000 89 335 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 16.7515 s Remaining CPU time: 163.249 s c =============================================================================== c | 91 | 1100 1544 265993 | 5000 91 329 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 16.8454 s Remaining CPU time: 163.155 s c =============================================================================== c | 94 | 1100 1545 266852 | 5000 94 318 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 16.9514 s Remaining CPU time: 163.049 s c =============================================================================== c | 106 | 1100 1546 267711 | 5000 106 340 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 17.0454 s Remaining CPU time: 162.955 s c =============================================================================== c | 106 | 1100 1547 268570 | 5000 106 340 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 17.1494 s Remaining CPU time: 162.851 s c =============================================================================== c | 117 | 1100 1548 269429 | 5000 117 360 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 17.2584 s Remaining CPU time: 162.742 s c =============================================================================== c | 133 | 1100 1549 270288 | 5000 133 383 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 17.4274 s Remaining CPU time: 162.573 s c =============================================================================== c | 208 | 1100 1550 271147 | 5000 208 439 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 17.5413 s Remaining CPU time: 162.459 s c =============================================================================== c | 243 | 1100 1551 272006 | 5000 243 446 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 17.6203 s Remaining CPU time: 162.38 s c =============================================================================== c | 248 | 1100 1552 272865 | 5000 248 439 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 17.6983 s Remaining CPU time: 162.302 s c =============================================================================== c | 250 | 1100 1553 273724 | 5000 250 436 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 17.7763 s Remaining CPU time: 162.224 s c =============================================================================== c | 252 | 1100 1554 274583 | 5000 252 435 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 17.8763 s Remaining CPU time: 162.124 s c =============================================================================== c | 273 | 1100 1555 275442 | 5000 273 441 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 17.9563 s Remaining CPU time: 162.044 s c =============================================================================== c | 281 | 1100 1556 276301 | 5000 281 435 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 18.0363 s Remaining CPU time: 161.964 s c =============================================================================== c | 284 | 1100 1557 277160 | 5000 284 433 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 18.1142 s Remaining CPU time: 161.886 s c =============================================================================== c | 288 | 1100 1558 278019 | 5000 288 429 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 18.1932 s Remaining CPU time: 161.807 s c =============================================================================== c | 291 | 1100 1559 278878 | 5000 291 428 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 18.2702 s Remaining CPU time: 161.73 s c =============================================================================== c | 292 | 1100 1560 279737 | 5000 292 428 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 18.3492 s Remaining CPU time: 161.651 s c =============================================================================== c | 295 | 1100 1561 280596 | 5000 295 428 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 18.4272 s Remaining CPU time: 161.573 s c =============================================================================== c | 295 | 1100 1562 281455 | 5000 295 428 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 18.5152 s Remaining CPU time: 161.485 s c =============================================================================== c | 298 | 1100 1563 282314 | 5000 298 425 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 18.6132 s Remaining CPU time: 161.387 s c =============================================================================== c | 298 | 1100 1564 283173 | 5000 298 425 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 18.7142 s Remaining CPU time: 161.286 s c =============================================================================== c | 299 | 1100 1565 284032 | 5000 299 426 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 18.8191 s Remaining CPU time: 161.181 s c =============================================================================== c | 307 | 1100 1566 284891 | 5000 307 422 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 18.9201 s Remaining CPU time: 161.08 s c =============================================================================== c | 309 | 1100 1567 285750 | 5000 309 423 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 19.0131 s Remaining CPU time: 160.987 s c =============================================================================== c | 310 | 1100 1568 286609 | 5000 310 423 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 19.0941 s Remaining CPU time: 160.906 s c =============================================================================== c | 315 | 1100 1569 287468 | 5000 315 418 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 19.1731 s Remaining CPU time: 160.827 s c =============================================================================== c | 315 | 1100 1570 288327 | 5000 315 418 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 19.2541 s Remaining CPU time: 160.746 s c =============================================================================== c | 316 | 1100 1571 289186 | 5000 316 419 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 19.3481 s Remaining CPU time: 160.652 s c =============================================================================== c | 336 | 1100 1572 290045 | 5000 336 425 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 19.43 s Remaining CPU time: 160.57 s c =============================================================================== c | 341 | 1100 1573 290904 | 5000 341 425 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 19.535 s Remaining CPU time: 160.465 s c =============================================================================== c | 355 | 1100 1574 291763 | 5000 355 423 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 19.647 s Remaining CPU time: 160.353 s c =============================================================================== c | 369 | 1100 1575 292622 | 5000 369 427 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 19.753 s Remaining CPU time: 160.247 s c =============================================================================== c | 376 | 1100 1576 293481 | 5000 376 424 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 19.867 s Remaining CPU time: 160.133 s c =============================================================================== c | 386 | 1100 1577 294340 | 5000 386 422 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 19.97 s Remaining CPU time: 160.03 s c =============================================================================== c | 389 | 1100 1578 295199 | 5000 389 421 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 20.0859 s Remaining CPU time: 159.914 s c =============================================================================== c | 404 | 1100 1579 296058 | 5000 404 424 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 20.1899 s Remaining CPU time: 159.81 s c =============================================================================== c | 406 | 1100 1580 296917 | 5000 406 424 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 20.3239 s Remaining CPU time: 159.676 s c =============================================================================== c | 436 | 1100 1581 297776 | 5000 436 421 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 20.4309 s Remaining CPU time: 159.569 s c =============================================================================== c | 447 | 1100 1582 298635 | 5000 447 424 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 20.6259 s Remaining CPU time: 159.374 s c =============================================================================== c | 535 | 1100 1583 299494 | 5000 535 438 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 20.7898 s Remaining CPU time: 159.21 s c =============================================================================== c | 591 | 1100 1584 300353 | 5000 591 441 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 20.9568 s Remaining CPU time: 159.043 s c =============================================================================== c | 642 | 1100 1585 301212 | 5000 642 443 | 0.000 % | c | 743 | 1100 1585 301212 | 5500 743 453 | 2.483 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 21.2898 s Remaining CPU time: 158.71 s c =============================================================================== c | 780 | 1100 1586 302071 | 5000 780 456 | 2.483 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 21.4787 s Remaining CPU time: 158.521 s c =============================================================================== c | 857 | 1100 1587 302930 | 5000 857 458 | 2.483 % | c | 957 | 1100 1587 302930 | 5500 957 464 | 2.483 % | c | 1107 | 1100 1587 302930 | 6050 1107 470 | 2.483 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 22.0386 s Remaining CPU time: 157.961 s c =============================================================================== c | 1140 | 1100 1588 303789 | 5000 1140 471 | 2.483 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 22.1566 s Remaining CPU time: 157.843 s c =============================================================================== c | 1159 | 1100 1589 304648 | 5000 1159 470 | 2.483 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 22.2636 s Remaining CPU time: 157.736 s c =============================================================================== c | 1161 | 1100 1590 305507 | 5000 1161 470 | 2.483 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 22.3676 s Remaining CPU time: 157.632 s c =============================================================================== c | 1162 | 1100 1591 306366 | 5000 1162 470 | 2.483 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 22.5686 s Remaining CPU time: 157.431 s c =============================================================================== c | 1258 | 1100 1592 307225 | 5000 1258 474 | 2.483 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 22.6915 s Remaining CPU time: 157.308 s c =============================================================================== c | 1277 | 1100 1593 308084 | 5000 1277 474 | 2.483 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 22.8115 s Remaining CPU time: 157.188 s c =============================================================================== c | 1295 | 1100 1594 308943 | 5000 1295 473 | 2.483 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 22.9255 s Remaining CPU time: 157.074 s c =============================================================================== c | 1303 | 1100 1595 309802 | 5000 1303 473 | 2.483 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 23.0395 s Remaining CPU time: 156.961 s c =============================================================================== c | 1311 | 1100 1596 310661 | 5000 1311 473 | 2.483 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 23.1535 s Remaining CPU time: 156.847 s c =============================================================================== c | 1324 | 1100 1597 311520 | 5000 1324 473 | 2.483 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 23.2675 s Remaining CPU time: 156.733 s c =============================================================================== c | 1335 | 1100 1598 312379 | 5000 1335 473 | 2.483 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 23.4734 s Remaining CPU time: 156.527 s c =============================================================================== c | 1423 | 1100 1599 313238 | 5000 1423 474 | 2.483 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 23.5944 s Remaining CPU time: 156.406 s c =============================================================================== c | 1434 | 1100 1600 314097 | 5000 1434 473 | 2.483 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 23.7524 s Remaining CPU time: 156.248 s c =============================================================================== c | 1500 | 1100 1601 314956 | 5000 1500 474 | 2.483 % | c | 1600 | 1100 1601 314956 | 5500 1600 475 | 2.483 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 24.1763 s Remaining CPU time: 155.824 s c =============================================================================== c | 1723 | 1100 1602 315815 | 5000 1723 477 | 2.483 % | c | 1823 | 1100 1602 315815 | 5500 1823 478 | 2.483 % | c | 1973 | 1100 1602 315815 | 6050 1973 480 | 2.483 % | c | 2198 | 1100 1602 315815 | 6655 2198 481 | 2.482 % | c | 2536 | 1100 1602 315815 | 7320 2536 483 | 2.483 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 25.4141 s Remaining CPU time: 154.586 s c =============================================================================== c | 2615 | 1100 1603 316674 | 5000 2615 481 | 2.483 % | c | 2715 | 1100 1603 316674 | 5500 2715 481 | 2.483 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 25.8461 s Remaining CPU time: 154.154 s c =============================================================================== c | 2841 | 1100 1604 317533 | 5000 2841 482 | 2.483 % | c | 2941 | 1100 1604 317533 | 5500 2941 481 | 2.482 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 26.144 s Remaining CPU time: 153.856 s c =============================================================================== c | 2951 | 1100 1605 318392 | 5000 2951 480 | 2.482 % | c | 3052 | 1100 1605 318392 | 5500 3052 480 | 2.482 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 26.48 s Remaining CPU time: 153.52 s c =============================================================================== c | 3100 | 1100 1606 319251 | 5000 3100 479 | 2.482 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 26.614 s Remaining CPU time: 153.386 s c =============================================================================== c | 3133 | 1100 1607 320110 | 5000 3133 479 | 2.482 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 26.8259 s Remaining CPU time: 153.174 s c =============================================================================== c | 3216 | 1100 1608 320969 | 5000 3216 479 | 2.482 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 26.9689 s Remaining CPU time: 153.031 s c =============================================================================== c | 3244 | 1100 1609 321828 | 5000 3244 479 | 2.482 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 27.1509 s Remaining CPU time: 152.849 s c =============================================================================== c | 3314 | 1100 1610 322687 | 5000 3314 479 | 2.482 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 27.3278 s Remaining CPU time: 152.672 s c =============================================================================== c | 3377 | 1100 1611 323546 | 5000 3377 479 | 2.482 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 27.4808 s Remaining CPU time: 152.519 s c =============================================================================== c | 3422 | 1100 1612 324405 | 5000 3422 480 | 2.482 % | c | 3522 | 1100 1612 324405 | 5500 3522 479 | 2.482 % | c | 3672 | 1100 1612 324405 | 6050 3672 478 | 2.482 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 28.0417 s Remaining CPU time: 151.958 s c =============================================================================== c | 3710 | 1100 1613 325264 | 5000 3710 478 | 2.482 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 28.2327 s Remaining CPU time: 151.767 s c =============================================================================== c | 3774 | 1100 1614 326123 | 5000 3774 478 | 2.482 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 28.3747 s Remaining CPU time: 151.625 s c =============================================================================== c | 3798 | 1100 1615 326982 | 5000 3798 478 | 2.482 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 28.5647 s Remaining CPU time: 151.435 s c =============================================================================== c | 3879 | 1100 1616 327841 | 5000 3879 477 | 2.482 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 28.7406 s Remaining CPU time: 151.259 s c =============================================================================== c | 3945 | 1100 1617 328700 | 5000 3945 477 | 2.482 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 28.9106 s Remaining CPU time: 151.089 s c =============================================================================== c | 4024 | 1100 1618 329559 | 5000 4024 477 | 2.482 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 29.1266 s Remaining CPU time: 150.873 s c =============================================================================== c | 4121 | 1100 1619 330418 | 5000 4121 477 | 2.482 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 29.3115 s Remaining CPU time: 150.688 s c =============================================================================== c | 4216 | 1100 1620 331277 | 5000 4216 477 | 2.482 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 29.4155 s Remaining CPU time: 150.584 s c =============================================================================== c | 4218 | 1100 1621 332136 | 5000 4218 477 | 2.482 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 29.5055 s Remaining CPU time: 150.494 s c =============================================================================== c | 4219 | 1100 1622 332995 | 5000 4219 477 | 2.482 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 29.6425 s Remaining CPU time: 150.358 s c =============================================================================== c | 4288 | 1100 1623 333854 | 5000 4288 477 | 2.482 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 29.7435 s Remaining CPU time: 150.257 s c =============================================================================== c | 4296 | 1100 1624 334713 | 5000 4296 477 | 2.482 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 29.8835 s Remaining CPU time: 150.117 s c =============================================================================== c | 4371 | 1100 1625 335572 | 5000 4371 477 | 2.482 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 29.9704 s Remaining CPU time: 150.03 s c =============================================================================== c | 4371 | 1100 1626 336431 | 5000 4371 477 | 2.482 % | c | 4473 | 1100 1626 336431 | 5500 4473 477 | 2.482 % | c | 4626 | 1100 1626 336431 | 6050 4626 477 | 2.482 % | c | 4851 | 1100 1626 336431 | 6655 4851 477 | 2.482 % | c | 5191 | 1100 1626 336431 | 7320 5191 476 | 2.482 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 31.3502 s Remaining CPU time: 148.65 s c =============================================================================== c | 5388 | 1100 1627 337290 | 5000 5388 476 | 2.482 % | c | 5488 | 1100 1627 337290 | 5500 2794 452 | 2.482 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 31.7332 s Remaining CPU time: 148.267 s c =============================================================================== c | 5625 | 1100 1628 338149 | 5000 2931 453 | 2.482 % | c | 5725 | 1100 1628 338149 | 5500 3031 454 | 2.482 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 32.0281 s Remaining CPU time: 147.972 s c =============================================================================== c | 5775 | 1100 1629 339008 | 5000 3081 454 | 2.482 % | c | 5875 | 1100 1629 339008 | 5500 3181 453 | 2.482 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 32.4211 s Remaining CPU time: 147.579 s c =============================================================================== c | 5994 | 1100 1630 339867 | 5000 3300 454 | 2.482 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 32.556 s Remaining CPU time: 147.444 s c =============================================================================== c | 6043 | 1100 1631 340726 | 5000 3349 454 | 2.482 % | c | 6144 | 1100 1631 340726 | 5500 3450 454 | 2.482 % | c | 6294 | 1100 1631 340726 | 6050 3600 452 | 2.482 % | c | 6519 | 1100 1631 340726 | 6655 3825 453 | 2.482 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 33.5969 s Remaining CPU time: 146.403 s c =============================================================================== c | 6785 | 1100 1632 341585 | 5000 4091 453 | 2.482 % | c | 6885 | 1100 1632 341585 | 5500 4191 454 | 2.483 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 34.0178 s Remaining CPU time: 145.982 s c =============================================================================== c | 7019 | 1100 1633 342444 | 5000 4325 454 | 2.483 % | c | 7120 | 1100 1633 342444 | 5500 4426 454 | 2.483 % | c | 7270 | 1100 1633 342444 | 6050 4576 455 | 2.483 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 34.6447 s Remaining CPU time: 145.355 s c =============================================================================== c | 7368 | 1100 1634 343303 | 5000 4674 454 | 2.483 % | c | 7468 | 1100 1634 343303 | 5500 4774 455 | 2.483 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 35.0067 s Remaining CPU time: 144.993 s c =============================================================================== c | 7555 | 1100 1635 344162 | 5000 4861 455 | 2.483 % | c | 7655 | 1100 1635 344162 | 5500 4961 455 | 2.483 % | c | 7805 | 1100 1635 344162 | 6050 5111 455 | 2.483 % | c | 8030 | 1100 1635 344162 | 6655 5336 455 | 2.483 % | c | 8367 | 1100 1635 344162 | 7320 5673 456 | 2.482 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 36.5814 s Remaining CPU time: 143.419 s c =============================================================================== c | 8675 | 1100 1636 345021 | 5000 5981 457 | 2.482 % | c | 8775 | 1100 1636 345021 | 5500 3091 443 | 2.482 % | c | 8925 | 1100 1636 345021 | 6050 3241 444 | 2.482 % | c | 9150 | 1100 1636 345021 | 6655 3466 445 | 2.482 % | c | 9487 | 1100 1636 345021 | 7320 3803 447 | 2.482 % | c | 9994 | 1100 1636 345021 | 8052 4310 450 | 2.482 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 38.5791 s Remaining CPU time: 141.421 s c =============================================================================== c | 10172 | 1100 1637 345880 | 5000 4488 450 | 2.482 % | c | 10272 | 1100 1637 345880 | 5500 4588 450 | 2.482 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 39.0091 s Remaining CPU time: 140.991 s c =============================================================================== c | 10392 | 1100 1638 346739 | 5000 4708 450 | 2.482 % | c | 10492 | 1100 1638 346739 | 5500 4808 450 | 2.482 % | c | 10644 | 1100 1638 346739 | 6050 4960 451 | 2.482 % | c | 10872 | 1100 1638 346739 | 6655 5188 451 | 2.482 % | c | 11209 | 1100 1638 346739 | 7320 5525 452 | 2.482 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 40.7348 s Remaining CPU time: 139.265 s c =============================================================================== c | 11658 | 1100 1639 347598 | 5000 5974 453 | 2.482 % | c | 11759 | 1100 1639 347598 | 5500 3088 444 | 2.482 % | c | 11914 | 1100 1639 347598 | 6050 3243 444 | 2.482 % | c | 12139 | 1100 1639 347598 | 6655 3468 445 | 2.482 % | c | 12478 | 1100 1639 347598 | 7320 3807 445 | 2.482 % | c | 12984 | 1100 1639 347598 | 8052 4313 446 | 2.482 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 42.6515 s Remaining CPU time: 137.348 s c =============================================================================== c | 13116 | 1100 1640 348457 | 5000 4445 445 | 2.482 % | c | 13217 | 1100 1640 348457 | 5500 4546 446 | 2.482 % | c | 13368 | 1100 1640 348457 | 6050 4697 445 | 2.482 % | c | 13593 | 1100 1640 348457 | 6655 4922 446 | 2.482 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 43.7663 s Remaining CPU time: 136.234 s c =============================================================================== c | 13879 | 1100 1641 349316 | 5000 5208 446 | 2.482 % | c | 13979 | 1100 1641 349316 | 5500 2704 433 | 2.482 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 44.0763 s Remaining CPU time: 135.924 s c =============================================================================== c | 13988 | 1100 1642 350175 | 5000 2713 433 | 2.482 % | c | 14088 | 1100 1642 350175 | 5500 2813 433 | 2.482 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 44.3873 s Remaining CPU time: 135.613 s c =============================================================================== c | 14104 | 1100 1643 351034 | 5000 2829 432 | 2.482 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 44.4992 s Remaining CPU time: 135.501 s c =============================================================================== c | 14124 | 1100 1644 351893 | 5000 2849 433 | 2.482 % | c | 14225 | 1100 1644 351893 | 5500 2950 433 | 2.483 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 44.7652 s Remaining CPU time: 135.235 s c =============================================================================== c | 14238 | 1100 1645 352752 | 5000 2963 433 | 2.483 % | c | 14340 | 1100 1645 352752 | 5500 3065 434 | 2.483 % | c | 14490 | 1100 1645 352752 | 6050 3215 435 | 2.483 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 45.2881 s Remaining CPU time: 134.712 s c =============================================================================== c | 14549 | 1100 1646 353611 | 5000 3274 435 | 2.483 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 45.4051 s Remaining CPU time: 134.595 s c =============================================================================== c | 14571 | 1100 1647 354470 | 5000 3296 435 | 2.483 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 45.5331 s Remaining CPU time: 134.467 s c =============================================================================== c | 14603 | 1100 1648 355329 | 5000 3328 435 | 2.483 % | c | 14703 | 1100 1648 355329 | 5500 3428 436 | 2.482 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 45.908 s Remaining CPU time: 134.092 s c =============================================================================== c | 14785 | 1100 1649 356188 | 5000 3510 436 | 2.482 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 46.036 s Remaining CPU time: 133.964 s c =============================================================================== c | 14826 | 1100 1650 357047 | 5000 3551 436 | 2.482 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 46.141 s Remaining CPU time: 133.859 s c =============================================================================== c | 14836 | 1100 1651 357906 | 5000 3561 436 | 2.482 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 46.236 s Remaining CPU time: 133.764 s c =============================================================================== c | 14841 | 1100 1652 358765 | 5000 3566 435 | 2.482 % | c | 14941 | 1100 1652 358765 | 5500 3666 436 | 2.482 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 46.6699 s Remaining CPU time: 133.33 s c =============================================================================== c | 15075 | 1100 1653 359624 | 5000 3800 436 | 2.482 % | c | 15175 | 1100 1653 359624 | 5500 3900 436 | 2.482 % | c | 15325 | 1100 1653 359624 | 6050 4050 436 | 2.482 % | c | 15550 | 1100 1653 359624 | 6655 4275 436 | 2.482 % | c | 15887 | 1100 1653 359624 | 7320 4612 437 | 2.482 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 48.0017 s Remaining CPU time: 131.998 s c =============================================================================== c | 15915 | 1100 1654 360483 | 5000 4640 437 | 2.482 % | c | 16016 | 1100 1654 360483 | 5500 4741 437 | 2.482 % | c | 16168 | 1100 1654 360483 | 6050 4893 437 | 2.482 % | c | 16394 | 1100 1654 360483 | 6655 5119 438 | 2.482 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 49.0945 s Remaining CPU time: 130.905 s c =============================================================================== c | 16608 | 1100 1655 361342 | 5000 5333 438 | 2.482 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 49.2395 s Remaining CPU time: 130.76 s c =============================================================================== c | 16652 | 1100 1656 362201 | 5000 2711 422 | 2.482 % | c | 16754 | 1100 1656 362201 | 5500 2813 422 | 2.482 % | c | 16904 | 1100 1656 362201 | 6050 2963 423 | 2.482 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 49.8254 s Remaining CPU time: 130.175 s c =============================================================================== c | 16941 | 1100 1657 363060 | 5000 3000 423 | 2.482 % | c | 17041 | 1100 1657 363060 | 5500 3100 424 | 2.482 % | c | 17191 | 1100 1657 363060 | 6050 3250 424 | 2.482 % | c | 17416 | 1100 1657 363060 | 6655 3475 425 | 2.482 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 50.9173 s Remaining CPU time: 129.083 s c =============================================================================== c | 17707 | 1100 1658 363919 | 5000 3766 427 | 2.482 % | c | 17807 | 1100 1658 363919 | 5500 3866 427 | 2.482 % | c | 17957 | 1100 1658 363919 | 6050 4016 427 | 2.482 % | c | 18182 | 1100 1658 363919 | 6655 4241 428 | 2.482 % | c | 18522 | 1100 1658 363919 | 7320 4581 428 | 2.482 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 52.421 s Remaining CPU time: 127.579 s c =============================================================================== c | 18741 | 1100 1659 364778 | 5000 4800 428 | 2.482 % | c | 18841 | 1100 1659 364778 | 5500 4900 429 | 2.482 % | c | 18991 | 1100 1659 364778 | 6050 5050 429 | 2.482 % | c | 19216 | 1100 1659 364778 | 6655 5275 430 | 2.482 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 53.5579 s Remaining CPU time: 126.442 s c =============================================================================== c | 19438 | 1100 1660 365637 | 5000 5497 430 | 2.482 % | c | 19538 | 1100 1660 365637 | 5500 2849 418 | 2.482 % | c | 19688 | 1100 1660 365637 | 6050 2999 419 | 2.482 % | c | 19914 | 1100 1660 365637 | 6655 3225 421 | 2.482 % | c | 20251 | 1100 1660 365637 | 7320 3562 423 | 2.482 % | c | 20757 | 1100 1660 365637 | 8052 4068 425 | 2.482 % | c | 21517 | 1100 1660 365637 | 8857 4828 428 | 2.482 % | c | 22658 | 1100 1660 365637 | 9743 5969 431 | 2.482 % | c | 24368 | 1100 1660 365637 | 10717 7679 433 | 2.482 % | c | 26930 | 1100 1660 365637 | 11789 10241 434 | 2.482 % | c | 30776 | 1100 1660 365637 | 12968 7949 433 | 2.482 % | c | 36543 | 1100 1660 365637 | 14265 6967 434 | 2.482 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 74.1487 s Remaining CPU time: 105.851 s c =============================================================================== c | 37293 | 1100 1661 366496 | 5000 7717 434 | 2.482 % | c | 37393 | 1100 1661 366496 | 5500 3959 429 | 2.482 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 74.5137 s Remaining CPU time: 105.486 s c =============================================================================== c | 37461 | 1100 1662 367355 | 5000 4027 428 | 2.482 % | c | 37561 | 1100 1662 367355 | 5500 4127 428 | 2.482 % | c | 37711 | 1100 1662 367355 | 6050 4277 428 | 2.482 % | c | 37936 | 1100 1662 367355 | 6655 4502 428 | 2.482 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 75.4925 s Remaining CPU time: 104.507 s c =============================================================================== c | 38114 | 1100 1663 368214 | 5000 4680 428 | 2.482 % | c | 38214 | 1100 1663 368214 | 5500 4780 428 | 2.482 % | c | 38365 | 1100 1663 368214 | 6050 4931 429 | 2.482 % | c | 38590 | 1100 1663 368214 | 6655 5156 429 | 2.482 % | c | 38928 | 1100 1663 368214 | 7320 5494 429 | 2.482 % | c | 39435 | 1100 1663 368214 | 8052 6001 430 | 2.482 % | c | 40194 | 1100 1663 368214 | 8857 6760 430 | 2.482 % | c | 41333 | 1100 1663 368214 | 9743 7899 431 | 2.482 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 80.9287 s Remaining CPU time: 99.0713 s c =============================================================================== c | 42592 | 1100 1664 369073 | 5000 9158 431 | 2.482 % | c | 42692 | 1100 1664 369073 | 5500 4679 424 | 2.482 % | c | 42843 | 1100 1664 369073 | 6050 4830 424 | 2.482 % | c | 43068 | 1100 1664 369073 | 6655 5055 424 | 2.482 % | c | 43405 | 1100 1664 369073 | 7320 5392 424 | 2.482 % | c | 43911 | 1100 1664 369073 | 8052 5898 426 | 2.482 % | c | 44673 | 1100 1664 369073 | 8857 6660 427 | 2.482 % | c | 45812 | 1100 1664 369073 | 9743 7799 428 | 2.482 % | c | 47520 | 1100 1664 369073 | 10717 9507 429 | 2.482 % | c | 50082 | 1100 1664 369073 | 11789 6474 426 | 2.482 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 91.4001 s Remaining CPU time: 88.5999 s c =============================================================================== c | 50979 | 1100 1665 369932 | 5000 7371 427 | 2.482 % | c | 51079 | 1100 1665 369932 | 5500 3786 422 | 2.482 % | c | 51230 | 1100 1665 369932 | 6050 3937 423 | 2.482 % | c | 51458 | 1100 1665 369932 | 6655 4165 423 | 2.482 % | c | 51795 | 1100 1665 369932 | 7320 4502 424 | 2.482 % | c | 52303 | 1100 1665 369932 | 8052 5010 424 | 2.482 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 93.5648 s Remaining CPU time: 86.4352 s c =============================================================================== c | 52616 | 1100 1666 370791 | 5000 5323 425 | 2.482 % | c | 52716 | 1100 1666 370791 | 5500 2762 417 | 2.482 % | c | 52866 | 1100 1666 370791 | 6050 2912 417 | 2.482 % | c | 53091 | 1100 1666 370791 | 6655 3137 418 | 2.482 % | c | 53428 | 1100 1666 370791 | 7320 3474 419 | 2.482 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 95.0476 s Remaining CPU time: 84.9524 s c =============================================================================== c | 53693 | 1100 1667 371650 | 5000 3739 420 | 2.482 % | c | 53793 | 1100 1667 371650 | 5500 3839 419 | 2.482 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 95.4645 s Remaining CPU time: 84.5355 s c =============================================================================== c | 53913 | 1100 1668 372509 | 5000 3959 419 | 2.482 % | c | 54013 | 1100 1668 372509 | 5500 4059 420 | 2.482 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 95.8544 s Remaining CPU time: 84.1456 s c =============================================================================== c | 54137 | 1100 1669 373368 | 5000 4183 420 | 2.482 % | c | 54238 | 1100 1669 373368 | 5500 4284 420 | 2.482 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 96.2794 s Remaining CPU time: 83.7206 s c =============================================================================== c | 54363 | 1100 1670 374227 | 5000 4409 420 | 2.482 % | c | 54463 | 1100 1670 374227 | 5500 4509 420 | 2.482 % | c | 54614 | 1100 1670 374227 | 6050 4660 421 | 2.482 % | c | 54839 | 1100 1670 374227 | 6655 4885 421 | 2.482 % | c | 55177 | 1100 1670 374227 | 7320 5223 421 | 2.482 % | c | 55683 | 1100 1670 374227 | 8052 5729 422 | 2.482 % | c | 56442 | 1100 1670 374227 | 8857 6488 423 | 2.482 % | c | 57581 | 1100 1670 374227 | 9743 7627 424 | 2.482 % | c | 59291 | 1100 1670 374227 | 10717 9337 425 | 2.482 % | c | 61853 | 1100 1670 374227 | 11789 6300 421 | 2.482 % | c | 65697 | 1100 1670 374227 | 12968 10144 424 | 2.482 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 111.169 s Remaining CPU time: 68.8309 s c =============================================================================== c | 67520 | 1100 1671 375086 | 5000 11967 425 | 2.482 % | c | 67620 | 1100 1671 375086 | 5500 3092 414 | 2.482 % | c | 67771 | 1100 1671 375086 | 6050 3243 415 | 2.482 % | c | 67997 | 1100 1671 375086 | 6655 3469 416 | 2.482 % | c | 68334 | 1100 1671 375086 | 7320 3806 417 | 2.482 % | c | 68841 | 1100 1671 375086 | 8052 4313 418 | 2.482 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 113.814 s Remaining CPU time: 66.1863 s c =============================================================================== c | 69475 | 1100 1672 375945 | 5000 4947 418 | 2.482 % | c | 69575 | 1100 1672 375945 | 5500 5047 418 | 2.482 % | c | 69728 | 1100 1672 375945 | 6050 5200 418 | 2.482 % | c | 69953 | 1100 1672 375945 | 6655 5425 419 | 2.482 % | c | 70290 | 1100 1672 375945 | 7320 5762 419 | 2.482 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 115.579 s Remaining CPU time: 64.4206 s c =============================================================================== c | 70752 | 1100 1673 376804 | 5000 6224 419 | 2.482 % | c | 70852 | 1100 1673 376804 | 5500 3212 410 | 2.482 % | c | 71002 | 1100 1673 376804 | 6050 3362 410 | 2.482 % | c | 71227 | 1100 1673 376804 | 6655 3587 411 | 2.482 % | c | 71564 | 1100 1673 376804 | 7320 3924 412 | 2.482 % | c | 72071 | 1100 1673 376804 | 8052 4431 414 | 2.482 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 117.714 s Remaining CPU time: 62.2859 s c =============================================================================== c | 72163 | 1100 1674 377663 | 5000 4523 414 | 2.482 % | c | 72265 | 1100 1674 377663 | 5500 4625 414 | 2.482 % | c | 72415 | 1100 1674 377663 | 6050 4775 414 | 2.482 % | c | 72642 | 1100 1674 377663 | 6655 5002 415 | 2.482 % | c | 72979 | 1100 1674 377663 | 7320 5339 415 | 2.482 % | c | 73487 | 1100 1674 377663 | 8052 5847 416 | 2.482 % | c | 74246 | 1100 1674 377663 | 8857 6606 417 | 2.482 % | c | 75385 | 1100 1674 377663 | 9743 7745 418 | 2.482 % | c | 77094 | 1100 1674 377663 | 10717 9454 420 | 2.482 % | c | 79656 | 1100 1674 377663 | 11789 6421 417 | 2.482 % | c | 83500 | 1100 1674 377663 | 12968 10265 420 | 2.482 % | c | 89267 | 1100 1674 377663 | 14265 9303 420 | 2.482 % | c | 97916 | 1100 1674 377663 | 15692 10572 420 | 2.482 % | c | 110890 | 1100 1674 377663 | 17261 15459 422 | 2.482 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 165.955 s Remaining CPU time: 14.0452 s c =============================================================================== c | 112511 | 1100 1675 378522 | 5000 17080 422 | 2.482 % | c | 112611 | 1100 1675 378522 | 5500 4370 414 | 2.482 % | c | 112762 | 1100 1675 378522 | 6050 4521 414 | 2.482 % | c | 112987 | 1100 1675 378522 | 6655 4746 414 | 2.482 % | c | 113324 | 1100 1675 378522 | 7320 5083 414 | 2.482 % | c | 113830 | 1100 1675 378522 | 8052 5589 415 | 2.482 % | c | 114589 | 1100 1675 378522 | 8857 6348 416 | 2.482 % | c | 115728 | 1100 1675 378522 | 9743 7487 417 | 2.482 % | c | 117437 | 1100 1675 378522 | 10717 9196 418 | 2.482 % | c | 119999 | 1100 1675 378522 | 11789 6152 415 | 2.482 % | 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 | 299 2558 4931 | 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 | 386 2559 5195 | 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 | 553 2564 5468 | 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 | 745 2567 5801 | 5000 0 nan | 0.000 % | c | 101 | 745 2567 5801 | 5500 101 66 | 46.786 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1182 2572 6514 | 5000 0 nan | 0.000 % | c | 100 | 1182 2572 6514 | 5500 100 54 | 28.966 % | c | 250 | 1182 2572 6514 | 6050 250 42 | 28.966 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1804 2582 196535 | 5000 0 nan | 0.000 % | c | 102 | 1804 2582 196535 | 5500 102 49 | 12.257 % | c | 252 | 1804 2582 196535 | 6050 252 31 | 12.257 % | c | 477 | 1803 2582 196535 | 6655 477 24 | 12.354 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2423 2597 300775 | 5000 0 nan | 0.000 % | c | 101 | 2423 2597 300775 | 5500 101 52 | 5.166 % | c | 252 | 2423 2597 300775 | 6050 252 31 | 5.166 % | c | 477 | 2422 2597 300775 | 6655 477 24 | 5.245 % | c | 815 | 2421 2597 300775 | 7320 639 21 | 5.245 % | c | 1321 | 2421 2597 300775 | 8052 1145 18 | 5.245 % | c | 2081 | 2421 2597 300775 | 8857 1905 17 | 5.245 % | c | 3220 | 2418 2597 300775 | 9743 2820 17 | 5.401 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2955 2616 349083 | 5000 0 nan | 0.000 % | c | 100 | 2955 2616 349083 | 5500 100 45 | 2.540 % | c | 250 | 2955 2616 349083 | 6050 250 35 | 2.540 % | c | 477 | 2955 2616 349083 | 6655 477 35 | 2.540 % | c | 816 | 2955 2616 349083 | 7320 816 31 | 2.540 % | c | 1323 | 2955 2616 349083 | 8052 1323 31 | 2.540 % | c | 2082 | 2955 2616 349083 | 8857 2082 29 | 2.540 % | c | 3222 | 2955 2616 349083 | 9743 3222 26 | 2.540 % | c | 4931 | 2955 2616 349083 | 10717 4931 24 | 2.540 % | c | 7493 | 2955 2616 349083 | 11789 7493 25 | 2.540 % | c | 11338 | 2955 2616 349083 | 12968 11338 24 | 2.540 % | c | 17105 | 2955 2616 349083 | 14265 10544 25 | 2.540 % | c | 25754 | 2955 2616 349083 | 15692 11987 30 | 2.540 % | c | 38728 | 2953 2616 349083 | 17261 12434 25 | 2.606 % | c | 58190 | 2953 2616 349083 | 18987 14489 29 | 2.606 % | c | 87384 | 2953 2616 349083 | 20886 14943 22 | 2.606 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3837 2658 386144 | 5000 0 nan | 0.000 % | c | 102 | 3837 2658 386144 | 5500 102 69 | 0.827 % | c | 252 | 3837 2658 386144 | 6050 252 38 | 0.827 % | c | 479 | 3837 2658 386144 | 6655 479 37 | 0.827 % | c | 816 | 3837 2658 386144 | 7320 816 38 | 0.827 % | c | 1322 | 3837 2658 386144 | 8052 1322 38 | 0.827 % | c | 2081 | 3837 2658 386144 | 8857 2081 39 | 0.827 % | c | 3222 | 3837 2658 386144 | 9743 3222 36 | 0.827 % | c | 4931 | 3837 2658 386144 | 10717 4931 37 | 0.827 % | c | 7499 | 3837 2658 386144 | 11789 7499 39 | 0.828 % | c | 11345 | 3837 2658 386144 | 12968 11345 41 | 0.827 % | c | 17111 | 3837 2658 386144 | 14265 10340 52 | 0.827 % | c | 25763 | 3837 2658 386144 | 15692 11757 40 | 0.827 % | c | 38737 | 3837 2658 386144 | 17261 8517 41 | 0.827 % | c | 58198 | 3837 2658 386144 | 18987 10482 52 | 0.827 % | c | 87393 | 3837 2658 386144 | 20886 10779 60 | 0.827 % | c | 131185 | 3837 2658 386144 | 22974 12285 53 | 0.827 % | c | 196870 | 3837 2658 386144 | 25272 19500 39 | 0.827 % | c | 295396 | 3837 2658 386144 | 27799 24476 40 | 0.827 % | c | 443186 | 3835 2658 386144 | 30579 25770 47 | 0.879 % |