c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4759 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1551 | c | Number Clauses: 4750 | 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 | 1551 4750 10020 | 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 | 1551 4751 10540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1551 4752 11060 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1551 4753 11580 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1551 4754 12100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1551 4755 12620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1551 4756 13140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1551 4757 13660 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1551 4758 14180 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1551 4759 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1551 4760 15220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 1551 4761 15740 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1 | 1551 4762 16260 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 1551 4763 16780 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1 | 1551 4764 17300 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 1 | 1551 4765 17820 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 1 | 1551 4766 18340 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 1 | 1551 4767 18860 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 1551 4768 19380 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 1551 4769 19900 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1551 4770 20420 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 1 | 1551 4771 20940 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1551 4772 21460 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1551 4773 21980 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 1551 4774 22500 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1551 4775 23020 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1551 4776 23540 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 1551 4777 24060 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1551 4778 24580 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 1551 4779 25100 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1551 4780 25620 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1551 4781 26140 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1551 4782 26660 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1551 4783 27180 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1551 4784 27700 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1551 4785 28220 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 1551 4786 28740 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1 | 1551 4787 29260 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 1551 4788 29780 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1551 4789 30300 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1551 4790 30820 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1551 4791 31340 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1551 4792 31860 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1551 4793 32380 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 1 | 1551 4794 32900 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 1 | 1551 4795 33420 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 1551 4796 33940 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 1 | 1551 4797 34460 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1 | 1551 4798 34980 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 1 | 1551 4799 35500 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 1 | 1551 4800 36020 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 1 | 1551 4801 36540 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 1 | 1551 4802 37060 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 1 | 1551 4803 37580 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 1 | 1551 4804 38100 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 1 | 1551 4805 38620 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 1 | 1551 4806 39140 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 1 | 1551 4807 39660 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 1 | 1551 4808 40180 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 1 | 1551 4809 40700 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 1 | 1551 4810 41220 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 1 | 1551 4811 41740 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 1 | 1551 4812 42260 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 1 | 1551 4813 42780 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 1 | 1551 4814 43300 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 1 | 1551 4815 43820 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 1 | 1551 4816 44340 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 1 | 1551 4817 44860 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 1 | 1551 4818 45380 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 1 | 1551 4819 45900 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 1 | 1551 4820 46420 | 5000 1 511 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 2 | 1551 4821 46940 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 2 | 1551 4822 47460 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 2 | 1551 4823 47980 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 2 | 1551 4824 48500 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 2 | 1551 4825 49020 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 2 | 1551 4826 49540 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 2 | 1551 4827 50060 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 2 | 1551 4828 50580 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s c =============================================================================== c | 2 | 1551 4829 51100 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 2 | 1551 4830 51620 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 2 | 1551 4831 52140 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 2 | 1551 4832 52660 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 2 | 1551 4833 53180 | 5000 2 480 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 3 | 1551 4834 53700 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 3 | 1551 4835 54220 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 3 | 1551 4836 54740 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 3 | 1551 4837 55260 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 3 | 1551 4838 55780 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 3 | 1551 4839 56300 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 3 | 1551 4840 56820 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 3 | 1551 4841 57340 | 5000 3 466 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 4 | 1551 4842 57860 | 5000 4 457 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 4 | 1551 4843 58380 | 5000 4 457 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 4 | 1551 4844 58900 | 5000 4 457 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 4 | 1551 4845 59420 | 5000 4 457 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 4 | 1551 4846 59940 | 5000 4 457 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 5 | 1551 4847 60460 | 5000 5 450 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 5 | 1551 4848 60980 | 5000 5 450 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 5 | 1551 4849 61500 | 5000 5 450 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 6 | 1551 4850 62020 | 5000 6 446 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 6 | 1551 4851 62540 | 5000 6 446 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 6 | 1551 4852 63060 | 5000 6 446 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 12 | 1551 4853 63580 | 5000 12 432 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 13 | 1551 4854 64100 | 5000 13 431 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 15 | 1551 4855 64620 | 5000 15 429 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 24 | 1551 4856 65140 | 5000 24 424 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 35 | 1551 4857 65660 | 5000 35 421 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 44 | 1551 4858 66180 | 5000 44 420 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 46 | 1551 4859 66700 | 5000 46 419 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 49 | 1551 4860 67220 | 5000 49 419 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s c =============================================================================== c | 52 | 1551 4861 67740 | 5000 52 418 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 56 | 1551 4862 68260 | 5000 56 418 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 59 | 1551 4863 68780 | 5000 59 417 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 61 | 1551 4864 69300 | 5000 61 417 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 73 | 1551 4865 69820 | 5000 73 415 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 87 | 1551 4866 70340 | 5000 87 414 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 88 | 1551 4867 70860 | 5000 88 414 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 89 | 1551 4868 71380 | 5000 89 413 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 91 | 1551 4869 71900 | 5000 91 413 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s c =============================================================================== c | 106 | 1551 4870 72420 | 5000 106 412 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 108 | 1551 4871 72940 | 5000 108 411 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 120 | 1551 4872 73460 | 5000 120 410 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 122 | 1551 4873 73980 | 5000 122 410 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 125 | 1551 4874 74500 | 5000 125 410 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 128 | 1551 4875 75020 | 5000 128 409 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 142 | 1551 4876 75540 | 5000 142 408 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 143 | 1551 4877 76060 | 5000 143 408 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 144 | 1551 4878 76580 | 5000 144 408 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 146 | 1551 4879 77100 | 5000 146 408 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.960853 s Remaining CPU time: 179.039 s c =============================================================================== c | 147 | 1551 4880 77620 | 5000 147 408 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 147 | 1551 4881 78140 | 5000 147 408 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 152 | 1551 4882 78660 | 5000 152 407 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 152 | 1551 4883 79180 | 5000 152 407 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.03684 s Remaining CPU time: 178.963 s c =============================================================================== c | 209 | 1551 4884 79700 | 5000 209 402 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 218 | 1551 4885 80220 | 5000 218 401 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 228 | 1551 4886 80740 | 5000 228 401 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 238 | 1551 4887 81260 | 5000 238 400 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.10883 s Remaining CPU time: 178.891 s c =============================================================================== c | 259 | 1551 4888 81780 | 5000 259 399 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s c =============================================================================== c | 268 | 1551 4889 82300 | 5000 268 398 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 300 | 1551 4890 82820 | 5000 300 397 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.16982 s Remaining CPU time: 178.83 s c =============================================================================== c | 302 | 1551 4891 83340 | 5000 302 396 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 326 | 1551 4892 83860 | 5000 326 395 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 336 | 1551 4893 84380 | 5000 336 395 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s c =============================================================================== c | 343 | 1551 4894 84900 | 5000 343 394 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.25381 s Remaining CPU time: 178.746 s c =============================================================================== c | 368 | 1551 4895 85420 | 5000 368 393 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 419 | 1551 4896 85940 | 5000 419 391 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 425 | 1551 4897 86460 | 5000 425 391 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 431 | 1551 4898 86980 | 5000 431 391 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 437 | 1551 4899 87500 | 5000 437 390 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 448 | 1551 4900 88020 | 5000 448 390 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.38779 s Remaining CPU time: 178.612 s c =============================================================================== c | 497 | 1551 4901 88540 | 5000 497 388 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.40779 s Remaining CPU time: 178.592 s c =============================================================================== c | 507 | 1551 4902 89060 | 5000 507 388 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.42378 s Remaining CPU time: 178.576 s c =============================================================================== c | 508 | 1551 4903 89580 | 5000 508 388 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 523 | 1551 4904 90100 | 5000 523 387 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.46578 s Remaining CPU time: 178.534 s c =============================================================================== c | 530 | 1551 4905 90620 | 5000 530 387 | 0.000 % | c | 630 | 1551 4905 90620 | 5500 630 384 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 731 | 1551 4906 91140 | 5000 731 381 | 0.000 % | c | 831 | 1551 4906 91140 | 5500 831 379 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 890 | 1551 4907 91660 | 5000 890 379 | 0.000 % | c | 990 | 1551 4907 91660 | 5500 990 377 | 0.000 % | c | 1141 | 1551 4907 91660 | 6050 1141 376 | 0.000 % | c | 1366 | 1551 4907 91660 | 6655 1366 374 | 0.000 % | c | 1703 | 1551 4907 91660 | 7320 1703 372 | 0.000 % | c | 2209 | 1551 4907 91660 | 8052 2209 371 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 2573 | 1551 4908 92180 | 5000 2573 370 | 0.000 % | c | 2675 | 1551 4908 92180 | 5500 2675 370 | 0.000 % | c | 2825 | 1551 4908 92180 | 6050 2825 369 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.49162 s Remaining CPU time: 177.508 s c =============================================================================== c | 3031 | 1551 4909 92700 | 5000 3031 369 | 0.000 % | c | 3131 | 1551 4909 92700 | 5500 3131 369 | 0.000 % | c | 3281 | 1551 4909 92700 | 6050 3281 368 | 0.000 % | c | 3506 | 1551 4909 92700 | 6655 3506 368 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.78258 s Remaining CPU time: 177.217 s c =============================================================================== c | 3727 | 1551 4910 93220 | 5000 3727 368 | 0.000 % | c | 3827 | 1551 4910 93220 | 5500 3827 368 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.86856 s Remaining CPU time: 177.131 s c =============================================================================== c | 3912 | 1551 4911 93740 | 5000 3912 367 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 2.89856 s Remaining CPU time: 177.101 s c =============================================================================== c | 3951 | 1551 4912 94260 | 5000 3951 367 | 0.000 % | c | 4051 | 1551 4912 94260 | 5500 4051 367 | 0.000 % | c | 4203 | 1551 4912 94260 | 6050 4203 367 | 0.000 % | c | 4428 | 1551 4912 94260 | 6655 4428 367 | 0.000 % | c | 4765 | 1551 4912 94260 | 7320 4765 366 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 3.33049 s Remaining CPU time: 176.67 s c =============================================================================== c | 5069 | 1551 4913 94780 | 5000 5069 366 | 0.000 % | c | 5169 | 1551 4913 94780 | 5500 2635 362 | 0.000 % | c | 5319 | 1551 4913 94780 | 6050 2785 362 | 0.000 % | c | 5544 | 1551 4913 94780 | 6655 3010 361 | 0.000 % | c | 5881 | 1551 4913 94780 | 7320 3347 361 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 3.79042 s Remaining CPU time: 176.21 s c =============================================================================== c | 6101 | 1551 4914 95300 | 5000 3567 361 | 0.000 % | c | 6202 | 1551 4914 95300 | 5500 3668 361 | 0.000 % | c | 6352 | 1551 4914 95300 | 6050 3818 361 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 3.9504 s Remaining CPU time: 176.05 s c =============================================================================== c | 6436 | 1551 4915 95820 | 5000 3902 361 | 0.000 % | c | 6536 | 1551 4915 95820 | 5500 4002 361 | 0.000 % | c | 6686 | 1551 4915 95820 | 6050 4152 360 | 0.000 % | c | 6911 | 1551 4915 95820 | 6655 4377 360 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 4.23935 s Remaining CPU time: 175.761 s c =============================================================================== c | 7117 | 1551 4916 96340 | 5000 4583 360 | 0.000 % | c | 7217 | 1551 4916 96340 | 5500 4683 360 | 0.000 % | c | 7367 | 1551 4916 96340 | 6050 4833 360 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 4.40833 s Remaining CPU time: 175.592 s c =============================================================================== c | 7455 | 1551 4917 96860 | 5000 4921 360 | 0.000 % | c | 7555 | 1551 4917 96860 | 5500 5021 360 | 0.000 % | c | 7705 | 1551 4917 96860 | 6050 5171 360 | 0.000 % | c | 7930 | 1551 4917 96860 | 6655 5396 359 | 0.000 % | c | 8267 | 1551 4917 96860 | 7320 5733 359 | 0.000 % | c | 8773 | 1551 4917 96860 | 8052 6239 359 | 0.000 % | c | 9532 | 1551 4917 96860 | 8857 6998 358 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 5.58715 s Remaining CPU time: 174.413 s c =============================================================================== c | 10430 | 1551 4918 97380 | 5000 7896 358 | 0.000 % | c | 10530 | 1551 4918 97380 | 5500 4048 355 | 0.000 % | c | 10680 | 1551 4918 97380 | 6050 4198 355 | 0.000 % | c | 10905 | 1551 4918 97380 | 6655 4423 355 | 0.000 % | c | 11243 | 1551 4918 97380 | 7320 4761 355 | 0.000 % | c | 11749 | 1551 4918 97380 | 8052 5267 355 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 6.42302 s Remaining CPU time: 173.577 s c =============================================================================== c | 12475 | 1551 4919 97900 | 5000 5993 355 | 0.000 % | c | 12575 | 1551 4919 97900 | 5500 3097 354 | 0.000 % | c | 12725 | 1551 4919 97900 | 6050 3247 354 | 0.000 % | c | 12950 | 1551 4919 97900 | 6655 3472 354 | 0.000 % | c | 13287 | 1551 4919 97900 | 7320 3809 354 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 6.99194 s Remaining CPU time: 173.008 s c =============================================================================== c | 13736 | 1551 4920 98420 | 5000 4258 354 | 0.000 % | c | 13836 | 1551 4920 98420 | 5500 4358 354 | 0.000 % | c | 13986 | 1551 4920 98420 | 6050 4508 354 | 0.000 % | c | 14212 | 1551 4920 98420 | 6655 4734 354 | 0.000 % | c | 14549 | 1551 4920 98420 | 7320 5071 353 | 0.000 % | c | 15055 | 1551 4920 98420 | 8052 5577 353 | 0.000 % | c | 15815 | 1551 4920 98420 | 8857 6337 353 | 0.000 % | c | 16954 | 1551 4920 98420 | 9743 7476 353 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 8.85165 s Remaining CPU time: 171.148 s c =============================================================================== c | 17816 | 1551 4921 98940 | 5000 8338 353 | 0.000 % | c | 17916 | 1551 4921 98940 | 5500 4269 352 | 0.000 % | c | 18066 | 1551 4921 98940 | 6050 4419 352 | 0.000 % | c | 18291 | 1551 4921 98940 | 6655 4644 352 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 9.14161 s Remaining CPU time: 170.858 s c =============================================================================== c | 18315 | 1551 4922 99460 | 5000 4668 352 | 0.000 % | c | 18415 | 1551 4922 99460 | 5500 4768 352 | 0.000 % | c | 18565 | 1551 4922 99460 | 6050 4918 352 | 0.000 % | c | 18791 | 1551 4922 99460 | 6655 5144 351 | 0.000 % | c | 19128 | 1551 4922 99460 | 7320 5481 351 | 0.000 % | c | 19635 | 1551 4922 99460 | 8052 5988 351 | 0.000 % | c | 20394 | 1551 4922 99460 | 8857 6747 351 | 0.000 % | c | 21533 | 1551 4922 99460 | 9743 7886 351 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 10.8893 s Remaining CPU time: 169.111 s c =============================================================================== c | 22636 | 1551 4923 99980 | 5000 8989 351 | 0.000 % | c | 22736 | 1551 4923 99980 | 5500 4595 350 | 0.000 % | c | 22886 | 1551 4923 99980 | 6050 4745 350 | 0.000 % | c | 23111 | 1551 4923 99980 | 6655 4970 350 | 0.000 % | c | 23448 | 1551 4923 99980 | 7320 5307 350 | 0.000 % | c | 23954 | 1551 4923 99980 | 8052 5813 350 | 0.000 % | c | 24713 | 1551 4923 99980 | 8857 6572 349 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 12.1082 s Remaining CPU time: 167.892 s c =============================================================================== c | 25737 | 1551 4924 100500 | 5000 7596 349 | 0.000 % | c | 25837 | 1551 4924 100500 | 5500 3898 349 | 0.000 % | c | 25987 | 1551 4924 100500 | 6050 4048 349 | 0.000 % | c | 26212 | 1551 4924 100500 | 6655 4273 349 | 0.000 % | c | 26549 | 1551 4924 100500 | 7320 4610 349 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 12.5701 s Remaining CPU time: 167.43 s c =============================================================================== c | 26771 | 1551 4925 101020 | 5000 4832 349 | 0.000 % | c | 26871 | 1551 4925 101020 | 5500 4932 348 | 0.000 % | c | 27021 | 1551 4925 101020 | 6050 5082 348 | 0.000 % | c | 27246 | 1551 4925 101020 | 6655 5307 348 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 12.7921 s Remaining CPU time: 167.208 s c =============================================================================== c | 27257 | 1551 4926 101540 | 5000 5318 348 | 0.000 % | c | 27358 | 1551 4926 101540 | 5500 2760 347 | 0.000 % | c | 27508 | 1551 4926 101540 | 6050 2910 347 | 0.000 % | c | 27733 | 1551 4926 101540 | 6655 3135 347 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 13.081 s Remaining CPU time: 166.919 s c =============================================================================== c | 27819 | 1551 4927 102060 | 5000 3221 347 | 0.000 % | c | 27919 | 1551 4927 102060 | 5500 3321 347 | 0.000 % | c | 28069 | 1551 4927 102060 | 6050 3471 347 | 0.000 % | c | 28294 | 1551 4927 102060 | 6655 3696 347 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 13.366 s Remaining CPU time: 166.634 s c =============================================================================== c | 28428 | 1551 4928 102580 | 5000 3830 347 | 0.000 % | c | 28528 | 1551 4928 102580 | 5500 3930 347 | 0.000 % | c | 28678 | 1551 4928 102580 | 6050 4080 347 | 0.000 % | c | 28903 | 1551 4928 102580 | 6655 4305 346 | 0.000 % | c | 29240 | 1551 4928 102580 | 7320 4642 346 | 0.000 % | c | 29747 | 1551 4928 102580 | 8052 5149 346 | 0.000 % | c | 30507 | 1551 4928 102580 | 8857 5909 346 | 0.000 % | c | 31646 | 1551 4928 102580 | 9743 7048 346 | 0.000 % | c | 33354 | 1551 4928 102580 | 10717 8756 345 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 15.7356 s Remaining CPU time: 164.264 s c =============================================================================== c | 34428 | 1551 4929 103100 | 5000 9830 345 | 0.000 % | c | 34528 | 1551 4929 103100 | 5500 5015 344 | 0.000 % | c | 34678 | 1551 4929 103100 | 6050 5165 344 | 0.000 % | c | 34903 | 1551 4929 103100 | 6655 5390 344 | 0.000 % | c | 35240 | 1551 4929 103100 | 7320 5727 344 | 0.000 % | c | 35746 | 1551 4929 103100 | 8052 6233 344 | 0.000 % | c | 36506 | 1551 4929 103100 | 8857 6993 343 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 16.8884 s Remaining CPU time: 163.112 s c =============================================================================== c | 37053 | 1551 4930 103620 | 5000 7540 343 | 0.000 % | c | 37153 | 1551 4930 103620 | 5500 3870 343 | 0.000 % | c | 37303 | 1551 4930 103620 | 6050 4020 343 | 0.000 % | c | 37529 | 1551 4930 103620 | 6655 4246 343 | 0.000 % | c | 37866 | 1551 4930 103620 | 7320 4583 342 | 0.000 % | c | 38372 | 1551 4930 103620 | 8052 5089 342 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 17.5503 s Remaining CPU time: 162.45 s c =============================================================================== c | 38485 | 1551 4931 104140 | 5000 5202 342 | 0.000 % | c | 38585 | 1551 4931 104140 | 5500 2701 341 | 0.000 % | c | 38735 | 1551 4931 104140 | 6050 2851 341 | 0.000 % | c | 38960 | 1551 4931 104140 | 6655 3076 341 | 0.000 % | c | 39297 | 1551 4931 104140 | 7320 3413 341 | 0.000 % | c | 39803 | 1551 4931 104140 | 8052 3919 341 | 0.000 % | c | 40562 | 1551 4931 104140 | 8857 4678 341 | 0.000 % | c | 41702 | 1551 4931 104140 | 9743 5818 341 | 0.000 % | c | 43410 | 1551 4931 104140 | 10717 7526 341 | 0.000 % | c | 45973 | 1551 4931 104140 | 11789 10089 341 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 21.0248 s Remaining CPU time: 158.975 s c =============================================================================== c | 47390 | 1551 4932 104660 | 5000 11506 341 | 0.000 % | c | 47490 | 1551 4932 104660 | 5500 2977 341 | 0.000 % | c | 47640 | 1551 4932 104660 | 6050 3127 341 | 0.000 % | c | 47865 | 1551 4932 104660 | 6655 3352 341 | 0.000 % | c | 48202 | 1551 4932 104660 | 7320 3689 341 | 0.000 % | c | 48709 | 1551 4932 104660 | 8052 4196 341 | 0.000 % | c | 49468 | 1551 4932 104660 | 8857 4955 340 | 0.000 % | c | 50607 | 1551 4932 104660 | 9743 6094 340 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 23.0565 s Remaining CPU time: 156.944 s c =============================================================================== c | 52091 | 1551 4933 105180 | 5000 7578 340 | 0.000 % | c | 52191 | 1551 4933 105180 | 5500 3889 340 | 0.000 % | c | 52342 | 1551 4933 105180 | 6050 4040 340 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 23.3115 s Remaining CPU time: 156.689 s c =============================================================================== c | 52529 | 1551 4934 105700 | 5000 4227 340 | 0.000 % | c | 52629 | 1551 4934 105700 | 5500 4327 339 | 0.000 % | c | 52779 | 1551 4934 105700 | 6050 4477 339 | 0.000 % | c | 53004 | 1551 4934 105700 | 6655 4702 339 | 0.000 % | c | 53342 | 1551 4934 105700 | 7320 5040 339 | 0.000 % | c | 53848 | 1551 4934 105700 | 8052 5546 339 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 24.0213 s Remaining CPU time: 155.979 s c =============================================================================== c | 53905 | 1551 4935 106220 | 5000 5603 339 | 0.000 % | c | 54006 | 1551 4935 106220 | 5500 2903 338 | 0.000 % | c | 54156 | 1551 4935 106220 | 6050 3053 338 | 0.000 % | c | 54381 | 1551 4935 106220 | 6655 3278 338 | 0.000 % | c | 54718 | 1551 4935 106220 | 7320 3615 338 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 24.6313 s Remaining CPU time: 155.369 s c =============================================================================== c | 55146 | 1551 4936 106740 | 5000 4043 338 | 0.000 % | c | 55246 | 1551 4936 106740 | 5500 4143 338 | 0.000 % | c | 55396 | 1551 4936 106740 | 6050 4293 337 | 0.000 % | c | 55621 | 1551 4936 106740 | 6655 4518 337 | 0.000 % | c | 55958 | 1551 4936 106740 | 7320 4855 337 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 25.1822 s Remaining CPU time: 154.818 s c =============================================================================== c | 56327 | 1551 4937 107260 | 5000 5224 337 | 0.000 % | c | 56428 | 1551 4937 107260 | 5500 2713 336 | 0.000 % | c | 56579 | 1551 4937 107260 | 6050 2864 335 | 0.000 % | c | 56804 | 1551 4937 107260 | 6655 3089 335 | 0.000 % | c | 57141 | 1551 4937 107260 | 7320 3426 335 | 0.000 % | c | 57648 | 1551 4937 107260 | 8052 3933 335 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 25.8761 s Remaining CPU time: 154.124 s c =============================================================================== c | 57844 | 1551 4938 107780 | 5000 4129 335 | 0.000 % | c | 57945 | 1551 4938 107780 | 5500 4230 335 | 0.000 % | c | 58095 | 1551 4938 107780 | 6050 4380 335 | 0.000 % | c | 58320 | 1551 4938 107780 | 6655 4605 335 | 0.000 % | c | 58657 | 1551 4938 107780 | 7320 4942 335 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 26.412 s Remaining CPU time: 153.588 s c =============================================================================== c | 58912 | 1551 4939 108300 | 5000 5197 335 | 0.000 % | c | 59013 | 1551 4939 108300 | 5500 2700 334 | 0.000 % | c | 59165 | 1551 4939 108300 | 6050 2852 334 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 26.6819 s Remaining CPU time: 153.318 s c =============================================================================== c | 59369 | 1551 4940 108820 | 5000 3056 334 | 0.000 % | c | 59469 | 1551 4940 108820 | 5500 3156 333 | 0.000 % | c | 59619 | 1551 4940 108820 | 6050 3306 333 | 0.000 % | c | 59845 | 1551 4940 108820 | 6655 3532 333 | 0.000 % | c | 60183 | 1551 4940 108820 | 7320 3870 333 | 0.000 % | c | 60689 | 1551 4940 108820 | 8052 4376 333 | 0.000 % | c | 61448 | 1551 4940 108820 | 8857 5135 333 | 0.000 % | c | 62589 | 1551 4940 108820 | 9743 6276 333 | 0.000 % | c | 64298 | 1551 4940 108820 | 10717 7985 333 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 28.8906 s Remaining CPU time: 151.109 s c =============================================================================== c | 64566 | 1551 4941 109340 | 5000 8253 333 | 0.000 % | c | 64666 | 1551 4941 109340 | 5500 4227 332 | 0.000 % | c | 64816 | 1551 4941 109340 | 6050 4377 332 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 29.1366 s Remaining CPU time: 150.863 s c =============================================================================== c | 64955 | 1551 4942 109860 | 5000 4516 332 | 0.000 % | c | 65055 | 1551 4942 109860 | 5500 4616 332 | 0.000 % | c | 65206 | 1551 4942 109860 | 6050 4767 332 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 29.3485 s Remaining CPU time: 150.651 s c =============================================================================== c | 65308 | 1551 4943 110380 | 5000 4869 332 | 0.000 % | c | 65408 | 1551 4943 110380 | 5500 4969 331 | 0.000 % | c | 65559 | 1551 4943 110380 | 6050 5120 331 | 0.000 % | c | 65785 | 1551 4943 110380 | 6655 5346 331 | 0.000 % | c | 66122 | 1551 4943 110380 | 7320 5683 331 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 29.8255 s Remaining CPU time: 150.175 s c =============================================================================== c | 66142 | 1551 4944 110900 | 5000 5703 331 | 0.000 % | c | 66242 | 1551 4944 110900 | 5500 2952 330 | 0.000 % | c | 66392 | 1551 4944 110900 | 6050 3102 330 | 0.000 % | c | 66617 | 1551 4944 110900 | 6655 3327 330 | 0.000 % | c | 66955 | 1551 4944 110900 | 7320 3665 330 | 0.000 % | c | 67461 | 1551 4944 110900 | 8052 4171 329 | 0.000 % | c | 68220 | 1551 4944 110900 | 8857 4930 329 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 30.8663 s Remaining CPU time: 149.134 s c =============================================================================== c | 68387 | 1551 4945 111420 | 5000 5097 329 | 0.000 % | c | 68487 | 1551 4945 111420 | 5500 2649 328 | 0.000 % | c | 68637 | 1551 4945 111420 | 6050 2799 327 | 0.000 % | c | 68862 | 1551 4945 111420 | 6655 3024 327 | 0.000 % | c | 69199 | 1551 4945 111420 | 7320 3361 327 | 0.000 % | c | 69705 | 1551 4945 111420 | 8052 3867 327 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 31.7212 s Remaining CPU time: 148.279 s c =============================================================================== c | 70118 | 1551 4946 111940 | 5000 4280 327 | 0.000 % | c | 70218 | 1551 4946 111940 | 5500 4380 327 | 0.000 % | c | 70368 | 1551 4946 111940 | 6050 4530 327 | 0.000 % | c | 70594 | 1551 4946 111940 | 6655 4756 327 | 0.000 % | c | 70932 | 1551 4946 111940 | 7320 5094 327 | 0.000 % | c | 71438 | 1551 4946 111940 | 8052 5600 327 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 32.715 s Remaining CPU time: 147.285 s c =============================================================================== c | 72119 | 1551 4947 112460 | 5000 6281 327 | 0.000 % | c | 72219 | 1551 4947 112460 | 5500 3241 326 | 0.000 % | c | 72369 | 1551 4947 112460 | 6050 3391 326 | 0.000 % | c | 72594 | 1551 4947 112460 | 6655 3616 326 | 0.000 % | c | 72931 | 1551 4947 112460 | 7320 3953 326 | 0.000 % | c | 73438 | 1551 4947 112460 | 8052 4460 325 | 0.000 % | c | 74198 | 1551 4947 112460 | 8857 5220 325 | 0.000 % | c | 75337 | 1551 4947 112460 | 9743 6359 325 | 0.000 % | c | 77045 | 1551 4947 112460 | 10717 8067 325 | 0.000 % | c | 79607 | 1551 4947 112460 | 11789 10629 325 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 36.4065 s Remaining CPU time: 143.594 s c =============================================================================== c | 80943 | 1551 4948 112980 | 5000 11965 325 | 0.000 % | c | 81043 | 1551 4948 112980 | 5500 3092 325 | 0.000 % | c | 81193 | 1551 4948 112980 | 6050 3242 325 | 0.000 % | c | 81418 | 1551 4948 112980 | 6655 3467 325 | 0.000 % | c | 81756 | 1551 4948 112980 | 7320 3805 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 37.0554 s Remaining CPU time: 142.945 s c =============================================================================== c | 82159 | 1551 4949 113500 | 5000 4208 325 | 0.000 % | c | 82259 | 1551 4949 113500 | 5500 4308 325 | 0.000 % | c | 82409 | 1551 4949 113500 | 6050 4458 325 | 0.000 % | c | 82634 | 1551 4949 113500 | 6655 4683 325 | 0.000 % | c | 82972 | 1551 4949 113500 | 7320 5021 325 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 37.5813 s Remaining CPU time: 142.419 s c =============================================================================== c | 83171 | 1551 4950 114020 | 5000 5220 325 | 0.000 % | c | 83271 | 1551 4950 114020 | 5500 2710 324 | 0.000 % | c | 83422 | 1551 4950 114020 | 6050 2861 324 | 0.000 % | c | 83647 | 1551 4950 114020 | 6655 3086 323 | 0.000 % | c | 83984 | 1551 4950 114020 | 7320 3423 323 | 0.000 % | c | 84490 | 1551 4950 114020 | 8052 3929 323 | 0.000 % | c | 85249 | 1551 4950 114020 | 8857 4688 323 | 0.000 % | c | 86388 | 1551 4950 114020 | 9743 5827 323 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 39.344 s Remaining CPU time: 140.656 s c =============================================================================== c | 87576 | 1551 4951 114540 | 5000 7015 323 | 0.000 % | c | 87678 | 1551 4951 114540 | 5500 3610 322 | 0.000 % | c | 87828 | 1551 4951 114540 | 6050 3760 322 | 0.000 % | c | 88053 | 1551 4951 114540 | 6655 3985 322 | 0.000 % | c | 88390 | 1551 4951 114540 | 7320 4322 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 39.8209 s Remaining CPU time: 140.179 s c =============================================================================== c | 88413 | 1551 4952 115060 | 5000 4345 322 | 0.000 % | c | 88513 | 1551 4952 115060 | 5500 4445 322 | 0.000 % | c | 88663 | 1551 4952 115060 | 6050 4595 322 | 0.000 % | c | 88889 | 1551 4952 115060 | 6655 4821 322 | 0.000 % | c | 89227 | 1551 4952 115060 | 7320 5159 322 | 0.000 % | c | 89733 | 1551 4952 115060 | 8052 5665 322 | 0.000 % | c | 90493 | 1551 4952 115060 | 8857 6425 321 | 0.000 % | c | 91632 | 1551 4952 115060 | 9743 7564 321 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 41.4737 s Remaining CPU time: 138.526 s c =============================================================================== c | 92641 | 1551 4953 115580 | 5000 8573 321 | 0.000 % | c | 92741 | 1551 4953 115580 | 5500 4387 320 | 0.000 % | c | 92891 | 1551 4953 115580 | 6050 4537 320 | 0.000 % | c | 93116 | 1551 4953 115580 | 6655 4762 320 | 0.000 % | c | 93453 | 1551 4953 115580 | 7320 5099 320 | 0.000 % | c | 93959 | 1551 4953 115580 | 8052 5605 320 | 0.000 % | c | 94719 | 1551 4953 115580 | 8857 6365 320 | 0.000 % | c | 95858 | 1551 4953 115580 | 9743 7504 319 | 0.000 % | c | 97567 | 1551 4953 115580 | 10717 9213 319 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 44.2343 s Remaining CPU time: 135.766 s c =============================================================================== c | 99378 | 1551 4954 116100 | 5000 11024 319 | 0.000 % | c | 99478 | 1551 4954 116100 | 5500 2856 319 | 0.000 % | c | 99629 | 1551 4954 116100 | 6050 3007 319 | 0.000 % | c | 99854 | 1551 4954 116100 | 6655 3232 319 | 0.000 % | c | 100191 | 1551 4954 116100 | 7320 3569 319 | 0.000 % | c | 100697 | 1551 4954 116100 | 8052 4075 319 | 0.000 % | c | 101456 | 1551 4954 116100 | 8857 4834 318 | 0.000 % | c | 102595 | 1551 4954 116100 | 9743 5973 318 | 0.000 % | c | 104303 | 1551 4954 116100 | 10717 7681 318 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 47.2558 s Remaining CPU time: 132.744 s c =============================================================================== c | 106747 | 1551 4955 116620 | 5000 10125 318 | 0.000 % | c | 106847 | 1551 4955 116620 | 5500 2632 318 | 0.000 % | c | 106997 | 1551 4955 116620 | 6050 2782 318 | 0.000 % | c | 107222 | 1551 4955 116620 | 6655 3007 317 | 0.000 % | c | 107561 | 1551 4955 116620 | 7320 3346 317 | 0.000 % | c | 108068 | 1551 4955 116620 | 8052 3853 317 | 0.000 % | c | 108829 | 1551 4955 116620 | 8857 4614 317 | 0.000 % | c | 109968 | 1551 4955 116620 | 9743 5753 317 | 0.000 % | c | 111676 | 1551 4955 116620 | 10717 7461 317 | 0.000 % | c | 114238 | 1551 4955 116620 | 11789 10023 317 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 50.4803 s Remaining CPU time: 129.52 s c =============================================================================== c | 114306 | 1551 4956 117140 | 5000 10091 317 | 0.000 % | c | 114407 | 1551 4956 117140 | 5500 2624 317 | 0.000 % | c | 114557 | 1551 4956 117140 | 6050 2774 317 | 0.000 % | c | 114782 | 1551 4956 117140 | 6655 2999 317 | 0.000 % | c | 115120 | 1551 4956 117140 | 7320 3337 317 | 0.000 % | c | 115626 | 1551 4956 117140 | 8052 3843 316 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 51.3962 s Remaining CPU time: 128.604 s c =============================================================================== c | 116220 | 1551 4957 117660 | 5000 4437 316 | 0.000 % | c | 116320 | 1551 4957 117660 | 5500 4537 316 | 0.000 % | c | 116470 | 1551 4957 117660 | 6050 4687 316 | 0.000 % | c | 116695 | 1551 4957 117660 | 6655 4912 316 | 0.000 % | c | 117032 | 1551 4957 117660 | 7320 5249 316 | 0.000 % | c | 117538 | 1551 4957 117660 | 8052 5755 316 | 0.000 % | c | 118297 | 1551 4957 117660 | 8857 6514 316 | 0.000 % | c | 119436 | 1551 4957 117660 | 9743 7653 316 | 0.000 % | c | 121145 | 1551 4957 117660 | 10717 9362 316 | 0.000 % | c | 123708 | 1551 4957 117660 | 11789 6387 315 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 54.6747 s Remaining CPU time: 125.325 s c =============================================================================== c | 123955 | 1551 4958 118180 | 5000 6634 315 | 0.000 % | c | 124055 | 1551 4958 118180 | 5500 3417 314 | 0.000 % | c | 124205 | 1551 4958 118180 | 6050 3567 314 | 0.000 % | c | 124430 | 1551 4958 118180 | 6655 3792 314 | 0.000 % | c | 124767 | 1551 4958 118180 | 7320 4129 314 | 0.000 % | c | 125274 | 1551 4958 118180 | 8052 4636 314 | 0.000 % | c | 126034 | 1551 4958 118180 | 8857 5396 314 | 0.000 % | c | 127173 | 1551 4958 118180 | 9743 6535 314 | 0.000 % | c | 128881 | 1551 4958 118180 | 10717 8243 314 | 0.000 % | c | 131443 | 1551 4958 118180 | 11789 10805 314 | 0.000 % | c | 135289 | 1551 4958 118180 | 12968 8591 314 | 0.000 % | c | 141055 | 1551 4958 118180 | 14265 7707 314 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 63.9833 s Remaining CPU time: 116.017 s c =============================================================================== c | 142961 | 1551 4959 118700 | 5000 9613 315 | 0.000 % | c | 143061 | 1551 4959 118700 | 5500 4907 314 | 0.000 % | c | 143211 | 1551 4959 118700 | 6050 5057 314 | 0.000 % | c | 143437 | 1551 4959 118700 | 6655 5283 314 | 0.000 % | c | 143774 | 1551 4959 118700 | 7320 5620 314 | 0.000 % | c | 144280 | 1551 4959 118700 | 8052 6126 314 | 0.000 % | c | 145039 | 1551 4959 118700 | 8857 6885 314 | 0.000 % | c | 146179 | 1551 4959 118700 | 9743 8025 314 | 0.000 % | c | 147887 | 1551 4959 118700 | 10717 9733 314 | 0.000 % | c | 150449 | 1551 4959 118700 | 11789 6759 313 | 0.000 % | c | 154293 | 1551 4959 118700 | 12968 10603 313 | 0.000 % | c | 160060 | 1551 4959 118700 | 14265 9725 313 | 0.000 % | c | 168709 | 1551 4959 118700 | 15692 11066 313 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 77.7902 s Remaining CPU time: 102.21 s c =============================================================================== c | 172838 | 1551 4960 119220 | 5000 15195 313 | 0.000 % | c | 172939 | 1551 4960 119220 | 5500 3900 313 | 0.000 % | c | 173090 | 1551 4960 119220 | 6050 4051 313 | 0.000 % | c | 173315 | 1551 4960 119220 | 6655 4276 313 | 0.000 % | c | 173652 | 1551 4960 119220 | 7320 4613 313 | 0.000 % | c | 174158 | 1551 4960 119220 | 8052 5119 312 | 0.000 % | c | 174917 | 1551 4960 119220 | 8857 5878 312 | 0.000 % | c | 176056 | 1551 4960 119220 | 9743 7017 312 | 0.000 % | c | 177764 | 1551 4960 119220 | 10717 8725 312 | 0.000 % | c | 180327 | 1551 4960 119220 | 11789 5752 312 | 0.000 % | c | 184171 | 1551 4960 119220 | 12968 9596 312 | 0.000 % | c | 189937 | 1551 4960 119220 | 14265 8707 312 | 0.000 % | c | 198586 | 1551 4960 119220 | 15692 10056 313 | 0.000 % | c | 211560 | 1551 4960 119220 | 17261 15007 313 | 0.000 % | c | 231021 | 1551 4960 119220 | 18987 16844 313 | 0.000 % | c | 260213 | 1551 4960 119220 | 20886 17035 313 | 0.000 % |