c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1226 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1137 | c | Number Clauses: 1221 | 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 | 1109 1249 4890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 857 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1109 1250 5752 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 856 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1109 1251 6614 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 855 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1109 1252 7476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1109 1253 8338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1109 1254 9200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1109 1255 10062 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1109 1256 10924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1109 1257 11786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1109 1258 12648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1109 1259 13510 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1109 1260 14372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1109 1261 15234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1109 1262 16096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1109 1263 16958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1109 1264 17820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1109 1265 18682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1109 1266 19544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1109 1267 20406 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1109 1268 21268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1109 1269 22130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1109 1270 22992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1109 1271 23854 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1109 1272 24716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1109 1273 25578 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1109 1274 26440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1109 1275 27302 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 1109 1276 28164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 1109 1277 29026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 1109 1278 29888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 1109 1279 30750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 1109 1280 31612 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 1109 1281 32474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 1109 1282 33336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 1109 1283 34198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 1109 1284 35060 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 1109 1285 35922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 1109 1286 36784 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 1109 1287 37646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 1109 1288 38508 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 1109 1289 39370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 1109 1290 40232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 1109 1291 41094 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 1109 1292 41956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 1109 1293 42818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 1109 1294 43680 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 1109 1295 44542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 0 | 1109 1296 45404 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 1109 1297 46266 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 1109 1298 47128 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 1109 1299 47990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 1109 1300 48852 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 1109 1301 49714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 1109 1302 50576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 0 | 1109 1303 51438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 1109 1304 52300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 0 | 1109 1305 53162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 1109 1306 54024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 1109 1307 54886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 0 | 1109 1308 55748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 0 | 1109 1309 56610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 1109 1310 57472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 0 | 1109 1311 58334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 0 | 1109 1312 59196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 0 | 1109 1313 60058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 1109 1314 60920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 0 | 1109 1315 61782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 0 | 1109 1316 62644 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 1109 1317 63506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 0 | 1109 1318 64368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 0 | 1109 1319 65230 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 0 | 1109 1320 66092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 0 | 1109 1321 66954 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 0 | 1109 1322 67816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 0 | 1109 1323 68678 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 0 | 1109 1324 69540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 0 | 1109 1325 70402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 0 | 1109 1326 71264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 0 | 1109 1327 72126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 0 | 1109 1328 72988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 0 | 1109 1329 73850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 0 | 1109 1330 74712 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 0 | 1109 1331 75574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 0 | 1109 1332 76436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s c =============================================================================== c | 0 | 1109 1333 77298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 0 | 1109 1334 78160 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 0 | 1109 1335 79022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 0 | 1109 1336 79884 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 0 | 1109 1337 80746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 0 | 1109 1338 81608 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s c =============================================================================== c | 0 | 1109 1339 82470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 1.00285 s Remaining CPU time: 178.997 s c =============================================================================== c | 0 | 1109 1340 83332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 0 | 1109 1341 84194 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 0 | 1109 1342 85056 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 1.07584 s Remaining CPU time: 178.924 s c =============================================================================== c | 0 | 1109 1343 85918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 0 | 1109 1344 86780 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 0 | 1109 1345 87642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 0 | 1109 1346 88504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 1.17882 s Remaining CPU time: 178.821 s c =============================================================================== c | 0 | 1109 1347 89366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 0 | 1109 1348 90228 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 0 | 1109 1349 91090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 0 | 1109 1350 91952 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 1.2868 s Remaining CPU time: 178.713 s c =============================================================================== c | 0 | 1109 1351 92814 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 0 | 1109 1352 93676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 0 | 1109 1353 94538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s c =============================================================================== c | 0 | 1109 1354 95400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 0 | 1109 1355 96262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 1.42778 s Remaining CPU time: 178.572 s c =============================================================================== c | 0 | 1109 1356 97124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 0 | 1109 1357 97986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 1.48277 s Remaining CPU time: 178.517 s c =============================================================================== c | 0 | 1109 1358 98848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 0 | 1109 1359 99710 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 1.54377 s Remaining CPU time: 178.456 s c =============================================================================== c | 0 | 1109 1360 100572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 0 | 1109 1361 101434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 0 | 1109 1362 102296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s c =============================================================================== c | 0 | 1109 1363 103158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 0 | 1109 1364 104020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 1.69474 s Remaining CPU time: 178.305 s c =============================================================================== c | 0 | 1109 1365 104882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 1.72674 s Remaining CPU time: 178.273 s c =============================================================================== c | 0 | 1109 1366 105744 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 1.75773 s Remaining CPU time: 178.242 s c =============================================================================== c | 0 | 1109 1367 106606 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 1.79073 s Remaining CPU time: 178.209 s c =============================================================================== c | 0 | 1109 1368 107468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 0 | 1109 1369 108330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 1.85472 s Remaining CPU time: 178.145 s c =============================================================================== c | 0 | 1109 1370 109192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 1.88771 s Remaining CPU time: 178.112 s c =============================================================================== c | 0 | 1109 1371 110054 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 1.92171 s Remaining CPU time: 178.078 s c =============================================================================== c | 0 | 1109 1372 110916 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 1.9557 s Remaining CPU time: 178.044 s c =============================================================================== c | 0 | 1109 1373 111778 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 1.9907 s Remaining CPU time: 178.009 s c =============================================================================== c | 0 | 1109 1374 112640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 2.02469 s Remaining CPU time: 177.975 s c =============================================================================== c | 0 | 1109 1375 113502 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 0 | 1109 1376 114364 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 2.09268 s Remaining CPU time: 177.907 s c =============================================================================== c | 0 | 1109 1377 115226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 2.12768 s Remaining CPU time: 177.872 s c =============================================================================== c | 0 | 1109 1378 116088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 2.16367 s Remaining CPU time: 177.836 s c =============================================================================== c | 0 | 1109 1379 116950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 0 | 1109 1380 117812 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 2.23466 s Remaining CPU time: 177.765 s c =============================================================================== c | 0 | 1109 1381 118674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 2.26965 s Remaining CPU time: 177.73 s c =============================================================================== c | 0 | 1109 1382 119536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 2.30665 s Remaining CPU time: 177.693 s c =============================================================================== c | 0 | 1109 1383 120398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 0 | 1109 1384 121260 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 2.37964 s Remaining CPU time: 177.62 s c =============================================================================== c | 0 | 1109 1385 122122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 0 | 1109 1386 122984 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 2.45163 s Remaining CPU time: 177.548 s c =============================================================================== c | 0 | 1109 1387 123846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 2.48862 s Remaining CPU time: 177.511 s c =============================================================================== c | 0 | 1109 1388 124708 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 2.52662 s Remaining CPU time: 177.473 s c =============================================================================== c | 0 | 1109 1389 125570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 2.56361 s Remaining CPU time: 177.436 s c =============================================================================== c | 0 | 1109 1390 126432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 2.6016 s Remaining CPU time: 177.398 s c =============================================================================== c | 0 | 1109 1391 127294 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 2.6386 s Remaining CPU time: 177.361 s c =============================================================================== c | 0 | 1109 1392 128156 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 2.67759 s Remaining CPU time: 177.322 s c =============================================================================== c | 0 | 1109 1393 129018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 2.71459 s Remaining CPU time: 177.285 s c =============================================================================== c | 0 | 1109 1394 129880 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 2.75258 s Remaining CPU time: 177.247 s c =============================================================================== c | 0 | 1109 1395 130742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s c =============================================================================== c | 0 | 1109 1396 131604 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 2.83057 s Remaining CPU time: 177.169 s c =============================================================================== c | 0 | 1109 1397 132466 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 2.87056 s Remaining CPU time: 177.129 s c =============================================================================== c | 0 | 1109 1398 133328 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 2.91156 s Remaining CPU time: 177.088 s c =============================================================================== c | 0 | 1109 1399 134190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 2.95155 s Remaining CPU time: 177.048 s c =============================================================================== c | 0 | 1109 1400 135052 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 2.99254 s Remaining CPU time: 177.007 s c =============================================================================== c | 0 | 1109 1401 135914 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 3.03354 s Remaining CPU time: 176.966 s c =============================================================================== c | 0 | 1109 1402 136776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 3.07453 s Remaining CPU time: 176.925 s c =============================================================================== c | 0 | 1109 1403 137638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 3.11753 s Remaining CPU time: 176.882 s c =============================================================================== c | 0 | 1109 1404 138500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 3.15952 s Remaining CPU time: 176.84 s c =============================================================================== c | 0 | 1109 1405 139362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 3.20251 s Remaining CPU time: 176.797 s c =============================================================================== c | 0 | 1109 1406 140224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 3.24551 s Remaining CPU time: 176.754 s c =============================================================================== c | 0 | 1109 1407 141086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 3.2905 s Remaining CPU time: 176.71 s c =============================================================================== c | 0 | 1109 1408 141948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 3.33549 s Remaining CPU time: 176.665 s c =============================================================================== c | 0 | 1109 1409 142810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 3.38049 s Remaining CPU time: 176.62 s c =============================================================================== c | 0 | 1109 1410 143672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 3.42548 s Remaining CPU time: 176.575 s c =============================================================================== c | 0 | 1109 1411 144534 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 3.46947 s Remaining CPU time: 176.531 s c =============================================================================== c | 0 | 1109 1412 145396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 3.51546 s Remaining CPU time: 176.485 s c =============================================================================== c | 0 | 1109 1413 146258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 3.56246 s Remaining CPU time: 176.438 s c =============================================================================== c | 0 | 1109 1414 147120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 3.61045 s Remaining CPU time: 176.39 s c =============================================================================== c | 0 | 1109 1415 147982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 3.65844 s Remaining CPU time: 176.342 s c =============================================================================== c | 0 | 1109 1416 148844 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 3.70744 s Remaining CPU time: 176.293 s c =============================================================================== c | 0 | 1109 1417 149706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 3.75743 s Remaining CPU time: 176.243 s c =============================================================================== c | 0 | 1109 1418 150568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 3.80642 s Remaining CPU time: 176.194 s c =============================================================================== c | 0 | 1109 1419 151430 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 3.86041 s Remaining CPU time: 176.14 s c =============================================================================== c | 0 | 1109 1420 152292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 3.9144 s Remaining CPU time: 176.086 s c =============================================================================== c | 0 | 1109 1421 153154 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 3.9694 s Remaining CPU time: 176.031 s c =============================================================================== c | 0 | 1109 1422 154016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 4.02439 s Remaining CPU time: 175.976 s c =============================================================================== c | 0 | 1109 1423 154878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 4.07838 s Remaining CPU time: 175.922 s c =============================================================================== c | 0 | 1109 1424 155740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 4.13437 s Remaining CPU time: 175.866 s c =============================================================================== c | 0 | 1109 1425 156602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 4.19136 s Remaining CPU time: 175.809 s c =============================================================================== c | 0 | 1109 1426 157464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 4.24835 s Remaining CPU time: 175.752 s c =============================================================================== c | 0 | 1109 1427 158326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 4.30534 s Remaining CPU time: 175.695 s c =============================================================================== c | 0 | 1109 1428 159188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 4.36234 s Remaining CPU time: 175.638 s c =============================================================================== c | 0 | 1109 1429 160050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 4.42033 s Remaining CPU time: 175.58 s c =============================================================================== c | 0 | 1109 1430 160912 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 4.47932 s Remaining CPU time: 175.521 s c =============================================================================== c | 0 | 1109 1431 161774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 4.53631 s Remaining CPU time: 175.464 s c =============================================================================== c | 0 | 1109 1432 162636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 4.5933 s Remaining CPU time: 175.407 s c =============================================================================== c | 0 | 1109 1433 163498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 4.65129 s Remaining CPU time: 175.349 s c =============================================================================== c | 0 | 1109 1434 164360 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 4.71028 s Remaining CPU time: 175.29 s c =============================================================================== c | 0 | 1109 1435 165222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 4.76927 s Remaining CPU time: 175.231 s c =============================================================================== c | 0 | 1109 1436 166084 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 4.82927 s Remaining CPU time: 175.171 s c =============================================================================== c | 0 | 1109 1437 166946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 4.88926 s Remaining CPU time: 175.111 s c =============================================================================== c | 0 | 1109 1438 167808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 4.95025 s Remaining CPU time: 175.05 s c =============================================================================== c | 0 | 1109 1439 168670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 5.01124 s Remaining CPU time: 174.989 s c =============================================================================== c | 0 | 1109 1440 169532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 5.07123 s Remaining CPU time: 174.929 s c =============================================================================== c | 0 | 1109 1441 170394 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 5.13222 s Remaining CPU time: 174.868 s c =============================================================================== c | 0 | 1109 1442 171256 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 5.19421 s Remaining CPU time: 174.806 s c =============================================================================== c | 0 | 1109 1443 172118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 5.2552 s Remaining CPU time: 174.745 s c =============================================================================== c | 0 | 1109 1444 172980 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 5.31719 s Remaining CPU time: 174.683 s c =============================================================================== c | 0 | 1109 1445 173842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 5.38018 s Remaining CPU time: 174.62 s c =============================================================================== c | 0 | 1109 1446 174704 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 5.44217 s Remaining CPU time: 174.558 s c =============================================================================== c | 0 | 1109 1447 175566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 5.51016 s Remaining CPU time: 174.49 s c =============================================================================== c | 2 | 1109 1448 176428 | 5000 2 664 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 5.56315 s Remaining CPU time: 174.437 s c =============================================================================== c | 3 | 1109 1449 177290 | 5000 3 444 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 5.61615 s Remaining CPU time: 174.384 s c =============================================================================== c | 3 | 1109 1450 178152 | 5000 3 444 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 5.66914 s Remaining CPU time: 174.331 s c =============================================================================== c | 4 | 1109 1451 179014 | 5000 4 499 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 5.72113 s Remaining CPU time: 174.279 s c =============================================================================== c | 4 | 1109 1452 179876 | 5000 4 499 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 5.77412 s Remaining CPU time: 174.226 s c =============================================================================== c | 4 | 1109 1453 180738 | 5000 4 499 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 5.82911 s Remaining CPU time: 174.171 s c =============================================================================== c | 4 | 1109 1454 181600 | 5000 4 499 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 5.88211 s Remaining CPU time: 174.118 s c =============================================================================== c | 4 | 1109 1455 182462 | 5000 4 499 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 5.9361 s Remaining CPU time: 174.064 s c =============================================================================== c | 4 | 1109 1456 183324 | 5000 4 499 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 5.99009 s Remaining CPU time: 174.01 s c =============================================================================== c | 6 | 1109 1457 184186 | 5000 6 334 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 6.04408 s Remaining CPU time: 173.956 s c =============================================================================== c | 6 | 1109 1458 185048 | 5000 6 334 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 6.09907 s Remaining CPU time: 173.901 s c =============================================================================== c | 6 | 1109 1459 185910 | 5000 6 334 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 6.15406 s Remaining CPU time: 173.846 s c =============================================================================== c | 6 | 1109 1460 186772 | 5000 6 334 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 6.21005 s Remaining CPU time: 173.79 s c =============================================================================== c | 10 | 1109 1461 187634 | 5000 10 202 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 6.26605 s Remaining CPU time: 173.734 s c =============================================================================== c | 11 | 1109 1462 188496 | 5000 11 184 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 6.32304 s Remaining CPU time: 173.677 s c =============================================================================== c | 11 | 1109 1463 189358 | 5000 11 184 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 6.38003 s Remaining CPU time: 173.62 s c =============================================================================== c | 11 | 1109 1464 190220 | 5000 11 184 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 6.43802 s Remaining CPU time: 173.562 s c =============================================================================== c | 11 | 1109 1465 191082 | 5000 11 184 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 6.49601 s Remaining CPU time: 173.504 s c =============================================================================== c | 12 | 1109 1466 191944 | 5000 12 169 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 6.554 s Remaining CPU time: 173.446 s c =============================================================================== c | 13 | 1109 1467 192806 | 5000 13 157 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 6.61099 s Remaining CPU time: 173.389 s c =============================================================================== c | 13 | 1109 1468 193668 | 5000 13 157 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 6.66899 s Remaining CPU time: 173.331 s c =============================================================================== c | 13 | 1109 1469 194530 | 5000 13 157 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 6.72698 s Remaining CPU time: 173.273 s c =============================================================================== c | 13 | 1109 1470 195392 | 5000 13 157 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 6.78497 s Remaining CPU time: 173.215 s c =============================================================================== c | 13 | 1109 1471 196254 | 5000 13 157 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 6.84396 s Remaining CPU time: 173.156 s c =============================================================================== c | 13 | 1109 1472 197116 | 5000 13 157 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 6.90295 s Remaining CPU time: 173.097 s c =============================================================================== c | 13 | 1109 1473 197978 | 5000 13 157 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 6.96294 s Remaining CPU time: 173.037 s c =============================================================================== c | 19 | 1109 1474 198840 | 5000 19 208 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 7.02193 s Remaining CPU time: 172.978 s c =============================================================================== c | 21 | 1109 1475 199702 | 5000 21 189 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 7.08192 s Remaining CPU time: 172.918 s c =============================================================================== c | 23 | 1109 1476 200564 | 5000 23 173 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 7.14191 s Remaining CPU time: 172.858 s c =============================================================================== c | 25 | 1109 1477 201426 | 5000 25 159 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 7.2029 s Remaining CPU time: 172.797 s c =============================================================================== c | 27 | 1109 1478 202288 | 5000 27 171 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 7.2609 s Remaining CPU time: 172.739 s c =============================================================================== c | 30 | 1109 1479 203150 | 5000 30 175 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 7.32189 s Remaining CPU time: 172.678 s c =============================================================================== c | 35 | 1109 1480 204012 | 5000 35 240 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 7.38388 s Remaining CPU time: 172.616 s c =============================================================================== c | 35 | 1109 1481 204874 | 5000 35 240 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 7.44687 s Remaining CPU time: 172.553 s c =============================================================================== c | 35 | 1109 1482 205736 | 5000 35 240 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 7.50886 s Remaining CPU time: 172.491 s c =============================================================================== c | 35 | 1109 1483 206598 | 5000 35 240 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 7.57085 s Remaining CPU time: 172.429 s c =============================================================================== c | 35 | 1109 1484 207460 | 5000 35 240 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 7.63284 s Remaining CPU time: 172.367 s c =============================================================================== c | 37 | 1109 1485 208322 | 5000 37 228 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 7.69483 s Remaining CPU time: 172.305 s c =============================================================================== c | 37 | 1109 1486 209184 | 5000 37 228 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 7.75682 s Remaining CPU time: 172.243 s c =============================================================================== c | 38 | 1109 1487 210046 | 5000 38 222 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 7.81881 s Remaining CPU time: 172.181 s c =============================================================================== c | 38 | 1109 1488 210908 | 5000 38 222 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 7.8818 s Remaining CPU time: 172.118 s c =============================================================================== c | 40 | 1109 1489 211770 | 5000 40 211 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 7.94579 s Remaining CPU time: 172.054 s c =============================================================================== c | 40 | 1109 1490 212632 | 5000 40 211 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 8.00878 s Remaining CPU time: 171.991 s c =============================================================================== c | 40 | 1109 1491 213494 | 5000 40 211 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 8.07177 s Remaining CPU time: 171.928 s c =============================================================================== c | 41 | 1109 1492 214356 | 5000 41 206 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 8.13576 s Remaining CPU time: 171.864 s c =============================================================================== c | 41 | 1109 1493 215218 | 5000 41 206 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 8.19975 s Remaining CPU time: 171.8 s c =============================================================================== c | 41 | 1109 1494 216080 | 5000 41 206 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 8.26374 s Remaining CPU time: 171.736 s c =============================================================================== c | 41 | 1109 1495 216942 | 5000 41 206 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 8.32773 s Remaining CPU time: 171.672 s c =============================================================================== c | 43 | 1109 1496 217804 | 5000 43 197 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 8.39472 s Remaining CPU time: 171.605 s c =============================================================================== c | 45 | 1109 1497 218666 | 5000 45 215 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 8.46171 s Remaining CPU time: 171.538 s c =============================================================================== c | 45 | 1109 1498 219528 | 5000 45 215 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 8.5277 s Remaining CPU time: 171.472 s c =============================================================================== c | 45 | 1109 1499 220390 | 5000 45 215 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 8.59369 s Remaining CPU time: 171.406 s c =============================================================================== c | 45 | 1109 1500 221252 | 5000 45 215 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 8.66068 s Remaining CPU time: 171.339 s c =============================================================================== c | 46 | 1109 1501 222114 | 5000 46 211 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 8.72967 s Remaining CPU time: 171.27 s c =============================================================================== c | 53 | 1109 1502 222976 | 5000 53 263 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 8.79566 s Remaining CPU time: 171.204 s c =============================================================================== c | 53 | 1109 1503 223838 | 5000 53 263 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 8.86265 s Remaining CPU time: 171.137 s c =============================================================================== c | 53 | 1109 1504 224700 | 5000 53 263 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 8.93064 s Remaining CPU time: 171.069 s c =============================================================================== c | 53 | 1109 1505 225562 | 5000 53 263 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 8.99863 s Remaining CPU time: 171.001 s c =============================================================================== c | 53 | 1109 1506 226424 | 5000 53 263 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 9.06662 s Remaining CPU time: 170.933 s c =============================================================================== c | 58 | 1109 1507 227286 | 5000 58 241 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 9.13461 s Remaining CPU time: 170.865 s c =============================================================================== c | 58 | 1109 1508 228148 | 5000 58 241 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 9.2016 s Remaining CPU time: 170.798 s c =============================================================================== c | 58 | 1109 1509 229010 | 5000 58 241 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 9.26959 s Remaining CPU time: 170.73 s c =============================================================================== c | 59 | 1109 1510 229872 | 5000 59 237 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 9.33858 s Remaining CPU time: 170.661 s c =============================================================================== c | 60 | 1109 1511 230734 | 5000 60 233 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 9.40657 s Remaining CPU time: 170.593 s c =============================================================================== c | 62 | 1109 1512 231596 | 5000 62 226 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 9.47656 s Remaining CPU time: 170.523 s c =============================================================================== c | 62 | 1109 1513 232458 | 5000 62 226 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 9.54555 s Remaining CPU time: 170.454 s c =============================================================================== c | 63 | 1109 1514 233320 | 5000 63 223 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 9.61554 s Remaining CPU time: 170.384 s c =============================================================================== c | 63 | 1109 1515 234182 | 5000 63 223 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 9.68253 s Remaining CPU time: 170.317 s c =============================================================================== c | 64 | 1109 1516 235044 | 5000 64 219 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 9.75152 s Remaining CPU time: 170.248 s c =============================================================================== c | 64 | 1109 1517 235906 | 5000 64 219 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 9.82051 s Remaining CPU time: 170.179 s c =============================================================================== c | 64 | 1109 1518 236768 | 5000 64 219 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 9.8895 s Remaining CPU time: 170.111 s c =============================================================================== c | 65 | 1109 1519 237630 | 5000 65 216 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 9.95949 s Remaining CPU time: 170.041 s c =============================================================================== c | 65 | 1109 1520 238492 | 5000 65 216 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 10.0315 s Remaining CPU time: 169.969 s c =============================================================================== c | 66 | 1109 1521 239354 | 5000 66 213 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 10.1025 s Remaining CPU time: 169.898 s c =============================================================================== c | 67 | 1109 1522 240216 | 5000 67 210 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 10.1735 s Remaining CPU time: 169.827 s c =============================================================================== c | 68 | 1109 1523 241078 | 5000 68 206 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 10.2464 s Remaining CPU time: 169.754 s c =============================================================================== c | 69 | 1109 1524 241940 | 5000 69 204 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 10.3174 s Remaining CPU time: 169.683 s c =============================================================================== c | 69 | 1109 1525 242802 | 5000 69 204 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 10.3904 s Remaining CPU time: 169.61 s c =============================================================================== c | 70 | 1109 1526 243664 | 5000 70 209 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 10.4624 s Remaining CPU time: 169.538 s c =============================================================================== c | 70 | 1109 1527 244526 | 5000 70 209 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 10.5344 s Remaining CPU time: 169.466 s c =============================================================================== c | 70 | 1109 1528 245388 | 5000 70 209 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 10.6064 s Remaining CPU time: 169.394 s c =============================================================================== c | 70 | 1109 1529 246250 | 5000 70 209 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 10.6794 s Remaining CPU time: 169.321 s c =============================================================================== c | 70 | 1109 1530 247112 | 5000 70 209 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 10.7524 s Remaining CPU time: 169.248 s c =============================================================================== c | 70 | 1109 1531 247974 | 5000 70 209 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 10.8264 s Remaining CPU time: 169.174 s c =============================================================================== c | 71 | 1109 1532 248836 | 5000 71 206 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 10.8993 s Remaining CPU time: 169.101 s c =============================================================================== c | 71 | 1109 1533 249698 | 5000 71 206 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 10.9723 s Remaining CPU time: 169.028 s c =============================================================================== c | 71 | 1109 1534 250560 | 5000 71 206 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 11.0463 s Remaining CPU time: 168.954 s c =============================================================================== c | 71 | 1109 1535 251422 | 5000 71 206 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 11.1203 s Remaining CPU time: 168.88 s c =============================================================================== c | 73 | 1109 1536 252284 | 5000 73 201 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 11.1953 s Remaining CPU time: 168.805 s c =============================================================================== c | 73 | 1109 1537 253146 | 5000 73 201 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 11.2713 s Remaining CPU time: 168.729 s c =============================================================================== c | 75 | 1109 1538 254008 | 5000 75 203 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 11.3483 s Remaining CPU time: 168.652 s c =============================================================================== c | 84 | 1109 1539 254870 | 5000 84 236 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 11.4233 s Remaining CPU time: 168.577 s c =============================================================================== c | 88 | 1109 1540 255732 | 5000 88 226 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 11.4973 s Remaining CPU time: 168.503 s c =============================================================================== c | 90 | 1109 1541 256594 | 5000 90 233 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 11.5722 s Remaining CPU time: 168.428 s c =============================================================================== c | 90 | 1109 1542 257456 | 5000 90 233 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 11.6472 s Remaining CPU time: 168.353 s c =============================================================================== c | 91 | 1109 1543 258318 | 5000 91 231 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 11.7212 s Remaining CPU time: 168.279 s c =============================================================================== c | 92 | 1109 1544 259180 | 5000 92 228 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 11.7972 s Remaining CPU time: 168.203 s c =============================================================================== c | 93 | 1109 1545 260042 | 5000 93 226 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 11.8722 s Remaining CPU time: 168.128 s c =============================================================================== c | 93 | 1109 1546 260904 | 5000 93 226 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 11.9482 s Remaining CPU time: 168.052 s c =============================================================================== c | 93 | 1109 1547 261766 | 5000 93 226 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 12.0252 s Remaining CPU time: 167.975 s c =============================================================================== c | 94 | 1109 1548 262628 | 5000 94 224 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 12.1012 s Remaining CPU time: 167.899 s c =============================================================================== c | 95 | 1109 1549 263490 | 5000 95 221 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 12.1781 s Remaining CPU time: 167.822 s c =============================================================================== c | 95 | 1109 1550 264352 | 5000 95 221 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 12.2541 s Remaining CPU time: 167.746 s c =============================================================================== c | 96 | 1109 1551 265214 | 5000 96 220 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 12.3291 s Remaining CPU time: 167.671 s c =============================================================================== c | 96 | 1109 1552 266076 | 5000 96 220 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 12.4061 s Remaining CPU time: 167.594 s c =============================================================================== c | 96 | 1109 1553 266938 | 5000 96 220 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 12.4831 s Remaining CPU time: 167.517 s c =============================================================================== c | 96 | 1109 1554 267800 | 5000 96 220 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 12.5921 s Remaining CPU time: 167.408 s c =============================================================================== c | 150 | 1109 1555 268662 | 5000 150 327 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 12.6681 s Remaining CPU time: 167.332 s c =============================================================================== c | 151 | 1109 1556 269524 | 5000 151 325 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 12.7751 s Remaining CPU time: 167.225 s c =============================================================================== c | 175 | 1109 1557 270386 | 5000 175 357 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 12.852 s Remaining CPU time: 167.148 s c =============================================================================== c | 176 | 1109 1558 271248 | 5000 176 355 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 12.929 s Remaining CPU time: 167.071 s c =============================================================================== c | 176 | 1109 1559 272110 | 5000 176 355 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 13.004 s Remaining CPU time: 166.996 s c =============================================================================== c | 176 | 1109 1560 272972 | 5000 176 355 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 13.082 s Remaining CPU time: 166.918 s c =============================================================================== c | 177 | 1109 1561 273834 | 5000 177 353 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 13.159 s Remaining CPU time: 166.841 s c =============================================================================== c | 177 | 1109 1562 274696 | 5000 177 353 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 13.237 s Remaining CPU time: 166.763 s c =============================================================================== c | 177 | 1109 1563 275558 | 5000 177 353 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 13.33 s Remaining CPU time: 166.67 s c =============================================================================== c | 209 | 1109 1564 276420 | 5000 209 355 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 13.414 s Remaining CPU time: 166.586 s c =============================================================================== c | 214 | 1109 1565 277282 | 5000 214 357 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 13.4949 s Remaining CPU time: 166.505 s c =============================================================================== c | 216 | 1109 1566 278144 | 5000 216 358 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 13.5739 s Remaining CPU time: 166.426 s c =============================================================================== c | 216 | 1109 1567 279006 | 5000 216 358 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 13.6539 s Remaining CPU time: 166.346 s c =============================================================================== c | 217 | 1109 1568 279868 | 5000 217 357 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 13.7389 s Remaining CPU time: 166.261 s c =============================================================================== c | 229 | 1109 1569 280730 | 5000 229 365 | 0.000 % | c | 329 | 1109 1569 280730 | 5500 329 418 | 2.463 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 14.0299 s Remaining CPU time: 165.97 s c =============================================================================== c | 415 | 1109 1570 281592 | 5000 415 424 | 2.463 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 14.1119 s Remaining CPU time: 165.888 s c =============================================================================== c | 416 | 1109 1571 282454 | 5000 416 423 | 2.463 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 14.1928 s Remaining CPU time: 165.807 s c =============================================================================== c | 417 | 1109 1572 283316 | 5000 417 422 | 2.463 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 14.2888 s Remaining CPU time: 165.711 s c =============================================================================== c | 444 | 1109 1573 284178 | 5000 444 422 | 2.463 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 14.3828 s Remaining CPU time: 165.617 s c =============================================================================== c | 459 | 1109 1574 285040 | 5000 459 425 | 2.463 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 14.4758 s Remaining CPU time: 165.524 s c =============================================================================== c | 477 | 1109 1575 285902 | 5000 477 426 | 2.463 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 14.5568 s Remaining CPU time: 165.443 s c =============================================================================== c | 477 | 1109 1576 286764 | 5000 477 426 | 2.463 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 14.6858 s Remaining CPU time: 165.314 s c =============================================================================== c | 543 | 1109 1577 287626 | 5000 543 431 | 2.463 % | c | 643 | 1109 1577 287626 | 5500 643 444 | 2.463 % | c | 794 | 1109 1577 287626 | 6050 794 462 | 2.463 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 15.0987 s Remaining CPU time: 164.901 s c =============================================================================== c | 809 | 1109 1578 288488 | 5000 809 461 | 2.463 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 15.2517 s Remaining CPU time: 164.748 s c =============================================================================== c | 893 | 1109 1579 289350 | 5000 893 467 | 2.463 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 15.3327 s Remaining CPU time: 164.667 s c =============================================================================== c | 895 | 1109 1580 290212 | 5000 895 466 | 2.463 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 15.4187 s Remaining CPU time: 164.581 s c =============================================================================== c | 903 | 1109 1581 291074 | 5000 903 462 | 2.463 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 15.5076 s Remaining CPU time: 164.492 s c =============================================================================== c | 910 | 1109 1582 291936 | 5000 910 462 | 2.463 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 15.6396 s Remaining CPU time: 164.36 s c =============================================================================== c | 985 | 1109 1583 292798 | 5000 985 447 | 2.463 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 15.7316 s Remaining CPU time: 164.268 s c =============================================================================== c | 995 | 1109 1584 293660 | 5000 995 447 | 2.463 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 15.8146 s Remaining CPU time: 164.185 s c =============================================================================== c | 998 | 1109 1585 294522 | 5000 998 446 | 2.463 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 15.8966 s Remaining CPU time: 164.103 s c =============================================================================== c | 998 | 1109 1586 295384 | 5000 998 446 | 2.463 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 15.9776 s Remaining CPU time: 164.022 s c =============================================================================== c | 999 | 1109 1587 296246 | 5000 999 446 | 2.463 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 16.0606 s Remaining CPU time: 163.939 s c =============================================================================== c | 999 | 1109 1588 297108 | 5000 999 446 | 2.463 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 16.1425 s Remaining CPU time: 163.857 s c =============================================================================== c | 1000 | 1109 1589 297970 | 5000 1000 445 | 2.463 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 16.2245 s Remaining CPU time: 163.775 s c =============================================================================== c | 1001 | 1109 1590 298832 | 5000 1001 445 | 2.463 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 16.3085 s Remaining CPU time: 163.691 s c =============================================================================== c | 1001 | 1109 1591 299694 | 5000 1001 445 | 2.463 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 16.3945 s Remaining CPU time: 163.605 s c =============================================================================== c | 1005 | 1109 1592 300556 | 5000 1005 444 | 2.463 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 16.4785 s Remaining CPU time: 163.522 s c =============================================================================== c | 1005 | 1109 1593 301418 | 5000 1005 444 | 2.463 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 16.5625 s Remaining CPU time: 163.438 s c =============================================================================== c | 1005 | 1109 1594 302280 | 5000 1005 444 | 2.463 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 16.6565 s Remaining CPU time: 163.344 s c =============================================================================== c | 1025 | 1109 1595 303142 | 5000 1025 445 | 2.463 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 16.7405 s Remaining CPU time: 163.26 s c =============================================================================== c | 1025 | 1109 1596 304004 | 5000 1025 445 | 2.463 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 16.8244 s Remaining CPU time: 163.176 s c =============================================================================== c | 1026 | 1109 1597 304866 | 5000 1026 445 | 2.463 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 16.9074 s Remaining CPU time: 163.093 s c =============================================================================== c | 1026 | 1109 1598 305728 | 5000 1026 445 | 2.463 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 17.0184 s Remaining CPU time: 162.982 s c =============================================================================== c | 1072 | 1109 1599 306590 | 5000 1072 444 | 2.463 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 17.1144 s Remaining CPU time: 162.886 s c =============================================================================== c | 1081 | 1109 1600 307452 | 5000 1081 443 | 2.463 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 17.1984 s Remaining CPU time: 162.802 s c =============================================================================== c | 1082 | 1109 1601 308314 | 5000 1082 443 | 2.463 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 17.2834 s Remaining CPU time: 162.717 s c =============================================================================== c | 1083 | 1109 1602 309176 | 5000 1083 442 | 2.463 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 17.3664 s Remaining CPU time: 162.634 s c =============================================================================== c | 1083 | 1109 1603 310038 | 5000 1083 442 | 2.463 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 17.4523 s Remaining CPU time: 162.548 s c =============================================================================== c | 1094 | 1109 1604 310900 | 5000 1094 438 | 2.463 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 17.5453 s Remaining CPU time: 162.455 s c =============================================================================== c | 1097 | 1109 1605 311762 | 5000 1097 438 | 2.463 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 17.6343 s Remaining CPU time: 162.366 s c =============================================================================== c | 1100 | 1109 1606 312624 | 5000 1100 438 | 2.463 % | c | 1200 | 1109 1606 312624 | 5500 1200 444 | 2.463 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 17.8533 s Remaining CPU time: 162.147 s c =============================================================================== c | 1200 | 1109 1607 313486 | 5000 1200 444 | 2.463 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 17.9393 s Remaining CPU time: 162.061 s c =============================================================================== c | 1200 | 1109 1608 314348 | 5000 1200 444 | 2.463 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 18.0293 s Remaining CPU time: 161.971 s c =============================================================================== c | 1219 | 1109 1609 315210 | 5000 1219 437 | 2.463 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 18.1182 s Remaining CPU time: 161.882 s c =============================================================================== c | 1224 | 1109 1610 316072 | 5000 1224 437 | 2.463 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 18.2062 s Remaining CPU time: 161.794 s c =============================================================================== c | 1227 | 1109 1611 316934 | 5000 1227 437 | 2.463 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 18.2922 s Remaining CPU time: 161.708 s c =============================================================================== c | 1227 | 1109 1612 317796 | 5000 1227 437 | 2.463 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 18.3802 s Remaining CPU time: 161.62 s c =============================================================================== c | 1231 | 1109 1613 318658 | 5000 1231 437 | 2.463 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 18.4712 s Remaining CPU time: 161.529 s c =============================================================================== c | 1239 | 1109 1614 319520 | 5000 1239 438 | 2.463 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 18.5782 s Remaining CPU time: 161.422 s c =============================================================================== c | 1270 | 1109 1615 320382 | 5000 1270 439 | 2.463 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 18.6652 s Remaining CPU time: 161.335 s c =============================================================================== c | 1273 | 1109 1616 321244 | 5000 1273 438 | 2.463 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 18.7531 s Remaining CPU time: 161.247 s c =============================================================================== c | 1274 | 1109 1617 322106 | 5000 1274 438 | 2.463 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 18.8401 s Remaining CPU time: 161.16 s c =============================================================================== c | 1275 | 1109 1618 322968 | 5000 1275 437 | 2.463 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 18.9281 s Remaining CPU time: 161.072 s c =============================================================================== c | 1279 | 1109 1619 323830 | 5000 1279 436 | 2.463 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 19.0201 s Remaining CPU time: 160.98 s c =============================================================================== c | 1286 | 1109 1620 324692 | 5000 1286 436 | 2.463 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 19.1111 s Remaining CPU time: 160.889 s c =============================================================================== c | 1297 | 1109 1621 325554 | 5000 1297 437 | 2.463 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 19.2201 s Remaining CPU time: 160.78 s c =============================================================================== c | 1321 | 1109 1622 326416 | 5000 1321 437 | 2.463 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 19.3091 s Remaining CPU time: 160.691 s c =============================================================================== c | 1321 | 1109 1623 327278 | 5000 1321 437 | 2.463 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 19.3961 s Remaining CPU time: 160.604 s c =============================================================================== c | 1321 | 1109 1624 328140 | 5000 1321 437 | 2.463 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 19.5 s Remaining CPU time: 160.5 s c =============================================================================== c | 1361 | 1109 1625 329002 | 5000 1361 438 | 2.463 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 19.589 s Remaining CPU time: 160.411 s c =============================================================================== c | 1363 | 1109 1626 329864 | 5000 1363 438 | 2.463 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 19.678 s Remaining CPU time: 160.322 s c =============================================================================== c | 1364 | 1109 1627 330726 | 5000 1364 437 | 2.463 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 19.782 s Remaining CPU time: 160.218 s c =============================================================================== c | 1399 | 1109 1628 331588 | 5000 1399 434 | 2.463 % | c | 1499 | 1109 1628 331588 | 5500 1499 437 | 2.463 % | c | 1649 | 1109 1628 331588 | 6050 1649 441 | 2.463 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 20.2309 s Remaining CPU time: 159.769 s c =============================================================================== c | 1660 | 1109 1629 332450 | 5000 1660 441 | 2.463 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 20.3209 s Remaining CPU time: 159.679 s c =============================================================================== c | 1663 | 1109 1630 333312 | 5000 1663 440 | 2.463 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 20.4099 s Remaining CPU time: 159.59 s c =============================================================================== c | 1665 | 1109 1631 334174 | 5000 1665 440 | 2.463 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 20.4989 s Remaining CPU time: 159.501 s c =============================================================================== c | 1667 | 1109 1632 335036 | 5000 1667 439 | 2.463 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 20.5879 s Remaining CPU time: 159.412 s c =============================================================================== c | 1669 | 1109 1633 335898 | 5000 1669 439 | 2.463 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 20.6819 s Remaining CPU time: 159.318 s c =============================================================================== c | 1676 | 1109 1634 336760 | 5000 1676 439 | 2.463 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 20.7708 s Remaining CPU time: 159.229 s c =============================================================================== c | 1678 | 1109 1635 337622 | 5000 1678 438 | 2.463 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 20.8828 s Remaining CPU time: 159.117 s c =============================================================================== c | 1708 | 1109 1636 338484 | 5000 1708 436 | 2.463 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 20.9728 s Remaining CPU time: 159.027 s c =============================================================================== c | 1713 | 1109 1637 339346 | 5000 1713 436 | 2.463 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 21.1158 s Remaining CPU time: 158.884 s c =============================================================================== c | 1771 | 1109 1638 340208 | 5000 1771 437 | 2.463 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 21.2128 s Remaining CPU time: 158.787 s c =============================================================================== c | 1781 | 1109 1639 341070 | 5000 1781 435 | 2.463 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 21.3048 s Remaining CPU time: 158.695 s c =============================================================================== c | 1783 | 1109 1640 341932 | 5000 1783 435 | 2.463 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 21.3957 s Remaining CPU time: 158.604 s c =============================================================================== c | 1784 | 1109 1641 342794 | 5000 1784 435 | 2.463 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 21.4857 s Remaining CPU time: 158.514 s c =============================================================================== c | 1785 | 1109 1642 343656 | 5000 1785 435 | 2.463 % | c | 1885 | 1109 1642 343656 | 5500 1885 437 | 2.463 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 21.7507 s Remaining CPU time: 158.249 s c =============================================================================== c | 1885 | 1109 1643 344518 | 5000 1885 437 | 2.463 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 21.8747 s Remaining CPU time: 158.125 s c =============================================================================== c | 1920 | 1109 1644 345380 | 5000 1920 437 | 2.463 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 21.9677 s Remaining CPU time: 158.032 s c =============================================================================== c | 1924 | 1109 1645 346242 | 5000 1924 437 | 2.463 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 22.0586 s Remaining CPU time: 157.941 s c =============================================================================== c | 1928 | 1109 1646 347104 | 5000 1928 437 | 2.463 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 22.1676 s Remaining CPU time: 157.832 s c =============================================================================== c | 1947 | 1109 1647 347966 | 5000 1947 436 | 2.463 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 22.2596 s Remaining CPU time: 157.74 s c =============================================================================== c | 1949 | 1109 1648 348828 | 5000 1949 436 | 2.463 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 22.3516 s Remaining CPU time: 157.648 s c =============================================================================== c | 1951 | 1109 1649 349690 | 5000 1951 436 | 2.463 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 22.4446 s Remaining CPU time: 157.555 s c =============================================================================== c | 1953 | 1109 1650 350552 | 5000 1953 436 | 2.463 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 22.5416 s Remaining CPU time: 157.458 s c =============================================================================== c | 1962 | 1109 1651 351414 | 5000 1962 436 | 2.463 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 22.6446 s Remaining CPU time: 157.355 s c =============================================================================== c | 1976 | 1109 1652 352276 | 5000 1976 436 | 2.463 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 22.7335 s Remaining CPU time: 157.266 s c =============================================================================== c | 1978 | 1109 1653 353138 | 5000 1978 436 | 2.463 % | c | 2078 | 1109 1653 353138 | 5500 2078 435 | 2.463 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 23.1395 s Remaining CPU time: 156.861 s c =============================================================================== c | 2193 | 1109 1654 354000 | 5000 2193 434 | 2.463 % | c | 2293 | 1109 1654 354000 | 5500 2293 435 | 2.463 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 23.5514 s Remaining CPU time: 156.449 s c =============================================================================== c | 2412 | 1109 1655 354862 | 5000 2412 434 | 2.463 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 23.6674 s Remaining CPU time: 156.333 s c =============================================================================== c | 2437 | 1109 1656 355724 | 5000 2437 434 | 2.463 % | c | 2539 | 1109 1656 355724 | 5500 2539 434 | 2.463 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 23.9514 s Remaining CPU time: 156.049 s c =============================================================================== c | 2557 | 1109 1657 356586 | 5000 2557 434 | 2.463 % | c | 2659 | 1109 1657 356586 | 5500 2659 435 | 2.463 % | c | 2810 | 1109 1657 356586 | 6050 2810 436 | 2.463 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 24.5753 s Remaining CPU time: 155.425 s c =============================================================================== c | 2878 | 1109 1658 357448 | 5000 2878 436 | 2.463 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 24.6772 s Remaining CPU time: 155.323 s c =============================================================================== c | 2887 | 1109 1659 358310 | 5000 2887 436 | 2.463 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 24.7732 s Remaining CPU time: 155.227 s c =============================================================================== c | 2893 | 1109 1660 359172 | 5000 2893 436 | 2.463 % | c | 2995 | 1109 1660 359172 | 5500 2995 436 | 2.463 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 25.1332 s Remaining CPU time: 154.867 s c =============================================================================== c | 3023 | 1109 1661 360034 | 5000 3023 436 | 2.463 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 25.2492 s Remaining CPU time: 154.751 s c =============================================================================== c | 3035 | 1109 1662 360896 | 5000 3035 435 | 2.463 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 25.3541 s Remaining CPU time: 154.646 s c =============================================================================== c | 3043 | 1109 1663 361758 | 5000 3043 435 | 2.463 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 25.4491 s Remaining CPU time: 154.551 s c =============================================================================== c | 3046 | 1109 1664 362620 | 5000 3046 435 | 2.463 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 25.5491 s Remaining CPU time: 154.451 s c =============================================================================== c | 3051 | 1109 1665 363482 | 5000 3051 435 | 2.463 % | c | 3151 | 1109 1665 363482 | 5500 3151 435 | 2.463 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 25.8241 s Remaining CPU time: 154.176 s c =============================================================================== c | 3159 | 1109 1666 364344 | 5000 3159 435 | 2.463 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 25.9301 s Remaining CPU time: 154.07 s c =============================================================================== c | 3166 | 1109 1667 365206 | 5000 3166 435 | 2.463 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 26.035 s Remaining CPU time: 153.965 s c =============================================================================== c | 3174 | 1109 1668 366068 | 5000 3174 435 | 2.463 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 26.131 s Remaining CPU time: 153.869 s c =============================================================================== c | 3178 | 1109 1669 366930 | 5000 3178 434 | 2.463 % | c | 3283 | 1109 1669 366930 | 5500 3283 435 | 2.463 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 26.448 s Remaining CPU time: 153.552 s c =============================================================================== c | 3316 | 1109 1670 367792 | 5000 3316 433 | 2.463 % | c | 3416 | 1109 1670 367792 | 5500 3416 434 | 2.463 % | c | 3567 | 1109 1670 367792 | 6050 3567 434 | 2.463 % | c | 3792 | 1109 1670 367792 | 6655 3792 434 | 2.463 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 27.4018 s Remaining CPU time: 152.598 s c =============================================================================== c | 3846 | 1109 1671 368654 | 5000 3846 434 | 2.463 % | c | 3947 | 1109 1671 368654 | 5500 3947 434 | 2.463 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 27.6908 s Remaining CPU time: 152.309 s c =============================================================================== c | 3978 | 1109 1672 369516 | 5000 3978 434 | 2.463 % | c | 4078 | 1109 1672 369516 | 5500 4078 434 | 2.463 % | c | 4229 | 1109 1672 369516 | 6050 4229 434 | 2.463 % | c | 4454 | 1109 1672 369516 | 6655 4454 434 | 2.463 % | c | 4793 | 1109 1672 369516 | 7320 4793 435 | 2.463 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 29.3575 s Remaining CPU time: 150.642 s c =============================================================================== c | 5012 | 1109 1673 370378 | 5000 5012 436 | 2.463 % | c | 5112 | 1109 1673 370378 | 5500 5112 436 | 2.463 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 29.6945 s Remaining CPU time: 150.306 s c =============================================================================== c | 5156 | 1109 1674 371240 | 5000 5156 435 | 2.463 % | c | 5259 | 1109 1674 371240 | 5500 2681 412 | 2.463 % | c | 5409 | 1109 1674 371240 | 6050 2831 413 | 2.463 % | c | 5634 | 1109 1674 371240 | 6655 3056 415 | 2.463 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 30.9103 s Remaining CPU time: 149.09 s c =============================================================================== c | 5932 | 1109 1675 372102 | 5000 3354 416 | 2.463 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 31.0493 s Remaining CPU time: 148.951 s c =============================================================================== c | 5984 | 1109 1676 372964 | 5000 3406 416 | 2.463 % | c | 6084 | 1109 1676 372964 | 5500 3506 417 | 2.463 % | c | 6235 | 1109 1676 372964 | 6050 3657 418 | 2.463 % | c | 6460 | 1109 1676 372964 | 6655 3882 419 | 2.463 % | c | 6798 | 1109 1676 372964 | 7320 4220 420 | 2.463 % | c | 7304 | 1109 1676 372964 | 8052 4726 423 | 2.463 % | c | 8063 | 1109 1676 372964 | 8857 5485 425 | 2.463 % | c | 9202 | 1109 1676 372964 | 9743 6624 427 | 2.463 % | c | 10910 | 1109 1676 372964 | 10717 8332 429 | 2.463 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 38.6211 s Remaining CPU time: 141.379 s c =============================================================================== c | 12242 | 1109 1677 373826 | 5000 9664 431 | 2.463 % | c | 12343 | 1109 1677 373826 | 5500 4933 424 | 2.463 % | c | 12493 | 1109 1677 373826 | 6050 5083 424 | 2.463 % | c | 12718 | 1109 1677 373826 | 6655 5308 424 | 2.463 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 39.8229 s Remaining CPU time: 140.177 s c =============================================================================== c | 12894 | 1109 1678 374688 | 5000 5484 424 | 2.463 % | c | 12994 | 1109 1678 374688 | 5500 2842 414 | 2.463 % | c | 13145 | 1109 1678 374688 | 6050 2993 416 | 2.463 % | c | 13371 | 1109 1678 374688 | 6655 3219 417 | 2.463 % | c | 13708 | 1109 1678 374688 | 7320 3556 418 | 2.463 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 41.5647 s Remaining CPU time: 138.435 s c =============================================================================== c | 13997 | 1109 1679 375550 | 5000 3845 419 | 2.463 % | c | 14097 | 1109 1679 375550 | 5500 3945 419 | 2.463 % | c | 14247 | 1109 1679 375550 | 6050 4095 420 | 2.463 % | c | 14472 | 1109 1679 375550 | 6655 4320 421 | 2.463 % | c | 14809 | 1109 1679 375550 | 7320 4657 422 | 2.463 % | c | 15315 | 1109 1679 375550 | 8052 5163 423 | 2.463 % | c | 16074 | 1109 1679 375550 | 8857 5922 424 | 2.463 % | c | 17213 | 1109 1679 375550 | 9743 7061 426 | 2.463 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 47.2128 s Remaining CPU time: 132.787 s c =============================================================================== c | 18572 | 1109 1680 376412 | 5000 8420 428 | 2.463 % | c | 18675 | 1109 1680 376412 | 5500 4313 420 | 2.463 % | c | 18825 | 1109 1680 376412 | 6050 4463 421 | 2.463 % | c | 19050 | 1109 1680 376412 | 6655 4688 421 | 2.463 % | c | 19387 | 1109 1680 376412 | 7320 5025 422 | 2.463 % | c | 19893 | 1109 1680 376412 | 8052 5531 423 | 2.463 % | c | 20652 | 1109 1680 376412 | 8857 6290 424 | 2.463 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 50.6993 s Remaining CPU time: 129.301 s c =============================================================================== c | 21486 | 1109 1681 377274 | 5000 7124 425 | 2.463 % | c | 21586 | 1109 1681 377274 | 5500 3662 420 | 2.463 % | c | 21736 | 1109 1681 377274 | 6050 3812 421 | 2.463 % | c | 21961 | 1109 1681 377274 | 6655 4037 421 | 2.463 % | c | 22298 | 1109 1681 377274 | 7320 4374 422 | 2.463 % | c | 22804 | 1109 1681 377274 | 8052 4880 423 | 2.463 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 53.2129 s Remaining CPU time: 126.787 s c =============================================================================== c | 23451 | 1109 1682 378136 | 5000 5527 424 | 2.463 % | c | 23551 | 1109 1682 378136 | 5500 2864 415 | 2.463 % | c | 23701 | 1109 1682 378136 | 6050 3014 415 | 2.463 % | c | 23928 | 1109 1682 378136 | 6655 3241 416 | 2.463 % | c | 24265 | 1109 1682 378136 | 7320 3578 417 | 2.463 % | c | 24771 | 1109 1682 378136 | 8052 4084 419 | 2.463 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 55.4346 s Remaining CPU time: 124.565 s c =============================================================================== c | 25173 | 1109 1683 378998 | 5000 4486 419 | 2.463 % | c | 25273 | 1109 1683 378998 | 5500 4586 419 | 2.463 % | c | 25423 | 1109 1683 378998 | 6050 4736 419 | 2.463 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 56.0465 s Remaining CPU time: 123.954 s c =============================================================================== c | 25451 | 1109 1684 379860 | 5000 4764 419 | 2.463 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 56.1925 s Remaining CPU time: 123.808 s c =============================================================================== c | 25475 | 1109 1685 380722 | 5000 4788 419 | 2.463 % | c | 25575 | 1109 1685 380722 | 5500 4888 419 | 2.463 % | c | 25725 | 1109 1685 380722 | 6050 5038 420 | 2.463 % | c | 25950 | 1109 1685 380722 | 6655 5263 420 | 2.463 % | c | 26288 | 1109 1685 380722 | 7320 5601 420 | 2.463 % | c | 26794 | 1109 1685 380722 | 8052 6107 421 | 2.463 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 58.4661 s Remaining CPU time: 121.534 s c =============================================================================== c | 26938 | 1109 1686 381584 | 5000 6251 421 | 2.463 % | c | 27039 | 1109 1686 381584 | 5500 3227 413 | 2.463 % | c | 27189 | 1109 1686 381584 | 6050 3377 413 | 2.463 % | c | 27414 | 1109 1686 381584 | 6655 3602 413 | 2.463 % | c | 27751 | 1109 1686 381584 | 7320 3939 414 | 2.463 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 60.0759 s Remaining CPU time: 119.924 s c =============================================================================== c | 27985 | 1109 1687 382446 | 5000 4173 415 | 2.463 % | c | 28085 | 1109 1687 382446 | 5500 4273 415 | 2.463 % | c | 28237 | 1109 1687 382446 | 6050 4425 415 | 2.463 % | c | 28464 | 1109 1687 382446 | 6655 4652 416 | 2.463 % | c | 28802 | 1109 1687 382446 | 7320 4990 416 | 2.463 % | c | 29309 | 1109 1687 382446 | 8052 5497 417 | 2.463 % | c | 30069 | 1109 1687 382446 | 8857 6257 418 | 2.463 % | c | 31209 | 1109 1687 382446 | 9743 7397 420 | 2.463 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 64.2142 s Remaining CPU time: 115.786 s c =============================================================================== c | 31452 | 1109 1688 383308 | 5000 7640 420 | 2.463 % | c | 31552 | 1109 1688 383308 | 5500 3920 413 | 2.463 % | c | 31702 | 1109 1688 383308 | 6050 4070 414 | 2.463 % | c | 31927 | 1109 1688 383308 | 6655 4295 414 | 2.463 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 65.1991 s Remaining CPU time: 114.801 s c =============================================================================== c | 32124 | 1109 1689 384170 | 5000 4492 415 | 2.463 % | c | 32224 | 1109 1689 384170 | 5500 4592 415 | 2.463 % | c | 32374 | 1109 1689 384170 | 6050 4742 415 | 2.463 % | c | 32599 | 1109 1689 384170 | 6655 4967 416 | 2.463 % | c | 32937 | 1109 1689 384170 | 7320 5305 416 | 2.463 % | c | 33443 | 1109 1689 384170 | 8052 5811 417 | 2.463 % | c | 34202 | 1109 1689 384170 | 8857 6570 418 | 2.463 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 68.2556 s Remaining CPU time: 111.744 s c =============================================================================== c | 34462 | 1109 1690 385032 | 5000 6830 418 | 2.463 % | c | 34562 | 1109 1690 385032 | 5500 3515 412 | 2.463 % | c | 34714 | 1109 1690 385032 | 6050 3667 412 | 2.463 % | c | 34939 | 1109 1690 385032 | 6655 3892 413 | 2.463 % | c | 35276 | 1109 1690 385032 | 7320 4229 414 | 2.463 % | c | 35782 | 1109 1690 385032 | 8052 4735 415 | 2.463 % | c | 36544 | 1109 1690 385032 | 8857 5497 416 | 2.463 % | c | 37683 | 1109 1690 385032 | 9743 6636 418 | 2.463 % | c | 39391 | 1109 1690 385032 | 10717 8344 419 | 2.463 % | c | 41954 | 1109 1690 385032 | 11789 10907 420 | 2.463 % | c | 45798 | 1109 1690 385032 | 12968 8606 419 | 2.463 % | c | 51565 | 1109 1690 385032 | 14265 7647 420 | 2.463 % | c | 60214 | 1109 1690 385032 | 15692 8923 421 | 2.463 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 109.272 s Remaining CPU time: 70.7276 s c =============================================================================== c | 69173 | 1109 1691 385894 | 5000 9797 421 | 2.463 % | c | 69273 | 1109 1691 385894 | 5500 4999 419 | 2.463 % | c | 69425 | 1109 1691 385894 | 6050 5151 419 | 2.463 % | c | 69650 | 1109 1691 385894 | 6655 5376 419 | 2.463 % | c | 69987 | 1109 1691 385894 | 7320 5713 419 | 2.463 % | c | 70493 | 1109 1691 385894 | 8052 6219 419 | 2.463 % | c | 71253 | 1109 1691 385894 | 8857 6979 419 | 2.463 % | c | 72392 | 1109 1691 385894 | 9743 8118 420 | 2.463 % | c | 74100 | 1109 1691 385894 | 10717 9826 421 | 2.463 % | c | 76662 | 1109 1691 385894 | 11789 6791 417 | 2.463 % | c | 80506 | 1109 1691 385894 | 12968 10635 419 | 2.463 % | c | 86272 | 1109 1691 385894 | 14265 9680 418 | 2.463 % | c | 94921 | 1109 1691 385894 | 15692 10948 420 | 2.463 % | c | 107895 | 1109 1691 385894 | 17261 15830 422 | 2.463 % | 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 | 313 2561 5067 | 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 | 420 2562 5230 | 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 | 656 2565 5592 | 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 | 755 2567 5769 | 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 | 970 2571 6114 | 5000 0 nan | 0.000 % | c | 100 | 970 2571 6114 | 5500 100 41 | 36.100 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1460 2581 98315 | 5000 0 nan | 0.000 % | c | 101 | 1460 2581 98315 | 5500 101 53 | 20.219 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1823 2587 182573 | 5000 0 nan | 0.000 % | c | 100 | 1823 2587 182573 | 5500 100 52 | 13.025 % | c | 250 | 1823 2587 182573 | 6050 250 31 | 13.025 % | c | 475 | 1823 2587 182573 | 6655 475 24 | 13.025 % | c | 814 | 1823 2587 182573 | 7320 814 20 | 13.025 % | c | 1320 | 1821 2587 182573 | 8052 1099 18 | 13.120 % | c | 2079 | 1821 2587 182573 | 8857 1858 19 | 13.120 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2571 2614 310714 | 5000 0 nan | 0.000 % | c | 100 | 2571 2614 310714 | 5500 100 29 | 4.672 % | c | 250 | 2571 2614 310714 | 6050 250 25 | 4.672 % | c | 475 | 2571 2614 310714 | 6655 475 24 | 4.672 % | c | 812 | 2571 2614 310714 | 7320 812 22 | 4.672 % | c | 1319 | 2571 2614 310714 | 8052 1319 20 | 4.672 % | c | 2078 | 2571 2614 310714 | 8857 2078 19 | 4.672 % | c | 3217 | 2569 2614 310714 | 9743 2467 18 | 4.746 % | c | 4925 | 2568 2614 310714 | 10717 4175 21 | 4.820 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3133 2651 381687 | 5000 0 nan | 0.000 % | c | 100 | 3133 2651 381687 | 5500 100 41 | 1.416 % | c | 250 | 3133 2651 381687 | 6050 250 32 | 1.416 % | c | 475 | 3133 2651 381687 | 6655 475 27 | 1.416 % | c | 812 | 3133 2651 381687 | 7320 812 24 | 1.416 % | c | 1318 | 3133 2651 381687 | 8052 1318 24 | 1.416 % | c | 2077 | 3133 2651 381687 | 8857 2077 24 | 1.416 % | c | 3223 | 3133 2651 381687 | 9743 3223 27 | 1.416 % | c | 4931 | 3133 2651 381687 | 10717 4931 28 | 1.416 % | c | 7493 | 3133 2651 381687 | 11789 7493 25 | 1.416 % | c | 11338 | 3133 2651 381687 | 12968 11338 26 | 1.416 % | c | 17104 | 3133 2651 381687 | 14265 10570 26 | 1.416 % | c | 25755 | 3133 2651 381687 | 15692 12046 26 | 1.416 % | c | 38729 | 3133 2651 381687 | 17261 9221 24 | 1.416 % | c | 58192 | 3133 2651 381687 | 18987 11309 24 | 1.416 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3912 2703 393728 | 5000 0 nan | 0.000 % | c | 100 | 3912 2703 393728 | 5500 100 37 | 0.761 % | c | 254 | 3912 2703 393728 | 6050 254 44 | 0.761 % | c | 481 | 3912 2703 393728 | 6655 481 39 | 0.761 % | c | 819 | 3912 2703 393728 | 7320 819 38 | 0.761 % | c | 1326 | 3912 2703 393728 | 8052 1326 35 | 0.761 % | c | 2086 | 3912 2703 393728 | 8857 2086 35 | 0.761 % | c | 3226 | 3912 2703 393728 | 9743 3226 34 | 0.761 % | c | 4935 | 3912 2703 393728 | 10717 4935 40 | 0.761 % | c | 7499 | 3912 2703 393728 | 11789 7499 45 | 0.761 % | c | 11343 | 3912 2703 393728 | 12968 11343 43 | 0.761 % | c | 17110 | 3912 2703 393728 | 14265 10253 44 | 0.761 % | c | 25759 | 3912 2703 393728 | 15692 11671 42 | 0.761 % | c | 38733 | 3912 2703 393728 | 17261 8729 39 | 0.761 % | c | 58197 | 3912 2703 393728 | 18987 10640 51 | 0.761 % | c | 87390 | 3912 2703 393728 | 20886 11064 34 | 0.761 % | c | 131179 | 3912 2703 393728 | 22974 12581 51 | 0.761 % | c | 196864 | 3912 2703 393728 | 25272 19760 78 | 0.761 % | c | 295390 | 3910 2703 393728 | 27799 16974 53 | 0.812 % | c | 443187 | 3910 2703 393728 | 30579 27673 66 | 0.812 % |