c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4599 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1546 | c | Number Clauses: 4585 | 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 | 1546 4585 9690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1546 4586 10210 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1546 4587 10730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1546 4588 11250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1546 4589 11770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1546 4590 12290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1546 4591 12810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1546 4592 13330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1546 4593 13850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1546 4594 14370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1546 4595 14890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1546 4596 15410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1546 4597 15930 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1546 4598 16450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1546 4599 16970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1546 4600 17490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1546 4601 18010 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1546 4602 18530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1546 4603 19050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1546 4604 19570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1546 4605 20090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1546 4606 20610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1546 4607 21130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1546 4608 21650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1546 4609 22170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1546 4610 22690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1546 4611 23210 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1546 4612 23730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1546 4613 24250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1546 4614 24770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 1546 4615 25290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1546 4616 25810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 1546 4617 26330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 1546 4618 26850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1546 4619 27370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 1546 4620 27890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1546 4621 28410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 1546 4622 28930 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 1546 4623 29450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 1546 4624 29970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 1546 4625 30490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 1546 4626 31010 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 1546 4627 31530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 3 | 1546 4628 32050 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 3 | 1546 4629 32570 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 3 | 1546 4630 33090 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 3 | 1546 4631 33610 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 3 | 1546 4632 34130 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 3 | 1546 4633 34650 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 3 | 1546 4634 35170 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 3 | 1546 4635 35690 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 3 | 1546 4636 36210 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 3 | 1546 4637 36730 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 3 | 1546 4638 37250 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 3 | 1546 4639 37770 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 3 | 1546 4640 38290 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 3 | 1546 4641 38810 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 3 | 1546 4642 39330 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 3 | 1546 4643 39850 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 3 | 1546 4644 40370 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 3 | 1546 4645 40890 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 3 | 1546 4646 41410 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 4 | 1546 4647 41930 | 5000 4 475 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 4 | 1546 4648 42450 | 5000 4 475 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 4 | 1546 4649 42970 | 5000 4 475 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 8 | 1546 4650 43490 | 5000 8 466 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 8 | 1546 4651 44010 | 5000 8 466 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 8 | 1546 4652 44530 | 5000 8 466 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 8 | 1546 4653 45050 | 5000 8 466 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 8 | 1546 4654 45570 | 5000 8 466 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 12 | 1546 4655 46090 | 5000 12 461 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 12 | 1546 4656 46610 | 5000 12 461 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 14 | 1546 4657 47130 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 14 | 1546 4658 47650 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 14 | 1546 4659 48170 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 14 | 1546 4660 48690 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 14 | 1546 4661 49210 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 14 | 1546 4662 49730 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 14 | 1546 4663 50250 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 14 | 1546 4664 50770 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 14 | 1546 4665 51290 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 14 | 1546 4666 51810 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 14 | 1546 4667 52330 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 14 | 1546 4668 52850 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 14 | 1546 4669 53370 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 14 | 1546 4670 53890 | 5000 14 460 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 18 | 1546 4671 54410 | 5000 18 454 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 20 | 1546 4672 54930 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 20 | 1546 4673 55450 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 20 | 1546 4674 55970 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 20 | 1546 4675 56490 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 20 | 1546 4676 57010 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 20 | 1546 4677 57530 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 20 | 1546 4678 58050 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 20 | 1546 4679 58570 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 20 | 1546 4680 59090 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 20 | 1546 4681 59610 | 5000 20 453 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 23 | 1546 4682 60130 | 5000 23 449 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 23 | 1546 4683 60650 | 5000 23 449 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 23 | 1546 4684 61170 | 5000 23 449 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 31 | 1546 4685 61690 | 5000 31 442 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 31 | 1546 4686 62210 | 5000 31 442 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 31 | 1546 4687 62730 | 5000 31 442 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 36 | 1546 4688 63250 | 5000 36 439 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 36 | 1546 4689 63770 | 5000 36 439 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 36 | 1546 4690 64290 | 5000 36 439 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 36 | 1546 4691 64810 | 5000 36 439 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 42 | 1546 4692 65330 | 5000 42 435 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.633903 s Remaining CPU time: 179.366 s c =============================================================================== c | 42 | 1546 4693 65850 | 5000 42 435 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 42 | 1546 4694 66370 | 5000 42 435 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 42 | 1546 4695 66890 | 5000 42 435 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 51 | 1546 4696 67410 | 5000 51 431 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 62 | 1546 4697 67930 | 5000 62 427 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 67 | 1546 4698 68450 | 5000 67 426 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 67 | 1546 4699 68970 | 5000 67 426 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.72089 s Remaining CPU time: 179.279 s c =============================================================================== c | 67 | 1546 4700 69490 | 5000 67 426 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 67 | 1546 4701 70010 | 5000 67 426 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 67 | 1546 4702 70530 | 5000 67 426 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 75 | 1546 4703 71050 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 75 | 1546 4704 71570 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 75 | 1546 4705 72090 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 75 | 1546 4706 72610 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 75 | 1546 4707 73130 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 75 | 1546 4708 73650 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 75 | 1546 4709 74170 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 75 | 1546 4710 74690 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 75 | 1546 4711 75210 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 75 | 1546 4712 75730 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 75 | 1546 4713 76250 | 5000 75 424 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 76 | 1546 4714 76770 | 5000 76 418 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s c =============================================================================== c | 90 | 1546 4715 77290 | 5000 90 414 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 91 | 1546 4716 77810 | 5000 91 414 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 94 | 1546 4717 78330 | 5000 94 413 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 108 | 1546 4718 78850 | 5000 108 410 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.98185 s Remaining CPU time: 179.018 s c =============================================================================== c | 112 | 1546 4719 79370 | 5000 112 409 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s c =============================================================================== c | 114 | 1546 4720 79890 | 5000 114 409 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 137 | 1546 4721 80410 | 5000 137 405 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 137 | 1546 4722 80930 | 5000 137 405 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.04684 s Remaining CPU time: 178.953 s c =============================================================================== c | 138 | 1546 4723 81450 | 5000 138 405 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 140 | 1546 4724 81970 | 5000 140 404 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 146 | 1546 4725 82490 | 5000 146 403 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 146 | 1546 4726 83010 | 5000 146 403 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.10983 s Remaining CPU time: 178.89 s c =============================================================================== c | 149 | 1546 4727 83530 | 5000 149 403 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 151 | 1546 4728 84050 | 5000 151 403 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 157 | 1546 4729 84570 | 5000 157 402 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 157 | 1546 4730 85090 | 5000 157 402 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 158 | 1546 4731 85610 | 5000 158 402 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 168 | 1546 4732 86130 | 5000 168 400 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.21281 s Remaining CPU time: 178.787 s c =============================================================================== c | 189 | 1546 4733 86650 | 5000 189 397 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 190 | 1546 4734 87170 | 5000 190 397 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 191 | 1546 4735 87690 | 5000 191 397 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.26381 s Remaining CPU time: 178.736 s c =============================================================================== c | 204 | 1546 4736 88210 | 5000 204 395 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 213 | 1546 4737 88730 | 5000 213 394 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 231 | 1546 4738 89250 | 5000 231 392 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 234 | 1546 4739 89770 | 5000 234 392 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.3458 s Remaining CPU time: 178.654 s c =============================================================================== c | 249 | 1546 4740 90290 | 5000 249 390 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.36679 s Remaining CPU time: 178.633 s c =============================================================================== c | 262 | 1546 4741 90810 | 5000 262 389 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.38579 s Remaining CPU time: 178.614 s c =============================================================================== c | 265 | 1546 4742 91330 | 5000 265 389 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.40679 s Remaining CPU time: 178.593 s c =============================================================================== c | 282 | 1546 4743 91850 | 5000 282 387 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.42578 s Remaining CPU time: 178.574 s c =============================================================================== c | 284 | 1546 4744 92370 | 5000 284 387 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 295 | 1546 4745 92890 | 5000 295 386 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 320 | 1546 4746 93410 | 5000 320 384 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 379 | 1546 4747 93930 | 5000 379 381 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.52077 s Remaining CPU time: 178.479 s c =============================================================================== c | 388 | 1546 4748 94450 | 5000 388 380 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.54377 s Remaining CPU time: 178.456 s c =============================================================================== c | 401 | 1546 4749 94970 | 5000 401 379 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 404 | 1546 4750 95490 | 5000 404 379 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 433 | 1546 4751 96010 | 5000 433 378 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 441 | 1546 4752 96530 | 5000 441 377 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.63375 s Remaining CPU time: 178.366 s c =============================================================================== c | 453 | 1546 4753 97050 | 5000 453 377 | 0.000 % | c | 554 | 1546 4753 97050 | 5500 554 372 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 615 | 1546 4754 97570 | 5000 615 370 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.73974 s Remaining CPU time: 178.26 s c =============================================================================== c | 646 | 1546 4755 98090 | 5000 646 370 | 0.000 % | c | 746 | 1546 4755 98090 | 5500 746 367 | 0.000 % | c | 897 | 1546 4755 98090 | 6050 897 365 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s c =============================================================================== c | 942 | 1546 4756 98610 | 5000 942 364 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 975 | 1546 4757 99130 | 5000 975 363 | 0.000 % | c | 1076 | 1546 4757 99130 | 5500 1076 362 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.9657 s Remaining CPU time: 178.034 s c =============================================================================== c | 1129 | 1546 4758 99650 | 5000 1129 362 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.9957 s Remaining CPU time: 178.004 s c =============================================================================== c | 1171 | 1546 4759 100170 | 5000 1171 361 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 1222 | 1546 4760 100690 | 5000 1222 360 | 0.000 % | c | 1322 | 1546 4760 100690 | 5500 1322 359 | 0.000 % | c | 1472 | 1546 4760 100690 | 6050 1472 358 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.15167 s Remaining CPU time: 177.848 s c =============================================================================== c | 1493 | 1546 4761 101210 | 5000 1493 358 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.18167 s Remaining CPU time: 177.818 s c =============================================================================== c | 1517 | 1546 4762 101730 | 5000 1517 358 | 0.000 % | c | 1617 | 1546 4762 101730 | 5500 1617 357 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 1621 | 1546 4763 102250 | 5000 1621 357 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s c =============================================================================== c | 1630 | 1546 4764 102770 | 5000 1630 357 | 0.000 % | c | 1730 | 1546 4764 102770 | 5500 1730 356 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.36564 s Remaining CPU time: 177.634 s c =============================================================================== c | 1829 | 1546 4765 103290 | 5000 1829 355 | 0.000 % | c | 1929 | 1546 4765 103290 | 5500 1929 355 | 0.000 % | c | 2079 | 1546 4765 103290 | 6050 2079 354 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.52662 s Remaining CPU time: 177.473 s c =============================================================================== c | 2217 | 1546 4766 103810 | 5000 2217 353 | 0.000 % | c | 2317 | 1546 4766 103810 | 5500 2317 352 | 0.000 % | c | 2467 | 1546 4766 103810 | 6050 2467 352 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.68459 s Remaining CPU time: 177.315 s c =============================================================================== c | 2604 | 1546 4767 104330 | 5000 2604 351 | 0.000 % | c | 2704 | 1546 4767 104330 | 5500 2704 351 | 0.000 % | c | 2854 | 1546 4767 104330 | 6050 2854 350 | 0.000 % | c | 3079 | 1546 4767 104330 | 6655 3079 349 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.91656 s Remaining CPU time: 177.083 s c =============================================================================== c | 3174 | 1546 4768 104850 | 5000 3174 349 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.94555 s Remaining CPU time: 177.054 s c =============================================================================== c | 3208 | 1546 4769 105370 | 5000 3208 349 | 0.000 % | c | 3308 | 1546 4769 105370 | 5500 3308 349 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 3.03654 s Remaining CPU time: 176.963 s c =============================================================================== c | 3404 | 1546 4770 105890 | 5000 3404 348 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 3.07353 s Remaining CPU time: 176.926 s c =============================================================================== c | 3461 | 1546 4771 106410 | 5000 3461 348 | 0.000 % | c | 3561 | 1546 4771 106410 | 5500 3561 348 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s c =============================================================================== c | 3573 | 1546 4772 106930 | 5000 3573 348 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 3.18851 s Remaining CPU time: 176.811 s c =============================================================================== c | 3643 | 1546 4773 107450 | 5000 3643 347 | 0.000 % | c | 3743 | 1546 4773 107450 | 5500 3743 347 | 0.000 % | c | 3893 | 1546 4773 107450 | 6050 3893 347 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 3.33449 s Remaining CPU time: 176.666 s c =============================================================================== c | 3906 | 1546 4774 107970 | 5000 3906 346 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 3.36049 s Remaining CPU time: 176.64 s c =============================================================================== c | 3917 | 1546 4775 108490 | 5000 3917 346 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 3.39348 s Remaining CPU time: 176.607 s c =============================================================================== c | 3953 | 1546 4776 109010 | 5000 3953 346 | 0.000 % | c | 4053 | 1546 4776 109010 | 5500 4053 346 | 0.000 % | c | 4203 | 1546 4776 109010 | 6050 4203 345 | 0.000 % | c | 4428 | 1546 4776 109010 | 6655 4428 345 | 0.000 % | c | 4765 | 1546 4776 109010 | 7320 4765 344 | 0.000 % | c | 5271 | 1546 4776 109010 | 8052 5271 342 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 4.03939 s Remaining CPU time: 175.961 s c =============================================================================== c | 5318 | 1546 4777 109530 | 5000 5318 342 | 0.000 % | c | 5418 | 1546 4777 109530 | 5500 2759 334 | 0.000 % | c | 5569 | 1546 4777 109530 | 6050 2910 333 | 0.000 % | c | 5794 | 1546 4777 109530 | 6655 3135 333 | 0.000 % | c | 6131 | 1546 4777 109530 | 7320 3472 333 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 4.6213 s Remaining CPU time: 175.379 s c =============================================================================== c | 6489 | 1546 4778 110050 | 5000 3830 333 | 0.000 % | c | 6589 | 1546 4778 110050 | 5500 3930 332 | 0.000 % | c | 6739 | 1546 4778 110050 | 6050 4080 332 | 0.000 % | c | 6964 | 1546 4778 110050 | 6655 4305 332 | 0.000 % | c | 7301 | 1546 4778 110050 | 7320 4642 332 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 5.13222 s Remaining CPU time: 174.868 s c =============================================================================== c | 7498 | 1546 4779 110570 | 5000 4839 332 | 0.000 % | c | 7599 | 1546 4779 110570 | 5500 4940 332 | 0.000 % | c | 7750 | 1546 4779 110570 | 6050 5091 332 | 0.000 % | c | 7975 | 1546 4779 110570 | 6655 5316 331 | 0.000 % | c | 8313 | 1546 4779 110570 | 7320 5654 331 | 0.000 % | c | 8819 | 1546 4779 110570 | 8052 6160 331 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 5.72213 s Remaining CPU time: 174.278 s c =============================================================================== c | 8931 | 1546 4780 111090 | 5000 6272 331 | 0.000 % | c | 9031 | 1546 4780 111090 | 5500 3236 328 | 0.000 % | c | 9181 | 1546 4780 111090 | 6050 3386 328 | 0.000 % | c | 9406 | 1546 4780 111090 | 6655 3611 328 | 0.000 % | c | 9743 | 1546 4780 111090 | 7320 3948 328 | 0.000 % | c | 10250 | 1546 4780 111090 | 8052 4455 328 | 0.000 % | c | 11009 | 1546 4780 111090 | 8857 5214 328 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 6.84296 s Remaining CPU time: 173.157 s c =============================================================================== c | 11706 | 1546 4781 111610 | 5000 5911 328 | 0.000 % | c | 11807 | 1546 4781 111610 | 5500 3057 327 | 0.000 % | c | 11958 | 1546 4781 111610 | 6050 3208 327 | 0.000 % | c | 12183 | 1546 4781 111610 | 6655 3433 327 | 0.000 % | c | 12520 | 1546 4781 111610 | 7320 3770 327 | 0.000 % | c | 13026 | 1546 4781 111610 | 8052 4276 327 | 0.000 % | c | 13786 | 1546 4781 111610 | 8857 5036 326 | 0.000 % | c | 14925 | 1546 4781 111610 | 9743 6175 326 | 0.000 % | c | 16633 | 1546 4781 111610 | 10717 7883 326 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 9.37657 s Remaining CPU time: 170.623 s c =============================================================================== c | 17812 | 1546 4782 112130 | 5000 9062 326 | 0.000 % | c | 17912 | 1546 4782 112130 | 5500 4631 326 | 0.000 % | c | 18064 | 1546 4782 112130 | 6050 4783 326 | 0.000 % | c | 18290 | 1546 4782 112130 | 6655 5009 326 | 0.000 % | c | 18627 | 1546 4782 112130 | 7320 5346 326 | 0.000 % | c | 19133 | 1546 4782 112130 | 8052 5852 325 | 0.000 % | c | 19892 | 1546 4782 112130 | 8857 6611 325 | 0.000 % | c | 21031 | 1546 4782 112130 | 9743 7750 325 | 0.000 % | c | 22740 | 1546 4782 112130 | 10717 9459 325 | 0.000 % | c | 25302 | 1546 4782 112130 | 11789 6493 325 | 0.000 % | c | 29146 | 1546 4782 112130 | 12968 10337 325 | 0.000 % | c | 34912 | 1546 4782 112130 | 14265 9436 325 | 0.000 % | c | 43562 | 1546 4782 112130 | 15692 10783 325 | 0.000 % | c | 56536 | 1546 4782 112130 | 17261 15733 325 | 0.000 % | c | 75997 | 1546 4782 112130 | 18987 17581 325 | 0.000 % | c | 105189 | 1546 4782 112130 | 20886 17751 325 | 0.000 % | c | 148978 | 1546 4782 112130 | 22974 18441 325 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 76.1684 s Remaining CPU time: 103.832 s c =============================================================================== c | 156911 | 1546 4783 112650 | 5000 13642 325 | 0.000 % | c | 157012 | 1546 4783 112650 | 5500 3512 325 | 0.000 % | c | 157162 | 1546 4783 112650 | 6050 3662 325 | 0.000 % | c | 157387 | 1546 4783 112650 | 6655 3887 325 | 0.000 % | c | 157724 | 1546 4783 112650 | 7320 4224 325 | 0.000 % | c | 158230 | 1546 4783 112650 | 8052 4730 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 77.2273 s Remaining CPU time: 102.773 s c =============================================================================== c | 158942 | 1546 4784 113170 | 5000 5442 325 | 0.000 % | c | 159042 | 1546 4784 113170 | 5500 2821 324 | 0.000 % | c | 159192 | 1546 4784 113170 | 6050 2971 324 | 0.000 % | c | 159417 | 1546 4784 113170 | 6655 3196 324 | 0.000 % | c | 159754 | 1546 4784 113170 | 7320 3533 324 | 0.000 % | c | 160260 | 1546 4784 113170 | 8052 4039 324 | 0.000 % | c | 161019 | 1546 4784 113170 | 8857 4798 324 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 78.5121 s Remaining CPU time: 101.488 s c =============================================================================== c | 161599 | 1546 4785 113690 | 5000 5378 324 | 0.000 % | c | 161700 | 1546 4785 113690 | 5500 2790 323 | 0.000 % | c | 161850 | 1546 4785 113690 | 6050 2940 323 | 0.000 % | c | 162075 | 1546 4785 113690 | 6655 3165 323 | 0.000 % | c | 162412 | 1546 4785 113690 | 7320 3502 323 | 0.000 % | c | 162918 | 1546 4785 113690 | 8052 4008 323 | 0.000 % | c | 163677 | 1546 4785 113690 | 8857 4767 322 | 0.000 % | c | 164816 | 1546 4785 113690 | 9743 5906 322 | 0.000 % | c | 166524 | 1546 4785 113690 | 10717 7614 322 | 0.000 % | c | 169087 | 1546 4785 113690 | 11789 10177 322 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 82.8284 s Remaining CPU time: 97.1716 s c =============================================================================== c | 172217 | 1546 4786 114210 | 5000 7230 322 | 0.000 % | c | 172317 | 1546 4786 114210 | 5500 3715 322 | 0.000 % | c | 172467 | 1546 4786 114210 | 6050 3865 322 | 0.000 % | c | 172692 | 1546 4786 114210 | 6655 4090 322 | 0.000 % | c | 173029 | 1546 4786 114210 | 7320 4427 322 | 0.000 % | c | 173535 | 1546 4786 114210 | 8052 4933 322 | 0.000 % | c | 174294 | 1546 4786 114210 | 8857 5692 322 | 0.000 % | c | 175433 | 1546 4786 114210 | 9743 6831 322 | 0.000 % | c | 177142 | 1546 4786 114210 | 10717 8540 322 | 0.000 % | c | 179704 | 1546 4786 114210 | 11789 5571 321 | 0.000 % | c | 183548 | 1546 4786 114210 | 12968 9415 321 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 88.2366 s Remaining CPU time: 91.7634 s c =============================================================================== c | 184521 | 1546 4787 114730 | 5000 10388 321 | 0.000 % | c | 184621 | 1546 4787 114730 | 5500 2697 321 | 0.000 % | c | 184771 | 1546 4787 114730 | 6050 2847 321 | 0.000 % | c | 184996 | 1546 4787 114730 | 6655 3072 321 | 0.000 % | c | 185334 | 1546 4787 114730 | 7320 3410 321 | 0.000 % | c | 185840 | 1546 4787 114730 | 8052 3916 321 | 0.000 % | c | 186600 | 1546 4787 114730 | 8857 4676 321 | 0.000 % | c | 187739 | 1546 4787 114730 | 9743 5815 321 | 0.000 % | c | 189447 | 1546 4787 114730 | 10717 7523 320 | 0.000 % | c | 192010 | 1546 4787 114730 | 11789 10086 320 | 0.000 % | c | 195854 | 1546 4787 114730 | 12968 7857 320 | 0.000 % | c | 201621 | 1546 4787 114730 | 14265 6971 320 | 0.000 % | c | 210270 | 1546 4787 114730 | 15692 8320 320 | 0.000 % | c | 223244 | 1546 4787 114730 | 17261 13280 320 | 0.000 % | c | 242705 | 1546 4787 114730 | 18987 15111 321 | 0.000 % | c | 271897 | 1546 4787 114730 | 20886 15243 321 | 0.000 % |