c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1299 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1108 | c | Number Clauses: 1192 | 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 | 1080 1220 4252 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1080 1221 5155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 1 | 1080 1222 6058 | 5000 1 840 | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 1080 1223 6961 | 5000 1 840 | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 1080 1224 7864 | 5000 1 840 | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 1080 1225 8767 | 5000 1 840 | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 1080 1226 9670 | 5000 1 840 | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 1080 1227 10573 | 5000 1 840 | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 1080 1228 11476 | 5000 1 840 | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 2 | 1080 1229 12379 | 5000 2 837 | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 2 | 1080 1230 13282 | 5000 2 837 | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 2 | 1080 1231 14185 | 5000 2 837 | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 2 | 1080 1232 15088 | 5000 2 837 | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 2 | 1080 1233 15991 | 5000 2 837 | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 2 | 1080 1234 16894 | 5000 2 837 | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 3 | 1080 1235 17797 | 5000 3 833 | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 3 | 1080 1236 18700 | 5000 3 833 | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 3 | 1080 1237 19603 | 5000 3 833 | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 5 | 1080 1238 20506 | 5000 5 665 | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 5 | 1080 1239 21409 | 5000 5 665 | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 5 | 1080 1240 22312 | 5000 5 665 | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 5 | 1080 1241 23215 | 5000 5 665 | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 6 | 1080 1242 24118 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 6 | 1080 1243 25021 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 6 | 1080 1244 25924 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 6 | 1080 1245 26827 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 6 | 1080 1246 27730 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 6 | 1080 1247 28633 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 6 | 1080 1248 29536 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 6 | 1080 1249 30439 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 6 | 1080 1250 31342 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 6 | 1080 1251 32245 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 6 | 1080 1252 33148 | 5000 6 691 | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 7 | 1080 1253 34051 | 5000 7 708 | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 7 | 1080 1254 34954 | 5000 7 708 | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 8 | 1080 1255 35857 | 5000 8 720 | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 8 | 1080 1256 36760 | 5000 8 720 | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 8 | 1080 1257 37663 | 5000 8 720 | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 8 | 1080 1258 38566 | 5000 8 720 | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 8 | 1080 1259 39469 | 5000 8 720 | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 8 | 1080 1260 40372 | 5000 8 720 | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 9 | 1080 1261 41275 | 5000 9 730 | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 9 | 1080 1262 42178 | 5000 9 730 | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 12 | 1080 1263 43081 | 5000 12 747 | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 12 | 1080 1264 43984 | 5000 12 747 | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 12 | 1080 1265 44887 | 5000 12 747 | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 12 | 1080 1266 45790 | 5000 12 747 | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 13 | 1080 1267 46693 | 5000 13 751 | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 13 | 1080 1268 47596 | 5000 13 751 | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 13 | 1080 1269 48499 | 5000 13 751 | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 13 | 1080 1270 49402 | 5000 13 751 | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 13 | 1080 1271 50305 | 5000 13 751 | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 13 | 1080 1272 51208 | 5000 13 751 | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 14 | 1080 1273 52111 | 5000 14 753 | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 18 | 1080 1274 53014 | 5000 18 761 | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 18 | 1080 1275 53917 | 5000 18 761 | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 20 | 1080 1276 54820 | 5000 20 764 | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 20 | 1080 1277 55723 | 5000 20 764 | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 31 | 1080 1278 56626 | 5000 31 772 | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 36 | 1080 1279 57529 | 5000 36 774 | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 43 | 1080 1280 58432 | 5000 43 757 | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 48 | 1080 1281 59335 | 5000 48 760 | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 53 | 1080 1282 60238 | 5000 53 762 | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 55 | 1080 1283 61141 | 5000 55 763 | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 59 | 1080 1284 62044 | 5000 59 764 | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 62 | 1080 1285 62947 | 5000 62 765 | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 64 | 1080 1286 63850 | 5000 64 765 | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 66 | 1080 1287 64753 | 5000 66 765 | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 80 | 1080 1288 65656 | 5000 80 758 | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 85 | 1080 1289 66559 | 5000 85 759 | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 96 | 1080 1290 67462 | 5000 96 761 | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 100 | 1080 1291 68365 | 5000 100 761 | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 105 | 1080 1292 69268 | 5000 105 762 | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 110 | 1080 1293 70171 | 5000 110 762 | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 114 | 1080 1294 71074 | 5000 114 762 | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 118 | 1080 1295 71977 | 5000 118 763 | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 122 | 1080 1296 72880 | 5000 122 763 | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 126 | 1080 1297 73783 | 5000 126 763 | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 130 | 1080 1298 74686 | 5000 130 763 | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 135 | 1080 1299 75589 | 5000 135 763 | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 138 | 1080 1300 76492 | 5000 138 763 | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 143 | 1080 1301 77395 | 5000 143 763 | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 149 | 1080 1302 78298 | 5000 149 763 | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 164 | 1080 1303 79201 | 5000 164 763 | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 170 | 1080 1304 80104 | 5000 170 763 | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 183 | 1080 1305 81007 | 5000 183 762 | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 187 | 1080 1306 81910 | 5000 187 762 | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 192 | 1080 1307 82813 | 5000 192 762 | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 196 | 1080 1308 83716 | 5000 196 762 | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 201 | 1080 1309 84619 | 5000 201 762 | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 208 | 1080 1310 85522 | 5000 208 762 | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 227 | 1080 1311 86425 | 5000 227 761 | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 242 | 1080 1312 87328 | 5000 242 760 | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 244 | 1080 1313 88231 | 5000 244 760 | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 270 | 1080 1314 89134 | 5000 270 759 | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s c =============================================================================== c | 287 | 1080 1315 90037 | 5000 287 759 | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 1.17582 s Remaining CPU time: 178.824 s c =============================================================================== c | 303 | 1080 1316 90940 | 5000 303 758 | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 333 | 1080 1317 91843 | 5000 333 757 | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 345 | 1080 1318 92746 | 5000 345 757 | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 1.2958 s Remaining CPU time: 178.704 s c =============================================================================== c | 376 | 1080 1319 93649 | 5000 376 756 | 0.000 % | c | 477 | 1080 1319 93649 | 5500 477 753 | 2.528 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 1.40379 s Remaining CPU time: 178.596 s c =============================================================================== c | 484 | 1080 1320 94552 | 5000 484 753 | 2.528 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 514 | 1080 1321 95455 | 5000 514 753 | 2.528 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 1.49177 s Remaining CPU time: 178.508 s c =============================================================================== c | 540 | 1080 1322 96358 | 5000 540 752 | 2.528 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 1.52677 s Remaining CPU time: 178.473 s c =============================================================================== c | 552 | 1080 1323 97261 | 5000 552 752 | 2.528 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 569 | 1080 1324 98164 | 5000 569 752 | 2.528 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 1.60376 s Remaining CPU time: 178.396 s c =============================================================================== c | 589 | 1080 1325 99067 | 5000 589 751 | 2.528 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 1.63975 s Remaining CPU time: 178.36 s c =============================================================================== c | 604 | 1080 1326 99970 | 5000 604 751 | 2.528 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 1.68074 s Remaining CPU time: 178.319 s c =============================================================================== c | 631 | 1080 1327 100873 | 5000 631 750 | 2.528 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 1.71574 s Remaining CPU time: 178.284 s c =============================================================================== c | 646 | 1080 1328 101776 | 5000 646 750 | 2.528 % | c | 746 | 1080 1328 101776 | 5500 746 748 | 2.528 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 796 | 1080 1329 102679 | 5000 796 747 | 2.528 % | c | 897 | 1080 1329 102679 | 5500 897 746 | 2.527 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s c =============================================================================== c | 928 | 1080 1330 103582 | 5000 928 746 | 2.527 % | c | 1028 | 1080 1330 103582 | 5500 1028 745 | 2.527 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 2.17267 s Remaining CPU time: 177.827 s c =============================================================================== c | 1091 | 1080 1331 104485 | 5000 1091 744 | 2.527 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 1159 | 1080 1332 105388 | 5000 1159 743 | 2.527 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 2.30965 s Remaining CPU time: 177.69 s c =============================================================================== c | 1196 | 1080 1333 106291 | 5000 1196 743 | 2.527 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 2.39164 s Remaining CPU time: 177.608 s c =============================================================================== c | 1268 | 1080 1334 107194 | 5000 1268 742 | 2.527 % | c | 1368 | 1080 1334 107194 | 5500 1368 741 | 2.527 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 2.53461 s Remaining CPU time: 177.465 s c =============================================================================== c | 1436 | 1080 1335 108097 | 5000 1436 741 | 2.527 % | c | 1541 | 1080 1335 108097 | 5500 1541 740 | 2.527 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 2.74658 s Remaining CPU time: 177.253 s c =============================================================================== c | 1658 | 1080 1336 109000 | 5000 1658 739 | 2.527 % | c | 1758 | 1080 1336 109000 | 5500 1758 738 | 2.527 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 2.96955 s Remaining CPU time: 177.03 s c =============================================================================== c | 1890 | 1080 1337 109903 | 5000 1890 738 | 2.527 % | c | 1991 | 1080 1337 109903 | 5500 1991 737 | 2.527 % | c | 2141 | 1080 1337 109903 | 6050 2141 736 | 2.527 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s c =============================================================================== c | 2311 | 1080 1338 110806 | 5000 2311 736 | 2.527 % | c | 2413 | 1080 1338 110806 | 5500 2413 735 | 2.527 % | c | 2563 | 1080 1338 110806 | 6050 2563 735 | 2.527 % | c | 2789 | 1080 1338 110806 | 6655 2789 734 | 2.527 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 3.9554 s Remaining CPU time: 176.045 s c =============================================================================== c | 2879 | 1080 1339 111709 | 5000 2879 734 | 2.527 % | c | 2979 | 1080 1339 111709 | 5500 2979 734 | 2.527 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 4.10938 s Remaining CPU time: 175.891 s c =============================================================================== c | 3040 | 1080 1340 112612 | 5000 3040 733 | 2.527 % | c | 3141 | 1080 1340 112612 | 5500 3141 733 | 2.527 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 4.33934 s Remaining CPU time: 175.661 s c =============================================================================== c | 3279 | 1080 1341 113515 | 5000 3279 733 | 2.527 % | c | 3379 | 1080 1341 113515 | 5500 3379 732 | 2.527 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 4.53831 s Remaining CPU time: 175.462 s c =============================================================================== c | 3468 | 1080 1342 114418 | 5000 3468 732 | 2.527 % | c | 3568 | 1080 1342 114418 | 5500 3568 732 | 2.527 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 4.74228 s Remaining CPU time: 175.258 s c =============================================================================== c | 3669 | 1080 1343 115321 | 5000 3669 731 | 2.527 % | c | 3769 | 1080 1343 115321 | 5500 3769 731 | 2.527 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 4.92025 s Remaining CPU time: 175.08 s c =============================================================================== c | 3806 | 1080 1344 116224 | 5000 3806 731 | 2.527 % | c | 3906 | 1080 1344 116224 | 5500 3906 731 | 2.527 % | c | 4057 | 1080 1344 116224 | 6050 4057 730 | 2.527 % | c | 4282 | 1080 1344 116224 | 6655 4282 730 | 2.527 % | c | 4619 | 1080 1344 116224 | 7320 4619 729 | 2.527 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 6.02008 s Remaining CPU time: 173.98 s c =============================================================================== c | 4919 | 1080 1345 117127 | 5000 4919 729 | 2.527 % | c | 5019 | 1080 1345 117127 | 5500 5019 728 | 2.527 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 6.22605 s Remaining CPU time: 173.774 s c =============================================================================== c | 5090 | 1080 1346 118030 | 5000 5090 728 | 2.527 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 6.28804 s Remaining CPU time: 173.712 s c =============================================================================== c | 5104 | 1080 1347 118933 | 5000 2559 721 | 2.527 % | c | 5204 | 1080 1347 118933 | 5500 2659 721 | 2.527 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 6.52801 s Remaining CPU time: 173.472 s c =============================================================================== c | 5340 | 1080 1348 119836 | 5000 2795 720 | 2.527 % | c | 5440 | 1080 1348 119836 | 5500 2895 720 | 2.527 % | c | 5590 | 1080 1348 119836 | 6050 3045 720 | 2.527 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 6.99993 s Remaining CPU time: 173 s c =============================================================================== c | 5784 | 1080 1349 120739 | 5000 3239 720 | 2.527 % | c | 5885 | 1080 1349 120739 | 5500 3340 720 | 2.527 % | c | 6035 | 1080 1349 120739 | 6050 3490 719 | 2.527 % | c | 6260 | 1080 1349 120739 | 6655 3715 719 | 2.527 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 7.70083 s Remaining CPU time: 172.299 s c =============================================================================== c | 6521 | 1080 1350 121642 | 5000 3976 719 | 2.527 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 7.76382 s Remaining CPU time: 172.236 s c =============================================================================== c | 6552 | 1080 1351 122545 | 5000 4007 719 | 2.527 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 7.8858 s Remaining CPU time: 172.114 s c =============================================================================== c | 6649 | 1080 1352 123448 | 5000 4104 719 | 2.527 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 7.95479 s Remaining CPU time: 172.045 s c =============================================================================== c | 6697 | 1080 1353 124351 | 5000 4152 718 | 2.527 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 8.00478 s Remaining CPU time: 171.995 s c =============================================================================== c | 6713 | 1080 1354 125254 | 5000 4168 718 | 2.527 % | c | 6813 | 1080 1354 125254 | 5500 4268 718 | 2.527 % | c | 6963 | 1080 1354 125254 | 6050 4418 718 | 2.527 % | c | 7188 | 1080 1354 125254 | 6655 4643 718 | 2.527 % | c | 7527 | 1080 1354 125254 | 7320 4982 717 | 2.527 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 9.2296 s Remaining CPU time: 170.77 s c =============================================================================== c | 7930 | 1080 1355 126157 | 5000 5385 716 | 2.527 % | c | 8032 | 1080 1355 126157 | 5500 2795 712 | 2.527 % | c | 8183 | 1080 1355 126157 | 6050 2946 712 | 2.527 % | c | 8408 | 1080 1355 126157 | 6655 3171 711 | 2.527 % | c | 8745 | 1080 1355 126157 | 7320 3508 711 | 2.527 % | c | 9251 | 1080 1355 126157 | 8052 4014 711 | 2.527 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 10.8683 s Remaining CPU time: 169.132 s c =============================================================================== c | 9463 | 1080 1356 127060 | 5000 4226 711 | 2.527 % | c | 9563 | 1080 1356 127060 | 5500 4326 711 | 2.527 % | c | 9713 | 1080 1356 127060 | 6050 4476 711 | 2.527 % | c | 9938 | 1080 1356 127060 | 6655 4701 710 | 2.527 % | c | 10275 | 1080 1356 127060 | 7320 5038 710 | 2.527 % | c | 10782 | 1080 1356 127060 | 8052 5545 710 | 2.527 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 12.7931 s Remaining CPU time: 167.207 s c =============================================================================== c | 11266 | 1080 1357 127963 | 5000 6029 710 | 2.527 % | c | 11366 | 1080 1357 127963 | 5500 3115 708 | 2.527 % | c | 11517 | 1080 1357 127963 | 6050 3266 708 | 2.527 % | c | 11742 | 1080 1357 127963 | 6655 3491 708 | 2.527 % | c | 12079 | 1080 1357 127963 | 7320 3828 708 | 2.527 % | c | 12585 | 1080 1357 127963 | 8052 4334 708 | 2.527 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 14.4798 s Remaining CPU time: 165.52 s c =============================================================================== c | 12637 | 1080 1358 128866 | 5000 4386 708 | 2.527 % | c | 12738 | 1080 1358 128866 | 5500 4487 708 | 2.527 % | c | 12888 | 1080 1358 128866 | 6050 4637 707 | 2.527 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 14.9947 s Remaining CPU time: 165.005 s c =============================================================================== c | 13023 | 1080 1359 129769 | 5000 4772 707 | 2.527 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 15.0787 s Remaining CPU time: 164.921 s c =============================================================================== c | 13064 | 1080 1360 130672 | 5000 4813 707 | 2.527 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 15.2037 s Remaining CPU time: 164.796 s c =============================================================================== c | 13160 | 1080 1361 131575 | 5000 4909 707 | 2.527 % | c | 13260 | 1080 1361 131575 | 5500 5009 707 | 2.527 % | c | 13410 | 1080 1361 131575 | 6050 5159 707 | 2.527 % | c | 13635 | 1080 1361 131575 | 6655 5384 707 | 2.527 % | c | 13972 | 1080 1361 131575 | 7320 5721 706 | 2.527 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 16.0806 s Remaining CPU time: 163.919 s c =============================================================================== c | 14047 | 1080 1362 132478 | 5000 5796 706 | 2.527 % | c | 14147 | 1080 1362 132478 | 5500 2998 704 | 2.527 % | c | 14297 | 1080 1362 132478 | 6050 3148 703 | 2.527 % | c | 14522 | 1080 1362 132478 | 6655 3373 703 | 2.527 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 16.7675 s Remaining CPU time: 163.233 s c =============================================================================== c | 14706 | 1080 1363 133381 | 5000 3557 703 | 2.527 % | c | 14807 | 1080 1363 133381 | 5500 3658 703 | 2.527 % | c | 14957 | 1080 1363 133381 | 6050 3808 703 | 2.527 % | c | 15184 | 1080 1363 133381 | 6655 4035 703 | 2.527 % | c | 15521 | 1080 1363 133381 | 7320 4372 702 | 2.527 % | c | 16027 | 1080 1363 133381 | 8052 4878 702 | 2.527 % | c | 16786 | 1080 1363 133381 | 8857 5637 702 | 2.527 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 18.9561 s Remaining CPU time: 161.044 s c =============================================================================== c | 17082 | 1080 1364 134284 | 5000 5933 701 | 2.527 % | c | 17184 | 1080 1364 134284 | 5500 3069 698 | 2.527 % | c | 17335 | 1080 1364 134284 | 6050 3220 698 | 2.527 % | c | 17560 | 1080 1364 134284 | 6655 3445 698 | 2.527 % | c | 17897 | 1080 1364 134284 | 7320 3782 698 | 2.527 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 19.944 s Remaining CPU time: 160.056 s c =============================================================================== c | 18197 | 1080 1365 135187 | 5000 4082 698 | 2.527 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 20.036 s Remaining CPU time: 159.964 s c =============================================================================== c | 18254 | 1080 1366 136090 | 5000 4139 698 | 2.527 % | c | 18354 | 1080 1366 136090 | 5500 4239 698 | 2.527 % | c | 18504 | 1080 1366 136090 | 6050 4389 698 | 2.527 % | c | 18731 | 1080 1366 136090 | 6655 4616 698 | 2.527 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 20.6619 s Remaining CPU time: 159.338 s c =============================================================================== c | 18835 | 1080 1367 136993 | 5000 4720 698 | 2.527 % | c | 18936 | 1080 1367 136993 | 5500 4821 698 | 2.527 % | c | 19086 | 1080 1367 136993 | 6050 4971 697 | 2.527 % | c | 19311 | 1080 1367 136993 | 6655 5196 697 | 2.527 % | c | 19648 | 1080 1367 136993 | 7320 5533 697 | 2.527 % | c | 20154 | 1080 1367 136993 | 8052 6039 697 | 2.527 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 22.0856 s Remaining CPU time: 157.914 s c =============================================================================== c | 20444 | 1080 1368 137896 | 5000 6329 697 | 2.527 % | c | 20544 | 1080 1368 137896 | 5500 3265 695 | 2.527 % | c | 20694 | 1080 1368 137896 | 6050 3415 695 | 2.527 % | c | 20919 | 1080 1368 137896 | 6655 3640 695 | 2.527 % | c | 21256 | 1080 1368 137896 | 7320 3977 695 | 2.527 % | c | 21762 | 1080 1368 137896 | 8052 4483 694 | 2.527 % | c | 22521 | 1080 1368 137896 | 8857 5242 694 | 2.527 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 24.7152 s Remaining CPU time: 155.285 s c =============================================================================== c | 23311 | 1080 1369 138799 | 5000 6032 694 | 2.527 % | c | 23411 | 1080 1369 138799 | 5500 3116 692 | 2.527 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 24.9712 s Remaining CPU time: 155.029 s c =============================================================================== c | 23525 | 1080 1370 139702 | 5000 3230 692 | 2.527 % | c | 23625 | 1080 1370 139702 | 5500 3330 692 | 2.527 % | c | 23775 | 1080 1370 139702 | 6050 3480 692 | 2.527 % | c | 24000 | 1080 1370 139702 | 6655 3705 692 | 2.527 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 25.6691 s Remaining CPU time: 154.331 s c =============================================================================== c | 24189 | 1080 1371 140605 | 5000 3894 692 | 2.527 % | c | 24290 | 1080 1371 140605 | 5500 3995 692 | 2.527 % | c | 24440 | 1080 1371 140605 | 6050 4145 692 | 2.527 % | c | 24665 | 1080 1371 140605 | 6655 4370 692 | 2.527 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 26.537 s Remaining CPU time: 153.463 s c =============================================================================== c | 24887 | 1080 1372 141508 | 5000 4592 692 | 2.527 % | c | 24988 | 1080 1372 141508 | 5500 4693 692 | 2.527 % | c | 25138 | 1080 1372 141508 | 6050 4843 692 | 2.527 % | c | 25363 | 1080 1372 141508 | 6655 5068 692 | 2.527 % | c | 25700 | 1080 1372 141508 | 7320 5405 692 | 2.528 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 27.6578 s Remaining CPU time: 152.342 s c =============================================================================== c | 25783 | 1080 1373 142411 | 5000 5488 692 | 2.528 % | c | 25883 | 1080 1373 142411 | 5500 2844 690 | 2.527 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 27.8948 s Remaining CPU time: 152.105 s c =============================================================================== c | 25918 | 1080 1374 143314 | 5000 2879 690 | 2.527 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 27.9617 s Remaining CPU time: 152.038 s c =============================================================================== c | 25940 | 1080 1375 144217 | 5000 2901 690 | 2.527 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 28.0387 s Remaining CPU time: 151.961 s c =============================================================================== c | 25963 | 1080 1376 145120 | 5000 2924 690 | 2.527 % | c | 26064 | 1080 1376 145120 | 5500 3025 690 | 2.527 % | c | 26215 | 1080 1376 145120 | 6050 3176 690 | 2.527 % | c | 26440 | 1080 1376 145120 | 6655 3401 689 | 2.527 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 28.8306 s Remaining CPU time: 151.169 s c =============================================================================== c | 26556 | 1080 1377 146023 | 5000 3517 689 | 2.527 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 28.9296 s Remaining CPU time: 151.07 s c =============================================================================== c | 26622 | 1080 1378 146926 | 5000 3583 689 | 2.527 % | c | 26723 | 1080 1378 146926 | 5500 3684 689 | 2.528 % | c | 26873 | 1080 1378 146926 | 6050 3834 689 | 2.528 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 29.3745 s Remaining CPU time: 150.625 s c =============================================================================== c | 26899 | 1080 1379 147829 | 5000 3860 689 | 2.528 % | c | 26999 | 1080 1379 147829 | 5500 3960 688 | 2.528 % | c | 27149 | 1080 1379 147829 | 6050 4110 688 | 2.528 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 29.8375 s Remaining CPU time: 150.163 s c =============================================================================== c | 27278 | 1080 1380 148732 | 5000 4239 688 | 2.528 % | c | 27378 | 1080 1380 148732 | 5500 4339 688 | 2.527 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 30.0834 s Remaining CPU time: 149.917 s c =============================================================================== c | 27434 | 1080 1381 149635 | 5000 4395 688 | 2.527 % | c | 27535 | 1080 1381 149635 | 5500 4496 688 | 2.527 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 30.3794 s Remaining CPU time: 149.621 s c =============================================================================== c | 27615 | 1080 1382 150538 | 5000 4576 688 | 2.527 % | c | 27716 | 1080 1382 150538 | 5500 4677 687 | 2.527 % | c | 27866 | 1080 1382 150538 | 6050 4827 687 | 2.527 % | c | 28091 | 1080 1382 150538 | 6655 5052 687 | 2.527 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 31.3162 s Remaining CPU time: 148.684 s c =============================================================================== c | 28352 | 1080 1383 151441 | 5000 5313 686 | 2.527 % | c | 28453 | 1080 1383 151441 | 5500 2758 682 | 2.527 % | c | 28604 | 1080 1383 151441 | 6050 2909 682 | 2.527 % | c | 28830 | 1080 1383 151441 | 6655 3135 682 | 2.527 % | c | 29167 | 1080 1383 151441 | 7320 3472 681 | 2.527 % | c | 29675 | 1080 1383 151441 | 8052 3980 681 | 2.527 % | c | 30434 | 1080 1383 151441 | 8857 4739 681 | 2.527 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 34.1578 s Remaining CPU time: 145.842 s c =============================================================================== c | 30891 | 1080 1384 152344 | 5000 5196 680 | 2.527 % | c | 30992 | 1080 1384 152344 | 5500 2699 677 | 2.527 % | c | 31142 | 1080 1384 152344 | 6050 2849 677 | 2.527 % | c | 31372 | 1080 1384 152344 | 6655 3079 677 | 2.527 % | c | 31709 | 1080 1384 152344 | 7320 3416 677 | 2.527 % | c | 32216 | 1080 1384 152344 | 8052 3923 677 | 2.527 % | c | 32975 | 1080 1384 152344 | 8857 4682 678 | 2.527 % | c | 34114 | 1080 1384 152344 | 9743 5821 678 | 2.527 % | c | 35822 | 1080 1384 152344 | 10717 7529 677 | 2.528 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 41.8936 s Remaining CPU time: 138.106 s c =============================================================================== c | 37676 | 1080 1385 153247 | 5000 9383 678 | 2.528 % | c | 37776 | 1080 1385 153247 | 5500 4792 677 | 2.527 % | c | 37928 | 1080 1385 153247 | 6050 4944 677 | 2.527 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 42.5095 s Remaining CPU time: 137.49 s c =============================================================================== c | 38117 | 1080 1386 154150 | 5000 5133 677 | 2.527 % | c | 38217 | 1080 1386 154150 | 5500 2667 676 | 2.527 % | c | 38370 | 1080 1386 154150 | 6050 2820 676 | 2.527 % | c | 38595 | 1080 1386 154150 | 6655 3045 676 | 2.527 % | c | 38932 | 1080 1386 154150 | 7320 3382 676 | 2.527 % | c | 39438 | 1080 1386 154150 | 8052 3888 676 | 2.527 % | c | 40197 | 1080 1386 154150 | 8857 4647 676 | 2.527 % | c | 41337 | 1080 1386 154150 | 9743 5787 676 | 2.527 % | c | 43045 | 1080 1386 154150 | 10717 7495 676 | 2.527 % | c | 45607 | 1080 1386 154150 | 11789 10057 676 | 2.528 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 56.0525 s Remaining CPU time: 123.948 s c =============================================================================== c | 48771 | 1080 1387 155053 | 5000 6929 675 | 2.528 % | c | 48871 | 1080 1387 155053 | 5500 3565 674 | 2.527 % | c | 49024 | 1080 1387 155053 | 6050 3718 674 | 2.527 % | c | 49250 | 1080 1387 155053 | 6655 3944 674 | 2.527 % | c | 49587 | 1080 1387 155053 | 7320 4281 674 | 2.527 % | c | 50094 | 1080 1387 155053 | 8052 4788 675 | 2.527 % | c | 50855 | 1080 1387 155053 | 8857 5549 675 | 2.527 % | c | 51996 | 1080 1387 155053 | 9743 6690 675 | 2.527 % | c | 53705 | 1080 1387 155053 | 10717 8399 675 | 2.527 % | c | 56267 | 1080 1387 155053 | 11789 10961 675 | 2.528 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 68.6056 s Remaining CPU time: 111.394 s c =============================================================================== c | 60040 | 1080 1388 155956 | 5000 8446 674 | 2.528 % | c | 60140 | 1080 1388 155956 | 5500 4323 674 | 2.527 % | c | 60290 | 1080 1388 155956 | 6050 4473 674 | 2.527 % | c | 60516 | 1080 1388 155956 | 6655 4699 674 | 2.527 % | c | 60853 | 1080 1388 155956 | 7320 5036 674 | 2.527 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 70.1033 s Remaining CPU time: 109.897 s c =============================================================================== c | 61201 | 1080 1389 156859 | 5000 5384 674 | 2.527 % | c | 61303 | 1080 1389 156859 | 5500 2794 672 | 2.527 % | c | 61454 | 1080 1389 156859 | 6050 2945 672 | 2.527 % | c | 61679 | 1080 1389 156859 | 6655 3170 672 | 2.527 % | c | 62016 | 1080 1389 156859 | 7320 3507 672 | 2.528 % | c | 62523 | 1080 1389 156859 | 8052 4014 672 | 2.528 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 72.7329 s Remaining CPU time: 107.267 s c =============================================================================== c | 63216 | 1080 1390 157762 | 5000 4707 672 | 2.528 % | c | 63316 | 1080 1390 157762 | 5500 4807 672 | 2.527 % | c | 63466 | 1080 1390 157762 | 6050 4957 672 | 2.527 % | c | 63692 | 1080 1390 157762 | 6655 5183 672 | 2.527 % | c | 64030 | 1080 1390 157762 | 7320 5521 672 | 2.527 % | c | 64536 | 1080 1390 157762 | 8052 6027 672 | 2.527 % | c | 65295 | 1080 1390 157762 | 8857 6786 672 | 2.527 % | c | 66434 | 1080 1390 157762 | 9743 7925 672 | 2.527 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 78.606 s Remaining CPU time: 101.394 s c =============================================================================== c | 67894 | 1080 1391 158665 | 5000 9385 672 | 2.527 % | c | 67995 | 1080 1391 158665 | 5500 4794 671 | 2.527 % | c | 68145 | 1080 1391 158665 | 6050 4944 671 | 2.527 % | c | 68370 | 1080 1391 158665 | 6655 5169 671 | 2.528 % | c | 68707 | 1080 1391 158665 | 7320 5506 671 | 2.527 % | c | 69214 | 1080 1391 158665 | 8052 6013 671 | 2.527 % | c | 69974 | 1080 1391 158665 | 8857 6773 671 | 2.527 % | c | 71115 | 1080 1391 158665 | 9743 7914 672 | 2.527 % | c | 72823 | 1080 1391 158665 | 10717 9622 672 | 2.527 % | c | 75385 | 1080 1391 158665 | 11789 6437 672 | 2.527 % | c | 79229 | 1080 1391 158665 | 12968 10281 672 | 2.527 % | c | 84998 | 1080 1391 158665 | 14265 9177 672 | 2.527 % | c | 93647 | 1080 1391 158665 | 15692 10304 672 | 2.527 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 124.624 s Remaining CPU time: 55.3759 s c =============================================================================== c | 104056 | 1080 1392 159568 | 5000 12462 672 | 2.527 % | c | 104156 | 1080 1392 159568 | 5500 3216 671 | 2.528 % | c | 104306 | 1080 1392 159568 | 6050 3366 671 | 2.527 % | c | 104531 | 1080 1392 159568 | 6655 3591 671 | 2.527 % | c | 104869 | 1080 1392 159568 | 7320 3929 671 | 2.527 % | c | 105375 | 1080 1392 159568 | 8052 4435 671 | 2.527 % | c | 106134 | 1080 1392 159568 | 8857 5194 671 | 2.527 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 127.447 s Remaining CPU time: 52.5534 s c =============================================================================== c | 106523 | 1080 1393 160471 | 5000 5583 671 | 2.527 % | c | 106623 | 1080 1393 160471 | 5500 2892 669 | 2.528 % | c | 106773 | 1080 1393 160471 | 6050 3042 669 | 2.528 % | c | 106998 | 1080 1393 160471 | 6655 3267 669 | 2.528 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 128.489 s Remaining CPU time: 51.5105 s c =============================================================================== c | 107326 | 1080 1394 161374 | 5000 3595 669 | 2.528 % | c | 107427 | 1080 1394 161374 | 5500 3696 669 | 2.527 % | c | 107577 | 1080 1394 161374 | 6050 3846 669 | 2.527 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 129.059 s Remaining CPU time: 50.9406 s c =============================================================================== c | 107789 | 1080 1395 162277 | 5000 4058 669 | 2.527 % | c | 107889 | 1080 1395 162277 | 5500 4158 669 | 2.527 % | c | 108040 | 1080 1395 162277 | 6050 4309 669 | 2.527 % | c | 108267 | 1080 1395 162277 | 6655 4536 669 | 2.528 % | c | 108605 | 1080 1395 162277 | 7320 4874 669 | 2.528 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 130.409 s Remaining CPU time: 49.5908 s c =============================================================================== c | 109106 | 1080 1396 163180 | 5000 5375 669 | 2.528 % | c | 109206 | 1080 1396 163180 | 5500 2788 666 | 2.527 % | c | 109356 | 1080 1396 163180 | 6050 2938 666 | 2.527 % | c | 109581 | 1080 1396 163180 | 6655 3163 665 | 2.527 % | c | 109918 | 1080 1396 163180 | 7320 3500 666 | 2.528 % | c | 110424 | 1080 1396 163180 | 8052 4006 666 | 2.528 % | c | 111183 | 1080 1396 163180 | 8857 4765 666 | 2.527 % | c | 112322 | 1080 1396 163180 | 9743 5904 667 | 2.527 % | c | 114030 | 1080 1396 163180 | 10717 7612 667 | 2.527 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 138.212 s Remaining CPU time: 41.788 s c =============================================================================== c | 115388 | 1080 1397 164083 | 5000 8970 667 | 2.527 % | c | 115489 | 1080 1397 164083 | 5500 4586 667 | 2.527 % | c | 115639 | 1080 1397 164083 | 6050 4736 667 | 2.527 % | c | 115864 | 1080 1397 164083 | 6655 4961 667 | 2.527 % | c | 116204 | 1080 1397 164083 | 7320 5301 667 | 2.527 % | c | 116711 | 1080 1397 164083 | 8052 5808 667 | 2.527 % | c | 117470 | 1080 1397 164083 | 8857 6567 667 | 2.527 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 141.962 s Remaining CPU time: 38.0376 s c =============================================================================== c | 118562 | 1080 1398 164986 | 5000 7659 667 | 2.527 % | c | 118664 | 1080 1398 164986 | 5500 3932 665 | 2.528 % | c | 118815 | 1080 1398 164986 | 6050 4083 665 | 2.528 % | c | 119041 | 1080 1398 164986 | 6655 4309 665 | 2.527 % | c | 119379 | 1080 1398 164986 | 7320 4647 665 | 2.527 % | c | 119885 | 1080 1398 164986 | 8052 5153 665 | 2.527 % | c | 120645 | 1080 1398 164986 | 8857 5913 665 | 2.527 % | c | 121785 | 1080 1398 164986 | 9743 7053 665 | 2.527 % | c | 123493 | 1080 1398 164986 | 10717 8761 665 | 2.527 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 149.147 s Remaining CPU time: 30.8527 s c =============================================================================== c | 124866 | 1080 1399 165889 | 5000 10134 665 | 2.527 % | c | 124966 | 1080 1399 165889 | 5500 2634 663 | 2.528 % | c | 125116 | 1080 1399 165889 | 6050 2784 663 | 2.528 % | c | 125341 | 1080 1399 165889 | 6655 3009 663 | 2.528 % | c | 125678 | 1080 1399 165889 | 7320 3346 663 | 2.528 % | c | 126185 | 1080 1399 165889 | 8052 3853 663 | 2.527 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 151.551 s Remaining CPU time: 28.449 s c =============================================================================== c | 126655 | 1080 1400 166792 | 5000 4323 663 | 2.527 % | c | 126757 | 1080 1400 166792 | 5500 4425 663 | 2.527 % | c | 126907 | 1080 1400 166792 | 6050 4575 663 | 2.527 % | c | 127133 | 1080 1400 166792 | 6655 4801 663 | 2.527 % | c | 127470 | 1080 1400 166792 | 7320 5138 663 | 2.527 % | c | 127977 | 1080 1400 166792 | 8052 5645 663 | 2.527 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 153.621 s Remaining CPU time: 26.3794 s c =============================================================================== c | 128249 | 1080 1401 167695 | 5000 5917 663 | 2.527 % | c | 128352 | 1080 1401 167695 | 5500 3062 661 | 2.527 % | c | 128502 | 1080 1401 167695 | 6050 3212 661 | 2.527 % | c | 128728 | 1080 1401 167695 | 6655 3438 661 | 2.527 % | c | 129066 | 1080 1401 167695 | 7320 3776 661 | 2.527 % | c | 129572 | 1080 1401 167695 | 8052 4282 662 | 2.527 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 155.622 s Remaining CPU time: 24.3777 s c =============================================================================== c | 129894 | 1080 1402 168598 | 5000 4604 662 | 2.527 % | c | 129995 | 1080 1402 168598 | 5500 4705 662 | 2.527 % | c | 130145 | 1080 1402 168598 | 6050 4855 662 | 2.527 % | c | 130371 | 1080 1402 168598 | 6655 5081 662 | 2.527 % | c | 130708 | 1080 1402 168598 | 7320 5418 662 | 2.527 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 156.783 s Remaining CPU time: 23.2168 s c =============================================================================== c | 130826 | 1080 1403 169501 | 5000 5536 662 | 2.527 % | c | 130926 | 1080 1403 169501 | 5500 2868 660 | 2.527 % | c | 131078 | 1080 1403 169501 | 6050 3020 660 | 2.527 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 157.274 s Remaining CPU time: 22.7259 s c =============================================================================== c | 131248 | 1080 1404 170404 | 5000 3190 660 | 2.527 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 157.409 s Remaining CPU time: 22.5909 s c =============================================================================== c | 131338 | 1080 1405 171307 | 5000 3280 660 | 2.527 % | c | 131439 | 1080 1405 171307 | 5500 3381 660 | 2.527 % | c | 131592 | 1080 1405 171307 | 6050 3534 660 | 2.527 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 157.783 s Remaining CPU time: 22.217 s c =============================================================================== c | 131641 | 1080 1406 172210 | 5000 3583 660 | 2.527 % | c | 131741 | 1080 1406 172210 | 5500 3683 660 | 2.527 % | c | 131891 | 1080 1406 172210 | 6050 3833 660 | 2.527 % | c | 132116 | 1080 1406 172210 | 6655 4058 660 | 2.527 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 158.871 s Remaining CPU time: 21.1292 s c =============================================================================== c | 132312 | 1080 1407 173113 | 5000 4254 659 | 2.527 % | c | 132413 | 1080 1407 173113 | 5500 4355 659 | 2.527 % | c | 132563 | 1080 1407 173113 | 6050 4505 659 | 2.527 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 159.456 s Remaining CPU time: 20.5442 s c =============================================================================== c | 132697 | 1080 1408 174016 | 5000 4639 659 | 2.527 % | c | 132797 | 1080 1408 174016 | 5500 4739 659 | 2.527 % | c | 132947 | 1080 1408 174016 | 6050 4889 659 | 2.527 % | c | 133175 | 1080 1408 174016 | 6655 5117 658 | 2.528 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 160.22 s Remaining CPU time: 19.7804 s c =============================================================================== c | 133248 | 1080 1409 174919 | 5000 5190 658 | 2.528 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 160.318 s Remaining CPU time: 19.6824 s c =============================================================================== c | 133301 | 1080 1410 175822 | 5000 2648 654 | 2.528 % | c | 133401 | 1080 1410 175822 | 5500 2748 654 | 2.528 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 160.535 s Remaining CPU time: 19.4654 s c =============================================================================== c | 133472 | 1080 1411 176725 | 5000 2819 654 | 2.528 % | c | 133572 | 1080 1411 176725 | 5500 2919 654 | 2.528 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 160.817 s Remaining CPU time: 19.1834 s c =============================================================================== c | 133634 | 1080 1412 177628 | 5000 2981 654 | 2.528 % | c | 133734 | 1080 1412 177628 | 5500 3081 654 | 2.528 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 161.079 s Remaining CPU time: 18.9215 s c =============================================================================== c | 133828 | 1080 1413 178531 | 5000 3175 654 | 2.528 % | c | 133928 | 1080 1413 178531 | 5500 3275 654 | 2.527 % | c | 134078 | 1080 1413 178531 | 6050 3425 653 | 2.527 % | c | 134303 | 1080 1413 178531 | 6655 3650 653 | 2.527 % | c | 134640 | 1080 1413 178531 | 7320 3987 653 | 2.527 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 162.252 s Remaining CPU time: 17.7477 s c =============================================================================== c | 134728 | 1080 1414 179434 | 5000 4075 653 | 2.527 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 162.338 s Remaining CPU time: 17.6617 s c =============================================================================== c | 134770 | 1080 1415 180337 | 5000 4117 653 | 2.527 % | c | 134870 | 1080 1415 180337 | 5500 4217 653 | 2.527 % | c | 135021 | 1080 1415 180337 | 6050 4368 652 | 2.527 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 162.712 s Remaining CPU time: 17.2877 s c =============================================================================== c | 135068 | 1080 1416 181240 | 5000 4415 652 | 2.527 % | c | 135170 | 1080 1416 181240 | 5500 4517 652 | 2.527 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 162.924 s Remaining CPU time: 17.0758 s c =============================================================================== c | 135196 | 1080 1417 182143 | 5000 4543 652 | 2.527 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 162.982 s Remaining CPU time: 17.0178 s c =============================================================================== c | 135202 | 1080 1418 183046 | 5000 4549 652 | 2.527 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 163.066 s Remaining CPU time: 16.9338 s c =============================================================================== c | 135222 | 1080 1419 183949 | 5000 4569 652 | 2.527 % | c | 135322 | 1080 1419 183949 | 5500 4669 652 | 2.527 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 163.34 s Remaining CPU time: 16.6598 s c =============================================================================== c | 135373 | 1080 1420 184852 | 5000 4720 652 | 2.527 % | c | 135473 | 1080 1420 184852 | 5500 4820 652 | 2.527 % | c | 135625 | 1080 1420 184852 | 6050 4972 651 | 2.527 % | c | 135852 | 1080 1420 184852 | 6655 5199 651 | 2.527 % | c | 136190 | 1080 1420 184852 | 7320 5537 651 | 2.527 % | c | 136696 | 1080 1420 184852 | 8052 6043 650 | 2.527 % | c | 137455 | 1080 1420 184852 | 8857 6802 649 | 2.528 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 167.22 s Remaining CPU time: 12.7804 s c =============================================================================== c | 138070 | 1080 1421 185755 | 5000 7417 649 | 2.528 % | c | 138170 | 1080 1421 185755 | 5500 3809 643 | 2.527 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 167.57 s Remaining CPU time: 12.4305 s c =============================================================================== c | 138256 | 1080 1422 186658 | 5000 3895 643 | 2.527 % |