c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 400 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 400 | c | Number Clauses: 400 | 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 | 400 400 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 400 401 1800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 400 402 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 400 403 2400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 404 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 405 3000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 406 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 407 3600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 408 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 409 4200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 400 410 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 400 411 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 400 412 5100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 2 | 400 413 5400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 2 | 400 414 5700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 2 | 400 415 6000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 2 | 400 416 6300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 2 | 400 417 6600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 2 | 400 418 6900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 2 | 400 419 7200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 2 | 400 420 7500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 2 | 400 421 7800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 2 | 400 422 8100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 2 | 400 423 8400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 3 | 400 424 8700 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 3 | 400 425 9000 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 3 | 400 426 9300 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 3 | 400 427 9600 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 3 | 400 428 9900 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 3 | 400 429 10200 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 3 | 400 430 10500 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 3 | 400 431 10800 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 3 | 400 432 11100 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 3 | 400 433 11400 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 3 | 400 434 11700 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 3 | 400 435 12000 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 3 | 400 436 12300 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 3 | 400 437 12600 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 3 | 400 438 12900 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 3 | 400 439 13200 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 3 | 400 440 13500 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 3 | 400 441 13800 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 3 | 400 442 14100 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 3 | 400 443 14400 | 5000 3 96 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 4 | 400 444 14700 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 4 | 400 445 15000 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 4 | 400 446 15300 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 4 | 400 447 15600 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 4 | 400 448 15900 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 4 | 400 449 16200 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 4 | 400 450 16500 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 4 | 400 451 16800 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 4 | 400 452 17100 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 4 | 400 453 17400 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 4 | 400 454 17700 | 5000 4 73 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 5 | 400 455 18000 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 5 | 400 456 18300 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 5 | 400 457 18600 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 5 | 400 458 18900 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 5 | 400 459 19200 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 5 | 400 460 19500 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 5 | 400 461 19800 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 5 | 400 462 20100 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 5 | 400 463 20400 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 5 | 400 464 20700 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 5 | 400 465 21000 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 5 | 400 466 21300 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 5 | 400 467 21600 | 5000 5 60 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 6 | 400 468 21900 | 5000 6 52 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 6 | 400 469 22200 | 5000 6 52 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 6 | 400 470 22500 | 5000 6 52 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 10 | 400 471 22800 | 5000 10 126 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 11 | 400 472 23100 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 11 | 400 473 23400 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 11 | 400 474 23700 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 11 | 400 475 24000 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 11 | 400 476 24300 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 11 | 400 477 24600 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 11 | 400 478 24900 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 11 | 400 479 25200 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 11 | 400 480 25500 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 11 | 400 481 25800 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 11 | 400 482 26100 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 11 | 400 483 26400 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 11 | 400 484 26700 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 11 | 400 485 27000 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 11 | 400 486 27300 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 11 | 400 487 27600 | 5000 11 115 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 13 | 400 488 27900 | 5000 13 99 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 14 | 400 489 28200 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 14 | 400 490 28500 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 14 | 400 491 28800 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 14 | 400 492 29100 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 14 | 400 493 29400 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 14 | 400 494 29700 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 14 | 400 495 30000 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 14 | 400 496 30300 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 14 | 400 497 30600 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 14 | 400 498 30900 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 14 | 400 499 31200 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 14 | 400 500 31500 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 14 | 400 501 31800 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 14 | 400 502 32100 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 14 | 400 503 32400 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 14 | 400 504 32700 | 5000 14 92 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 15 | 400 505 33000 | 5000 15 86 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 15 | 400 506 33300 | 5000 15 86 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 15 | 400 507 33600 | 5000 15 86 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 17 | 400 508 33900 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 20 | 400 509 34200 | 5000 20 78 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 20 | 400 510 34500 | 5000 20 78 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 21 | 400 511 34800 | 5000 21 74 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 21 | 400 512 35100 | 5000 21 74 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 21 | 400 513 35400 | 5000 21 74 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 21 | 400 514 35700 | 5000 21 74 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 22 | 400 515 36000 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 22 | 400 516 36300 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 22 | 400 517 36600 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 22 | 400 518 36900 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 22 | 400 519 37200 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 22 | 400 520 37500 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 22 | 400 521 37800 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 22 | 400 522 38100 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 22 | 400 523 38400 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 22 | 400 524 38700 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 22 | 400 525 39000 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 22 | 400 526 39300 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 22 | 400 527 39600 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 22 | 400 528 39900 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 22 | 400 529 40200 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 22 | 400 530 40500 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 22 | 400 531 40800 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 22 | 400 532 41100 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 22 | 400 533 41400 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 22 | 400 534 41700 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 22 | 400 535 42000 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 22 | 400 536 42300 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 22 | 400 537 42600 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 22 | 400 538 42900 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 22 | 400 539 43200 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 22 | 400 540 43500 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 22 | 400 541 43800 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 22 | 400 542 44100 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 22 | 400 543 44400 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 22 | 400 544 44700 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 22 | 400 545 45000 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s c =============================================================================== c | 22 | 400 546 45300 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 22 | 400 547 45600 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 22 | 400 548 45900 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 22 | 400 549 46200 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 22 | 400 550 46500 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 22 | 400 551 46800 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 22 | 400 552 47100 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 22 | 400 553 47400 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 22 | 400 554 47700 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 22 | 400 555 48000 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 22 | 400 556 48300 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 22 | 400 557 48600 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 22 | 400 558 48900 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 22 | 400 559 49200 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 22 | 400 560 49500 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 22 | 400 561 49800 | 5000 22 71 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 23 | 400 562 50100 | 5000 23 69 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 23 | 400 563 50400 | 5000 23 69 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 23 | 400 564 50700 | 5000 23 69 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 23 | 400 565 51000 | 5000 23 69 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 24 | 400 566 51300 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 24 | 400 567 51600 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 24 | 400 568 51900 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s c =============================================================================== c | 24 | 400 569 52200 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 24 | 400 570 52500 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 24 | 400 571 52800 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 24 | 400 572 53100 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s c =============================================================================== c | 24 | 400 573 53400 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 24 | 400 574 53700 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 24 | 400 575 54000 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 24 | 400 576 54300 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 24 | 400 577 54600 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 24 | 400 578 54900 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 24 | 400 579 55200 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 24 | 400 580 55500 | 5000 24 66 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 25 | 400 581 55800 | 5000 25 69 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 25 | 400 582 56100 | 5000 25 69 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 25 | 400 583 56400 | 5000 25 69 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 27 | 400 584 56700 | 5000 27 73 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 28 | 400 585 57000 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 28 | 400 586 57300 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 28 | 400 587 57600 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 28 | 400 588 57900 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 28 | 400 589 58200 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 28 | 400 590 58500 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 28 | 400 591 58800 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 28 | 400 592 59100 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 28 | 400 593 59400 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 28 | 400 594 59700 | 5000 28 71 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 29 | 400 595 60000 | 5000 29 68 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 29 | 400 596 60300 | 5000 29 68 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 30 | 400 597 60600 | 5000 30 67 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 31 | 400 598 60900 | 5000 31 65 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 31 | 400 599 61200 | 5000 31 65 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 31 | 400 600 61500 | 5000 31 65 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 31 | 400 601 61800 | 5000 31 65 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 31 | 400 602 62100 | 5000 31 65 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 31 | 400 603 62400 | 5000 31 65 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 32 | 400 604 62700 | 5000 32 63 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 32 | 400 605 63000 | 5000 32 63 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.837872 s Remaining CPU time: 179.162 s c =============================================================================== c | 32 | 400 606 63300 | 5000 32 63 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 32 | 400 607 63600 | 5000 32 63 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 33 | 400 608 63900 | 5000 33 62 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 33 | 400 609 64200 | 5000 33 62 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 33 | 400 610 64500 | 5000 33 62 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s c =============================================================================== c | 33 | 400 611 64800 | 5000 33 62 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 33 | 400 612 65100 | 5000 33 62 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 33 | 400 613 65400 | 5000 33 62 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s c =============================================================================== c | 35 | 400 614 65700 | 5000 35 64 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 36 | 400 615 66000 | 5000 36 62 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 41 | 400 616 66300 | 5000 41 64 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s c =============================================================================== c | 42 | 400 617 66600 | 5000 42 63 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.924859 s Remaining CPU time: 179.075 s c =============================================================================== c | 44 | 400 618 66900 | 5000 44 61 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 49 | 400 619 67200 | 5000 49 59 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 59 | 400 620 67500 | 5000 59 64 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 59 | 400 621 67800 | 5000 59 64 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 59 | 400 622 68100 | 5000 59 64 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s c =============================================================================== c | 59 | 400 623 68400 | 5000 59 64 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 59 | 400 624 68700 | 5000 59 64 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 59 | 400 625 69000 | 5000 59 64 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 60 | 400 626 69300 | 5000 60 64 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 61 | 400 627 69600 | 5000 61 63 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 61 | 400 628 69900 | 5000 61 63 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 61 | 400 629 70200 | 5000 61 63 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 61 | 400 630 70500 | 5000 61 63 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 61 | 400 631 70800 | 5000 61 63 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 61 | 400 632 71100 | 5000 61 63 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 68 | 400 633 71400 | 5000 68 59 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.03684 s Remaining CPU time: 178.963 s c =============================================================================== c | 73 | 400 634 71700 | 5000 73 57 | 0.000 % | c | 173 | 400 634 71700 | 5500 173 67 | 0.001 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 177 | 400 635 72000 | 5000 177 66 | 0.001 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 180 | 400 636 72300 | 5000 180 65 | 0.001 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 180 | 400 637 72600 | 5000 180 65 | 0.001 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.08983 s Remaining CPU time: 178.91 s c =============================================================================== c | 180 | 400 638 72900 | 5000 180 65 | 0.001 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 180 | 400 639 73200 | 5000 180 65 | 0.001 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 183 | 400 640 73500 | 5000 183 64 | 0.001 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 183 | 400 641 73800 | 5000 183 64 | 0.001 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 183 | 400 642 74100 | 5000 183 64 | 0.001 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 189 | 400 643 74400 | 5000 189 62 | 0.001 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 190 | 400 644 74700 | 5000 190 62 | 0.001 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 202 | 400 645 75000 | 5000 202 60 | 0.001 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 210 | 400 646 75300 | 5000 210 60 | 0.001 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.14983 s Remaining CPU time: 178.85 s c =============================================================================== c | 210 | 400 647 75600 | 5000 210 60 | 0.001 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.15582 s Remaining CPU time: 178.844 s c =============================================================================== c | 211 | 400 648 75900 | 5000 211 60 | 0.001 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 211 | 400 649 76200 | 5000 211 60 | 0.001 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 219 | 400 650 76500 | 5000 219 59 | 0.001 % | c | 319 | 400 650 76500 | 5500 319 59 | 0.001 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.19782 s Remaining CPU time: 178.802 s c =============================================================================== c | 326 | 400 651 76800 | 5000 326 58 | 0.001 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s c =============================================================================== c | 342 | 400 652 77100 | 5000 342 56 | 0.001 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s c =============================================================================== c | 421 | 400 653 77400 | 5000 421 57 | 0.001 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.23581 s Remaining CPU time: 178.764 s c =============================================================================== c | 432 | 400 654 77700 | 5000 432 56 | 0.001 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 449 | 400 655 78000 | 5000 449 55 | 0.001 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 482 | 400 656 78300 | 5000 482 55 | 0.001 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 520 | 400 657 78600 | 5000 520 53 | 0.001 % | c | 620 | 400 657 78600 | 5500 620 53 | 0.001 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 1.2878 s Remaining CPU time: 178.712 s c =============================================================================== c | 622 | 400 658 78900 | 5000 622 53 | 0.001 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 623 | 400 659 79200 | 5000 623 52 | 0.001 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 1.2988 s Remaining CPU time: 178.701 s c =============================================================================== c | 623 | 400 660 79500 | 5000 623 52 | 0.001 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 623 | 400 661 79800 | 5000 623 52 | 0.001 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 623 | 400 662 80100 | 5000 623 52 | 0.001 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 623 | 400 663 80400 | 5000 623 52 | 0.001 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 623 | 400 664 80700 | 5000 623 52 | 0.001 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 1.3268 s Remaining CPU time: 178.673 s c =============================================================================== c | 649 | 400 665 81000 | 5000 649 52 | 0.001 % | c | 749 | 400 665 81000 | 5500 749 51 | 0.001 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 755 | 400 666 81300 | 5000 755 50 | 0.001 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s c =============================================================================== c | 779 | 400 667 81600 | 5000 779 50 | 0.001 % | c | 880 | 400 667 81600 | 5500 880 49 | 0.001 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 883 | 400 668 81900 | 5000 883 48 | 0.001 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 1.41878 s Remaining CPU time: 178.581 s c =============================================================================== c | 892 | 400 669 82200 | 5000 892 48 | 0.001 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 1.42378 s Remaining CPU time: 178.576 s c =============================================================================== c | 892 | 400 670 82500 | 5000 892 48 | 0.001 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 1.42878 s Remaining CPU time: 178.571 s c =============================================================================== c | 892 | 400 671 82800 | 5000 892 48 | 0.001 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s c =============================================================================== c | 892 | 400 672 83100 | 5000 892 48 | 0.001 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 1.43778 s Remaining CPU time: 178.562 s c =============================================================================== c | 892 | 400 673 83400 | 5000 892 48 | 0.001 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 1.44278 s Remaining CPU time: 178.557 s c =============================================================================== c | 892 | 400 674 83700 | 5000 892 48 | 0.001 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 1.44578 s Remaining CPU time: 178.554 s c =============================================================================== c | 892 | 400 675 84000 | 5000 892 48 | 0.001 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 894 | 400 676 84300 | 5000 894 48 | 0.001 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s c =============================================================================== c | 894 | 400 677 84600 | 5000 894 48 | 0.001 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 1.45878 s Remaining CPU time: 178.541 s c =============================================================================== c | 894 | 400 678 84900 | 5000 894 48 | 0.001 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 1.46478 s Remaining CPU time: 178.535 s c =============================================================================== c | 932 | 400 679 85200 | 5000 932 48 | 0.001 % | c | 1032 | 400 679 85200 | 5500 1032 46 | 0.001 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 1041 | 400 680 85500 | 5000 1041 46 | 0.001 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 1062 | 400 681 85800 | 5000 1062 45 | 0.001 % | c | 1162 | 400 681 85800 | 5500 1162 44 | 0.001 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 1.53377 s Remaining CPU time: 178.466 s c =============================================================================== c | 1211 | 400 682 86100 | 5000 1211 43 | 0.001 % | c | 1312 | 400 682 86100 | 5500 1312 42 | 0.001 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 1.58176 s Remaining CPU time: 178.418 s c =============================================================================== c | 1327 | 400 683 86400 | 5000 1327 42 | 0.001 % | c | 1427 | 400 683 86400 | 5500 1427 41 | 0.001 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 1480 | 400 684 86700 | 5000 1480 41 | 0.001 % | c | 1581 | 400 684 86700 | 5500 1581 40 | 0.001 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 1597 | 400 685 87000 | 5000 1597 40 | 0.001 % | c | 1698 | 400 685 87000 | 5500 1698 39 | 0.001 % | c | 1848 | 400 685 87000 | 6050 1848 38 | 0.001 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 1.70574 s Remaining CPU time: 178.294 s c =============================================================================== c | 1875 | 400 686 87300 | 5000 1875 38 | 0.001 % | c | 1976 | 400 686 87300 | 5500 1976 37 | 0.001 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 1.73874 s Remaining CPU time: 178.261 s c =============================================================================== c | 1980 | 400 687 87600 | 5000 1980 37 | 0.001 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 1993 | 400 688 87900 | 5000 1993 37 | 0.001 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 2054 | 400 689 88200 | 5000 2054 36 | 0.001 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 1.76673 s Remaining CPU time: 178.233 s c =============================================================================== c | 2100 | 400 690 88500 | 5000 2100 36 | 0.001 % | c | 2200 | 400 690 88500 | 5500 2200 35 | 0.001 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 1.81272 s Remaining CPU time: 178.187 s c =============================================================================== c | 2288 | 400 691 88800 | 5000 2288 35 | 0.001 % | c | 2389 | 400 691 88800 | 5500 2389 35 | 0.001 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 1.85272 s Remaining CPU time: 178.147 s c =============================================================================== c | 2457 | 400 692 89100 | 5000 2457 35 | 0.001 % | c | 2557 | 400 692 89100 | 5500 2557 34 | 0.001 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 2577 | 400 693 89400 | 5000 2577 34 | 0.001 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 1.89671 s Remaining CPU time: 178.103 s c =============================================================================== c | 2617 | 400 694 89700 | 5000 2617 34 | 0.001 % | c | 2718 | 400 694 89700 | 5500 2718 33 | 0.001 % | c | 2868 | 400 694 89700 | 6050 2868 32 | 0.001 % | c | 3093 | 400 694 89700 | 6655 3093 31 | 0.001 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 3367 | 400 695 90000 | 5000 3367 31 | 0.001 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 2.10568 s Remaining CPU time: 177.894 s c =============================================================================== c | 3435 | 400 696 90300 | 5000 3435 31 | 0.001 % | c | 3536 | 400 696 90300 | 5500 3536 30 | 0.001 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 2.14467 s Remaining CPU time: 177.855 s c =============================================================================== c | 3577 | 400 697 90600 | 5000 3577 30 | 0.001 % | c | 3679 | 400 697 90600 | 5500 3679 30 | 0.001 % | c | 3830 | 400 697 90600 | 6050 3830 29 | 0.001 % | c | 4055 | 400 697 90600 | 6655 4055 29 | 0.001 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 2.28465 s Remaining CPU time: 177.715 s c =============================================================================== c | 4083 | 400 698 90900 | 5000 4083 29 | 0.001 % | c | 4183 | 400 698 90900 | 5500 4183 28 | 0.001 % | c | 4334 | 400 698 90900 | 6050 4334 28 | 0.001 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 2.39764 s Remaining CPU time: 177.602 s c =============================================================================== c | 4393 | 400 699 91200 | 5000 4393 28 | 0.001 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.40763 s Remaining CPU time: 177.592 s c =============================================================================== c | 4447 | 400 700 91500 | 5000 4447 28 | 0.001 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.42063 s Remaining CPU time: 177.579 s c =============================================================================== c =============================================================================== c Total CPU time: 2.42063 s