c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4758 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1547 | c | Number Clauses: 4739 | 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 | 1547 4739 9992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1547 4740 10518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1547 4741 11044 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1547 4742 11570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1547 4743 12096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1547 4744 12622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1547 4745 13148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1547 4746 13674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1547 4747 14200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1547 4748 14726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1547 4749 15252 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1547 4750 15778 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1547 4751 16304 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1547 4752 16830 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1547 4753 17356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1547 4754 17882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1547 4755 18408 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1547 4756 18934 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1547 4757 19460 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1547 4758 19986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 1547 4759 20512 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 1547 4760 21038 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 1547 4761 21564 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1 | 1547 4762 22090 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 1547 4763 22616 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1547 4764 23142 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1547 4765 23668 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 1 | 1547 4766 24194 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1547 4767 24720 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 1547 4768 25246 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 1 | 1547 4769 25772 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1547 4770 26298 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 1547 4771 26824 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1547 4772 27350 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1547 4773 27876 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 1547 4774 28402 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1547 4775 28928 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1547 4776 29454 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1 | 1547 4777 29980 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 1547 4778 30506 | 5000 1 508 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 2 | 1547 4779 31032 | 5000 2 498 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 2 | 1547 4780 31558 | 5000 2 498 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 2 | 1547 4781 32084 | 5000 2 498 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 2 | 1547 4782 32610 | 5000 2 498 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 2 | 1547 4783 33136 | 5000 2 498 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 3 | 1547 4784 33662 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 3 | 1547 4785 34188 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 3 | 1547 4786 34714 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 3 | 1547 4787 35240 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 3 | 1547 4788 35766 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 3 | 1547 4789 36292 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 3 | 1547 4790 36818 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 3 | 1547 4791 37344 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 3 | 1547 4792 37870 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 3 | 1547 4793 38396 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 3 | 1547 4794 38922 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 3 | 1547 4795 39448 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 3 | 1547 4796 39974 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 3 | 1547 4797 40500 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 3 | 1547 4798 41026 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 3 | 1547 4799 41552 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 3 | 1547 4800 42078 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 3 | 1547 4801 42604 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 3 | 1547 4802 43130 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 3 | 1547 4803 43656 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 3 | 1547 4804 44182 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 3 | 1547 4805 44708 | 5000 3 333 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 4 | 1547 4806 45234 | 5000 4 365 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 4 | 1547 4807 45760 | 5000 4 365 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 4 | 1547 4808 46286 | 5000 4 365 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 4 | 1547 4809 46812 | 5000 4 365 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 4 | 1547 4810 47338 | 5000 4 365 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 5 | 1547 4811 47864 | 5000 5 383 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 5 | 1547 4812 48390 | 5000 5 383 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 5 | 1547 4813 48916 | 5000 5 383 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 5 | 1547 4814 49442 | 5000 5 383 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 5 | 1547 4815 49968 | 5000 5 383 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 5 | 1547 4816 50494 | 5000 5 383 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 5 | 1547 4817 51020 | 5000 5 383 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 6 | 1547 4818 51546 | 5000 6 394 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 6 | 1547 4819 52072 | 5000 6 394 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 6 | 1547 4820 52598 | 5000 6 394 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 6 | 1547 4821 53124 | 5000 6 394 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 6 | 1547 4822 53650 | 5000 6 394 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 6 | 1547 4823 54176 | 5000 6 394 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 6 | 1547 4824 54702 | 5000 6 394 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 7 | 1547 4825 55228 | 5000 7 400 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 7 | 1547 4826 55754 | 5000 7 400 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 7 | 1547 4827 56280 | 5000 7 400 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 7 | 1547 4828 56806 | 5000 7 400 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 7 | 1547 4829 57332 | 5000 7 400 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 8 | 1547 4830 57858 | 5000 8 405 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 8 | 1547 4831 58384 | 5000 8 405 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 8 | 1547 4832 58910 | 5000 8 405 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 8 | 1547 4833 59436 | 5000 8 405 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 8 | 1547 4834 59962 | 5000 8 405 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 8 | 1547 4835 60488 | 5000 8 405 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 9 | 1547 4836 61014 | 5000 9 408 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 9 | 1547 4837 61540 | 5000 9 408 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 9 | 1547 4838 62066 | 5000 9 408 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 9 | 1547 4839 62592 | 5000 9 408 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 9 | 1547 4840 63118 | 5000 9 408 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 10 | 1547 4841 63644 | 5000 10 409 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 10 | 1547 4842 64170 | 5000 10 409 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 10 | 1547 4843 64696 | 5000 10 409 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 10 | 1547 4844 65222 | 5000 10 409 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 10 | 1547 4845 65748 | 5000 10 409 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 10 | 1547 4846 66274 | 5000 10 409 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 10 | 1547 4847 66800 | 5000 10 409 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 11 | 1547 4848 67326 | 5000 11 410 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 11 | 1547 4849 67852 | 5000 11 410 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 11 | 1547 4850 68378 | 5000 11 410 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 11 | 1547 4851 68904 | 5000 11 410 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s c =============================================================================== c | 11 | 1547 4852 69430 | 5000 11 410 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 12 | 1547 4853 69956 | 5000 12 410 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 12 | 1547 4854 70482 | 5000 12 410 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 12 | 1547 4855 71008 | 5000 12 410 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 12 | 1547 4856 71534 | 5000 12 410 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 12 | 1547 4857 72060 | 5000 12 410 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 12 | 1547 4858 72586 | 5000 12 410 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 12 | 1547 4859 73112 | 5000 12 410 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 13 | 1547 4860 73638 | 5000 13 410 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 13 | 1547 4861 74164 | 5000 13 410 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 14 | 1547 4862 74690 | 5000 14 410 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 16 | 1547 4863 75216 | 5000 16 409 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s c =============================================================================== c | 16 | 1547 4864 75742 | 5000 16 409 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 17 | 1547 4865 76268 | 5000 17 409 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 17 | 1547 4866 76794 | 5000 17 409 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 22 | 1547 4867 77320 | 5000 22 407 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 22 | 1547 4868 77846 | 5000 22 407 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s c =============================================================================== c | 22 | 1547 4869 78372 | 5000 22 407 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.05884 s Remaining CPU time: 178.941 s c =============================================================================== c | 22 | 1547 4870 78898 | 5000 22 407 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 22 | 1547 4871 79424 | 5000 22 407 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 22 | 1547 4872 79950 | 5000 22 407 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 31 | 1547 4873 80476 | 5000 31 403 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.13283 s Remaining CPU time: 178.867 s c =============================================================================== c | 37 | 1547 4874 81002 | 5000 37 401 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 43 | 1547 4875 81528 | 5000 43 400 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.17582 s Remaining CPU time: 178.824 s c =============================================================================== c | 65 | 1547 4876 82054 | 5000 65 397 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 89 | 1547 4877 82580 | 5000 89 395 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 104 | 1547 4878 83106 | 5000 104 394 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s c =============================================================================== c | 121 | 1547 4879 83632 | 5000 121 393 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.27181 s Remaining CPU time: 178.728 s c =============================================================================== c | 144 | 1547 4880 84158 | 5000 144 392 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 161 | 1547 4881 84684 | 5000 161 391 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 184 | 1547 4882 85210 | 5000 184 390 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.34879 s Remaining CPU time: 178.651 s c =============================================================================== c | 218 | 1547 4883 85736 | 5000 218 390 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.38179 s Remaining CPU time: 178.618 s c =============================================================================== c | 271 | 1547 4884 86262 | 5000 271 388 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 279 | 1547 4885 86788 | 5000 279 388 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.42878 s Remaining CPU time: 178.571 s c =============================================================================== c | 303 | 1547 4886 87314 | 5000 303 388 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.47378 s Remaining CPU time: 178.526 s c =============================================================================== c | 386 | 1547 4887 87840 | 5000 386 386 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.49877 s Remaining CPU time: 178.501 s c =============================================================================== c | 402 | 1547 4888 88366 | 5000 402 386 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.54177 s Remaining CPU time: 178.458 s c =============================================================================== c | 475 | 1547 4889 88892 | 5000 475 385 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 483 | 1547 4890 89418 | 5000 483 385 | 0.000 % | c | 583 | 1547 4890 89418 | 5500 583 383 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 629 | 1547 4891 89944 | 5000 629 383 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.68374 s Remaining CPU time: 178.316 s c =============================================================================== c | 693 | 1547 4892 90470 | 5000 693 382 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.71474 s Remaining CPU time: 178.285 s c =============================================================================== c | 727 | 1547 4893 90996 | 5000 727 382 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.73874 s Remaining CPU time: 178.261 s c =============================================================================== c | 744 | 1547 4894 91522 | 5000 744 381 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.76773 s Remaining CPU time: 178.232 s c =============================================================================== c | 768 | 1547 4895 92048 | 5000 768 381 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 773 | 1547 4896 92574 | 5000 773 381 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 858 | 1547 4897 93100 | 5000 858 380 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s c =============================================================================== c | 865 | 1547 4898 93626 | 5000 865 380 | 0.000 % | c | 965 | 1547 4898 93626 | 5500 965 379 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 994 | 1547 4899 94152 | 5000 994 378 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.9757 s Remaining CPU time: 178.024 s c =============================================================================== c | 1038 | 1547 4900 94678 | 5000 1038 378 | 0.000 % | c | 1139 | 1547 4900 94678 | 5500 1139 377 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 2.04369 s Remaining CPU time: 177.956 s c =============================================================================== c | 1141 | 1547 4901 95204 | 5000 1141 377 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 2.07168 s Remaining CPU time: 177.928 s c =============================================================================== c | 1156 | 1547 4902 95730 | 5000 1156 377 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 2.10068 s Remaining CPU time: 177.899 s c =============================================================================== c | 1183 | 1547 4903 96256 | 5000 1183 376 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.12768 s Remaining CPU time: 177.872 s c =============================================================================== c | 1193 | 1547 4904 96782 | 5000 1193 376 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 1254 | 1547 4905 97308 | 5000 1254 376 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.20666 s Remaining CPU time: 177.793 s c =============================================================================== c | 1279 | 1547 4906 97834 | 5000 1279 375 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 2.23766 s Remaining CPU time: 177.762 s c =============================================================================== c | 1303 | 1547 4907 98360 | 5000 1303 375 | 0.000 % | c | 1403 | 1547 4907 98360 | 5500 1403 374 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.34564 s Remaining CPU time: 177.654 s c =============================================================================== c | 1543 | 1547 4908 98886 | 5000 1543 372 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 2.39963 s Remaining CPU time: 177.6 s c =============================================================================== c | 1617 | 1547 4909 99412 | 5000 1617 372 | 0.000 % | c | 1717 | 1547 4909 99412 | 5500 1717 371 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.53161 s Remaining CPU time: 177.468 s c =============================================================================== c | 1830 | 1547 4910 99938 | 5000 1830 370 | 0.000 % | c | 1930 | 1547 4910 99938 | 5500 1930 369 | 0.000 % | c | 2080 | 1547 4910 99938 | 6050 2080 368 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.74458 s Remaining CPU time: 177.255 s c =============================================================================== c | 2204 | 1547 4911 100464 | 5000 2204 368 | 0.000 % | c | 2305 | 1547 4911 100464 | 5500 2305 367 | 0.000 % | c | 2455 | 1547 4911 100464 | 6050 2455 366 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 2.89356 s Remaining CPU time: 177.106 s c =============================================================================== c | 2457 | 1547 4912 100990 | 5000 2457 366 | 0.000 % | c | 2557 | 1547 4912 100990 | 5500 2557 366 | 0.000 % | c | 2707 | 1547 4912 100990 | 6050 2707 365 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 3.04354 s Remaining CPU time: 176.956 s c =============================================================================== c | 2707 | 1547 4913 101516 | 5000 2707 365 | 0.000 % | c | 2808 | 1547 4913 101516 | 5500 2808 365 | 0.000 % | c | 2958 | 1547 4913 101516 | 6050 2958 364 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 3.23251 s Remaining CPU time: 176.767 s c =============================================================================== c | 3013 | 1547 4914 102042 | 5000 3013 364 | 0.000 % | c | 3113 | 1547 4914 102042 | 5500 3113 364 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 3.35149 s Remaining CPU time: 176.649 s c =============================================================================== c | 3217 | 1547 4915 102568 | 5000 3217 363 | 0.000 % | c | 3317 | 1547 4915 102568 | 5500 3317 363 | 0.000 % | c | 3467 | 1547 4915 102568 | 6050 3467 362 | 0.000 % | c | 3692 | 1547 4915 102568 | 6655 3692 362 | 0.000 % | c | 4029 | 1547 4915 102568 | 7320 4029 361 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 3.79642 s Remaining CPU time: 176.204 s c =============================================================================== c | 4291 | 1547 4916 103094 | 5000 4291 360 | 0.000 % | c | 4391 | 1547 4916 103094 | 5500 4391 360 | 0.000 % | c | 4542 | 1547 4916 103094 | 6050 4542 360 | 0.000 % | c | 4767 | 1547 4916 103094 | 6655 4767 359 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 4.15137 s Remaining CPU time: 175.849 s c =============================================================================== c | 5038 | 1547 4917 103620 | 5000 5038 359 | 0.000 % | c | 5139 | 1547 4917 103620 | 5500 2620 351 | 0.000 % | c | 5289 | 1547 4917 103620 | 6050 2770 351 | 0.000 % | c | 5514 | 1547 4917 103620 | 6655 2995 351 | 0.000 % | c | 5851 | 1547 4917 103620 | 7320 3332 351 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 4.51831 s Remaining CPU time: 175.482 s c =============================================================================== c | 5899 | 1547 4918 104146 | 5000 3380 351 | 0.000 % | c | 5999 | 1547 4918 104146 | 5500 3480 351 | 0.000 % | c | 6150 | 1547 4918 104146 | 6050 3631 351 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 4.68429 s Remaining CPU time: 175.316 s c =============================================================================== c | 6210 | 1547 4919 104672 | 5000 3691 351 | 0.000 % | c | 6310 | 1547 4919 104672 | 5500 3791 351 | 0.000 % | c | 6461 | 1547 4919 104672 | 6050 3942 350 | 0.000 % | c | 6686 | 1547 4919 104672 | 6655 4167 350 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 5.01324 s Remaining CPU time: 174.987 s c =============================================================================== c | 7003 | 1547 4920 105198 | 5000 4484 350 | 0.000 % | c | 7103 | 1547 4920 105198 | 5500 4584 350 | 0.000 % | c | 7255 | 1547 4920 105198 | 6050 4736 350 | 0.000 % | c | 7480 | 1547 4920 105198 | 6655 4961 350 | 0.000 % | c | 7818 | 1547 4920 105198 | 7320 5299 350 | 0.000 % | c | 8324 | 1547 4920 105198 | 8052 5805 349 | 0.000 % | c | 9084 | 1547 4920 105198 | 8857 6565 349 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 6.02408 s Remaining CPU time: 173.976 s c =============================================================================== c | 9453 | 1547 4921 105724 | 5000 6934 349 | 0.000 % | c | 9553 | 1547 4921 105724 | 5500 3567 346 | 0.000 % | c | 9703 | 1547 4921 105724 | 6050 3717 346 | 0.000 % | c | 9928 | 1547 4921 105724 | 6655 3942 346 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 6.34703 s Remaining CPU time: 173.653 s c =============================================================================== c | 10030 | 1547 4922 106250 | 5000 4044 346 | 0.000 % | c | 10130 | 1547 4922 106250 | 5500 4144 346 | 0.000 % | c | 10280 | 1547 4922 106250 | 6050 4294 346 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 6.598 s Remaining CPU time: 173.402 s c =============================================================================== c | 10378 | 1547 4923 106776 | 5000 4392 346 | 0.000 % | c | 10479 | 1547 4923 106776 | 5500 4493 346 | 0.000 % | c | 10629 | 1547 4923 106776 | 6050 4643 346 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 6.78797 s Remaining CPU time: 173.212 s c =============================================================================== c | 10658 | 1547 4924 107302 | 5000 4672 346 | 0.000 % | c | 10758 | 1547 4924 107302 | 5500 4772 346 | 0.000 % | c | 10908 | 1547 4924 107302 | 6050 4922 346 | 0.000 % | c | 11133 | 1547 4924 107302 | 6655 5147 346 | 0.000 % | c | 11471 | 1547 4924 107302 | 7320 5485 345 | 0.000 % | c | 11977 | 1547 4924 107302 | 8052 5991 345 | 0.000 % | c | 12736 | 1547 4924 107302 | 8857 6750 345 | 0.000 % | c | 13875 | 1547 4924 107302 | 9743 7889 344 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 8.38972 s Remaining CPU time: 171.61 s c =============================================================================== c | 14418 | 1547 4925 107828 | 5000 8432 344 | 0.000 % | c | 14518 | 1547 4925 107828 | 5500 4316 342 | 0.000 % | c | 14668 | 1547 4925 107828 | 6050 4466 342 | 0.000 % | c | 14893 | 1547 4925 107828 | 6655 4691 342 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 8.82166 s Remaining CPU time: 171.178 s c =============================================================================== c | 15216 | 1547 4926 108354 | 5000 5014 342 | 0.000 % | c | 15316 | 1547 4926 108354 | 5500 2607 342 | 0.000 % | c | 15466 | 1547 4926 108354 | 6050 2757 342 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 9.03862 s Remaining CPU time: 170.961 s c =============================================================================== c | 15585 | 1547 4927 108880 | 5000 2876 342 | 0.000 % | c | 15685 | 1547 4927 108880 | 5500 2976 342 | 0.000 % | c | 15836 | 1547 4927 108880 | 6050 3127 342 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 9.2126 s Remaining CPU time: 170.787 s c =============================================================================== c | 15840 | 1547 4928 109406 | 5000 3131 342 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 9.26459 s Remaining CPU time: 170.735 s c =============================================================================== c | 15909 | 1547 4929 109932 | 5000 3200 341 | 0.000 % | c | 16009 | 1547 4929 109932 | 5500 3300 341 | 0.000 % | c | 16159 | 1547 4929 109932 | 6050 3450 341 | 0.000 % | c | 16384 | 1547 4929 109932 | 6655 3675 341 | 0.000 % | c | 16721 | 1547 4929 109932 | 7320 4012 340 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 9.79851 s Remaining CPU time: 170.201 s c =============================================================================== c | 16896 | 1547 4930 110458 | 5000 4187 340 | 0.000 % | c | 16997 | 1547 4930 110458 | 5500 4288 340 | 0.000 % | c | 17147 | 1547 4930 110458 | 6050 4438 340 | 0.000 % | c | 17372 | 1547 4930 110458 | 6655 4663 340 | 0.000 % | c | 17709 | 1547 4930 110458 | 7320 5000 340 | 0.000 % | c | 18215 | 1547 4930 110458 | 8052 5506 339 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 10.7004 s Remaining CPU time: 169.3 s c =============================================================================== c | 18805 | 1547 4931 110984 | 5000 6096 339 | 0.000 % | c | 18905 | 1547 4931 110984 | 5500 3148 336 | 0.000 % | c | 19056 | 1547 4931 110984 | 6050 3299 336 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 10.9433 s Remaining CPU time: 169.057 s c =============================================================================== c | 19251 | 1547 4932 111510 | 5000 3494 336 | 0.000 % | c | 19351 | 1547 4932 111510 | 5500 3594 336 | 0.000 % | c | 19502 | 1547 4932 111510 | 6050 3745 336 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 11.1503 s Remaining CPU time: 168.85 s c =============================================================================== c | 19622 | 1547 4933 112036 | 5000 3865 336 | 0.000 % | c | 19722 | 1547 4933 112036 | 5500 3965 336 | 0.000 % | c | 19872 | 1547 4933 112036 | 6050 4115 336 | 0.000 % | c | 20097 | 1547 4933 112036 | 6655 4340 336 | 0.000 % | c | 20435 | 1547 4933 112036 | 7320 4678 336 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 11.7482 s Remaining CPU time: 168.252 s c =============================================================================== c | 20876 | 1547 4934 112562 | 5000 5119 335 | 0.000 % | c | 20977 | 1547 4934 112562 | 5500 2661 334 | 0.000 % | c | 21127 | 1547 4934 112562 | 6050 2811 334 | 0.000 % | c | 21352 | 1547 4934 112562 | 6655 3036 334 | 0.000 % | c | 21689 | 1547 4934 112562 | 7320 3373 333 | 0.000 % | c | 22196 | 1547 4934 112562 | 8052 3880 333 | 0.000 % | c | 22955 | 1547 4934 112562 | 8857 4639 333 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 12.906 s Remaining CPU time: 167.094 s c =============================================================================== c | 23780 | 1547 4935 113088 | 5000 5464 333 | 0.000 % | c | 23880 | 1547 4935 113088 | 5500 2832 332 | 0.000 % | c | 24031 | 1547 4935 113088 | 6050 2983 332 | 0.000 % | c | 24256 | 1547 4935 113088 | 6655 3208 332 | 0.000 % | c | 24593 | 1547 4935 113088 | 7320 3545 332 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 13.377 s Remaining CPU time: 166.623 s c =============================================================================== c | 24605 | 1547 4936 113614 | 5000 3557 332 | 0.000 % | c | 24706 | 1547 4936 113614 | 5500 3658 331 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 13.5089 s Remaining CPU time: 166.491 s c =============================================================================== c | 24847 | 1547 4937 114140 | 5000 3799 331 | 0.000 % | c | 24947 | 1547 4937 114140 | 5500 3899 331 | 0.000 % | c | 25097 | 1547 4937 114140 | 6050 4049 331 | 0.000 % | c | 25323 | 1547 4937 114140 | 6655 4275 331 | 0.000 % | c | 25660 | 1547 4937 114140 | 7320 4612 331 | 0.000 % | c | 26166 | 1547 4937 114140 | 8052 5118 331 | 0.000 % | c | 26925 | 1547 4937 114140 | 8857 5877 331 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 14.7318 s Remaining CPU time: 165.268 s c =============================================================================== c | 28007 | 1547 4938 114666 | 5000 6959 330 | 0.000 % | c | 28107 | 1547 4938 114666 | 5500 3580 329 | 0.000 % | c | 28257 | 1547 4938 114666 | 6050 3730 329 | 0.000 % | c | 28483 | 1547 4938 114666 | 6655 3956 329 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 15.0907 s Remaining CPU time: 164.909 s c =============================================================================== c | 28598 | 1547 4939 115192 | 5000 4071 329 | 0.000 % | c | 28698 | 1547 4939 115192 | 5500 4171 329 | 0.000 % | c | 28848 | 1547 4939 115192 | 6050 4321 329 | 0.000 % | c | 29073 | 1547 4939 115192 | 6655 4546 329 | 0.000 % | c | 29410 | 1547 4939 115192 | 7320 4883 329 | 0.000 % | c | 29916 | 1547 4939 115192 | 8052 5389 328 | 0.000 % | c | 30675 | 1547 4939 115192 | 8857 6148 328 | 0.000 % | c | 31814 | 1547 4939 115192 | 9743 7287 328 | 0.000 % | c | 33522 | 1547 4939 115192 | 10717 8995 328 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 17.2494 s Remaining CPU time: 162.751 s c =============================================================================== c | 33663 | 1547 4940 115718 | 5000 9136 328 | 0.000 % | c | 33763 | 1547 4940 115718 | 5500 4668 327 | 0.000 % | c | 33913 | 1547 4940 115718 | 6050 4818 327 | 0.000 % | c | 34138 | 1547 4940 115718 | 6655 5043 327 | 0.000 % | c | 34475 | 1547 4940 115718 | 7320 5380 327 | 0.000 % | c | 34981 | 1547 4940 115718 | 8052 5886 327 | 0.000 % | c | 35741 | 1547 4940 115718 | 8857 6646 327 | 0.000 % | c | 36881 | 1547 4940 115718 | 9743 7786 327 | 0.000 % | c | 38589 | 1547 4940 115718 | 10717 9494 327 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 19.521 s Remaining CPU time: 160.479 s c =============================================================================== c | 39047 | 1547 4941 116244 | 5000 9952 327 | 0.000 % | c | 39147 | 1547 4941 116244 | 5500 5076 326 | 0.000 % | c | 39297 | 1547 4941 116244 | 6050 5226 326 | 0.000 % | c | 39523 | 1547 4941 116244 | 6655 5452 326 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 19.89 s Remaining CPU time: 160.11 s c =============================================================================== c | 39684 | 1547 4942 116770 | 5000 5613 326 | 0.000 % | c | 39784 | 1547 4942 116770 | 5500 2907 326 | 0.000 % | c | 39935 | 1547 4942 116770 | 6050 3058 326 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 20.1219 s Remaining CPU time: 159.878 s c =============================================================================== c | 40091 | 1547 4943 117296 | 5000 3214 326 | 0.000 % | c | 40191 | 1547 4943 117296 | 5500 3314 325 | 0.000 % | c | 40342 | 1547 4943 117296 | 6050 3465 325 | 0.000 % | c | 40567 | 1547 4943 117296 | 6655 3690 325 | 0.000 % | c | 40904 | 1547 4943 117296 | 7320 4027 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 20.5339 s Remaining CPU time: 159.466 s c =============================================================================== c | 41010 | 1547 4944 117822 | 5000 4133 325 | 0.000 % | c | 41110 | 1547 4944 117822 | 5500 4233 325 | 0.000 % | c | 41261 | 1547 4944 117822 | 6050 4384 325 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 20.7268 s Remaining CPU time: 159.273 s c =============================================================================== c | 41385 | 1547 4945 118348 | 5000 4508 325 | 0.000 % | c | 41485 | 1547 4945 118348 | 5500 4608 325 | 0.000 % | c | 41635 | 1547 4945 118348 | 6050 4758 325 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 20.9318 s Remaining CPU time: 159.068 s c =============================================================================== c | 41786 | 1547 4946 118874 | 5000 4909 324 | 0.000 % | c | 41886 | 1547 4946 118874 | 5500 5009 324 | 0.000 % | c | 42036 | 1547 4946 118874 | 6050 5159 324 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 21.0938 s Remaining CPU time: 158.906 s c =============================================================================== c | 42084 | 1547 4947 119400 | 5000 5207 324 | 0.000 % | c | 42184 | 1547 4947 119400 | 5500 2704 322 | 0.000 % | c | 42335 | 1547 4947 119400 | 6050 2855 322 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 21.2588 s Remaining CPU time: 158.741 s c =============================================================================== c | 42347 | 1547 4948 119926 | 5000 2867 322 | 0.000 % | c | 42447 | 1547 4948 119926 | 5500 2967 322 | 0.000 % | c | 42597 | 1547 4948 119926 | 6050 3117 322 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 21.4207 s Remaining CPU time: 158.579 s c =============================================================================== c | 42643 | 1547 4949 120452 | 5000 3163 321 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 21.4557 s Remaining CPU time: 158.544 s c =============================================================================== c | 42651 | 1547 4950 120978 | 5000 3171 321 | 0.000 % | c | 42752 | 1547 4950 120978 | 5500 3272 321 | 0.000 % | c | 42902 | 1547 4950 120978 | 6050 3422 321 | 0.000 % | c | 43127 | 1547 4950 120978 | 6655 3647 321 | 0.000 % | c | 43464 | 1547 4950 120978 | 7320 3984 320 | 0.000 % | c | 43970 | 1547 4950 120978 | 8052 4490 320 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 22.2316 s Remaining CPU time: 157.768 s c =============================================================================== c | 44290 | 1547 4951 121504 | 5000 4810 320 | 0.000 % | c | 44390 | 1547 4951 121504 | 5500 4910 319 | 0.000 % | c | 44540 | 1547 4951 121504 | 6050 5060 319 | 0.000 % | c | 44765 | 1547 4951 121504 | 6655 5285 319 | 0.000 % | c | 45103 | 1547 4951 121504 | 7320 5623 319 | 0.000 % | c | 45609 | 1547 4951 121504 | 8052 6129 319 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 22.9715 s Remaining CPU time: 157.028 s c =============================================================================== c | 45745 | 1547 4952 122030 | 5000 6265 318 | 0.000 % | c | 45845 | 1547 4952 122030 | 5500 3233 315 | 0.000 % | c | 45996 | 1547 4952 122030 | 6050 3384 315 | 0.000 % | c | 46221 | 1547 4952 122030 | 6655 3609 315 | 0.000 % | c | 46558 | 1547 4952 122030 | 7320 3946 315 | 0.000 % | c | 47064 | 1547 4952 122030 | 8052 4452 315 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 23.7454 s Remaining CPU time: 156.255 s c =============================================================================== c | 47259 | 1547 4953 122556 | 5000 4647 315 | 0.000 % | c | 47359 | 1547 4953 122556 | 5500 4747 315 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 23.8764 s Remaining CPU time: 156.124 s c =============================================================================== c | 47439 | 1547 4954 123082 | 5000 4827 315 | 0.000 % | c | 47540 | 1547 4954 123082 | 5500 4928 315 | 0.000 % | c | 47691 | 1547 4954 123082 | 6050 5079 315 | 0.000 % | c | 47916 | 1547 4954 123082 | 6655 5304 315 | 0.000 % | c | 48254 | 1547 4954 123082 | 7320 5642 314 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 24.4333 s Remaining CPU time: 155.567 s c =============================================================================== c | 48314 | 1547 4955 123608 | 5000 5702 314 | 0.000 % | c | 48414 | 1547 4955 123608 | 5500 2951 313 | 0.000 % | c | 48565 | 1547 4955 123608 | 6050 3102 313 | 0.000 % | c | 48790 | 1547 4955 123608 | 6655 3327 313 | 0.000 % | c | 49127 | 1547 4955 123608 | 7320 3664 313 | 0.000 % | c | 49633 | 1547 4955 123608 | 8052 4170 312 | 0.000 % | c | 50392 | 1547 4955 123608 | 8857 4929 312 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 25.9531 s Remaining CPU time: 154.047 s c =============================================================================== c | 51478 | 1547 4956 124134 | 5000 6015 312 | 0.000 % | c | 51578 | 1547 4956 124134 | 5500 3108 311 | 0.000 % | c | 51728 | 1547 4956 124134 | 6050 3258 311 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 26.18 s Remaining CPU time: 153.82 s c =============================================================================== c | 51914 | 1547 4957 124660 | 5000 3444 311 | 0.000 % | c | 52014 | 1547 4957 124660 | 5500 3544 311 | 0.000 % | c | 52165 | 1547 4957 124660 | 6050 3695 310 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 26.374 s Remaining CPU time: 153.626 s c =============================================================================== c | 52210 | 1547 4958 125186 | 5000 3740 310 | 0.000 % | c | 52310 | 1547 4958 125186 | 5500 3840 310 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 26.524 s Remaining CPU time: 153.476 s c =============================================================================== c | 52450 | 1547 4959 125712 | 5000 3980 310 | 0.000 % | c | 52550 | 1547 4959 125712 | 5500 4080 310 | 0.000 % | c | 52700 | 1547 4959 125712 | 6050 4230 310 | 0.000 % | c | 52925 | 1547 4959 125712 | 6655 4455 310 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 26.9089 s Remaining CPU time: 153.091 s c =============================================================================== c | 53186 | 1547 4960 126238 | 5000 4716 310 | 0.000 % | c | 53286 | 1547 4960 126238 | 5500 4816 310 | 0.000 % | c | 53436 | 1547 4960 126238 | 6050 4966 310 | 0.000 % | c | 53661 | 1547 4960 126238 | 6655 5191 309 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 27.2719 s Remaining CPU time: 152.728 s c =============================================================================== c | 53735 | 1547 4961 126764 | 5000 5265 309 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 27.3418 s Remaining CPU time: 152.658 s c =============================================================================== c | 53764 | 1547 4962 127290 | 5000 2662 308 | 0.000 % | c | 53865 | 1547 4962 127290 | 5500 2763 308 | 0.000 % | c | 54015 | 1547 4962 127290 | 6050 2913 307 | 0.000 % | c | 54241 | 1547 4962 127290 | 6655 3139 307 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 27.7498 s Remaining CPU time: 152.25 s c =============================================================================== c | 54364 | 1547 4963 127816 | 5000 3262 307 | 0.000 % | c | 54465 | 1547 4963 127816 | 5500 3363 307 | 0.000 % | c | 54617 | 1547 4963 127816 | 6050 3515 307 | 0.000 % | c | 54842 | 1547 4963 127816 | 6655 3740 306 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 28.1167 s Remaining CPU time: 151.883 s c =============================================================================== c | 55002 | 1547 4964 128342 | 5000 3900 306 | 0.000 % | c | 55102 | 1547 4964 128342 | 5500 4000 306 | 0.000 % | c | 55253 | 1547 4964 128342 | 6050 4151 306 | 0.000 % | c | 55478 | 1547 4964 128342 | 6655 4376 306 | 0.000 % | c | 55815 | 1547 4964 128342 | 7320 4713 306 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 28.6037 s Remaining CPU time: 151.396 s c =============================================================================== c | 55965 | 1547 4965 128868 | 5000 4863 305 | 0.000 % | c | 56067 | 1547 4965 128868 | 5500 4965 305 | 0.000 % | c | 56217 | 1547 4965 128868 | 6050 5115 305 | 0.000 % | c | 56442 | 1547 4965 128868 | 6655 5340 305 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 28.9486 s Remaining CPU time: 151.051 s c =============================================================================== c | 56587 | 1547 4966 129394 | 5000 5485 305 | 0.000 % | c | 56687 | 1547 4966 129394 | 5500 2843 302 | 0.000 % | c | 56837 | 1547 4966 129394 | 6050 2993 302 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 29.1816 s Remaining CPU time: 150.818 s c =============================================================================== c | 56952 | 1547 4967 129920 | 5000 3108 302 | 0.000 % | c | 57052 | 1547 4967 129920 | 5500 3208 302 | 0.000 % | c | 57203 | 1547 4967 129920 | 6050 3359 301 | 0.000 % | c | 57428 | 1547 4967 129920 | 6655 3584 301 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 29.5205 s Remaining CPU time: 150.479 s c =============================================================================== c | 57523 | 1547 4968 130446 | 5000 3679 301 | 0.000 % | c | 57623 | 1547 4968 130446 | 5500 3779 301 | 0.000 % | c | 57774 | 1547 4968 130446 | 6050 3930 301 | 0.000 % | c | 57999 | 1547 4968 130446 | 6655 4155 301 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 29.9035 s Remaining CPU time: 150.097 s c =============================================================================== c | 58228 | 1547 4969 130972 | 5000 4384 301 | 0.000 % | c | 58328 | 1547 4969 130972 | 5500 4484 301 | 0.000 % | c | 58478 | 1547 4969 130972 | 6050 4634 300 | 0.000 % | c | 58704 | 1547 4969 130972 | 6655 4860 300 | 0.000 % | c | 59041 | 1547 4969 130972 | 7320 5197 300 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 30.3864 s Remaining CPU time: 149.614 s c =============================================================================== c | 59197 | 1547 4970 131498 | 5000 5353 300 | 0.000 % | c | 59297 | 1547 4970 131498 | 5500 2777 298 | 0.000 % | c | 59447 | 1547 4970 131498 | 6050 2927 298 | 0.000 % | c | 59672 | 1547 4970 131498 | 6655 3152 297 | 0.000 % | c | 60009 | 1547 4970 131498 | 7320 3489 297 | 0.000 % | c | 60515 | 1547 4970 131498 | 8052 3995 297 | 0.000 % | c | 61275 | 1547 4970 131498 | 8857 4755 297 | 0.000 % | c | 62414 | 1547 4970 131498 | 9743 5894 297 | 0.000 % | c | 64122 | 1547 4970 131498 | 10717 7602 297 | 0.000 % | c | 66684 | 1547 4970 131498 | 11789 10164 297 | 0.000 % | c | 70528 | 1547 4970 131498 | 12968 7945 297 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 36.1745 s Remaining CPU time: 143.826 s c =============================================================================== c | 71490 | 1547 4971 132024 | 5000 8907 297 | 0.000 % | c | 71590 | 1547 4971 132024 | 5500 4554 296 | 0.000 % | c | 71740 | 1547 4971 132024 | 6050 4704 296 | 0.000 % | c | 71965 | 1547 4971 132024 | 6655 4929 296 | 0.000 % | c | 72302 | 1547 4971 132024 | 7320 5266 296 | 0.000 % | c | 72808 | 1547 4971 132024 | 8052 5772 296 | 0.000 % | c | 73567 | 1547 4971 132024 | 8857 6531 296 | 0.000 % | c | 74706 | 1547 4971 132024 | 9743 7670 296 | 0.000 % | c | 76414 | 1547 4971 132024 | 10717 9378 296 | 0.000 % | c | 78976 | 1547 4971 132024 | 11789 6406 296 | 0.000 % | c | 82821 | 1547 4971 132024 | 12968 10251 296 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 42.0056 s Remaining CPU time: 137.994 s c =============================================================================== c | 83450 | 1547 4972 132550 | 5000 10880 296 | 0.000 % | c | 83551 | 1547 4972 132550 | 5500 2821 296 | 0.000 % | c | 83701 | 1547 4972 132550 | 6050 2971 296 | 0.000 % | c | 83926 | 1547 4972 132550 | 6655 3196 296 | 0.000 % | c | 84264 | 1547 4972 132550 | 7320 3534 295 | 0.000 % | c | 84770 | 1547 4972 132550 | 8052 4040 295 | 0.000 % | c | 85529 | 1547 4972 132550 | 8857 4799 295 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 43.2764 s Remaining CPU time: 136.724 s c =============================================================================== c | 85740 | 1547 4973 133076 | 5000 5010 295 | 0.000 % | c | 85841 | 1547 4973 133076 | 5500 2606 295 | 0.000 % | c | 85991 | 1547 4973 133076 | 6050 2756 295 | 0.000 % | c | 86217 | 1547 4973 133076 | 6655 2982 294 | 0.000 % | c | 86554 | 1547 4973 133076 | 7320 3319 294 | 0.000 % | c | 87061 | 1547 4973 133076 | 8052 3826 294 | 0.000 % | c | 87820 | 1547 4973 133076 | 8857 4585 294 | 0.000 % | c | 88959 | 1547 4973 133076 | 9743 5724 294 | 0.000 % | c | 90667 | 1547 4973 133076 | 10717 7432 294 | 0.000 % | c | 93229 | 1547 4973 133076 | 11789 9994 294 | 0.000 % | c | 97073 | 1547 4973 133076 | 12968 7777 293 | 0.000 % | c | 102840 | 1547 4973 133076 | 14265 6884 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 53.1559 s Remaining CPU time: 126.844 s c =============================================================================== c | 107496 | 1547 4974 133602 | 5000 11540 294 | 0.000 % | c | 107596 | 1547 4974 133602 | 5500 2985 294 | 0.000 % | c | 107746 | 1547 4974 133602 | 6050 3135 294 | 0.000 % | c | 107972 | 1547 4974 133602 | 6655 3361 294 | 0.000 % | c | 108309 | 1547 4974 133602 | 7320 3698 293 | 0.000 % | c | 108816 | 1547 4974 133602 | 8052 4205 293 | 0.000 % | c | 109575 | 1547 4974 133602 | 8857 4964 293 | 0.000 % | c | 110715 | 1547 4974 133602 | 9743 6104 293 | 0.000 % | c | 112423 | 1547 4974 133602 | 10717 7812 293 | 0.000 % | c | 114985 | 1547 4974 133602 | 11789 10374 293 | 0.000 % | c | 118829 | 1547 4974 133602 | 12968 8154 292 | 0.000 % | c | 124596 | 1547 4974 133602 | 14265 7286 292 | 0.000 % | c | 133245 | 1547 4974 133602 | 15692 8631 293 | 0.000 % | c | 146219 | 1547 4974 133602 | 17261 13599 293 | 0.000 % | c | 165681 | 1547 4974 133602 | 18987 15442 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 85.364 s Remaining CPU time: 94.636 s c =============================================================================== c | 169147 | 1547 4975 134128 | 5000 18908 293 | 0.000 % | c | 169247 | 1547 4975 134128 | 5500 4827 293 | 0.000 % | c | 169397 | 1547 4975 134128 | 6050 4977 293 | 0.000 % | c | 169622 | 1547 4975 134128 | 6655 5202 293 | 0.000 % | c | 169959 | 1547 4975 134128 | 7320 5539 292 | 0.000 % | c | 170465 | 1547 4975 134128 | 8052 6045 292 | 0.000 % | c | 171225 | 1547 4975 134128 | 8857 6805 292 | 0.000 % | c | 172364 | 1547 4975 134128 | 9743 7944 292 | 0.000 % | c | 174073 | 1547 4975 134128 | 10717 9653 292 | 0.000 % | c | 176636 | 1547 4975 134128 | 11789 6703 291 | 0.000 % | c | 180482 | 1547 4975 134128 | 12968 10549 291 | 0.000 % | c | 186248 | 1547 4975 134128 | 14265 9662 292 | 0.000 % | c | 194897 | 1547 4975 134128 | 15692 11002 292 | 0.000 % | c | 207871 | 1547 4975 134128 | 17261 15975 292 | 0.000 % | c | 227332 | 1547 4975 134128 | 18987 9050 292 | 0.000 % | c | 256524 | 1547 4975 134128 | 20886 18893 292 | 0.000 % |