c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4773 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1550 | c | Number Clauses: 4758 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1550 4758 10031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1550 4759 10556 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1550 4760 11081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1550 4761 11606 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1550 4762 12131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1550 4763 12656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1550 4764 13181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1550 4765 13706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1550 4766 14231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1550 4767 14756 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1550 4768 15281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1550 4769 15806 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1550 4770 16331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1550 4771 16856 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1550 4772 17381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1550 4773 17906 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1550 4774 18431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1550 4775 18956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1550 4776 19481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1550 4777 20006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1550 4778 20531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1550 4779 21056 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1550 4780 21581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1550 4781 22106 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1550 4782 22631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1550 4783 23156 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 1550 4784 23681 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1550 4785 24206 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 1550 4786 24731 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1550 4787 25256 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1550 4788 25781 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1550 4789 26306 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1550 4790 26831 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1550 4791 27356 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 1550 4792 27881 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1550 4793 28406 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 1550 4794 28931 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1550 4795 29456 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 1550 4796 29981 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1 | 1550 4797 30506 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1550 4798 31031 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 1 | 1550 4799 31556 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 1 | 1550 4800 32081 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 1 | 1550 4801 32606 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 1 | 1550 4802 33131 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 1 | 1550 4803 33656 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 1 | 1550 4804 34181 | 5000 1 503 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 2 | 1550 4805 34706 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 2 | 1550 4806 35231 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 2 | 1550 4807 35756 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 2 | 1550 4808 36281 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 2 | 1550 4809 36806 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 2 | 1550 4810 37331 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 2 | 1550 4811 37856 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 2 | 1550 4812 38381 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 2 | 1550 4813 38906 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 2 | 1550 4814 39431 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 2 | 1550 4815 39956 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 2 | 1550 4816 40481 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 2 | 1550 4817 41006 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 2 | 1550 4818 41531 | 5000 2 492 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 3 | 1550 4819 42056 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 3 | 1550 4820 42581 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 3 | 1550 4821 43106 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 3 | 1550 4822 43631 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 3 | 1550 4823 44156 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 3 | 1550 4824 44681 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 3 | 1550 4825 45206 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 3 | 1550 4826 45731 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 3 | 1550 4827 46256 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 3 | 1550 4828 46781 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 3 | 1550 4829 47306 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 3 | 1550 4830 47831 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 3 | 1550 4831 48356 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 4 | 1550 4832 48881 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 4 | 1550 4833 49406 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 7 | 1550 4834 49931 | 5000 7 465 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 7 | 1550 4835 50456 | 5000 7 465 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 7 | 1550 4836 50981 | 5000 7 465 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 7 | 1550 4837 51506 | 5000 7 465 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 10 | 1550 4838 52031 | 5000 10 460 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 10 | 1550 4839 52556 | 5000 10 460 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 11 | 1550 4840 53081 | 5000 11 458 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 11 | 1550 4841 53606 | 5000 11 458 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 11 | 1550 4842 54131 | 5000 11 458 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 11 | 1550 4843 54656 | 5000 11 458 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 16 | 1550 4844 55181 | 5000 16 453 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 16 | 1550 4845 55706 | 5000 16 453 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 16 | 1550 4846 56231 | 5000 16 453 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 20 | 1550 4847 56756 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 20 | 1550 4848 57281 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 20 | 1550 4849 57806 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 20 | 1550 4850 58331 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 20 | 1550 4851 58856 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 20 | 1550 4852 59381 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 20 | 1550 4853 59906 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 20 | 1550 4854 60431 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 20 | 1550 4855 60956 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 20 | 1550 4856 61481 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 20 | 1550 4857 62006 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 20 | 1550 4858 62531 | 5000 20 450 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 28 | 1550 4859 63056 | 5000 28 443 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 28 | 1550 4860 63581 | 5000 28 443 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 28 | 1550 4861 64106 | 5000 28 443 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 33 | 1550 4862 64631 | 5000 33 440 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 33 | 1550 4863 65156 | 5000 33 440 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 33 | 1550 4864 65681 | 5000 33 440 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 33 | 1550 4865 66206 | 5000 33 440 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 33 | 1550 4866 66731 | 5000 33 440 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 40 | 1550 4867 67256 | 5000 40 436 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 40 | 1550 4868 67781 | 5000 40 436 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 40 | 1550 4869 68306 | 5000 40 436 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 40 | 1550 4870 68831 | 5000 40 436 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 40 | 1550 4871 69356 | 5000 40 436 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.724889 s Remaining CPU time: 179.275 s c =============================================================================== c | 49 | 1550 4872 69881 | 5000 49 432 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 49 | 1550 4873 70406 | 5000 49 432 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 49 | 1550 4874 70931 | 5000 49 432 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 49 | 1550 4875 71456 | 5000 49 432 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 64 | 1550 4876 71981 | 5000 64 427 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 64 | 1550 4877 72506 | 5000 64 427 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 64 | 1550 4878 73031 | 5000 64 427 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 68 | 1550 4879 73556 | 5000 68 425 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 76 | 1550 4880 74081 | 5000 76 423 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 76 | 1550 4881 74606 | 5000 76 423 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 92 | 1550 4882 75131 | 5000 92 420 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 99 | 1550 4883 75656 | 5000 99 418 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 99 | 1550 4884 76181 | 5000 99 418 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.905862 s Remaining CPU time: 179.094 s c =============================================================================== c | 110 | 1550 4885 76706 | 5000 110 417 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 111 | 1550 4886 77231 | 5000 111 416 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 112 | 1550 4887 77756 | 5000 112 416 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 119 | 1550 4888 78281 | 5000 119 415 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 125 | 1550 4889 78806 | 5000 125 414 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 126 | 1550 4890 79331 | 5000 126 414 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 128 | 1550 4891 79856 | 5000 128 414 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 137 | 1550 4892 80381 | 5000 137 412 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s c =============================================================================== c | 195 | 1550 4893 80906 | 5000 195 406 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.04884 s Remaining CPU time: 178.951 s c =============================================================================== c | 197 | 1550 4894 81431 | 5000 197 406 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.06384 s Remaining CPU time: 178.936 s c =============================================================================== c | 198 | 1550 4895 81956 | 5000 198 406 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.08083 s Remaining CPU time: 178.919 s c =============================================================================== c | 206 | 1550 4896 82481 | 5000 206 405 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s c =============================================================================== c | 209 | 1550 4897 83006 | 5000 209 405 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 217 | 1550 4898 83531 | 5000 217 404 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 222 | 1550 4899 84056 | 5000 222 404 | 0.000 % | c | 323 | 1550 4899 84056 | 5500 323 398 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 331 | 1550 4900 84581 | 5000 331 398 | 0.000 % | c | 431 | 1550 4900 84581 | 5500 431 394 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 431 | 1550 4901 85106 | 5000 431 394 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.27081 s Remaining CPU time: 178.729 s c =============================================================================== c | 489 | 1550 4902 85631 | 5000 489 393 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 510 | 1550 4903 86156 | 5000 510 393 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 512 | 1550 4904 86681 | 5000 512 393 | 0.000 % | c | 612 | 1550 4904 86681 | 5500 612 391 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.36779 s Remaining CPU time: 178.632 s c =============================================================================== c | 629 | 1550 4905 87206 | 5000 629 390 | 0.000 % | c | 729 | 1550 4905 87206 | 5500 729 388 | 0.000 % | c | 880 | 1550 4905 87206 | 6050 880 387 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 919 | 1550 4906 87731 | 5000 919 386 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 949 | 1550 4907 88256 | 5000 949 386 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.53377 s Remaining CPU time: 178.466 s c =============================================================================== c | 996 | 1550 4908 88781 | 5000 996 386 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.55376 s Remaining CPU time: 178.446 s c =============================================================================== c | 1021 | 1550 4909 89306 | 5000 1021 385 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s c =============================================================================== c | 1063 | 1550 4910 89831 | 5000 1063 385 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 1081 | 1550 4911 90356 | 5000 1081 384 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.62975 s Remaining CPU time: 178.37 s c =============================================================================== c | 1105 | 1550 4912 90881 | 5000 1105 384 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 1134 | 1550 4913 91406 | 5000 1134 384 | 0.000 % | c | 1234 | 1550 4913 91406 | 5500 1234 383 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.71574 s Remaining CPU time: 178.284 s c =============================================================================== c | 1264 | 1550 4914 91931 | 5000 1264 383 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 1296 | 1550 4915 92456 | 5000 1296 382 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.76973 s Remaining CPU time: 178.23 s c =============================================================================== c | 1324 | 1550 4916 92981 | 5000 1324 382 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.79473 s Remaining CPU time: 178.205 s c =============================================================================== c | 1354 | 1550 4917 93506 | 5000 1354 382 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s c =============================================================================== c | 1389 | 1550 4918 94031 | 5000 1389 381 | 0.000 % | c | 1489 | 1550 4918 94031 | 5500 1489 380 | 0.000 % | c | 1639 | 1550 4918 94031 | 6050 1639 379 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.9697 s Remaining CPU time: 178.03 s c =============================================================================== c | 1731 | 1550 4919 94556 | 5000 1731 378 | 0.000 % | c | 1832 | 1550 4919 94556 | 5500 1832 378 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 2.05069 s Remaining CPU time: 177.949 s c =============================================================================== c | 1894 | 1550 4920 95081 | 5000 1894 377 | 0.000 % | c | 1994 | 1550 4920 95081 | 5500 1994 376 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 2.12168 s Remaining CPU time: 177.878 s c =============================================================================== c | 1998 | 1550 4921 95606 | 5000 1998 376 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.16267 s Remaining CPU time: 177.837 s c =============================================================================== c | 2060 | 1550 4922 96131 | 5000 2060 376 | 0.000 % | c | 2160 | 1550 4922 96131 | 5500 2160 375 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.26565 s Remaining CPU time: 177.734 s c =============================================================================== c | 2282 | 1550 4923 96656 | 5000 2282 375 | 0.000 % | c | 2382 | 1550 4923 96656 | 5500 2382 374 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 2519 | 1550 4924 97181 | 5000 2519 373 | 0.000 % | c | 2619 | 1550 4924 97181 | 5500 2619 373 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 2.48562 s Remaining CPU time: 177.514 s c =============================================================================== c | 2753 | 1550 4925 97706 | 5000 2753 372 | 0.000 % | c | 2853 | 1550 4925 97706 | 5500 2853 372 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.56061 s Remaining CPU time: 177.439 s c =============================================================================== c | 2873 | 1550 4926 98231 | 5000 2873 372 | 0.000 % | c | 2974 | 1550 4926 98231 | 5500 2974 371 | 0.000 % | c | 3124 | 1550 4926 98231 | 6050 3124 371 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s c =============================================================================== c | 3225 | 1550 4927 98756 | 5000 3225 370 | 0.000 % | c | 3325 | 1550 4927 98756 | 5500 3325 370 | 0.000 % | c | 3475 | 1550 4927 98756 | 6050 3475 369 | 0.000 % | c | 3701 | 1550 4927 98756 | 6655 3701 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.97055 s Remaining CPU time: 177.029 s c =============================================================================== c | 3739 | 1550 4928 99281 | 5000 3739 368 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.99254 s Remaining CPU time: 177.007 s c =============================================================================== c | 3745 | 1550 4929 99806 | 5000 3745 368 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 3.03354 s Remaining CPU time: 176.966 s c =============================================================================== c | 3795 | 1550 4930 100331 | 5000 3795 368 | 0.000 % | c | 3895 | 1550 4930 100331 | 5500 3895 368 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 3.13552 s Remaining CPU time: 176.864 s c =============================================================================== c | 4008 | 1550 4931 100856 | 5000 4008 368 | 0.000 % | c | 4109 | 1550 4931 100856 | 5500 4109 367 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 3.2515 s Remaining CPU time: 176.748 s c =============================================================================== c | 4257 | 1550 4932 101381 | 5000 4257 367 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 3.3065 s Remaining CPU time: 176.694 s c =============================================================================== c | 4343 | 1550 4933 101906 | 5000 4343 366 | 0.000 % | c | 4443 | 1550 4933 101906 | 5500 4443 366 | 0.000 % | c | 4593 | 1550 4933 101906 | 6050 4593 366 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 3.46247 s Remaining CPU time: 176.538 s c =============================================================================== c | 4652 | 1550 4934 102431 | 5000 4652 365 | 0.000 % | c | 4752 | 1550 4934 102431 | 5500 4752 365 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 3.56246 s Remaining CPU time: 176.438 s c =============================================================================== c | 4823 | 1550 4935 102956 | 5000 4823 365 | 0.000 % | c | 4923 | 1550 4935 102956 | 5500 4923 365 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 3.64745 s Remaining CPU time: 176.353 s c =============================================================================== c | 4945 | 1550 4936 103481 | 5000 4945 364 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 3.70444 s Remaining CPU time: 176.296 s c =============================================================================== c | 5038 | 1550 4937 104006 | 5000 5038 364 | 0.000 % | c | 5138 | 1550 4937 104006 | 5500 2619 355 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 3.83442 s Remaining CPU time: 176.166 s c =============================================================================== c | 5249 | 1550 4938 104531 | 5000 2730 354 | 0.000 % | c | 5350 | 1550 4938 104531 | 5500 2831 354 | 0.000 % | c | 5500 | 1550 4938 104531 | 6050 2981 354 | 0.000 % | c | 5725 | 1550 4938 104531 | 6655 3206 353 | 0.000 % | c | 6062 | 1550 4938 104531 | 7320 3543 352 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 4.39133 s Remaining CPU time: 175.609 s c =============================================================================== c | 6567 | 1550 4939 105056 | 5000 4048 352 | 0.000 % | c | 6667 | 1550 4939 105056 | 5500 4148 352 | 0.000 % | c | 6818 | 1550 4939 105056 | 6050 4299 351 | 0.000 % | c | 7043 | 1550 4939 105056 | 6655 4524 351 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 4.66229 s Remaining CPU time: 175.338 s c =============================================================================== c | 7173 | 1550 4940 105581 | 5000 4654 351 | 0.000 % | c | 7274 | 1550 4940 105581 | 5500 4755 351 | 0.000 % | c | 7425 | 1550 4940 105581 | 6050 4906 351 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 4.81327 s Remaining CPU time: 175.187 s c =============================================================================== c | 7470 | 1550 4941 106106 | 5000 4951 350 | 0.000 % | c | 7570 | 1550 4941 106106 | 5500 5051 350 | 0.000 % | c | 7721 | 1550 4941 106106 | 6050 5202 350 | 0.000 % | c | 7946 | 1550 4941 106106 | 6655 5427 350 | 0.000 % | c | 8283 | 1550 4941 106106 | 7320 5764 349 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 5.21021 s Remaining CPU time: 174.79 s c =============================================================================== c | 8352 | 1550 4942 106631 | 5000 5833 349 | 0.000 % | c | 8452 | 1550 4942 106631 | 5500 3017 345 | 0.000 % | c | 8602 | 1550 4942 106631 | 6050 3167 345 | 0.000 % | c | 8828 | 1550 4942 106631 | 6655 3393 345 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 5.60415 s Remaining CPU time: 174.396 s c =============================================================================== c | 9118 | 1550 4943 107156 | 5000 3683 344 | 0.000 % | c | 9218 | 1550 4943 107156 | 5500 3783 344 | 0.000 % | c | 9368 | 1550 4943 107156 | 6050 3933 344 | 0.000 % | c | 9594 | 1550 4943 107156 | 6655 4159 344 | 0.000 % | c | 9931 | 1550 4943 107156 | 7320 4496 344 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 6.14907 s Remaining CPU time: 173.851 s c =============================================================================== c | 10385 | 1550 4944 107681 | 5000 4950 344 | 0.000 % | c | 10485 | 1550 4944 107681 | 5500 5050 344 | 0.000 % | c | 10636 | 1550 4944 107681 | 6050 5201 343 | 0.000 % | c | 10861 | 1550 4944 107681 | 6655 5426 343 | 0.000 % | c | 11198 | 1550 4944 107681 | 7320 5763 343 | 0.000 % | c | 11704 | 1550 4944 107681 | 8052 6269 343 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 6.94694 s Remaining CPU time: 173.053 s c =============================================================================== c | 12360 | 1550 4945 108206 | 5000 6925 343 | 0.000 % | c | 12460 | 1550 4945 108206 | 5500 3563 341 | 0.000 % | c | 12611 | 1550 4945 108206 | 6050 3714 341 | 0.000 % | c | 12836 | 1550 4945 108206 | 6655 3939 341 | 0.000 % | c | 13173 | 1550 4945 108206 | 7320 4276 340 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 7.51886 s Remaining CPU time: 172.481 s c =============================================================================== c | 13652 | 1550 4946 108731 | 5000 4755 340 | 0.000 % | c | 13752 | 1550 4946 108731 | 5500 4855 340 | 0.000 % | c | 13903 | 1550 4946 108731 | 6050 5006 340 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 7.74982 s Remaining CPU time: 172.25 s c =============================================================================== c | 14119 | 1550 4947 109256 | 5000 5222 340 | 0.000 % | c | 14219 | 1550 4947 109256 | 5500 2711 339 | 0.000 % | c | 14369 | 1550 4947 109256 | 6050 2861 339 | 0.000 % | c | 14594 | 1550 4947 109256 | 6655 3086 339 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 8.08177 s Remaining CPU time: 171.918 s c =============================================================================== c | 14912 | 1550 4948 109781 | 5000 3404 339 | 0.000 % | c | 15012 | 1550 4948 109781 | 5500 3504 339 | 0.000 % | c | 15162 | 1550 4948 109781 | 6050 3654 339 | 0.000 % | c | 15388 | 1550 4948 109781 | 6655 3880 338 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 8.32573 s Remaining CPU time: 171.674 s c =============================================================================== c | 15415 | 1550 4949 110306 | 5000 3907 338 | 0.000 % | c | 15515 | 1550 4949 110306 | 5500 4007 338 | 0.000 % | c | 15665 | 1550 4949 110306 | 6050 4157 338 | 0.000 % | c | 15890 | 1550 4949 110306 | 6655 4382 338 | 0.000 % | c | 16227 | 1550 4949 110306 | 7320 4719 338 | 0.000 % | c | 16734 | 1550 4949 110306 | 8052 5226 338 | 0.000 % | c | 17493 | 1550 4949 110306 | 8857 5985 337 | 0.000 % | c | 18632 | 1550 4949 110306 | 9743 7124 337 | 0.000 % | c | 20341 | 1550 4949 110306 | 10717 8833 337 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 10.7964 s Remaining CPU time: 169.204 s c =============================================================================== c | 21521 | 1550 4950 110831 | 5000 10013 337 | 0.000 % | c | 21622 | 1550 4950 110831 | 5500 2605 336 | 0.000 % | c | 21772 | 1550 4950 110831 | 6050 2755 336 | 0.000 % | c | 21997 | 1550 4950 110831 | 6655 2980 335 | 0.000 % | c | 22334 | 1550 4950 110831 | 7320 3317 335 | 0.000 % | c | 22841 | 1550 4950 110831 | 8052 3824 335 | 0.000 % | c | 23600 | 1550 4950 110831 | 8857 4583 335 | 0.000 % | c | 24742 | 1550 4950 110831 | 9743 5725 335 | 0.000 % | c | 26450 | 1550 4950 110831 | 10717 7433 335 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 13.6099 s Remaining CPU time: 166.39 s c =============================================================================== c | 28014 | 1550 4951 111356 | 5000 8997 335 | 0.000 % | c | 28114 | 1550 4951 111356 | 5500 4599 335 | 0.000 % | c | 28264 | 1550 4951 111356 | 6050 4749 334 | 0.000 % | c | 28489 | 1550 4951 111356 | 6655 4974 334 | 0.000 % | c | 28827 | 1550 4951 111356 | 7320 5312 334 | 0.000 % | c | 29334 | 1550 4951 111356 | 8052 5819 334 | 0.000 % | c | 30093 | 1550 4951 111356 | 8857 6578 334 | 0.000 % | c | 31233 | 1550 4951 111356 | 9743 7718 334 | 0.000 % | c | 32941 | 1550 4951 111356 | 10717 9426 334 | 0.000 % | c | 35504 | 1550 4951 111356 | 11789 6453 334 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 16.6815 s Remaining CPU time: 163.319 s c =============================================================================== c | 36083 | 1550 4952 111881 | 5000 7032 334 | 0.000 % | c | 36183 | 1550 4952 111881 | 5500 3616 333 | 0.000 % | c | 36333 | 1550 4952 111881 | 6050 3766 333 | 0.000 % | c | 36558 | 1550 4952 111881 | 6655 3991 333 | 0.000 % | c | 36895 | 1550 4952 111881 | 7320 4328 333 | 0.000 % | c | 37401 | 1550 4952 111881 | 8052 4834 333 | 0.000 % | c | 38160 | 1550 4952 111881 | 8857 5593 333 | 0.000 % | c | 39299 | 1550 4952 111881 | 9743 6732 333 | 0.000 % | c | 41007 | 1550 4952 111881 | 10717 8440 333 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 19.0001 s Remaining CPU time: 161 s c =============================================================================== c | 41348 | 1550 4953 112406 | 5000 8781 333 | 0.000 % | c | 41449 | 1550 4953 112406 | 5500 4492 332 | 0.000 % | c | 41600 | 1550 4953 112406 | 6050 4643 332 | 0.000 % | c | 41825 | 1550 4953 112406 | 6655 4868 332 | 0.000 % | c | 42163 | 1550 4953 112406 | 7320 5206 332 | 0.000 % | c | 42670 | 1550 4953 112406 | 8052 5713 332 | 0.000 % | c | 43429 | 1550 4953 112406 | 8857 6472 332 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 20.3239 s Remaining CPU time: 159.676 s c =============================================================================== c | 44312 | 1550 4954 112931 | 5000 7355 332 | 0.000 % | c | 44413 | 1550 4954 112931 | 5500 3779 331 | 0.000 % | c | 44563 | 1550 4954 112931 | 6050 3929 331 | 0.000 % | c | 44788 | 1550 4954 112931 | 6655 4154 331 | 0.000 % | c | 45125 | 1550 4954 112931 | 7320 4491 331 | 0.000 % | c | 45631 | 1550 4954 112931 | 8052 4997 331 | 0.000 % | c | 46390 | 1550 4954 112931 | 8857 5756 331 | 0.000 % | c | 47529 | 1550 4954 112931 | 9743 6895 331 | 0.000 % | c | 49237 | 1550 4954 112931 | 10717 8603 331 | 0.000 % | c | 51799 | 1550 4954 112931 | 11789 5634 330 | 0.000 % | c | 55644 | 1550 4954 112931 | 12968 9479 330 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 25.6781 s Remaining CPU time: 154.322 s c =============================================================================== c | 57536 | 1550 4955 113456 | 5000 11371 331 | 0.000 % | c | 57636 | 1550 4955 113456 | 5500 2943 330 | 0.000 % | c | 57786 | 1550 4955 113456 | 6050 3093 330 | 0.000 % | c | 58011 | 1550 4955 113456 | 6655 3318 330 | 0.000 % | c | 58349 | 1550 4955 113456 | 7320 3656 330 | 0.000 % | c | 58855 | 1550 4955 113456 | 8052 4162 330 | 0.000 % | c | 59614 | 1550 4955 113456 | 8857 4921 330 | 0.000 % | c | 60753 | 1550 4955 113456 | 9743 6060 330 | 0.000 % | c | 62461 | 1550 4955 113456 | 10717 7768 330 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 27.9258 s Remaining CPU time: 152.074 s c =============================================================================== c | 63367 | 1550 4956 113981 | 5000 8674 330 | 0.000 % | c | 63469 | 1550 4956 113981 | 5500 4439 329 | 0.000 % | c | 63619 | 1550 4956 113981 | 6050 4589 329 | 0.000 % | c | 63844 | 1550 4956 113981 | 6655 4814 329 | 0.000 % | c | 64181 | 1550 4956 113981 | 7320 5151 329 | 0.000 % | c | 64687 | 1550 4956 113981 | 8052 5657 329 | 0.000 % | c | 65446 | 1550 4956 113981 | 8857 6416 329 | 0.000 % | c | 66585 | 1550 4956 113981 | 9743 7555 329 | 0.000 % | c | 68293 | 1550 4956 113981 | 10717 9263 329 | 0.000 % | c | 70856 | 1550 4956 113981 | 11789 6272 329 | 0.000 % | c | 74701 | 1550 4956 113981 | 12968 10117 329 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 32.4411 s Remaining CPU time: 147.559 s c =============================================================================== c | 75593 | 1550 4957 114506 | 5000 11009 329 | 0.000 % | c | 75693 | 1550 4957 114506 | 5500 2853 329 | 0.000 % | c | 75843 | 1550 4957 114506 | 6050 3003 329 | 0.000 % | c | 76068 | 1550 4957 114506 | 6655 3228 329 | 0.000 % | c | 76405 | 1550 4957 114506 | 7320 3565 328 | 0.000 % | c | 76911 | 1550 4957 114506 | 8052 4071 328 | 0.000 % | c | 77670 | 1550 4957 114506 | 8857 4830 328 | 0.000 % | c | 78810 | 1550 4957 114506 | 9743 5970 328 | 0.000 % | c | 80519 | 1550 4957 114506 | 10717 7679 328 | 0.000 % | c | 83081 | 1550 4957 114506 | 11789 10241 328 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 36.5484 s Remaining CPU time: 143.452 s c =============================================================================== c | 86272 | 1550 4958 115031 | 5000 7351 328 | 0.000 % | c | 86372 | 1550 4958 115031 | 5500 3776 328 | 0.000 % | c | 86522 | 1550 4958 115031 | 6050 3926 327 | 0.000 % | c | 86748 | 1550 4958 115031 | 6655 4152 327 | 0.000 % | c | 87085 | 1550 4958 115031 | 7320 4489 327 | 0.000 % | c | 87591 | 1550 4958 115031 | 8052 4995 327 | 0.000 % | c | 88350 | 1550 4958 115031 | 8857 5754 327 | 0.000 % | c | 89489 | 1550 4958 115031 | 9743 6893 327 | 0.000 % | c | 91197 | 1550 4958 115031 | 10717 8601 327 | 0.000 % | c | 93760 | 1550 4958 115031 | 11789 5614 327 | 0.000 % | c | 97604 | 1550 4958 115031 | 12968 9458 327 | 0.000 % | c | 103371 | 1550 4958 115031 | 14265 8560 327 | 0.000 % | c | 112020 | 1550 4958 115031 | 15692 9887 327 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 48.5986 s Remaining CPU time: 131.401 s c =============================================================================== c | 114979 | 1550 4959 115556 | 5000 12846 327 | 0.000 % | c | 115079 | 1550 4959 115556 | 5500 3312 327 | 0.000 % | c | 115230 | 1550 4959 115556 | 6050 3463 327 | 0.000 % | c | 115456 | 1550 4959 115556 | 6655 3689 327 | 0.000 % | c | 115793 | 1550 4959 115556 | 7320 4026 326 | 0.000 % | c | 116299 | 1550 4959 115556 | 8052 4532 326 | 0.000 % | c | 117058 | 1550 4959 115556 | 8857 5291 326 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 50.0174 s Remaining CPU time: 129.983 s c =============================================================================== c | 117849 | 1550 4960 116081 | 5000 6082 326 | 0.000 % | c | 117949 | 1550 4960 116081 | 5500 3141 325 | 0.000 % | c | 118099 | 1550 4960 116081 | 6050 3291 325 | 0.000 % | c | 118324 | 1550 4960 116081 | 6655 3516 325 | 0.000 % | c | 118661 | 1550 4960 116081 | 7320 3853 325 | 0.000 % | c | 119168 | 1550 4960 116081 | 8052 4360 325 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 50.7863 s Remaining CPU time: 129.214 s c =============================================================================== c | 119584 | 1550 4961 116606 | 5000 4776 325 | 0.000 % | c | 119684 | 1550 4961 116606 | 5500 4876 325 | 0.000 % | c | 119834 | 1550 4961 116606 | 6050 5026 325 | 0.000 % | c | 120059 | 1550 4961 116606 | 6655 5251 325 | 0.000 % | c | 120396 | 1550 4961 116606 | 7320 5588 325 | 0.000 % | c | 120902 | 1550 4961 116606 | 8052 6094 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 51.3772 s Remaining CPU time: 128.623 s c =============================================================================== c | 120999 | 1550 4962 117131 | 5000 6191 325 | 0.000 % | c | 121100 | 1550 4962 117131 | 5500 3197 324 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 51.5192 s Remaining CPU time: 128.481 s c =============================================================================== c | 121221 | 1550 4963 117656 | 5000 3318 324 | 0.000 % | c | 121322 | 1550 4963 117656 | 5500 3419 324 | 0.000 % | c | 121472 | 1550 4963 117656 | 6050 3569 324 | 0.000 % | c | 121697 | 1550 4963 117656 | 6655 3794 323 | 0.000 % | c | 122034 | 1550 4963 117656 | 7320 4131 323 | 0.000 % | c | 122540 | 1550 4963 117656 | 8052 4637 323 | 0.000 % | c | 123299 | 1550 4963 117656 | 8857 5396 323 | 0.000 % | c | 124438 | 1550 4963 117656 | 9743 6535 323 | 0.000 % | c | 126146 | 1550 4963 117656 | 10717 8243 323 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 53.9748 s Remaining CPU time: 126.025 s c =============================================================================== c | 127902 | 1550 4964 118181 | 5000 9999 322 | 0.000 % | c | 128002 | 1550 4964 118181 | 5500 5100 321 | 0.000 % | c | 128152 | 1550 4964 118181 | 6050 5250 321 | 0.000 % | c | 128377 | 1550 4964 118181 | 6655 5475 321 | 0.000 % | c | 128714 | 1550 4964 118181 | 7320 5812 321 | 0.000 % | c | 129220 | 1550 4964 118181 | 8052 6318 321 | 0.000 % | c | 129979 | 1550 4964 118181 | 8857 7077 321 | 0.000 % | c | 131118 | 1550 4964 118181 | 9743 8216 321 | 0.000 % | c | 132826 | 1550 4964 118181 | 10717 9924 321 | 0.000 % | c | 135388 | 1550 4964 118181 | 11789 6934 320 | 0.000 % | c | 139232 | 1550 4964 118181 | 12968 10778 321 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 59.153 s Remaining CPU time: 120.847 s c =============================================================================== c | 140630 | 1550 4965 118706 | 5000 12176 321 | 0.000 % | c | 140730 | 1550 4965 118706 | 5500 3144 320 | 0.000 % | c | 140880 | 1550 4965 118706 | 6050 3294 320 | 0.000 % | c | 141105 | 1550 4965 118706 | 6655 3519 320 | 0.000 % | c | 141444 | 1550 4965 118706 | 7320 3858 320 | 0.000 % | c | 141950 | 1550 4965 118706 | 8052 4364 320 | 0.000 % | c | 142709 | 1550 4965 118706 | 8857 5123 320 | 0.000 % | c | 143848 | 1550 4965 118706 | 9743 6262 320 | 0.000 % | c | 145556 | 1550 4965 118706 | 10717 7970 320 | 0.000 % | c | 148118 | 1550 4965 118706 | 11789 10532 320 | 0.000 % | c | 151962 | 1550 4965 118706 | 12968 8300 320 | 0.000 % | c | 157729 | 1550 4965 118706 | 14265 7388 320 | 0.000 % | c | 166378 | 1550 4965 118706 | 15692 8734 320 | 0.000 % | c | 179352 | 1550 4965 118706 | 17261 13679 320 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 83.5353 s Remaining CPU time: 96.4647 s c =============================================================================== c | 198174 | 1550 4966 119231 | 5000 14889 320 | 0.000 % | c | 198274 | 1550 4966 119231 | 5500 3823 320 | 0.000 % | c | 198425 | 1550 4966 119231 | 6050 3974 320 | 0.000 % | c | 198650 | 1550 4966 119231 | 6655 4199 319 | 0.000 % | c | 198988 | 1550 4966 119231 | 7320 4537 319 | 0.000 % | c | 199494 | 1550 4966 119231 | 8052 5043 319 | 0.000 % | c | 200253 | 1550 4966 119231 | 8857 5802 319 | 0.000 % | c | 201392 | 1550 4966 119231 | 9743 6941 319 | 0.000 % | c | 203101 | 1550 4966 119231 | 10717 8650 319 | 0.000 % | c | 205663 | 1550 4966 119231 | 11789 5679 318 | 0.000 % | c | 209507 | 1550 4966 119231 | 12968 9523 319 | 0.000 % | c | 215273 | 1550 4966 119231 | 14265 8624 319 | 0.000 % | c | 223922 | 1550 4966 119231 | 15692 9969 319 | 0.000 % | c | 236896 | 1550 4966 119231 | 17261 14911 319 | 0.000 % | c | 256357 | 1550 4966 119231 | 18987 16763 319 | 0.000 % |