c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1214 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1122 | c | Number Clauses: 1206 | 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 | 1094 1234 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1094 1235 5650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1094 1236 6500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1094 1237 7350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1094 1238 8200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1094 1239 9050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1094 1240 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1094 1241 10750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1094 1242 11600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1094 1243 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1094 1244 13300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1094 1245 14150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1094 1246 15000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1094 1247 15850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1094 1248 16700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1094 1249 17550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1094 1250 18400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1094 1251 19250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1094 1252 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1094 1253 20950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1094 1254 21800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1094 1255 22650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1094 1256 23500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1094 1257 24350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1094 1258 25200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 1094 1259 26050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 1094 1260 26900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 1094 1261 27750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 1094 1262 28600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 1094 1263 29450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 1094 1264 30300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 1094 1265 31150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 1094 1266 32000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 0 | 1094 1267 32850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 1094 1268 33700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 1094 1269 34550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 1094 1270 35400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 1094 1271 36250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 1094 1272 37100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 1094 1273 37950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 1094 1274 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 1094 1275 39650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 1094 1276 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 1094 1277 41350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 0 | 1094 1278 42200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 1094 1279 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 0 | 1094 1280 43900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 1094 1281 44750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 1094 1282 45600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 1094 1283 46450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 1094 1284 47300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 0 | 1094 1285 48150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 0 | 1094 1286 49000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 1094 1287 49850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 1094 1288 50700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 1094 1289 51550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 0 | 1094 1290 52400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 0 | 1094 1291 53250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 0 | 1094 1292 54100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 0 | 1094 1293 54950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 0 | 1094 1294 55800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 0 | 1094 1295 56650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 0 | 1094 1296 57500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 0 | 1094 1297 58350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 0 | 1094 1298 59200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 1094 1299 60050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 0 | 1094 1300 60900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 0 | 1094 1301 61750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 0 | 1094 1302 62600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 1094 1303 63450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 0 | 1094 1304 64300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 1094 1305 65150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 0.72089 s Remaining CPU time: 179.279 s c =============================================================================== c | 0 | 1094 1306 66000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s c =============================================================================== c | 0 | 1094 1307 66850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 0 | 1094 1308 67700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 0 | 1094 1309 68550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 1094 1310 69400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 0 | 1094 1311 70250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 0 | 1094 1312 71100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 0 | 1094 1313 71950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 0.900863 s Remaining CPU time: 179.099 s c =============================================================================== c | 0 | 1094 1314 72800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 0 | 1094 1315 73650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 0 | 1094 1316 74500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 0 | 1094 1317 75350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 0 | 1094 1318 76200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 0 | 1094 1319 77050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 0 | 1094 1320 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 1.08083 s Remaining CPU time: 178.919 s c =============================================================================== c | 0 | 1094 1321 78750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 0 | 1094 1322 79600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 0 | 1094 1323 80450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 1.16382 s Remaining CPU time: 178.836 s c =============================================================================== c | 0 | 1094 1324 81300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 0 | 1094 1325 82150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 0 | 1094 1326 83000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 1.25081 s Remaining CPU time: 178.749 s c =============================================================================== c | 0 | 1094 1327 83850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 0 | 1094 1328 84700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 0 | 1094 1329 85550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 0 | 1094 1330 86400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s c =============================================================================== c | 0 | 1094 1331 87250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 1.40079 s Remaining CPU time: 178.599 s c =============================================================================== c | 0 | 1094 1332 88100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 1.43178 s Remaining CPU time: 178.568 s c =============================================================================== c | 0 | 1094 1333 88950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 0 | 1094 1334 89800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 1.49277 s Remaining CPU time: 178.507 s c =============================================================================== c | 0 | 1094 1335 90650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 0 | 1094 1336 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 1.55376 s Remaining CPU time: 178.446 s c =============================================================================== c | 0 | 1094 1337 92350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 1.58676 s Remaining CPU time: 178.413 s c =============================================================================== c | 0 | 1094 1338 93200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 1.62075 s Remaining CPU time: 178.379 s c =============================================================================== c | 0 | 1094 1339 94050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 1.65175 s Remaining CPU time: 178.348 s c =============================================================================== c | 0 | 1094 1340 94900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 1.68574 s Remaining CPU time: 178.314 s c =============================================================================== c | 0 | 1094 1341 95750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 1.71974 s Remaining CPU time: 178.28 s c =============================================================================== c | 0 | 1094 1342 96600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 1.75373 s Remaining CPU time: 178.246 s c =============================================================================== c | 0 | 1094 1343 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 1.78573 s Remaining CPU time: 178.214 s c =============================================================================== c | 0 | 1094 1344 98300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 1.81872 s Remaining CPU time: 178.181 s c =============================================================================== c | 0 | 1094 1345 99150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 1.85372 s Remaining CPU time: 178.146 s c =============================================================================== c | 0 | 1094 1346 100000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 0 | 1094 1347 100850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 0 | 1094 1348 101700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 1.9607 s Remaining CPU time: 178.039 s c =============================================================================== c | 0 | 1094 1349 102550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 0 | 1094 1350 103400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 2.03269 s Remaining CPU time: 177.967 s c =============================================================================== c | 0 | 1094 1351 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 2.06968 s Remaining CPU time: 177.93 s c =============================================================================== c | 0 | 1094 1352 105100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 2.10468 s Remaining CPU time: 177.895 s c =============================================================================== c | 0 | 1094 1353 105950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 2.14167 s Remaining CPU time: 177.858 s c =============================================================================== c | 0 | 1094 1354 106800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s c =============================================================================== c | 0 | 1094 1355 107650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s c =============================================================================== c | 0 | 1094 1356 108500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 0 | 1094 1357 109350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 2.29065 s Remaining CPU time: 177.709 s c =============================================================================== c | 0 | 1094 1358 110200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 2.32965 s Remaining CPU time: 177.67 s c =============================================================================== c | 0 | 1094 1359 111050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 0 | 1094 1360 111900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 2.40663 s Remaining CPU time: 177.593 s c =============================================================================== c | 0 | 1094 1361 112750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 2.44463 s Remaining CPU time: 177.555 s c =============================================================================== c | 0 | 1094 1362 113600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 2.48362 s Remaining CPU time: 177.516 s c =============================================================================== c | 0 | 1094 1363 114450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 2.52362 s Remaining CPU time: 177.476 s c =============================================================================== c | 0 | 1094 1364 115300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 2.56461 s Remaining CPU time: 177.435 s c =============================================================================== c | 0 | 1094 1365 116150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 2.6046 s Remaining CPU time: 177.395 s c =============================================================================== c | 0 | 1094 1366 117000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 2.6456 s Remaining CPU time: 177.354 s c =============================================================================== c | 0 | 1094 1367 117850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 2.68759 s Remaining CPU time: 177.312 s c =============================================================================== c | 0 | 1094 1368 118700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 2.72758 s Remaining CPU time: 177.272 s c =============================================================================== c | 0 | 1094 1369 119550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 2.76858 s Remaining CPU time: 177.231 s c =============================================================================== c | 0 | 1094 1370 120400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 2.80957 s Remaining CPU time: 177.19 s c =============================================================================== c | 0 | 1094 1371 121250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 2.85157 s Remaining CPU time: 177.148 s c =============================================================================== c | 0 | 1094 1372 122100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 2.89356 s Remaining CPU time: 177.106 s c =============================================================================== c | 0 | 1094 1373 122950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 2.93355 s Remaining CPU time: 177.066 s c =============================================================================== c | 0 | 1094 1374 123800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 2.97555 s Remaining CPU time: 177.024 s c =============================================================================== c | 0 | 1094 1375 124650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 3.01854 s Remaining CPU time: 176.981 s c =============================================================================== c | 0 | 1094 1376 125500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 3.05854 s Remaining CPU time: 176.941 s c =============================================================================== c | 0 | 1094 1377 126350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 3.10453 s Remaining CPU time: 176.895 s c =============================================================================== c | 0 | 1094 1378 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 3.14952 s Remaining CPU time: 176.85 s c =============================================================================== c | 0 | 1094 1379 128050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 3.19651 s Remaining CPU time: 176.803 s c =============================================================================== c | 0 | 1094 1380 128900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 3.24351 s Remaining CPU time: 176.756 s c =============================================================================== c | 0 | 1094 1381 129750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 3.2915 s Remaining CPU time: 176.709 s c =============================================================================== c | 0 | 1094 1382 130600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 3.33949 s Remaining CPU time: 176.661 s c =============================================================================== c | 0 | 1094 1383 131450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 3.38748 s Remaining CPU time: 176.613 s c =============================================================================== c | 0 | 1094 1384 132300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 3.43648 s Remaining CPU time: 176.564 s c =============================================================================== c | 0 | 1094 1385 133150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 3.48547 s Remaining CPU time: 176.515 s c =============================================================================== c | 0 | 1094 1386 134000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 3.53446 s Remaining CPU time: 176.466 s c =============================================================================== c | 0 | 1094 1387 134850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 3.58245 s Remaining CPU time: 176.418 s c =============================================================================== c | 0 | 1094 1388 135700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 3.63045 s Remaining CPU time: 176.37 s c =============================================================================== c | 0 | 1094 1389 136550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 3.67844 s Remaining CPU time: 176.322 s c =============================================================================== c | 0 | 1094 1390 137400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 3.72943 s Remaining CPU time: 176.271 s c =============================================================================== c | 0 | 1094 1391 138250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 3.77842 s Remaining CPU time: 176.222 s c =============================================================================== c | 0 | 1094 1392 139100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 3.82842 s Remaining CPU time: 176.172 s c =============================================================================== c | 0 | 1094 1393 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 3.87941 s Remaining CPU time: 176.121 s c =============================================================================== c | 0 | 1094 1394 140800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 3.9304 s Remaining CPU time: 176.07 s c =============================================================================== c | 0 | 1094 1395 141650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 3.98139 s Remaining CPU time: 176.019 s c =============================================================================== c | 0 | 1094 1396 142500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 4.03339 s Remaining CPU time: 175.967 s c =============================================================================== c | 0 | 1094 1397 143350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 4.08538 s Remaining CPU time: 175.915 s c =============================================================================== c | 0 | 1094 1398 144200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 4.13737 s Remaining CPU time: 175.863 s c =============================================================================== c | 0 | 1094 1399 145050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 4.19036 s Remaining CPU time: 175.81 s c =============================================================================== c | 0 | 1094 1400 145900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 4.24235 s Remaining CPU time: 175.758 s c =============================================================================== c | 0 | 1094 1401 146750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 4.29335 s Remaining CPU time: 175.707 s c =============================================================================== c | 0 | 1094 1402 147600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 4.34534 s Remaining CPU time: 175.655 s c =============================================================================== c | 0 | 1094 1403 148450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 4.39833 s Remaining CPU time: 175.602 s c =============================================================================== c | 0 | 1094 1404 149300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 4.44932 s Remaining CPU time: 175.551 s c =============================================================================== c | 0 | 1094 1405 150150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 4.50232 s Remaining CPU time: 175.498 s c =============================================================================== c | 0 | 1094 1406 151000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 4.55531 s Remaining CPU time: 175.445 s c =============================================================================== c | 0 | 1094 1407 151850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 4.6073 s Remaining CPU time: 175.393 s c =============================================================================== c | 0 | 1094 1408 152700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 4.66429 s Remaining CPU time: 175.336 s c =============================================================================== c | 0 | 1094 1409 153550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 4.72028 s Remaining CPU time: 175.28 s c =============================================================================== c | 0 | 1094 1410 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 4.77627 s Remaining CPU time: 175.224 s c =============================================================================== c | 0 | 1094 1411 155250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 4.83427 s Remaining CPU time: 175.166 s c =============================================================================== c | 0 | 1094 1412 156100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 4.89126 s Remaining CPU time: 175.109 s c =============================================================================== c | 0 | 1094 1413 156950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 4.95125 s Remaining CPU time: 175.049 s c =============================================================================== c | 0 | 1094 1414 157800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 5.01024 s Remaining CPU time: 174.99 s c =============================================================================== c | 0 | 1094 1415 158650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 5.06823 s Remaining CPU time: 174.932 s c =============================================================================== c | 0 | 1094 1416 159500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 5.12722 s Remaining CPU time: 174.873 s c =============================================================================== c | 0 | 1094 1417 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 5.18621 s Remaining CPU time: 174.814 s c =============================================================================== c | 0 | 1094 1418 161200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 5.2482 s Remaining CPU time: 174.752 s c =============================================================================== c | 0 | 1094 1419 162050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 5.30819 s Remaining CPU time: 174.692 s c =============================================================================== c | 0 | 1094 1420 162900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 5.36918 s Remaining CPU time: 174.631 s c =============================================================================== c | 0 | 1094 1421 163750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 5.43117 s Remaining CPU time: 174.569 s c =============================================================================== c | 0 | 1094 1422 164600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 5.49316 s Remaining CPU time: 174.507 s c =============================================================================== c | 0 | 1094 1423 165450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 5.55415 s Remaining CPU time: 174.446 s c =============================================================================== c | 0 | 1094 1424 166300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 5.61815 s Remaining CPU time: 174.382 s c =============================================================================== c | 0 | 1094 1425 167150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 5.68114 s Remaining CPU time: 174.319 s c =============================================================================== c | 0 | 1094 1426 168000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 5.74313 s Remaining CPU time: 174.257 s c =============================================================================== c | 0 | 1094 1427 168850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 5.80712 s Remaining CPU time: 174.193 s c =============================================================================== c | 0 | 1094 1428 169700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 5.87111 s Remaining CPU time: 174.129 s c =============================================================================== c | 0 | 1094 1429 170550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 5.9351 s Remaining CPU time: 174.065 s c =============================================================================== c | 0 | 1094 1430 171400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 6.00009 s Remaining CPU time: 174 s c =============================================================================== c | 0 | 1094 1431 172250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 6.06508 s Remaining CPU time: 173.935 s c =============================================================================== c | 0 | 1094 1432 173100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 6.13007 s Remaining CPU time: 173.87 s c =============================================================================== c | 0 | 1094 1433 173950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 6.19506 s Remaining CPU time: 173.805 s c =============================================================================== c | 0 | 1094 1434 174800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 6.26005 s Remaining CPU time: 173.74 s c =============================================================================== c | 0 | 1094 1435 175650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 6.32504 s Remaining CPU time: 173.675 s c =============================================================================== c | 0 | 1094 1436 176500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 6.39103 s Remaining CPU time: 173.609 s c =============================================================================== c | 0 | 1094 1437 177350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 6.45602 s Remaining CPU time: 173.544 s c =============================================================================== c | 0 | 1094 1438 178200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 6.52101 s Remaining CPU time: 173.479 s c =============================================================================== c | 0 | 1094 1439 179050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 6.587 s Remaining CPU time: 173.413 s c =============================================================================== c | 0 | 1094 1440 179900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 6.65399 s Remaining CPU time: 173.346 s c =============================================================================== c | 0 | 1094 1441 180750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 6.72398 s Remaining CPU time: 173.276 s c =============================================================================== c | 0 | 1094 1442 181600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 6.79297 s Remaining CPU time: 173.207 s c =============================================================================== c | 0 | 1094 1443 182450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 6.86296 s Remaining CPU time: 173.137 s c =============================================================================== c | 0 | 1094 1444 183300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 6.93394 s Remaining CPU time: 173.066 s c =============================================================================== c | 0 | 1094 1445 184150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 7.00593 s Remaining CPU time: 172.994 s c =============================================================================== c | 0 | 1094 1446 185000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 7.07492 s Remaining CPU time: 172.925 s c =============================================================================== c | 0 | 1094 1447 185850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 7.14691 s Remaining CPU time: 172.853 s c =============================================================================== c | 0 | 1094 1448 186700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 7.2169 s Remaining CPU time: 172.783 s c =============================================================================== c | 0 | 1094 1449 187550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 7.28789 s Remaining CPU time: 172.712 s c =============================================================================== c | 0 | 1094 1450 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 7.35788 s Remaining CPU time: 172.642 s c =============================================================================== c | 0 | 1094 1451 189250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 7.42787 s Remaining CPU time: 172.572 s c =============================================================================== c | 0 | 1094 1452 190100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 7.49986 s Remaining CPU time: 172.5 s c =============================================================================== c | 0 | 1094 1453 190950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 7.57185 s Remaining CPU time: 172.428 s c =============================================================================== c | 0 | 1094 1454 191800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 7.64384 s Remaining CPU time: 172.356 s c =============================================================================== c | 0 | 1094 1455 192650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 7.71683 s Remaining CPU time: 172.283 s c =============================================================================== c | 0 | 1094 1456 193500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 7.78981 s Remaining CPU time: 172.21 s c =============================================================================== c | 0 | 1094 1457 194350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 7.8628 s Remaining CPU time: 172.137 s c =============================================================================== c | 0 | 1094 1458 195200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 7.93579 s Remaining CPU time: 172.064 s c =============================================================================== c | 0 | 1094 1459 196050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 8.00778 s Remaining CPU time: 171.992 s c =============================================================================== c | 0 | 1094 1460 196900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 8.08077 s Remaining CPU time: 171.919 s c =============================================================================== c | 0 | 1094 1461 197750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 8.15376 s Remaining CPU time: 171.846 s c =============================================================================== c | 0 | 1094 1462 198600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 8.23275 s Remaining CPU time: 171.767 s c =============================================================================== c | 0 | 1094 1463 199450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 8.31174 s Remaining CPU time: 171.688 s c =============================================================================== c | 0 | 1094 1464 200300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 8.38972 s Remaining CPU time: 171.61 s c =============================================================================== c | 0 | 1094 1465 201150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 8.46671 s Remaining CPU time: 171.533 s c =============================================================================== c | 0 | 1094 1466 202000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 8.5447 s Remaining CPU time: 171.455 s c =============================================================================== c | 0 | 1094 1467 202850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 8.62269 s Remaining CPU time: 171.377 s c =============================================================================== c | 0 | 1094 1468 203700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 8.69968 s Remaining CPU time: 171.3 s c =============================================================================== c | 0 | 1094 1469 204550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 8.77666 s Remaining CPU time: 171.223 s c =============================================================================== c | 0 | 1094 1470 205400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 8.85465 s Remaining CPU time: 171.145 s c =============================================================================== c | 0 | 1094 1471 206250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 8.93164 s Remaining CPU time: 171.068 s c =============================================================================== c | 0 | 1094 1472 207100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 9.00963 s Remaining CPU time: 170.99 s c =============================================================================== c | 0 | 1094 1473 207950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 9.08662 s Remaining CPU time: 170.913 s c =============================================================================== c | 0 | 1094 1474 208800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 9.16361 s Remaining CPU time: 170.836 s c =============================================================================== c | 0 | 1094 1475 209650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 9.2406 s Remaining CPU time: 170.759 s c =============================================================================== c | 0 | 1094 1476 210500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 9.31758 s Remaining CPU time: 170.682 s c =============================================================================== c | 0 | 1094 1477 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 9.39457 s Remaining CPU time: 170.605 s c =============================================================================== c | 0 | 1094 1478 212200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 9.46956 s Remaining CPU time: 170.53 s c =============================================================================== c | 0 | 1094 1479 213050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 9.54555 s Remaining CPU time: 170.454 s c =============================================================================== c | 0 | 1094 1480 213900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 9.62154 s Remaining CPU time: 170.378 s c =============================================================================== c | 0 | 1094 1481 214750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 9.69753 s Remaining CPU time: 170.302 s c =============================================================================== c | 0 | 1094 1482 215600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 9.77251 s Remaining CPU time: 170.227 s c =============================================================================== c | 0 | 1094 1483 216450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 9.8485 s Remaining CPU time: 170.151 s c =============================================================================== c | 0 | 1094 1484 217300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 9.92549 s Remaining CPU time: 170.075 s c =============================================================================== c | 0 | 1094 1485 218150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 10.0075 s Remaining CPU time: 169.993 s c =============================================================================== c | 0 | 1094 1486 219000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 10.0895 s Remaining CPU time: 169.911 s c =============================================================================== c | 0 | 1094 1487 219850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 10.1715 s Remaining CPU time: 169.829 s c =============================================================================== c | 0 | 1094 1488 220700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 10.2524 s Remaining CPU time: 169.748 s c =============================================================================== c | 0 | 1094 1489 221550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 10.3344 s Remaining CPU time: 169.666 s c =============================================================================== c | 0 | 1094 1490 222400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 10.4164 s Remaining CPU time: 169.584 s c =============================================================================== c | 0 | 1094 1491 223250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 10.4984 s Remaining CPU time: 169.502 s c =============================================================================== c | 0 | 1094 1492 224100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 10.5804 s Remaining CPU time: 169.42 s c =============================================================================== c | 0 | 1094 1493 224950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 10.6614 s Remaining CPU time: 169.339 s c =============================================================================== c | 0 | 1094 1494 225800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 10.7434 s Remaining CPU time: 169.257 s c =============================================================================== c | 0 | 1094 1495 226650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 10.8234 s Remaining CPU time: 169.177 s c =============================================================================== c | 0 | 1094 1496 227500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 10.9053 s Remaining CPU time: 169.095 s c =============================================================================== c | 0 | 1094 1497 228350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 10.9873 s Remaining CPU time: 169.013 s c =============================================================================== c | 0 | 1094 1498 229200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 11.0723 s Remaining CPU time: 168.928 s c =============================================================================== c | 0 | 1094 1499 230050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 11.1573 s Remaining CPU time: 168.843 s c =============================================================================== c | 0 | 1094 1500 230900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 11.2433 s Remaining CPU time: 168.757 s c =============================================================================== c | 0 | 1094 1501 231750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 11.3283 s Remaining CPU time: 168.672 s c =============================================================================== c | 0 | 1094 1502 232600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 11.4143 s Remaining CPU time: 168.586 s c =============================================================================== c | 0 | 1094 1503 233450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 11.4983 s Remaining CPU time: 168.502 s c =============================================================================== c | 0 | 1094 1504 234300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 11.5822 s Remaining CPU time: 168.418 s c =============================================================================== c | 0 | 1094 1505 235150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 11.6672 s Remaining CPU time: 168.333 s c =============================================================================== c | 0 | 1094 1506 236000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 11.7582 s Remaining CPU time: 168.242 s c =============================================================================== c | 0 | 1094 1507 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 11.8482 s Remaining CPU time: 168.152 s c =============================================================================== c | 0 | 1094 1508 237700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 11.9392 s Remaining CPU time: 168.061 s c =============================================================================== c | 0 | 1094 1509 238550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 12.0292 s Remaining CPU time: 167.971 s c =============================================================================== c | 0 | 1094 1510 239400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 12.1222 s Remaining CPU time: 167.878 s c =============================================================================== c | 0 | 1094 1511 240250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 12.2141 s Remaining CPU time: 167.786 s c =============================================================================== c | 0 | 1094 1512 241100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 12.3071 s Remaining CPU time: 167.693 s c =============================================================================== c | 0 | 1094 1513 241950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 12.4001 s Remaining CPU time: 167.6 s c =============================================================================== c | 0 | 1094 1514 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 12.4931 s Remaining CPU time: 167.507 s c =============================================================================== c | 0 | 1094 1515 243650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 12.5861 s Remaining CPU time: 167.414 s c =============================================================================== c | 0 | 1094 1516 244500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 12.6771 s Remaining CPU time: 167.323 s c =============================================================================== c | 0 | 1094 1517 245350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 12.7691 s Remaining CPU time: 167.231 s c =============================================================================== c | 0 | 1094 1518 246200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 12.862 s Remaining CPU time: 167.138 s c =============================================================================== c | 0 | 1094 1519 247050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 12.955 s Remaining CPU time: 167.045 s c =============================================================================== c | 0 | 1094 1520 247900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 13.047 s Remaining CPU time: 166.953 s c =============================================================================== c | 0 | 1094 1521 248750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 13.139 s Remaining CPU time: 166.861 s c =============================================================================== c | 0 | 1094 1522 249600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 13.231 s Remaining CPU time: 166.769 s c =============================================================================== c | 0 | 1094 1523 250450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 13.323 s Remaining CPU time: 166.677 s c =============================================================================== c | 0 | 1094 1524 251300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 13.414 s Remaining CPU time: 166.586 s c =============================================================================== c | 0 | 1094 1525 252150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 13.5059 s Remaining CPU time: 166.494 s c =============================================================================== c | 0 | 1094 1526 253000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 13.5979 s Remaining CPU time: 166.402 s c =============================================================================== c | 0 | 1094 1527 253850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 13.6899 s Remaining CPU time: 166.31 s c =============================================================================== c | 0 | 1094 1528 254700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 13.7809 s Remaining CPU time: 166.219 s c =============================================================================== c | 0 | 1094 1529 255550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 13.8729 s Remaining CPU time: 166.127 s c =============================================================================== c | 0 | 1094 1530 256400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 13.9649 s Remaining CPU time: 166.035 s c =============================================================================== c | 0 | 1094 1531 257250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 14.0569 s Remaining CPU time: 165.943 s c =============================================================================== c | 0 | 1094 1532 258100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 14.1498 s Remaining CPU time: 165.85 s c =============================================================================== c | 0 | 1094 1533 258950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 14.2398 s Remaining CPU time: 165.76 s c =============================================================================== c | 0 | 1094 1534 259800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 14.3318 s Remaining CPU time: 165.668 s c =============================================================================== c | 0 | 1094 1535 260650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 14.4238 s Remaining CPU time: 165.576 s c =============================================================================== c | 0 | 1094 1536 261500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 14.5158 s Remaining CPU time: 165.484 s c =============================================================================== c | 0 | 1094 1537 262350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 14.6078 s Remaining CPU time: 165.392 s c =============================================================================== c | 0 | 1094 1538 263200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 14.6988 s Remaining CPU time: 165.301 s c =============================================================================== c | 0 | 1094 1539 264050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 14.7888 s Remaining CPU time: 165.211 s c =============================================================================== c | 0 | 1094 1540 264900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 14.8787 s Remaining CPU time: 165.121 s c =============================================================================== c | 0 | 1094 1541 265750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 14.9697 s Remaining CPU time: 165.03 s c =============================================================================== c | 0 | 1094 1542 266600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 15.0617 s Remaining CPU time: 164.938 s c =============================================================================== c | 0 | 1094 1543 267450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 15.1527 s Remaining CPU time: 164.847 s c =============================================================================== c | 0 | 1094 1544 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 15.2447 s Remaining CPU time: 164.755 s c =============================================================================== c | 0 | 1094 1545 269150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 15.3327 s Remaining CPU time: 164.667 s c =============================================================================== c | 0 | 1094 1546 270000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 15.4217 s Remaining CPU time: 164.578 s c =============================================================================== c | 0 | 1094 1547 270850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 15.5116 s Remaining CPU time: 164.488 s c =============================================================================== c | 0 | 1094 1548 271700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 15.6016 s Remaining CPU time: 164.398 s c =============================================================================== c | 0 | 1094 1549 272550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 15.6936 s Remaining CPU time: 164.306 s c =============================================================================== c | 0 | 1094 1550 273400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 15.7906 s Remaining CPU time: 164.209 s c =============================================================================== c | 0 | 1094 1551 274250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 15.8876 s Remaining CPU time: 164.112 s c =============================================================================== c | 0 | 1094 1552 275100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 15.9846 s Remaining CPU time: 164.015 s c =============================================================================== c | 0 | 1094 1553 275950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 16.0816 s Remaining CPU time: 163.918 s c =============================================================================== c | 0 | 1094 1554 276800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 16.1775 s Remaining CPU time: 163.822 s c =============================================================================== c | 0 | 1094 1555 277650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 16.2735 s Remaining CPU time: 163.726 s c =============================================================================== c | 0 | 1094 1556 278500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 16.3695 s Remaining CPU time: 163.63 s c =============================================================================== c | 0 | 1094 1557 279350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 16.4685 s Remaining CPU time: 163.532 s c =============================================================================== c | 0 | 1094 1558 280200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 16.5785 s Remaining CPU time: 163.422 s c =============================================================================== c | 3 | 1094 1559 281050 | 5000 3 527 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 16.6585 s Remaining CPU time: 163.342 s c =============================================================================== c | 8 | 1094 1560 281900 | 5000 8 204 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 16.7385 s Remaining CPU time: 163.262 s c =============================================================================== c | 10 | 1094 1561 282750 | 5000 10 164 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 16.8164 s Remaining CPU time: 163.184 s c =============================================================================== c | 11 | 1094 1562 283600 | 5000 11 197 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 16.8974 s Remaining CPU time: 163.103 s c =============================================================================== c | 11 | 1094 1563 284450 | 5000 11 197 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 16.9754 s Remaining CPU time: 163.025 s c =============================================================================== c | 11 | 1094 1564 285300 | 5000 11 197 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 17.0554 s Remaining CPU time: 162.945 s c =============================================================================== c | 11 | 1094 1565 286150 | 5000 11 197 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 17.1354 s Remaining CPU time: 162.865 s c =============================================================================== c | 12 | 1094 1566 287000 | 5000 12 223 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 17.2164 s Remaining CPU time: 162.784 s c =============================================================================== c | 15 | 1094 1567 287850 | 5000 15 182 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 17.2954 s Remaining CPU time: 162.705 s c =============================================================================== c | 16 | 1094 1568 288700 | 5000 16 203 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 17.3774 s Remaining CPU time: 162.623 s c =============================================================================== c | 17 | 1094 1569 289550 | 5000 17 222 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 17.4583 s Remaining CPU time: 162.542 s c =============================================================================== c | 20 | 1094 1570 290400 | 5000 20 190 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 17.5393 s Remaining CPU time: 162.461 s c =============================================================================== c | 20 | 1094 1571 291250 | 5000 20 190 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 17.6213 s Remaining CPU time: 162.379 s c =============================================================================== c | 20 | 1094 1572 292100 | 5000 20 190 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 17.7023 s Remaining CPU time: 162.298 s c =============================================================================== c | 20 | 1094 1573 292950 | 5000 20 190 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 17.7843 s Remaining CPU time: 162.216 s c =============================================================================== c | 20 | 1094 1574 293800 | 5000 20 190 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 17.8663 s Remaining CPU time: 162.134 s c =============================================================================== c | 20 | 1094 1575 294650 | 5000 20 190 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 17.9493 s Remaining CPU time: 162.051 s c =============================================================================== c | 21 | 1094 1576 295500 | 5000 21 206 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 18.0293 s Remaining CPU time: 161.971 s c =============================================================================== c | 21 | 1094 1577 296350 | 5000 21 206 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 18.1112 s Remaining CPU time: 161.889 s c =============================================================================== c | 21 | 1094 1578 297200 | 5000 21 206 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 18.1932 s Remaining CPU time: 161.807 s c =============================================================================== c | 21 | 1094 1579 298050 | 5000 21 206 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 18.2752 s Remaining CPU time: 161.725 s c =============================================================================== c | 22 | 1094 1580 298900 | 5000 22 219 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 18.3582 s Remaining CPU time: 161.642 s c =============================================================================== c | 22 | 1094 1581 299750 | 5000 22 219 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 18.4402 s Remaining CPU time: 161.56 s c =============================================================================== c | 22 | 1094 1582 300600 | 5000 22 219 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 18.5232 s Remaining CPU time: 161.477 s c =============================================================================== c | 22 | 1094 1583 301450 | 5000 22 219 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 18.6072 s Remaining CPU time: 161.393 s c =============================================================================== c | 23 | 1094 1584 302300 | 5000 23 231 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 18.6892 s Remaining CPU time: 161.311 s c =============================================================================== c | 23 | 1094 1585 303150 | 5000 23 231 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 18.7721 s Remaining CPU time: 161.228 s c =============================================================================== c | 23 | 1094 1586 304000 | 5000 23 231 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 18.8551 s Remaining CPU time: 161.145 s c =============================================================================== c | 23 | 1094 1587 304850 | 5000 23 231 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 18.9381 s Remaining CPU time: 161.062 s c =============================================================================== c | 23 | 1094 1588 305700 | 5000 23 231 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 19.0221 s Remaining CPU time: 160.978 s c =============================================================================== c | 24 | 1094 1589 306550 | 5000 24 222 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 19.1061 s Remaining CPU time: 160.894 s c =============================================================================== c | 24 | 1094 1590 307400 | 5000 24 222 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 19.1881 s Remaining CPU time: 160.812 s c =============================================================================== c | 24 | 1094 1591 308250 | 5000 24 222 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 19.2711 s Remaining CPU time: 160.729 s c =============================================================================== c | 24 | 1094 1592 309100 | 5000 24 222 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 19.3571 s Remaining CPU time: 160.643 s c =============================================================================== c | 26 | 1094 1593 309950 | 5000 26 225 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 19.441 s Remaining CPU time: 160.559 s c =============================================================================== c | 26 | 1094 1594 310800 | 5000 26 225 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 19.523 s Remaining CPU time: 160.477 s c =============================================================================== c | 26 | 1094 1595 311650 | 5000 26 225 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 19.607 s Remaining CPU time: 160.393 s c =============================================================================== c | 26 | 1094 1596 312500 | 5000 26 225 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 19.692 s Remaining CPU time: 160.308 s c =============================================================================== c | 27 | 1094 1597 313350 | 5000 27 217 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 19.776 s Remaining CPU time: 160.224 s c =============================================================================== c | 27 | 1094 1598 314200 | 5000 27 217 | 0.000 % | c | 129 | 1094 1598 314200 | 5500 129 427 | 2.496 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 20.047 s Remaining CPU time: 159.953 s c =============================================================================== c | 154 | 1094 1599 315050 | 5000 154 412 | 2.496 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 20.1389 s Remaining CPU time: 159.861 s c =============================================================================== c | 169 | 1094 1600 315900 | 5000 169 405 | 2.496 % | c | 270 | 1094 1600 315900 | 5500 270 431 | 2.496 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 20.3909 s Remaining CPU time: 159.609 s c =============================================================================== c | 284 | 1094 1601 316750 | 5000 284 419 | 2.496 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 20.4749 s Remaining CPU time: 159.525 s c =============================================================================== c | 285 | 1094 1602 317600 | 5000 285 417 | 2.496 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 20.5619 s Remaining CPU time: 159.438 s c =============================================================================== c | 287 | 1094 1603 318450 | 5000 287 416 | 2.496 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 20.6459 s Remaining CPU time: 159.354 s c =============================================================================== c | 291 | 1094 1604 319300 | 5000 291 414 | 2.496 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 20.7328 s Remaining CPU time: 159.267 s c =============================================================================== c | 293 | 1094 1605 320150 | 5000 293 414 | 2.496 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 20.8178 s Remaining CPU time: 159.182 s c =============================================================================== c | 293 | 1094 1606 321000 | 5000 293 414 | 2.496 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 20.9448 s Remaining CPU time: 159.055 s c =============================================================================== c | 320 | 1094 1607 321850 | 5000 320 420 | 2.496 % | c | 420 | 1094 1607 321850 | 5500 420 433 | 2.496 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 21.1978 s Remaining CPU time: 158.802 s c =============================================================================== c | 427 | 1094 1608 322700 | 5000 427 430 | 2.496 % | c | 528 | 1094 1608 322700 | 5500 528 439 | 2.496 % | c | 678 | 1094 1608 322700 | 6050 678 441 | 2.496 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 21.6537 s Remaining CPU time: 158.346 s c =============================================================================== c | 684 | 1094 1609 323550 | 5000 684 441 | 2.496 % | c | 784 | 1094 1609 323550 | 5500 784 444 | 2.496 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 21.8777 s Remaining CPU time: 158.122 s c =============================================================================== c | 789 | 1094 1610 324400 | 5000 789 441 | 2.496 % | c | 891 | 1094 1610 324400 | 5500 891 442 | 2.496 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 22.1306 s Remaining CPU time: 157.869 s c =============================================================================== c | 933 | 1094 1611 325250 | 5000 933 442 | 2.496 % | c | 1033 | 1094 1611 325250 | 5500 1033 444 | 2.496 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 22.3936 s Remaining CPU time: 157.606 s c =============================================================================== c | 1061 | 1094 1612 326100 | 5000 1061 441 | 2.496 % | c | 1161 | 1094 1612 326100 | 5500 1161 443 | 2.496 % | c | 1311 | 1094 1612 326100 | 6050 1311 443 | 2.496 % | c | 1536 | 1094 1612 326100 | 6655 1536 441 | 2.496 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 23.1945 s Remaining CPU time: 156.806 s c =============================================================================== c | 1627 | 1094 1613 326950 | 5000 1627 442 | 2.496 % | c | 1727 | 1094 1613 326950 | 5500 1727 442 | 2.496 % | c | 1877 | 1094 1613 326950 | 6050 1877 445 | 2.496 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 23.8444 s Remaining CPU time: 156.156 s c =============================================================================== c | 2066 | 1094 1614 327800 | 5000 2066 447 | 2.496 % | c | 2166 | 1094 1614 327800 | 5500 2166 446 | 2.496 % | c | 2316 | 1094 1614 327800 | 6050 2316 447 | 2.496 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 24.5483 s Remaining CPU time: 155.452 s c =============================================================================== c | 2537 | 1094 1615 328650 | 5000 2537 448 | 2.496 % | c | 2637 | 1094 1615 328650 | 5500 2637 448 | 2.496 % | c | 2787 | 1094 1615 328650 | 6050 2787 449 | 2.496 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 25.1212 s Remaining CPU time: 154.879 s c =============================================================================== c | 2850 | 1094 1616 329500 | 5000 2850 449 | 2.496 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 25.2182 s Remaining CPU time: 154.782 s c =============================================================================== c | 2860 | 1094 1617 330350 | 5000 2860 448 | 2.496 % | c | 2963 | 1094 1617 330350 | 5500 2963 449 | 2.496 % | c | 3113 | 1094 1617 330350 | 6050 3113 449 | 2.496 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 25.8881 s Remaining CPU time: 154.112 s c =============================================================================== c | 3291 | 1094 1618 331200 | 5000 3291 450 | 2.496 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 25.98 s Remaining CPU time: 154.02 s c =============================================================================== c | 3294 | 1094 1619 332050 | 5000 3294 450 | 2.496 % | c | 3394 | 1094 1619 332050 | 5500 3394 450 | 2.496 % | c | 3544 | 1094 1619 332050 | 6050 3544 451 | 2.496 % | c | 3769 | 1094 1619 332050 | 6655 3769 451 | 2.496 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 26.9629 s Remaining CPU time: 153.037 s c =============================================================================== c | 3975 | 1094 1620 332900 | 5000 3975 451 | 2.496 % | c | 4078 | 1094 1620 332900 | 5500 4078 451 | 2.496 % | c | 4228 | 1094 1620 332900 | 6050 4228 451 | 2.496 % | c | 4454 | 1094 1620 332900 | 6655 4454 452 | 2.496 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 27.7618 s Remaining CPU time: 152.238 s c =============================================================================== c | 4455 | 1094 1621 333750 | 5000 4455 452 | 2.496 % | c | 4555 | 1094 1621 333750 | 5500 4555 452 | 2.496 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 28.1427 s Remaining CPU time: 151.857 s c =============================================================================== c | 4697 | 1094 1622 334600 | 5000 4697 452 | 2.496 % | c | 4797 | 1094 1622 334600 | 5500 4797 452 | 2.496 % | c | 4948 | 1094 1622 334600 | 6050 4948 452 | 2.496 % | c | 5173 | 1094 1622 334600 | 6655 5173 453 | 2.496 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 29.0826 s Remaining CPU time: 150.917 s c =============================================================================== c | 5358 | 1094 1623 335450 | 5000 5358 453 | 2.496 % | c | 5458 | 1094 1623 335450 | 5500 2779 440 | 2.496 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 29.3725 s Remaining CPU time: 150.627 s c =============================================================================== c | 5475 | 1094 1624 336300 | 5000 2796 438 | 2.496 % | c | 5576 | 1094 1624 336300 | 5500 2897 439 | 2.496 % | c | 5726 | 1094 1624 336300 | 6050 3047 440 | 2.496 % | c | 5951 | 1094 1624 336300 | 6655 3272 442 | 2.496 % | c | 6288 | 1094 1624 336300 | 7320 3609 444 | 2.496 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 30.8603 s Remaining CPU time: 149.14 s c =============================================================================== c | 6546 | 1094 1625 337150 | 5000 3867 444 | 2.496 % | c | 6646 | 1094 1625 337150 | 5500 3967 444 | 2.496 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 31.1653 s Remaining CPU time: 148.835 s c =============================================================================== c | 6681 | 1094 1626 338000 | 5000 4002 444 | 2.496 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 31.3452 s Remaining CPU time: 148.655 s c =============================================================================== c | 6759 | 1094 1627 338850 | 5000 4080 444 | 2.496 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 31.4412 s Remaining CPU time: 148.559 s c =============================================================================== c | 6762 | 1094 1628 339700 | 5000 4083 444 | 2.496 % | c | 6862 | 1094 1628 339700 | 5500 4183 442 | 2.496 % | c | 7012 | 1094 1628 339700 | 6050 4333 443 | 2.496 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 32.1441 s Remaining CPU time: 147.856 s c =============================================================================== c | 7167 | 1094 1629 340550 | 5000 4488 443 | 2.496 % | c | 7267 | 1094 1629 340550 | 5500 4588 443 | 2.496 % | c | 7417 | 1094 1629 340550 | 6050 4738 444 | 2.496 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 32.792 s Remaining CPU time: 147.208 s c =============================================================================== c | 7557 | 1094 1630 341400 | 5000 4878 444 | 2.496 % | c | 7657 | 1094 1630 341400 | 5500 4978 444 | 2.496 % | c | 7807 | 1094 1630 341400 | 6050 5128 444 | 2.496 % | c | 8032 | 1094 1630 341400 | 6655 5353 445 | 2.496 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 33.7419 s Remaining CPU time: 146.258 s c =============================================================================== c | 8098 | 1094 1631 342250 | 5000 5419 444 | 2.496 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 33.8409 s Remaining CPU time: 146.159 s c =============================================================================== c | 8102 | 1094 1632 343100 | 5000 2714 432 | 2.496 % | c | 8202 | 1094 1632 343100 | 5500 2814 433 | 2.496 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 34.1498 s Remaining CPU time: 145.85 s c =============================================================================== c | 8268 | 1094 1633 343950 | 5000 2880 433 | 2.496 % | c | 8371 | 1094 1633 343950 | 5500 2983 434 | 2.496 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 34.4848 s Remaining CPU time: 145.515 s c =============================================================================== c | 8406 | 1094 1634 344800 | 5000 3018 434 | 2.496 % | c | 8507 | 1094 1634 344800 | 5500 3119 434 | 2.496 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 34.7647 s Remaining CPU time: 145.235 s c =============================================================================== c | 8520 | 1094 1635 345650 | 5000 3132 434 | 2.496 % | c | 8620 | 1094 1635 345650 | 5500 3232 434 | 2.496 % | c | 8770 | 1094 1635 345650 | 6050 3382 435 | 2.496 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 35.3406 s Remaining CPU time: 144.659 s c =============================================================================== c | 8865 | 1094 1636 346500 | 5000 3477 435 | 2.496 % | c | 8965 | 1094 1636 346500 | 5500 3577 436 | 2.496 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 35.7006 s Remaining CPU time: 144.299 s c =============================================================================== c | 9077 | 1094 1637 347350 | 5000 3689 436 | 2.496 % | c | 9177 | 1094 1637 347350 | 5500 3789 436 | 2.496 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 35.9675 s Remaining CPU time: 144.032 s c =============================================================================== c | 9193 | 1094 1638 348200 | 5000 3805 436 | 2.496 % | c | 9293 | 1094 1638 348200 | 5500 3905 436 | 2.496 % | c | 9443 | 1094 1638 348200 | 6050 4055 437 | 2.496 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 36.4505 s Remaining CPU time: 143.55 s c =============================================================================== c | 9490 | 1094 1639 349050 | 5000 4102 434 | 2.496 % | c | 9590 | 1094 1639 349050 | 5500 4202 435 | 2.496 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 36.7524 s Remaining CPU time: 143.248 s c =============================================================================== c | 9621 | 1094 1640 349900 | 5000 4233 435 | 2.496 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 36.8594 s Remaining CPU time: 143.141 s c =============================================================================== c | 9642 | 1094 1641 350750 | 5000 4254 435 | 2.496 % | c | 9742 | 1094 1641 350750 | 5500 4354 435 | 2.496 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 37.1254 s Remaining CPU time: 142.875 s c =============================================================================== c | 9763 | 1094 1642 351600 | 5000 4375 435 | 2.496 % | c | 9863 | 1094 1642 351600 | 5500 4475 435 | 2.496 % | c | 10013 | 1094 1642 351600 | 6050 4625 435 | 2.496 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 37.7203 s Remaining CPU time: 142.28 s c =============================================================================== c | 10190 | 1094 1643 352450 | 5000 4802 435 | 2.496 % | c | 10292 | 1094 1643 352450 | 5500 4904 435 | 2.496 % | c | 10442 | 1094 1643 352450 | 6050 5054 436 | 2.496 % | c | 10667 | 1094 1643 352450 | 6655 5279 436 | 2.496 % | c | 11004 | 1094 1643 352450 | 7320 5616 435 | 2.496 % | c | 11510 | 1094 1643 352450 | 8052 6122 435 | 2.496 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 39.8379 s Remaining CPU time: 140.162 s c =============================================================================== c | 11924 | 1094 1644 353300 | 5000 6536 435 | 2.496 % | c | 12024 | 1094 1644 353300 | 5500 3368 421 | 2.496 % | c | 12177 | 1094 1644 353300 | 6050 3521 422 | 2.496 % | c | 12403 | 1094 1644 353300 | 6655 3747 422 | 2.496 % | c | 12740 | 1094 1644 353300 | 7320 4084 424 | 2.496 % | c | 13246 | 1094 1644 353300 | 8052 4590 425 | 2.496 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 42.0416 s Remaining CPU time: 137.958 s c =============================================================================== c | 13665 | 1094 1645 354150 | 5000 5009 426 | 2.496 % | c | 13765 | 1094 1645 354150 | 5500 5109 426 | 2.496 % | c | 13917 | 1094 1645 354150 | 6050 5261 426 | 2.496 % | c | 14142 | 1094 1645 354150 | 6655 5486 426 | 2.496 % | c | 14479 | 1094 1645 354150 | 7320 5823 427 | 2.496 % | c | 14985 | 1094 1645 354150 | 8052 6329 427 | 2.496 % | c | 15744 | 1094 1645 354150 | 8857 7088 428 | 2.496 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 44.9422 s Remaining CPU time: 135.058 s c =============================================================================== c | 16150 | 1094 1646 355000 | 5000 7494 429 | 2.496 % | c | 16250 | 1094 1646 355000 | 5500 3847 419 | 2.496 % | c | 16400 | 1094 1646 355000 | 6050 3997 420 | 2.496 % | c | 16628 | 1094 1646 355000 | 6655 4225 420 | 2.496 % | c | 16965 | 1094 1646 355000 | 7320 4562 421 | 2.496 % | c | 17471 | 1094 1646 355000 | 8052 5068 421 | 2.496 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 46.8839 s Remaining CPU time: 133.116 s c =============================================================================== c | 17545 | 1094 1647 355850 | 5000 5142 421 | 2.496 % | c | 17645 | 1094 1647 355850 | 5500 2671 406 | 2.496 % | c | 17795 | 1094 1647 355850 | 6050 2821 408 | 2.496 % | c | 18020 | 1094 1647 355850 | 6655 3046 410 | 2.496 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 47.7847 s Remaining CPU time: 132.215 s c =============================================================================== c | 18063 | 1094 1648 356700 | 5000 3089 410 | 2.496 % | c | 18163 | 1094 1648 356700 | 5500 3189 411 | 2.496 % | c | 18313 | 1094 1648 356700 | 6050 3339 412 | 2.496 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 48.3287 s Remaining CPU time: 131.671 s c =============================================================================== c | 18352 | 1094 1649 357550 | 5000 3378 411 | 2.496 % | c | 18452 | 1094 1649 357550 | 5500 3478 411 | 2.496 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 48.6426 s Remaining CPU time: 131.357 s c =============================================================================== c | 18498 | 1094 1650 358400 | 5000 3524 411 | 2.496 % | c | 18600 | 1094 1650 358400 | 5500 3626 411 | 2.496 % | c | 18752 | 1094 1650 358400 | 6050 3778 412 | 2.496 % | c | 18977 | 1094 1650 358400 | 6655 4003 413 | 2.496 % | c | 19315 | 1094 1650 358400 | 7320 4341 415 | 2.496 % | c | 19821 | 1094 1650 358400 | 8052 4847 417 | 2.496 % | c | 20580 | 1094 1650 358400 | 8857 5606 419 | 2.496 % | c | 21720 | 1094 1650 358400 | 9743 6746 422 | 2.496 % | c | 23428 | 1094 1650 358400 | 10717 8454 424 | 2.496 % | c | 25990 | 1094 1650 358400 | 11789 11016 427 | 2.496 % | c | 29834 | 1094 1650 358400 | 12968 8704 427 | 2.496 % | c | 35600 | 1094 1650 358400 | 14265 7733 428 | 2.496 % | c | 44249 | 1094 1650 358400 | 15692 9010 430 | 2.496 % | c | 57223 | 1094 1650 358400 | 17261 13881 432 | 2.496 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 100.707 s Remaining CPU time: 79.2933 s c =============================================================================== c | 64835 | 1094 1651 359250 | 5000 12607 430 | 2.496 % | c | 64935 | 1094 1651 359250 | 5500 3252 422 | 2.496 % | c | 65085 | 1094 1651 359250 | 6050 3402 422 | 2.496 % | c | 65310 | 1094 1651 359250 | 6655 3627 422 | 2.496 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 101.78 s Remaining CPU time: 78.2205 s c =============================================================================== c | 65592 | 1094 1652 360100 | 5000 3909 422 | 2.496 % | c | 65692 | 1094 1652 360100 | 5500 4009 421 | 2.496 % | c | 65842 | 1094 1652 360100 | 6050 4159 421 | 2.496 % | c | 66067 | 1094 1652 360100 | 6655 4384 421 | 2.496 % | c | 66404 | 1094 1652 360100 | 7320 4721 421 | 2.496 % | c | 66910 | 1094 1652 360100 | 8052 5227 421 | 2.496 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 103.691 s Remaining CPU time: 76.3088 s c =============================================================================== c | 67031 | 1094 1653 360950 | 5000 5348 420 | 2.496 % | c | 67131 | 1094 1653 360950 | 5500 2774 406 | 2.496 % | c | 67281 | 1094 1653 360950 | 6050 2924 407 | 2.496 % | c | 67507 | 1094 1653 360950 | 6655 3150 408 | 2.496 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 104.789 s Remaining CPU time: 75.2109 s c =============================================================================== c | 67692 | 1094 1654 361800 | 5000 3335 409 | 2.496 % | c | 67792 | 1094 1654 361800 | 5500 3435 409 | 2.496 % | c | 67944 | 1094 1654 361800 | 6050 3587 410 | 2.496 % | c | 68169 | 1094 1654 361800 | 6655 3812 411 | 2.496 % | c | 68506 | 1094 1654 361800 | 7320 4149 412 | 2.496 % | c | 69012 | 1094 1654 361800 | 8052 4655 413 | 2.496 % | c | 69772 | 1094 1654 361800 | 8857 5415 415 | 2.496 % | c | 70911 | 1094 1654 361800 | 9743 6554 418 | 2.496 % | c | 72620 | 1094 1654 361800 | 10717 8263 421 | 2.496 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 111.906 s Remaining CPU time: 68.094 s c =============================================================================== c | 73669 | 1094 1655 362650 | 5000 9312 422 | 2.496 % | c | 73769 | 1094 1655 362650 | 5500 4756 416 | 2.496 % | c | 73919 | 1094 1655 362650 | 6050 4906 416 | 2.496 % | c | 74146 | 1094 1655 362650 | 6655 5133 416 | 2.496 % | c | 74484 | 1094 1655 362650 | 7320 5471 417 | 2.496 % | c | 74990 | 1094 1655 362650 | 8052 5977 417 | 2.496 % | c | 75749 | 1094 1655 362650 | 8857 6736 419 | 2.496 % | c | 76888 | 1094 1655 362650 | 9743 7875 421 | 2.496 % | c | 78596 | 1094 1655 362650 | 10717 9583 423 | 2.496 % | c | 81158 | 1094 1655 362650 | 11789 6541 420 | 2.496 % | c | 85002 | 1094 1655 362650 | 12968 10385 424 | 2.496 % | c | 90768 | 1094 1655 362650 | 14265 9407 425 | 2.496 % | c | 99417 | 1094 1655 362650 | 15692 10676 426 | 2.496 % | c | 112392 | 1094 1655 362650 | 17261 15553 428 | 2.496 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 159.635 s Remaining CPU time: 20.3653 s c =============================================================================== c | 114219 | 1094 1656 363500 | 5000 17380 428 | 2.496 % | c | 114319 | 1094 1656 363500 | 5500 4445 420 | 2.496 % | c | 114469 | 1094 1656 363500 | 6050 4595 420 | 2.496 % | c | 114694 | 1094 1656 363500 | 6655 4820 421 | 2.496 % | c | 115031 | 1094 1656 363500 | 7320 5157 420 | 2.496 % | c | 115538 | 1094 1656 363500 | 8052 5664 421 | 2.496 % | c | 116297 | 1094 1656 363500 | 8857 6423 422 | 2.496 % | c | 117436 | 1094 1656 363500 | 9743 7562 422 | 2.496 % | c | 119144 | 1094 1656 363500 | 10717 9270 424 | 2.496 % | c | 121706 | 1094 1656 363500 | 11789 6231 418 | 2.496 % | c | 125550 | 1094 1656 363500 | 12968 10075 422 | 2.496 % | c | 131318 | 1094 1656 363500 | 14265 9121 421 | 2.496 % | 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 | 297 2526 4904 | 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 | 375 2527 5051 | 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 | 616 2529 5506 | 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 | 791 2532 5804 | 5000 0 nan | 0.000 % | c | 100 | 791 2532 5804 | 5500 100 27 | 44.763 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1258 2536 6576 | 5000 0 nan | 0.000 % | c | 101 | 1258 2536 6576 | 5500 101 36 | 27.199 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1790 2543 163862 | 5000 0 nan | 0.000 % | c | 103 | 1790 2543 163862 | 5500 103 35 | 13.275 % | c | 255 | 1789 2543 163862 | 6050 255 22 | 13.372 % | c | 480 | 1789 2543 163862 | 6655 480 19 | 13.372 % | c | 818 | 1787 2543 163862 | 7320 777 18 | 13.469 % | c | 1324 | 1787 2543 163862 | 8052 1283 18 | 13.469 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2375 2567 259340 | 5000 0 nan | 0.000 % | c | 100 | 2375 2567 259340 | 5500 100 40 | 6.422 % | c | 250 | 2375 2567 259340 | 6050 250 29 | 6.422 % | c | 475 | 2375 2567 259340 | 6655 475 21 | 6.422 % | c | 813 | 2375 2567 259340 | 7320 813 18 | 6.423 % | c | 1319 | 2375 2567 259340 | 8052 1319 16 | 6.423 % | c | 2078 | 2373 2567 259340 | 8857 1174 17 | 6.501 % | c | 3217 | 2373 2567 259340 | 9743 2313 17 | 6.501 % | c | 4928 | 2369 2567 259340 | 10717 3180 16 | 6.659 % | c | 7491 | 2369 2567 259340 | 11789 5743 18 | 6.659 % | c | 11336 | 2369 2567 259340 | 12968 9588 19 | 6.659 % | c | 17102 | 2369 2567 259340 | 14265 8762 20 | 6.659 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3269 2615 341924 | 5000 0 nan | 0.000 % | c | 100 | 3269 2615 341924 | 5500 100 57 | 2.038 % | c | 250 | 3269 2615 341924 | 6050 250 38 | 2.038 % | c | 475 | 3269 2615 341924 | 6655 475 34 | 2.038 % | c | 812 | 3269 2615 341924 | 7320 812 29 | 2.038 % | c | 1318 | 3269 2615 341924 | 8052 1318 26 | 2.038 % | c | 2077 | 3269 2615 341924 | 8857 2077 27 | 2.038 % | c | 3216 | 3269 2615 341924 | 9743 3216 29 | 2.038 % | c | 4926 | 3269 2615 341924 | 10717 4926 32 | 2.038 % | c | 7489 | 3269 2615 341924 | 11789 7489 34 | 2.038 % | c | 11337 | 3269 2615 341924 | 12968 11337 36 | 2.038 % | c | 17103 | 3269 2615 341924 | 14265 10549 34 | 2.038 % | c | 25754 | 3269 2615 341924 | 15692 12005 30 | 2.038 % | c | 38728 | 3267 2615 341924 | 17261 9173 34 | 2.098 % | c | 58189 | 3265 2615 341924 | 18987 8973 32 | 2.158 % | c | 87381 | 3265 2615 341924 | 20886 18925 23 | 2.158 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4176 2690 371970 | 5000 0 nan | 0.000 % | c | 100 | 4176 2690 371970 | 5500 100 117 | 0.666 % | c | 250 | 4176 2690 371970 | 6050 250 63 | 0.666 % | c | 476 | 4176 2690 371970 | 6655 476 52 | 0.666 % | c | 813 | 4176 2690 371970 | 7320 813 51 | 0.666 % | c | 1321 | 4176 2690 371970 | 8052 1321 50 | 0.666 % | c | 2082 | 4176 2690 371970 | 8857 2082 57 | 0.666 % | c | 3222 | 4176 2690 371970 | 9743 3222 57 | 0.666 % | c | 4931 | 4176 2690 371970 | 10717 4931 62 | 0.666 % | c | 7495 | 4176 2690 371970 | 11789 7495 64 | 0.666 % | c | 11343 | 4176 2690 371970 | 12968 11343 63 | 0.666 % | c | 17109 | 4176 2690 371970 | 14265 10394 72 | 0.666 % | c | 25758 | 4176 2690 371970 | 15692 11778 67 | 0.666 % | c | 38732 | 4176 2690 371970 | 17261 8732 55 | 0.666 % | c | 58193 | 4176 2690 371970 | 18987 10740 46 | 0.666 % | c | 87385 | 4176 2690 371970 | 20886 11069 29 | 0.666 % | c | 131176 | 4176 2690 371970 | 22974 12880 40 | 0.666 % | c | 196860 | 4174 2690 371970 | 25272 19220 37 | 0.714 % | c | 295388 | 4174 2690 371970 | 27799 24969 37 | 0.719 % | c | 443179 | 4172 2690 371970 | 30579 13148 32 | 0.761 % |