c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4723 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1550 | c | Number Clauses: 4712 | 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 | 1550 4712 9943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1550 4713 10464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1550 4714 10985 | 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 | 1550 4715 11506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1550 4716 12027 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1550 4717 12548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1550 4718 13069 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1550 4719 13590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1550 4720 14111 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1550 4721 14632 | 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 | 1550 4722 15153 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1550 4723 15674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1550 4724 16195 | 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 | 1550 4725 16716 | 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 | 1550 4726 17237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1550 4727 17758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1550 4728 18279 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 1 | 1550 4729 18800 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 1550 4730 19321 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 1550 4731 19842 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 1550 4732 20363 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 1550 4733 20884 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1 | 1550 4734 21405 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 1550 4735 21926 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1550 4736 22447 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 2 | 1550 4737 22968 | 5000 2 502 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 2 | 1550 4738 23489 | 5000 2 502 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 3 | 1550 4739 24010 | 5000 3 499 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 3 | 1550 4740 24531 | 5000 3 499 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 4 | 1550 4741 25052 | 5000 4 498 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 4 | 1550 4742 25573 | 5000 4 498 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 5 | 1550 4743 26094 | 5000 5 496 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 5 | 1550 4744 26615 | 5000 5 496 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 6 | 1550 4745 27136 | 5000 6 495 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 6 | 1550 4746 27657 | 5000 6 495 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 7 | 1550 4747 28178 | 5000 7 494 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 7 | 1550 4748 28699 | 5000 7 494 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 7 | 1550 4749 29220 | 5000 7 494 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 7 | 1550 4750 29741 | 5000 7 494 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 8 | 1550 4751 30262 | 5000 8 493 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 8 | 1550 4752 30783 | 5000 8 493 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 9 | 1550 4753 31304 | 5000 9 491 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 9 | 1550 4754 31825 | 5000 9 491 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 10 | 1550 4755 32346 | 5000 10 490 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 10 | 1550 4756 32867 | 5000 10 490 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 11 | 1550 4757 33388 | 5000 11 489 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 11 | 1550 4758 33909 | 5000 11 489 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 12 | 1550 4759 34430 | 5000 12 488 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 12 | 1550 4760 34951 | 5000 12 488 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 13 | 1550 4761 35472 | 5000 13 487 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 13 | 1550 4762 35993 | 5000 13 487 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 14 | 1550 4763 36514 | 5000 14 486 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 20 | 1550 4764 37035 | 5000 20 481 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 20 | 1550 4765 37556 | 5000 20 481 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 20 | 1550 4766 38077 | 5000 20 481 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 21 | 1550 4767 38598 | 5000 21 480 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 21 | 1550 4768 39119 | 5000 21 480 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 22 | 1550 4769 39640 | 5000 22 480 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 22 | 1550 4770 40161 | 5000 22 480 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 23 | 1550 4771 40682 | 5000 23 479 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 23 | 1550 4772 41203 | 5000 23 479 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 24 | 1550 4773 41724 | 5000 24 478 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 24 | 1550 4774 42245 | 5000 24 478 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 25 | 1550 4775 42766 | 5000 25 478 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 25 | 1550 4776 43287 | 5000 25 478 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 26 | 1550 4777 43808 | 5000 26 477 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 26 | 1550 4778 44329 | 5000 26 477 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 27 | 1550 4779 44850 | 5000 27 476 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 27 | 1550 4780 45371 | 5000 27 476 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 28 | 1550 4781 45892 | 5000 28 475 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 28 | 1550 4782 46413 | 5000 28 475 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 29 | 1550 4783 46934 | 5000 29 474 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 29 | 1550 4784 47455 | 5000 29 474 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 30 | 1550 4785 47976 | 5000 30 473 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 30 | 1550 4786 48497 | 5000 30 473 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s c =============================================================================== c | 31 | 1550 4787 49018 | 5000 31 473 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 31 | 1550 4788 49539 | 5000 31 473 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 32 | 1550 4789 50060 | 5000 32 472 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 32 | 1550 4790 50581 | 5000 32 472 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 33 | 1550 4791 51102 | 5000 33 471 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 33 | 1550 4792 51623 | 5000 33 471 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 34 | 1550 4793 52144 | 5000 34 470 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 34 | 1550 4794 52665 | 5000 34 470 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 35 | 1550 4795 53186 | 5000 35 469 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 35 | 1550 4796 53707 | 5000 35 469 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 36 | 1550 4797 54228 | 5000 36 468 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 36 | 1550 4798 54749 | 5000 36 468 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 37 | 1550 4799 55270 | 5000 37 467 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s c =============================================================================== c | 38 | 1550 4800 55791 | 5000 38 466 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 39 | 1550 4801 56312 | 5000 39 466 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 39 | 1550 4802 56833 | 5000 39 466 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 40 | 1550 4803 57354 | 5000 40 465 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 41 | 1550 4804 57875 | 5000 41 464 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 41 | 1550 4805 58396 | 5000 41 464 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 53 | 1550 4806 58917 | 5000 53 456 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 53 | 1550 4807 59438 | 5000 53 456 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 55 | 1550 4808 59959 | 5000 55 455 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s c =============================================================================== c | 56 | 1550 4809 60480 | 5000 56 454 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 57 | 1550 4810 61001 | 5000 57 454 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 67 | 1550 4811 61522 | 5000 67 449 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 76 | 1550 4812 62043 | 5000 76 446 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 83 | 1550 4813 62564 | 5000 83 444 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.638902 s Remaining CPU time: 179.361 s c =============================================================================== c | 86 | 1550 4814 63085 | 5000 86 443 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 88 | 1550 4815 63606 | 5000 88 443 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 88 | 1550 4816 64127 | 5000 88 443 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 98 | 1550 4817 64648 | 5000 98 440 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 98 | 1550 4818 65169 | 5000 98 440 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 99 | 1550 4819 65690 | 5000 99 440 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.72089 s Remaining CPU time: 179.279 s c =============================================================================== c | 101 | 1550 4820 66211 | 5000 101 439 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 113 | 1550 4821 66732 | 5000 113 437 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 115 | 1550 4822 67253 | 5000 115 436 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 118 | 1550 4823 67774 | 5000 118 436 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 119 | 1550 4824 68295 | 5000 119 435 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 130 | 1550 4825 68816 | 5000 130 433 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 131 | 1550 4826 69337 | 5000 131 433 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 131 | 1550 4827 69858 | 5000 131 433 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 133 | 1550 4828 70379 | 5000 133 433 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 143 | 1550 4829 70900 | 5000 143 431 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 143 | 1550 4830 71421 | 5000 143 431 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 167 | 1550 4831 71942 | 5000 167 427 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 167 | 1550 4832 72463 | 5000 167 427 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 174 | 1550 4833 72984 | 5000 174 426 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 174 | 1550 4834 73505 | 5000 174 426 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 188 | 1550 4835 74026 | 5000 188 424 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 209 | 1550 4836 74547 | 5000 209 422 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 218 | 1550 4837 75068 | 5000 218 421 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 220 | 1550 4838 75589 | 5000 220 420 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 221 | 1550 4839 76110 | 5000 221 420 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.03684 s Remaining CPU time: 178.963 s c =============================================================================== c | 229 | 1550 4840 76631 | 5000 229 419 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 229 | 1550 4841 77152 | 5000 229 419 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 237 | 1550 4842 77673 | 5000 237 418 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.08883 s Remaining CPU time: 178.911 s c =============================================================================== c | 237 | 1550 4843 78194 | 5000 237 418 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 238 | 1550 4844 78715 | 5000 238 418 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.12283 s Remaining CPU time: 178.877 s c =============================================================================== c | 240 | 1550 4845 79236 | 5000 240 418 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 242 | 1550 4846 79757 | 5000 242 418 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 244 | 1550 4847 80278 | 5000 244 418 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 245 | 1550 4848 80799 | 5000 245 417 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 258 | 1550 4849 81320 | 5000 258 416 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.21281 s Remaining CPU time: 178.787 s c =============================================================================== c | 258 | 1550 4850 81841 | 5000 258 416 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 260 | 1550 4851 82362 | 5000 260 416 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 272 | 1550 4852 82883 | 5000 272 414 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.27181 s Remaining CPU time: 178.728 s c =============================================================================== c | 280 | 1550 4853 83404 | 5000 280 413 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 280 | 1550 4854 83925 | 5000 280 413 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 280 | 1550 4855 84446 | 5000 280 413 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.3318 s Remaining CPU time: 178.668 s c =============================================================================== c | 293 | 1550 4856 84967 | 5000 293 412 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 293 | 1550 4857 85488 | 5000 293 412 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.36979 s Remaining CPU time: 178.63 s c =============================================================================== c | 295 | 1550 4858 86009 | 5000 295 411 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.38979 s Remaining CPU time: 178.61 s c =============================================================================== c | 295 | 1550 4859 86530 | 5000 295 411 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 296 | 1550 4860 87051 | 5000 296 411 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.42778 s Remaining CPU time: 178.572 s c =============================================================================== c | 297 | 1550 4861 87572 | 5000 297 411 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 299 | 1550 4862 88093 | 5000 299 411 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 300 | 1550 4863 88614 | 5000 300 411 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 301 | 1550 4864 89135 | 5000 301 411 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 303 | 1550 4865 89656 | 5000 303 410 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 336 | 1550 4866 90177 | 5000 336 406 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.56176 s Remaining CPU time: 178.438 s c =============================================================================== c | 336 | 1550 4867 90698 | 5000 336 406 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.58276 s Remaining CPU time: 178.417 s c =============================================================================== c | 337 | 1550 4868 91219 | 5000 337 405 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 337 | 1550 4869 91740 | 5000 337 405 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.62475 s Remaining CPU time: 178.375 s c =============================================================================== c | 338 | 1550 4870 92261 | 5000 338 405 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 341 | 1550 4871 92782 | 5000 341 405 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.68874 s Remaining CPU time: 178.311 s c =============================================================================== c | 407 | 1550 4872 93303 | 5000 407 398 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s c =============================================================================== c | 409 | 1550 4873 93824 | 5000 409 398 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 409 | 1550 4874 94345 | 5000 409 398 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 430 | 1550 4875 94866 | 5000 430 396 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.77973 s Remaining CPU time: 178.22 s c =============================================================================== c | 439 | 1550 4876 95387 | 5000 439 395 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.80573 s Remaining CPU time: 178.194 s c =============================================================================== c | 461 | 1550 4877 95908 | 5000 461 394 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 463 | 1550 4878 96429 | 5000 463 393 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.85172 s Remaining CPU time: 178.148 s c =============================================================================== c | 464 | 1550 4879 96950 | 5000 464 393 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 469 | 1550 4880 97471 | 5000 469 393 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 471 | 1550 4881 97992 | 5000 471 393 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.92771 s Remaining CPU time: 178.072 s c =============================================================================== c | 480 | 1550 4882 98513 | 5000 480 392 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s c =============================================================================== c | 508 | 1550 4883 99034 | 5000 508 390 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 512 | 1550 4884 99555 | 5000 512 389 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 513 | 1550 4885 100076 | 5000 513 389 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 2.03369 s Remaining CPU time: 177.966 s c =============================================================================== c | 533 | 1550 4886 100597 | 5000 533 387 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 2.06069 s Remaining CPU time: 177.939 s c =============================================================================== c | 543 | 1550 4887 101118 | 5000 543 386 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.08968 s Remaining CPU time: 177.91 s c =============================================================================== c | 555 | 1550 4888 101639 | 5000 555 386 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.11568 s Remaining CPU time: 177.884 s c =============================================================================== c | 562 | 1550 4889 102160 | 5000 562 385 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.14467 s Remaining CPU time: 177.855 s c =============================================================================== c | 579 | 1550 4890 102681 | 5000 579 384 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.16867 s Remaining CPU time: 177.831 s c =============================================================================== c | 579 | 1550 4891 103202 | 5000 579 384 | 0.000 % | c | 679 | 1550 4891 103202 | 5500 679 378 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 706 | 1550 4892 103723 | 5000 706 377 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.27865 s Remaining CPU time: 177.721 s c =============================================================================== c | 714 | 1550 4893 104244 | 5000 714 376 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 719 | 1550 4894 104765 | 5000 719 376 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 735 | 1550 4895 105286 | 5000 735 375 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.36064 s Remaining CPU time: 177.639 s c =============================================================================== c | 737 | 1550 4896 105807 | 5000 737 375 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.38664 s Remaining CPU time: 177.613 s c =============================================================================== c | 739 | 1550 4897 106328 | 5000 739 375 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 746 | 1550 4898 106849 | 5000 746 375 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 751 | 1550 4899 107370 | 5000 751 374 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.48862 s Remaining CPU time: 177.511 s c =============================================================================== c | 829 | 1550 4900 107891 | 5000 829 371 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s c =============================================================================== c | 870 | 1550 4901 108412 | 5000 870 369 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.55361 s Remaining CPU time: 177.446 s c =============================================================================== c | 879 | 1550 4902 108933 | 5000 879 369 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.59061 s Remaining CPU time: 177.409 s c =============================================================================== c | 916 | 1550 4903 109454 | 5000 916 367 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.6166 s Remaining CPU time: 177.383 s c =============================================================================== c | 916 | 1550 4904 109975 | 5000 916 367 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.6446 s Remaining CPU time: 177.355 s c =============================================================================== c | 919 | 1550 4905 110496 | 5000 919 367 | 0.000 % | c | 1019 | 1550 4905 110496 | 5500 1019 363 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.73258 s Remaining CPU time: 177.267 s c =============================================================================== c | 1030 | 1550 4906 111017 | 5000 1030 363 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.76358 s Remaining CPU time: 177.236 s c =============================================================================== c | 1044 | 1550 4907 111538 | 5000 1044 363 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.79458 s Remaining CPU time: 177.205 s c =============================================================================== c | 1062 | 1550 4908 112059 | 5000 1062 362 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.82557 s Remaining CPU time: 177.174 s c =============================================================================== c | 1078 | 1550 4909 112580 | 5000 1078 361 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.85556 s Remaining CPU time: 177.144 s c =============================================================================== c | 1086 | 1550 4910 113101 | 5000 1086 361 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.88656 s Remaining CPU time: 177.113 s c =============================================================================== c | 1099 | 1550 4911 113622 | 5000 1099 361 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.91756 s Remaining CPU time: 177.082 s c =============================================================================== c | 1115 | 1550 4912 114143 | 5000 1115 360 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.94955 s Remaining CPU time: 177.05 s c =============================================================================== c | 1128 | 1550 4913 114664 | 5000 1128 360 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.98155 s Remaining CPU time: 177.018 s c =============================================================================== c | 1142 | 1550 4914 115185 | 5000 1142 359 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 3.03454 s Remaining CPU time: 176.965 s c =============================================================================== c | 1234 | 1550 4915 115706 | 5000 1234 356 | 0.000 % | c | 1334 | 1550 4915 115706 | 5500 1334 354 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 3.11753 s Remaining CPU time: 176.882 s c =============================================================================== c | 1348 | 1550 4916 116227 | 5000 1348 353 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s c =============================================================================== c | 1351 | 1550 4917 116748 | 5000 1351 353 | 0.000 % | c | 1451 | 1550 4917 116748 | 5500 1451 351 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s c =============================================================================== c | 1476 | 1550 4918 117269 | 5000 1476 350 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 3.2825 s Remaining CPU time: 176.718 s c =============================================================================== c | 1512 | 1550 4919 117790 | 5000 1512 349 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 3.31549 s Remaining CPU time: 176.685 s c =============================================================================== c | 1530 | 1550 4920 118311 | 5000 1530 349 | 0.000 % | c | 1630 | 1550 4920 118311 | 5500 1630 347 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 3.40348 s Remaining CPU time: 176.597 s c =============================================================================== c | 1646 | 1550 4921 118832 | 5000 1646 346 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 3.44148 s Remaining CPU time: 176.559 s c =============================================================================== c | 1677 | 1550 4922 119353 | 5000 1677 346 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 3.48147 s Remaining CPU time: 176.519 s c =============================================================================== c | 1711 | 1550 4923 119874 | 5000 1711 345 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 3.52246 s Remaining CPU time: 176.478 s c =============================================================================== c | 1734 | 1550 4924 120395 | 5000 1734 345 | 0.000 % | c | 1834 | 1550 4924 120395 | 5500 1834 343 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.61745 s Remaining CPU time: 176.383 s c =============================================================================== c | 1847 | 1550 4925 120916 | 5000 1847 343 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.66944 s Remaining CPU time: 176.331 s c =============================================================================== c | 1930 | 1550 4926 121437 | 5000 1930 341 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.71244 s Remaining CPU time: 176.288 s c =============================================================================== c | 1972 | 1550 4927 121958 | 5000 1972 340 | 0.000 % | c | 2074 | 1550 4927 121958 | 5500 2074 339 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 3.81442 s Remaining CPU time: 176.186 s c =============================================================================== c | 2144 | 1550 4928 122479 | 5000 2144 338 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.86741 s Remaining CPU time: 176.133 s c =============================================================================== c | 2232 | 1550 4929 123000 | 5000 2232 337 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 3.90941 s Remaining CPU time: 176.091 s c =============================================================================== c | 2274 | 1550 4930 123521 | 5000 2274 336 | 0.000 % | c | 2374 | 1550 4930 123521 | 5500 2374 335 | 0.000 % | c | 2524 | 1550 4930 123521 | 6050 2524 333 | 0.000 % | c | 2749 | 1550 4930 123521 | 6655 2749 330 | 0.000 % | c | 3086 | 1550 4930 123521 | 7320 3086 328 | 0.000 % | c | 3592 | 1550 4930 123521 | 8052 3592 324 | 0.000 % | c | 4351 | 1550 4930 123521 | 8857 4351 321 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 4.73828 s Remaining CPU time: 175.262 s c =============================================================================== c | 4443 | 1550 4931 124042 | 5000 4443 321 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 4.78227 s Remaining CPU time: 175.218 s c =============================================================================== c | 4481 | 1550 4932 124563 | 5000 4481 321 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 4.84026 s Remaining CPU time: 175.16 s c =============================================================================== c | 4573 | 1550 4933 125084 | 5000 4573 320 | 0.000 % | c | 4674 | 1550 4933 125084 | 5500 4674 320 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 4.93425 s Remaining CPU time: 175.066 s c =============================================================================== c | 4705 | 1550 4934 125605 | 5000 4705 320 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 4.96924 s Remaining CPU time: 175.031 s c =============================================================================== c | 4715 | 1550 4935 126126 | 5000 4715 320 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 4.99924 s Remaining CPU time: 175.001 s c =============================================================================== c | 4717 | 1550 4936 126647 | 5000 4717 320 | 0.000 % | c | 4817 | 1550 4936 126647 | 5500 4817 319 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 5.10022 s Remaining CPU time: 174.9 s c =============================================================================== c | 4862 | 1550 4937 127168 | 5000 4862 319 | 0.000 % | c | 4962 | 1550 4937 127168 | 5500 4962 318 | 0.000 % | c | 5112 | 1550 4937 127168 | 6050 5112 318 | 0.000 % | c | 5338 | 1550 4937 127168 | 6655 5338 317 | 0.000 % | c | 5675 | 1550 4937 127168 | 7320 5675 316 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 5.56215 s Remaining CPU time: 174.438 s c =============================================================================== c | 5804 | 1550 4938 127689 | 5000 5804 315 | 0.000 % | c | 5904 | 1550 4938 127689 | 5500 3002 302 | 0.000 % | c | 6054 | 1550 4938 127689 | 6050 3152 301 | 0.000 % | c | 6279 | 1550 4938 127689 | 6655 3377 301 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 5.8941 s Remaining CPU time: 174.106 s c =============================================================================== c | 6500 | 1550 4939 128210 | 5000 3598 301 | 0.000 % | c | 6600 | 1550 4939 128210 | 5500 3698 300 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 5.98509 s Remaining CPU time: 174.015 s c =============================================================================== c | 6612 | 1550 4940 128731 | 5000 3710 300 | 0.000 % | c | 6713 | 1550 4940 128731 | 5500 3811 300 | 0.000 % | c | 6863 | 1550 4940 128731 | 6050 3961 300 | 0.000 % | c | 7088 | 1550 4940 128731 | 6655 4186 300 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 6.35403 s Remaining CPU time: 173.646 s c =============================================================================== c | 7413 | 1550 4941 129252 | 5000 4511 299 | 0.000 % | c | 7514 | 1550 4941 129252 | 5500 4612 299 | 0.000 % | c | 7664 | 1550 4941 129252 | 6050 4762 299 | 0.000 % | c | 7889 | 1550 4941 129252 | 6655 4987 299 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 6.62699 s Remaining CPU time: 173.373 s c =============================================================================== c | 7933 | 1550 4942 129773 | 5000 5031 299 | 0.000 % | c | 8033 | 1550 4942 129773 | 5500 2616 295 | 0.000 % | c | 8183 | 1550 4942 129773 | 6050 2766 295 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 6.83596 s Remaining CPU time: 173.164 s c =============================================================================== c | 8305 | 1550 4943 130294 | 5000 2888 295 | 0.000 % | c | 8405 | 1550 4943 130294 | 5500 2988 295 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 6.94494 s Remaining CPU time: 173.055 s c =============================================================================== c | 8468 | 1550 4944 130815 | 5000 3051 295 | 0.000 % | c | 8568 | 1550 4944 130815 | 5500 3151 294 | 0.000 % | c | 8719 | 1550 4944 130815 | 6050 3302 294 | 0.000 % | c | 8944 | 1550 4944 130815 | 6655 3527 294 | 0.000 % | c | 9281 | 1550 4944 130815 | 7320 3864 294 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 7.43187 s Remaining CPU time: 172.568 s c =============================================================================== c | 9549 | 1550 4945 131336 | 5000 4132 294 | 0.000 % | c | 9649 | 1550 4945 131336 | 5500 4232 293 | 0.000 % | c | 9799 | 1550 4945 131336 | 6050 4382 293 | 0.000 % | c | 10024 | 1550 4945 131336 | 6655 4607 293 | 0.000 % | c | 10361 | 1550 4945 131336 | 7320 4944 293 | 0.000 % | c | 10867 | 1550 4945 131336 | 8052 5450 293 | 0.000 % | c | 11626 | 1550 4945 131336 | 8857 6209 292 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 8.74267 s Remaining CPU time: 171.257 s c =============================================================================== c | 12573 | 1550 4946 131857 | 5000 7156 292 | 0.000 % | c | 12673 | 1550 4946 131857 | 5500 3678 290 | 0.000 % | c | 12824 | 1550 4946 131857 | 6050 3829 290 | 0.000 % | c | 13049 | 1550 4946 131857 | 6655 4054 290 | 0.000 % | c | 13386 | 1550 4946 131857 | 7320 4391 290 | 0.000 % | c | 13893 | 1550 4946 131857 | 8052 4898 289 | 0.000 % | c | 14652 | 1550 4946 131857 | 8857 5657 289 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 10.0245 s Remaining CPU time: 169.976 s c =============================================================================== c | 15607 | 1550 4947 132378 | 5000 6612 289 | 0.000 % | c | 15707 | 1550 4947 132378 | 5500 3406 289 | 0.000 % | c | 15857 | 1550 4947 132378 | 6050 3556 289 | 0.000 % | c | 16082 | 1550 4947 132378 | 6655 3781 289 | 0.000 % | c | 16419 | 1550 4947 132378 | 7320 4118 288 | 0.000 % | c | 16925 | 1550 4947 132378 | 8052 4624 288 | 0.000 % | c | 17684 | 1550 4947 132378 | 8857 5383 288 | 0.000 % | c | 18823 | 1550 4947 132378 | 9743 6522 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 11.8382 s Remaining CPU time: 168.162 s c =============================================================================== c | 20064 | 1550 4948 132899 | 5000 7763 288 | 0.000 % | c | 20164 | 1550 4948 132899 | 5500 3982 287 | 0.000 % | c | 20314 | 1550 4948 132899 | 6050 4132 287 | 0.000 % | c | 20539 | 1550 4948 132899 | 6655 4357 287 | 0.000 % | c | 20876 | 1550 4948 132899 | 7320 4694 287 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 12.3011 s Remaining CPU time: 167.699 s c =============================================================================== c | 20908 | 1550 4949 133420 | 5000 4726 287 | 0.000 % | c | 21008 | 1550 4949 133420 | 5500 4826 287 | 0.000 % | c | 21158 | 1550 4949 133420 | 6050 4976 287 | 0.000 % | c | 21383 | 1550 4949 133420 | 6655 5201 287 | 0.000 % | c | 21720 | 1550 4949 133420 | 7320 5538 287 | 0.000 % | c | 22227 | 1550 4949 133420 | 8052 6045 287 | 0.000 % | c | 22986 | 1550 4949 133420 | 8857 6804 287 | 0.000 % | c | 24125 | 1550 4949 133420 | 9743 7943 287 | 0.000 % | c | 25833 | 1550 4949 133420 | 10717 9651 287 | 0.000 % | c | 28395 | 1550 4949 133420 | 11789 6687 286 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 17.0234 s Remaining CPU time: 162.977 s c =============================================================================== c | 32151 | 1550 4950 133941 | 5000 10443 286 | 0.000 % | c | 32251 | 1550 4950 133941 | 5500 2711 286 | 0.000 % | c | 32402 | 1550 4950 133941 | 6050 2862 286 | 0.000 % | c | 32627 | 1550 4950 133941 | 6655 3087 286 | 0.000 % | c | 32964 | 1550 4950 133941 | 7320 3424 286 | 0.000 % | c | 33470 | 1550 4950 133941 | 8052 3930 286 | 0.000 % | c | 34229 | 1550 4950 133941 | 8857 4689 286 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 18.2232 s Remaining CPU time: 161.777 s c =============================================================================== c | 34429 | 1550 4951 134462 | 5000 4889 286 | 0.000 % | c | 34529 | 1550 4951 134462 | 5500 4989 286 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 18.3852 s Remaining CPU time: 161.615 s c =============================================================================== c | 34641 | 1550 4952 134983 | 5000 5101 286 | 0.000 % | c | 34741 | 1550 4952 134983 | 5500 2651 285 | 0.000 % | c | 34891 | 1550 4952 134983 | 6050 2801 285 | 0.000 % | c | 35116 | 1550 4952 134983 | 6655 3026 284 | 0.000 % | c | 35454 | 1550 4952 134983 | 7320 3364 284 | 0.000 % | c | 35960 | 1550 4952 134983 | 8052 3870 284 | 0.000 % | c | 36720 | 1550 4952 134983 | 8857 4630 284 | 0.000 % | c | 37859 | 1550 4952 134983 | 9743 5769 284 | 0.000 % | c | 39567 | 1550 4952 134983 | 10717 7477 284 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 20.9348 s Remaining CPU time: 159.065 s c =============================================================================== c | 40229 | 1550 4953 135504 | 5000 8139 284 | 0.000 % | c | 40330 | 1550 4953 135504 | 5500 4171 283 | 0.000 % | c | 40480 | 1550 4953 135504 | 6050 4321 283 | 0.000 % | c | 40706 | 1550 4953 135504 | 6655 4547 283 | 0.000 % | c | 41043 | 1550 4953 135504 | 7320 4884 283 | 0.000 % | c | 41549 | 1550 4953 135504 | 8052 5390 283 | 0.000 % | c | 42308 | 1550 4953 135504 | 8857 6149 283 | 0.000 % | c | 43447 | 1550 4953 135504 | 9743 7288 283 | 0.000 % | c | 45156 | 1550 4953 135504 | 10717 8997 282 | 0.000 % | c | 47718 | 1550 4953 135504 | 11789 6030 282 | 0.000 % | c | 51562 | 1550 4953 135504 | 12968 9874 282 | 0.000 % | c | 57328 | 1550 4953 135504 | 14265 9007 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 30.0154 s Remaining CPU time: 149.985 s c =============================================================================== c | 60650 | 1550 4954 136025 | 5000 12329 282 | 0.000 % | c | 60750 | 1550 4954 136025 | 5500 3183 282 | 0.000 % | c | 60903 | 1550 4954 136025 | 6050 3336 282 | 0.000 % | c | 61129 | 1550 4954 136025 | 6655 3562 282 | 0.000 % | c | 61466 | 1550 4954 136025 | 7320 3899 282 | 0.000 % | c | 61973 | 1550 4954 136025 | 8052 4406 282 | 0.000 % | c | 62732 | 1550 4954 136025 | 8857 5165 282 | 0.000 % | c | 63871 | 1550 4954 136025 | 9743 6304 281 | 0.000 % | c | 65579 | 1550 4954 136025 | 10717 8012 281 | 0.000 % | c | 68141 | 1550 4954 136025 | 11789 10574 281 | 0.000 % | c | 71985 | 1550 4954 136025 | 12968 8361 281 | 0.000 % | c | 77751 | 1550 4954 136025 | 14265 7479 281 | 0.000 % | c | 86400 | 1550 4954 136025 | 15692 8835 281 | 0.000 % | c | 99374 | 1550 4954 136025 | 17261 13782 281 | 0.000 % | c | 118835 | 1550 4954 136025 | 18987 15648 282 | 0.000 % | c | 148027 | 1550 4954 136025 | 20886 15878 282 | 0.000 % | c | 191817 | 1550 4954 136025 | 22974 17048 282 | 0.000 % | c | 257501 | 1550 4954 136025 | 25272 19116 281 | 0.000 % |