c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4627 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1556 | c | Number Clauses: 4621 | 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 | 1556 4621 9760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1556 4622 10282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1556 4623 10804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1556 4624 11326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1556 4625 11848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1556 4626 12370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1556 4627 12892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1556 4628 13414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1556 4629 13936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1556 4630 14458 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1556 4631 14980 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1556 4632 15502 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1556 4633 16024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1556 4634 16546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1556 4635 17068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1556 4636 17590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1556 4637 18112 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1556 4638 18634 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1556 4639 19156 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1556 4640 19678 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1556 4641 20200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1556 4642 20722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1556 4643 21244 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1556 4644 21766 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1556 4645 22288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1556 4646 22810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1556 4647 23332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1556 4648 23854 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1556 4649 24376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1556 4650 24898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 1556 4651 25420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 1556 4652 25942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 1556 4653 26464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1556 4654 26986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 1556 4655 27508 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1556 4656 28030 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 1556 4657 28552 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 1556 4658 29074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 1556 4659 29596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 1556 4660 30118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 1556 4661 30640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 1556 4662 31162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 1556 4663 31684 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 1556 4664 32206 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 1556 4665 32728 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1 | 1556 4666 33250 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1 | 1556 4667 33772 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 1 | 1556 4668 34294 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 1 | 1556 4669 34816 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 1 | 1556 4670 35338 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 1 | 1556 4671 35860 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 1 | 1556 4672 36382 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 1 | 1556 4673 36904 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 1 | 1556 4674 37426 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 1 | 1556 4675 37948 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 1 | 1556 4676 38470 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 1 | 1556 4677 38992 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 1 | 1556 4678 39514 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 1 | 1556 4679 40036 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 1 | 1556 4680 40558 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 1 | 1556 4681 41080 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 1 | 1556 4682 41602 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 1 | 1556 4683 42124 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 1 | 1556 4684 42646 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 2 | 1556 4685 43168 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 2 | 1556 4686 43690 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 2 | 1556 4687 44212 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 2 | 1556 4688 44734 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 2 | 1556 4689 45256 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 2 | 1556 4690 45778 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 2 | 1556 4691 46300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 2 | 1556 4692 46822 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 2 | 1556 4693 47344 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 3 | 1556 4694 47866 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 3 | 1556 4695 48388 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 3 | 1556 4696 48910 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 3 | 1556 4697 49432 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 3 | 1556 4698 49954 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 3 | 1556 4699 50476 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 3 | 1556 4700 50998 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 3 | 1556 4701 51520 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 3 | 1556 4702 52042 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 3 | 1556 4703 52564 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 3 | 1556 4704 53086 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 3 | 1556 4705 53608 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 3 | 1556 4706 54130 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 3 | 1556 4707 54652 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 3 | 1556 4708 55174 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 3 | 1556 4709 55696 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 3 | 1556 4710 56218 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 3 | 1556 4711 56740 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 3 | 1556 4712 57262 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 3 | 1556 4713 57784 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 3 | 1556 4714 58306 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 3 | 1556 4715 58828 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 3 | 1556 4716 59350 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 3 | 1556 4717 59872 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 3 | 1556 4718 60394 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 3 | 1556 4719 60916 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 3 | 1556 4720 61438 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 3 | 1556 4721 61960 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 3 | 1556 4722 62482 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 3 | 1556 4723 63004 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 3 | 1556 4724 63526 | 5000 3 162 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 6 | 1556 4725 64048 | 5000 6 291 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s c =============================================================================== c | 6 | 1556 4726 64570 | 5000 6 291 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 6 | 1556 4727 65092 | 5000 6 291 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 6 | 1556 4728 65614 | 5000 6 291 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 6 | 1556 4729 66136 | 5000 6 291 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 6 | 1556 4730 66658 | 5000 6 291 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 6 | 1556 4731 67180 | 5000 6 291 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 7 | 1556 4732 67702 | 5000 7 308 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 7 | 1556 4733 68224 | 5000 7 308 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 7 | 1556 4734 68746 | 5000 7 308 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 7 | 1556 4735 69268 | 5000 7 308 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 7 | 1556 4736 69790 | 5000 7 308 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 8 | 1556 4737 70312 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 8 | 1556 4738 70834 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 8 | 1556 4739 71356 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 8 | 1556 4740 71878 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 8 | 1556 4741 72400 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.900863 s Remaining CPU time: 179.099 s c =============================================================================== c | 8 | 1556 4742 72922 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 8 | 1556 4743 73444 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 8 | 1556 4744 73966 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 8 | 1556 4745 74488 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 8 | 1556 4746 75010 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.975851 s Remaining CPU time: 179.024 s c =============================================================================== c | 8 | 1556 4747 75532 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 8 | 1556 4748 76054 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 8 | 1556 4749 76576 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s c =============================================================================== c | 8 | 1556 4750 77098 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 8 | 1556 4751 77620 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 8 | 1556 4752 78142 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 8 | 1556 4753 78664 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 8 | 1556 4754 79186 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 8 | 1556 4755 79708 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 8 | 1556 4756 80230 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 8 | 1556 4757 80752 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.14983 s Remaining CPU time: 178.85 s c =============================================================================== c | 8 | 1556 4758 81274 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 8 | 1556 4759 81796 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.18182 s Remaining CPU time: 178.818 s c =============================================================================== c | 8 | 1556 4760 82318 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.19782 s Remaining CPU time: 178.802 s c =============================================================================== c | 8 | 1556 4761 82840 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 8 | 1556 4762 83362 | 5000 8 321 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.23381 s Remaining CPU time: 178.766 s c =============================================================================== c | 9 | 1556 4763 83884 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 9 | 1556 4764 84406 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s c =============================================================================== c | 9 | 1556 4765 84928 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.2868 s Remaining CPU time: 178.713 s c =============================================================================== c | 9 | 1556 4766 85450 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 9 | 1556 4767 85972 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.3218 s Remaining CPU time: 178.678 s c =============================================================================== c | 9 | 1556 4768 86494 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 9 | 1556 4769 87016 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s c =============================================================================== c | 14 | 1556 4770 87538 | 5000 14 345 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.37779 s Remaining CPU time: 178.622 s c =============================================================================== c | 14 | 1556 4771 88060 | 5000 14 345 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 14 | 1556 4772 88582 | 5000 14 345 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 14 | 1556 4773 89104 | 5000 14 345 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.43178 s Remaining CPU time: 178.568 s c =============================================================================== c | 14 | 1556 4774 89626 | 5000 14 345 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.45178 s Remaining CPU time: 178.548 s c =============================================================================== c | 14 | 1556 4775 90148 | 5000 14 345 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.47078 s Remaining CPU time: 178.529 s c =============================================================================== c | 15 | 1556 4776 90670 | 5000 15 346 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 15 | 1556 4777 91192 | 5000 15 346 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.50777 s Remaining CPU time: 178.492 s c =============================================================================== c | 15 | 1556 4778 91714 | 5000 15 346 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.52677 s Remaining CPU time: 178.473 s c =============================================================================== c | 16 | 1556 4779 92236 | 5000 16 325 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.54576 s Remaining CPU time: 178.454 s c =============================================================================== c | 16 | 1556 4780 92758 | 5000 16 325 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.56576 s Remaining CPU time: 178.434 s c =============================================================================== c | 16 | 1556 4781 93280 | 5000 16 325 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.58576 s Remaining CPU time: 178.414 s c =============================================================================== c | 17 | 1556 4782 93802 | 5000 17 306 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 62 | 1556 4783 94324 | 5000 62 347 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s c =============================================================================== c | 62 | 1556 4784 94846 | 5000 62 347 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 62 | 1556 4785 95368 | 5000 62 347 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.67674 s Remaining CPU time: 178.323 s c =============================================================================== c | 62 | 1556 4786 95890 | 5000 62 347 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 70 | 1556 4787 96412 | 5000 70 348 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.71974 s Remaining CPU time: 178.28 s c =============================================================================== c | 70 | 1556 4788 96934 | 5000 70 348 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.74073 s Remaining CPU time: 178.259 s c =============================================================================== c | 70 | 1556 4789 97456 | 5000 70 348 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 71 | 1556 4790 97978 | 5000 71 349 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.78173 s Remaining CPU time: 178.218 s c =============================================================================== c | 71 | 1556 4791 98500 | 5000 71 349 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.80073 s Remaining CPU time: 178.199 s c =============================================================================== c | 71 | 1556 4792 99022 | 5000 71 349 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.82472 s Remaining CPU time: 178.175 s c =============================================================================== c | 81 | 1556 4793 99544 | 5000 81 349 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.84672 s Remaining CPU time: 178.153 s c =============================================================================== c | 81 | 1556 4794 100066 | 5000 81 349 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.86672 s Remaining CPU time: 178.133 s c =============================================================================== c | 81 | 1556 4795 100588 | 5000 81 349 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.88771 s Remaining CPU time: 178.112 s c =============================================================================== c | 81 | 1556 4796 101110 | 5000 81 349 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 81 | 1556 4797 101632 | 5000 81 349 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.93471 s Remaining CPU time: 178.065 s c =============================================================================== c | 99 | 1556 4798 102154 | 5000 99 349 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.9547 s Remaining CPU time: 178.045 s c =============================================================================== c | 99 | 1556 4799 102676 | 5000 99 349 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 99 | 1556 4800 103198 | 5000 99 349 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 99 | 1556 4801 103720 | 5000 99 349 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.02169 s Remaining CPU time: 177.978 s c =============================================================================== c | 99 | 1556 4802 104242 | 5000 99 349 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.04469 s Remaining CPU time: 177.955 s c =============================================================================== c | 105 | 1556 4803 104764 | 5000 105 348 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s c =============================================================================== c | 114 | 1556 4804 105286 | 5000 114 348 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.09268 s Remaining CPU time: 177.907 s c =============================================================================== c | 114 | 1556 4805 105808 | 5000 114 348 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.11668 s Remaining CPU time: 177.883 s c =============================================================================== c | 120 | 1556 4806 106330 | 5000 120 347 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.13967 s Remaining CPU time: 177.86 s c =============================================================================== c | 120 | 1556 4807 106852 | 5000 120 347 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.16367 s Remaining CPU time: 177.836 s c =============================================================================== c | 120 | 1556 4808 107374 | 5000 120 347 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.18767 s Remaining CPU time: 177.812 s c =============================================================================== c | 120 | 1556 4809 107896 | 5000 120 347 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.21166 s Remaining CPU time: 177.788 s c =============================================================================== c | 120 | 1556 4810 108418 | 5000 120 347 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s c =============================================================================== c | 139 | 1556 4811 108940 | 5000 139 346 | 0.000 % | c | 240 | 1556 4811 108940 | 5500 240 339 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.32465 s Remaining CPU time: 177.675 s c =============================================================================== c | 289 | 1556 4812 109462 | 5000 289 337 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 365 | 1556 4813 109984 | 5000 365 336 | 0.000 % | c | 465 | 1556 4813 109984 | 5500 465 335 | 0.000 % | c | 615 | 1556 4813 109984 | 6050 615 335 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.49962 s Remaining CPU time: 177.5 s c =============================================================================== c | 626 | 1556 4814 110506 | 5000 626 334 | 0.000 % | c | 726 | 1556 4814 110506 | 5500 726 334 | 0.000 % | c | 876 | 1556 4814 110506 | 6050 876 333 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.6336 s Remaining CPU time: 177.366 s c =============================================================================== c | 889 | 1556 4815 111028 | 5000 889 333 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.67959 s Remaining CPU time: 177.32 s c =============================================================================== c | 973 | 1556 4816 111550 | 5000 973 333 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.71959 s Remaining CPU time: 177.28 s c =============================================================================== c | 1039 | 1556 4817 112072 | 5000 1039 333 | 0.000 % | c | 1139 | 1556 4817 112072 | 5500 1139 332 | 0.000 % | c | 1289 | 1556 4817 112072 | 6050 1289 332 | 0.000 % | c | 1515 | 1556 4817 112072 | 6655 1515 331 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.96655 s Remaining CPU time: 177.033 s c =============================================================================== c | 1563 | 1556 4818 112594 | 5000 1563 331 | 0.000 % | c | 1663 | 1556 4818 112594 | 5500 1663 331 | 0.000 % | c | 1813 | 1556 4818 112594 | 6050 1813 331 | 0.000 % | c | 2038 | 1556 4818 112594 | 6655 2038 330 | 0.000 % | c | 2375 | 1556 4818 112594 | 7320 2375 330 | 0.000 % | c | 2881 | 1556 4818 112594 | 8052 2881 329 | 0.000 % | c | 3641 | 1556 4818 112594 | 8857 3641 329 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 3.97539 s Remaining CPU time: 176.025 s c =============================================================================== c | 4123 | 1556 4819 113116 | 5000 4123 329 | 0.000 % | c | 4224 | 1556 4819 113116 | 5500 4224 329 | 0.000 % | c | 4374 | 1556 4819 113116 | 6050 4374 328 | 0.000 % | c | 4600 | 1556 4819 113116 | 6655 4600 328 | 0.000 % | c | 4938 | 1556 4819 113116 | 7320 4938 328 | 0.000 % | c | 5444 | 1556 4819 113116 | 8052 5444 328 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 4.65429 s Remaining CPU time: 175.346 s c =============================================================================== c | 5730 | 1556 4820 113638 | 5000 5730 328 | 0.000 % | c | 5830 | 1556 4820 113638 | 5500 2965 326 | 0.000 % | c | 5980 | 1556 4820 113638 | 6050 3115 326 | 0.000 % | c | 6205 | 1556 4820 113638 | 6655 3340 326 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 4.95325 s Remaining CPU time: 175.047 s c =============================================================================== c | 6388 | 1556 4821 114160 | 5000 3523 326 | 0.000 % | c | 6489 | 1556 4821 114160 | 5500 3624 326 | 0.000 % | c | 6639 | 1556 4821 114160 | 6050 3774 326 | 0.000 % | c | 6864 | 1556 4821 114160 | 6655 3999 326 | 0.000 % | c | 7202 | 1556 4821 114160 | 7320 4337 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 5.47517 s Remaining CPU time: 174.525 s c =============================================================================== c | 7654 | 1556 4822 114682 | 5000 4789 325 | 0.000 % | c | 7754 | 1556 4822 114682 | 5500 4889 325 | 0.000 % | c | 7904 | 1556 4822 114682 | 6050 5039 325 | 0.000 % | c | 8129 | 1556 4822 114682 | 6655 5264 325 | 0.000 % | c | 8466 | 1556 4822 114682 | 7320 5601 325 | 0.000 % | c | 8973 | 1556 4822 114682 | 8052 6108 325 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 6.06708 s Remaining CPU time: 173.933 s c =============================================================================== c | 8974 | 1556 4823 115204 | 5000 6109 325 | 0.000 % | c | 9074 | 1556 4823 115204 | 5500 3155 323 | 0.000 % | c | 9225 | 1556 4823 115204 | 6050 3306 323 | 0.000 % | c | 9451 | 1556 4823 115204 | 6655 3532 323 | 0.000 % | c | 9788 | 1556 4823 115204 | 7320 3869 323 | 0.000 % | c | 10294 | 1556 4823 115204 | 8052 4375 323 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 6.78297 s Remaining CPU time: 173.217 s c =============================================================================== c | 10746 | 1556 4824 115726 | 5000 4827 323 | 0.000 % | c | 10846 | 1556 4824 115726 | 5500 4927 323 | 0.000 % | c | 10996 | 1556 4824 115726 | 6050 5077 323 | 0.000 % | c | 11221 | 1556 4824 115726 | 6655 5302 323 | 0.000 % | c | 11558 | 1556 4824 115726 | 7320 5639 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 7.31889 s Remaining CPU time: 172.681 s c =============================================================================== c | 11966 | 1556 4825 116248 | 5000 6047 322 | 0.000 % | c | 12066 | 1556 4825 116248 | 5500 3124 321 | 0.000 % | c | 12216 | 1556 4825 116248 | 6050 3274 321 | 0.000 % | c | 12441 | 1556 4825 116248 | 6655 3499 321 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 7.63484 s Remaining CPU time: 172.365 s c =============================================================================== c | 12508 | 1556 4826 116770 | 5000 3566 321 | 0.000 % | c | 12608 | 1556 4826 116770 | 5500 3666 321 | 0.000 % | c | 12758 | 1556 4826 116770 | 6050 3816 320 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 7.77782 s Remaining CPU time: 172.222 s c =============================================================================== c | 12758 | 1556 4827 117292 | 5000 3816 320 | 0.000 % | c | 12858 | 1556 4827 117292 | 5500 3916 320 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 7.8788 s Remaining CPU time: 172.121 s c =============================================================================== c | 12932 | 1556 4828 117814 | 5000 3990 320 | 0.000 % | c | 13032 | 1556 4828 117814 | 5500 4090 320 | 0.000 % | c | 13182 | 1556 4828 117814 | 6050 4240 320 | 0.000 % | c | 13407 | 1556 4828 117814 | 6655 4465 320 | 0.000 % | c | 13744 | 1556 4828 117814 | 7320 4802 320 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 8.38373 s Remaining CPU time: 171.616 s c =============================================================================== c | 14116 | 1556 4829 118336 | 5000 5174 320 | 0.000 % | c | 14217 | 1556 4829 118336 | 5500 2688 317 | 0.000 % | c | 14367 | 1556 4829 118336 | 6050 2838 317 | 0.000 % | c | 14592 | 1556 4829 118336 | 6655 3063 317 | 0.000 % | c | 14929 | 1556 4829 118336 | 7320 3400 317 | 0.000 % | c | 15437 | 1556 4829 118336 | 8052 3908 317 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 9.05562 s Remaining CPU time: 170.944 s c =============================================================================== c | 15725 | 1556 4830 118858 | 5000 4196 317 | 0.000 % | c | 15825 | 1556 4830 118858 | 5500 4296 317 | 0.000 % | c | 15975 | 1556 4830 118858 | 6050 4446 317 | 0.000 % | c | 16200 | 1556 4830 118858 | 6655 4671 317 | 0.000 % | c | 16537 | 1556 4830 118858 | 7320 5008 317 | 0.000 % | c | 17043 | 1556 4830 118858 | 8052 5514 316 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 9.73452 s Remaining CPU time: 170.265 s c =============================================================================== c | 17407 | 1556 4831 119380 | 5000 5878 316 | 0.000 % | c | 17508 | 1556 4831 119380 | 5500 3040 314 | 0.000 % | c | 17658 | 1556 4831 119380 | 6050 3190 314 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 9.93649 s Remaining CPU time: 170.064 s c =============================================================================== c | 17713 | 1556 4832 119902 | 5000 3245 314 | 0.000 % | c | 17816 | 1556 4832 119902 | 5500 3348 314 | 0.000 % | c | 17967 | 1556 4832 119902 | 6050 3499 314 | 0.000 % | c | 18192 | 1556 4832 119902 | 6655 3724 314 | 0.000 % | c | 18529 | 1556 4832 119902 | 7320 4061 314 | 0.000 % | c | 19035 | 1556 4832 119902 | 8052 4567 314 | 0.000 % | c | 19794 | 1556 4832 119902 | 8857 5326 314 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 10.8514 s Remaining CPU time: 169.149 s c =============================================================================== c | 20110 | 1556 4833 120424 | 5000 5642 314 | 0.000 % | c | 20210 | 1556 4833 120424 | 5500 2921 312 | 0.000 % | c | 20361 | 1556 4833 120424 | 6050 3072 312 | 0.000 % | c | 20586 | 1556 4833 120424 | 6655 3297 312 | 0.000 % | c | 20924 | 1556 4833 120424 | 7320 3635 312 | 0.000 % | c | 21431 | 1556 4833 120424 | 8052 4142 312 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 11.6682 s Remaining CPU time: 168.332 s c =============================================================================== c | 21972 | 1556 4834 120946 | 5000 4683 312 | 0.000 % | c | 22072 | 1556 4834 120946 | 5500 4783 312 | 0.000 % | c | 22222 | 1556 4834 120946 | 6050 4933 312 | 0.000 % | c | 22449 | 1556 4834 120946 | 6655 5160 312 | 0.000 % | c | 22786 | 1556 4834 120946 | 7320 5497 312 | 0.000 % | c | 23293 | 1556 4834 120946 | 8052 6004 312 | 0.000 % | c | 24052 | 1556 4834 120946 | 8857 6763 312 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 12.7771 s Remaining CPU time: 167.223 s c =============================================================================== c | 24433 | 1556 4835 121468 | 5000 7144 312 | 0.000 % | c | 24533 | 1556 4835 121468 | 5500 3672 311 | 0.000 % | c | 24683 | 1556 4835 121468 | 6050 3822 311 | 0.000 % | c | 24908 | 1556 4835 121468 | 6655 4047 311 | 0.000 % | c | 25245 | 1556 4835 121468 | 7320 4384 311 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 13.426 s Remaining CPU time: 166.574 s c =============================================================================== c | 25722 | 1556 4836 121990 | 5000 4861 311 | 0.000 % | c | 25822 | 1556 4836 121990 | 5500 4961 310 | 0.000 % | c | 25973 | 1556 4836 121990 | 6050 5112 310 | 0.000 % | c | 26198 | 1556 4836 121990 | 6655 5337 310 | 0.000 % | c | 26535 | 1556 4836 121990 | 7320 5674 310 | 0.000 % | c | 27042 | 1556 4836 121990 | 8052 6181 310 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 14.3598 s Remaining CPU time: 165.64 s c =============================================================================== c | 27680 | 1556 4837 122512 | 5000 6819 310 | 0.000 % | c | 27780 | 1556 4837 122512 | 5500 3510 309 | 0.000 % | c | 27930 | 1556 4837 122512 | 6050 3660 309 | 0.000 % | c | 28155 | 1556 4837 122512 | 6655 3885 309 | 0.000 % | c | 28492 | 1556 4837 122512 | 7320 4222 309 | 0.000 % | c | 28998 | 1556 4837 122512 | 8052 4728 309 | 0.000 % | c | 29757 | 1556 4837 122512 | 8857 5487 309 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 15.3397 s Remaining CPU time: 164.66 s c =============================================================================== c | 30063 | 1556 4838 123034 | 5000 5793 309 | 0.000 % | c | 30163 | 1556 4838 123034 | 5500 2997 307 | 0.000 % | c | 30313 | 1556 4838 123034 | 6050 3147 307 | 0.000 % | c | 30538 | 1556 4838 123034 | 6655 3372 307 | 0.000 % | c | 30875 | 1556 4838 123034 | 7320 3709 307 | 0.000 % | c | 31381 | 1556 4838 123034 | 8052 4215 307 | 0.000 % | c | 32140 | 1556 4838 123034 | 8857 4974 307 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 16.2355 s Remaining CPU time: 163.764 s c =============================================================================== c | 32442 | 1556 4839 123556 | 5000 5276 307 | 0.000 % | c | 32543 | 1556 4839 123556 | 5500 2739 306 | 0.000 % | c | 32693 | 1556 4839 123556 | 6050 2889 306 | 0.000 % | c | 32918 | 1556 4839 123556 | 6655 3114 306 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 16.6365 s Remaining CPU time: 163.364 s c =============================================================================== c | 33254 | 1556 4840 124078 | 5000 3450 306 | 0.000 % | c | 33354 | 1556 4840 124078 | 5500 3550 306 | 0.000 % | c | 33504 | 1556 4840 124078 | 6050 3700 306 | 0.000 % | c | 33729 | 1556 4840 124078 | 6655 3925 306 | 0.000 % | c | 34067 | 1556 4840 124078 | 7320 4263 306 | 0.000 % | c | 34573 | 1556 4840 124078 | 8052 4769 306 | 0.000 % | c | 35333 | 1556 4840 124078 | 8857 5529 306 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 17.5943 s Remaining CPU time: 162.406 s c =============================================================================== c | 35700 | 1556 4841 124600 | 5000 5896 306 | 0.000 % | c | 35800 | 1556 4841 124600 | 5500 3048 304 | 0.000 % | c | 35951 | 1556 4841 124600 | 6050 3199 304 | 0.000 % | c | 36176 | 1556 4841 124600 | 6655 3424 304 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 17.9523 s Remaining CPU time: 162.048 s c =============================================================================== c | 36447 | 1556 4842 125122 | 5000 3695 304 | 0.000 % | c | 36547 | 1556 4842 125122 | 5500 3795 304 | 0.000 % | c | 36697 | 1556 4842 125122 | 6050 3945 304 | 0.000 % | c | 36923 | 1556 4842 125122 | 6655 4171 304 | 0.000 % | c | 37260 | 1556 4842 125122 | 7320 4508 304 | 0.000 % | c | 37767 | 1556 4842 125122 | 8052 5015 304 | 0.000 % | c | 38526 | 1556 4842 125122 | 8857 5774 304 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 18.8081 s Remaining CPU time: 161.192 s c =============================================================================== c | 38592 | 1556 4843 125644 | 5000 5840 304 | 0.000 % | c | 38692 | 1556 4843 125644 | 5500 3020 302 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 18.9411 s Remaining CPU time: 161.059 s c =============================================================================== c | 38770 | 1556 4844 126166 | 5000 3098 302 | 0.000 % | c | 38870 | 1556 4844 126166 | 5500 3198 302 | 0.000 % | c | 39020 | 1556 4844 126166 | 6050 3348 302 | 0.000 % | c | 39245 | 1556 4844 126166 | 6655 3573 302 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 19.2321 s Remaining CPU time: 160.768 s c =============================================================================== c | 39414 | 1556 4845 126688 | 5000 3742 302 | 0.000 % | c | 39514 | 1556 4845 126688 | 5500 3842 302 | 0.000 % | c | 39664 | 1556 4845 126688 | 6050 3992 302 | 0.000 % | c | 39890 | 1556 4845 126688 | 6655 4218 302 | 0.000 % | c | 40227 | 1556 4845 126688 | 7320 4555 302 | 0.000 % | c | 40733 | 1556 4845 126688 | 8052 5061 302 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 19.952 s Remaining CPU time: 160.048 s c =============================================================================== c | 40932 | 1556 4846 127210 | 5000 5260 301 | 0.000 % | c | 41032 | 1556 4846 127210 | 5500 2730 300 | 0.000 % | c | 41182 | 1556 4846 127210 | 6050 2880 300 | 0.000 % | c | 41407 | 1556 4846 127210 | 6655 3105 299 | 0.000 % | c | 41744 | 1556 4846 127210 | 7320 3442 299 | 0.000 % | c | 42250 | 1556 4846 127210 | 8052 3948 299 | 0.000 % | c | 43009 | 1556 4846 127210 | 8857 4707 299 | 0.000 % | c | 44148 | 1556 4846 127210 | 9743 5846 299 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 21.3967 s Remaining CPU time: 158.603 s c =============================================================================== c | 44256 | 1556 4847 127732 | 5000 5954 299 | 0.000 % | c | 44357 | 1556 4847 127732 | 5500 3078 298 | 0.000 % | c | 44509 | 1556 4847 127732 | 6050 3230 298 | 0.000 % | c | 44735 | 1556 4847 127732 | 6655 3456 298 | 0.000 % | c | 45072 | 1556 4847 127732 | 7320 3793 298 | 0.000 % | c | 45579 | 1556 4847 127732 | 8052 4300 298 | 0.000 % | c | 46339 | 1556 4847 127732 | 8857 5060 298 | 0.000 % | c | 47478 | 1556 4847 127732 | 9743 6199 298 | 0.000 % | c | 49186 | 1556 4847 127732 | 10717 7907 298 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 23.9374 s Remaining CPU time: 156.063 s c =============================================================================== c | 50495 | 1556 4848 128254 | 5000 9216 298 | 0.000 % | c | 50595 | 1556 4848 128254 | 5500 4708 298 | 0.000 % | c | 50746 | 1556 4848 128254 | 6050 4859 298 | 0.000 % | c | 50971 | 1556 4848 128254 | 6655 5084 298 | 0.000 % | c | 51308 | 1556 4848 128254 | 7320 5421 297 | 0.000 % | c | 51814 | 1556 4848 128254 | 8052 5927 297 | 0.000 % | c | 52573 | 1556 4848 128254 | 8857 6686 297 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 25.0622 s Remaining CPU time: 154.938 s c =============================================================================== c | 52742 | 1556 4849 128776 | 5000 6855 297 | 0.000 % | c | 52842 | 1556 4849 128776 | 5500 3528 297 | 0.000 % | c | 52992 | 1556 4849 128776 | 6050 3678 297 | 0.000 % | c | 53217 | 1556 4849 128776 | 6655 3903 297 | 0.000 % | c | 53555 | 1556 4849 128776 | 7320 4241 296 | 0.000 % | c | 54062 | 1556 4849 128776 | 8052 4748 296 | 0.000 % | c | 54821 | 1556 4849 128776 | 8857 5507 296 | 0.000 % | c | 55960 | 1556 4849 128776 | 9743 6646 296 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 27.0089 s Remaining CPU time: 152.991 s c =============================================================================== c | 57508 | 1556 4850 129298 | 5000 8194 296 | 0.000 % | c | 57608 | 1556 4850 129298 | 5500 4197 295 | 0.000 % | c | 57759 | 1556 4850 129298 | 6050 4348 295 | 0.000 % | c | 57984 | 1556 4850 129298 | 6655 4573 295 | 0.000 % | c | 58321 | 1556 4850 129298 | 7320 4910 295 | 0.000 % | c | 58827 | 1556 4850 129298 | 8052 5416 295 | 0.000 % | c | 59586 | 1556 4850 129298 | 8857 6175 295 | 0.000 % | c | 60725 | 1556 4850 129298 | 9743 7314 295 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 28.8616 s Remaining CPU time: 151.138 s c =============================================================================== c | 62127 | 1556 4851 129820 | 5000 8716 295 | 0.000 % | c | 62227 | 1556 4851 129820 | 5500 4458 295 | 0.000 % | c | 62378 | 1556 4851 129820 | 6050 4609 295 | 0.000 % | c | 62604 | 1556 4851 129820 | 6655 4835 295 | 0.000 % | c | 62942 | 1556 4851 129820 | 7320 5173 295 | 0.000 % | c | 63449 | 1556 4851 129820 | 8052 5680 295 | 0.000 % | c | 64208 | 1556 4851 129820 | 8857 6439 295 | 0.000 % | c | 65347 | 1556 4851 129820 | 9743 7578 295 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 30.8243 s Remaining CPU time: 149.176 s c =============================================================================== c | 66969 | 1556 4852 130342 | 5000 9200 295 | 0.000 % | c | 67069 | 1556 4852 130342 | 5500 4700 294 | 0.000 % | c | 67219 | 1556 4852 130342 | 6050 4850 294 | 0.000 % | c | 67444 | 1556 4852 130342 | 6655 5075 294 | 0.000 % | c | 67781 | 1556 4852 130342 | 7320 5412 294 | 0.000 % | c | 68287 | 1556 4852 130342 | 8052 5918 294 | 0.000 % | c | 69046 | 1556 4852 130342 | 8857 6677 294 | 0.000 % | c | 70186 | 1556 4852 130342 | 9743 7817 294 | 0.000 % | c | 71894 | 1556 4852 130342 | 10717 9525 294 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 33.079 s Remaining CPU time: 146.921 s c =============================================================================== c | 72716 | 1556 4853 130864 | 5000 10347 294 | 0.000 % | c | 72816 | 1556 4853 130864 | 5500 2687 292 | 0.000 % | c | 72966 | 1556 4853 130864 | 6050 2837 292 | 0.000 % | c | 73191 | 1556 4853 130864 | 6655 3062 292 | 0.000 % | c | 73528 | 1556 4853 130864 | 7320 3399 292 | 0.000 % | c | 74035 | 1556 4853 130864 | 8052 3906 292 | 0.000 % | c | 74794 | 1556 4853 130864 | 8857 4665 292 | 0.000 % | c | 75933 | 1556 4853 130864 | 9743 5804 292 | 0.000 % | c | 77641 | 1556 4853 130864 | 10717 7512 292 | 0.000 % | c | 80203 | 1556 4853 130864 | 11789 10074 292 | 0.000 % | c | 84047 | 1556 4853 130864 | 12968 7864 292 | 0.000 % | c | 89813 | 1556 4853 130864 | 14265 6993 292 | 0.000 % | c | 98462 | 1556 4853 130864 | 15692 8353 292 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 44.2743 s Remaining CPU time: 135.726 s c =============================================================================== c | 98974 | 1556 4854 131386 | 5000 8865 292 | 0.000 % | c | 99074 | 1556 4854 131386 | 5500 4533 292 | 0.000 % | c | 99224 | 1556 4854 131386 | 6050 4683 292 | 0.000 % | c | 99449 | 1556 4854 131386 | 6655 4908 292 | 0.000 % | c | 99786 | 1556 4854 131386 | 7320 5245 292 | 0.000 % | c | 100293 | 1556 4854 131386 | 8052 5752 292 | 0.000 % | c | 101053 | 1556 4854 131386 | 8857 6512 292 | 0.000 % | c | 102194 | 1556 4854 131386 | 9743 7653 292 | 0.000 % | c | 103902 | 1556 4854 131386 | 10717 9361 292 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 46.9679 s Remaining CPU time: 133.032 s c =============================================================================== c | 104589 | 1556 4855 131908 | 5000 10048 291 | 0.000 % | c | 104689 | 1556 4855 131908 | 5500 2612 290 | 0.000 % | c | 104839 | 1556 4855 131908 | 6050 2762 290 | 0.000 % | c | 105064 | 1556 4855 131908 | 6655 2987 290 | 0.000 % | c | 105402 | 1556 4855 131908 | 7320 3325 290 | 0.000 % | c | 105908 | 1556 4855 131908 | 8052 3831 290 | 0.000 % | c | 106667 | 1556 4855 131908 | 8857 4590 290 | 0.000 % | c | 107806 | 1556 4855 131908 | 9743 5729 290 | 0.000 % | c | 109515 | 1556 4855 131908 | 10717 7438 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 49.9034 s Remaining CPU time: 130.097 s c =============================================================================== c | 111605 | 1556 4856 132430 | 5000 9528 290 | 0.000 % | c | 111705 | 1556 4856 132430 | 5500 4864 290 | 0.000 % | c | 111856 | 1556 4856 132430 | 6050 5015 290 | 0.000 % | c | 112081 | 1556 4856 132430 | 6655 5240 290 | 0.000 % | c | 112419 | 1556 4856 132430 | 7320 5578 290 | 0.000 % | c | 112925 | 1556 4856 132430 | 8052 6084 290 | 0.000 % | c | 113684 | 1556 4856 132430 | 8857 6843 290 | 0.000 % | c | 114823 | 1556 4856 132430 | 9743 7982 290 | 0.000 % | c | 116531 | 1556 4856 132430 | 10717 9690 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 52.717 s Remaining CPU time: 127.283 s c =============================================================================== c | 117609 | 1556 4857 132952 | 5000 10768 290 | 0.000 % | c | 117709 | 1556 4857 132952 | 5500 2792 288 | 0.000 % | c | 117859 | 1556 4857 132952 | 6050 2942 288 | 0.000 % | c | 118084 | 1556 4857 132952 | 6655 3167 288 | 0.000 % | c | 118421 | 1556 4857 132952 | 7320 3504 288 | 0.000 % | c | 118928 | 1556 4857 132952 | 8052 4011 288 | 0.000 % | c | 119687 | 1556 4857 132952 | 8857 4770 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 54.2068 s Remaining CPU time: 125.793 s c =============================================================================== c | 120813 | 1556 4858 133474 | 5000 5896 288 | 0.000 % | c | 120913 | 1556 4858 133474 | 5500 3048 287 | 0.000 % | c | 121064 | 1556 4858 133474 | 6050 3199 287 | 0.000 % | c | 121289 | 1556 4858 133474 | 6655 3424 287 | 0.000 % | c | 121626 | 1556 4858 133474 | 7320 3761 287 | 0.000 % | c | 122132 | 1556 4858 133474 | 8052 4267 287 | 0.000 % | c | 122891 | 1556 4858 133474 | 8857 5026 287 | 0.000 % | c | 124031 | 1556 4858 133474 | 9743 6166 287 | 0.000 % | c | 125739 | 1556 4858 133474 | 10717 7874 287 | 0.000 % | c | 128301 | 1556 4858 133474 | 11789 10436 287 | 0.000 % | c | 132145 | 1556 4858 133474 | 12968 8236 288 | 0.000 % | c | 137912 | 1556 4858 133474 | 14265 7368 287 | 0.000 % | c | 146562 | 1556 4858 133474 | 15692 8732 287 | 0.000 % | c | 159536 | 1556 4858 133474 | 17261 13694 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 79.8669 s Remaining CPU time: 100.133 s c =============================================================================== c | 172514 | 1556 4859 133996 | 5000 9088 288 | 0.000 % | c | 172614 | 1556 4859 133996 | 5500 4644 288 | 0.000 % | c | 172764 | 1556 4859 133996 | 6050 4794 288 | 0.000 % | c | 172989 | 1556 4859 133996 | 6655 5019 288 | 0.000 % | c | 173327 | 1556 4859 133996 | 7320 5357 288 | 0.000 % | c | 173833 | 1556 4859 133996 | 8052 5863 287 | 0.000 % | c | 174592 | 1556 4859 133996 | 8857 6622 287 | 0.000 % | c | 175732 | 1556 4859 133996 | 9743 7762 287 | 0.000 % | c | 177440 | 1556 4859 133996 | 10717 9470 287 | 0.000 % | c | 180002 | 1556 4859 133996 | 11789 6523 286 | 0.000 % | c | 183846 | 1556 4859 133996 | 12968 10367 286 | 0.000 % | c | 189613 | 1556 4859 133996 | 14265 9500 287 | 0.000 % | c | 198264 | 1556 4859 133996 | 15692 10862 287 | 0.000 % | c | 211239 | 1556 4859 133996 | 17261 15831 287 | 0.000 % | c | 230701 | 1556 4859 133996 | 18987 8937 287 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 116.817 s Remaining CPU time: 63.1828 s c =============================================================================== c | 243869 | 1556 4860 134518 | 5000 12425 287 | 0.000 % | c | 243969 | 1556 4860 134518 | 5500 3207 287 | 0.000 % | c | 244119 | 1556 4860 134518 | 6050 3357 287 | 0.000 % | c | 244345 | 1556 4860 134518 | 6655 3583 286 | 0.000 % | c | 244682 | 1556 4860 134518 | 7320 3920 286 | 0.000 % | c | 245189 | 1556 4860 134518 | 8052 4427 286 | 0.000 % | c | 245948 | 1556 4860 134518 | 8857 5186 286 | 0.000 % | c | 247087 | 1556 4860 134518 | 9743 6325 286 | 0.000 % | c | 248795 | 1556 4860 134518 | 10717 8033 286 | 0.000 % | c | 251358 | 1556 4860 134518 | 11789 10596 286 | 0.000 % | c | 255202 | 1556 4860 134518 | 12968 8372 285 | 0.000 % | c | 260968 | 1556 4860 134518 | 14265 7502 285 | 0.000 % | c | 269617 | 1556 4860 134518 | 15692 8865 285 | 0.000 % | c | 282591 | 1556 4860 134518 | 17261 13830 285 | 0.000 % | c | 302052 | 1556 4860 134518 | 18987 15705 285 | 0.000 % |