c wbo 1.4 beta - 20100610 c | Number of variables: 138 | c | Number of clauses: 1004 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1081 | c | Number Clauses: 990 | 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 | 1081 990 3823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1859052 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 1081 991 4780 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1858708 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 3 | 1081 992 5737 | 5000 3 948 | 0.000 % | c =============================================================================== c New solution: 1858230 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 8 | 1081 993 6694 | 5000 8 946 | 0.000 % | c =============================================================================== c New solution: 1858145 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 8 | 1081 994 7651 | 5000 8 946 | 0.000 % | c =============================================================================== c New solution: 1857700 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 13 | 1081 995 8608 | 5000 13 946 | 0.000 % | c =============================================================================== c New solution: 1857186 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 13 | 1081 996 9565 | 5000 13 946 | 0.000 % | c =============================================================================== c New solution: 1856420 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 13 | 1081 997 10522 | 5000 13 946 | 0.000 % | c =============================================================================== c New solution: 1856391 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 15 | 1081 998 11479 | 5000 15 946 | 0.000 % | c =============================================================================== c New solution: 1855709 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 28 | 1081 999 12436 | 5000 28 945 | 0.000 % | c =============================================================================== c New solution: 1855067 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 37 | 1081 1000 13393 | 5000 37 945 | 0.000 % | c =============================================================================== c New solution: 1855007 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 38 | 1081 1001 14350 | 5000 38 945 | 0.000 % | c =============================================================================== c New solution: 1855002 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 43 | 1081 1002 15307 | 5000 43 945 | 0.000 % | c =============================================================================== c New solution: 1854607 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 51 | 1081 1003 16264 | 5000 51 945 | 0.000 % | c =============================================================================== c New solution: 1854256 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 52 | 1081 1004 17221 | 5000 52 944 | 0.000 % | c =============================================================================== c New solution: 1853947 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 53 | 1081 1005 18178 | 5000 53 944 | 0.000 % | c =============================================================================== c New solution: 1853181 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 54 | 1081 1006 19135 | 5000 54 944 | 0.000 % | c =============================================================================== c New solution: 1852781 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 56 | 1081 1007 20092 | 5000 56 944 | 0.000 % | c =============================================================================== c New solution: 1852267 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 56 | 1081 1008 21049 | 5000 56 944 | 0.000 % | c =============================================================================== c New solution: 1851970 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 60 | 1081 1009 22006 | 5000 60 944 | 0.000 % | c =============================================================================== c New solution: 1851501 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 60 | 1081 1010 22963 | 5000 60 944 | 0.000 % | c =============================================================================== c New solution: 1851319 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 69 | 1081 1011 23920 | 5000 69 944 | 0.000 % | c =============================================================================== c New solution: 1851264 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 73 | 1081 1012 24877 | 5000 73 944 | 0.000 % | c =============================================================================== c New solution: 1851259 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 75 | 1081 1013 25834 | 5000 75 944 | 0.000 % | c =============================================================================== c New solution: 1851030 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 82 | 1081 1014 26791 | 5000 82 944 | 0.000 % | c =============================================================================== c New solution: 1850798 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 88 | 1081 1015 27748 | 5000 88 944 | 0.000 % | c =============================================================================== c New solution: 1849866 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 88 | 1081 1016 28705 | 5000 88 944 | 0.000 % | c =============================================================================== c New solution: 1849629 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 88 | 1081 1017 29662 | 5000 88 944 | 0.000 % | c =============================================================================== c New solution: 1848969 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 88 | 1081 1018 30619 | 5000 88 944 | 0.000 % | c =============================================================================== c New solution: 1848586 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 88 | 1081 1019 31576 | 5000 88 944 | 0.000 % | c =============================================================================== c New solution: 1848462 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 113 | 1081 1020 32533 | 5000 113 943 | 0.000 % | c =============================================================================== c New solution: 1848240 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 114 | 1081 1021 33490 | 5000 114 943 | 0.000 % | c =============================================================================== c New solution: 1847902 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 114 | 1081 1022 34447 | 5000 114 943 | 0.000 % | c =============================================================================== c New solution: 1847665 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s c =============================================================================== c | 114 | 1081 1023 35404 | 5000 114 943 | 0.000 % | c =============================================================================== c New solution: 1847546 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 115 | 1081 1024 36361 | 5000 115 943 | 0.000 % | c =============================================================================== c New solution: 1847227 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 122 | 1081 1025 37318 | 5000 122 943 | 0.000 % | c =============================================================================== c New solution: 1847146 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 122 | 1081 1026 38275 | 5000 122 943 | 0.000 % | c =============================================================================== c New solution: 1847081 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 126 | 1081 1027 39232 | 5000 126 943 | 0.000 % | c =============================================================================== c New solution: 1847008 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 132 | 1081 1028 40189 | 5000 132 943 | 0.000 % | c =============================================================================== c New solution: 1846970 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 132 | 1081 1029 41146 | 5000 132 943 | 0.000 % | c =============================================================================== c New solution: 1846777 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 133 | 1081 1030 42103 | 5000 133 943 | 0.000 % | c =============================================================================== c New solution: 1846743 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 134 | 1081 1031 43060 | 5000 134 943 | 0.000 % | c =============================================================================== c New solution: 1845918 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 137 | 1081 1032 44017 | 5000 137 943 | 0.000 % | c =============================================================================== c New solution: 1845913 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 146 | 1081 1033 44974 | 5000 146 943 | 0.000 % | c =============================================================================== c New solution: 1845725 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 147 | 1081 1034 45931 | 5000 147 943 | 0.000 % | c =============================================================================== c New solution: 1845663 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 148 | 1081 1035 46888 | 5000 148 943 | 0.000 % | c =============================================================================== c New solution: 1845535 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 149 | 1081 1036 47845 | 5000 149 942 | 0.000 % | c =============================================================================== c New solution: 1845147 c Elapsed CPU time: 0.617906 s Remaining CPU time: 179.382 s c =============================================================================== c | 150 | 1081 1037 48802 | 5000 150 942 | 0.000 % | c =============================================================================== c New solution: 1845001 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 181 | 1081 1038 49759 | 5000 181 942 | 0.000 % | c =============================================================================== c New solution: 1844808 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 181 | 1081 1039 50716 | 5000 181 942 | 0.000 % | c =============================================================================== c New solution: 1844618 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 183 | 1081 1040 51673 | 5000 183 942 | 0.000 % | c =============================================================================== c New solution: 1844455 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 183 | 1081 1041 52630 | 5000 183 942 | 0.000 % | c =============================================================================== c New solution: 1844262 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 183 | 1081 1042 53587 | 5000 183 942 | 0.000 % | c =============================================================================== c New solution: 1844150 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 185 | 1081 1043 54544 | 5000 185 942 | 0.000 % | c =============================================================================== c New solution: 1844115 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s c =============================================================================== c | 201 | 1081 1044 55501 | 5000 201 942 | 0.000 % | c =============================================================================== c New solution: 1843927 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 212 | 1081 1045 56458 | 5000 212 942 | 0.000 % | c =============================================================================== c New solution: 1843883 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 212 | 1081 1046 57415 | 5000 212 942 | 0.000 % | c =============================================================================== c New solution: 1843690 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 212 | 1081 1047 58372 | 5000 212 942 | 0.000 % | c =============================================================================== c New solution: 1843613 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 215 | 1081 1048 59329 | 5000 215 942 | 0.000 % | c =============================================================================== c New solution: 1843514 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 217 | 1081 1049 60286 | 5000 217 942 | 0.000 % | c =============================================================================== c New solution: 1843484 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 219 | 1081 1050 61243 | 5000 219 941 | 0.000 % | c =============================================================================== c New solution: 1843385 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 219 | 1081 1051 62200 | 5000 219 941 | 0.000 % | c =============================================================================== c New solution: 1843226 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 219 | 1081 1052 63157 | 5000 219 941 | 0.000 % | c =============================================================================== c New solution: 1843063 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 219 | 1081 1053 64114 | 5000 219 941 | 0.000 % | c =============================================================================== c New solution: 1842870 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 219 | 1081 1054 65071 | 5000 219 941 | 0.000 % | c =============================================================================== c New solution: 1842780 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 219 | 1081 1055 66028 | 5000 219 941 | 0.000 % | c =============================================================================== c New solution: 1842587 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 219 | 1081 1056 66985 | 5000 219 941 | 0.000 % | c =============================================================================== c New solution: 1842577 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 223 | 1081 1057 67942 | 5000 223 941 | 0.000 % | c =============================================================================== c New solution: 1842404 c Elapsed CPU time: 1.21281 s Remaining CPU time: 178.787 s c =============================================================================== c | 232 | 1081 1058 68899 | 5000 232 941 | 0.000 % | c =============================================================================== c New solution: 1842345 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 235 | 1081 1059 69856 | 5000 235 941 | 0.000 % | c =============================================================================== c New solution: 1842222 c Elapsed CPU time: 1.27481 s Remaining CPU time: 178.725 s c =============================================================================== c | 236 | 1081 1060 70813 | 5000 236 941 | 0.000 % | c =============================================================================== c New solution: 1842128 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 236 | 1081 1061 71770 | 5000 236 941 | 0.000 % | c =============================================================================== c New solution: 1841935 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 236 | 1081 1062 72727 | 5000 236 941 | 0.000 % | c =============================================================================== c New solution: 1841761 c Elapsed CPU time: 1.37879 s Remaining CPU time: 178.621 s c =============================================================================== c | 246 | 1081 1063 73684 | 5000 246 941 | 0.000 % | c =============================================================================== c New solution: 1841734 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 247 | 1081 1064 74641 | 5000 247 941 | 0.000 % | c =============================================================================== c New solution: 1841588 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 247 | 1081 1065 75598 | 5000 247 941 | 0.000 % | c =============================================================================== c New solution: 1841544 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 247 | 1081 1066 76555 | 5000 247 941 | 0.000 % | c =============================================================================== c New solution: 1841517 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 256 | 1081 1067 77512 | 5000 256 941 | 0.000 % | c =============================================================================== c New solution: 1841367 c Elapsed CPU time: 1.57376 s Remaining CPU time: 178.426 s c =============================================================================== c | 260 | 1081 1068 78469 | 5000 260 941 | 0.000 % | c =============================================================================== c New solution: 1841180 c Elapsed CPU time: 1.61375 s Remaining CPU time: 178.386 s c =============================================================================== c | 265 | 1081 1069 79426 | 5000 265 941 | 0.000 % | c =============================================================================== c New solution: 1841164 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 265 | 1081 1070 80383 | 5000 265 941 | 0.000 % | c =============================================================================== c New solution: 1841001 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s c =============================================================================== c | 270 | 1081 1071 81340 | 5000 270 941 | 0.000 % | c =============================================================================== c New solution: 1840991 c Elapsed CPU time: 1.74073 s Remaining CPU time: 178.259 s c =============================================================================== c | 272 | 1081 1072 82297 | 5000 272 941 | 0.000 % | c =============================================================================== c New solution: 1840942 c Elapsed CPU time: 1.78773 s Remaining CPU time: 178.212 s c =============================================================================== c | 273 | 1081 1073 83254 | 5000 273 941 | 0.000 % | c =============================================================================== c New solution: 1840819 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 275 | 1081 1074 84211 | 5000 275 941 | 0.000 % | c =============================================================================== c New solution: 1840626 c Elapsed CPU time: 1.87072 s Remaining CPU time: 178.129 s c =============================================================================== c | 276 | 1081 1075 85168 | 5000 276 941 | 0.000 % | c =============================================================================== c New solution: 1840505 c Elapsed CPU time: 1.91471 s Remaining CPU time: 178.085 s c =============================================================================== c | 277 | 1081 1076 86125 | 5000 277 941 | 0.000 % | c =============================================================================== c New solution: 1840320 c Elapsed CPU time: 1.9537 s Remaining CPU time: 178.046 s c =============================================================================== c | 277 | 1081 1077 87082 | 5000 277 941 | 0.000 % | c =============================================================================== c New solution: 1840127 c Elapsed CPU time: 1.9937 s Remaining CPU time: 178.006 s c =============================================================================== c | 277 | 1081 1078 88039 | 5000 277 941 | 0.000 % | c =============================================================================== c New solution: 1839964 c Elapsed CPU time: 2.03769 s Remaining CPU time: 177.962 s c =============================================================================== c | 277 | 1081 1079 88996 | 5000 277 941 | 0.000 % | c =============================================================================== c New solution: 1839771 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 277 | 1081 1080 89953 | 5000 277 941 | 0.000 % | c =============================================================================== c New solution: 1839690 c Elapsed CPU time: 2.15067 s Remaining CPU time: 177.849 s c =============================================================================== c | 290 | 1081 1081 90910 | 5000 290 940 | 0.000 % | c =============================================================================== c New solution: 1839613 c Elapsed CPU time: 2.19467 s Remaining CPU time: 177.805 s c =============================================================================== c | 290 | 1081 1082 91867 | 5000 290 940 | 0.000 % | c =============================================================================== c New solution: 1839513 c Elapsed CPU time: 2.24266 s Remaining CPU time: 177.757 s c =============================================================================== c | 292 | 1081 1083 92824 | 5000 292 940 | 0.000 % | c =============================================================================== c New solution: 1839277 c Elapsed CPU time: 2.28865 s Remaining CPU time: 177.711 s c =============================================================================== c | 292 | 1081 1084 93781 | 5000 292 940 | 0.000 % | c =============================================================================== c New solution: 1838767 c Elapsed CPU time: 2.33864 s Remaining CPU time: 177.661 s c =============================================================================== c | 293 | 1081 1085 94738 | 5000 293 940 | 0.000 % | c =============================================================================== c New solution: 1838728 c Elapsed CPU time: 2.38464 s Remaining CPU time: 177.615 s c =============================================================================== c | 293 | 1081 1086 95695 | 5000 293 940 | 0.000 % | c =============================================================================== c New solution: 1838439 c Elapsed CPU time: 2.43063 s Remaining CPU time: 177.569 s c =============================================================================== c | 295 | 1081 1087 96652 | 5000 295 940 | 0.000 % | c =============================================================================== c New solution: 1838336 c Elapsed CPU time: 2.50262 s Remaining CPU time: 177.497 s c =============================================================================== c | 306 | 1081 1088 97609 | 5000 306 940 | 0.000 % | c =============================================================================== c New solution: 1837843 c Elapsed CPU time: 2.55761 s Remaining CPU time: 177.442 s c =============================================================================== c | 310 | 1081 1089 98566 | 5000 310 940 | 0.000 % | c =============================================================================== c New solution: 1837729 c Elapsed CPU time: 2.6096 s Remaining CPU time: 177.39 s c =============================================================================== c | 312 | 1081 1090 99523 | 5000 312 940 | 0.000 % | c =============================================================================== c New solution: 1837233 c Elapsed CPU time: 2.6566 s Remaining CPU time: 177.343 s c =============================================================================== c | 312 | 1081 1091 100480 | 5000 312 940 | 0.000 % | c =============================================================================== c New solution: 1837067 c Elapsed CPU time: 2.72059 s Remaining CPU time: 177.279 s c =============================================================================== c | 321 | 1081 1092 101437 | 5000 321 940 | 0.000 % | c =============================================================================== c New solution: 1836536 c Elapsed CPU time: 2.78458 s Remaining CPU time: 177.215 s c =============================================================================== c | 328 | 1081 1093 102394 | 5000 328 940 | 0.000 % | c =============================================================================== c New solution: 1836416 c Elapsed CPU time: 2.88056 s Remaining CPU time: 177.119 s c =============================================================================== c | 343 | 1081 1094 103351 | 5000 343 940 | 0.000 % | c =============================================================================== c New solution: 1836393 c Elapsed CPU time: 2.93255 s Remaining CPU time: 177.067 s c =============================================================================== c | 345 | 1081 1095 104308 | 5000 345 940 | 0.000 % | c =============================================================================== c New solution: 1836294 c Elapsed CPU time: 2.98255 s Remaining CPU time: 177.017 s c =============================================================================== c | 346 | 1081 1096 105265 | 5000 346 940 | 0.000 % | c =============================================================================== c New solution: 1836248 c Elapsed CPU time: 3.03654 s Remaining CPU time: 176.963 s c =============================================================================== c | 347 | 1081 1097 106222 | 5000 347 940 | 0.000 % | c =============================================================================== c New solution: 1836119 c Elapsed CPU time: 3.09153 s Remaining CPU time: 176.908 s c =============================================================================== c | 347 | 1081 1098 107179 | 5000 347 940 | 0.000 % | c =============================================================================== c New solution: 1836032 c Elapsed CPU time: 3.14552 s Remaining CPU time: 176.854 s c =============================================================================== c | 348 | 1081 1099 108136 | 5000 348 940 | 0.000 % | c =============================================================================== c New solution: 1836016 c Elapsed CPU time: 3.19951 s Remaining CPU time: 176.8 s c =============================================================================== c | 348 | 1081 1100 109093 | 5000 348 940 | 0.000 % | c =============================================================================== c New solution: 1835844 c Elapsed CPU time: 3.25351 s Remaining CPU time: 176.746 s c =============================================================================== c | 349 | 1081 1101 110050 | 5000 349 940 | 0.000 % | c =============================================================================== c New solution: 1835832 c Elapsed CPU time: 3.31549 s Remaining CPU time: 176.685 s c =============================================================================== c | 350 | 1081 1102 111007 | 5000 350 940 | 0.000 % | c =============================================================================== c New solution: 1835812 c Elapsed CPU time: 3.40148 s Remaining CPU time: 176.599 s c =============================================================================== c | 364 | 1081 1103 111964 | 5000 364 939 | 0.000 % | c =============================================================================== c New solution: 1835684 c Elapsed CPU time: 3.45847 s Remaining CPU time: 176.542 s c =============================================================================== c | 364 | 1081 1104 112921 | 5000 364 939 | 0.000 % | c =============================================================================== c New solution: 1835521 c Elapsed CPU time: 3.52246 s Remaining CPU time: 176.478 s c =============================================================================== c | 364 | 1081 1105 113878 | 5000 364 939 | 0.000 % | c =============================================================================== c New solution: 1835366 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 367 | 1081 1106 114835 | 5000 367 939 | 0.000 % | c =============================================================================== c New solution: 1835182 c Elapsed CPU time: 3.66144 s Remaining CPU time: 176.339 s c =============================================================================== c | 373 | 1081 1107 115792 | 5000 373 939 | 0.000 % | c =============================================================================== c New solution: 1835003 c Elapsed CPU time: 3.72643 s Remaining CPU time: 176.274 s c =============================================================================== c | 373 | 1081 1108 116749 | 5000 373 939 | 0.000 % | c =============================================================================== c New solution: 1834847 c Elapsed CPU time: 3.82242 s Remaining CPU time: 176.178 s c =============================================================================== c | 393 | 1081 1109 117706 | 5000 393 939 | 0.000 % | c =============================================================================== c New solution: 1834590 c Elapsed CPU time: 3.88241 s Remaining CPU time: 176.118 s c =============================================================================== c | 394 | 1081 1110 118663 | 5000 394 939 | 0.000 % | c =============================================================================== c New solution: 1834195 c Elapsed CPU time: 3.9464 s Remaining CPU time: 176.054 s c =============================================================================== c | 396 | 1081 1111 119620 | 5000 396 939 | 0.000 % | c =============================================================================== c New solution: 1834063 c Elapsed CPU time: 4.02239 s Remaining CPU time: 175.978 s c =============================================================================== c | 400 | 1081 1112 120577 | 5000 400 939 | 0.000 % | c =============================================================================== c New solution: 1833846 c Elapsed CPU time: 4.08938 s Remaining CPU time: 175.911 s c =============================================================================== c | 401 | 1081 1113 121534 | 5000 401 939 | 0.000 % | c =============================================================================== c New solution: 1833724 c Elapsed CPU time: 4.16037 s Remaining CPU time: 175.84 s c =============================================================================== c | 406 | 1081 1114 122491 | 5000 406 939 | 0.000 % | c =============================================================================== c New solution: 1833651 c Elapsed CPU time: 4.23036 s Remaining CPU time: 175.77 s c =============================================================================== c | 408 | 1081 1115 123448 | 5000 408 936 | 0.000 % | c =============================================================================== c New solution: 1833461 c Elapsed CPU time: 4.30635 s Remaining CPU time: 175.694 s c =============================================================================== c | 409 | 1081 1116 124405 | 5000 409 936 | 0.000 % | c =============================================================================== c New solution: 1833266 c Elapsed CPU time: 4.39033 s Remaining CPU time: 175.61 s c =============================================================================== c | 412 | 1081 1117 125362 | 5000 412 936 | 0.000 % | c =============================================================================== c New solution: 1833263 c Elapsed CPU time: 4.46132 s Remaining CPU time: 175.539 s c =============================================================================== c | 414 | 1081 1118 126319 | 5000 414 936 | 0.000 % | c =============================================================================== c New solution: 1833227 c Elapsed CPU time: 4.54631 s Remaining CPU time: 175.454 s c =============================================================================== c | 419 | 1081 1119 127276 | 5000 419 936 | 0.000 % | c =============================================================================== c New solution: 1833034 c Elapsed CPU time: 4.6153 s Remaining CPU time: 175.385 s c =============================================================================== c | 421 | 1081 1120 128233 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1832830 c Elapsed CPU time: 4.68329 s Remaining CPU time: 175.317 s c =============================================================================== c | 421 | 1081 1121 129190 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1832821 c Elapsed CPU time: 4.75328 s Remaining CPU time: 175.247 s c =============================================================================== c | 421 | 1081 1122 130147 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1832651 c Elapsed CPU time: 4.82027 s Remaining CPU time: 175.18 s c =============================================================================== c | 421 | 1081 1123 131104 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1832316 c Elapsed CPU time: 4.88726 s Remaining CPU time: 175.113 s c =============================================================================== c | 421 | 1081 1124 132061 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1832079 c Elapsed CPU time: 4.95525 s Remaining CPU time: 175.045 s c =============================================================================== c | 421 | 1081 1125 133018 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1831826 c Elapsed CPU time: 5.02923 s Remaining CPU time: 174.971 s c =============================================================================== c | 421 | 1081 1126 133975 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1831443 c Elapsed CPU time: 5.10122 s Remaining CPU time: 174.899 s c =============================================================================== c | 421 | 1081 1127 134932 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1831194 c Elapsed CPU time: 5.17721 s Remaining CPU time: 174.823 s c =============================================================================== c | 421 | 1081 1128 135889 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1830889 c Elapsed CPU time: 5.2572 s Remaining CPU time: 174.743 s c =============================================================================== c | 421 | 1081 1129 136846 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1830576 c Elapsed CPU time: 5.33619 s Remaining CPU time: 174.664 s c =============================================================================== c | 421 | 1081 1130 137803 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1830166 c Elapsed CPU time: 5.41518 s Remaining CPU time: 174.585 s c =============================================================================== c | 421 | 1081 1131 138760 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1829810 c Elapsed CPU time: 5.49116 s Remaining CPU time: 174.509 s c =============================================================================== c | 421 | 1081 1132 139717 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1829476 c Elapsed CPU time: 5.57015 s Remaining CPU time: 174.43 s c =============================================================================== c | 421 | 1081 1133 140674 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1829066 c Elapsed CPU time: 5.65014 s Remaining CPU time: 174.35 s c =============================================================================== c | 421 | 1081 1134 141631 | 5000 421 936 | 0.000 % | c =============================================================================== c New solution: 1828881 c Elapsed CPU time: 5.75712 s Remaining CPU time: 174.243 s c =============================================================================== c | 440 | 1081 1135 142588 | 5000 440 936 | 0.000 % | c =============================================================================== c New solution: 1828710 c Elapsed CPU time: 5.85311 s Remaining CPU time: 174.147 s c =============================================================================== c | 442 | 1081 1136 143545 | 5000 442 936 | 0.000 % | c =============================================================================== c New solution: 1828517 c Elapsed CPU time: 5.9291 s Remaining CPU time: 174.071 s c =============================================================================== c | 442 | 1081 1137 144502 | 5000 442 936 | 0.000 % | c =============================================================================== c New solution: 1828361 c Elapsed CPU time: 6.01009 s Remaining CPU time: 173.99 s c =============================================================================== c | 443 | 1081 1138 145459 | 5000 443 936 | 0.000 % | c =============================================================================== c New solution: 1828329 c Elapsed CPU time: 6.09407 s Remaining CPU time: 173.906 s c =============================================================================== c | 444 | 1081 1139 146416 | 5000 444 936 | 0.000 % | c =============================================================================== c New solution: 1828129 c Elapsed CPU time: 6.17806 s Remaining CPU time: 173.822 s c =============================================================================== c | 444 | 1081 1140 147373 | 5000 444 936 | 0.000 % | c =============================================================================== c New solution: 1827936 c Elapsed CPU time: 6.26305 s Remaining CPU time: 173.737 s c =============================================================================== c | 444 | 1081 1141 148330 | 5000 444 936 | 0.000 % | c =============================================================================== c New solution: 1827931 c Elapsed CPU time: 6.35303 s Remaining CPU time: 173.647 s c =============================================================================== c | 447 | 1081 1142 149287 | 5000 447 936 | 0.000 % | c =============================================================================== c New solution: 1827897 c Elapsed CPU time: 6.43002 s Remaining CPU time: 173.57 s c =============================================================================== c | 448 | 1081 1143 150244 | 5000 448 936 | 0.000 % | c =============================================================================== c New solution: 1827815 c Elapsed CPU time: 6.53501 s Remaining CPU time: 173.465 s c =============================================================================== c | 456 | 1081 1144 151201 | 5000 456 936 | 0.000 % | c =============================================================================== c New solution: 1827695 c Elapsed CPU time: 6.63899 s Remaining CPU time: 173.361 s c =============================================================================== c | 463 | 1081 1145 152158 | 5000 463 936 | 0.000 % | c =============================================================================== c New solution: 1827502 c Elapsed CPU time: 6.77297 s Remaining CPU time: 173.227 s c =============================================================================== c | 482 | 1081 1146 153115 | 5000 482 935 | 0.000 % | c =============================================================================== c New solution: 1827487 c Elapsed CPU time: 6.87195 s Remaining CPU time: 173.128 s c =============================================================================== c | 482 | 1081 1147 154072 | 5000 482 935 | 0.000 % | c =============================================================================== c New solution: 1826976 c Elapsed CPU time: 6.97194 s Remaining CPU time: 173.028 s c =============================================================================== c | 482 | 1081 1148 155029 | 5000 482 935 | 0.000 % | c =============================================================================== c New solution: 1826823 c Elapsed CPU time: 7.11692 s Remaining CPU time: 172.883 s c =============================================================================== c | 507 | 1081 1149 155986 | 5000 507 935 | 0.000 % | c =============================================================================== c New solution: 1826751 c Elapsed CPU time: 7.2249 s Remaining CPU time: 172.775 s c =============================================================================== c | 518 | 1081 1150 156943 | 5000 518 935 | 0.000 % | c =============================================================================== c New solution: 1826569 c Elapsed CPU time: 7.33488 s Remaining CPU time: 172.665 s c =============================================================================== c | 531 | 1081 1151 157900 | 5000 531 935 | 0.000 % | c =============================================================================== c New solution: 1826499 c Elapsed CPU time: 7.42387 s Remaining CPU time: 172.576 s c =============================================================================== c | 532 | 1081 1152 158857 | 5000 532 935 | 0.000 % | c =============================================================================== c New solution: 1826441 c Elapsed CPU time: 7.50986 s Remaining CPU time: 172.49 s c =============================================================================== c | 532 | 1081 1153 159814 | 5000 532 935 | 0.000 % | c =============================================================================== c New solution: 1826351 c Elapsed CPU time: 7.59984 s Remaining CPU time: 172.4 s c =============================================================================== c | 532 | 1081 1154 160771 | 5000 532 935 | 0.000 % | c =============================================================================== c New solution: 1826248 c Elapsed CPU time: 7.69383 s Remaining CPU time: 172.306 s c =============================================================================== c | 532 | 1081 1155 161728 | 5000 532 935 | 0.000 % | c =============================================================================== c New solution: 1826204 c Elapsed CPU time: 7.78482 s Remaining CPU time: 172.215 s c =============================================================================== c | 534 | 1081 1156 162685 | 5000 534 935 | 0.000 % | c =============================================================================== c New solution: 1826029 c Elapsed CPU time: 7.8788 s Remaining CPU time: 172.121 s c =============================================================================== c | 535 | 1081 1157 163642 | 5000 535 935 | 0.000 % | c =============================================================================== c New solution: 1825901 c Elapsed CPU time: 7.97379 s Remaining CPU time: 172.026 s c =============================================================================== c | 536 | 1081 1158 164599 | 5000 536 935 | 0.000 % | c =============================================================================== c New solution: 1825754 c Elapsed CPU time: 8.07677 s Remaining CPU time: 171.923 s c =============================================================================== c | 538 | 1081 1159 165556 | 5000 538 935 | 0.000 % | c =============================================================================== c New solution: 1825488 c Elapsed CPU time: 8.17776 s Remaining CPU time: 171.822 s c =============================================================================== c | 538 | 1081 1160 166513 | 5000 538 935 | 0.000 % | c =============================================================================== c New solution: 1825295 c Elapsed CPU time: 8.27074 s Remaining CPU time: 171.729 s c =============================================================================== c | 538 | 1081 1161 167470 | 5000 538 935 | 0.000 % | c =============================================================================== c New solution: 1825146 c Elapsed CPU time: 8.36273 s Remaining CPU time: 171.637 s c =============================================================================== c | 541 | 1081 1162 168427 | 5000 541 935 | 0.000 % | c =============================================================================== c New solution: 1825140 c Elapsed CPU time: 8.46571 s Remaining CPU time: 171.534 s c =============================================================================== c | 547 | 1081 1163 169384 | 5000 547 935 | 0.000 % | c =============================================================================== c New solution: 1825002 c Elapsed CPU time: 8.5607 s Remaining CPU time: 171.439 s c =============================================================================== c | 547 | 1081 1164 170341 | 5000 547 935 | 0.000 % | c =============================================================================== c New solution: 1824684 c Elapsed CPU time: 8.65468 s Remaining CPU time: 171.345 s c =============================================================================== c | 547 | 1081 1165 171298 | 5000 547 935 | 0.000 % | c =============================================================================== c New solution: 1824440 c Elapsed CPU time: 8.75867 s Remaining CPU time: 171.241 s c =============================================================================== c | 547 | 1081 1166 172255 | 5000 547 935 | 0.000 % | c =============================================================================== c New solution: 1824120 c Elapsed CPU time: 8.86765 s Remaining CPU time: 171.132 s c =============================================================================== c | 548 | 1081 1167 173212 | 5000 548 935 | 0.000 % | c =============================================================================== c New solution: 1823987 c Elapsed CPU time: 8.96764 s Remaining CPU time: 171.032 s c =============================================================================== c | 548 | 1081 1168 174169 | 5000 548 935 | 0.000 % | c =============================================================================== c New solution: 1823713 c Elapsed CPU time: 9.14461 s Remaining CPU time: 170.855 s c =============================================================================== c | 571 | 1081 1169 175126 | 5000 571 934 | 0.000 % | c =============================================================================== c New solution: 1823648 c Elapsed CPU time: 9.25559 s Remaining CPU time: 170.744 s c =============================================================================== c | 575 | 1081 1170 176083 | 5000 575 934 | 0.000 % | c =============================================================================== c New solution: 1823479 c Elapsed CPU time: 9.40857 s Remaining CPU time: 170.591 s c =============================================================================== c | 590 | 1081 1171 177040 | 5000 590 934 | 0.000 % | c =============================================================================== c New solution: 1823397 c Elapsed CPU time: 9.53755 s Remaining CPU time: 170.462 s c =============================================================================== c | 595 | 1081 1172 177997 | 5000 595 934 | 0.000 % | c =============================================================================== c New solution: 1823246 c Elapsed CPU time: 9.64753 s Remaining CPU time: 170.352 s c =============================================================================== c | 595 | 1081 1173 178954 | 5000 595 934 | 0.000 % | c =============================================================================== c New solution: 1823153 c Elapsed CPU time: 9.74952 s Remaining CPU time: 170.25 s c =============================================================================== c | 595 | 1081 1174 179911 | 5000 595 934 | 0.000 % | c =============================================================================== c New solution: 1823087 c Elapsed CPU time: 9.8505 s Remaining CPU time: 170.149 s c =============================================================================== c | 595 | 1081 1175 180868 | 5000 595 934 | 0.000 % | c =============================================================================== c New solution: 1822932 c Elapsed CPU time: 9.95549 s Remaining CPU time: 170.045 s c =============================================================================== c | 595 | 1081 1176 181825 | 5000 595 934 | 0.000 % | c =============================================================================== c New solution: 1822776 c Elapsed CPU time: 10.0605 s Remaining CPU time: 169.94 s c =============================================================================== c | 595 | 1081 1177 182782 | 5000 595 934 | 0.000 % | c =============================================================================== c New solution: 1822739 c Elapsed CPU time: 10.1625 s Remaining CPU time: 169.838 s c =============================================================================== c | 595 | 1081 1178 183739 | 5000 595 934 | 0.000 % | c =============================================================================== c New solution: 1822713 c Elapsed CPU time: 10.2604 s Remaining CPU time: 169.74 s c =============================================================================== c | 596 | 1081 1179 184696 | 5000 596 934 | 0.000 % | c =============================================================================== c New solution: 1822584 c Elapsed CPU time: 10.3814 s Remaining CPU time: 169.619 s c =============================================================================== c | 598 | 1081 1180 185653 | 5000 598 934 | 0.000 % | c =============================================================================== c New solution: 1822449 c Elapsed CPU time: 10.4974 s Remaining CPU time: 169.503 s c =============================================================================== c | 598 | 1081 1181 186610 | 5000 598 934 | 0.000 % | c =============================================================================== c New solution: 1822432 c Elapsed CPU time: 10.6184 s Remaining CPU time: 169.382 s c =============================================================================== c | 601 | 1081 1182 187567 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1822176 c Elapsed CPU time: 10.7364 s Remaining CPU time: 169.264 s c =============================================================================== c | 601 | 1081 1183 188524 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821984 c Elapsed CPU time: 10.8543 s Remaining CPU time: 169.146 s c =============================================================================== c | 601 | 1081 1184 189481 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821802 c Elapsed CPU time: 10.9603 s Remaining CPU time: 169.04 s c =============================================================================== c | 601 | 1081 1185 190438 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821794 c Elapsed CPU time: 11.0683 s Remaining CPU time: 168.932 s c =============================================================================== c | 601 | 1081 1186 191395 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821740 c Elapsed CPU time: 11.1853 s Remaining CPU time: 168.815 s c =============================================================================== c | 601 | 1081 1187 192352 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821635 c Elapsed CPU time: 11.2843 s Remaining CPU time: 168.716 s c =============================================================================== c | 601 | 1081 1188 193309 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821585 c Elapsed CPU time: 11.4243 s Remaining CPU time: 168.576 s c =============================================================================== c | 601 | 1081 1189 194266 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821229 c Elapsed CPU time: 11.5572 s Remaining CPU time: 168.443 s c =============================================================================== c | 601 | 1081 1190 195223 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1821036 c Elapsed CPU time: 11.6802 s Remaining CPU time: 168.32 s c =============================================================================== c | 601 | 1081 1191 196180 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1820889 c Elapsed CPU time: 11.7952 s Remaining CPU time: 168.205 s c =============================================================================== c | 601 | 1081 1192 197137 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1820803 c Elapsed CPU time: 11.9122 s Remaining CPU time: 168.088 s c =============================================================================== c | 601 | 1081 1193 198094 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1820610 c Elapsed CPU time: 12.0312 s Remaining CPU time: 167.969 s c =============================================================================== c | 601 | 1081 1194 199051 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1820602 c Elapsed CPU time: 12.1552 s Remaining CPU time: 167.845 s c =============================================================================== c | 601 | 1081 1195 200008 | 5000 601 934 | 0.000 % | c =============================================================================== c New solution: 1820589 c Elapsed CPU time: 12.3211 s Remaining CPU time: 167.679 s c =============================================================================== c | 614 | 1081 1196 200965 | 5000 614 934 | 0.000 % | c =============================================================================== c New solution: 1820531 c Elapsed CPU time: 12.4371 s Remaining CPU time: 167.563 s c =============================================================================== c | 614 | 1081 1197 201922 | 5000 614 934 | 0.000 % | c =============================================================================== c New solution: 1820397 c Elapsed CPU time: 12.5641 s Remaining CPU time: 167.436 s c =============================================================================== c | 621 | 1081 1198 202879 | 5000 621 934 | 0.000 % | c =============================================================================== c New solution: 1820385 c Elapsed CPU time: 12.6961 s Remaining CPU time: 167.304 s c =============================================================================== c | 626 | 1081 1199 203836 | 5000 626 934 | 0.000 % | c =============================================================================== c New solution: 1820256 c Elapsed CPU time: 12.8191 s Remaining CPU time: 167.181 s c =============================================================================== c | 627 | 1081 1200 204793 | 5000 627 934 | 0.000 % | c =============================================================================== c New solution: 1820085 c Elapsed CPU time: 12.955 s Remaining CPU time: 167.045 s c =============================================================================== c | 631 | 1081 1201 205750 | 5000 631 933 | 0.000 % | c =============================================================================== c New solution: 1819792 c Elapsed CPU time: 13.188 s Remaining CPU time: 166.812 s c =============================================================================== c | 659 | 1081 1202 206707 | 5000 659 933 | 0.000 % | c =============================================================================== c New solution: 1819599 c Elapsed CPU time: 13.31 s Remaining CPU time: 166.69 s c =============================================================================== c | 661 | 1081 1203 207664 | 5000 661 933 | 0.000 % | c =============================================================================== c New solution: 1819548 c Elapsed CPU time: 13.4809 s Remaining CPU time: 166.519 s c =============================================================================== c | 674 | 1081 1204 208621 | 5000 674 933 | 0.000 % | c =============================================================================== c New solution: 1819414 c Elapsed CPU time: 13.6069 s Remaining CPU time: 166.393 s c =============================================================================== c | 675 | 1081 1205 209578 | 5000 675 933 | 0.000 % | c =============================================================================== c New solution: 1819221 c Elapsed CPU time: 13.7449 s Remaining CPU time: 166.255 s c =============================================================================== c | 683 | 1081 1206 210535 | 5000 683 933 | 0.000 % | c =============================================================================== c New solution: 1819058 c Elapsed CPU time: 13.8779 s Remaining CPU time: 166.122 s c =============================================================================== c | 683 | 1081 1207 211492 | 5000 683 933 | 0.000 % | c =============================================================================== c New solution: 1818865 c Elapsed CPU time: 14.0119 s Remaining CPU time: 165.988 s c =============================================================================== c | 683 | 1081 1208 212449 | 5000 683 933 | 0.000 % | c =============================================================================== c New solution: 1818755 c Elapsed CPU time: 14.1588 s Remaining CPU time: 165.841 s c =============================================================================== c | 684 | 1081 1209 213406 | 5000 684 933 | 0.000 % | c =============================================================================== c New solution: 1818754 c Elapsed CPU time: 14.3268 s Remaining CPU time: 165.673 s c =============================================================================== c | 692 | 1081 1210 214363 | 5000 692 933 | 0.000 % | c =============================================================================== c New solution: 1818700 c Elapsed CPU time: 14.4768 s Remaining CPU time: 165.523 s c =============================================================================== c | 701 | 1081 1211 215320 | 5000 701 932 | 0.000 % | c =============================================================================== c New solution: 1818535 c Elapsed CPU time: 14.6758 s Remaining CPU time: 165.324 s c =============================================================================== c | 713 | 1081 1212 216277 | 5000 713 931 | 0.000 % | c =============================================================================== c New solution: 1818446 c Elapsed CPU time: 14.8407 s Remaining CPU time: 165.159 s c =============================================================================== c | 720 | 1081 1213 217234 | 5000 720 931 | 0.000 % | c =============================================================================== c New solution: 1818445 c Elapsed CPU time: 14.9827 s Remaining CPU time: 165.017 s c =============================================================================== c | 723 | 1081 1214 218191 | 5000 723 931 | 0.000 % | c =============================================================================== c New solution: 1818355 c Elapsed CPU time: 15.1427 s Remaining CPU time: 164.857 s c =============================================================================== c | 730 | 1081 1215 219148 | 5000 730 931 | 0.000 % | c =============================================================================== c New solution: 1818282 c Elapsed CPU time: 15.2667 s Remaining CPU time: 164.733 s c =============================================================================== c | 731 | 1081 1216 220105 | 5000 731 931 | 0.000 % | c =============================================================================== c New solution: 1818279 c Elapsed CPU time: 15.4027 s Remaining CPU time: 164.597 s c =============================================================================== c | 731 | 1081 1217 221062 | 5000 731 931 | 0.000 % | c =============================================================================== c New solution: 1818124 c Elapsed CPU time: 15.5436 s Remaining CPU time: 164.456 s c =============================================================================== c | 731 | 1081 1218 222019 | 5000 731 931 | 0.000 % | c =============================================================================== c New solution: 1818003 c Elapsed CPU time: 15.6786 s Remaining CPU time: 164.321 s c =============================================================================== c | 732 | 1081 1219 222976 | 5000 732 931 | 0.000 % | c =============================================================================== c New solution: 1817933 c Elapsed CPU time: 15.8116 s Remaining CPU time: 164.188 s c =============================================================================== c | 732 | 1081 1220 223933 | 5000 732 931 | 0.000 % | c =============================================================================== c New solution: 1817808 c Elapsed CPU time: 15.9576 s Remaining CPU time: 164.042 s c =============================================================================== c | 738 | 1081 1221 224890 | 5000 738 931 | 0.000 % | c =============================================================================== c New solution: 1817667 c Elapsed CPU time: 16.0926 s Remaining CPU time: 163.907 s c =============================================================================== c | 740 | 1081 1222 225847 | 5000 740 931 | 0.000 % | c =============================================================================== c New solution: 1817504 c Elapsed CPU time: 16.2265 s Remaining CPU time: 163.773 s c =============================================================================== c | 740 | 1081 1223 226804 | 5000 740 931 | 0.000 % | c =============================================================================== c New solution: 1817468 c Elapsed CPU time: 16.3925 s Remaining CPU time: 163.607 s c =============================================================================== c | 743 | 1081 1224 227761 | 5000 743 931 | 0.000 % | c =============================================================================== c New solution: 1817202 c Elapsed CPU time: 16.5395 s Remaining CPU time: 163.461 s c =============================================================================== c | 743 | 1081 1225 228718 | 5000 743 931 | 0.000 % | c =============================================================================== c New solution: 1817009 c Elapsed CPU time: 16.6945 s Remaining CPU time: 163.306 s c =============================================================================== c | 743 | 1081 1226 229675 | 5000 743 931 | 0.000 % | c =============================================================================== c New solution: 1816990 c Elapsed CPU time: 16.8464 s Remaining CPU time: 163.154 s c =============================================================================== c | 744 | 1081 1227 230632 | 5000 744 931 | 0.000 % | c =============================================================================== c New solution: 1816835 c Elapsed CPU time: 16.9914 s Remaining CPU time: 163.009 s c =============================================================================== c | 747 | 1081 1228 231589 | 5000 747 931 | 0.000 % | c =============================================================================== c New solution: 1816674 c Elapsed CPU time: 17.1334 s Remaining CPU time: 162.867 s c =============================================================================== c | 748 | 1081 1229 232546 | 5000 748 931 | 0.000 % | c =============================================================================== c New solution: 1816623 c Elapsed CPU time: 17.2854 s Remaining CPU time: 162.715 s c =============================================================================== c | 752 | 1081 1230 233503 | 5000 752 931 | 0.000 % | c =============================================================================== c New solution: 1816501 c Elapsed CPU time: 17.4244 s Remaining CPU time: 162.576 s c =============================================================================== c | 753 | 1081 1231 234460 | 5000 753 931 | 0.000 % | c =============================================================================== c New solution: 1816337 c Elapsed CPU time: 17.5823 s Remaining CPU time: 162.418 s c =============================================================================== c | 756 | 1081 1232 235417 | 5000 756 930 | 0.000 % | c =============================================================================== c New solution: 1816160 c Elapsed CPU time: 17.7263 s Remaining CPU time: 162.274 s c =============================================================================== c | 756 | 1081 1233 236374 | 5000 756 930 | 0.000 % | c =============================================================================== c New solution: 1815842 c Elapsed CPU time: 17.8663 s Remaining CPU time: 162.134 s c =============================================================================== c | 756 | 1081 1234 237331 | 5000 756 930 | 0.000 % | c =============================================================================== c New solution: 1815649 c Elapsed CPU time: 18.0063 s Remaining CPU time: 161.994 s c =============================================================================== c | 756 | 1081 1235 238288 | 5000 756 930 | 0.000 % | c =============================================================================== c New solution: 1815627 c Elapsed CPU time: 18.2102 s Remaining CPU time: 161.79 s c =============================================================================== c | 772 | 1081 1236 239245 | 5000 772 930 | 0.000 % | c =============================================================================== c New solution: 1815473 c Elapsed CPU time: 18.3542 s Remaining CPU time: 161.646 s c =============================================================================== c | 772 | 1081 1237 240202 | 5000 772 930 | 0.000 % | c =============================================================================== c New solution: 1815420 c Elapsed CPU time: 18.4992 s Remaining CPU time: 161.501 s c =============================================================================== c | 772 | 1081 1238 241159 | 5000 772 930 | 0.000 % | c =============================================================================== c New solution: 1815290 c Elapsed CPU time: 18.6532 s Remaining CPU time: 161.347 s c =============================================================================== c | 772 | 1081 1239 242116 | 5000 772 930 | 0.000 % | c =============================================================================== c New solution: 1815216 c Elapsed CPU time: 18.8201 s Remaining CPU time: 161.18 s c =============================================================================== c | 779 | 1081 1240 243073 | 5000 779 930 | 0.000 % | c =============================================================================== c New solution: 1815145 c Elapsed CPU time: 18.9591 s Remaining CPU time: 161.041 s c =============================================================================== c | 779 | 1081 1241 244030 | 5000 779 930 | 0.000 % | c =============================================================================== c New solution: 1815026 c Elapsed CPU time: 19.1071 s Remaining CPU time: 160.893 s c =============================================================================== c | 779 | 1081 1242 244987 | 5000 779 930 | 0.000 % | c =============================================================================== c New solution: 1814887 c Elapsed CPU time: 19.2541 s Remaining CPU time: 160.746 s c =============================================================================== c | 780 | 1081 1243 245944 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1814741 c Elapsed CPU time: 19.416 s Remaining CPU time: 160.584 s c =============================================================================== c | 780 | 1081 1244 246901 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1814687 c Elapsed CPU time: 19.57 s Remaining CPU time: 160.43 s c =============================================================================== c | 780 | 1081 1245 247858 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1814650 c Elapsed CPU time: 19.736 s Remaining CPU time: 160.264 s c =============================================================================== c | 780 | 1081 1246 248815 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1814627 c Elapsed CPU time: 19.907 s Remaining CPU time: 160.093 s c =============================================================================== c | 780 | 1081 1247 249772 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1814400 c Elapsed CPU time: 20.0789 s Remaining CPU time: 159.921 s c =============================================================================== c | 780 | 1081 1248 250729 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1814294 c Elapsed CPU time: 20.2429 s Remaining CPU time: 159.757 s c =============================================================================== c | 780 | 1081 1249 251686 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1813981 c Elapsed CPU time: 20.4169 s Remaining CPU time: 159.583 s c =============================================================================== c | 780 | 1081 1250 252643 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1813845 c Elapsed CPU time: 20.5729 s Remaining CPU time: 159.427 s c =============================================================================== c | 780 | 1081 1251 253600 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1813703 c Elapsed CPU time: 20.7218 s Remaining CPU time: 159.278 s c =============================================================================== c | 780 | 1081 1252 254557 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1813457 c Elapsed CPU time: 20.8778 s Remaining CPU time: 159.122 s c =============================================================================== c | 780 | 1081 1253 255514 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1813347 c Elapsed CPU time: 21.0338 s Remaining CPU time: 158.966 s c =============================================================================== c | 780 | 1081 1254 256471 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1813287 c Elapsed CPU time: 21.1998 s Remaining CPU time: 158.8 s c =============================================================================== c | 780 | 1081 1255 257428 | 5000 780 929 | 0.000 % | c =============================================================================== c New solution: 1813132 c Elapsed CPU time: 21.3887 s Remaining CPU time: 158.611 s c =============================================================================== c | 785 | 1081 1256 258385 | 5000 785 929 | 0.000 % | c =============================================================================== c New solution: 1813096 c Elapsed CPU time: 21.5567 s Remaining CPU time: 158.443 s c =============================================================================== c | 785 | 1081 1257 259342 | 5000 785 929 | 0.000 % | c =============================================================================== c New solution: 1812933 c Elapsed CPU time: 21.7157 s Remaining CPU time: 158.284 s c =============================================================================== c | 785 | 1081 1258 260299 | 5000 785 929 | 0.000 % | c =============================================================================== c New solution: 1812829 c Elapsed CPU time: 21.9347 s Remaining CPU time: 158.065 s c =============================================================================== c | 797 | 1081 1259 261256 | 5000 797 929 | 0.000 % | c =============================================================================== c New solution: 1812785 c Elapsed CPU time: 22.1216 s Remaining CPU time: 157.878 s c =============================================================================== c | 800 | 1081 1260 262213 | 5000 800 929 | 0.000 % | c =============================================================================== c New solution: 1812718 c Elapsed CPU time: 22.2906 s Remaining CPU time: 157.709 s c =============================================================================== c | 801 | 1081 1261 263170 | 5000 801 929 | 0.000 % | c =============================================================================== c New solution: 1812525 c Elapsed CPU time: 22.4526 s Remaining CPU time: 157.547 s c =============================================================================== c | 801 | 1081 1262 264127 | 5000 801 929 | 0.000 % | c =============================================================================== c New solution: 1812479 c Elapsed CPU time: 22.6876 s Remaining CPU time: 157.312 s c =============================================================================== c | 822 | 1081 1263 265084 | 5000 822 929 | 0.000 % | c =============================================================================== c New solution: 1812366 c Elapsed CPU time: 22.8625 s Remaining CPU time: 157.137 s c =============================================================================== c | 824 | 1081 1264 266041 | 5000 824 929 | 0.000 % | c =============================================================================== c New solution: 1812277 c Elapsed CPU time: 23.0585 s Remaining CPU time: 156.942 s c =============================================================================== c | 831 | 1081 1265 266998 | 5000 831 928 | 0.000 % | c =============================================================================== c New solution: 1812169 c Elapsed CPU time: 23.2355 s Remaining CPU time: 156.765 s c =============================================================================== c | 833 | 1081 1266 267955 | 5000 833 928 | 0.000 % | c =============================================================================== c New solution: 1812091 c Elapsed CPU time: 23.4544 s Remaining CPU time: 156.546 s c =============================================================================== c | 846 | 1081 1267 268912 | 5000 846 928 | 0.000 % | c =============================================================================== c New solution: 1811986 c Elapsed CPU time: 23.6264 s Remaining CPU time: 156.374 s c =============================================================================== c | 846 | 1081 1268 269869 | 5000 846 928 | 0.000 % | c =============================================================================== c New solution: 1811922 c Elapsed CPU time: 23.8074 s Remaining CPU time: 156.193 s c =============================================================================== c | 846 | 1081 1269 270826 | 5000 846 928 | 0.000 % | c =============================================================================== c New solution: 1811906 c Elapsed CPU time: 23.9834 s Remaining CPU time: 156.017 s c =============================================================================== c | 846 | 1081 1270 271783 | 5000 846 928 | 0.000 % | c =============================================================================== c New solution: 1811752 c Elapsed CPU time: 24.1883 s Remaining CPU time: 155.812 s c =============================================================================== c | 852 | 1081 1271 272740 | 5000 852 928 | 0.000 % | c =============================================================================== c New solution: 1811731 c Elapsed CPU time: 24.3593 s Remaining CPU time: 155.641 s c =============================================================================== c | 852 | 1081 1272 273697 | 5000 852 928 | 0.000 % | c =============================================================================== c New solution: 1811656 c Elapsed CPU time: 24.5283 s Remaining CPU time: 155.472 s c =============================================================================== c | 852 | 1081 1273 274654 | 5000 852 928 | 0.000 % | c =============================================================================== c New solution: 1811568 c Elapsed CPU time: 24.6962 s Remaining CPU time: 155.304 s c =============================================================================== c | 852 | 1081 1274 275611 | 5000 852 928 | 0.000 % | c =============================================================================== c New solution: 1811416 c Elapsed CPU time: 24.9002 s Remaining CPU time: 155.1 s c =============================================================================== c | 856 | 1081 1275 276568 | 5000 856 928 | 0.000 % | c =============================================================================== c New solution: 1811318 c Elapsed CPU time: 25.0862 s Remaining CPU time: 154.914 s c =============================================================================== c | 857 | 1081 1276 277525 | 5000 857 928 | 0.000 % | c =============================================================================== c New solution: 1811231 c Elapsed CPU time: 25.2622 s Remaining CPU time: 154.738 s c =============================================================================== c | 857 | 1081 1277 278482 | 5000 857 928 | 0.000 % | c =============================================================================== c New solution: 1811162 c Elapsed CPU time: 25.4911 s Remaining CPU time: 154.509 s c =============================================================================== c | 861 | 1081 1278 279439 | 5000 861 928 | 0.000 % | c =============================================================================== c New solution: 1811092 c Elapsed CPU time: 25.6851 s Remaining CPU time: 154.315 s c =============================================================================== c | 865 | 1081 1279 280396 | 5000 865 928 | 0.000 % | c =============================================================================== c New solution: 1810926 c Elapsed CPU time: 25.9011 s Remaining CPU time: 154.099 s c =============================================================================== c | 870 | 1081 1280 281353 | 5000 870 928 | 0.000 % | c =============================================================================== c New solution: 1810855 c Elapsed CPU time: 26.098 s Remaining CPU time: 153.902 s c =============================================================================== c | 875 | 1081 1281 282310 | 5000 875 928 | 0.000 % | c =============================================================================== c New solution: 1810694 c Elapsed CPU time: 26.339 s Remaining CPU time: 153.661 s c =============================================================================== c | 883 | 1081 1282 283267 | 5000 883 928 | 0.000 % | c =============================================================================== c New solution: 1810569 c Elapsed CPU time: 26.581 s Remaining CPU time: 153.419 s c =============================================================================== c | 891 | 1081 1283 284224 | 5000 891 928 | 0.000 % | c =============================================================================== c New solution: 1810274 c Elapsed CPU time: 26.8159 s Remaining CPU time: 153.184 s c =============================================================================== c | 900 | 1081 1284 285181 | 5000 900 928 | 0.000 % | c =============================================================================== c New solution: 1810183 c Elapsed CPU time: 26.9919 s Remaining CPU time: 153.008 s c =============================================================================== c | 900 | 1081 1285 286138 | 5000 900 928 | 0.000 % | c =============================================================================== c New solution: 1809981 c Elapsed CPU time: 27.2189 s Remaining CPU time: 152.781 s c =============================================================================== c | 918 | 1081 1286 287095 | 5000 918 928 | 0.000 % | c =============================================================================== c New solution: 1809876 c Elapsed CPU time: 27.4438 s Remaining CPU time: 152.556 s c =============================================================================== c | 920 | 1081 1287 288052 | 5000 920 928 | 0.000 % | c =============================================================================== c New solution: 1809693 c Elapsed CPU time: 27.7408 s Remaining CPU time: 152.259 s c =============================================================================== c | 940 | 1081 1288 289009 | 5000 940 927 | 0.000 % | c =============================================================================== c New solution: 1809615 c Elapsed CPU time: 27.9557 s Remaining CPU time: 152.044 s c =============================================================================== c | 946 | 1081 1289 289966 | 5000 946 927 | 0.000 % | c =============================================================================== c New solution: 1809529 c Elapsed CPU time: 28.1587 s Remaining CPU time: 151.841 s c =============================================================================== c | 947 | 1081 1290 290923 | 5000 947 927 | 0.000 % | c =============================================================================== c New solution: 1809487 c Elapsed CPU time: 28.3467 s Remaining CPU time: 151.653 s c =============================================================================== c | 947 | 1081 1291 291880 | 5000 947 927 | 0.000 % | c =============================================================================== c New solution: 1809330 c Elapsed CPU time: 28.5267 s Remaining CPU time: 151.473 s c =============================================================================== c | 947 | 1081 1292 292837 | 5000 947 927 | 0.000 % | c =============================================================================== c New solution: 1809156 c Elapsed CPU time: 28.7076 s Remaining CPU time: 151.292 s c =============================================================================== c | 947 | 1081 1293 293794 | 5000 947 927 | 0.000 % | c =============================================================================== c New solution: 1809112 c Elapsed CPU time: 28.8856 s Remaining CPU time: 151.114 s c =============================================================================== c | 947 | 1081 1294 294751 | 5000 947 927 | 0.000 % | c =============================================================================== c New solution: 1809037 c Elapsed CPU time: 29.0736 s Remaining CPU time: 150.926 s c =============================================================================== c | 947 | 1081 1295 295708 | 5000 947 927 | 0.000 % | c =============================================================================== c New solution: 1809027 c Elapsed CPU time: 29.2695 s Remaining CPU time: 150.73 s c =============================================================================== c | 947 | 1081 1296 296665 | 5000 947 927 | 0.000 % | c =============================================================================== c New solution: 1808986 c Elapsed CPU time: 29.4565 s Remaining CPU time: 150.543 s c =============================================================================== c | 948 | 1081 1297 297622 | 5000 948 927 | 0.000 % | c =============================================================================== c New solution: 1808945 c Elapsed CPU time: 29.6355 s Remaining CPU time: 150.365 s c =============================================================================== c | 948 | 1081 1298 298579 | 5000 948 927 | 0.000 % | c =============================================================================== c New solution: 1808844 c Elapsed CPU time: 29.8315 s Remaining CPU time: 150.169 s c =============================================================================== c | 949 | 1081 1299 299536 | 5000 949 927 | 0.000 % | c =============================================================================== c New solution: 1808841 c Elapsed CPU time: 30.0294 s Remaining CPU time: 149.971 s c =============================================================================== c | 949 | 1081 1300 300493 | 5000 949 927 | 0.000 % | c =============================================================================== c New solution: 1808711 c Elapsed CPU time: 30.2574 s Remaining CPU time: 149.743 s c =============================================================================== c | 954 | 1081 1301 301450 | 5000 954 927 | 0.000 % | c =============================================================================== c New solution: 1808561 c Elapsed CPU time: 30.5194 s Remaining CPU time: 149.481 s c =============================================================================== c | 975 | 1081 1302 302407 | 5000 975 927 | 0.000 % | c =============================================================================== c New solution: 1808530 c Elapsed CPU time: 30.7333 s Remaining CPU time: 149.267 s c =============================================================================== c | 977 | 1081 1303 303364 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1808529 c Elapsed CPU time: 30.9503 s Remaining CPU time: 149.05 s c =============================================================================== c | 977 | 1081 1304 304321 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1808324 c Elapsed CPU time: 31.1383 s Remaining CPU time: 148.862 s c =============================================================================== c | 977 | 1081 1305 305278 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1808181 c Elapsed CPU time: 31.3322 s Remaining CPU time: 148.668 s c =============================================================================== c | 977 | 1081 1306 306235 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1808149 c Elapsed CPU time: 31.5362 s Remaining CPU time: 148.464 s c =============================================================================== c | 977 | 1081 1307 307192 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1808099 c Elapsed CPU time: 31.7382 s Remaining CPU time: 148.262 s c =============================================================================== c | 977 | 1081 1308 308149 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1807942 c Elapsed CPU time: 31.9421 s Remaining CPU time: 148.058 s c =============================================================================== c | 977 | 1081 1309 309106 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1807786 c Elapsed CPU time: 32.1531 s Remaining CPU time: 147.847 s c =============================================================================== c | 977 | 1081 1310 310063 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1807775 c Elapsed CPU time: 32.3471 s Remaining CPU time: 147.653 s c =============================================================================== c | 977 | 1081 1311 311020 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1807727 c Elapsed CPU time: 32.5311 s Remaining CPU time: 147.469 s c =============================================================================== c | 977 | 1081 1312 311977 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1807538 c Elapsed CPU time: 32.719 s Remaining CPU time: 147.281 s c =============================================================================== c | 977 | 1081 1313 312934 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1807507 c Elapsed CPU time: 32.911 s Remaining CPU time: 147.089 s c =============================================================================== c | 977 | 1081 1314 313891 | 5000 977 927 | 0.000 % | c =============================================================================== c New solution: 1807444 c Elapsed CPU time: 33.109 s Remaining CPU time: 146.891 s c =============================================================================== c | 979 | 1081 1315 314848 | 5000 979 927 | 0.000 % | c =============================================================================== c New solution: 1807261 c Elapsed CPU time: 33.3419 s Remaining CPU time: 146.658 s c =============================================================================== c | 985 | 1081 1316 315805 | 5000 985 927 | 0.000 % | c =============================================================================== c New solution: 1807217 c Elapsed CPU time: 33.5399 s Remaining CPU time: 146.46 s c =============================================================================== c | 985 | 1081 1317 316762 | 5000 985 927 | 0.000 % | c =============================================================================== c New solution: 1807155 c Elapsed CPU time: 33.7529 s Remaining CPU time: 146.247 s c =============================================================================== c | 985 | 1081 1318 317719 | 5000 985 927 | 0.000 % | c =============================================================================== c New solution: 1807000 c Elapsed CPU time: 33.9688 s Remaining CPU time: 146.031 s c =============================================================================== c | 985 | 1081 1319 318676 | 5000 985 927 | 0.000 % | c =============================================================================== c New solution: 1806959 c Elapsed CPU time: 34.2958 s Remaining CPU time: 145.704 s c =============================================================================== c | 1010 | 1081 1320 319633 | 5000 1010 927 | 0.000 % | c =============================================================================== c New solution: 1806857 c Elapsed CPU time: 34.5937 s Remaining CPU time: 145.406 s c =============================================================================== c | 1024 | 1081 1321 320590 | 5000 1024 927 | 0.000 % | c =============================================================================== c New solution: 1806717 c Elapsed CPU time: 34.8867 s Remaining CPU time: 145.113 s c =============================================================================== c | 1040 | 1081 1322 321547 | 5000 1040 926 | 0.000 % | c =============================================================================== c New solution: 1806562 c Elapsed CPU time: 35.0987 s Remaining CPU time: 144.901 s c =============================================================================== c | 1040 | 1081 1323 322504 | 5000 1040 926 | 0.000 % | c =============================================================================== c New solution: 1806455 c Elapsed CPU time: 35.3106 s Remaining CPU time: 144.689 s c =============================================================================== c | 1040 | 1081 1324 323461 | 5000 1040 926 | 0.000 % | c =============================================================================== c New solution: 1806399 c Elapsed CPU time: 35.5246 s Remaining CPU time: 144.475 s c =============================================================================== c | 1040 | 1081 1325 324418 | 5000 1040 926 | 0.000 % | c =============================================================================== c New solution: 1806374 c Elapsed CPU time: 35.7396 s Remaining CPU time: 144.26 s c =============================================================================== c | 1041 | 1081 1326 325375 | 5000 1041 926 | 0.000 % | c =============================================================================== c New solution: 1806279 c Elapsed CPU time: 35.9595 s Remaining CPU time: 144.04 s c =============================================================================== c | 1041 | 1081 1327 326332 | 5000 1041 926 | 0.000 % | c =============================================================================== c New solution: 1806116 c Elapsed CPU time: 36.1965 s Remaining CPU time: 143.804 s c =============================================================================== c | 1041 | 1081 1328 327289 | 5000 1041 926 | 0.000 % | c =============================================================================== c New solution: 1806068 c Elapsed CPU time: 36.4345 s Remaining CPU time: 143.566 s c =============================================================================== c | 1042 | 1081 1329 328246 | 5000 1042 926 | 0.000 % | c =============================================================================== c New solution: 1806050 c Elapsed CPU time: 36.6374 s Remaining CPU time: 143.363 s c =============================================================================== c | 1042 | 1081 1330 329203 | 5000 1042 926 | 0.000 % | c =============================================================================== c New solution: 1805980 c Elapsed CPU time: 36.9044 s Remaining CPU time: 143.096 s c =============================================================================== c | 1051 | 1081 1331 330160 | 5000 1051 926 | 0.000 % | c =============================================================================== c New solution: 1805930 c Elapsed CPU time: 37.1464 s Remaining CPU time: 142.854 s c =============================================================================== c | 1052 | 1081 1332 331117 | 5000 1052 926 | 0.000 % | c =============================================================================== c New solution: 1805794 c Elapsed CPU time: 37.3843 s Remaining CPU time: 142.616 s c =============================================================================== c | 1054 | 1081 1333 332074 | 5000 1054 926 | 0.000 % | c =============================================================================== c New solution: 1805781 c Elapsed CPU time: 37.6153 s Remaining CPU time: 142.385 s c =============================================================================== c | 1055 | 1081 1334 333031 | 5000 1055 926 | 0.000 % | c =============================================================================== c New solution: 1805650 c Elapsed CPU time: 37.9542 s Remaining CPU time: 142.046 s c =============================================================================== c | 1079 | 1081 1335 333988 | 5000 1079 926 | 0.000 % | c =============================================================================== c New solution: 1805560 c Elapsed CPU time: 38.2242 s Remaining CPU time: 141.776 s c =============================================================================== c | 1089 | 1081 1336 334945 | 5000 1089 926 | 0.000 % | c =============================================================================== c New solution: 1805408 c Elapsed CPU time: 38.4871 s Remaining CPU time: 141.513 s c =============================================================================== c | 1099 | 1081 1337 335902 | 5000 1099 926 | 0.000 % | c =============================================================================== c New solution: 1805379 c Elapsed CPU time: 38.7401 s Remaining CPU time: 141.26 s c =============================================================================== c | 1104 | 1081 1338 336859 | 5000 1104 926 | 0.000 % | c =============================================================================== c New solution: 1805339 c Elapsed CPU time: 38.9691 s Remaining CPU time: 141.031 s c =============================================================================== c | 1104 | 1081 1339 337816 | 5000 1104 926 | 0.000 % | c =============================================================================== c New solution: 1805270 c Elapsed CPU time: 39.193 s Remaining CPU time: 140.807 s c =============================================================================== c | 1104 | 1081 1340 338773 | 5000 1104 926 | 0.000 % | c =============================================================================== c New solution: 1805185 c Elapsed CPU time: 39.419 s Remaining CPU time: 140.581 s c =============================================================================== c | 1104 | 1081 1341 339730 | 5000 1104 926 | 0.000 % | c =============================================================================== c New solution: 1805092 c Elapsed CPU time: 39.645 s Remaining CPU time: 140.355 s c =============================================================================== c | 1104 | 1081 1342 340687 | 5000 1104 926 | 0.000 % | c =============================================================================== c New solution: 1805057 c Elapsed CPU time: 39.8599 s Remaining CPU time: 140.14 s c =============================================================================== c | 1104 | 1081 1343 341644 | 5000 1104 926 | 0.000 % | c =============================================================================== c New solution: 1804875 c Elapsed CPU time: 40.0729 s Remaining CPU time: 139.927 s c =============================================================================== c | 1104 | 1081 1344 342601 | 5000 1104 926 | 0.000 % | c =============================================================================== c New solution: 1804755 c Elapsed CPU time: 40.3089 s Remaining CPU time: 139.691 s c =============================================================================== c | 1108 | 1081 1345 343558 | 5000 1108 926 | 0.000 % | c =============================================================================== c New solution: 1804675 c Elapsed CPU time: 40.5228 s Remaining CPU time: 139.477 s c =============================================================================== c | 1109 | 1081 1346 344515 | 5000 1109 926 | 0.000 % | c =============================================================================== c New solution: 1804571 c Elapsed CPU time: 40.7458 s Remaining CPU time: 139.254 s c =============================================================================== c | 1109 | 1081 1347 345472 | 5000 1109 926 | 0.000 % | c =============================================================================== c New solution: 1804362 c Elapsed CPU time: 40.9758 s Remaining CPU time: 139.024 s c =============================================================================== c | 1109 | 1081 1348 346429 | 5000 1109 926 | 0.000 % | c =============================================================================== c New solution: 1804257 c Elapsed CPU time: 41.2147 s Remaining CPU time: 138.785 s c =============================================================================== c | 1109 | 1081 1349 347386 | 5000 1109 926 | 0.000 % | c =============================================================================== c New solution: 1804116 c Elapsed CPU time: 41.4427 s Remaining CPU time: 138.557 s c =============================================================================== c | 1109 | 1081 1350 348343 | 5000 1109 926 | 0.000 % | c =============================================================================== c New solution: 1803994 c Elapsed CPU time: 41.6797 s Remaining CPU time: 138.32 s c =============================================================================== c | 1112 | 1081 1351 349300 | 5000 1112 926 | 0.000 % | c =============================================================================== c New solution: 1803946 c Elapsed CPU time: 42.0296 s Remaining CPU time: 137.97 s c =============================================================================== c | 1133 | 1081 1352 350257 | 5000 1133 926 | 0.000 % | c =============================================================================== c New solution: 1803744 c Elapsed CPU time: 42.3016 s Remaining CPU time: 137.698 s c =============================================================================== c | 1146 | 1081 1353 351214 | 5000 1146 926 | 0.000 % | c =============================================================================== c New solution: 1803588 c Elapsed CPU time: 42.5285 s Remaining CPU time: 137.471 s c =============================================================================== c | 1146 | 1081 1354 352171 | 5000 1146 926 | 0.000 % | c =============================================================================== c New solution: 1803551 c Elapsed CPU time: 42.7775 s Remaining CPU time: 137.223 s c =============================================================================== c | 1146 | 1081 1355 353128 | 5000 1146 926 | 0.000 % | c =============================================================================== c New solution: 1803413 c Elapsed CPU time: 43.0145 s Remaining CPU time: 136.986 s c =============================================================================== c | 1146 | 1081 1356 354085 | 5000 1146 926 | 0.000 % | c =============================================================================== c New solution: 1803230 c Elapsed CPU time: 43.2524 s Remaining CPU time: 136.748 s c =============================================================================== c | 1146 | 1081 1357 355042 | 5000 1146 926 | 0.000 % | c =============================================================================== c New solution: 1803148 c Elapsed CPU time: 43.4864 s Remaining CPU time: 136.514 s c =============================================================================== c | 1146 | 1081 1358 355999 | 5000 1146 926 | 0.000 % | c =============================================================================== c New solution: 1802906 c Elapsed CPU time: 43.7413 s Remaining CPU time: 136.259 s c =============================================================================== c | 1147 | 1081 1359 356956 | 5000 1147 925 | 0.000 % | c =============================================================================== c New solution: 1802608 c Elapsed CPU time: 43.9763 s Remaining CPU time: 136.024 s c =============================================================================== c | 1147 | 1081 1360 357913 | 5000 1147 925 | 0.000 % | c =============================================================================== c New solution: 1802604 c Elapsed CPU time: 44.2103 s Remaining CPU time: 135.79 s c =============================================================================== c | 1147 | 1081 1361 358870 | 5000 1147 925 | 0.000 % | c =============================================================================== c New solution: 1802577 c Elapsed CPU time: 44.5062 s Remaining CPU time: 135.494 s c =============================================================================== c | 1155 | 1081 1362 359827 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802474 c Elapsed CPU time: 44.7422 s Remaining CPU time: 135.258 s c =============================================================================== c | 1155 | 1081 1363 360784 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802468 c Elapsed CPU time: 44.9832 s Remaining CPU time: 135.017 s c =============================================================================== c | 1155 | 1081 1364 361741 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802338 c Elapsed CPU time: 45.2211 s Remaining CPU time: 134.779 s c =============================================================================== c | 1155 | 1081 1365 362698 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802336 c Elapsed CPU time: 45.4701 s Remaining CPU time: 134.53 s c =============================================================================== c | 1155 | 1081 1366 363655 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802282 c Elapsed CPU time: 45.718 s Remaining CPU time: 134.282 s c =============================================================================== c | 1155 | 1081 1367 364612 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802233 c Elapsed CPU time: 45.951 s Remaining CPU time: 134.049 s c =============================================================================== c | 1155 | 1081 1368 365569 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802187 c Elapsed CPU time: 46.199 s Remaining CPU time: 133.801 s c =============================================================================== c | 1155 | 1081 1369 366526 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802048 c Elapsed CPU time: 46.4409 s Remaining CPU time: 133.559 s c =============================================================================== c | 1155 | 1081 1370 367483 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1802019 c Elapsed CPU time: 46.6899 s Remaining CPU time: 133.31 s c =============================================================================== c | 1155 | 1081 1371 368440 | 5000 1155 925 | 0.000 % | c =============================================================================== c New solution: 1801864 c Elapsed CPU time: 47.0189 s Remaining CPU time: 132.981 s c =============================================================================== c | 1171 | 1081 1372 369397 | 5000 1171 925 | 0.000 % | c =============================================================================== c New solution: 1801693 c Elapsed CPU time: 47.3688 s Remaining CPU time: 132.631 s c =============================================================================== c | 1197 | 1081 1373 370354 | 5000 1197 925 | 0.000 % | c =============================================================================== c New solution: 1801659 c Elapsed CPU time: 47.6118 s Remaining CPU time: 132.388 s c =============================================================================== c | 1198 | 1081 1374 371311 | 5000 1198 925 | 0.000 % | c =============================================================================== c New solution: 1801466 c Elapsed CPU time: 47.8567 s Remaining CPU time: 132.143 s c =============================================================================== c | 1199 | 1081 1375 372268 | 5000 1199 925 | 0.000 % | c =============================================================================== c New solution: 1801354 c Elapsed CPU time: 48.0987 s Remaining CPU time: 131.901 s c =============================================================================== c | 1200 | 1081 1376 373225 | 5000 1200 925 | 0.000 % | c =============================================================================== c New solution: 1801320 c Elapsed CPU time: 48.3716 s Remaining CPU time: 131.628 s c =============================================================================== c | 1205 | 1081 1377 374182 | 5000 1205 925 | 0.000 % | c =============================================================================== c New solution: 1801300 c Elapsed CPU time: 48.6336 s Remaining CPU time: 131.366 s c =============================================================================== c | 1205 | 1081 1378 375139 | 5000 1205 925 | 0.000 % | c =============================================================================== c New solution: 1801152 c Elapsed CPU time: 48.9086 s Remaining CPU time: 131.091 s c =============================================================================== c | 1211 | 1081 1379 376096 | 5000 1211 925 | 0.000 % | c =============================================================================== c New solution: 1801147 c Elapsed CPU time: 49.1615 s Remaining CPU time: 130.838 s c =============================================================================== c | 1212 | 1081 1380 377053 | 5000 1212 925 | 0.000 % | c =============================================================================== c New solution: 1801093 c Elapsed CPU time: 49.4755 s Remaining CPU time: 130.525 s c =============================================================================== c | 1227 | 1081 1381 378010 | 5000 1227 925 | 0.000 % | c =============================================================================== c New solution: 1801030 c Elapsed CPU time: 49.7374 s Remaining CPU time: 130.263 s c =============================================================================== c | 1234 | 1081 1382 378967 | 5000 1234 925 | 0.000 % | c =============================================================================== c New solution: 1800998 c Elapsed CPU time: 50.0784 s Remaining CPU time: 129.922 s c =============================================================================== c | 1251 | 1081 1383 379924 | 5000 1251 925 | 0.000 % | c =============================================================================== c New solution: 1800961 c Elapsed CPU time: 50.4263 s Remaining CPU time: 129.574 s c =============================================================================== c | 1273 | 1081 1384 380881 | 5000 1273 924 | 0.000 % | c =============================================================================== c New solution: 1800957 c Elapsed CPU time: 50.6713 s Remaining CPU time: 129.329 s c =============================================================================== c | 1276 | 1081 1385 381838 | 5000 1276 924 | 0.000 % | c =============================================================================== c New solution: 1800947 c Elapsed CPU time: 50.9233 s Remaining CPU time: 129.077 s c =============================================================================== c | 1281 | 1081 1386 382795 | 5000 1281 924 | 0.000 % | c =============================================================================== c New solution: 1800846 c Elapsed CPU time: 51.1712 s Remaining CPU time: 128.829 s c =============================================================================== c | 1288 | 1081 1387 383752 | 5000 1288 924 | 0.000 % | c =============================================================================== c New solution: 1800785 c Elapsed CPU time: 51.3762 s Remaining CPU time: 128.624 s c =============================================================================== c | 1294 | 1081 1388 384709 | 5000 1294 924 | 0.000 % | c =============================================================================== c New solution: 1800592 c Elapsed CPU time: 51.5662 s Remaining CPU time: 128.434 s c =============================================================================== c | 1294 | 1081 1389 385666 | 5000 1294 924 | 0.000 % | c =============================================================================== c New solution: 1800412 c Elapsed CPU time: 51.7651 s Remaining CPU time: 128.235 s c =============================================================================== c | 1295 | 1081 1390 386623 | 5000 1295 924 | 0.000 % | c =============================================================================== c New solution: 1800351 c Elapsed CPU time: 51.9911 s Remaining CPU time: 128.009 s c =============================================================================== c | 1300 | 1081 1391 387580 | 5000 1300 924 | 0.000 % | c =============================================================================== c New solution: 1800196 c Elapsed CPU time: 52.2531 s Remaining CPU time: 127.747 s c =============================================================================== c | 1306 | 1081 1392 388537 | 5000 1306 924 | 0.000 % | c =============================================================================== c New solution: 1800026 c Elapsed CPU time: 52.642 s Remaining CPU time: 127.358 s c =============================================================================== c | 1344 | 1081 1393 389494 | 5000 1344 924 | 0.000 % | c =============================================================================== c New solution: 1799789 c Elapsed CPU time: 52.86 s Remaining CPU time: 127.14 s c =============================================================================== c | 1344 | 1081 1394 390451 | 5000 1344 924 | 0.000 % | c =============================================================================== c New solution: 1799697 c Elapsed CPU time: 53.1729 s Remaining CPU time: 126.827 s c =============================================================================== c | 1357 | 1081 1395 391408 | 5000 1357 924 | 0.000 % | c =============================================================================== c New solution: 1799543 c Elapsed CPU time: 53.5809 s Remaining CPU time: 126.419 s c =============================================================================== c | 1391 | 1081 1396 392365 | 5000 1391 923 | 0.000 % | c =============================================================================== c New solution: 1799240 c Elapsed CPU time: 53.8678 s Remaining CPU time: 126.132 s c =============================================================================== c | 1402 | 1081 1397 393322 | 5000 1402 923 | 0.000 % | c =============================================================================== c New solution: 1799203 c Elapsed CPU time: 54.0988 s Remaining CPU time: 125.901 s c =============================================================================== c | 1408 | 1081 1398 394279 | 5000 1408 923 | 0.000 % | c =============================================================================== c New solution: 1799076 c Elapsed CPU time: 54.3637 s Remaining CPU time: 125.636 s c =============================================================================== c | 1414 | 1081 1399 395236 | 5000 1414 923 | 0.000 % | c =============================================================================== c New solution: 1798942 c Elapsed CPU time: 54.6997 s Remaining CPU time: 125.3 s c =============================================================================== c | 1433 | 1081 1400 396193 | 5000 1433 923 | 0.000 % | c =============================================================================== c New solution: 1798852 c Elapsed CPU time: 54.9786 s Remaining CPU time: 125.021 s c =============================================================================== c | 1443 | 1081 1401 397150 | 5000 1443 923 | 0.000 % | c =============================================================================== c New solution: 1798820 c Elapsed CPU time: 55.1796 s Remaining CPU time: 124.82 s c =============================================================================== c | 1444 | 1081 1402 398107 | 5000 1444 923 | 0.000 % | c =============================================================================== c New solution: 1798640 c Elapsed CPU time: 55.4146 s Remaining CPU time: 124.585 s c =============================================================================== c | 1450 | 1081 1403 399064 | 5000 1450 923 | 0.000 % | c =============================================================================== c New solution: 1798550 c Elapsed CPU time: 55.6435 s Remaining CPU time: 124.356 s c =============================================================================== c | 1452 | 1081 1404 400021 | 5000 1452 923 | 0.000 % | c =============================================================================== c New solution: 1798250 c Elapsed CPU time: 55.8695 s Remaining CPU time: 124.13 s c =============================================================================== c | 1453 | 1081 1405 400978 | 5000 1453 923 | 0.000 % | c =============================================================================== c New solution: 1798222 c Elapsed CPU time: 56.1055 s Remaining CPU time: 123.895 s c =============================================================================== c | 1453 | 1081 1406 401935 | 5000 1453 923 | 0.000 % | c =============================================================================== c New solution: 1798054 c Elapsed CPU time: 56.3444 s Remaining CPU time: 123.656 s c =============================================================================== c | 1456 | 1081 1407 402892 | 5000 1456 923 | 0.000 % | c =============================================================================== c New solution: 1797760 c Elapsed CPU time: 56.6044 s Remaining CPU time: 123.396 s c =============================================================================== c | 1464 | 1081 1408 403849 | 5000 1464 923 | 0.000 % | c =============================================================================== c New solution: 1797691 c Elapsed CPU time: 56.8324 s Remaining CPU time: 123.168 s c =============================================================================== c | 1464 | 1081 1409 404806 | 5000 1464 923 | 0.000 % | c =============================================================================== c New solution: 1797673 c Elapsed CPU time: 57.0923 s Remaining CPU time: 122.908 s c =============================================================================== c | 1475 | 1081 1410 405763 | 5000 1475 923 | 0.000 % | c =============================================================================== c New solution: 1797312 c Elapsed CPU time: 57.3123 s Remaining CPU time: 122.688 s c =============================================================================== c | 1476 | 1081 1411 406720 | 5000 1476 923 | 0.000 % | c =============================================================================== c New solution: 1797232 c Elapsed CPU time: 57.5553 s Remaining CPU time: 122.445 s c =============================================================================== c | 1479 | 1081 1412 407677 | 5000 1479 923 | 0.000 % | c =============================================================================== c New solution: 1796993 c Elapsed CPU time: 57.9322 s Remaining CPU time: 122.068 s c =============================================================================== c | 1496 | 1081 1413 408634 | 5000 1496 922 | 0.000 % | c =============================================================================== c New solution: 1796858 c Elapsed CPU time: 58.1422 s Remaining CPU time: 121.858 s c =============================================================================== c | 1498 | 1081 1414 409591 | 5000 1498 922 | 0.000 % | c =============================================================================== c New solution: 1796772 c Elapsed CPU time: 58.3541 s Remaining CPU time: 121.646 s c =============================================================================== c | 1498 | 1081 1415 410548 | 5000 1498 922 | 0.000 % | c =============================================================================== c New solution: 1796672 c Elapsed CPU time: 58.5711 s Remaining CPU time: 121.429 s c =============================================================================== c | 1498 | 1081 1416 411505 | 5000 1498 922 | 0.000 % | c =============================================================================== c New solution: 1796590 c Elapsed CPU time: 58.7871 s Remaining CPU time: 121.213 s c =============================================================================== c | 1498 | 1081 1417 412462 | 5000 1498 922 | 0.000 % | c =============================================================================== c New solution: 1796433 c Elapsed CPU time: 59.006 s Remaining CPU time: 120.994 s c =============================================================================== c | 1498 | 1081 1418 413419 | 5000 1498 922 | 0.000 % | c =============================================================================== c New solution: 1796091 c Elapsed CPU time: 59.245 s Remaining CPU time: 120.755 s c =============================================================================== c | 1502 | 1081 1419 414376 | 5000 1502 922 | 0.000 % | c =============================================================================== c New solution: 1796073 c Elapsed CPU time: 59.47 s Remaining CPU time: 120.53 s c =============================================================================== c | 1506 | 1081 1420 415333 | 5000 1506 922 | 0.000 % | c =============================================================================== c New solution: 1796064 c Elapsed CPU time: 59.6949 s Remaining CPU time: 120.305 s c =============================================================================== c | 1508 | 1081 1421 416290 | 5000 1508 922 | 0.000 % | c =============================================================================== c New solution: 1795964 c Elapsed CPU time: 59.9189 s Remaining CPU time: 120.081 s c =============================================================================== c | 1508 | 1081 1422 417247 | 5000 1508 922 | 0.000 % | c =============================================================================== c New solution: 1795896 c Elapsed CPU time: 60.2448 s Remaining CPU time: 119.755 s c =============================================================================== c | 1523 | 1081 1423 418204 | 5000 1523 922 | 0.000 % | c =============================================================================== c New solution: 1795883 c Elapsed CPU time: 60.4638 s Remaining CPU time: 119.536 s c =============================================================================== c | 1523 | 1081 1424 419161 | 5000 1523 922 | 0.000 % | c =============================================================================== c New solution: 1795839 c Elapsed CPU time: 60.7348 s Remaining CPU time: 119.265 s c =============================================================================== c | 1536 | 1081 1425 420118 | 5000 1536 922 | 0.000 % | c =============================================================================== c New solution: 1795653 c Elapsed CPU time: 60.9697 s Remaining CPU time: 119.03 s c =============================================================================== c | 1536 | 1081 1426 421075 | 5000 1536 922 | 0.000 % | c =============================================================================== c New solution: 1795350 c Elapsed CPU time: 61.2027 s Remaining CPU time: 118.797 s c =============================================================================== c | 1538 | 1081 1427 422032 | 5000 1538 922 | 0.000 % | c =============================================================================== c New solution: 1795252 c Elapsed CPU time: 61.4697 s Remaining CPU time: 118.53 s c =============================================================================== c | 1542 | 1081 1428 422989 | 5000 1542 922 | 0.000 % | c =============================================================================== c New solution: 1795190 c Elapsed CPU time: 61.7266 s Remaining CPU time: 118.273 s c =============================================================================== c | 1546 | 1081 1429 423946 | 5000 1546 922 | 0.000 % | c =============================================================================== c New solution: 1795168 c Elapsed CPU time: 61.9526 s Remaining CPU time: 118.047 s c =============================================================================== c | 1546 | 1081 1430 424903 | 5000 1546 922 | 0.000 % | c =============================================================================== c New solution: 1795081 c Elapsed CPU time: 62.1955 s Remaining CPU time: 117.804 s c =============================================================================== c | 1547 | 1081 1431 425860 | 5000 1547 922 | 0.000 % | c =============================================================================== c New solution: 1794925 c Elapsed CPU time: 62.4315 s Remaining CPU time: 117.568 s c =============================================================================== c | 1547 | 1081 1432 426817 | 5000 1547 922 | 0.000 % | c =============================================================================== c New solution: 1794732 c Elapsed CPU time: 62.6615 s Remaining CPU time: 117.339 s c =============================================================================== c | 1547 | 1081 1433 427774 | 5000 1547 922 | 0.000 % | c =============================================================================== c New solution: 1794414 c Elapsed CPU time: 62.9114 s Remaining CPU time: 117.089 s c =============================================================================== c | 1547 | 1081 1434 428731 | 5000 1547 922 | 0.000 % | c =============================================================================== c New solution: 1794281 c Elapsed CPU time: 63.2044 s Remaining CPU time: 116.796 s c =============================================================================== c | 1553 | 1081 1435 429688 | 5000 1553 922 | 0.000 % | c =============================================================================== c New solution: 1794128 c Elapsed CPU time: 63.4873 s Remaining CPU time: 116.513 s c =============================================================================== c | 1561 | 1081 1436 430645 | 5000 1561 922 | 0.000 % | c =============================================================================== c New solution: 1794078 c Elapsed CPU time: 63.7843 s Remaining CPU time: 116.216 s c =============================================================================== c | 1572 | 1081 1437 431602 | 5000 1572 922 | 0.000 % | c =============================================================================== c New solution: 1793924 c Elapsed CPU time: 64.0233 s Remaining CPU time: 115.977 s c =============================================================================== c | 1578 | 1081 1438 432559 | 5000 1578 922 | 0.000 % | c =============================================================================== c New solution: 1793593 c Elapsed CPU time: 64.2502 s Remaining CPU time: 115.75 s c =============================================================================== c | 1579 | 1081 1439 433516 | 5000 1579 922 | 0.000 % | c =============================================================================== c New solution: 1793503 c Elapsed CPU time: 64.4872 s Remaining CPU time: 115.513 s c =============================================================================== c | 1582 | 1081 1440 434473 | 5000 1582 922 | 0.000 % | c =============================================================================== c New solution: 1793475 c Elapsed CPU time: 64.7112 s Remaining CPU time: 115.289 s c =============================================================================== c | 1582 | 1081 1441 435430 | 5000 1582 922 | 0.000 % | c =============================================================================== c New solution: 1793292 c Elapsed CPU time: 65.0121 s Remaining CPU time: 114.988 s c =============================================================================== c | 1591 | 1081 1442 436387 | 5000 1591 922 | 0.000 % | c =============================================================================== c New solution: 1793125 c Elapsed CPU time: 65.3911 s Remaining CPU time: 114.609 s c =============================================================================== c | 1608 | 1081 1443 437344 | 5000 1608 922 | 0.000 % | c =============================================================================== c New solution: 1792962 c Elapsed CPU time: 65.657 s Remaining CPU time: 114.343 s c =============================================================================== c | 1610 | 1081 1444 438301 | 5000 1610 922 | 0.000 % | c =============================================================================== c New solution: 1792673 c Elapsed CPU time: 65.945 s Remaining CPU time: 114.055 s c =============================================================================== c | 1618 | 1081 1445 439258 | 5000 1618 921 | 0.000 % | c =============================================================================== c New solution: 1792509 c Elapsed CPU time: 66.2479 s Remaining CPU time: 113.752 s c =============================================================================== c | 1625 | 1081 1446 440215 | 5000 1625 921 | 0.000 % | c =============================================================================== c New solution: 1792401 c Elapsed CPU time: 66.5309 s Remaining CPU time: 113.469 s c =============================================================================== c | 1630 | 1081 1447 441172 | 5000 1630 921 | 0.000 % | c =============================================================================== c New solution: 1792381 c Elapsed CPU time: 66.7618 s Remaining CPU time: 113.238 s c =============================================================================== c | 1631 | 1081 1448 442129 | 5000 1631 921 | 0.000 % | c =============================================================================== c New solution: 1792221 c Elapsed CPU time: 67.0488 s Remaining CPU time: 112.951 s c =============================================================================== c | 1637 | 1081 1449 443086 | 5000 1637 921 | 0.000 % | c =============================================================================== c New solution: 1792092 c Elapsed CPU time: 67.2888 s Remaining CPU time: 112.711 s c =============================================================================== c | 1638 | 1081 1450 444043 | 5000 1638 921 | 0.000 % | c =============================================================================== c New solution: 1791921 c Elapsed CPU time: 67.5297 s Remaining CPU time: 112.47 s c =============================================================================== c | 1641 | 1081 1451 445000 | 5000 1641 921 | 0.000 % | c =============================================================================== c New solution: 1791899 c Elapsed CPU time: 67.8497 s Remaining CPU time: 112.15 s c =============================================================================== c | 1649 | 1081 1452 445957 | 5000 1649 921 | 0.000 % | c =============================================================================== c New solution: 1791861 c Elapsed CPU time: 68.1636 s Remaining CPU time: 111.836 s c =============================================================================== c | 1658 | 1081 1453 446914 | 5000 1658 921 | 0.000 % | c =============================================================================== c New solution: 1791826 c Elapsed CPU time: 68.4256 s Remaining CPU time: 111.574 s c =============================================================================== c | 1661 | 1081 1454 447871 | 5000 1661 921 | 0.000 % | c =============================================================================== c New solution: 1791704 c Elapsed CPU time: 68.6436 s Remaining CPU time: 111.356 s c =============================================================================== c | 1662 | 1081 1455 448828 | 5000 1662 921 | 0.000 % | c =============================================================================== c New solution: 1791512 c Elapsed CPU time: 68.8705 s Remaining CPU time: 111.129 s c =============================================================================== c | 1662 | 1081 1456 449785 | 5000 1662 921 | 0.000 % | c =============================================================================== c New solution: 1791408 c Elapsed CPU time: 69.0975 s Remaining CPU time: 110.903 s c =============================================================================== c | 1662 | 1081 1457 450742 | 5000 1662 921 | 0.000 % | c =============================================================================== c New solution: 1791245 c Elapsed CPU time: 69.3924 s Remaining CPU time: 110.608 s c =============================================================================== c | 1669 | 1081 1458 451699 | 5000 1669 921 | 0.000 % | c =============================================================================== c New solution: 1790967 c Elapsed CPU time: 69.6904 s Remaining CPU time: 110.31 s c =============================================================================== c | 1677 | 1081 1459 452656 | 5000 1677 921 | 0.000 % | c =============================================================================== c New solution: 1790849 c Elapsed CPU time: 69.9594 s Remaining CPU time: 110.041 s c =============================================================================== c | 1678 | 1081 1460 453613 | 5000 1678 921 | 0.000 % | c =============================================================================== c New solution: 1790765 c Elapsed CPU time: 70.2143 s Remaining CPU time: 109.786 s c =============================================================================== c | 1681 | 1081 1461 454570 | 5000 1681 921 | 0.000 % | c =============================================================================== c New solution: 1790629 c Elapsed CPU time: 70.4653 s Remaining CPU time: 109.535 s c =============================================================================== c | 1682 | 1081 1462 455527 | 5000 1682 921 | 0.000 % | c =============================================================================== c New solution: 1790614 c Elapsed CPU time: 70.7292 s Remaining CPU time: 109.271 s c =============================================================================== c | 1686 | 1081 1463 456484 | 5000 1686 921 | 0.000 % | c =============================================================================== c New solution: 1790539 c Elapsed CPU time: 71.1662 s Remaining CPU time: 108.834 s c =============================================================================== c | 1711 | 1081 1464 457441 | 5000 1711 921 | 0.000 % | c =============================================================================== c New solution: 1790517 c Elapsed CPU time: 71.5351 s Remaining CPU time: 108.465 s c =============================================================================== c | 1719 | 1081 1465 458398 | 5000 1719 921 | 0.000 % | c =============================================================================== c New solution: 1790448 c Elapsed CPU time: 71.8101 s Remaining CPU time: 108.19 s c =============================================================================== c | 1725 | 1081 1466 459355 | 5000 1725 921 | 0.000 % | c =============================================================================== c New solution: 1790274 c Elapsed CPU time: 72.051 s Remaining CPU time: 107.949 s c =============================================================================== c | 1727 | 1081 1467 460312 | 5000 1727 921 | 0.000 % | c =============================================================================== c New solution: 1790208 c Elapsed CPU time: 72.314 s Remaining CPU time: 107.686 s c =============================================================================== c | 1732 | 1081 1468 461269 | 5000 1732 921 | 0.000 % | c =============================================================================== c New solution: 1790207 c Elapsed CPU time: 72.592 s Remaining CPU time: 107.408 s c =============================================================================== c | 1734 | 1081 1469 462226 | 5000 1734 921 | 0.000 % | c =============================================================================== c New solution: 1790045 c Elapsed CPU time: 72.8649 s Remaining CPU time: 107.135 s c =============================================================================== c | 1734 | 1081 1470 463183 | 5000 1734 921 | 0.000 % | c =============================================================================== c New solution: 1789960 c Elapsed CPU time: 73.1229 s Remaining CPU time: 106.877 s c =============================================================================== c | 1734 | 1081 1471 464140 | 5000 1734 921 | 0.000 % | c =============================================================================== c New solution: 1789827 c Elapsed CPU time: 73.3698 s Remaining CPU time: 106.63 s c =============================================================================== c | 1735 | 1081 1472 465097 | 5000 1735 921 | 0.000 % | c =============================================================================== c New solution: 1789675 c Elapsed CPU time: 73.6278 s Remaining CPU time: 106.372 s c =============================================================================== c | 1735 | 1081 1473 466054 | 5000 1735 921 | 0.000 % | c =============================================================================== c New solution: 1789617 c Elapsed CPU time: 73.8838 s Remaining CPU time: 106.116 s c =============================================================================== c | 1735 | 1081 1474 467011 | 5000 1735 921 | 0.000 % | c =============================================================================== c New solution: 1789436 c Elapsed CPU time: 74.1337 s Remaining CPU time: 105.866 s c =============================================================================== c | 1735 | 1081 1475 467968 | 5000 1735 921 | 0.000 % | c =============================================================================== c New solution: 1789243 c Elapsed CPU time: 74.3647 s Remaining CPU time: 105.635 s c =============================================================================== c | 1735 | 1081 1476 468925 | 5000 1735 921 | 0.000 % | c =============================================================================== c New solution: 1789228 c Elapsed CPU time: 74.6307 s Remaining CPU time: 105.369 s c =============================================================================== c | 1735 | 1081 1477 469882 | 5000 1735 921 | 0.000 % | c =============================================================================== c New solution: 1789167 c Elapsed CPU time: 75.0586 s Remaining CPU time: 104.941 s c =============================================================================== c | 1753 | 1081 1478 470839 | 5000 1753 920 | 0.000 % | c =============================================================================== c New solution: 1789160 c Elapsed CPU time: 75.3156 s Remaining CPU time: 104.684 s c =============================================================================== c | 1753 | 1081 1479 471796 | 5000 1753 920 | 0.000 % | c =============================================================================== c New solution: 1788997 c Elapsed CPU time: 75.5455 s Remaining CPU time: 104.454 s c =============================================================================== c | 1753 | 1081 1480 472753 | 5000 1753 920 | 0.000 % | c =============================================================================== c New solution: 1788926 c Elapsed CPU time: 75.7935 s Remaining CPU time: 104.207 s c =============================================================================== c | 1753 | 1081 1481 473710 | 5000 1753 920 | 0.000 % | c =============================================================================== c New solution: 1788804 c Elapsed CPU time: 76.0184 s Remaining CPU time: 103.982 s c =============================================================================== c | 1753 | 1081 1482 474667 | 5000 1753 920 | 0.000 % | c =============================================================================== c New solution: 1788643 c Elapsed CPU time: 76.2784 s Remaining CPU time: 103.722 s c =============================================================================== c | 1754 | 1081 1483 475624 | 5000 1754 920 | 0.000 % | c =============================================================================== c New solution: 1788560 c Elapsed CPU time: 76.5354 s Remaining CPU time: 103.465 s c =============================================================================== c | 1755 | 1081 1484 476581 | 5000 1755 920 | 0.000 % | c =============================================================================== c New solution: 1788450 c Elapsed CPU time: 76.7903 s Remaining CPU time: 103.21 s c =============================================================================== c | 1755 | 1081 1485 477538 | 5000 1755 920 | 0.000 % | c =============================================================================== c New solution: 1788280 c Elapsed CPU time: 77.1003 s Remaining CPU time: 102.9 s c =============================================================================== c | 1761 | 1081 1486 478495 | 5000 1761 920 | 0.000 % | c =============================================================================== c New solution: 1788252 c Elapsed CPU time: 77.4192 s Remaining CPU time: 102.581 s c =============================================================================== c | 1765 | 1081 1487 479452 | 5000 1765 920 | 0.000 % | c =============================================================================== c New solution: 1788093 c Elapsed CPU time: 77.6892 s Remaining CPU time: 102.311 s c =============================================================================== c | 1765 | 1081 1488 480409 | 5000 1765 920 | 0.000 % | c =============================================================================== c New solution: 1788051 c Elapsed CPU time: 77.9462 s Remaining CPU time: 102.054 s c =============================================================================== c | 1765 | 1081 1489 481366 | 5000 1765 920 | 0.000 % | c =============================================================================== c New solution: 1787971 c Elapsed CPU time: 78.1971 s Remaining CPU time: 101.803 s c =============================================================================== c | 1765 | 1081 1490 482323 | 5000 1765 920 | 0.000 % | c =============================================================================== c New solution: 1787808 c Elapsed CPU time: 78.4431 s Remaining CPU time: 101.557 s c =============================================================================== c | 1765 | 1081 1491 483280 | 5000 1765 920 | 0.000 % | c =============================================================================== c New solution: 1787759 c Elapsed CPU time: 78.744 s Remaining CPU time: 101.256 s c =============================================================================== c | 1774 | 1081 1492 484237 | 5000 1774 920 | 0.000 % | c =============================================================================== c New solution: 1787695 c Elapsed CPU time: 79.054 s Remaining CPU time: 100.946 s c =============================================================================== c | 1780 | 1081 1493 485194 | 5000 1780 920 | 0.000 % | c =============================================================================== c New solution: 1787573 c Elapsed CPU time: 79.4159 s Remaining CPU time: 100.584 s c =============================================================================== c | 1792 | 1081 1494 486151 | 5000 1792 920 | 0.000 % | c =============================================================================== c New solution: 1787469 c Elapsed CPU time: 79.8509 s Remaining CPU time: 100.149 s c =============================================================================== c | 1811 | 1081 1495 487108 | 5000 1811 920 | 0.000 % | c =============================================================================== c New solution: 1787319 c Elapsed CPU time: 80.1118 s Remaining CPU time: 99.8882 s c =============================================================================== c | 1814 | 1081 1496 488065 | 5000 1814 920 | 0.000 % | c =============================================================================== c New solution: 1787240 c Elapsed CPU time: 80.3728 s Remaining CPU time: 99.6272 s c =============================================================================== c | 1815 | 1081 1497 489022 | 5000 1815 920 | 0.000 % | c =============================================================================== c New solution: 1787234 c Elapsed CPU time: 80.6527 s Remaining CPU time: 99.3473 s c =============================================================================== c | 1816 | 1081 1498 489979 | 5000 1816 920 | 0.000 % | c =============================================================================== c New solution: 1787121 c Elapsed CPU time: 80.9407 s Remaining CPU time: 99.0593 s c =============================================================================== c | 1817 | 1081 1499 490936 | 5000 1817 920 | 0.000 % | c =============================================================================== c New solution: 1787098 c Elapsed CPU time: 81.2556 s Remaining CPU time: 98.7444 s c =============================================================================== c | 1820 | 1081 1500 491893 | 5000 1820 920 | 0.000 % | c =============================================================================== c New solution: 1787085 c Elapsed CPU time: 81.6696 s Remaining CPU time: 98.3304 s c =============================================================================== c | 1843 | 1081 1501 492850 | 5000 1843 920 | 0.000 % | c =============================================================================== c New solution: 1787046 c Elapsed CPU time: 82.0095 s Remaining CPU time: 97.9905 s c =============================================================================== c | 1852 | 1081 1502 493807 | 5000 1852 920 | 0.000 % | c =============================================================================== c New solution: 1786936 c Elapsed CPU time: 82.3575 s Remaining CPU time: 97.6425 s c =============================================================================== c | 1864 | 1081 1503 494764 | 5000 1864 920 | 0.000 % | c =============================================================================== c New solution: 1786785 c Elapsed CPU time: 82.8064 s Remaining CPU time: 97.1936 s c =============================================================================== c | 1887 | 1081 1504 495721 | 5000 1887 919 | 0.000 % | c =============================================================================== c New solution: 1786776 c Elapsed CPU time: 83.1774 s Remaining CPU time: 96.8226 s c =============================================================================== c | 1897 | 1081 1505 496678 | 5000 1897 919 | 0.000 % | c =============================================================================== c New solution: 1786632 c Elapsed CPU time: 83.4733 s Remaining CPU time: 96.5267 s c =============================================================================== c | 1903 | 1081 1506 497635 | 5000 1903 919 | 0.000 % | c =============================================================================== c New solution: 1786503 c Elapsed CPU time: 83.7593 s Remaining CPU time: 96.2407 s c =============================================================================== c | 1903 | 1081 1507 498592 | 5000 1903 919 | 0.000 % | c =============================================================================== c New solution: 1786390 c Elapsed CPU time: 84.1782 s Remaining CPU time: 95.8218 s c =============================================================================== c | 1920 | 1081 1508 499549 | 5000 1920 919 | 0.000 % | c =============================================================================== c New solution: 1786271 c Elapsed CPU time: 84.4832 s Remaining CPU time: 95.5168 s c =============================================================================== c | 1926 | 1081 1509 500506 | 5000 1926 919 | 0.000 % | c =============================================================================== c New solution: 1786085 c Elapsed CPU time: 84.7441 s Remaining CPU time: 95.2559 s c =============================================================================== c | 1927 | 1081 1510 501463 | 5000 1927 919 | 0.000 % | c =============================================================================== c New solution: 1786006 c Elapsed CPU time: 85.0001 s Remaining CPU time: 94.9999 s c =============================================================================== c | 1928 | 1081 1511 502420 | 5000 1928 919 | 0.000 % | c =============================================================================== c New solution: 1785931 c Elapsed CPU time: 85.294 s Remaining CPU time: 94.706 s c =============================================================================== c | 1930 | 1081 1512 503377 | 5000 1930 919 | 0.000 % | c =============================================================================== c New solution: 1785776 c Elapsed CPU time: 85.608 s Remaining CPU time: 94.392 s c =============================================================================== c | 1931 | 1081 1513 504334 | 5000 1931 919 | 0.000 % | c =============================================================================== c New solution: 1785722 c Elapsed CPU time: 85.8669 s Remaining CPU time: 94.1331 s c =============================================================================== c | 1931 | 1081 1514 505291 | 5000 1931 919 | 0.000 % | c =============================================================================== c New solution: 1785669 c Elapsed CPU time: 86.1789 s Remaining CPU time: 93.8211 s c =============================================================================== c | 1939 | 1081 1515 506248 | 5000 1939 919 | 0.000 % | c =============================================================================== c New solution: 1785479 c Elapsed CPU time: 86.4849 s Remaining CPU time: 93.5151 s c =============================================================================== c | 1940 | 1081 1516 507205 | 5000 1940 919 | 0.000 % | c =============================================================================== c New solution: 1785467 c Elapsed CPU time: 86.7888 s Remaining CPU time: 93.2112 s c =============================================================================== c | 1941 | 1081 1517 508162 | 5000 1941 919 | 0.000 % | c =============================================================================== c New solution: 1785460 c Elapsed CPU time: 87.1617 s Remaining CPU time: 92.8383 s c =============================================================================== c | 1944 | 1081 1518 509119 | 5000 1944 919 | 0.000 % | c =============================================================================== c New solution: 1785311 c Elapsed CPU time: 87.5447 s Remaining CPU time: 92.4553 s c =============================================================================== c | 1961 | 1081 1519 510076 | 5000 1961 919 | 0.000 % | c =============================================================================== c New solution: 1785197 c Elapsed CPU time: 87.8436 s Remaining CPU time: 92.1564 s c =============================================================================== c | 1961 | 1081 1520 511033 | 5000 1961 919 | 0.000 % | c =============================================================================== c New solution: 1785155 c Elapsed CPU time: 88.1366 s Remaining CPU time: 91.8634 s c =============================================================================== c | 1961 | 1081 1521 511990 | 5000 1961 919 | 0.000 % | c =============================================================================== c New solution: 1785063 c Elapsed CPU time: 88.4576 s Remaining CPU time: 91.5424 s c =============================================================================== c | 1965 | 1081 1522 512947 | 5000 1965 919 | 0.000 % | c =============================================================================== c New solution: 1785002 c Elapsed CPU time: 88.7955 s Remaining CPU time: 91.2045 s c =============================================================================== c | 1973 | 1081 1523 513904 | 5000 1973 919 | 0.000 % | c =============================================================================== c New solution: 1784998 c Elapsed CPU time: 89.2164 s Remaining CPU time: 90.7836 s c =============================================================================== c | 1996 | 1081 1524 514861 | 5000 1996 919 | 0.000 % | c =============================================================================== c New solution: 1784920 c Elapsed CPU time: 89.4944 s Remaining CPU time: 90.5056 s c =============================================================================== c | 1999 | 1081 1525 515818 | 5000 1999 919 | 0.000 % | c =============================================================================== c New solution: 1784892 c Elapsed CPU time: 89.7784 s Remaining CPU time: 90.2216 s c =============================================================================== c | 2000 | 1081 1526 516775 | 5000 2000 919 | 0.000 % | c =============================================================================== c New solution: 1784840 c Elapsed CPU time: 90.3313 s Remaining CPU time: 89.6687 s c =============================================================================== c | 2030 | 1081 1527 517732 | 5000 2030 919 | 0.000 % | c =============================================================================== c New solution: 1784822 c Elapsed CPU time: 90.7522 s Remaining CPU time: 89.2478 s c =============================================================================== c | 2049 | 1081 1528 518689 | 5000 2049 918 | 0.000 % | c =============================================================================== c New solution: 1784682 c Elapsed CPU time: 91.1081 s Remaining CPU time: 88.8919 s c =============================================================================== c | 2055 | 1081 1529 519646 | 5000 2055 918 | 0.000 % | c =============================================================================== c New solution: 1784555 c Elapsed CPU time: 91.4221 s Remaining CPU time: 88.5779 s c =============================================================================== c | 2061 | 1081 1530 520603 | 5000 2061 918 | 0.000 % | c =============================================================================== c New solution: 1784539 c Elapsed CPU time: 91.7561 s Remaining CPU time: 88.2439 s c =============================================================================== c | 2065 | 1081 1531 521560 | 5000 2065 918 | 0.000 % | c =============================================================================== c New solution: 1784507 c Elapsed CPU time: 92.054 s Remaining CPU time: 87.946 s c =============================================================================== c | 2067 | 1081 1532 522517 | 5000 2067 918 | 0.000 % | c =============================================================================== c New solution: 1784370 c Elapsed CPU time: 92.393 s Remaining CPU time: 87.607 s c =============================================================================== c | 2076 | 1081 1533 523474 | 5000 2076 918 | 0.000 % | c =============================================================================== c New solution: 1784236 c Elapsed CPU time: 92.7159 s Remaining CPU time: 87.2841 s c =============================================================================== c | 2081 | 1081 1534 524431 | 5000 2081 918 | 0.000 % | c =============================================================================== c New solution: 1784048 c Elapsed CPU time: 92.9959 s Remaining CPU time: 87.0041 s c =============================================================================== c | 2081 | 1081 1535 525388 | 5000 2081 918 | 0.000 % | c =============================================================================== c New solution: 1783862 c Elapsed CPU time: 93.2758 s Remaining CPU time: 86.7242 s c =============================================================================== c | 2082 | 1081 1536 526345 | 5000 2082 918 | 0.000 % | c =============================================================================== c New solution: 1783799 c Elapsed CPU time: 93.5568 s Remaining CPU time: 86.4432 s c =============================================================================== c | 2084 | 1081 1537 527302 | 5000 2084 918 | 0.000 % | c =============================================================================== c New solution: 1783740 c Elapsed CPU time: 93.8937 s Remaining CPU time: 86.1063 s c =============================================================================== c | 2091 | 1081 1538 528259 | 5000 2091 918 | 0.000 % | c =============================================================================== c New solution: 1783563 c Elapsed CPU time: 94.2257 s Remaining CPU time: 85.7743 s c =============================================================================== c | 2093 | 1081 1539 529216 | 5000 2093 918 | 0.000 % | c =============================================================================== c New solution: 1783506 c Elapsed CPU time: 94.5126 s Remaining CPU time: 85.4874 s c =============================================================================== c | 2094 | 1081 1540 530173 | 5000 2094 918 | 0.000 % | c =============================================================================== c New solution: 1783351 c Elapsed CPU time: 94.7836 s Remaining CPU time: 85.2164 s c =============================================================================== c | 2094 | 1081 1541 531130 | 5000 2094 918 | 0.000 % | c =============================================================================== c New solution: 1783206 c Elapsed CPU time: 95.1335 s Remaining CPU time: 84.8665 s c =============================================================================== c | 2103 | 1081 1542 532087 | 5000 2103 918 | 0.000 % | c =============================================================================== c New solution: 1783015 c Elapsed CPU time: 95.4255 s Remaining CPU time: 84.5745 s c =============================================================================== c | 2107 | 1081 1543 533044 | 5000 2107 918 | 0.000 % | c =============================================================================== c New solution: 1782933 c Elapsed CPU time: 95.7314 s Remaining CPU time: 84.2686 s c =============================================================================== c | 2109 | 1081 1544 534001 | 5000 2109 918 | 0.000 % | c =============================================================================== c New solution: 1782891 c Elapsed CPU time: 96.1434 s Remaining CPU time: 83.8566 s c =============================================================================== c | 2120 | 1081 1545 534958 | 5000 2120 918 | 0.000 % | c =============================================================================== c New solution: 1782835 c Elapsed CPU time: 96.4523 s Remaining CPU time: 83.5477 s c =============================================================================== c | 2122 | 1081 1546 535915 | 5000 2122 918 | 0.000 % | c =============================================================================== c New solution: 1782745 c Elapsed CPU time: 96.8023 s Remaining CPU time: 83.1977 s c =============================================================================== c | 2132 | 1081 1547 536872 | 5000 2132 918 | 0.000 % | c =============================================================================== c New solution: 1782616 c Elapsed CPU time: 97.1382 s Remaining CPU time: 82.8618 s c =============================================================================== c | 2134 | 1081 1548 537829 | 5000 2134 918 | 0.000 % | c =============================================================================== c New solution: 1782518 c Elapsed CPU time: 97.4382 s Remaining CPU time: 82.5618 s c =============================================================================== c | 2134 | 1081 1549 538786 | 5000 2134 918 | 0.000 % | c =============================================================================== c New solution: 1782513 c Elapsed CPU time: 97.7611 s Remaining CPU time: 82.2389 s c =============================================================================== c | 2136 | 1081 1550 539743 | 5000 2136 918 | 0.000 % | c =============================================================================== c New solution: 1782481 c Elapsed CPU time: 98.1231 s Remaining CPU time: 81.8769 s c =============================================================================== c | 2138 | 1081 1551 540700 | 5000 2138 918 | 0.000 % | c =============================================================================== c New solution: 1782399 c Elapsed CPU time: 98.548 s Remaining CPU time: 81.452 s c =============================================================================== c | 2147 | 1081 1552 541657 | 5000 2147 918 | 0.000 % | c =============================================================================== c New solution: 1782329 c Elapsed CPU time: 98.936 s Remaining CPU time: 81.064 s c =============================================================================== c | 2151 | 1081 1553 542614 | 5000 2151 918 | 0.000 % | c =============================================================================== c New solution: 1782324 c Elapsed CPU time: 99.2609 s Remaining CPU time: 80.7391 s c =============================================================================== c | 2152 | 1081 1554 543571 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1782166 c Elapsed CPU time: 99.6079 s Remaining CPU time: 80.3921 s c =============================================================================== c | 2152 | 1081 1555 544528 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1782075 c Elapsed CPU time: 99.9068 s Remaining CPU time: 80.0932 s c =============================================================================== c | 2152 | 1081 1556 545485 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1781942 c Elapsed CPU time: 100.208 s Remaining CPU time: 79.7922 s c =============================================================================== c | 2152 | 1081 1557 546442 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1781877 c Elapsed CPU time: 100.498 s Remaining CPU time: 79.5023 s c =============================================================================== c | 2152 | 1081 1558 547399 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1781727 c Elapsed CPU time: 100.783 s Remaining CPU time: 79.2173 s c =============================================================================== c | 2152 | 1081 1559 548356 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1781631 c Elapsed CPU time: 101.09 s Remaining CPU time: 78.9104 s c =============================================================================== c | 2152 | 1081 1560 549313 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1781551 c Elapsed CPU time: 101.387 s Remaining CPU time: 78.6134 s c =============================================================================== c | 2152 | 1081 1561 550270 | 5000 2152 918 | 0.000 % | c =============================================================================== c New solution: 1781534 c Elapsed CPU time: 101.8 s Remaining CPU time: 78.2005 s c =============================================================================== c | 2160 | 1081 1562 551227 | 5000 2160 918 | 0.000 % | c =============================================================================== c New solution: 1781342 c Elapsed CPU time: 102.076 s Remaining CPU time: 77.9235 s c =============================================================================== c | 2161 | 1081 1563 552184 | 5000 2161 918 | 0.000 % | c =============================================================================== c New solution: 1781012 c Elapsed CPU time: 102.383 s Remaining CPU time: 77.6166 s c =============================================================================== c | 2161 | 1081 1564 553141 | 5000 2161 918 | 0.000 % | c =============================================================================== c New solution: 1780919 c Elapsed CPU time: 102.728 s Remaining CPU time: 77.2716 s c =============================================================================== c | 2163 | 1081 1565 554098 | 5000 2163 918 | 0.000 % | c =============================================================================== c New solution: 1780786 c Elapsed CPU time: 103.09 s Remaining CPU time: 76.9097 s c =============================================================================== c | 2172 | 1081 1566 555055 | 5000 2172 918 | 0.000 % | c =============================================================================== c New solution: 1780652 c Elapsed CPU time: 103.464 s Remaining CPU time: 76.5357 s c =============================================================================== c | 2180 | 1081 1567 556012 | 5000 2180 918 | 0.000 % | c =============================================================================== c New solution: 1780650 c Elapsed CPU time: 103.784 s Remaining CPU time: 76.2158 s c =============================================================================== c | 2182 | 1081 1568 556969 | 5000 2182 917 | 0.000 % | c =============================================================================== c New solution: 1780639 c Elapsed CPU time: 104.222 s Remaining CPU time: 75.7778 s c =============================================================================== c | 2195 | 1081 1569 557926 | 5000 2195 917 | 0.000 % | c =============================================================================== c New solution: 1780552 c Elapsed CPU time: 104.635 s Remaining CPU time: 75.3649 s c =============================================================================== c | 2205 | 1081 1570 558883 | 5000 2205 917 | 0.000 % | c =============================================================================== c New solution: 1780537 c Elapsed CPU time: 105.139 s Remaining CPU time: 74.861 s c =============================================================================== c | 2227 | 1081 1571 559840 | 5000 2227 917 | 0.000 % | c =============================================================================== c New solution: 1780446 c Elapsed CPU time: 105.533 s Remaining CPU time: 74.467 s c =============================================================================== c | 2235 | 1081 1572 560797 | 5000 2235 917 | 0.000 % | c =============================================================================== c New solution: 1780374 c Elapsed CPU time: 105.882 s Remaining CPU time: 74.1181 s c =============================================================================== c | 2236 | 1081 1573 561754 | 5000 2236 917 | 0.000 % | c =============================================================================== c New solution: 1780224 c Elapsed CPU time: 106.242 s Remaining CPU time: 73.7582 s c =============================================================================== c | 2238 | 1081 1574 562711 | 5000 2238 917 | 0.000 % | c =============================================================================== c New solution: 1780190 c Elapsed CPU time: 106.592 s Remaining CPU time: 73.4082 s c =============================================================================== c | 2238 | 1081 1575 563668 | 5000 2238 917 | 0.000 % | c =============================================================================== c New solution: 1780059 c Elapsed CPU time: 106.895 s Remaining CPU time: 73.1053 s c =============================================================================== c | 2238 | 1081 1576 564625 | 5000 2238 917 | 0.000 % | c =============================================================================== c New solution: 1779923 c Elapsed CPU time: 107.21 s Remaining CPU time: 72.7903 s c =============================================================================== c | 2238 | 1081 1577 565582 | 5000 2238 917 | 0.000 % | c =============================================================================== c New solution: 1779740 c Elapsed CPU time: 107.52 s Remaining CPU time: 72.4803 s c =============================================================================== c | 2245 | 1081 1578 566539 | 5000 2245 917 | 0.000 % | c =============================================================================== c New solution: 1779732 c Elapsed CPU time: 107.842 s Remaining CPU time: 72.1584 s c =============================================================================== c | 2245 | 1081 1579 567496 | 5000 2245 917 | 0.000 % | c =============================================================================== c New solution: 1779584 c Elapsed CPU time: 108.187 s Remaining CPU time: 71.8134 s c =============================================================================== c | 2245 | 1081 1580 568453 | 5000 2245 917 | 0.000 % | c =============================================================================== c New solution: 1779581 c Elapsed CPU time: 108.565 s Remaining CPU time: 71.4345 s c =============================================================================== c | 2248 | 1081 1581 569410 | 5000 2248 917 | 0.000 % | c =============================================================================== c New solution: 1779477 c Elapsed CPU time: 108.92 s Remaining CPU time: 71.0796 s c =============================================================================== c | 2250 | 1081 1582 570367 | 5000 2250 917 | 0.000 % | c =============================================================================== c New solution: 1779469 c Elapsed CPU time: 109.272 s Remaining CPU time: 70.7276 s c =============================================================================== c | 2250 | 1081 1583 571324 | 5000 2250 917 | 0.000 % | c =============================================================================== c New solution: 1779422 c Elapsed CPU time: 109.612 s Remaining CPU time: 70.3877 s c =============================================================================== c | 2250 | 1081 1584 572281 | 5000 2250 917 | 0.000 % | c =============================================================================== c New solution: 1779346 c Elapsed CPU time: 109.918 s Remaining CPU time: 70.0817 s c =============================================================================== c | 2250 | 1081 1585 573238 | 5000 2250 917 | 0.000 % | c =============================================================================== c New solution: 1779070 c Elapsed CPU time: 110.267 s Remaining CPU time: 69.7328 s c =============================================================================== c | 2253 | 1081 1586 574195 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1778878 c Elapsed CPU time: 110.599 s Remaining CPU time: 69.4008 s c =============================================================================== c | 2253 | 1081 1587 575152 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1778643 c Elapsed CPU time: 110.951 s Remaining CPU time: 69.0489 s c =============================================================================== c | 2253 | 1081 1588 576109 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1778594 c Elapsed CPU time: 111.238 s Remaining CPU time: 68.7619 s c =============================================================================== c | 2253 | 1081 1589 577066 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1778550 c Elapsed CPU time: 111.521 s Remaining CPU time: 68.479 s c =============================================================================== c | 2253 | 1081 1590 578023 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1778341 c Elapsed CPU time: 111.84 s Remaining CPU time: 68.16 s c =============================================================================== c | 2253 | 1081 1591 578980 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1778148 c Elapsed CPU time: 112.14 s Remaining CPU time: 67.86 s c =============================================================================== c | 2253 | 1081 1592 579937 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1777985 c Elapsed CPU time: 112.438 s Remaining CPU time: 67.5621 s c =============================================================================== c | 2253 | 1081 1593 580894 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1777827 c Elapsed CPU time: 112.759 s Remaining CPU time: 67.2411 s c =============================================================================== c | 2253 | 1081 1594 581851 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1777773 c Elapsed CPU time: 113.087 s Remaining CPU time: 66.9132 s c =============================================================================== c | 2253 | 1081 1595 582808 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1777760 c Elapsed CPU time: 113.418 s Remaining CPU time: 66.5822 s c =============================================================================== c | 2253 | 1081 1596 583765 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1777759 c Elapsed CPU time: 113.753 s Remaining CPU time: 66.2473 s c =============================================================================== c | 2253 | 1081 1597 584722 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1777743 c Elapsed CPU time: 114.079 s Remaining CPU time: 65.9213 s c =============================================================================== c | 2253 | 1081 1598 585679 | 5000 2253 917 | 0.000 % | c =============================================================================== c New solution: 1777682 c Elapsed CPU time: 114.649 s Remaining CPU time: 65.3514 s c =============================================================================== c | 2281 | 1081 1599 586636 | 5000 2281 917 | 0.000 % | c =============================================================================== c New solution: 1777544 c Elapsed CPU time: 115.013 s Remaining CPU time: 64.9875 s c =============================================================================== c | 2287 | 1081 1600 587593 | 5000 2287 917 | 0.000 % | c =============================================================================== c New solution: 1777437 c Elapsed CPU time: 115.554 s Remaining CPU time: 64.4456 s c =============================================================================== c | 2308 | 1081 1601 588550 | 5000 2308 917 | 0.000 % | c =============================================================================== c New solution: 1777269 c Elapsed CPU time: 115.933 s Remaining CPU time: 64.0666 s c =============================================================================== c | 2314 | 1081 1602 589507 | 5000 2314 917 | 0.000 % | c =============================================================================== c New solution: 1777167 c Elapsed CPU time: 116.516 s Remaining CPU time: 63.4837 s c =============================================================================== c | 2333 | 1081 1603 590464 | 5000 2333 917 | 0.000 % | c =============================================================================== c New solution: 1777024 c Elapsed CPU time: 116.874 s Remaining CPU time: 63.1258 s c =============================================================================== c | 2334 | 1081 1604 591421 | 5000 2334 917 | 0.000 % | c =============================================================================== c New solution: 1776893 c Elapsed CPU time: 117.305 s Remaining CPU time: 62.6948 s c =============================================================================== c | 2341 | 1081 1605 592378 | 5000 2341 916 | 0.000 % | c =============================================================================== c New solution: 1776877 c Elapsed CPU time: 117.62 s Remaining CPU time: 62.3799 s c =============================================================================== c | 2341 | 1081 1606 593335 | 5000 2341 916 | 0.000 % | c =============================================================================== c New solution: 1776840 c Elapsed CPU time: 117.93 s Remaining CPU time: 62.0699 s c =============================================================================== c | 2341 | 1081 1607 594292 | 5000 2341 916 | 0.000 % | c =============================================================================== c New solution: 1776809 c Elapsed CPU time: 118.25 s Remaining CPU time: 61.75 s c =============================================================================== c | 2342 | 1081 1608 595249 | 5000 2342 916 | 0.000 % | c =============================================================================== c New solution: 1776755 c Elapsed CPU time: 118.564 s Remaining CPU time: 61.436 s c =============================================================================== c | 2343 | 1081 1609 596206 | 5000 2343 916 | 0.000 % | c =============================================================================== c New solution: 1776683 c Elapsed CPU time: 118.894 s Remaining CPU time: 61.1061 s c =============================================================================== c | 2343 | 1081 1610 597163 | 5000 2343 916 | 0.000 % | c =============================================================================== c New solution: 1776677 c Elapsed CPU time: 119.207 s Remaining CPU time: 60.7931 s c =============================================================================== c | 2343 | 1081 1611 598120 | 5000 2343 916 | 0.000 % | c =============================================================================== c New solution: 1776517 c Elapsed CPU time: 119.536 s Remaining CPU time: 60.4642 s c =============================================================================== c | 2344 | 1081 1612 599077 | 5000 2344 916 | 0.000 % | c =============================================================================== c New solution: 1776428 c Elapsed CPU time: 119.89 s Remaining CPU time: 60.1102 s c =============================================================================== c | 2350 | 1081 1613 600034 | 5000 2350 916 | 0.000 % | c =============================================================================== c New solution: 1776310 c Elapsed CPU time: 120.234 s Remaining CPU time: 59.7663 s c =============================================================================== c | 2350 | 1081 1614 600991 | 5000 2350 916 | 0.000 % | c =============================================================================== c New solution: 1776147 c Elapsed CPU time: 120.558 s Remaining CPU time: 59.4423 s c =============================================================================== c | 2351 | 1081 1615 601948 | 5000 2351 916 | 0.000 % | c =============================================================================== c New solution: 1776063 c Elapsed CPU time: 121.139 s Remaining CPU time: 58.8614 s c =============================================================================== c | 2377 | 1081 1616 602905 | 5000 2377 916 | 0.000 % | c =============================================================================== c New solution: 1776047 c Elapsed CPU time: 121.609 s Remaining CPU time: 58.3915 s c =============================================================================== c | 2393 | 1081 1617 603862 | 5000 2393 916 | 0.000 % | c =============================================================================== c New solution: 1775910 c Elapsed CPU time: 122.029 s Remaining CPU time: 57.9706 s c =============================================================================== c | 2398 | 1081 1618 604819 | 5000 2398 916 | 0.000 % | c =============================================================================== c New solution: 1775830 c Elapsed CPU time: 122.366 s Remaining CPU time: 57.6336 s c =============================================================================== c | 2402 | 1081 1619 605776 | 5000 2402 916 | 0.000 % | c =============================================================================== c New solution: 1775742 c Elapsed CPU time: 122.752 s Remaining CPU time: 57.2477 s c =============================================================================== c | 2406 | 1081 1620 606733 | 5000 2406 916 | 0.000 % | c =============================================================================== c New solution: 1775622 c Elapsed CPU time: 123.324 s Remaining CPU time: 56.6757 s c =============================================================================== c | 2418 | 1081 1621 607690 | 5000 2418 916 | 0.000 % | c =============================================================================== c New solution: 1775580 c Elapsed CPU time: 123.877 s Remaining CPU time: 56.1228 s c =============================================================================== c | 2437 | 1081 1622 608647 | 5000 2437 915 | 0.000 % | c =============================================================================== c New solution: 1775504 c Elapsed CPU time: 124.343 s Remaining CPU time: 55.6569 s c =============================================================================== c | 2447 | 1081 1623 609604 | 5000 2447 915 | 0.000 % | c =============================================================================== c New solution: 1775385 c Elapsed CPU time: 124.77 s Remaining CPU time: 55.23 s c =============================================================================== c | 2452 | 1081 1624 610561 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1775303 c Elapsed CPU time: 125.157 s Remaining CPU time: 54.843 s c =============================================================================== c | 2452 | 1081 1625 611518 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1775239 c Elapsed CPU time: 125.471 s Remaining CPU time: 54.5291 s c =============================================================================== c | 2452 | 1081 1626 612475 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1775110 c Elapsed CPU time: 125.78 s Remaining CPU time: 54.2201 s c =============================================================================== c | 2452 | 1081 1627 613432 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1775084 c Elapsed CPU time: 126.105 s Remaining CPU time: 53.8952 s c =============================================================================== c | 2452 | 1081 1628 614389 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1775012 c Elapsed CPU time: 126.451 s Remaining CPU time: 53.5492 s c =============================================================================== c | 2452 | 1081 1629 615346 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1774981 c Elapsed CPU time: 126.791 s Remaining CPU time: 53.2093 s c =============================================================================== c | 2452 | 1081 1630 616303 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1774885 c Elapsed CPU time: 127.124 s Remaining CPU time: 52.8763 s c =============================================================================== c | 2452 | 1081 1631 617260 | 5000 2452 915 | 0.000 % | c =============================================================================== c New solution: 1774876 c Elapsed CPU time: 127.681 s Remaining CPU time: 52.3194 s c =============================================================================== c | 2476 | 1081 1632 618217 | 5000 2476 915 | 0.000 % | c =============================================================================== c New solution: 1774723 c Elapsed CPU time: 128.156 s Remaining CPU time: 51.8445 s c =============================================================================== c | 2493 | 1081 1633 619174 | 5000 2493 915 | 0.000 % | c =============================================================================== c New solution: 1774665 c Elapsed CPU time: 128.528 s Remaining CPU time: 51.4715 s c =============================================================================== c | 2494 | 1081 1634 620131 | 5000 2494 915 | 0.000 % | c =============================================================================== c New solution: 1774536 c Elapsed CPU time: 128.887 s Remaining CPU time: 51.1126 s c =============================================================================== c | 2496 | 1081 1635 621088 | 5000 2496 915 | 0.000 % | c =============================================================================== c New solution: 1774512 c Elapsed CPU time: 129.268 s Remaining CPU time: 50.7317 s c =============================================================================== c | 2505 | 1081 1636 622045 | 5000 2505 915 | 0.000 % | c =============================================================================== c New solution: 1774426 c Elapsed CPU time: 129.629 s Remaining CPU time: 50.3707 s c =============================================================================== c | 2506 | 1081 1637 623002 | 5000 2506 915 | 0.000 % | c =============================================================================== c New solution: 1774355 c Elapsed CPU time: 130.104 s Remaining CPU time: 49.8958 s c =============================================================================== c | 2518 | 1081 1638 623959 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1774295 c Elapsed CPU time: 130.461 s Remaining CPU time: 49.5388 s c =============================================================================== c | 2518 | 1081 1639 624916 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1774185 c Elapsed CPU time: 130.841 s Remaining CPU time: 49.1589 s c =============================================================================== c | 2518 | 1081 1640 625873 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1774179 c Elapsed CPU time: 131.191 s Remaining CPU time: 48.8089 s c =============================================================================== c | 2518 | 1081 1641 626830 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1774097 c Elapsed CPU time: 131.556 s Remaining CPU time: 48.444 s c =============================================================================== c | 2518 | 1081 1642 627787 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1774094 c Elapsed CPU time: 131.898 s Remaining CPU time: 48.1021 s c =============================================================================== c | 2518 | 1081 1643 628744 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773960 c Elapsed CPU time: 132.231 s Remaining CPU time: 47.7691 s c =============================================================================== c | 2518 | 1081 1644 629701 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773913 c Elapsed CPU time: 132.553 s Remaining CPU time: 47.4472 s c =============================================================================== c | 2518 | 1081 1645 630658 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773845 c Elapsed CPU time: 132.905 s Remaining CPU time: 47.0952 s c =============================================================================== c | 2518 | 1081 1646 631615 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773821 c Elapsed CPU time: 133.258 s Remaining CPU time: 46.7423 s c =============================================================================== c | 2518 | 1081 1647 632572 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773759 c Elapsed CPU time: 133.594 s Remaining CPU time: 46.4063 s c =============================================================================== c | 2518 | 1081 1648 633529 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773682 c Elapsed CPU time: 133.932 s Remaining CPU time: 46.0684 s c =============================================================================== c | 2518 | 1081 1649 634486 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773668 c Elapsed CPU time: 134.276 s Remaining CPU time: 45.7244 s c =============================================================================== c | 2518 | 1081 1650 635443 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773602 c Elapsed CPU time: 134.639 s Remaining CPU time: 45.3615 s c =============================================================================== c | 2518 | 1081 1651 636400 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773525 c Elapsed CPU time: 134.976 s Remaining CPU time: 45.0235 s c =============================================================================== c | 2518 | 1081 1652 637357 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773432 c Elapsed CPU time: 135.33 s Remaining CPU time: 44.6696 s c =============================================================================== c | 2518 | 1081 1653 638314 | 5000 2518 915 | 0.000 % | c =============================================================================== c New solution: 1773391 c Elapsed CPU time: 135.837 s Remaining CPU time: 44.1627 s c =============================================================================== c | 2526 | 1081 1654 639271 | 5000 2526 915 | 0.000 % | c =============================================================================== c New solution: 1773309 c Elapsed CPU time: 136.351 s Remaining CPU time: 43.6487 s c =============================================================================== c | 2540 | 1081 1655 640228 | 5000 2540 915 | 0.000 % | c =============================================================================== c New solution: 1773212 c Elapsed CPU time: 136.705 s Remaining CPU time: 43.2948 s c =============================================================================== c | 2541 | 1081 1656 641185 | 5000 2541 915 | 0.000 % | c =============================================================================== c New solution: 1773055 c Elapsed CPU time: 137.091 s Remaining CPU time: 42.9088 s c =============================================================================== c | 2542 | 1081 1657 642142 | 5000 2542 915 | 0.000 % | c =============================================================================== c New solution: 1772788 c Elapsed CPU time: 137.536 s Remaining CPU time: 42.4639 s c =============================================================================== c | 2547 | 1081 1658 643099 | 5000 2547 915 | 0.000 % | c =============================================================================== c New solution: 1772616 c Elapsed CPU time: 138.104 s Remaining CPU time: 41.896 s c =============================================================================== c | 2567 | 1081 1659 644056 | 5000 2567 915 | 0.000 % | c =============================================================================== c New solution: 1772572 c Elapsed CPU time: 138.576 s Remaining CPU time: 41.4241 s c =============================================================================== c | 2587 | 1081 1660 645013 | 5000 2587 914 | 0.000 % | c =============================================================================== c New solution: 1772470 c Elapsed CPU time: 138.945 s Remaining CPU time: 41.0551 s c =============================================================================== c | 2589 | 1081 1661 645970 | 5000 2589 914 | 0.000 % | c =============================================================================== c New solution: 1772467 c Elapsed CPU time: 139.292 s Remaining CPU time: 40.7082 s c =============================================================================== c | 2590 | 1081 1662 646927 | 5000 2590 914 | 0.000 % | c =============================================================================== c New solution: 1772439 c Elapsed CPU time: 139.636 s Remaining CPU time: 40.3642 s c =============================================================================== c | 2593 | 1081 1663 647884 | 5000 2593 914 | 0.000 % | c =============================================================================== c New solution: 1772414 c Elapsed CPU time: 139.969 s Remaining CPU time: 40.0313 s c =============================================================================== c | 2594 | 1081 1664 648841 | 5000 2594 914 | 0.000 % | c =============================================================================== c New solution: 1772266 c Elapsed CPU time: 140.341 s Remaining CPU time: 39.6593 s c =============================================================================== c | 2595 | 1081 1665 649798 | 5000 2595 914 | 0.000 % | c =============================================================================== c New solution: 1772257 c Elapsed CPU time: 140.787 s Remaining CPU time: 39.2134 s c =============================================================================== c | 2603 | 1081 1666 650755 | 5000 2603 914 | 0.000 % | c =============================================================================== c New solution: 1772134 c Elapsed CPU time: 141.151 s Remaining CPU time: 38.8495 s c =============================================================================== c | 2603 | 1081 1667 651712 | 5000 2603 914 | 0.000 % | c =============================================================================== c New solution: 1772000 c Elapsed CPU time: 141.493 s Remaining CPU time: 38.5065 s c =============================================================================== c | 2603 | 1081 1668 652669 | 5000 2603 914 | 0.000 % | c =============================================================================== c New solution: 1771972 c Elapsed CPU time: 141.841 s Remaining CPU time: 38.1586 s c =============================================================================== c | 2603 | 1081 1669 653626 | 5000 2603 914 | 0.000 % | c =============================================================================== c New solution: 1771913 c Elapsed CPU time: 142.205 s Remaining CPU time: 37.7946 s c =============================================================================== c | 2603 | 1081 1670 654583 | 5000 2603 914 | 0.000 % | c =============================================================================== c New solution: 1771886 c Elapsed CPU time: 142.576 s Remaining CPU time: 37.4237 s c =============================================================================== c | 2605 | 1081 1671 655540 | 5000 2605 914 | 0.000 % | c =============================================================================== c New solution: 1771790 c Elapsed CPU time: 142.936 s Remaining CPU time: 37.0637 s c =============================================================================== c | 2605 | 1081 1672 656497 | 5000 2605 914 | 0.000 % | c =============================================================================== c New solution: 1771765 c Elapsed CPU time: 143.315 s Remaining CPU time: 36.6848 s c =============================================================================== c | 2606 | 1081 1673 657454 | 5000 2606 914 | 0.000 % | c =============================================================================== c New solution: 1771752 c Elapsed CPU time: 143.75 s Remaining CPU time: 36.2499 s c =============================================================================== c | 2611 | 1081 1674 658411 | 5000 2611 914 | 0.000 % | c =============================================================================== c New solution: 1771750 c Elapsed CPU time: 144.096 s Remaining CPU time: 35.9039 s c =============================================================================== c | 2612 | 1081 1675 659368 | 5000 2612 914 | 0.000 % | c =============================================================================== c New solution: 1771723 c Elapsed CPU time: 144.459 s Remaining CPU time: 35.541 s c =============================================================================== c | 2613 | 1081 1676 660325 | 5000 2613 914 | 0.000 % | c =============================================================================== c New solution: 1771615 c Elapsed CPU time: 144.817 s Remaining CPU time: 35.183 s c =============================================================================== c | 2614 | 1081 1677 661282 | 5000 2614 914 | 0.000 % | c =============================================================================== c New solution: 1771503 c Elapsed CPU time: 145.224 s Remaining CPU time: 34.7761 s c =============================================================================== c | 2616 | 1081 1678 662239 | 5000 2616 914 | 0.000 % | c =============================================================================== c New solution: 1771502 c Elapsed CPU time: 145.766 s Remaining CPU time: 34.2342 s c =============================================================================== c | 2631 | 1081 1679 663196 | 5000 2631 914 | 0.000 % | c =============================================================================== c New solution: 1771487 c Elapsed CPU time: 146.123 s Remaining CPU time: 33.8772 s c =============================================================================== c | 2632 | 1081 1680 664153 | 5000 2632 914 | 0.000 % | c =============================================================================== c New solution: 1771467 c Elapsed CPU time: 146.69 s Remaining CPU time: 33.3103 s c =============================================================================== c | 2654 | 1081 1681 665110 | 5000 2654 914 | 0.000 % | c =============================================================================== c New solution: 1771405 c Elapsed CPU time: 147.089 s Remaining CPU time: 32.9114 s c =============================================================================== c | 2658 | 1081 1682 666067 | 5000 2658 914 | 0.000 % | c =============================================================================== c New solution: 1771403 c Elapsed CPU time: 147.538 s Remaining CPU time: 32.4624 s c =============================================================================== c | 2668 | 1081 1683 667024 | 5000 2668 914 | 0.000 % | c =============================================================================== c New solution: 1771317 c Elapsed CPU time: 148.004 s Remaining CPU time: 31.9955 s c =============================================================================== c | 2675 | 1081 1684 667981 | 5000 2675 914 | 0.000 % | c =============================================================================== c New solution: 1771304 c Elapsed CPU time: 148.425 s Remaining CPU time: 31.5746 s c =============================================================================== c | 2682 | 1081 1685 668938 | 5000 2682 914 | 0.000 % | c =============================================================================== c New solution: 1771143 c Elapsed CPU time: 148.891 s Remaining CPU time: 31.1086 s c =============================================================================== c | 2687 | 1081 1686 669895 | 5000 2687 914 | 0.000 % | c =============================================================================== c New solution: 1770949 c Elapsed CPU time: 149.406 s Remaining CPU time: 30.5937 s c =============================================================================== c | 2697 | 1081 1687 670852 | 5000 2697 914 | 0.000 % | c =============================================================================== c New solution: 1770908 c Elapsed CPU time: 149.879 s Remaining CPU time: 30.1208 s c =============================================================================== c | 2702 | 1081 1688 671809 | 5000 2702 914 | 0.000 % | c =============================================================================== c New solution: 1770791 c Elapsed CPU time: 150.26 s Remaining CPU time: 29.7398 s c =============================================================================== c | 2702 | 1081 1689 672766 | 5000 2702 914 | 0.000 % | c =============================================================================== c New solution: 1770776 c Elapsed CPU time: 150.758 s Remaining CPU time: 29.2419 s c =============================================================================== c | 2714 | 1081 1690 673723 | 5000 2714 914 | 0.000 % | c =============================================================================== c New solution: 1770658 c Elapsed CPU time: 151.283 s Remaining CPU time: 28.717 s c =============================================================================== c | 2726 | 1081 1691 674680 | 5000 2726 914 | 0.000 % | c =============================================================================== c New solution: 1770419 c Elapsed CPU time: 151.677 s Remaining CPU time: 28.3231 s c =============================================================================== c | 2727 | 1081 1692 675637 | 5000 2727 914 | 0.000 % | c =============================================================================== c New solution: 1770226 c Elapsed CPU time: 152.087 s Remaining CPU time: 27.9131 s c =============================================================================== c | 2730 | 1081 1693 676594 | 5000 2730 914 | 0.000 % | c =============================================================================== c New solution: 1769899 c Elapsed CPU time: 152.717 s Remaining CPU time: 27.2832 s c =============================================================================== c | 2765 | 1081 1694 677551 | 5000 2765 913 | 0.000 % | c =============================================================================== c New solution: 1769861 c Elapsed CPU time: 153.304 s Remaining CPU time: 26.6963 s c =============================================================================== c | 2785 | 1081 1695 678508 | 5000 2785 913 | 0.000 % | c =============================================================================== c New solution: 1769834 c Elapsed CPU time: 153.844 s Remaining CPU time: 26.1564 s c =============================================================================== c | 2810 | 1081 1696 679465 | 5000 2810 913 | 0.000 % | c =============================================================================== c New solution: 1769738 c Elapsed CPU time: 154.247 s Remaining CPU time: 25.7534 s c =============================================================================== c | 2814 | 1081 1697 680422 | 5000 2814 913 | 0.000 % | c =============================================================================== c New solution: 1769654 c Elapsed CPU time: 154.77 s Remaining CPU time: 25.2295 s c =============================================================================== c | 2834 | 1081 1698 681379 | 5000 2834 913 | 0.000 % | c =============================================================================== c New solution: 1769526 c Elapsed CPU time: 155.474 s Remaining CPU time: 24.5256 s c =============================================================================== c | 2864 | 1081 1699 682336 | 5000 2864 913 | 0.000 % | c =============================================================================== c New solution: 1769416 c Elapsed CPU time: 155.848 s Remaining CPU time: 24.1517 s c =============================================================================== c | 2864 | 1081 1700 683293 | 5000 2864 913 | 0.000 % | c =============================================================================== c New solution: 1769354 c Elapsed CPU time: 156.257 s Remaining CPU time: 23.7428 s c =============================================================================== c | 2866 | 1081 1701 684250 | 5000 2866 913 | 0.000 % | c =============================================================================== c New solution: 1769292 c Elapsed CPU time: 156.659 s Remaining CPU time: 23.3408 s c =============================================================================== c | 2866 | 1081 1702 685207 | 5000 2866 913 | 0.000 % | c =============================================================================== c New solution: 1769253 c Elapsed CPU time: 157.185 s Remaining CPU time: 22.8149 s c =============================================================================== c | 2887 | 1081 1703 686164 | 5000 2887 913 | 0.000 % | c =============================================================================== c New solution: 1769109 c Elapsed CPU time: 157.57 s Remaining CPU time: 22.43 s c =============================================================================== c | 2888 | 1081 1704 687121 | 5000 2888 913 | 0.000 % | c =============================================================================== c New solution: 1769089 c Elapsed CPU time: 158.005 s Remaining CPU time: 21.995 s c =============================================================================== c | 2895 | 1081 1705 688078 | 5000 2895 913 | 0.000 % | c =============================================================================== c New solution: 1769054 c Elapsed CPU time: 158.428 s Remaining CPU time: 21.5721 s c =============================================================================== c | 2895 | 1081 1706 689035 | 5000 2895 913 | 0.000 % | c =============================================================================== c New solution: 1769036 c Elapsed CPU time: 158.82 s Remaining CPU time: 21.1801 s c =============================================================================== c | 2895 | 1081 1707 689992 | 5000 2895 913 | 0.000 % | c =============================================================================== c New solution: 1768994 c Elapsed CPU time: 159.207 s Remaining CPU time: 20.7932 s c =============================================================================== c | 2897 | 1081 1708 690949 | 5000 2897 913 | 0.000 % | c =============================================================================== c New solution: 1768818 c Elapsed CPU time: 159.701 s Remaining CPU time: 20.2993 s c =============================================================================== c | 2906 | 1081 1709 691906 | 5000 2906 913 | 0.000 % | c =============================================================================== c New solution: 1768770 c Elapsed CPU time: 160.069 s Remaining CPU time: 19.9313 s c =============================================================================== c | 2906 | 1081 1710 692863 | 5000 2906 913 | 0.000 % | c =============================================================================== c New solution: 1768760 c Elapsed CPU time: 160.447 s Remaining CPU time: 19.5534 s c =============================================================================== c | 2906 | 1081 1711 693820 | 5000 2906 913 | 0.000 % | c =============================================================================== c New solution: 1768717 c Elapsed CPU time: 160.804 s Remaining CPU time: 19.1964 s c =============================================================================== c | 2906 | 1081 1712 694777 | 5000 2906 913 | 0.000 % | c =============================================================================== c New solution: 1768601 c Elapsed CPU time: 161.145 s Remaining CPU time: 18.8555 s c =============================================================================== c | 2906 | 1081 1713 695734 | 5000 2906 913 | 0.000 % | c =============================================================================== c New solution: 1768599 c Elapsed CPU time: 161.664 s Remaining CPU time: 18.3356 s c =============================================================================== c | 2925 | 1081 1714 696691 | 5000 2925 912 | 0.000 % | c =============================================================================== c New solution: 1768598 c Elapsed CPU time: 162.055 s Remaining CPU time: 17.9446 s c =============================================================================== c | 2928 | 1081 1715 697648 | 5000 2928 912 | 0.000 % | c =============================================================================== c New solution: 1768557 c Elapsed CPU time: 162.473 s Remaining CPU time: 17.5267 s c =============================================================================== c | 2928 | 1081 1716 698605 | 5000 2928 912 | 0.000 % | c =============================================================================== c New solution: 1768485 c Elapsed CPU time: 163.007 s Remaining CPU time: 16.9928 s c =============================================================================== c | 2940 | 1081 1717 699562 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1768478 c Elapsed CPU time: 163.413 s Remaining CPU time: 16.5868 s c =============================================================================== c | 2940 | 1081 1718 700519 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1768456 c Elapsed CPU time: 163.847 s Remaining CPU time: 16.1529 s c =============================================================================== c | 2940 | 1081 1719 701476 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1768355 c Elapsed CPU time: 164.283 s Remaining CPU time: 15.717 s c =============================================================================== c | 2940 | 1081 1720 702433 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1768256 c Elapsed CPU time: 164.71 s Remaining CPU time: 15.29 s c =============================================================================== c | 2940 | 1081 1721 703390 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1768130 c Elapsed CPU time: 165.081 s Remaining CPU time: 14.9191 s c =============================================================================== c | 2940 | 1081 1722 704347 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1767931 c Elapsed CPU time: 165.464 s Remaining CPU time: 14.5362 s c =============================================================================== c | 2940 | 1081 1723 705304 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1767761 c Elapsed CPU time: 165.874 s Remaining CPU time: 14.1262 s c =============================================================================== c | 2940 | 1081 1724 706261 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1767593 c Elapsed CPU time: 166.268 s Remaining CPU time: 13.7323 s c =============================================================================== c | 2940 | 1081 1725 707218 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1767482 c Elapsed CPU time: 166.68 s Remaining CPU time: 13.3203 s c =============================================================================== c | 2940 | 1081 1726 708175 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1767340 c Elapsed CPU time: 167.08 s Remaining CPU time: 12.9204 s c =============================================================================== c | 2940 | 1081 1727 709132 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1767254 c Elapsed CPU time: 167.458 s Remaining CPU time: 12.5425 s c =============================================================================== c | 2940 | 1081 1728 710089 | 5000 2940 912 | 0.000 % | c =============================================================================== c New solution: 1767120 c Elapsed CPU time: 167.906 s Remaining CPU time: 12.0935 s c =============================================================================== c | 2947 | 1081 1729 711046 | 5000 2947 912 | 0.000 % | c =============================================================================== c New solution: 1767085 c Elapsed CPU time: 168.305 s Remaining CPU time: 11.6946 s c =============================================================================== c | 2948 | 1081 1730 712003 | 5000 2948 912 | 0.000 % | c =============================================================================== c New solution: 1766979 c Elapsed CPU time: 168.712 s Remaining CPU time: 11.2876 s c =============================================================================== c | 2948 | 1081 1731 712960 | 5000 2948 912 | 0.000 % | c =============================================================================== c New solution: 1766896 c Elapsed CPU time: 169.108 s Remaining CPU time: 10.8917 s c =============================================================================== c | 2948 | 1081 1732 713917 | 5000 2948 912 | 0.000 % | c =============================================================================== c New solution: 1766810 c Elapsed CPU time: 169.471 s Remaining CPU time: 10.5288 s c =============================================================================== c | 2948 | 1081 1733 714874 | 5000 2948 912 | 0.000 % | c =============================================================================== c New solution: 1766694 c Elapsed CPU time: 169.85 s Remaining CPU time: 10.1498 s c =============================================================================== c | 2948 | 1081 1734 715831 | 5000 2948 912 | 0.000 % | c =============================================================================== c New solution: 1766667 c Elapsed CPU time: 170.238 s Remaining CPU time: 9.76188 s c =============================================================================== c | 2948 | 1081 1735 716788 | 5000 2948 912 | 0.000 % | c =============================================================================== c New solution: 1766539 c Elapsed CPU time: 170.631 s Remaining CPU time: 9.36894 s c =============================================================================== c | 2948 | 1081 1736 717745 | 5000 2948 912 | 0.000 % | c =============================================================================== c New solution: 1766480 c Elapsed CPU time: 171.187 s Remaining CPU time: 8.81303 s c =============================================================================== c | 2967 | 1081 1737 718702 | 5000 2967 912 | 0.000 % | c =============================================================================== c New solution: 1766325 c Elapsed CPU time: 171.728 s Remaining CPU time: 8.27211 s c =============================================================================== c | 2976 | 1081 1738 719659 | 5000 2976 912 | 0.000 % | c =============================================================================== c New solution: 1766287 c Elapsed CPU time: 172.152 s Remaining CPU time: 7.84817 s c =============================================================================== c | 2981 | 1081 1739 720616 | 5000 2981 912 | 0.000 % | c =============================================================================== c New solution: 1766186 c Elapsed CPU time: 172.584 s Remaining CPU time: 7.41624 s c =============================================================================== c | 2984 | 1081 1740 721573 | 5000 2984 912 | 0.000 % | c =============================================================================== c New solution: 1766103 c Elapsed CPU time: 173.069 s Remaining CPU time: 6.93131 s c =============================================================================== c | 2989 | 1081 1741 722530 | 5000 2989 912 | 0.000 % | c =============================================================================== c New solution: 1766001 c Elapsed CPU time: 173.575 s Remaining CPU time: 6.42539 s c =============================================================================== c | 2997 | 1081 1742 723487 | 5000 2997 912 | 0.000 % | c =============================================================================== c New solution: 1765993 c Elapsed CPU time: 174.072 s Remaining CPU time: 5.92846 s c =============================================================================== c | 3012 | 1081 1743 724444 | 5000 3012 912 | 0.000 % | c =============================================================================== c New solution: 1765957 c Elapsed CPU time: 174.661 s Remaining CPU time: 5.33855 s c =============================================================================== c | 3033 | 1081 1744 725401 | 5000 3033 912 | 0.000 % | c =============================================================================== c New solution: 1765906 c Elapsed CPU time: 175.139 s Remaining CPU time: 4.86063 s c =============================================================================== c | 3040 | 1081 1745 726358 | 5000 3040 912 | 0.000 % | c =============================================================================== c New solution: 1765889 c Elapsed CPU time: 175.575 s Remaining CPU time: 4.42469 s c =============================================================================== c | 3041 | 1081 1746 727315 | 5000 3041 912 | 0.000 % | c =============================================================================== c New solution: 1765883 c Elapsed CPU time: 175.992 s Remaining CPU time: 4.00776 s c =============================================================================== c | 3041 | 1081 1747 728272 | 5000 3041 912 | 0.000 % | c =============================================================================== c New solution: 1765730 c Elapsed CPU time: 176.39 s Remaining CPU time: 3.60982 s c =============================================================================== c | 3041 | 1081 1748 729229 | 5000 3041 912 | 0.000 % | c =============================================================================== c New solution: 1765605 c Elapsed CPU time: 176.781 s Remaining CPU time: 3.21887 s c =============================================================================== c | 3042 | 1081 1749 730186 | 5000 3042 912 | 0.000 % | c =============================================================================== c New solution: 1765502 c Elapsed CPU time: 177.182 s Remaining CPU time: 2.81794 s c =============================================================================== c | 3042 | 1081 1750 731143 | 5000 3042 912 | 0.000 % | c =============================================================================== c New solution: 1765395 c Elapsed CPU time: 177.604 s Remaining CPU time: 2.396 s c =============================================================================== c | 3042 | 1081 1751 732100 | 5000 3042 912 | 0.000 % | c =============================================================================== c New solution: 1765350 c Elapsed CPU time: 178.305 s Remaining CPU time: 1.69511 s c =============================================================================== c | 3067 | 1081 1752 733057 | 5000 3067 912 | 0.000 % | c =============================================================================== c New solution: 1765349 c Elapsed CPU time: 178.87 s Remaining CPU time: 1.13019 s c =============================================================================== c | 3085 | 1081 1753 734014 | 5000 3085 912 | 0.000 % | c =============================================================================== c New solution: 1765291 c Elapsed CPU time: 179.291 s Remaining CPU time: 0.709257 s c =============================================================================== c | 3090 | 1081 1754 734971 | 5000 3090 912 | 0.000 % | c =============================================================================== c New solution: 1765237 c Elapsed CPU time: 179.685 s Remaining CPU time: 0.315317 s c =============================================================================== c | 3090 | 1081 1755 735928 | 5000 3090 912 | 0.000 % | c =============================================================================== c New solution: 1765165 c Elapsed CPU time: 180.112 s Remaining CPU time: -0.111618 s c =============================================================================== c | 3091 | 1081 1756 736885 | 5000 3091 912 | 0.000 % | c There are 0 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 | 154 2744 3584 | 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 | 163 2752 3594 | 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 | 175 2763 3608 | 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 | 188 2775 3626 | 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 | 199 2785 3638 | 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 | 214 2799 3715 | 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 | 231 2815 3741 | 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 | 248 2831 3767 | 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 | 260 2842 3792 | 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 | 270 2851 3803 | 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 | 284 2864 3858 | 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 | 300 2879 3883 | 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 | 316 2894 3904 | 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 | 333 2910 3926 | 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 | 348 2924 3942 | 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 | 366 2941 3967 | 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 | 376 2950 3994 | 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 | 390 2963 4025 | 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 | 397 2970 4040 | 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 | 404 2977 4055 | 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 | 412 2985 4071 | 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 | 417 2990 4082 | 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 | 423 2996 4094 | 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 | 430 3002 4106 | 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 | 439 3010 4116 | 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 | 449 3019 4135 | 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 | 469 3038 4174 | 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 | 491 3059 4207 | 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 | 513 3080 4242 | 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 | 534 3100 4264 | 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 | 557 3122 4289 | 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 | 578 3142 4327 | 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 | 595 3158 4351 | 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 | 620 3182 4405 | 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 | 648 3209 4447 | 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 | 675 3234 4503 | 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 | 704 3262 4546 | 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 | 738 3296 4596 | 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 | 748 3305 4611 | 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 | 783 3339 4663 | 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 | 793 3348 4674 | 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 | 831 3385 4738 | 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 | 846 3399 4770 | 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 | 888 3441 4836 | 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 | 897 3449 4846 | 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 | 944 3493 4903 | 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 | 989 3537 4956 | 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 | 1030 3577 5020 | 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 | 1050 3596 5048 | 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 | 1092 3637 5125 | 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 | 1109 3653 5163 | 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 | 1131 3675 5195 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1147 3690 5214 | 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 | 1157 3699 5225 | 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 | 1214 3755 5335 | 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 | 1265 3806 5406 | 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 | 1286 3825 5430 | 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 | 1341 3879 5538 | 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 | 1350 3887 5552 | 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 | 1359 3895 5564 | 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 | 1369 3904 5575 | 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 | 1380 3914 5589 | 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 | 1433 3968 5681 | 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 | 1454 3988 5733 | 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 | 1479 4012 5781 | 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 | 1510 4042 5858 | 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 | 1540 4071 5902 | 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 | 1566 4096 5947 | 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 | 1620 4149 6028 | 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 | 1647 4175 6082 | 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 | 1679 4206 6128 | 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 | 1716 4242 6200 | 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 | 1728 4253 6217 | 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 | 1736 4260 6226 | 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 | 1744 4267 6237 | 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 | 1752 4274 6250 | 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 | 1777 4298 6322 | 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 | 1815 4334 6400 | 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 | 1843 4361 6430 | 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 | 1853 4370 6441 | 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 | 1880 4396 6507 | 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 | 1894 4409 6526 | 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 | 1954 4466 6608 | 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 | 1967 4478 6626 | 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 | 2034 4541 6741 | 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 | 2054 4560 6820 | 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 | 2081 4586 6884 | 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 | 2138 4641 7023 | 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 | 2169 4671 7089 | 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 | 2227 4726 7214 | 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 | 2243 4741 7233 | 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 | 2261 4758 7258 | 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 | 2323 4820 7419 | 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 | 2339 4832 7507 | 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 | 2405 4897 7599 | 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 | 2457 4948 7680 | 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 | 2477 4967 7703 | 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 | 2509 4998 7786 | 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 | 2546 5034 7828 | 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 | 2627 5115 8044 | 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 | 2679 5167 8198 | 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 | 2687 5174 8211 | 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 | 2744 5229 8328 | 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 | 2799 5280 8436 | 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 | 2835 5316 8482 | 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 | 2848 5328 8498 | 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 | 2882 5362 8536 | 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 | 2907 5386 8574 | 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 | 2933 5411 8611 | 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 | 2956 5433 8651 | 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 | 2992 5469 8697 | 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 | 3027 5503 8815 | 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 | 3040 5515 8829 | 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 | 3078 5552 8948 | 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 | 3087 5560 8958 | 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 | 3128 5601 9003 | 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 | 3174 5646 9135 | 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 | 3226 5698 9212 | 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 | 3268 5739 9297 | 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 | 3297 5767 9337 | 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 | 3348 5817 9420 | 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 | 3376 5845 9465 | 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 | 3442 5911 9597 | 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 | 3460 5928 9630 | 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 | 3511 5978 9698 | 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 | 3554 6020 9804 | 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 | 3579 6044 9830 | 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 | 3621 6085 9885 | 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 | 3652 6115 9917 | 5000 0 nan | 0.000 % | c ===============================================================================