c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4747 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1547 | c | Number Clauses: 4732 | 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 4732 9982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1547 4733 10504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1547 4734 11026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1547 4735 11548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1547 4736 12070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1547 4737 12592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1547 4738 13114 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1547 4739 13636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1547 4740 14158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1547 4741 14680 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1547 4742 15202 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1547 4743 15724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1547 4744 16246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1547 4745 16768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1547 4746 17290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1547 4747 17812 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1547 4748 18334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1547 4749 18856 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1547 4750 19378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1547 4751 19900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1547 4752 20422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1547 4753 20944 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1547 4754 21466 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1547 4755 21988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1547 4756 22510 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1547 4757 23032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1547 4758 23554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1547 4759 24076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1547 4760 24598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1547 4761 25120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1547 4762 25642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1547 4763 26164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1547 4764 26686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 1547 4765 27208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 1547 4766 27730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 1547 4767 28252 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 1547 4768 28774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 1547 4769 29296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 1547 4770 29818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 1547 4771 30340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1547 4772 30862 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 1 | 1547 4773 31384 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 1 | 1547 4774 31906 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1547 4775 32428 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1547 4776 32950 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 1 | 1547 4777 33472 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 1 | 1547 4778 33994 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 1547 4779 34516 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1 | 1547 4780 35038 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 1 | 1547 4781 35560 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 1 | 1547 4782 36082 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 1 | 1547 4783 36604 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1 | 1547 4784 37126 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 1 | 1547 4785 37648 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 1 | 1547 4786 38170 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 1 | 1547 4787 38692 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 1 | 1547 4788 39214 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 1 | 1547 4789 39736 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 1 | 1547 4790 40258 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 1 | 1547 4791 40780 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 1 | 1547 4792 41302 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 1 | 1547 4793 41824 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 1 | 1547 4794 42346 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 1 | 1547 4795 42868 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 1 | 1547 4796 43390 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 1 | 1547 4797 43912 | 5000 1 484 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 2 | 1547 4798 44434 | 5000 2 471 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 2 | 1547 4799 44956 | 5000 2 471 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 3 | 1547 4800 45478 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 3 | 1547 4801 46000 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 3 | 1547 4802 46522 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 3 | 1547 4803 47044 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 3 | 1547 4804 47566 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 4 | 1547 4805 48088 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 4 | 1547 4806 48610 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 4 | 1547 4807 49132 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 4 | 1547 4808 49654 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 4 | 1547 4809 50176 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 5 | 1547 4810 50698 | 5000 5 369 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 5 | 1547 4811 51220 | 5000 5 369 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 6 | 1547 4812 51742 | 5000 6 382 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 6 | 1547 4813 52264 | 5000 6 382 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 10 | 1547 4814 52786 | 5000 10 406 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 10 | 1547 4815 53308 | 5000 10 406 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 10 | 1547 4816 53830 | 5000 10 406 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 10 | 1547 4817 54352 | 5000 10 406 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 12 | 1547 4818 54874 | 5000 12 411 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 12 | 1547 4819 55396 | 5000 12 411 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 12 | 1547 4820 55918 | 5000 12 411 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 13 | 1547 4821 56440 | 5000 13 413 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 13 | 1547 4822 56962 | 5000 13 413 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 14 | 1547 4823 57484 | 5000 14 414 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 14 | 1547 4824 58006 | 5000 14 414 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 14 | 1547 4825 58528 | 5000 14 414 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 14 | 1547 4826 59050 | 5000 14 414 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 14 | 1547 4827 59572 | 5000 14 414 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 14 | 1547 4828 60094 | 5000 14 414 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 14 | 1547 4829 60616 | 5000 14 414 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 17 | 1547 4830 61138 | 5000 17 416 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 19 | 1547 4831 61660 | 5000 19 417 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 21 | 1547 4832 62182 | 5000 21 418 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 37 | 1547 4833 62704 | 5000 37 409 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 38 | 1547 4834 63226 | 5000 38 409 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 40 | 1547 4835 63748 | 5000 40 410 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 51 | 1547 4836 64270 | 5000 51 412 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 56 | 1547 4837 64792 | 5000 56 412 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 57 | 1547 4838 65314 | 5000 57 413 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 59 | 1547 4839 65836 | 5000 59 413 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 64 | 1547 4840 66358 | 5000 64 413 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 67 | 1547 4841 66880 | 5000 67 413 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 70 | 1547 4842 67402 | 5000 70 413 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 96 | 1547 4843 67924 | 5000 96 413 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 108 | 1547 4844 68446 | 5000 108 413 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 116 | 1547 4845 68968 | 5000 116 413 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s c =============================================================================== c | 130 | 1547 4846 69490 | 5000 130 412 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 143 | 1547 4847 70012 | 5000 143 412 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 152 | 1547 4848 70534 | 5000 152 412 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 163 | 1547 4849 71056 | 5000 163 412 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 177 | 1547 4850 71578 | 5000 177 411 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 195 | 1547 4851 72100 | 5000 195 410 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 204 | 1547 4852 72622 | 5000 204 410 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 218 | 1547 4853 73144 | 5000 218 410 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 230 | 1547 4854 73666 | 5000 230 409 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 246 | 1547 4855 74188 | 5000 246 409 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 258 | 1547 4856 74710 | 5000 258 408 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 335 | 1547 4857 75232 | 5000 335 406 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.02884 s Remaining CPU time: 178.971 s c =============================================================================== c | 349 | 1547 4858 75754 | 5000 349 406 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s c =============================================================================== c | 350 | 1547 4859 76276 | 5000 350 406 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 385 | 1547 4860 76798 | 5000 385 405 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 396 | 1547 4861 77320 | 5000 396 405 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 408 | 1547 4862 77842 | 5000 408 404 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 414 | 1547 4863 78364 | 5000 414 404 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.14983 s Remaining CPU time: 178.85 s c =============================================================================== c | 423 | 1547 4864 78886 | 5000 423 404 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.16782 s Remaining CPU time: 178.832 s c =============================================================================== c | 431 | 1547 4865 79408 | 5000 431 404 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 431 | 1547 4866 79930 | 5000 431 404 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s c =============================================================================== c | 436 | 1547 4867 80452 | 5000 436 403 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 436 | 1547 4868 80974 | 5000 436 403 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.24781 s Remaining CPU time: 178.752 s c =============================================================================== c | 469 | 1547 4869 81496 | 5000 469 402 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 474 | 1547 4870 82018 | 5000 474 402 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 486 | 1547 4871 82540 | 5000 486 402 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 492 | 1547 4872 83062 | 5000 492 401 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.3298 s Remaining CPU time: 178.67 s c =============================================================================== c | 504 | 1547 4873 83584 | 5000 504 401 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 511 | 1547 4874 84106 | 5000 511 401 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s c =============================================================================== c | 516 | 1547 4875 84628 | 5000 516 401 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 535 | 1547 4876 85150 | 5000 535 400 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s c =============================================================================== c | 586 | 1547 4877 85672 | 5000 586 398 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.46378 s Remaining CPU time: 178.536 s c =============================================================================== c | 670 | 1547 4878 86194 | 5000 670 396 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.49377 s Remaining CPU time: 178.506 s c =============================================================================== c | 707 | 1547 4879 86716 | 5000 707 395 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 772 | 1547 4880 87238 | 5000 772 393 | 0.000 % | c | 872 | 1547 4880 87238 | 5500 872 391 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.61675 s Remaining CPU time: 178.383 s c =============================================================================== c | 960 | 1547 4881 87760 | 5000 960 390 | 0.000 % | c | 1060 | 1547 4881 87760 | 5500 1060 388 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 1116 | 1547 4882 88282 | 5000 1116 387 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.71974 s Remaining CPU time: 178.28 s c =============================================================================== c | 1139 | 1547 4883 88804 | 5000 1139 387 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s c =============================================================================== c | 1177 | 1547 4884 89326 | 5000 1177 387 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.78773 s Remaining CPU time: 178.212 s c =============================================================================== c | 1240 | 1547 4885 89848 | 5000 1240 386 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.83272 s Remaining CPU time: 178.167 s c =============================================================================== c | 1332 | 1547 4886 90370 | 5000 1332 385 | 0.000 % | c | 1434 | 1547 4886 90370 | 5500 1434 384 | 0.000 % | c | 1585 | 1547 4886 90370 | 6050 1585 382 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.9597 s Remaining CPU time: 178.04 s c =============================================================================== c | 1608 | 1547 4887 90892 | 5000 1608 382 | 0.000 % | c | 1708 | 1547 4887 90892 | 5500 1708 381 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 2.06069 s Remaining CPU time: 177.939 s c =============================================================================== c | 1836 | 1547 4888 91414 | 5000 1836 380 | 0.000 % | c | 1936 | 1547 4888 91414 | 5500 1936 380 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 2.12468 s Remaining CPU time: 177.875 s c =============================================================================== c | 1936 | 1547 4889 91936 | 5000 1936 380 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 2029 | 1547 4890 92458 | 5000 2029 379 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s c =============================================================================== c | 2105 | 1547 4891 92980 | 5000 2105 379 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 2.25866 s Remaining CPU time: 177.741 s c =============================================================================== c | 2201 | 1547 4892 93502 | 5000 2201 378 | 0.000 % | c | 2301 | 1547 4892 93502 | 5500 2301 377 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 2380 | 1547 4893 94024 | 5000 2380 377 | 0.000 % | c | 2480 | 1547 4893 94024 | 5500 2480 376 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.43463 s Remaining CPU time: 177.565 s c =============================================================================== c | 2570 | 1547 4894 94546 | 5000 2570 376 | 0.000 % | c | 2670 | 1547 4894 94546 | 5500 2670 375 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.51162 s Remaining CPU time: 177.488 s c =============================================================================== c | 2703 | 1547 4895 95068 | 5000 2703 375 | 0.000 % | c | 2804 | 1547 4895 95068 | 5500 2804 374 | 0.000 % | c | 2955 | 1547 4895 95068 | 6050 2955 374 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 2.6616 s Remaining CPU time: 177.338 s c =============================================================================== c | 3049 | 1547 4896 95590 | 5000 3049 373 | 0.000 % | c | 3150 | 1547 4896 95590 | 5500 3150 373 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.76558 s Remaining CPU time: 177.234 s c =============================================================================== c | 3285 | 1547 4897 96112 | 5000 3285 372 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 3345 | 1547 4898 96634 | 5000 3345 372 | 0.000 % | c | 3445 | 1547 4898 96634 | 5500 3445 372 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.89756 s Remaining CPU time: 177.102 s c =============================================================================== c | 3514 | 1547 4899 97156 | 5000 3514 371 | 0.000 % | c | 3614 | 1547 4899 97156 | 5500 3614 371 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.98955 s Remaining CPU time: 177.01 s c =============================================================================== c | 3706 | 1547 4900 97678 | 5000 3706 371 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 3.03554 s Remaining CPU time: 176.964 s c =============================================================================== c | 3790 | 1547 4901 98200 | 5000 3790 370 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 3.07953 s Remaining CPU time: 176.92 s c =============================================================================== c | 3875 | 1547 4902 98722 | 5000 3875 370 | 0.000 % | c | 3976 | 1547 4902 98722 | 5500 3976 369 | 0.000 % | c | 4126 | 1547 4902 98722 | 6050 4126 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 3.20951 s Remaining CPU time: 176.79 s c =============================================================================== c | 4133 | 1547 4903 99244 | 5000 4133 369 | 0.000 % | c | 4234 | 1547 4903 99244 | 5500 4234 368 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 3.3015 s Remaining CPU time: 176.699 s c =============================================================================== c | 4299 | 1547 4904 99766 | 5000 4299 368 | 0.000 % | c | 4400 | 1547 4904 99766 | 5500 4400 368 | 0.000 % | c | 4550 | 1547 4904 99766 | 6050 4550 367 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 3.49347 s Remaining CPU time: 176.507 s c =============================================================================== c | 4681 | 1547 4905 100288 | 5000 4681 367 | 0.000 % | c | 4782 | 1547 4905 100288 | 5500 4782 366 | 0.000 % | c | 4932 | 1547 4905 100288 | 6050 4932 366 | 0.000 % | c | 5157 | 1547 4905 100288 | 6655 5157 365 | 0.000 % | c | 5494 | 1547 4905 100288 | 7320 5494 364 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 3.9414 s Remaining CPU time: 176.059 s c =============================================================================== c | 5616 | 1547 4906 100810 | 5000 5616 364 | 0.000 % | c | 5716 | 1547 4906 100810 | 5500 2908 353 | 0.000 % | c | 5866 | 1547 4906 100810 | 6050 3058 353 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 4.17936 s Remaining CPU time: 175.821 s c =============================================================================== c | 6051 | 1547 4907 101332 | 5000 3243 353 | 0.000 % | c | 6152 | 1547 4907 101332 | 5500 3344 353 | 0.000 % | c | 6302 | 1547 4907 101332 | 6050 3494 352 | 0.000 % | c | 6527 | 1547 4907 101332 | 6655 3719 352 | 0.000 % | c | 6864 | 1547 4907 101332 | 7320 4056 352 | 0.000 % | c | 7371 | 1547 4907 101332 | 8052 4563 351 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 4.79827 s Remaining CPU time: 175.202 s c =============================================================================== c | 7639 | 1547 4908 101854 | 5000 4831 351 | 0.000 % | c | 7739 | 1547 4908 101854 | 5500 4931 351 | 0.000 % | c | 7889 | 1547 4908 101854 | 6050 5081 351 | 0.000 % | c | 8116 | 1547 4908 101854 | 6655 5308 351 | 0.000 % | c | 8453 | 1547 4908 101854 | 7320 5645 351 | 0.000 % | c | 8959 | 1547 4908 101854 | 8052 6151 350 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 5.62415 s Remaining CPU time: 174.376 s c =============================================================================== c | 9469 | 1547 4909 102376 | 5000 6661 350 | 0.000 % | c | 9569 | 1547 4909 102376 | 5500 3431 347 | 0.000 % | c | 9719 | 1547 4909 102376 | 6050 3581 347 | 0.000 % | c | 9945 | 1547 4909 102376 | 6655 3807 347 | 0.000 % | c | 10282 | 1547 4909 102376 | 7320 4144 347 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 6.21905 s Remaining CPU time: 173.781 s c =============================================================================== c | 10653 | 1547 4910 102898 | 5000 4515 347 | 0.000 % | c | 10753 | 1547 4910 102898 | 5500 4615 347 | 0.000 % | c | 10904 | 1547 4910 102898 | 6050 4766 347 | 0.000 % | c | 11129 | 1547 4910 102898 | 6655 4991 347 | 0.000 % | c | 11466 | 1547 4910 102898 | 7320 5328 347 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 6.74697 s Remaining CPU time: 173.253 s c =============================================================================== c | 11659 | 1547 4911 103420 | 5000 5521 347 | 0.000 % | c | 11760 | 1547 4911 103420 | 5500 2862 346 | 0.000 % | c | 11910 | 1547 4911 103420 | 6050 3012 346 | 0.000 % | c | 12135 | 1547 4911 103420 | 6655 3237 345 | 0.000 % | c | 12473 | 1547 4911 103420 | 7320 3575 345 | 0.000 % | c | 12979 | 1547 4911 103420 | 8052 4081 345 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 7.48686 s Remaining CPU time: 172.513 s c =============================================================================== c | 13284 | 1547 4912 103942 | 5000 4386 345 | 0.000 % | c | 13384 | 1547 4912 103942 | 5500 4486 345 | 0.000 % | c | 13534 | 1547 4912 103942 | 6050 4636 345 | 0.000 % | c | 13759 | 1547 4912 103942 | 6655 4861 345 | 0.000 % | c | 14096 | 1547 4912 103942 | 7320 5198 345 | 0.000 % | c | 14602 | 1547 4912 103942 | 8052 5704 345 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 8.42072 s Remaining CPU time: 171.579 s c =============================================================================== c | 15184 | 1547 4913 104464 | 5000 6286 344 | 0.000 % | c | 15284 | 1547 4913 104464 | 5500 3243 343 | 0.000 % | c | 15435 | 1547 4913 104464 | 6050 3394 343 | 0.000 % | c | 15660 | 1547 4913 104464 | 6655 3619 343 | 0.000 % | c | 15997 | 1547 4913 104464 | 7320 3956 343 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 8.96064 s Remaining CPU time: 171.039 s c =============================================================================== c | 16261 | 1547 4914 104986 | 5000 4220 343 | 0.000 % | c | 16361 | 1547 4914 104986 | 5500 4320 343 | 0.000 % | c | 16511 | 1547 4914 104986 | 6050 4470 343 | 0.000 % | c | 16736 | 1547 4914 104986 | 6655 4695 343 | 0.000 % | c | 17073 | 1547 4914 104986 | 7320 5032 343 | 0.000 % | c | 17579 | 1547 4914 104986 | 8052 5538 342 | 0.000 % | c | 18338 | 1547 4914 104986 | 8857 6297 342 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 10.2134 s Remaining CPU time: 169.787 s c =============================================================================== c | 19430 | 1547 4915 105508 | 5000 7389 342 | 0.000 % | c | 19530 | 1547 4915 105508 | 5500 3795 341 | 0.000 % | c | 19680 | 1547 4915 105508 | 6050 3945 341 | 0.000 % | c | 19905 | 1547 4915 105508 | 6655 4170 341 | 0.000 % | c | 20243 | 1547 4915 105508 | 7320 4508 341 | 0.000 % | c | 20749 | 1547 4915 105508 | 8052 5014 341 | 0.000 % | c | 21508 | 1547 4915 105508 | 8857 5773 341 | 0.000 % | c | 22647 | 1547 4915 105508 | 9743 6912 341 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 11.6482 s Remaining CPU time: 168.352 s c =============================================================================== c | 23051 | 1547 4916 106030 | 5000 7316 341 | 0.000 % | c | 23151 | 1547 4916 106030 | 5500 3758 340 | 0.000 % | c | 23301 | 1547 4916 106030 | 6050 3908 340 | 0.000 % | c | 23526 | 1547 4916 106030 | 6655 4133 340 | 0.000 % | c | 23863 | 1547 4916 106030 | 7320 4470 340 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 12.0802 s Remaining CPU time: 167.92 s c =============================================================================== c | 24068 | 1547 4917 106552 | 5000 4675 340 | 0.000 % | c | 24168 | 1547 4917 106552 | 5500 4775 340 | 0.000 % | c | 24319 | 1547 4917 106552 | 6050 4926 340 | 0.000 % | c | 24545 | 1547 4917 106552 | 6655 5152 340 | 0.000 % | c | 24882 | 1547 4917 106552 | 7320 5489 340 | 0.000 % | c | 25388 | 1547 4917 106552 | 8052 5995 339 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 12.7731 s Remaining CPU time: 167.227 s c =============================================================================== c | 25641 | 1547 4918 107074 | 5000 6248 339 | 0.000 % | c | 25741 | 1547 4918 107074 | 5500 3224 338 | 0.000 % | c | 25891 | 1547 4918 107074 | 6050 3374 338 | 0.000 % | c | 26116 | 1547 4918 107074 | 6655 3599 338 | 0.000 % | c | 26453 | 1547 4918 107074 | 7320 3936 338 | 0.000 % | c | 26959 | 1547 4918 107074 | 8052 4442 338 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 13.397 s Remaining CPU time: 166.603 s c =============================================================================== c | 27012 | 1547 4919 107596 | 5000 4495 338 | 0.000 % | c | 27112 | 1547 4919 107596 | 5500 4595 338 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 13.5039 s Remaining CPU time: 166.496 s c =============================================================================== c | 27214 | 1547 4920 108118 | 5000 4697 338 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 13.5569 s Remaining CPU time: 166.443 s c =============================================================================== c | 27311 | 1547 4921 108640 | 5000 4794 338 | 0.000 % | c | 27411 | 1547 4921 108640 | 5500 4894 338 | 0.000 % | c | 27561 | 1547 4921 108640 | 6050 5044 338 | 0.000 % | c | 27787 | 1547 4921 108640 | 6655 5270 338 | 0.000 % | c | 28124 | 1547 4921 108640 | 7320 5607 337 | 0.000 % | c | 28630 | 1547 4921 108640 | 8052 6113 337 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 14.2448 s Remaining CPU time: 165.755 s c =============================================================================== c | 29073 | 1547 4922 109162 | 5000 6556 337 | 0.000 % | c | 29173 | 1547 4922 109162 | 5500 3378 335 | 0.000 % | c | 29323 | 1547 4922 109162 | 6050 3528 335 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 14.4418 s Remaining CPU time: 165.558 s c =============================================================================== c | 29359 | 1547 4923 109684 | 5000 3564 335 | 0.000 % | c | 29459 | 1547 4923 109684 | 5500 3664 335 | 0.000 % | c | 29609 | 1547 4923 109684 | 6050 3814 335 | 0.000 % | c | 29834 | 1547 4923 109684 | 6655 4039 334 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 14.6848 s Remaining CPU time: 165.315 s c =============================================================================== c | 29860 | 1547 4924 110206 | 5000 4065 334 | 0.000 % | c | 29960 | 1547 4924 110206 | 5500 4165 334 | 0.000 % | c | 30111 | 1547 4924 110206 | 6050 4316 334 | 0.000 % | c | 30336 | 1547 4924 110206 | 6655 4541 334 | 0.000 % | c | 30673 | 1547 4924 110206 | 7320 4878 334 | 0.000 % | c | 31179 | 1547 4924 110206 | 8052 5384 334 | 0.000 % | c | 31938 | 1547 4924 110206 | 8857 6143 333 | 0.000 % | c | 33078 | 1547 4924 110206 | 9743 7283 333 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 16.4855 s Remaining CPU time: 163.515 s c =============================================================================== c | 34631 | 1547 4925 110728 | 5000 8836 333 | 0.000 % | c | 34731 | 1547 4925 110728 | 5500 4518 331 | 0.000 % | c | 34881 | 1547 4925 110728 | 6050 4668 331 | 0.000 % | c | 35106 | 1547 4925 110728 | 6655 4893 331 | 0.000 % | c | 35443 | 1547 4925 110728 | 7320 5230 331 | 0.000 % | c | 35949 | 1547 4925 110728 | 8052 5736 331 | 0.000 % | c | 36708 | 1547 4925 110728 | 8857 6495 331 | 0.000 % | c | 37847 | 1547 4925 110728 | 9743 7634 331 | 0.000 % | c | 39556 | 1547 4925 110728 | 10717 9343 330 | 0.000 % | c | 42118 | 1547 4925 110728 | 11789 6367 330 | 0.000 % | c | 45962 | 1547 4925 110728 | 12968 10211 330 | 0.000 % | c | 51728 | 1547 4925 110728 | 14265 9318 330 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 24.6183 s Remaining CPU time: 155.382 s c =============================================================================== c | 53867 | 1547 4926 111250 | 5000 11457 330 | 0.000 % | c | 53967 | 1547 4926 111250 | 5500 2965 330 | 0.000 % | c | 54117 | 1547 4926 111250 | 6050 3115 330 | 0.000 % | c | 54342 | 1547 4926 111250 | 6655 3340 330 | 0.000 % | c | 54679 | 1547 4926 111250 | 7320 3677 330 | 0.000 % | c | 55187 | 1547 4926 111250 | 8052 4185 330 | 0.000 % | c | 55946 | 1547 4926 111250 | 8857 4944 330 | 0.000 % | c | 57086 | 1547 4926 111250 | 9743 6084 330 | 0.000 % | c | 58794 | 1547 4926 111250 | 10717 7792 330 | 0.000 % | c | 61356 | 1547 4926 111250 | 11789 10354 329 | 0.000 % | c | 65201 | 1547 4926 111250 | 12968 8111 329 | 0.000 % | c | 70967 | 1547 4926 111250 | 14265 7201 330 | 0.000 % | c | 79616 | 1547 4926 111250 | 15692 8544 329 | 0.000 % | c | 92590 | 1547 4926 111250 | 17261 13481 330 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 48.1827 s Remaining CPU time: 131.817 s c =============================================================================== c | 105760 | 1547 4927 111772 | 5000 8970 329 | 0.000 % | c | 105860 | 1547 4927 111772 | 5500 4585 329 | 0.000 % | c | 106010 | 1547 4927 111772 | 6050 4735 329 | 0.000 % | c | 106236 | 1547 4927 111772 | 6655 4961 329 | 0.000 % | c | 106573 | 1547 4927 111772 | 7320 5298 329 | 0.000 % | c | 107079 | 1547 4927 111772 | 8052 5804 329 | 0.000 % | c | 107838 | 1547 4927 111772 | 8857 6563 329 | 0.000 % | c | 108978 | 1547 4927 111772 | 9743 7703 329 | 0.000 % | c | 110686 | 1547 4927 111772 | 10717 9411 329 | 0.000 % | c | 113249 | 1547 4927 111772 | 11789 6431 328 | 0.000 % | c | 117093 | 1547 4927 111772 | 12968 10275 328 | 0.000 % | c | 122860 | 1547 4927 111772 | 14265 9370 328 | 0.000 % | c | 131510 | 1547 4927 111772 | 15692 10707 329 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 61.2637 s Remaining CPU time: 118.736 s c =============================================================================== c | 137331 | 1547 4928 112294 | 5000 8492 328 | 0.000 % | c | 137432 | 1547 4928 112294 | 5500 4347 328 | 0.000 % | c | 137582 | 1547 4928 112294 | 6050 4497 328 | 0.000 % | c | 137807 | 1547 4928 112294 | 6655 4722 328 | 0.000 % | c | 138144 | 1547 4928 112294 | 7320 5059 328 | 0.000 % | c | 138650 | 1547 4928 112294 | 8052 5565 328 | 0.000 % | c | 139409 | 1547 4928 112294 | 8857 6324 328 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 62.7485 s Remaining CPU time: 117.252 s c =============================================================================== c | 139986 | 1547 4929 112816 | 5000 6901 328 | 0.000 % | c | 140086 | 1547 4929 112816 | 5500 3551 327 | 0.000 % | c | 140236 | 1547 4929 112816 | 6050 3701 327 | 0.000 % | c | 140461 | 1547 4929 112816 | 6655 3926 327 | 0.000 % | c | 140798 | 1547 4929 112816 | 7320 4263 327 | 0.000 % | c | 141304 | 1547 4929 112816 | 8052 4769 327 | 0.000 % | c | 142064 | 1547 4929 112816 | 8857 5529 327 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 64.0753 s Remaining CPU time: 115.925 s c =============================================================================== c | 143039 | 1547 4930 113338 | 5000 6504 327 | 0.000 % | c | 143139 | 1547 4930 113338 | 5500 3352 326 | 0.000 % | c | 143289 | 1547 4930 113338 | 6050 3502 326 | 0.000 % | c | 143514 | 1547 4930 113338 | 6655 3727 326 | 0.000 % | c | 143851 | 1547 4930 113338 | 7320 4064 326 | 0.000 % | c | 144357 | 1547 4930 113338 | 8052 4570 326 | 0.000 % | c | 145116 | 1547 4930 113338 | 8857 5329 326 | 0.000 % | c | 146255 | 1547 4930 113338 | 9743 6468 326 | 0.000 % | c | 147963 | 1547 4930 113338 | 10717 8176 326 | 0.000 % | c | 150525 | 1547 4930 113338 | 11789 10738 326 | 0.000 % | c | 154369 | 1547 4930 113338 | 12968 8515 325 | 0.000 % | c | 160135 | 1547 4930 113338 | 14265 7603 325 | 0.000 % | c | 168784 | 1547 4930 113338 | 15692 8922 326 | 0.000 % | c | 181759 | 1547 4930 113338 | 17261 13872 325 | 0.000 % | c | 201221 | 1547 4930 113338 | 18987 15720 326 | 0.000 % | c | 230413 | 1547 4930 113338 | 20886 15874 326 | 0.000 % | c | 274202 | 1547 4930 113338 | 22974 16629 326 | 0.000 % |