c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 300 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 300 | c | Number Clauses: 300 | 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 | 300 300 1100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1198 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 300 301 1300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1196 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 300 302 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1191 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 300 303 1700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1189 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 304 1900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1184 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 305 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1181 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 306 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1179 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 307 2500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1178 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 308 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1176 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 309 2900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1174 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 310 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1172 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 311 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1170 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 300 312 3500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1168 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 300 313 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1167 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 300 314 3900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1165 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 1 | 300 315 4100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1163 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 1 | 300 316 4300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1162 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 1 | 300 317 4500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1161 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 300 318 4700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1159 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 1 | 300 319 4900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1158 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 1 | 300 320 5100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1157 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 1 | 300 321 5300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1156 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 1 | 300 322 5500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1155 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 300 323 5700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1154 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 300 324 5900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1153 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 300 325 6100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1151 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 300 326 6300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1148 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 1 | 300 327 6500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1147 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 300 328 6700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1145 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 300 329 6900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1142 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 300 330 7100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1141 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 1 | 300 331 7300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1140 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 300 332 7500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1139 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 300 333 7700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1137 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 1 | 300 334 7900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1134 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 1 | 300 335 8100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1133 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 1 | 300 336 8300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1132 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 1 | 300 337 8500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1131 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 1 | 300 338 8700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1130 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 1 | 300 339 8900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1129 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1 | 300 340 9100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1128 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 300 341 9300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1125 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 300 342 9500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1122 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 300 343 9700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1121 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 300 344 9900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1118 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 300 345 10100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1116 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 300 346 10300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1114 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 300 347 10500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1110 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 300 348 10700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1109 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 300 349 10900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1106 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 300 350 11100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1104 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 1 | 300 351 11300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1103 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 300 352 11500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1101 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 300 353 11700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1100 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 1 | 300 354 11900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1099 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 300 355 12100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1098 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 300 356 12300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1097 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 300 357 12500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1096 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 1 | 300 358 12700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1095 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 300 359 12900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1094 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1 | 300 360 13100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1093 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 300 361 13300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1092 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 300 362 13500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1091 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 300 363 13700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1089 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 300 364 13900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1088 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 300 365 14100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1087 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 300 366 14300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1086 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1 | 300 367 14500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1084 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 1 | 300 368 14700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1083 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1 | 300 369 14900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1082 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 300 370 15100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1081 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 300 371 15300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1080 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1 | 300 372 15500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1079 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 1 | 300 373 15700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1078 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 1 | 300 374 15900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1077 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 300 375 16100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1076 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 1 | 300 376 16300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1075 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 1 | 300 377 16500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1074 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 1 | 300 378 16700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1073 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 300 379 16900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1072 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 1 | 300 380 17100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1071 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 300 381 17300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1070 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 1 | 300 382 17500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1069 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 1 | 300 383 17700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1068 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1 | 300 384 17900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1067 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 1 | 300 385 18100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1065 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 1 | 300 386 18300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1064 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 1 | 300 387 18500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1063 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1 | 300 388 18700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1062 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 1 | 300 389 18900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1061 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 1 | 300 390 19100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1060 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1 | 300 391 19300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1059 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 1 | 300 392 19500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1058 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 1 | 300 393 19700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1057 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 1 | 300 394 19900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1055 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 1 | 300 395 20100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1054 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 1 | 300 396 20300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1053 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 1 | 300 397 20500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1052 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 1 | 300 398 20700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1051 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 1 | 300 399 20900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1050 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 1 | 300 400 21100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1049 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 1 | 300 401 21300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1048 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 1 | 300 402 21500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1047 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 1 | 300 403 21700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1046 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 1 | 300 404 21900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1045 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 1 | 300 405 22100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1044 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 1 | 300 406 22300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1043 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 1 | 300 407 22500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1041 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 1 | 300 408 22700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1040 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 1 | 300 409 22900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1039 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 1 | 300 410 23100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1038 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 1 | 300 411 23300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1037 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 1 | 300 412 23500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1036 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 1 | 300 413 23700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1035 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 1 | 300 414 23900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1034 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 1 | 300 415 24100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1033 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 1 | 300 416 24300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1032 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 1 | 300 417 24500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1031 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 1 | 300 418 24700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1029 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 1 | 300 419 24900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1028 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 1 | 300 420 25100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 1027 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 2 | 300 421 25300 | 5000 2 92 | 0.000 % | c =============================================================================== c New solution: 1025 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 2 | 300 422 25500 | 5000 2 92 | 0.000 % | c =============================================================================== c New solution: 1024 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 2 | 300 423 25700 | 5000 2 92 | 0.000 % | c =============================================================================== c New solution: 1023 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 2 | 300 424 25900 | 5000 2 92 | 0.000 % | c =============================================================================== c New solution: 1021 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 2 | 300 425 26100 | 5000 2 92 | 0.000 % | c =============================================================================== c New solution: 1020 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 3 | 300 426 26300 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1019 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 3 | 300 427 26500 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1017 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 3 | 300 428 26700 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1016 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 3 | 300 429 26900 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1015 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 3 | 300 430 27100 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1014 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 3 | 300 431 27300 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1013 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 3 | 300 432 27500 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1012 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 3 | 300 433 27700 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1011 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 3 | 300 434 27900 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1010 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 3 | 300 435 28100 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1009 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 3 | 300 436 28300 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1008 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 3 | 300 437 28500 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1007 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 3 | 300 438 28700 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1006 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 3 | 300 439 28900 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1005 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 3 | 300 440 29100 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1004 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 3 | 300 441 29300 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1003 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 3 | 300 442 29500 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 1001 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 3 | 300 443 29700 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 999 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 3 | 300 444 29900 | 5000 3 63 | 0.000 % | c =============================================================================== c New solution: 998 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 4 | 300 445 30100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 997 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 4 | 300 446 30300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 996 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 4 | 300 447 30500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 995 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 4 | 300 448 30700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 994 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 4 | 300 449 30900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 993 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 4 | 300 450 31100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 992 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 4 | 300 451 31300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 990 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 4 | 300 452 31500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 989 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 4 | 300 453 31700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 988 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 4 | 300 454 31900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 987 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 4 | 300 455 32100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 986 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 4 | 300 456 32300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 985 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 4 | 300 457 32500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 984 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 4 | 300 458 32700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 982 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 4 | 300 459 32900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 981 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 4 | 300 460 33100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 980 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 4 | 300 461 33300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 979 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 4 | 300 462 33500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 978 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 4 | 300 463 33700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 977 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 4 | 300 464 33900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 976 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 4 | 300 465 34100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 975 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 4 | 300 466 34300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 974 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 4 | 300 467 34500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 973 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 4 | 300 468 34700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 972 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 4 | 300 469 34900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 971 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 4 | 300 470 35100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 970 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 4 | 300 471 35300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 969 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 4 | 300 472 35500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 968 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 4 | 300 473 35700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 966 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 4 | 300 474 35900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 965 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 4 | 300 475 36100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 964 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 4 | 300 476 36300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 963 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 4 | 300 477 36500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 962 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 4 | 300 478 36700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 961 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 4 | 300 479 36900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 959 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 4 | 300 480 37100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 958 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 4 | 300 481 37300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 957 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 4 | 300 482 37500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 956 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 4 | 300 483 37700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 955 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 4 | 300 484 37900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 954 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 4 | 300 485 38100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 952 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 4 | 300 486 38300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 951 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 4 | 300 487 38500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 950 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 4 | 300 488 38700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 949 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 4 | 300 489 38900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 948 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 4 | 300 490 39100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 947 c Elapsed CPU time: 0.72089 s Remaining CPU time: 179.279 s c =============================================================================== c | 4 | 300 491 39300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 946 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 4 | 300 492 39500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 944 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 4 | 300 493 39700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 943 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 4 | 300 494 39900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 942 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 4 | 300 495 40100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 941 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 4 | 300 496 40300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 940 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 4 | 300 497 40500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 939 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 4 | 300 498 40700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 938 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 4 | 300 499 40900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 937 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 4 | 300 500 41100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 936 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 4 | 300 501 41300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 935 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 4 | 300 502 41500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 934 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 4 | 300 503 41700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 933 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 4 | 300 504 41900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 932 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 4 | 300 505 42100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 930 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 4 | 300 506 42300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 929 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 4 | 300 507 42500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 928 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 4 | 300 508 42700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 927 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 4 | 300 509 42900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 925 c Elapsed CPU time: 0.880866 s Remaining CPU time: 179.119 s c =============================================================================== c | 4 | 300 510 43100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 924 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 4 | 300 511 43300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 923 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 4 | 300 512 43500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 922 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 4 | 300 513 43700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 921 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 4 | 300 514 43900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 920 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 4 | 300 515 44100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 918 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 4 | 300 516 44300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 917 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 4 | 300 517 44500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 916 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 4 | 300 518 44700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 914 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 4 | 300 519 44900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 913 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 4 | 300 520 45100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 912 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 4 | 300 521 45300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 911 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 4 | 300 522 45500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 910 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 4 | 300 523 45700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 909 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 4 | 300 524 45900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 908 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 4 | 300 525 46100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 907 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 4 | 300 526 46300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 906 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 4 | 300 527 46500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 905 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 4 | 300 528 46700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 904 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s c =============================================================================== c | 4 | 300 529 46900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 903 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 4 | 300 530 47100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 902 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 4 | 300 531 47300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 901 c Elapsed CPU time: 1.08683 s Remaining CPU time: 178.913 s c =============================================================================== c | 4 | 300 532 47500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 899 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s c =============================================================================== c | 4 | 300 533 47700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 898 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 4 | 300 534 47900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 897 c Elapsed CPU time: 1.11683 s Remaining CPU time: 178.883 s c =============================================================================== c | 4 | 300 535 48100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 895 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s c =============================================================================== c | 4 | 300 536 48300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 894 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 4 | 300 537 48500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 893 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 4 | 300 538 48700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 892 c Elapsed CPU time: 1.15582 s Remaining CPU time: 178.844 s c =============================================================================== c | 4 | 300 539 48900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 891 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 4 | 300 540 49100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 890 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 4 | 300 541 49300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 889 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 4 | 300 542 49500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 888 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 4 | 300 543 49700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 887 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 4 | 300 544 49900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 886 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 4 | 300 545 50100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 885 c Elapsed CPU time: 1.23281 s Remaining CPU time: 178.767 s c =============================================================================== c | 4 | 300 546 50300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 884 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s c =============================================================================== c | 4 | 300 547 50500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 883 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 4 | 300 548 50700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 882 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 4 | 300 549 50900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 881 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 4 | 300 550 51100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 880 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 4 | 300 551 51300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 879 c Elapsed CPU time: 1.3008 s Remaining CPU time: 178.699 s c =============================================================================== c | 4 | 300 552 51500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 877 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 4 | 300 553 51700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 876 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 4 | 300 554 51900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 875 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 4 | 300 555 52100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 874 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 4 | 300 556 52300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 872 c Elapsed CPU time: 1.36179 s Remaining CPU time: 178.638 s c =============================================================================== c | 4 | 300 557 52500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 871 c Elapsed CPU time: 1.37479 s Remaining CPU time: 178.625 s c =============================================================================== c | 4 | 300 558 52700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 870 c Elapsed CPU time: 1.38779 s Remaining CPU time: 178.612 s c =============================================================================== c | 4 | 300 559 52900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 868 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 4 | 300 560 53100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 867 c Elapsed CPU time: 1.40979 s Remaining CPU time: 178.59 s c =============================================================================== c | 4 | 300 561 53300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 866 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s c =============================================================================== c | 4 | 300 562 53500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 865 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 4 | 300 563 53700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 864 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 4 | 300 564 53900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 863 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 4 | 300 565 54100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 862 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 4 | 300 566 54300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 861 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 4 | 300 567 54500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 860 c Elapsed CPU time: 1.49677 s Remaining CPU time: 178.503 s c =============================================================================== c | 4 | 300 568 54700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 859 c Elapsed CPU time: 1.50877 s Remaining CPU time: 178.491 s c =============================================================================== c | 4 | 300 569 54900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 858 c Elapsed CPU time: 1.52077 s Remaining CPU time: 178.479 s c =============================================================================== c | 4 | 300 570 55100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 856 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 4 | 300 571 55300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 855 c Elapsed CPU time: 1.54976 s Remaining CPU time: 178.45 s c =============================================================================== c | 4 | 300 572 55500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 1.56176 s Remaining CPU time: 178.438 s c =============================================================================== c | 4 | 300 573 55700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 1.57576 s Remaining CPU time: 178.424 s c =============================================================================== c | 4 | 300 574 55900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 1.59176 s Remaining CPU time: 178.408 s c =============================================================================== c | 4 | 300 575 56100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s c =============================================================================== c | 4 | 300 576 56300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 4 | 300 577 56500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 1.62875 s Remaining CPU time: 178.371 s c =============================================================================== c | 4 | 300 578 56700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 4 | 300 579 56900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 4 | 300 580 57100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 4 | 300 581 57300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 1.68574 s Remaining CPU time: 178.314 s c =============================================================================== c | 4 | 300 582 57500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 4 | 300 583 57700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s c =============================================================================== c | 4 | 300 584 57900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 1.72274 s Remaining CPU time: 178.277 s c =============================================================================== c | 4 | 300 585 58100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 1.73574 s Remaining CPU time: 178.264 s c =============================================================================== c | 4 | 300 586 58300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 1.75073 s Remaining CPU time: 178.249 s c =============================================================================== c | 4 | 300 587 58500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 1.76373 s Remaining CPU time: 178.236 s c =============================================================================== c | 4 | 300 588 58700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 1.77773 s Remaining CPU time: 178.222 s c =============================================================================== c | 4 | 300 589 58900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s c =============================================================================== c | 4 | 300 590 59100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s c =============================================================================== c | 4 | 300 591 59300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 4 | 300 592 59500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 1.83372 s Remaining CPU time: 178.166 s c =============================================================================== c | 4 | 300 593 59700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 1.84572 s Remaining CPU time: 178.154 s c =============================================================================== c | 4 | 300 594 59900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 1.85972 s Remaining CPU time: 178.14 s c =============================================================================== c | 4 | 300 595 60100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 4 | 300 596 60300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 4 | 300 597 60500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 1.91171 s Remaining CPU time: 178.088 s c =============================================================================== c | 4 | 300 598 60700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 1.92671 s Remaining CPU time: 178.073 s c =============================================================================== c | 4 | 300 599 60900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 1.9407 s Remaining CPU time: 178.059 s c =============================================================================== c | 4 | 300 600 61100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 4 | 300 601 61300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 1.9717 s Remaining CPU time: 178.028 s c =============================================================================== c | 4 | 300 602 61500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 4 | 300 603 61700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 2.00069 s Remaining CPU time: 177.999 s c =============================================================================== c | 4 | 300 604 61900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 2.01369 s Remaining CPU time: 177.986 s c =============================================================================== c | 4 | 300 605 62100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 2.03069 s Remaining CPU time: 177.969 s c =============================================================================== c | 4 | 300 606 62300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 2.04769 s Remaining CPU time: 177.952 s c =============================================================================== c | 4 | 300 607 62500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 4 | 300 608 62700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 4 | 300 609 62900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 2.09368 s Remaining CPU time: 177.906 s c =============================================================================== c | 4 | 300 610 63100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 2.11368 s Remaining CPU time: 177.886 s c =============================================================================== c | 4 | 300 611 63300 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 2.13167 s Remaining CPU time: 177.868 s c =============================================================================== c | 4 | 300 612 63500 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 2.14767 s Remaining CPU time: 177.852 s c =============================================================================== c | 4 | 300 613 63700 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 2.16267 s Remaining CPU time: 177.837 s c =============================================================================== c | 4 | 300 614 63900 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s c =============================================================================== c | 4 | 300 615 64100 | 5000 4 49 | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 2.19567 s Remaining CPU time: 177.804 s c =============================================================================== c | 5 | 300 616 64300 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 2.21266 s Remaining CPU time: 177.787 s c =============================================================================== c | 5 | 300 617 64500 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 2.23266 s Remaining CPU time: 177.767 s c =============================================================================== c | 5 | 300 618 64700 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 5 | 300 619 64900 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 2.27065 s Remaining CPU time: 177.729 s c =============================================================================== c | 5 | 300 620 65100 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 2.28865 s Remaining CPU time: 177.711 s c =============================================================================== c | 5 | 300 621 65300 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 2.30365 s Remaining CPU time: 177.696 s c =============================================================================== c | 5 | 300 622 65500 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 2.31565 s Remaining CPU time: 177.684 s c =============================================================================== c | 5 | 300 623 65700 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 2.33164 s Remaining CPU time: 177.668 s c =============================================================================== c | 5 | 300 624 65900 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 2.34964 s Remaining CPU time: 177.65 s c =============================================================================== c | 5 | 300 625 66100 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 5 | 300 626 66300 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 5 | 300 627 66500 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 2.39764 s Remaining CPU time: 177.602 s c =============================================================================== c | 5 | 300 628 66700 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 2.41663 s Remaining CPU time: 177.583 s c =============================================================================== c | 5 | 300 629 66900 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 2.43363 s Remaining CPU time: 177.566 s c =============================================================================== c | 5 | 300 630 67100 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 2.45463 s Remaining CPU time: 177.545 s c =============================================================================== c | 5 | 300 631 67300 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 2.47362 s Remaining CPU time: 177.526 s c =============================================================================== c | 5 | 300 632 67500 | 5000 5 40 | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 2.49162 s Remaining CPU time: 177.508 s c =============================================================================== c | 6 | 300 633 67700 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 2.51062 s Remaining CPU time: 177.489 s c =============================================================================== c | 6 | 300 634 67900 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s c =============================================================================== c | 6 | 300 635 68100 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 2.54361 s Remaining CPU time: 177.456 s c =============================================================================== c | 6 | 300 636 68300 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 6 | 300 637 68500 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 2.57861 s Remaining CPU time: 177.421 s c =============================================================================== c | 6 | 300 638 68700 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s c =============================================================================== c | 6 | 300 639 68900 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 2.6146 s Remaining CPU time: 177.385 s c =============================================================================== c | 6 | 300 640 69100 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 2.6336 s Remaining CPU time: 177.366 s c =============================================================================== c | 6 | 300 641 69300 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 2.6506 s Remaining CPU time: 177.349 s c =============================================================================== c | 6 | 300 642 69500 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 6 | 300 643 69700 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 2.68559 s Remaining CPU time: 177.314 s c =============================================================================== c | 6 | 300 644 69900 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 2.70259 s Remaining CPU time: 177.297 s c =============================================================================== c | 6 | 300 645 70100 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s c =============================================================================== c | 6 | 300 646 70300 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 2.73658 s Remaining CPU time: 177.263 s c =============================================================================== c | 6 | 300 647 70500 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 2.75458 s Remaining CPU time: 177.245 s c =============================================================================== c | 6 | 300 648 70700 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 2.77258 s Remaining CPU time: 177.227 s c =============================================================================== c | 6 | 300 649 70900 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 2.79157 s Remaining CPU time: 177.208 s c =============================================================================== c | 6 | 300 650 71100 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 2.80857 s Remaining CPU time: 177.191 s c =============================================================================== c | 6 | 300 651 71300 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 2.82657 s Remaining CPU time: 177.173 s c =============================================================================== c | 6 | 300 652 71500 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 2.84457 s Remaining CPU time: 177.155 s c =============================================================================== c | 6 | 300 653 71700 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 2.86256 s Remaining CPU time: 177.137 s c =============================================================================== c | 6 | 300 654 71900 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 2.87856 s Remaining CPU time: 177.121 s c =============================================================================== c | 6 | 300 655 72100 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 2.89356 s Remaining CPU time: 177.106 s c =============================================================================== c | 6 | 300 656 72300 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 2.91256 s Remaining CPU time: 177.087 s c =============================================================================== c | 6 | 300 657 72500 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 2.92855 s Remaining CPU time: 177.071 s c =============================================================================== c | 6 | 300 658 72700 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 2.94555 s Remaining CPU time: 177.054 s c =============================================================================== c | 6 | 300 659 72900 | 5000 6 35 | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 2.96355 s Remaining CPU time: 177.036 s c =============================================================================== c | 7 | 300 660 73100 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 2.98155 s Remaining CPU time: 177.018 s c =============================================================================== c | 7 | 300 661 73300 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 2.99954 s Remaining CPU time: 177 s c =============================================================================== c | 7 | 300 662 73500 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 3.01554 s Remaining CPU time: 176.984 s c =============================================================================== c | 7 | 300 663 73700 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 3.03454 s Remaining CPU time: 176.965 s c =============================================================================== c | 7 | 300 664 73900 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 3.05454 s Remaining CPU time: 176.945 s c =============================================================================== c | 7 | 300 665 74100 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 3.07653 s Remaining CPU time: 176.923 s c =============================================================================== c | 7 | 300 666 74300 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 3.09453 s Remaining CPU time: 176.905 s c =============================================================================== c | 7 | 300 667 74500 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 3.11153 s Remaining CPU time: 176.888 s c =============================================================================== c | 7 | 300 668 74700 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 7 | 300 669 74900 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 3.15252 s Remaining CPU time: 176.847 s c =============================================================================== c | 7 | 300 670 75100 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 3.17452 s Remaining CPU time: 176.825 s c =============================================================================== c | 7 | 300 671 75300 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 3.19451 s Remaining CPU time: 176.805 s c =============================================================================== c | 7 | 300 672 75500 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 3.21651 s Remaining CPU time: 176.783 s c =============================================================================== c | 7 | 300 673 75700 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 3.23351 s Remaining CPU time: 176.766 s c =============================================================================== c | 7 | 300 674 75900 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 3.25351 s Remaining CPU time: 176.746 s c =============================================================================== c | 7 | 300 675 76100 | 5000 7 31 | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 3.2725 s Remaining CPU time: 176.727 s c =============================================================================== c | 8 | 300 676 76300 | 5000 8 44 | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 3.2925 s Remaining CPU time: 176.708 s c =============================================================================== c | 8 | 300 677 76500 | 5000 8 44 | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 3.3105 s Remaining CPU time: 176.69 s c =============================================================================== c | 8 | 300 678 76700 | 5000 8 44 | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 3.33049 s Remaining CPU time: 176.67 s c =============================================================================== c | 8 | 300 679 76900 | 5000 8 44 | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 3.34649 s Remaining CPU time: 176.654 s c =============================================================================== c | 9 | 300 680 77100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 3.36649 s Remaining CPU time: 176.634 s c =============================================================================== c | 9 | 300 681 77300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 3.38348 s Remaining CPU time: 176.617 s c =============================================================================== c | 9 | 300 682 77500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 3.40248 s Remaining CPU time: 176.598 s c =============================================================================== c | 9 | 300 683 77700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 3.42248 s Remaining CPU time: 176.578 s c =============================================================================== c | 9 | 300 684 77900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 3.44048 s Remaining CPU time: 176.56 s c =============================================================================== c | 9 | 300 685 78100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 3.45947 s Remaining CPU time: 176.541 s c =============================================================================== c | 9 | 300 686 78300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 3.47947 s Remaining CPU time: 176.521 s c =============================================================================== c | 9 | 300 687 78500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 3.49947 s Remaining CPU time: 176.501 s c =============================================================================== c | 9 | 300 688 78700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 3.52146 s Remaining CPU time: 176.479 s c =============================================================================== c | 9 | 300 689 78900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 3.54146 s Remaining CPU time: 176.459 s c =============================================================================== c | 9 | 300 690 79100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 3.56146 s Remaining CPU time: 176.439 s c =============================================================================== c | 9 | 300 691 79300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 3.58046 s Remaining CPU time: 176.42 s c =============================================================================== c | 9 | 300 692 79500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 3.60045 s Remaining CPU time: 176.4 s c =============================================================================== c | 9 | 300 693 79700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 3.62045 s Remaining CPU time: 176.38 s c =============================================================================== c | 9 | 300 694 79900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 3.64145 s Remaining CPU time: 176.359 s c =============================================================================== c | 9 | 300 695 80100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 3.65944 s Remaining CPU time: 176.341 s c =============================================================================== c | 9 | 300 696 80300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 3.68244 s Remaining CPU time: 176.318 s c =============================================================================== c | 9 | 300 697 80500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 3.70144 s Remaining CPU time: 176.299 s c =============================================================================== c | 9 | 300 698 80700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 3.72243 s Remaining CPU time: 176.278 s c =============================================================================== c | 9 | 300 699 80900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 3.74243 s Remaining CPU time: 176.258 s c =============================================================================== c | 9 | 300 700 81100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 3.76243 s Remaining CPU time: 176.238 s c =============================================================================== c | 9 | 300 701 81300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 3.78143 s Remaining CPU time: 176.219 s c =============================================================================== c | 9 | 300 702 81500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 3.80242 s Remaining CPU time: 176.198 s c =============================================================================== c | 9 | 300 703 81700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 3.82042 s Remaining CPU time: 176.18 s c =============================================================================== c | 9 | 300 704 81900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 3.83942 s Remaining CPU time: 176.161 s c =============================================================================== c | 9 | 300 705 82100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 3.86141 s Remaining CPU time: 176.139 s c =============================================================================== c | 9 | 300 706 82300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 3.88441 s Remaining CPU time: 176.116 s c =============================================================================== c | 9 | 300 707 82500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 3.90341 s Remaining CPU time: 176.097 s c =============================================================================== c | 9 | 300 708 82700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 3.9254 s Remaining CPU time: 176.075 s c =============================================================================== c | 9 | 300 709 82900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 3.9484 s Remaining CPU time: 176.052 s c =============================================================================== c | 9 | 300 710 83100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 3.9704 s Remaining CPU time: 176.03 s c =============================================================================== c | 9 | 300 711 83300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 3.99039 s Remaining CPU time: 176.01 s c =============================================================================== c | 9 | 300 712 83500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 4.01139 s Remaining CPU time: 175.989 s c =============================================================================== c | 9 | 300 713 83700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 4.03239 s Remaining CPU time: 175.968 s c =============================================================================== c | 9 | 300 714 83900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 4.05338 s Remaining CPU time: 175.947 s c =============================================================================== c | 9 | 300 715 84100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 4.07238 s Remaining CPU time: 175.928 s c =============================================================================== c | 9 | 300 716 84300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 4.09538 s Remaining CPU time: 175.905 s c =============================================================================== c | 9 | 300 717 84500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 4.11537 s Remaining CPU time: 175.885 s c =============================================================================== c | 9 | 300 718 84700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 4.13837 s Remaining CPU time: 175.862 s c =============================================================================== c | 9 | 300 719 84900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 4.16237 s Remaining CPU time: 175.838 s c =============================================================================== c | 9 | 300 720 85100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 4.18336 s Remaining CPU time: 175.817 s c =============================================================================== c | 9 | 300 721 85300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 4.20336 s Remaining CPU time: 175.797 s c =============================================================================== c | 9 | 300 722 85500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 4.22336 s Remaining CPU time: 175.777 s c =============================================================================== c | 9 | 300 723 85700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 4.24535 s Remaining CPU time: 175.755 s c =============================================================================== c | 9 | 300 724 85900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 4.26535 s Remaining CPU time: 175.735 s c =============================================================================== c | 9 | 300 725 86100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 4.28835 s Remaining CPU time: 175.712 s c =============================================================================== c | 9 | 300 726 86300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 4.31134 s Remaining CPU time: 175.689 s c =============================================================================== c | 9 | 300 727 86500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 4.33234 s Remaining CPU time: 175.668 s c =============================================================================== c | 9 | 300 728 86700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 4.35234 s Remaining CPU time: 175.648 s c =============================================================================== c | 9 | 300 729 86900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 4.37233 s Remaining CPU time: 175.628 s c =============================================================================== c | 9 | 300 730 87100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 9 | 300 731 87300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 4.41733 s Remaining CPU time: 175.583 s c =============================================================================== c | 9 | 300 732 87500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 4.43933 s Remaining CPU time: 175.561 s c =============================================================================== c | 9 | 300 733 87700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 4.46232 s Remaining CPU time: 175.538 s c =============================================================================== c | 9 | 300 734 87900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 4.48532 s Remaining CPU time: 175.515 s c =============================================================================== c | 9 | 300 735 88100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 4.50631 s Remaining CPU time: 175.494 s c =============================================================================== c | 9 | 300 736 88300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 4.53031 s Remaining CPU time: 175.47 s c =============================================================================== c | 9 | 300 737 88500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 4.55331 s Remaining CPU time: 175.447 s c =============================================================================== c | 9 | 300 738 88700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 4.5763 s Remaining CPU time: 175.424 s c =============================================================================== c | 9 | 300 739 88900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 4.6003 s Remaining CPU time: 175.4 s c =============================================================================== c | 9 | 300 740 89100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 4.6243 s Remaining CPU time: 175.376 s c =============================================================================== c | 9 | 300 741 89300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 4.64729 s Remaining CPU time: 175.353 s c =============================================================================== c | 9 | 300 742 89500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 4.66829 s Remaining CPU time: 175.332 s c =============================================================================== c | 9 | 300 743 89700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 4.69129 s Remaining CPU time: 175.309 s c =============================================================================== c | 9 | 300 744 89900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 4.71328 s Remaining CPU time: 175.287 s c =============================================================================== c | 9 | 300 745 90100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 4.73628 s Remaining CPU time: 175.264 s c =============================================================================== c | 9 | 300 746 90300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 4.76028 s Remaining CPU time: 175.24 s c =============================================================================== c | 9 | 300 747 90500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 4.78427 s Remaining CPU time: 175.216 s c =============================================================================== c | 9 | 300 748 90700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 4.80727 s Remaining CPU time: 175.193 s c =============================================================================== c | 9 | 300 749 90900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 4.83326 s Remaining CPU time: 175.167 s c =============================================================================== c | 9 | 300 750 91100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 4.85726 s Remaining CPU time: 175.143 s c =============================================================================== c | 9 | 300 751 91300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 4.88226 s Remaining CPU time: 175.118 s c =============================================================================== c | 9 | 300 752 91500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 4.90625 s Remaining CPU time: 175.094 s c =============================================================================== c | 9 | 300 753 91700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 4.93125 s Remaining CPU time: 175.069 s c =============================================================================== c | 9 | 300 754 91900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 4.95625 s Remaining CPU time: 175.044 s c =============================================================================== c | 9 | 300 755 92100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 4.97924 s Remaining CPU time: 175.021 s c =============================================================================== c | 9 | 300 756 92300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 5.00424 s Remaining CPU time: 174.996 s c =============================================================================== c | 9 | 300 757 92500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 5.02823 s Remaining CPU time: 174.972 s c =============================================================================== c | 9 | 300 758 92700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 5.05223 s Remaining CPU time: 174.948 s c =============================================================================== c | 9 | 300 759 92900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 5.07723 s Remaining CPU time: 174.923 s c =============================================================================== c | 9 | 300 760 93100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 5.10222 s Remaining CPU time: 174.898 s c =============================================================================== c | 9 | 300 761 93300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 5.12822 s Remaining CPU time: 174.872 s c =============================================================================== c | 9 | 300 762 93500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 5.15222 s Remaining CPU time: 174.848 s c =============================================================================== c | 9 | 300 763 93700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 5.17521 s Remaining CPU time: 174.825 s c =============================================================================== c | 9 | 300 764 93900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 5.19921 s Remaining CPU time: 174.801 s c =============================================================================== c | 9 | 300 765 94100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 5.22221 s Remaining CPU time: 174.778 s c =============================================================================== c | 9 | 300 766 94300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 5.2452 s Remaining CPU time: 174.755 s c =============================================================================== c | 9 | 300 767 94500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 5.2682 s Remaining CPU time: 174.732 s c =============================================================================== c | 9 | 300 768 94700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 5.29319 s Remaining CPU time: 174.707 s c =============================================================================== c | 9 | 300 769 94900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 5.31719 s Remaining CPU time: 174.683 s c =============================================================================== c | 9 | 300 770 95100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 5.34319 s Remaining CPU time: 174.657 s c =============================================================================== c | 9 | 300 771 95300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 5.36718 s Remaining CPU time: 174.633 s c =============================================================================== c | 9 | 300 772 95500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 5.39218 s Remaining CPU time: 174.608 s c =============================================================================== c | 9 | 300 773 95700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 5.41818 s Remaining CPU time: 174.582 s c =============================================================================== c | 9 | 300 774 95900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 5.44817 s Remaining CPU time: 174.552 s c =============================================================================== c | 9 | 300 775 96100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 5.47317 s Remaining CPU time: 174.527 s c =============================================================================== c | 9 | 300 776 96300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 5.49816 s Remaining CPU time: 174.502 s c =============================================================================== c | 9 | 300 777 96500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 5.52316 s Remaining CPU time: 174.477 s c =============================================================================== c | 9 | 300 778 96700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 5.54716 s Remaining CPU time: 174.453 s c =============================================================================== c | 9 | 300 779 96900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 5.57215 s Remaining CPU time: 174.428 s c =============================================================================== c | 9 | 300 780 97100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 5.59815 s Remaining CPU time: 174.402 s c =============================================================================== c | 9 | 300 781 97300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 5.62214 s Remaining CPU time: 174.378 s c =============================================================================== c | 9 | 300 782 97500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 5.64814 s Remaining CPU time: 174.352 s c =============================================================================== c | 9 | 300 783 97700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 9 | 300 784 97900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 5.69813 s Remaining CPU time: 174.302 s c =============================================================================== c | 9 | 300 785 98100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 5.72513 s Remaining CPU time: 174.275 s c =============================================================================== c | 9 | 300 786 98300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 5.74913 s Remaining CPU time: 174.251 s c =============================================================================== c | 9 | 300 787 98500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 5.77312 s Remaining CPU time: 174.227 s c =============================================================================== c | 9 | 300 788 98700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 5.79712 s Remaining CPU time: 174.203 s c =============================================================================== c | 9 | 300 789 98900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 5.82211 s Remaining CPU time: 174.178 s c =============================================================================== c | 9 | 300 790 99100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 5.84511 s Remaining CPU time: 174.155 s c =============================================================================== c | 9 | 300 791 99300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 5.87111 s Remaining CPU time: 174.129 s c =============================================================================== c | 9 | 300 792 99500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 5.8961 s Remaining CPU time: 174.104 s c =============================================================================== c | 9 | 300 793 99700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 5.9231 s Remaining CPU time: 174.077 s c =============================================================================== c | 9 | 300 794 99900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 5.9501 s Remaining CPU time: 174.05 s c =============================================================================== c | 9 | 300 795 100100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 5.97509 s Remaining CPU time: 174.025 s c =============================================================================== c | 9 | 300 796 100300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 5.99909 s Remaining CPU time: 174.001 s c =============================================================================== c | 9 | 300 797 100500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 6.02408 s Remaining CPU time: 173.976 s c =============================================================================== c | 9 | 300 798 100700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 6.04908 s Remaining CPU time: 173.951 s c =============================================================================== c | 9 | 300 799 100900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 6.07408 s Remaining CPU time: 173.926 s c =============================================================================== c | 9 | 300 800 101100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 6.10107 s Remaining CPU time: 173.899 s c =============================================================================== c | 9 | 300 801 101300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 6.12507 s Remaining CPU time: 173.875 s c =============================================================================== c | 9 | 300 802 101500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 6.15106 s Remaining CPU time: 173.849 s c =============================================================================== c | 9 | 300 803 101700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 6.17806 s Remaining CPU time: 173.822 s c =============================================================================== c | 9 | 300 804 101900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 6.20106 s Remaining CPU time: 173.799 s c =============================================================================== c | 9 | 300 805 102100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 6.22705 s Remaining CPU time: 173.773 s c =============================================================================== c | 9 | 300 806 102300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 6.25305 s Remaining CPU time: 173.747 s c =============================================================================== c | 9 | 300 807 102500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 6.27904 s Remaining CPU time: 173.721 s c =============================================================================== c | 9 | 300 808 102700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 6.30404 s Remaining CPU time: 173.696 s c =============================================================================== c | 9 | 300 809 102900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 6.33004 s Remaining CPU time: 173.67 s c =============================================================================== c | 9 | 300 810 103100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 6.35503 s Remaining CPU time: 173.645 s c =============================================================================== c | 9 | 300 811 103300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 6.38103 s Remaining CPU time: 173.619 s c =============================================================================== c | 9 | 300 812 103500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 6.40702 s Remaining CPU time: 173.593 s c =============================================================================== c | 9 | 300 813 103700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 6.43602 s Remaining CPU time: 173.564 s c =============================================================================== c | 9 | 300 814 103900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 6.46102 s Remaining CPU time: 173.539 s c =============================================================================== c | 9 | 300 815 104100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 6.49001 s Remaining CPU time: 173.51 s c =============================================================================== c | 9 | 300 816 104300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 6.51401 s Remaining CPU time: 173.486 s c =============================================================================== c | 9 | 300 817 104500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 6.54 s Remaining CPU time: 173.46 s c =============================================================================== c | 9 | 300 818 104700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 6.567 s Remaining CPU time: 173.433 s c =============================================================================== c | 9 | 300 819 104900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 6.593 s Remaining CPU time: 173.407 s c =============================================================================== c | 9 | 300 820 105100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 6.61999 s Remaining CPU time: 173.38 s c =============================================================================== c | 9 | 300 821 105300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 6.64799 s Remaining CPU time: 173.352 s c =============================================================================== c | 9 | 300 822 105500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 6.67399 s Remaining CPU time: 173.326 s c =============================================================================== c | 9 | 300 823 105700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 6.70198 s Remaining CPU time: 173.298 s c =============================================================================== c | 9 | 300 824 105900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 6.72998 s Remaining CPU time: 173.27 s c =============================================================================== c | 9 | 300 825 106100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 6.75597 s Remaining CPU time: 173.244 s c =============================================================================== c | 9 | 300 826 106300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 6.77997 s Remaining CPU time: 173.22 s c =============================================================================== c | 9 | 300 827 106500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 6.80597 s Remaining CPU time: 173.194 s c =============================================================================== c | 9 | 300 828 106700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 6.83396 s Remaining CPU time: 173.166 s c =============================================================================== c | 9 | 300 829 106900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 6.86096 s Remaining CPU time: 173.139 s c =============================================================================== c | 9 | 300 830 107100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 6.88395 s Remaining CPU time: 173.116 s c =============================================================================== c | 9 | 300 831 107300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 6.91095 s Remaining CPU time: 173.089 s c =============================================================================== c | 9 | 300 832 107500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 6.93694 s Remaining CPU time: 173.063 s c =============================================================================== c | 9 | 300 833 107700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 6.96294 s Remaining CPU time: 173.037 s c =============================================================================== c | 9 | 300 834 107900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 6.99094 s Remaining CPU time: 173.009 s c =============================================================================== c | 9 | 300 835 108100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 7.01693 s Remaining CPU time: 172.983 s c =============================================================================== c | 9 | 300 836 108300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 7.04293 s Remaining CPU time: 172.957 s c =============================================================================== c | 9 | 300 837 108500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 7.07092 s Remaining CPU time: 172.929 s c =============================================================================== c | 9 | 300 838 108700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 7.09892 s Remaining CPU time: 172.901 s c =============================================================================== c | 9 | 300 839 108900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 7.12492 s Remaining CPU time: 172.875 s c =============================================================================== c | 9 | 300 840 109100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 7.14991 s Remaining CPU time: 172.85 s c =============================================================================== c | 9 | 300 841 109300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 7.17591 s Remaining CPU time: 172.824 s c =============================================================================== c | 9 | 300 842 109500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 7.2009 s Remaining CPU time: 172.799 s c =============================================================================== c | 9 | 300 843 109700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 7.2259 s Remaining CPU time: 172.774 s c =============================================================================== c | 9 | 300 844 109900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 7.2529 s Remaining CPU time: 172.747 s c =============================================================================== c | 9 | 300 845 110100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 7.27989 s Remaining CPU time: 172.72 s c =============================================================================== c | 9 | 300 846 110300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 7.30589 s Remaining CPU time: 172.694 s c =============================================================================== c | 9 | 300 847 110500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 7.33089 s Remaining CPU time: 172.669 s c =============================================================================== c | 9 | 300 848 110700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 7.35988 s Remaining CPU time: 172.64 s c =============================================================================== c | 9 | 300 849 110900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 7.38388 s Remaining CPU time: 172.616 s c =============================================================================== c | 9 | 300 850 111100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 7.40887 s Remaining CPU time: 172.591 s c =============================================================================== c | 9 | 300 851 111300 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 7.43587 s Remaining CPU time: 172.564 s c =============================================================================== c | 9 | 300 852 111500 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 7.46387 s Remaining CPU time: 172.536 s c =============================================================================== c | 9 | 300 853 111700 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 7.48986 s Remaining CPU time: 172.51 s c =============================================================================== c | 9 | 300 854 111900 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 7.51486 s Remaining CPU time: 172.485 s c =============================================================================== c | 9 | 300 855 112100 | 5000 9 40 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 7.54285 s Remaining CPU time: 172.457 s c =============================================================================== c | 10 | 300 856 112300 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 7.56885 s Remaining CPU time: 172.431 s c =============================================================================== c | 10 | 300 857 112500 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 7.59584 s Remaining CPU time: 172.404 s c =============================================================================== c | 10 | 300 858 112700 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 7.62384 s Remaining CPU time: 172.376 s c =============================================================================== c | 10 | 300 859 112900 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 7.65384 s Remaining CPU time: 172.346 s c =============================================================================== c | 10 | 300 860 113100 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 7.67783 s Remaining CPU time: 172.322 s c =============================================================================== c | 10 | 300 861 113300 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 7.70383 s Remaining CPU time: 172.296 s c =============================================================================== c | 10 | 300 862 113500 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 7.73182 s Remaining CPU time: 172.268 s c =============================================================================== c | 10 | 300 863 113700 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 7.75882 s Remaining CPU time: 172.241 s c =============================================================================== c | 10 | 300 864 113900 | 5000 10 36 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 7.78282 s Remaining CPU time: 172.217 s c =============================================================================== c | 11 | 300 865 114100 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 7.80981 s Remaining CPU time: 172.19 s c =============================================================================== c | 11 | 300 866 114300 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 7.83781 s Remaining CPU time: 172.162 s c =============================================================================== c | 11 | 300 867 114500 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 7.8618 s Remaining CPU time: 172.138 s c =============================================================================== c | 11 | 300 868 114700 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 7.8868 s Remaining CPU time: 172.113 s c =============================================================================== c | 11 | 300 869 114900 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 7.9088 s Remaining CPU time: 172.091 s c =============================================================================== c | 11 | 300 870 115100 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 7.93479 s Remaining CPU time: 172.065 s c =============================================================================== c | 11 | 300 871 115300 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 7.96079 s Remaining CPU time: 172.039 s c =============================================================================== c | 11 | 300 872 115500 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 7.98879 s Remaining CPU time: 172.011 s c =============================================================================== c | 11 | 300 873 115700 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 8.01478 s Remaining CPU time: 171.985 s c =============================================================================== c | 11 | 300 874 115900 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 8.03978 s Remaining CPU time: 171.96 s c =============================================================================== c | 11 | 300 875 116100 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 8.06577 s Remaining CPU time: 171.934 s c =============================================================================== c | 11 | 300 876 116300 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 8.09277 s Remaining CPU time: 171.907 s c =============================================================================== c | 11 | 300 877 116500 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 8.11677 s Remaining CPU time: 171.883 s c =============================================================================== c | 11 | 300 878 116700 | 5000 11 33 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 8.14376 s Remaining CPU time: 171.856 s c =============================================================================== c | 12 | 300 879 116900 | 5000 12 31 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 8.16976 s Remaining CPU time: 171.83 s c =============================================================================== c | 12 | 300 880 117100 | 5000 12 31 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 8.19775 s Remaining CPU time: 171.802 s c =============================================================================== c | 12 | 300 881 117300 | 5000 12 31 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 8.22175 s Remaining CPU time: 171.778 s c =============================================================================== c | 12 | 300 882 117500 | 5000 12 31 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 8.24375 s Remaining CPU time: 171.756 s c =============================================================================== c | 12 | 300 883 117700 | 5000 12 31 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 8.27174 s Remaining CPU time: 171.728 s c =============================================================================== c | 12 | 300 884 117900 | 5000 12 31 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 8.29874 s Remaining CPU time: 171.701 s c =============================================================================== c | 12 | 300 885 118100 | 5000 12 31 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 8.32573 s Remaining CPU time: 171.674 s c =============================================================================== c | 13 | 300 886 118300 | 5000 13 29 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 8.35073 s Remaining CPU time: 171.649 s c =============================================================================== c | 13 | 300 887 118500 | 5000 13 29 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 8.37673 s Remaining CPU time: 171.623 s c =============================================================================== c | 13 | 300 888 118700 | 5000 13 29 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 8.40172 s Remaining CPU time: 171.598 s c =============================================================================== c | 13 | 300 889 118900 | 5000 13 29 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 8.43172 s Remaining CPU time: 171.568 s c =============================================================================== c | 13 | 300 890 119100 | 5000 13 29 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 8.45971 s Remaining CPU time: 171.54 s c =============================================================================== c | 13 | 300 891 119300 | 5000 13 29 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 8.48771 s Remaining CPU time: 171.512 s c =============================================================================== c | 14 | 300 892 119500 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 8.5177 s Remaining CPU time: 171.482 s c =============================================================================== c | 14 | 300 893 119700 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 8.5427 s Remaining CPU time: 171.457 s c =============================================================================== c | 14 | 300 894 119900 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 8.5677 s Remaining CPU time: 171.432 s c =============================================================================== c | 14 | 300 895 120100 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 8.59269 s Remaining CPU time: 171.407 s c =============================================================================== c | 14 | 300 896 120300 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 8.61969 s Remaining CPU time: 171.38 s c =============================================================================== c | 14 | 300 897 120500 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 8.64569 s Remaining CPU time: 171.354 s c =============================================================================== c | 14 | 300 898 120700 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 8.67068 s Remaining CPU time: 171.329 s c =============================================================================== c | 14 | 300 899 120900 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 8.70068 s Remaining CPU time: 171.299 s c =============================================================================== c | 14 | 300 900 121100 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 8.72767 s Remaining CPU time: 171.272 s c =============================================================================== c | 14 | 300 901 121300 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 8.75567 s Remaining CPU time: 171.244 s c =============================================================================== c | 14 | 300 902 121500 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 8.78266 s Remaining CPU time: 171.217 s c =============================================================================== c | 14 | 300 903 121700 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 8.81066 s Remaining CPU time: 171.189 s c =============================================================================== c | 14 | 300 904 121900 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 8.84066 s Remaining CPU time: 171.159 s c =============================================================================== c | 14 | 300 905 122100 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 8.86665 s Remaining CPU time: 171.133 s c =============================================================================== c | 14 | 300 906 122300 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 8.89565 s Remaining CPU time: 171.104 s c =============================================================================== c | 14 | 300 907 122500 | 5000 14 34 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 8.92364 s Remaining CPU time: 171.076 s c =============================================================================== c | 15 | 300 908 122700 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 8.94964 s Remaining CPU time: 171.05 s c =============================================================================== c | 15 | 300 909 122900 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 8.97864 s Remaining CPU time: 171.021 s c =============================================================================== c | 15 | 300 910 123100 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 9.00563 s Remaining CPU time: 170.994 s c =============================================================================== c | 15 | 300 911 123300 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 9.03563 s Remaining CPU time: 170.964 s c =============================================================================== c | 15 | 300 912 123500 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 9.06462 s Remaining CPU time: 170.935 s c =============================================================================== c | 15 | 300 913 123700 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 9.09362 s Remaining CPU time: 170.906 s c =============================================================================== c | 15 | 300 914 123900 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 9.12361 s Remaining CPU time: 170.876 s c =============================================================================== c | 15 | 300 915 124100 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 9.15161 s Remaining CPU time: 170.848 s c =============================================================================== c | 15 | 300 916 124300 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 9.1816 s Remaining CPU time: 170.818 s c =============================================================================== c | 15 | 300 917 124500 | 5000 15 32 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 9.2076 s Remaining CPU time: 170.792 s c =============================================================================== c | 16 | 300 918 124700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 9.2406 s Remaining CPU time: 170.759 s c =============================================================================== c | 16 | 300 919 124900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 9.26959 s Remaining CPU time: 170.73 s c =============================================================================== c | 16 | 300 920 125100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 9.29759 s Remaining CPU time: 170.702 s c =============================================================================== c | 16 | 300 921 125300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 9.32758 s Remaining CPU time: 170.672 s c =============================================================================== c | 16 | 300 922 125500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 9.35558 s Remaining CPU time: 170.644 s c =============================================================================== c | 16 | 300 923 125700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 9.38357 s Remaining CPU time: 170.616 s c =============================================================================== c | 16 | 300 924 125900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 9.40857 s Remaining CPU time: 170.591 s c =============================================================================== c | 16 | 300 925 126100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 9.44156 s Remaining CPU time: 170.558 s c =============================================================================== c | 16 | 300 926 126300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 9.46856 s Remaining CPU time: 170.531 s c =============================================================================== c | 16 | 300 927 126500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 9.49456 s Remaining CPU time: 170.505 s c =============================================================================== c | 16 | 300 928 126700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 9.51855 s Remaining CPU time: 170.481 s c =============================================================================== c | 16 | 300 929 126900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 9.55055 s Remaining CPU time: 170.449 s c =============================================================================== c | 16 | 300 930 127100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 9.58254 s Remaining CPU time: 170.417 s c =============================================================================== c | 16 | 300 931 127300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 9.61054 s Remaining CPU time: 170.389 s c =============================================================================== c | 16 | 300 932 127500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 9.64153 s Remaining CPU time: 170.358 s c =============================================================================== c | 16 | 300 933 127700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 9.67153 s Remaining CPU time: 170.328 s c =============================================================================== c | 16 | 300 934 127900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 9.70352 s Remaining CPU time: 170.296 s c =============================================================================== c | 16 | 300 935 128100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 9.73152 s Remaining CPU time: 170.268 s c =============================================================================== c | 16 | 300 936 128300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 9.76552 s Remaining CPU time: 170.234 s c =============================================================================== c | 16 | 300 937 128500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 9.79251 s Remaining CPU time: 170.207 s c =============================================================================== c | 16 | 300 938 128700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 9.82451 s Remaining CPU time: 170.175 s c =============================================================================== c | 16 | 300 939 128900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 9.8535 s Remaining CPU time: 170.146 s c =============================================================================== c | 16 | 300 940 129100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 9.8835 s Remaining CPU time: 170.117 s c =============================================================================== c | 16 | 300 941 129300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 9.91549 s Remaining CPU time: 170.085 s c =============================================================================== c | 16 | 300 942 129500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 9.94949 s Remaining CPU time: 170.051 s c =============================================================================== c | 16 | 300 943 129700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 9.98048 s Remaining CPU time: 170.02 s c =============================================================================== c | 16 | 300 944 129900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 10.0105 s Remaining CPU time: 169.99 s c =============================================================================== c | 16 | 300 945 130100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 10.0405 s Remaining CPU time: 169.96 s c =============================================================================== c | 16 | 300 946 130300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 10.0695 s Remaining CPU time: 169.931 s c =============================================================================== c | 16 | 300 947 130500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 10.0965 s Remaining CPU time: 169.904 s c =============================================================================== c | 16 | 300 948 130700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 10.1245 s Remaining CPU time: 169.876 s c =============================================================================== c | 16 | 300 949 130900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 10.1535 s Remaining CPU time: 169.847 s c =============================================================================== c | 16 | 300 950 131100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 10.1825 s Remaining CPU time: 169.818 s c =============================================================================== c | 16 | 300 951 131300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 10.2104 s Remaining CPU time: 169.79 s c =============================================================================== c | 16 | 300 952 131500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 10.2394 s Remaining CPU time: 169.761 s c =============================================================================== c | 16 | 300 953 131700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 10.2714 s Remaining CPU time: 169.729 s c =============================================================================== c | 16 | 300 954 131900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 10.2994 s Remaining CPU time: 169.701 s c =============================================================================== c | 16 | 300 955 132100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 10.3294 s Remaining CPU time: 169.671 s c =============================================================================== c | 16 | 300 956 132300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 10.3564 s Remaining CPU time: 169.644 s c =============================================================================== c | 16 | 300 957 132500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 10.3904 s Remaining CPU time: 169.61 s c =============================================================================== c | 16 | 300 958 132700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 10.4194 s Remaining CPU time: 169.581 s c =============================================================================== c | 16 | 300 959 132900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 10.4484 s Remaining CPU time: 169.552 s c =============================================================================== c | 16 | 300 960 133100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 10.4784 s Remaining CPU time: 169.522 s c =============================================================================== c | 16 | 300 961 133300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 10.5044 s Remaining CPU time: 169.496 s c =============================================================================== c | 16 | 300 962 133500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 10.5304 s Remaining CPU time: 169.47 s c =============================================================================== c | 16 | 300 963 133700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 10.5614 s Remaining CPU time: 169.439 s c =============================================================================== c | 16 | 300 964 133900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 10.5914 s Remaining CPU time: 169.409 s c =============================================================================== c | 16 | 300 965 134100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 10.6194 s Remaining CPU time: 169.381 s c =============================================================================== c | 16 | 300 966 134300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 10.6514 s Remaining CPU time: 169.349 s c =============================================================================== c | 16 | 300 967 134500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 10.6794 s Remaining CPU time: 169.321 s c =============================================================================== c | 16 | 300 968 134700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 10.7044 s Remaining CPU time: 169.296 s c =============================================================================== c | 16 | 300 969 134900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 10.7354 s Remaining CPU time: 169.265 s c =============================================================================== c | 16 | 300 970 135100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 10.7654 s Remaining CPU time: 169.235 s c =============================================================================== c | 16 | 300 971 135300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 10.7974 s Remaining CPU time: 169.203 s c =============================================================================== c | 16 | 300 972 135500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 10.8294 s Remaining CPU time: 169.171 s c =============================================================================== c | 16 | 300 973 135700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 10.8603 s Remaining CPU time: 169.14 s c =============================================================================== c | 16 | 300 974 135900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 10.8873 s Remaining CPU time: 169.113 s c =============================================================================== c | 16 | 300 975 136100 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 10.9153 s Remaining CPU time: 169.085 s c =============================================================================== c | 16 | 300 976 136300 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 10.9443 s Remaining CPU time: 169.056 s c =============================================================================== c | 16 | 300 977 136500 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 10.9713 s Remaining CPU time: 169.029 s c =============================================================================== c | 16 | 300 978 136700 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 11.0003 s Remaining CPU time: 169 s c =============================================================================== c | 16 | 300 979 136900 | 5000 16 30 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 11.0293 s Remaining CPU time: 168.971 s c =============================================================================== c | 17 | 300 980 137100 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 11.0563 s Remaining CPU time: 168.944 s c =============================================================================== c | 17 | 300 981 137300 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 11.0813 s Remaining CPU time: 168.919 s c =============================================================================== c | 17 | 300 982 137500 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 11.1083 s Remaining CPU time: 168.892 s c =============================================================================== c | 17 | 300 983 137700 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 11.1363 s Remaining CPU time: 168.864 s c =============================================================================== c | 17 | 300 984 137900 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 11.1653 s Remaining CPU time: 168.835 s c =============================================================================== c | 17 | 300 985 138100 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 11.1953 s Remaining CPU time: 168.805 s c =============================================================================== c | 17 | 300 986 138300 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 11.2273 s Remaining CPU time: 168.773 s c =============================================================================== c | 17 | 300 987 138500 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 11.2573 s Remaining CPU time: 168.743 s c =============================================================================== c | 17 | 300 988 138700 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 11.2863 s Remaining CPU time: 168.714 s c =============================================================================== c | 17 | 300 989 138900 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 11.3173 s Remaining CPU time: 168.683 s c =============================================================================== c | 17 | 300 990 139100 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 11.3493 s Remaining CPU time: 168.651 s c =============================================================================== c | 17 | 300 991 139300 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 11.3813 s Remaining CPU time: 168.619 s c =============================================================================== c | 17 | 300 992 139500 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 11.4113 s Remaining CPU time: 168.589 s c =============================================================================== c | 17 | 300 993 139700 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 11.4443 s Remaining CPU time: 168.556 s c =============================================================================== c | 17 | 300 994 139900 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 11.4703 s Remaining CPU time: 168.53 s c =============================================================================== c | 17 | 300 995 140100 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 11.4973 s Remaining CPU time: 168.503 s c =============================================================================== c | 17 | 300 996 140300 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 11.5262 s Remaining CPU time: 168.474 s c =============================================================================== c | 17 | 300 997 140500 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 11.5512 s Remaining CPU time: 168.449 s c =============================================================================== c | 17 | 300 998 140700 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 11.5802 s Remaining CPU time: 168.42 s c =============================================================================== c | 17 | 300 999 140900 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 11.6112 s Remaining CPU time: 168.389 s c =============================================================================== c | 17 | 300 1000 141100 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 11.6392 s Remaining CPU time: 168.361 s c =============================================================================== c | 17 | 300 1001 141300 | 5000 17 29 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 11.6702 s Remaining CPU time: 168.33 s c =============================================================================== c | 18 | 300 1002 141500 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 11.6972 s Remaining CPU time: 168.303 s c =============================================================================== c | 18 | 300 1003 141700 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 11.7272 s Remaining CPU time: 168.273 s c =============================================================================== c | 18 | 300 1004 141900 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 11.7562 s Remaining CPU time: 168.244 s c =============================================================================== c | 18 | 300 1005 142100 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 11.7862 s Remaining CPU time: 168.214 s c =============================================================================== c | 18 | 300 1006 142300 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 11.8172 s Remaining CPU time: 168.183 s c =============================================================================== c | 18 | 300 1007 142500 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 11.8422 s Remaining CPU time: 168.158 s c =============================================================================== c | 18 | 300 1008 142700 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 11.8742 s Remaining CPU time: 168.126 s c =============================================================================== c | 18 | 300 1009 142900 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 11.8982 s Remaining CPU time: 168.102 s c =============================================================================== c | 18 | 300 1010 143100 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 11.9292 s Remaining CPU time: 168.071 s c =============================================================================== c | 18 | 300 1011 143300 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 11.9612 s Remaining CPU time: 168.039 s c =============================================================================== c | 18 | 300 1012 143500 | 5000 18 27 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 11.9882 s Remaining CPU time: 168.012 s c =============================================================================== c | 19 | 300 1013 143700 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 12.0162 s Remaining CPU time: 167.984 s c =============================================================================== c | 19 | 300 1014 143900 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 12.0472 s Remaining CPU time: 167.953 s c =============================================================================== c | 19 | 300 1015 144100 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 12.0742 s Remaining CPU time: 167.926 s c =============================================================================== c | 19 | 300 1016 144300 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 12.1012 s Remaining CPU time: 167.899 s c =============================================================================== c | 19 | 300 1017 144500 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 12.1282 s Remaining CPU time: 167.872 s c =============================================================================== c | 19 | 300 1018 144700 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 12.1612 s Remaining CPU time: 167.839 s c =============================================================================== c | 19 | 300 1019 144900 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 12.1901 s Remaining CPU time: 167.81 s c =============================================================================== c | 19 | 300 1020 145100 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 12.2201 s Remaining CPU time: 167.78 s c =============================================================================== c | 19 | 300 1021 145300 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 12.2471 s Remaining CPU time: 167.753 s c =============================================================================== c | 19 | 300 1022 145500 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 12.2761 s Remaining CPU time: 167.724 s c =============================================================================== c | 19 | 300 1023 145700 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 12.3061 s Remaining CPU time: 167.694 s c =============================================================================== c | 19 | 300 1024 145900 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 12.3361 s Remaining CPU time: 167.664 s c =============================================================================== c | 19 | 300 1025 146100 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 12.3641 s Remaining CPU time: 167.636 s c =============================================================================== c | 19 | 300 1026 146300 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 12.3911 s Remaining CPU time: 167.609 s c =============================================================================== c | 19 | 300 1027 146500 | 5000 19 26 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 12.4221 s Remaining CPU time: 167.578 s c =============================================================================== c | 20 | 300 1028 146700 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 12.4551 s Remaining CPU time: 167.545 s c =============================================================================== c | 20 | 300 1029 146900 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 12.4811 s Remaining CPU time: 167.519 s c =============================================================================== c | 20 | 300 1030 147100 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 12.5101 s Remaining CPU time: 167.49 s c =============================================================================== c | 20 | 300 1031 147300 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 12.5371 s Remaining CPU time: 167.463 s c =============================================================================== c | 20 | 300 1032 147500 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 12.5671 s Remaining CPU time: 167.433 s c =============================================================================== c | 20 | 300 1033 147700 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 12.5961 s Remaining CPU time: 167.404 s c =============================================================================== c | 20 | 300 1034 147900 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 12.6241 s Remaining CPU time: 167.376 s c =============================================================================== c | 20 | 300 1035 148100 | 5000 20 25 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 12.6561 s Remaining CPU time: 167.344 s c =============================================================================== c | 21 | 300 1036 148300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 12.6841 s Remaining CPU time: 167.316 s c =============================================================================== c | 21 | 300 1037 148500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 12.7161 s Remaining CPU time: 167.284 s c =============================================================================== c | 21 | 300 1038 148700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 12.7451 s Remaining CPU time: 167.255 s c =============================================================================== c | 21 | 300 1039 148900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 12.7751 s Remaining CPU time: 167.225 s c =============================================================================== c | 21 | 300 1040 149100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 12.8081 s Remaining CPU time: 167.192 s c =============================================================================== c | 21 | 300 1041 149300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 12.837 s Remaining CPU time: 167.163 s c =============================================================================== c | 21 | 300 1042 149500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 12.869 s Remaining CPU time: 167.131 s c =============================================================================== c | 21 | 300 1043 149700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 12.896 s Remaining CPU time: 167.104 s c =============================================================================== c | 21 | 300 1044 149900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 12.926 s Remaining CPU time: 167.074 s c =============================================================================== c | 21 | 300 1045 150100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 12.952 s Remaining CPU time: 167.048 s c =============================================================================== c | 21 | 300 1046 150300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 12.982 s Remaining CPU time: 167.018 s c =============================================================================== c | 21 | 300 1047 150500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 13.01 s Remaining CPU time: 166.99 s c =============================================================================== c | 21 | 300 1048 150700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 13.037 s Remaining CPU time: 166.963 s c =============================================================================== c | 21 | 300 1049 150900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 13.067 s Remaining CPU time: 166.933 s c =============================================================================== c | 21 | 300 1050 151100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 13.098 s Remaining CPU time: 166.902 s c =============================================================================== c | 21 | 300 1051 151300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 13.13 s Remaining CPU time: 166.87 s c =============================================================================== c | 21 | 300 1052 151500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 13.162 s Remaining CPU time: 166.838 s c =============================================================================== c | 21 | 300 1053 151700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 13.189 s Remaining CPU time: 166.811 s c =============================================================================== c | 21 | 300 1054 151900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 13.214 s Remaining CPU time: 166.786 s c =============================================================================== c | 21 | 300 1055 152100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 13.242 s Remaining CPU time: 166.758 s c =============================================================================== c | 21 | 300 1056 152300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 13.269 s Remaining CPU time: 166.731 s c =============================================================================== c | 21 | 300 1057 152500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 13.302 s Remaining CPU time: 166.698 s c =============================================================================== c | 21 | 300 1058 152700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 13.331 s Remaining CPU time: 166.669 s c =============================================================================== c | 21 | 300 1059 152900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 13.357 s Remaining CPU time: 166.643 s c =============================================================================== c | 21 | 300 1060 153100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 13.389 s Remaining CPU time: 166.611 s c =============================================================================== c | 21 | 300 1061 153300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 13.419 s Remaining CPU time: 166.581 s c =============================================================================== c | 21 | 300 1062 153500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 13.448 s Remaining CPU time: 166.552 s c =============================================================================== c | 21 | 300 1063 153700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 13.4789 s Remaining CPU time: 166.521 s c =============================================================================== c | 21 | 300 1064 153900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 13.5089 s Remaining CPU time: 166.491 s c =============================================================================== c | 21 | 300 1065 154100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 13.5389 s Remaining CPU time: 166.461 s c =============================================================================== c | 21 | 300 1066 154300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 13.5719 s Remaining CPU time: 166.428 s c =============================================================================== c | 21 | 300 1067 154500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 13.5989 s Remaining CPU time: 166.401 s c =============================================================================== c | 21 | 300 1068 154700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 13.6249 s Remaining CPU time: 166.375 s c =============================================================================== c | 21 | 300 1069 154900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 13.6529 s Remaining CPU time: 166.347 s c =============================================================================== c | 21 | 300 1070 155100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 13.6849 s Remaining CPU time: 166.315 s c =============================================================================== c | 21 | 300 1071 155300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 13.7189 s Remaining CPU time: 166.281 s c =============================================================================== c | 21 | 300 1072 155500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 13.7479 s Remaining CPU time: 166.252 s c =============================================================================== c | 21 | 300 1073 155700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 13.7729 s Remaining CPU time: 166.227 s c =============================================================================== c | 21 | 300 1074 155900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 13.8039 s Remaining CPU time: 166.196 s c =============================================================================== c | 21 | 300 1075 156100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 13.8339 s Remaining CPU time: 166.166 s c =============================================================================== c | 21 | 300 1076 156300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 13.8669 s Remaining CPU time: 166.133 s c =============================================================================== c | 21 | 300 1077 156500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 13.9019 s Remaining CPU time: 166.098 s c =============================================================================== c | 21 | 300 1078 156700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 13.9339 s Remaining CPU time: 166.066 s c =============================================================================== c | 21 | 300 1079 156900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 13.9629 s Remaining CPU time: 166.037 s c =============================================================================== c | 21 | 300 1080 157100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 13.9939 s Remaining CPU time: 166.006 s c =============================================================================== c | 21 | 300 1081 157300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 14.0269 s Remaining CPU time: 165.973 s c =============================================================================== c | 21 | 300 1082 157500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 14.0529 s Remaining CPU time: 165.947 s c =============================================================================== c | 21 | 300 1083 157700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 14.0769 s Remaining CPU time: 165.923 s c =============================================================================== c | 21 | 300 1084 157900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 14.1069 s Remaining CPU time: 165.893 s c =============================================================================== c | 21 | 300 1085 158100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 14.1359 s Remaining CPU time: 165.864 s c =============================================================================== c | 21 | 300 1086 158300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 14.1628 s Remaining CPU time: 165.837 s c =============================================================================== c | 21 | 300 1087 158500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 14.1918 s Remaining CPU time: 165.808 s c =============================================================================== c | 21 | 300 1088 158700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 14.2238 s Remaining CPU time: 165.776 s c =============================================================================== c | 21 | 300 1089 158900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 14.2538 s Remaining CPU time: 165.746 s c =============================================================================== c | 21 | 300 1090 159100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 14.2838 s Remaining CPU time: 165.716 s c =============================================================================== c | 21 | 300 1091 159300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 14.3178 s Remaining CPU time: 165.682 s c =============================================================================== c | 21 | 300 1092 159500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 14.3488 s Remaining CPU time: 165.651 s c =============================================================================== c | 21 | 300 1093 159700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 14.3798 s Remaining CPU time: 165.62 s c =============================================================================== c | 21 | 300 1094 159900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 14.4088 s Remaining CPU time: 165.591 s c =============================================================================== c | 21 | 300 1095 160100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 14.4408 s Remaining CPU time: 165.559 s c =============================================================================== c | 21 | 300 1096 160300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 14.4648 s Remaining CPU time: 165.535 s c =============================================================================== c | 21 | 300 1097 160500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 14.4958 s Remaining CPU time: 165.504 s c =============================================================================== c | 21 | 300 1098 160700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 14.5248 s Remaining CPU time: 165.475 s c =============================================================================== c | 21 | 300 1099 160900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 14.5498 s Remaining CPU time: 165.45 s c =============================================================================== c | 21 | 300 1100 161100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 14.5768 s Remaining CPU time: 165.423 s c =============================================================================== c | 21 | 300 1101 161300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 14.6068 s Remaining CPU time: 165.393 s c =============================================================================== c | 21 | 300 1102 161500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 14.6368 s Remaining CPU time: 165.363 s c =============================================================================== c | 21 | 300 1103 161700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 14.6678 s Remaining CPU time: 165.332 s c =============================================================================== c | 21 | 300 1104 161900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 14.6958 s Remaining CPU time: 165.304 s c =============================================================================== c | 21 | 300 1105 162100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 14.7298 s Remaining CPU time: 165.27 s c =============================================================================== c | 21 | 300 1106 162300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 14.7558 s Remaining CPU time: 165.244 s c =============================================================================== c | 21 | 300 1107 162500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 14.7868 s Remaining CPU time: 165.213 s c =============================================================================== c | 21 | 300 1108 162700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 14.8137 s Remaining CPU time: 165.186 s c =============================================================================== c | 21 | 300 1109 162900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 14.8387 s Remaining CPU time: 165.161 s c =============================================================================== c | 21 | 300 1110 163100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 14.8667 s Remaining CPU time: 165.133 s c =============================================================================== c | 21 | 300 1111 163300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 14.8917 s Remaining CPU time: 165.108 s c =============================================================================== c | 21 | 300 1112 163500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 14.9227 s Remaining CPU time: 165.077 s c =============================================================================== c | 21 | 300 1113 163700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 14.9527 s Remaining CPU time: 165.047 s c =============================================================================== c | 21 | 300 1114 163900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 14.9827 s Remaining CPU time: 165.017 s c =============================================================================== c | 21 | 300 1115 164100 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 15.0117 s Remaining CPU time: 164.988 s c =============================================================================== c | 21 | 300 1116 164300 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 15.0387 s Remaining CPU time: 164.961 s c =============================================================================== c | 21 | 300 1117 164500 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 15.0667 s Remaining CPU time: 164.933 s c =============================================================================== c | 21 | 300 1118 164700 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 15.0907 s Remaining CPU time: 164.909 s c =============================================================================== c | 21 | 300 1119 164900 | 5000 21 24 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 15.1217 s Remaining CPU time: 164.878 s c =============================================================================== c | 23 | 300 1120 165100 | 5000 23 23 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 15.1527 s Remaining CPU time: 164.847 s c =============================================================================== c | 24 | 300 1121 165300 | 5000 24 25 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 15.1787 s Remaining CPU time: 164.821 s c =============================================================================== c | 24 | 300 1122 165500 | 5000 24 25 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 15.2057 s Remaining CPU time: 164.794 s c =============================================================================== c | 24 | 300 1123 165700 | 5000 24 25 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 15.2317 s Remaining CPU time: 164.768 s c =============================================================================== c | 24 | 300 1124 165900 | 5000 24 25 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 15.2597 s Remaining CPU time: 164.74 s c =============================================================================== c | 24 | 300 1125 166100 | 5000 24 25 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 15.2917 s Remaining CPU time: 164.708 s c =============================================================================== c | 24 | 300 1126 166300 | 5000 24 25 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 15.3257 s Remaining CPU time: 164.674 s c =============================================================================== c | 24 | 300 1127 166500 | 5000 24 25 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 15.3587 s Remaining CPU time: 164.641 s c =============================================================================== c | 26 | 300 1128 166700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 15.3897 s Remaining CPU time: 164.61 s c =============================================================================== c | 26 | 300 1129 166900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 15.4147 s Remaining CPU time: 164.585 s c =============================================================================== c | 26 | 300 1130 167100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 15.4377 s Remaining CPU time: 164.562 s c =============================================================================== c | 26 | 300 1131 167300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 15.4646 s Remaining CPU time: 164.535 s c =============================================================================== c | 26 | 300 1132 167500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 15.4926 s Remaining CPU time: 164.507 s c =============================================================================== c | 26 | 300 1133 167700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 15.5206 s Remaining CPU time: 164.479 s c =============================================================================== c | 26 | 300 1134 167900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 15.5456 s Remaining CPU time: 164.454 s c =============================================================================== c | 26 | 300 1135 168100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 15.5706 s Remaining CPU time: 164.429 s c =============================================================================== c | 26 | 300 1136 168300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 15.5966 s Remaining CPU time: 164.403 s c =============================================================================== c | 26 | 300 1137 168500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 15.6226 s Remaining CPU time: 164.377 s c =============================================================================== c | 26 | 300 1138 168700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 15.6456 s Remaining CPU time: 164.354 s c =============================================================================== c | 26 | 300 1139 168900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 15.6746 s Remaining CPU time: 164.325 s c =============================================================================== c | 26 | 300 1140 169100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 15.7016 s Remaining CPU time: 164.298 s c =============================================================================== c | 26 | 300 1141 169300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 15.7286 s Remaining CPU time: 164.271 s c =============================================================================== c | 26 | 300 1142 169500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 15.7546 s Remaining CPU time: 164.245 s c =============================================================================== c | 26 | 300 1143 169700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 15.7866 s Remaining CPU time: 164.213 s c =============================================================================== c | 26 | 300 1144 169900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 15.8166 s Remaining CPU time: 164.183 s c =============================================================================== c | 26 | 300 1145 170100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 15.8436 s Remaining CPU time: 164.156 s c =============================================================================== c | 26 | 300 1146 170300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 15.8716 s Remaining CPU time: 164.128 s c =============================================================================== c | 26 | 300 1147 170500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 15.8966 s Remaining CPU time: 164.103 s c =============================================================================== c | 26 | 300 1148 170700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 15.9276 s Remaining CPU time: 164.072 s c =============================================================================== c | 26 | 300 1149 170900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 15.9546 s Remaining CPU time: 164.045 s c =============================================================================== c | 26 | 300 1150 171100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 15.9806 s Remaining CPU time: 164.019 s c =============================================================================== c | 26 | 300 1151 171300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 16.0046 s Remaining CPU time: 163.995 s c =============================================================================== c | 26 | 300 1152 171500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 16.0296 s Remaining CPU time: 163.97 s c =============================================================================== c | 26 | 300 1153 171700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 16.0586 s Remaining CPU time: 163.941 s c =============================================================================== c | 26 | 300 1154 171900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 16.0846 s Remaining CPU time: 163.915 s c =============================================================================== c | 26 | 300 1155 172100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 16.1095 s Remaining CPU time: 163.89 s c =============================================================================== c | 26 | 300 1156 172300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 16.1415 s Remaining CPU time: 163.858 s c =============================================================================== c | 26 | 300 1157 172500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 16.1685 s Remaining CPU time: 163.831 s c =============================================================================== c | 26 | 300 1158 172700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 16.1995 s Remaining CPU time: 163.8 s c =============================================================================== c | 26 | 300 1159 172900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 16.2275 s Remaining CPU time: 163.772 s c =============================================================================== c | 26 | 300 1160 173100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 16.2575 s Remaining CPU time: 163.742 s c =============================================================================== c | 26 | 300 1161 173300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 16.2845 s Remaining CPU time: 163.715 s c =============================================================================== c | 26 | 300 1162 173500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 16.3105 s Remaining CPU time: 163.689 s c =============================================================================== c | 26 | 300 1163 173700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 16.3315 s Remaining CPU time: 163.668 s c =============================================================================== c | 26 | 300 1164 173900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 16.3565 s Remaining CPU time: 163.643 s c =============================================================================== c | 26 | 300 1165 174100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 16.3785 s Remaining CPU time: 163.621 s c =============================================================================== c | 26 | 300 1166 174300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 16.3995 s Remaining CPU time: 163.6 s c =============================================================================== c | 26 | 300 1167 174500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 16.4295 s Remaining CPU time: 163.57 s c =============================================================================== c | 26 | 300 1168 174700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 16.4555 s Remaining CPU time: 163.545 s c =============================================================================== c | 26 | 300 1169 174900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 16.4845 s Remaining CPU time: 163.516 s c =============================================================================== c | 26 | 300 1170 175100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 16.5085 s Remaining CPU time: 163.492 s c =============================================================================== c | 26 | 300 1171 175300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 16.5395 s Remaining CPU time: 163.461 s c =============================================================================== c | 26 | 300 1172 175500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 16.5645 s Remaining CPU time: 163.436 s c =============================================================================== c | 26 | 300 1173 175700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 16.5855 s Remaining CPU time: 163.415 s c =============================================================================== c | 26 | 300 1174 175900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 16.6115 s Remaining CPU time: 163.389 s c =============================================================================== c | 26 | 300 1175 176100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 16.6365 s Remaining CPU time: 163.364 s c =============================================================================== c | 26 | 300 1176 176300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 16.6625 s Remaining CPU time: 163.338 s c =============================================================================== c | 26 | 300 1177 176500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 16.6905 s Remaining CPU time: 163.31 s c =============================================================================== c | 26 | 300 1178 176700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 16.7215 s Remaining CPU time: 163.279 s c =============================================================================== c | 26 | 300 1179 176900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 16.7475 s Remaining CPU time: 163.253 s c =============================================================================== c | 26 | 300 1180 177100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 16.7754 s Remaining CPU time: 163.225 s c =============================================================================== c | 26 | 300 1181 177300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 16.8054 s Remaining CPU time: 163.195 s c =============================================================================== c | 26 | 300 1182 177500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 16.8324 s Remaining CPU time: 163.168 s c =============================================================================== c | 26 | 300 1183 177700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 16.8574 s Remaining CPU time: 163.143 s c =============================================================================== c | 26 | 300 1184 177900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 16.8854 s Remaining CPU time: 163.115 s c =============================================================================== c | 26 | 300 1185 178100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 16.9084 s Remaining CPU time: 163.092 s c =============================================================================== c | 26 | 300 1186 178300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 16.9384 s Remaining CPU time: 163.062 s c =============================================================================== c | 26 | 300 1187 178500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 16.9684 s Remaining CPU time: 163.032 s c =============================================================================== c | 26 | 300 1188 178700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 16.9954 s Remaining CPU time: 163.005 s c =============================================================================== c | 26 | 300 1189 178900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 17.0234 s Remaining CPU time: 162.977 s c =============================================================================== c | 26 | 300 1190 179100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 17.0484 s Remaining CPU time: 162.952 s c =============================================================================== c | 26 | 300 1191 179300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 17.0794 s Remaining CPU time: 162.921 s c =============================================================================== c | 26 | 300 1192 179500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 17.1024 s Remaining CPU time: 162.898 s c =============================================================================== c | 26 | 300 1193 179700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 17.1294 s Remaining CPU time: 162.871 s c =============================================================================== c | 26 | 300 1194 179900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 17.1574 s Remaining CPU time: 162.843 s c =============================================================================== c | 26 | 300 1195 180100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 17.1794 s Remaining CPU time: 162.821 s c =============================================================================== c | 26 | 300 1196 180300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 17.2014 s Remaining CPU time: 162.799 s c =============================================================================== c | 26 | 300 1197 180500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 17.2294 s Remaining CPU time: 162.771 s c =============================================================================== c | 26 | 300 1198 180700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 17.2554 s Remaining CPU time: 162.745 s c =============================================================================== c | 26 | 300 1199 180900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 17.2784 s Remaining CPU time: 162.722 s c =============================================================================== c | 26 | 300 1200 181100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 17.3044 s Remaining CPU time: 162.696 s c =============================================================================== c | 26 | 300 1201 181300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 17.3324 s Remaining CPU time: 162.668 s c =============================================================================== c | 26 | 300 1202 181500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 17.3594 s Remaining CPU time: 162.641 s c =============================================================================== c | 26 | 300 1203 181700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 17.3874 s Remaining CPU time: 162.613 s c =============================================================================== c | 26 | 300 1204 181900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 17.4124 s Remaining CPU time: 162.588 s c =============================================================================== c | 26 | 300 1205 182100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 17.4333 s Remaining CPU time: 162.567 s c =============================================================================== c | 26 | 300 1206 182300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 17.4593 s Remaining CPU time: 162.541 s c =============================================================================== c | 26 | 300 1207 182500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 17.4893 s Remaining CPU time: 162.511 s c =============================================================================== c | 26 | 300 1208 182700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 17.5193 s Remaining CPU time: 162.481 s c =============================================================================== c | 26 | 300 1209 182900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 17.5423 s Remaining CPU time: 162.458 s c =============================================================================== c | 26 | 300 1210 183100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 17.5703 s Remaining CPU time: 162.43 s c =============================================================================== c | 26 | 300 1211 183300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 17.5943 s Remaining CPU time: 162.406 s c =============================================================================== c | 26 | 300 1212 183500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 17.6173 s Remaining CPU time: 162.383 s c =============================================================================== c | 26 | 300 1213 183700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 17.6473 s Remaining CPU time: 162.353 s c =============================================================================== c | 26 | 300 1214 183900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 17.6753 s Remaining CPU time: 162.325 s c =============================================================================== c | 26 | 300 1215 184100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 17.7003 s Remaining CPU time: 162.3 s c =============================================================================== c | 26 | 300 1216 184300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 17.7283 s Remaining CPU time: 162.272 s c =============================================================================== c | 26 | 300 1217 184500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 17.7523 s Remaining CPU time: 162.248 s c =============================================================================== c | 26 | 300 1218 184700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 17.7753 s Remaining CPU time: 162.225 s c =============================================================================== c | 26 | 300 1219 184900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 17.8053 s Remaining CPU time: 162.195 s c =============================================================================== c | 26 | 300 1220 185100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 17.8303 s Remaining CPU time: 162.17 s c =============================================================================== c | 26 | 300 1221 185300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 17.8533 s Remaining CPU time: 162.147 s c =============================================================================== c | 26 | 300 1222 185500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 17.8833 s Remaining CPU time: 162.117 s c =============================================================================== c | 26 | 300 1223 185700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 17.9123 s Remaining CPU time: 162.088 s c =============================================================================== c | 26 | 300 1224 185900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 17.9413 s Remaining CPU time: 162.059 s c =============================================================================== c | 26 | 300 1225 186100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 17.9703 s Remaining CPU time: 162.03 s c =============================================================================== c | 26 | 300 1226 186300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 17.9973 s Remaining CPU time: 162.003 s c =============================================================================== c | 26 | 300 1227 186500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 18.0203 s Remaining CPU time: 161.98 s c =============================================================================== c | 26 | 300 1228 186700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 18.0453 s Remaining CPU time: 161.955 s c =============================================================================== c | 26 | 300 1229 186900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 18.0733 s Remaining CPU time: 161.927 s c =============================================================================== c | 26 | 300 1230 187100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 18.0972 s Remaining CPU time: 161.903 s c =============================================================================== c | 26 | 300 1231 187300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 18.1212 s Remaining CPU time: 161.879 s c =============================================================================== c | 26 | 300 1232 187500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 18.1462 s Remaining CPU time: 161.854 s c =============================================================================== c | 26 | 300 1233 187700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 18.1652 s Remaining CPU time: 161.835 s c =============================================================================== c | 26 | 300 1234 187900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 18.1912 s Remaining CPU time: 161.809 s c =============================================================================== c | 26 | 300 1235 188100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 18.2102 s Remaining CPU time: 161.79 s c =============================================================================== c | 26 | 300 1236 188300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 18.2332 s Remaining CPU time: 161.767 s c =============================================================================== c | 26 | 300 1237 188500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 18.2572 s Remaining CPU time: 161.743 s c =============================================================================== c | 26 | 300 1238 188700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 18.2772 s Remaining CPU time: 161.723 s c =============================================================================== c | 26 | 300 1239 188900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 18.3022 s Remaining CPU time: 161.698 s c =============================================================================== c | 26 | 300 1240 189100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 18.3312 s Remaining CPU time: 161.669 s c =============================================================================== c | 26 | 300 1241 189300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 18.3582 s Remaining CPU time: 161.642 s c =============================================================================== c | 26 | 300 1242 189500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 18.3822 s Remaining CPU time: 161.618 s c =============================================================================== c | 26 | 300 1243 189700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 18.4082 s Remaining CPU time: 161.592 s c =============================================================================== c | 26 | 300 1244 189900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 18.4292 s Remaining CPU time: 161.571 s c =============================================================================== c | 26 | 300 1245 190100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 18.4582 s Remaining CPU time: 161.542 s c =============================================================================== c | 26 | 300 1246 190300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 18.4842 s Remaining CPU time: 161.516 s c =============================================================================== c | 26 | 300 1247 190500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 18.5072 s Remaining CPU time: 161.493 s c =============================================================================== c | 26 | 300 1248 190700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 18.5312 s Remaining CPU time: 161.469 s c =============================================================================== c | 26 | 300 1249 190900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 18.5512 s Remaining CPU time: 161.449 s c =============================================================================== c | 26 | 300 1250 191100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 18.5762 s Remaining CPU time: 161.424 s c =============================================================================== c | 26 | 300 1251 191300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 18.6052 s Remaining CPU time: 161.395 s c =============================================================================== c | 26 | 300 1252 191500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 18.6312 s Remaining CPU time: 161.369 s c =============================================================================== c | 26 | 300 1253 191700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 18.6532 s Remaining CPU time: 161.347 s c =============================================================================== c | 26 | 300 1254 191900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 18.6762 s Remaining CPU time: 161.324 s c =============================================================================== c | 26 | 300 1255 192100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 18.6962 s Remaining CPU time: 161.304 s c =============================================================================== c | 26 | 300 1256 192300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 18.7232 s Remaining CPU time: 161.277 s c =============================================================================== c | 26 | 300 1257 192500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 18.7402 s Remaining CPU time: 161.26 s c =============================================================================== c | 26 | 300 1258 192700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 18.7691 s Remaining CPU time: 161.231 s c =============================================================================== c | 26 | 300 1259 192900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 18.7941 s Remaining CPU time: 161.206 s c =============================================================================== c | 26 | 300 1260 193100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 18.8171 s Remaining CPU time: 161.183 s c =============================================================================== c | 26 | 300 1261 193300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 18.8411 s Remaining CPU time: 161.159 s c =============================================================================== c | 26 | 300 1262 193500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 18.8601 s Remaining CPU time: 161.14 s c =============================================================================== c | 26 | 300 1263 193700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 18.8891 s Remaining CPU time: 161.111 s c =============================================================================== c | 26 | 300 1264 193900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 18.9141 s Remaining CPU time: 161.086 s c =============================================================================== c | 26 | 300 1265 194100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 18.9361 s Remaining CPU time: 161.064 s c =============================================================================== c | 26 | 300 1266 194300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 18.9591 s Remaining CPU time: 161.041 s c =============================================================================== c | 26 | 300 1267 194500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 18.9771 s Remaining CPU time: 161.023 s c =============================================================================== c | 26 | 300 1268 194700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 19.0061 s Remaining CPU time: 160.994 s c =============================================================================== c | 26 | 300 1269 194900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 19.0261 s Remaining CPU time: 160.974 s c =============================================================================== c | 26 | 300 1270 195100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 19.0541 s Remaining CPU time: 160.946 s c =============================================================================== c | 26 | 300 1271 195300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 19.0751 s Remaining CPU time: 160.925 s c =============================================================================== c | 26 | 300 1272 195500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 19.0941 s Remaining CPU time: 160.906 s c =============================================================================== c | 26 | 300 1273 195700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 19.1141 s Remaining CPU time: 160.886 s c =============================================================================== c | 26 | 300 1274 195900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 19.1381 s Remaining CPU time: 160.862 s c =============================================================================== c | 26 | 300 1275 196100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 19.1621 s Remaining CPU time: 160.838 s c =============================================================================== c | 26 | 300 1276 196300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 19.1831 s Remaining CPU time: 160.817 s c =============================================================================== c | 26 | 300 1277 196500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 19.2021 s Remaining CPU time: 160.798 s c =============================================================================== c | 26 | 300 1278 196700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 19.2251 s Remaining CPU time: 160.775 s c =============================================================================== c | 26 | 300 1279 196900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 19.2461 s Remaining CPU time: 160.754 s c =============================================================================== c | 26 | 300 1280 197100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 19.2731 s Remaining CPU time: 160.727 s c =============================================================================== c | 26 | 300 1281 197300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 19.3001 s Remaining CPU time: 160.7 s c =============================================================================== c | 26 | 300 1282 197500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 19.3231 s Remaining CPU time: 160.677 s c =============================================================================== c | 26 | 300 1283 197700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 19.3471 s Remaining CPU time: 160.653 s c =============================================================================== c | 26 | 300 1284 197900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 19.3641 s Remaining CPU time: 160.636 s c =============================================================================== c | 26 | 300 1285 198100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 19.3881 s Remaining CPU time: 160.612 s c =============================================================================== c | 26 | 300 1286 198300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 19.409 s Remaining CPU time: 160.591 s c =============================================================================== c | 26 | 300 1287 198500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 19.437 s Remaining CPU time: 160.563 s c =============================================================================== c | 26 | 300 1288 198700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 19.456 s Remaining CPU time: 160.544 s c =============================================================================== c | 26 | 300 1289 198900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 19.485 s Remaining CPU time: 160.515 s c =============================================================================== c | 26 | 300 1290 199100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 19.508 s Remaining CPU time: 160.492 s c =============================================================================== c | 26 | 300 1291 199300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 19.531 s Remaining CPU time: 160.469 s c =============================================================================== c | 26 | 300 1292 199500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 19.553 s Remaining CPU time: 160.447 s c =============================================================================== c | 26 | 300 1293 199700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 19.572 s Remaining CPU time: 160.428 s c =============================================================================== c | 26 | 300 1294 199900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 19.596 s Remaining CPU time: 160.404 s c =============================================================================== c | 26 | 300 1295 200100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 19.618 s Remaining CPU time: 160.382 s c =============================================================================== c | 26 | 300 1296 200300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 19.647 s Remaining CPU time: 160.353 s c =============================================================================== c | 26 | 300 1297 200500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 19.675 s Remaining CPU time: 160.325 s c =============================================================================== c | 26 | 300 1298 200700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 19.706 s Remaining CPU time: 160.294 s c =============================================================================== c | 26 | 300 1299 200900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 19.73 s Remaining CPU time: 160.27 s c =============================================================================== c | 26 | 300 1300 201100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 19.754 s Remaining CPU time: 160.246 s c =============================================================================== c | 26 | 300 1301 201300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 19.77 s Remaining CPU time: 160.23 s c =============================================================================== c | 26 | 300 1302 201500 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 19.796 s Remaining CPU time: 160.204 s c =============================================================================== c | 26 | 300 1303 201700 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 19.82 s Remaining CPU time: 160.18 s c =============================================================================== c | 26 | 300 1304 201900 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 19.846 s Remaining CPU time: 160.154 s c =============================================================================== c | 26 | 300 1305 202100 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 19.876 s Remaining CPU time: 160.124 s c =============================================================================== c | 26 | 300 1306 202300 | 5000 26 24 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 19.91 s Remaining CPU time: 160.09 s c =============================================================================== c | 27 | 300 1307 202500 | 5000 27 23 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 19.929 s Remaining CPU time: 160.071 s c =============================================================================== c | 27 | 300 1308 202700 | 5000 27 23 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 19.953 s Remaining CPU time: 160.047 s c =============================================================================== c | 28 | 300 1309 202900 | 5000 28 23 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 19.976 s Remaining CPU time: 160.024 s c =============================================================================== c | 29 | 300 1310 203100 | 5000 29 22 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 19.996 s Remaining CPU time: 160.004 s c =============================================================================== c | 29 | 300 1311 203300 | 5000 29 22 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 20.011 s Remaining CPU time: 159.989 s c =============================================================================== c | 30 | 300 1312 203500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 20.036 s Remaining CPU time: 159.964 s c =============================================================================== c | 30 | 300 1313 203700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 20.055 s Remaining CPU time: 159.945 s c =============================================================================== c | 30 | 300 1314 203900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 20.0709 s Remaining CPU time: 159.929 s c =============================================================================== c | 30 | 300 1315 204100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 20.0929 s Remaining CPU time: 159.907 s c =============================================================================== c | 30 | 300 1316 204300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 20.1139 s Remaining CPU time: 159.886 s c =============================================================================== c | 30 | 300 1317 204500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 20.1419 s Remaining CPU time: 159.858 s c =============================================================================== c | 30 | 300 1318 204700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 20.1649 s Remaining CPU time: 159.835 s c =============================================================================== c | 30 | 300 1319 204900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 20.1819 s Remaining CPU time: 159.818 s c =============================================================================== c | 30 | 300 1320 205100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 20.2019 s Remaining CPU time: 159.798 s c =============================================================================== c | 30 | 300 1321 205300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 20.2259 s Remaining CPU time: 159.774 s c =============================================================================== c | 30 | 300 1322 205500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 20.2539 s Remaining CPU time: 159.746 s c =============================================================================== c | 30 | 300 1323 205700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 20.2719 s Remaining CPU time: 159.728 s c =============================================================================== c | 30 | 300 1324 205900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 20.2919 s Remaining CPU time: 159.708 s c =============================================================================== c | 30 | 300 1325 206100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 20.3159 s Remaining CPU time: 159.684 s c =============================================================================== c | 30 | 300 1326 206300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 20.3329 s Remaining CPU time: 159.667 s c =============================================================================== c | 30 | 300 1327 206500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 20.3499 s Remaining CPU time: 159.65 s c =============================================================================== c | 30 | 300 1328 206700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 20.3699 s Remaining CPU time: 159.63 s c =============================================================================== c | 30 | 300 1329 206900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 20.3939 s Remaining CPU time: 159.606 s c =============================================================================== c | 30 | 300 1330 207100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 20.4139 s Remaining CPU time: 159.586 s c =============================================================================== c | 30 | 300 1331 207300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 20.4359 s Remaining CPU time: 159.564 s c =============================================================================== c | 30 | 300 1332 207500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 20.4579 s Remaining CPU time: 159.542 s c =============================================================================== c | 30 | 300 1333 207700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 20.4759 s Remaining CPU time: 159.524 s c =============================================================================== c | 30 | 300 1334 207900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 20.4939 s Remaining CPU time: 159.506 s c =============================================================================== c | 30 | 300 1335 208100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 20.5149 s Remaining CPU time: 159.485 s c =============================================================================== c | 30 | 300 1336 208300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 20.5349 s Remaining CPU time: 159.465 s c =============================================================================== c | 30 | 300 1337 208500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 20.5589 s Remaining CPU time: 159.441 s c =============================================================================== c | 30 | 300 1338 208700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 20.5789 s Remaining CPU time: 159.421 s c =============================================================================== c | 30 | 300 1339 208900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 20.5949 s Remaining CPU time: 159.405 s c =============================================================================== c | 30 | 300 1340 209100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 20.6189 s Remaining CPU time: 159.381 s c =============================================================================== c | 30 | 300 1341 209300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 20.6399 s Remaining CPU time: 159.36 s c =============================================================================== c | 30 | 300 1342 209500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 20.6569 s Remaining CPU time: 159.343 s c =============================================================================== c | 30 | 300 1343 209700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 20.6749 s Remaining CPU time: 159.325 s c =============================================================================== c | 30 | 300 1344 209900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 20.6939 s Remaining CPU time: 159.306 s c =============================================================================== c | 30 | 300 1345 210100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 20.7139 s Remaining CPU time: 159.286 s c =============================================================================== c | 30 | 300 1346 210300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 20.7338 s Remaining CPU time: 159.266 s c =============================================================================== c | 30 | 300 1347 210500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 20.7498 s Remaining CPU time: 159.25 s c =============================================================================== c | 30 | 300 1348 210700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 20.7688 s Remaining CPU time: 159.231 s c =============================================================================== c | 30 | 300 1349 210900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 20.7808 s Remaining CPU time: 159.219 s c =============================================================================== c | 30 | 300 1350 211100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 20.8038 s Remaining CPU time: 159.196 s c =============================================================================== c | 30 | 300 1351 211300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 20.8248 s Remaining CPU time: 159.175 s c =============================================================================== c | 30 | 300 1352 211500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 20.8468 s Remaining CPU time: 159.153 s c =============================================================================== c | 30 | 300 1353 211700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 20.8638 s Remaining CPU time: 159.136 s c =============================================================================== c | 30 | 300 1354 211900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 20.8828 s Remaining CPU time: 159.117 s c =============================================================================== c | 30 | 300 1355 212100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 20.8998 s Remaining CPU time: 159.1 s c =============================================================================== c | 30 | 300 1356 212300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 20.9168 s Remaining CPU time: 159.083 s c =============================================================================== c | 30 | 300 1357 212500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 20.9348 s Remaining CPU time: 159.065 s c =============================================================================== c | 30 | 300 1358 212700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 20.9478 s Remaining CPU time: 159.052 s c =============================================================================== c | 30 | 300 1359 212900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 20.9628 s Remaining CPU time: 159.037 s c =============================================================================== c | 30 | 300 1360 213100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 20.9788 s Remaining CPU time: 159.021 s c =============================================================================== c | 30 | 300 1361 213300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 20.9938 s Remaining CPU time: 159.006 s c =============================================================================== c | 30 | 300 1362 213500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 21.0078 s Remaining CPU time: 158.992 s c =============================================================================== c | 30 | 300 1363 213700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 21.0208 s Remaining CPU time: 158.979 s c =============================================================================== c | 30 | 300 1364 213900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 21.0398 s Remaining CPU time: 158.96 s c =============================================================================== c | 30 | 300 1365 214100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 21.0558 s Remaining CPU time: 158.944 s c =============================================================================== c | 30 | 300 1366 214300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 21.0728 s Remaining CPU time: 158.927 s c =============================================================================== c | 30 | 300 1367 214500 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 21.0888 s Remaining CPU time: 158.911 s c =============================================================================== c | 30 | 300 1368 214700 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 21.1058 s Remaining CPU time: 158.894 s c =============================================================================== c | 30 | 300 1369 214900 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 21.1188 s Remaining CPU time: 158.881 s c =============================================================================== c | 30 | 300 1370 215100 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 21.1368 s Remaining CPU time: 158.863 s c =============================================================================== c | 30 | 300 1371 215300 | 5000 30 22 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 21.1548 s Remaining CPU time: 158.845 s c =============================================================================== c | 31 | 300 1372 215500 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 21.1688 s Remaining CPU time: 158.831 s c =============================================================================== c | 31 | 300 1373 215700 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 21.1848 s Remaining CPU time: 158.815 s c =============================================================================== c | 31 | 300 1374 215900 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 21.1988 s Remaining CPU time: 158.801 s c =============================================================================== c | 31 | 300 1375 216100 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 21.2088 s Remaining CPU time: 158.791 s c =============================================================================== c | 31 | 300 1376 216300 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 21.2248 s Remaining CPU time: 158.775 s c =============================================================================== c | 31 | 300 1377 216500 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 21.2368 s Remaining CPU time: 158.763 s c =============================================================================== c | 31 | 300 1378 216700 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 21.2538 s Remaining CPU time: 158.746 s c =============================================================================== c | 31 | 300 1379 216900 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 21.2718 s Remaining CPU time: 158.728 s c =============================================================================== c | 31 | 300 1380 217100 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 21.2868 s Remaining CPU time: 158.713 s c =============================================================================== c | 31 | 300 1381 217300 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 21.3028 s Remaining CPU time: 158.697 s c =============================================================================== c | 31 | 300 1382 217500 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 21.3168 s Remaining CPU time: 158.683 s c =============================================================================== c | 31 | 300 1383 217700 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 21.3338 s Remaining CPU time: 158.666 s c =============================================================================== c | 31 | 300 1384 217900 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 21.3518 s Remaining CPU time: 158.648 s c =============================================================================== c | 31 | 300 1385 218100 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 21.3678 s Remaining CPU time: 158.632 s c =============================================================================== c | 31 | 300 1386 218300 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 21.3827 s Remaining CPU time: 158.617 s c =============================================================================== c | 31 | 300 1387 218500 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 21.3977 s Remaining CPU time: 158.602 s c =============================================================================== c | 31 | 300 1388 218700 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 21.4147 s Remaining CPU time: 158.585 s c =============================================================================== c | 31 | 300 1389 218900 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 21.4317 s Remaining CPU time: 158.568 s c =============================================================================== c | 31 | 300 1390 219100 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 21.4457 s Remaining CPU time: 158.554 s c =============================================================================== c | 31 | 300 1391 219300 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 21.4637 s Remaining CPU time: 158.536 s c =============================================================================== c | 31 | 300 1392 219500 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 21.4807 s Remaining CPU time: 158.519 s c =============================================================================== c | 31 | 300 1393 219700 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 21.4957 s Remaining CPU time: 158.504 s c =============================================================================== c | 31 | 300 1394 219900 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 21.5137 s Remaining CPU time: 158.486 s c =============================================================================== c | 31 | 300 1395 220100 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 21.5287 s Remaining CPU time: 158.471 s c =============================================================================== c | 31 | 300 1396 220300 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 21.5437 s Remaining CPU time: 158.456 s c =============================================================================== c | 31 | 300 1397 220500 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 21.5547 s Remaining CPU time: 158.445 s c =============================================================================== c | 31 | 300 1398 220700 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 21.5697 s Remaining CPU time: 158.43 s c =============================================================================== c | 31 | 300 1399 220900 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 21.5857 s Remaining CPU time: 158.414 s c =============================================================================== c | 31 | 300 1400 221100 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 21.6037 s Remaining CPU time: 158.396 s c =============================================================================== c | 31 | 300 1401 221300 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 21.6227 s Remaining CPU time: 158.377 s c =============================================================================== c | 31 | 300 1402 221500 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 21.6377 s Remaining CPU time: 158.362 s c =============================================================================== c | 31 | 300 1403 221700 | 5000 31 21 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 21.6577 s Remaining CPU time: 158.342 s c =============================================================================== c | 31 | 272 1404 221900 | 5000 27 7 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 21.6747 s Remaining CPU time: 158.325 s c =============================================================================== c | 31 | 254 1405 222100 | 5000 27 7 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 21.6927 s Remaining CPU time: 158.307 s c =============================================================================== c | 31 | 228 1406 222300 | 5000 27 7 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 21.7117 s Remaining CPU time: 158.288 s c =============================================================================== c | 31 | 206 1407 222500 | 5000 27 7 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 21.7267 s Remaining CPU time: 158.273 s c =============================================================================== c | 31 | 185 1408 222700 | 5000 27 7 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 21.7467 s Remaining CPU time: 158.253 s c =============================================================================== c | 32 | 166 1409 222900 | 5000 28 7 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 21.7587 s Remaining CPU time: 158.241 s c =============================================================================== c | 32 | 151 1410 223100 | 5000 28 7 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 21.7707 s Remaining CPU time: 158.229 s c =============================================================================== c | 32 | 130 1411 223300 | 5000 28 7 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 21.7837 s Remaining CPU time: 158.216 s c =============================================================================== c | 32 | 110 1412 223500 | 5000 28 7 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 21.7917 s Remaining CPU time: 158.208 s c =============================================================================== c =============================================================================== c Total CPU time: 21.7917 s