c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4722 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1551 | c | Number Clauses: 4707 | 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 4707 9928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1551 4708 10454 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1551 4709 10980 | 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 | 1551 4710 11506 | 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 | 1551 4711 12032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1551 4712 12558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1551 4713 13084 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1551 4714 13610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1551 4715 14136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1551 4716 14662 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1551 4717 15188 | 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 | 1551 4718 15714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1551 4719 16240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1551 4720 16766 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1551 4721 17292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1551 4722 17818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1551 4723 18344 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1551 4724 18870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1551 4725 19396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1551 4726 19922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1551 4727 20448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1551 4728 20974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1551 4729 21500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1 | 1551 4730 22026 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1 | 1551 4731 22552 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1551 4732 23078 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1551 4733 23604 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 1551 4734 24130 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 1551 4735 24656 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 1551 4736 25182 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 1 | 1551 4737 25708 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1551 4738 26234 | 5000 1 505 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 2 | 1551 4739 26760 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 2 | 1551 4740 27286 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 2 | 1551 4741 27812 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 2 | 1551 4742 28338 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 2 | 1551 4743 28864 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 2 | 1551 4744 29390 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 2 | 1551 4745 29916 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 2 | 1551 4746 30442 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 2 | 1551 4747 30968 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 2 | 1551 4748 31494 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 2 | 1551 4749 32020 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 2 | 1551 4750 32546 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 2 | 1551 4751 33072 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 2 | 1551 4752 33598 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 2 | 1551 4753 34124 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 2 | 1551 4754 34650 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 2 | 1551 4755 35176 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 2 | 1551 4756 35702 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 2 | 1551 4757 36228 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 2 | 1551 4758 36754 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 2 | 1551 4759 37280 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 2 | 1551 4760 37806 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 2 | 1551 4761 38332 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 2 | 1551 4762 38858 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 2 | 1551 4763 39384 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 2 | 1551 4764 39910 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 2 | 1551 4765 40436 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 2 | 1551 4766 40962 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 2 | 1551 4767 41488 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 2 | 1551 4768 42014 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 2 | 1551 4769 42540 | 5000 2 254 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 3 | 1551 4770 43066 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 3 | 1551 4771 43592 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 3 | 1551 4772 44118 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 3 | 1551 4773 44644 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 3 | 1551 4774 45170 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 3 | 1551 4775 45696 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 3 | 1551 4776 46222 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 3 | 1551 4777 46748 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 3 | 1551 4778 47274 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 3 | 1551 4779 47800 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 3 | 1551 4780 48326 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 3 | 1551 4781 48852 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 3 | 1551 4782 49378 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 3 | 1551 4783 49904 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 3 | 1551 4784 50430 | 5000 3 324 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 5 | 1551 4785 50956 | 5000 5 374 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 5 | 1551 4786 51482 | 5000 5 374 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 5 | 1551 4787 52008 | 5000 5 374 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 5 | 1551 4788 52534 | 5000 5 374 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 5 | 1551 4789 53060 | 5000 5 374 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 7 | 1551 4790 53586 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 7 | 1551 4791 54112 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 7 | 1551 4792 54638 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 7 | 1551 4793 55164 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 7 | 1551 4794 55690 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 7 | 1551 4795 56216 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 7 | 1551 4796 56742 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 7 | 1551 4797 57268 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 7 | 1551 4798 57794 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 7 | 1551 4799 58320 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 7 | 1551 4800 58846 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 7 | 1551 4801 59372 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 7 | 1551 4802 59898 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 7 | 1551 4803 60424 | 5000 7 395 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 8 | 1551 4804 60950 | 5000 8 346 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 8 | 1551 4805 61476 | 5000 8 346 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 8 | 1551 4806 62002 | 5000 8 346 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 8 | 1551 4807 62528 | 5000 8 346 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 12 | 1551 4808 63054 | 5000 12 373 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 12 | 1551 4809 63580 | 5000 12 373 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 15 | 1551 4810 64106 | 5000 15 383 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 15 | 1551 4811 64632 | 5000 15 383 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 15 | 1551 4812 65158 | 5000 15 383 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 15 | 1551 4813 65684 | 5000 15 383 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 22 | 1551 4814 66210 | 5000 22 395 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 24 | 1551 4815 66736 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 24 | 1551 4816 67262 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 24 | 1551 4817 67788 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 24 | 1551 4818 68314 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 24 | 1551 4819 68840 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 24 | 1551 4820 69366 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 24 | 1551 4821 69892 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 24 | 1551 4822 70418 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s c =============================================================================== c | 24 | 1551 4823 70944 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 24 | 1551 4824 71470 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 24 | 1551 4825 71996 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s c =============================================================================== c | 24 | 1551 4826 72522 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 24 | 1551 4827 73048 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 24 | 1551 4828 73574 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 24 | 1551 4829 74100 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 24 | 1551 4830 74626 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 24 | 1551 4831 75152 | 5000 24 397 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s c =============================================================================== c | 34 | 1551 4832 75678 | 5000 34 399 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 34 | 1551 4833 76204 | 5000 34 399 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 34 | 1551 4834 76730 | 5000 34 399 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 34 | 1551 4835 77256 | 5000 34 399 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s c =============================================================================== c | 38 | 1551 4836 77782 | 5000 38 399 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 41 | 1551 4837 78308 | 5000 41 399 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.98185 s Remaining CPU time: 179.018 s c =============================================================================== c | 50 | 1551 4838 78834 | 5000 50 399 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 57 | 1551 4839 79360 | 5000 57 398 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 57 | 1551 4840 79886 | 5000 57 398 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s c =============================================================================== c | 57 | 1551 4841 80412 | 5000 57 398 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s c =============================================================================== c | 63 | 1551 4842 80938 | 5000 63 398 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.05584 s Remaining CPU time: 178.944 s c =============================================================================== c | 63 | 1551 4843 81464 | 5000 63 398 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 71 | 1551 4844 81990 | 5000 71 397 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.08983 s Remaining CPU time: 178.91 s c =============================================================================== c | 77 | 1551 4845 82516 | 5000 77 397 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s c =============================================================================== c | 77 | 1551 4846 83042 | 5000 77 397 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 82 | 1551 4847 83568 | 5000 82 396 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 82 | 1551 4848 84094 | 5000 82 396 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.15382 s Remaining CPU time: 178.846 s c =============================================================================== c | 82 | 1551 4849 84620 | 5000 82 396 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.17082 s Remaining CPU time: 178.829 s c =============================================================================== c | 82 | 1551 4850 85146 | 5000 82 396 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.18882 s Remaining CPU time: 178.811 s c =============================================================================== c | 89 | 1551 4851 85672 | 5000 89 395 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 97 | 1551 4852 86198 | 5000 97 394 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 102 | 1551 4853 86724 | 5000 102 393 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 102 | 1551 4854 87250 | 5000 102 393 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 102 | 1551 4855 87776 | 5000 102 393 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.27581 s Remaining CPU time: 178.724 s c =============================================================================== c | 102 | 1551 4856 88302 | 5000 102 393 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 107 | 1551 4857 88828 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 107 | 1551 4858 89354 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 107 | 1551 4859 89880 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 107 | 1551 4860 90406 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 107 | 1551 4861 90932 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.37779 s Remaining CPU time: 178.622 s c =============================================================================== c | 107 | 1551 4862 91458 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 107 | 1551 4863 91984 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 107 | 1551 4864 92510 | 5000 107 393 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 119 | 1551 4865 93036 | 5000 119 390 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.45278 s Remaining CPU time: 178.547 s c =============================================================================== c | 127 | 1551 4866 93562 | 5000 127 389 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.46978 s Remaining CPU time: 178.53 s c =============================================================================== c | 127 | 1551 4867 94088 | 5000 127 389 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.48877 s Remaining CPU time: 178.511 s c =============================================================================== c | 127 | 1551 4868 94614 | 5000 127 389 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 127 | 1551 4869 95140 | 5000 127 389 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 127 | 1551 4870 95666 | 5000 127 389 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.54177 s Remaining CPU time: 178.458 s c =============================================================================== c | 127 | 1551 4871 96192 | 5000 127 389 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.56076 s Remaining CPU time: 178.439 s c =============================================================================== c | 127 | 1551 4872 96718 | 5000 127 389 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.57976 s Remaining CPU time: 178.42 s c =============================================================================== c | 128 | 1551 4873 97244 | 5000 128 389 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s c =============================================================================== c | 138 | 1551 4874 97770 | 5000 138 387 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s c =============================================================================== c | 138 | 1551 4875 98296 | 5000 138 387 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.64375 s Remaining CPU time: 178.356 s c =============================================================================== c | 147 | 1551 4876 98822 | 5000 147 385 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 147 | 1551 4877 99348 | 5000 147 385 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 153 | 1551 4878 99874 | 5000 153 384 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s c =============================================================================== c | 160 | 1551 4879 100400 | 5000 160 383 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.72874 s Remaining CPU time: 178.271 s c =============================================================================== c | 165 | 1551 4880 100926 | 5000 165 382 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 165 | 1551 4881 101452 | 5000 165 382 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.76973 s Remaining CPU time: 178.23 s c =============================================================================== c | 170 | 1551 4882 101978 | 5000 170 381 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.79073 s Remaining CPU time: 178.209 s c =============================================================================== c | 176 | 1551 4883 102504 | 5000 176 380 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 184 | 1551 4884 103030 | 5000 184 379 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.83372 s Remaining CPU time: 178.166 s c =============================================================================== c | 184 | 1551 4885 103556 | 5000 184 379 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.86272 s Remaining CPU time: 178.137 s c =============================================================================== c | 213 | 1551 4886 104082 | 5000 213 375 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.88471 s Remaining CPU time: 178.115 s c =============================================================================== c | 216 | 1551 4887 104608 | 5000 216 374 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.90571 s Remaining CPU time: 178.094 s c =============================================================================== c | 216 | 1551 4888 105134 | 5000 216 374 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.92671 s Remaining CPU time: 178.073 s c =============================================================================== c | 222 | 1551 4889 105660 | 5000 222 374 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.9477 s Remaining CPU time: 178.052 s c =============================================================================== c | 228 | 1551 4890 106186 | 5000 228 373 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.9697 s Remaining CPU time: 178.03 s c =============================================================================== c | 235 | 1551 4891 106712 | 5000 235 372 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.9897 s Remaining CPU time: 178.01 s c =============================================================================== c | 235 | 1551 4892 107238 | 5000 235 372 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.01169 s Remaining CPU time: 177.988 s c =============================================================================== c | 235 | 1551 4893 107764 | 5000 235 372 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 240 | 1551 4894 108290 | 5000 240 371 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.05569 s Remaining CPU time: 177.944 s c =============================================================================== c | 240 | 1551 4895 108816 | 5000 240 371 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.07968 s Remaining CPU time: 177.92 s c =============================================================================== c | 247 | 1551 4896 109342 | 5000 247 371 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 247 | 1551 4897 109868 | 5000 247 371 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.13567 s Remaining CPU time: 177.864 s c =============================================================================== c | 289 | 1551 4898 110394 | 5000 289 366 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.16067 s Remaining CPU time: 177.839 s c =============================================================================== c | 296 | 1551 4899 110920 | 5000 296 365 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.18367 s Remaining CPU time: 177.816 s c =============================================================================== c | 302 | 1551 4900 111446 | 5000 302 364 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s c =============================================================================== c | 302 | 1551 4901 111972 | 5000 302 364 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.22766 s Remaining CPU time: 177.772 s c =============================================================================== c | 302 | 1551 4902 112498 | 5000 302 364 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.25366 s Remaining CPU time: 177.746 s c =============================================================================== c | 318 | 1551 4903 113024 | 5000 318 363 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.27665 s Remaining CPU time: 177.723 s c =============================================================================== c | 318 | 1551 4904 113550 | 5000 318 363 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.30065 s Remaining CPU time: 177.699 s c =============================================================================== c | 318 | 1551 4905 114076 | 5000 318 363 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.35964 s Remaining CPU time: 177.64 s c =============================================================================== c | 403 | 1551 4906 114602 | 5000 403 356 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.38264 s Remaining CPU time: 177.617 s c =============================================================================== c | 405 | 1551 4907 115128 | 5000 405 356 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 421 | 1551 4908 115654 | 5000 421 355 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.43263 s Remaining CPU time: 177.567 s c =============================================================================== c | 422 | 1551 4909 116180 | 5000 422 354 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.45663 s Remaining CPU time: 177.543 s c =============================================================================== c | 426 | 1551 4910 116706 | 5000 426 354 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.48162 s Remaining CPU time: 177.518 s c =============================================================================== c | 428 | 1551 4911 117232 | 5000 428 354 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.50662 s Remaining CPU time: 177.493 s c =============================================================================== c | 442 | 1551 4912 117758 | 5000 442 353 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.53062 s Remaining CPU time: 177.469 s c =============================================================================== c | 444 | 1551 4913 118284 | 5000 444 353 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.55561 s Remaining CPU time: 177.444 s c =============================================================================== c | 446 | 1551 4914 118810 | 5000 446 353 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.58161 s Remaining CPU time: 177.418 s c =============================================================================== c | 452 | 1551 4915 119336 | 5000 452 352 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 2.6086 s Remaining CPU time: 177.391 s c =============================================================================== c | 459 | 1551 4916 119862 | 5000 459 352 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 2.6356 s Remaining CPU time: 177.364 s c =============================================================================== c | 472 | 1551 4917 120388 | 5000 472 351 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 508 | 1551 4918 120914 | 5000 508 348 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 2.69759 s Remaining CPU time: 177.302 s c =============================================================================== c | 518 | 1551 4919 121440 | 5000 518 348 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 2.72358 s Remaining CPU time: 177.276 s c =============================================================================== c | 528 | 1551 4920 121966 | 5000 528 347 | 0.000 % | c | 628 | 1551 4920 121966 | 5500 628 342 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 2.79957 s Remaining CPU time: 177.2 s c =============================================================================== c | 645 | 1551 4921 122492 | 5000 645 341 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 2.82457 s Remaining CPU time: 177.175 s c =============================================================================== c | 645 | 1551 4922 123018 | 5000 645 341 | 0.000 % | c | 745 | 1551 4922 123018 | 5500 745 337 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.92256 s Remaining CPU time: 177.077 s c =============================================================================== c | 808 | 1551 4923 123544 | 5000 808 335 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 902 | 1551 4924 124070 | 5000 902 333 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.01754 s Remaining CPU time: 176.982 s c =============================================================================== c | 964 | 1551 4925 124596 | 5000 964 331 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.06153 s Remaining CPU time: 176.938 s c =============================================================================== c | 1022 | 1551 4926 125122 | 5000 1022 330 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.10753 s Remaining CPU time: 176.892 s c =============================================================================== c | 1093 | 1551 4927 125648 | 5000 1093 329 | 0.000 % | c | 1193 | 1551 4927 125648 | 5500 1193 327 | 0.000 % | c | 1343 | 1551 4927 125648 | 6050 1343 325 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 3.2815 s Remaining CPU time: 176.718 s c =============================================================================== c | 1400 | 1551 4928 126174 | 5000 1400 324 | 0.000 % | c | 1500 | 1551 4928 126174 | 5500 1500 323 | 0.000 % | c | 1650 | 1551 4928 126174 | 6050 1650 321 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.46747 s Remaining CPU time: 176.533 s c =============================================================================== c | 1786 | 1551 4929 126700 | 5000 1786 320 | 0.000 % | c | 1888 | 1551 4929 126700 | 5500 1888 319 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 1950 | 1551 4930 127226 | 5000 1950 319 | 0.000 % | c | 2050 | 1551 4930 127226 | 5500 2050 318 | 0.000 % | c | 2200 | 1551 4930 127226 | 6050 2200 317 | 0.000 % | c | 2425 | 1551 4930 127226 | 6655 2425 316 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 3.81742 s Remaining CPU time: 176.183 s c =============================================================================== c | 2508 | 1551 4931 127752 | 5000 2508 315 | 0.000 % | c | 2608 | 1551 4931 127752 | 5500 2608 315 | 0.000 % | c | 2758 | 1551 4931 127752 | 6050 2758 314 | 0.000 % | c | 2984 | 1551 4931 127752 | 6655 2984 314 | 0.000 % | c | 3321 | 1551 4931 127752 | 7320 3321 313 | 0.000 % | c | 3827 | 1551 4931 127752 | 8052 3827 311 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 4.5863 s Remaining CPU time: 175.414 s c =============================================================================== c | 4362 | 1551 4932 128278 | 5000 4362 310 | 0.000 % | c | 4462 | 1551 4932 128278 | 5500 4462 310 | 0.000 % | c | 4613 | 1551 4932 128278 | 6050 4613 310 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 4.77827 s Remaining CPU time: 175.222 s c =============================================================================== c | 4707 | 1551 4933 128804 | 5000 4707 310 | 0.000 % | c | 4807 | 1551 4933 128804 | 5500 4807 310 | 0.000 % | c | 4957 | 1551 4933 128804 | 6050 4957 309 | 0.000 % | c | 5182 | 1551 4933 128804 | 6655 5182 309 | 0.000 % | c | 5519 | 1551 4933 128804 | 7320 5519 309 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 5.2842 s Remaining CPU time: 174.716 s c =============================================================================== c | 5793 | 1551 4934 129330 | 5000 5793 308 | 0.000 % | c | 5893 | 1551 4934 129330 | 5500 2997 302 | 0.000 % | c | 6043 | 1551 4934 129330 | 6050 3147 302 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 5.51816 s Remaining CPU time: 174.482 s c =============================================================================== c | 6210 | 1551 4935 129856 | 5000 3314 302 | 0.000 % | c | 6310 | 1551 4935 129856 | 5500 3414 302 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 5.61815 s Remaining CPU time: 174.382 s c =============================================================================== c | 6368 | 1551 4936 130382 | 5000 3472 302 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 5.66114 s Remaining CPU time: 174.339 s c =============================================================================== c | 6421 | 1551 4937 130908 | 5000 3525 302 | 0.000 % | c | 6522 | 1551 4937 130908 | 5500 3626 302 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 5.78512 s Remaining CPU time: 174.215 s c =============================================================================== c | 6641 | 1551 4938 131434 | 5000 3745 302 | 0.000 % | c | 6742 | 1551 4938 131434 | 5500 3846 302 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 5.8931 s Remaining CPU time: 174.107 s c =============================================================================== c | 6855 | 1551 4939 131960 | 5000 3959 301 | 0.000 % | c | 6956 | 1551 4939 131960 | 5500 4060 301 | 0.000 % | c | 7106 | 1551 4939 131960 | 6050 4210 301 | 0.000 % | c | 7332 | 1551 4939 131960 | 6655 4436 301 | 0.000 % | c | 7669 | 1551 4939 131960 | 7320 4773 300 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 6.28404 s Remaining CPU time: 173.716 s c =============================================================================== c | 7677 | 1551 4940 132486 | 5000 4781 300 | 0.000 % | c | 7777 | 1551 4940 132486 | 5500 4881 300 | 0.000 % | c | 7927 | 1551 4940 132486 | 6050 5031 300 | 0.000 % | c | 8152 | 1551 4940 132486 | 6655 5256 300 | 0.000 % | c | 8489 | 1551 4940 132486 | 7320 5593 300 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 6.75397 s Remaining CPU time: 173.246 s c =============================================================================== c | 8713 | 1551 4941 133012 | 5000 5817 299 | 0.000 % | c | 8813 | 1551 4941 133012 | 5500 3009 296 | 0.000 % | c | 8963 | 1551 4941 133012 | 6050 3159 296 | 0.000 % | c | 9188 | 1551 4941 133012 | 6655 3384 296 | 0.000 % | c | 9525 | 1551 4941 133012 | 7320 3721 295 | 0.000 % | c | 10031 | 1551 4941 133012 | 8052 4227 295 | 0.000 % | c | 10791 | 1551 4941 133012 | 8857 4987 295 | 0.000 % | c | 11930 | 1551 4941 133012 | 9743 6126 295 | 0.000 % | c | 13638 | 1551 4941 133012 | 10717 7834 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 9.49656 s Remaining CPU time: 170.503 s c =============================================================================== c | 16141 | 1551 4942 133538 | 5000 10337 294 | 0.000 % | c | 16241 | 1551 4942 133538 | 5500 2685 294 | 0.000 % | c | 16391 | 1551 4942 133538 | 6050 2835 294 | 0.000 % | c | 16616 | 1551 4942 133538 | 6655 3060 293 | 0.000 % | c | 16953 | 1551 4942 133538 | 7320 3397 293 | 0.000 % | c | 17460 | 1551 4942 133538 | 8052 3904 293 | 0.000 % | c | 18219 | 1551 4942 133538 | 8857 4663 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 10.7654 s Remaining CPU time: 169.235 s c =============================================================================== c | 18991 | 1551 4943 134064 | 5000 5435 293 | 0.000 % | c | 19092 | 1551 4943 134064 | 5500 2819 292 | 0.000 % | c | 19242 | 1551 4943 134064 | 6050 2969 292 | 0.000 % | c | 19467 | 1551 4943 134064 | 6655 3194 292 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 11.0793 s Remaining CPU time: 168.921 s c =============================================================================== c | 19475 | 1551 4944 134590 | 5000 3202 292 | 0.000 % | c | 19575 | 1551 4944 134590 | 5500 3302 292 | 0.000 % | c | 19725 | 1551 4944 134590 | 6050 3452 292 | 0.000 % | c | 19950 | 1551 4944 134590 | 6655 3677 292 | 0.000 % | c | 20288 | 1551 4944 134590 | 7320 4015 292 | 0.000 % | c | 20795 | 1551 4944 134590 | 8052 4522 292 | 0.000 % | c | 21554 | 1551 4944 134590 | 8857 5281 292 | 0.000 % | c | 22693 | 1551 4944 134590 | 9743 6420 291 | 0.000 % | c | 24401 | 1551 4944 134590 | 10717 8128 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 14.0659 s Remaining CPU time: 165.934 s c =============================================================================== c | 26094 | 1551 4945 135116 | 5000 9821 291 | 0.000 % | c | 26194 | 1551 4945 135116 | 5500 5011 291 | 0.000 % | c | 26345 | 1551 4945 135116 | 6050 5162 291 | 0.000 % | c | 26571 | 1551 4945 135116 | 6655 5388 291 | 0.000 % | c | 26908 | 1551 4945 135116 | 7320 5725 290 | 0.000 % | c | 27414 | 1551 4945 135116 | 8052 6231 290 | 0.000 % | c | 28173 | 1551 4945 135116 | 8857 6990 290 | 0.000 % | c | 29312 | 1551 4945 135116 | 9743 8129 290 | 0.000 % | c | 31021 | 1551 4945 135116 | 10717 9838 290 | 0.000 % | c | 33583 | 1551 4945 135116 | 11789 6876 290 | 0.000 % | c | 37427 | 1551 4945 135116 | 12968 10720 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 19.582 s Remaining CPU time: 160.418 s c =============================================================================== c | 37483 | 1551 4946 135642 | 5000 10776 290 | 0.000 % | c | 37584 | 1551 4946 135642 | 5500 2795 290 | 0.000 % | c | 37734 | 1551 4946 135642 | 6050 2945 290 | 0.000 % | c | 37959 | 1551 4946 135642 | 6655 3170 290 | 0.000 % | c | 38296 | 1551 4946 135642 | 7320 3507 290 | 0.000 % | c | 38802 | 1551 4946 135642 | 8052 4013 290 | 0.000 % | c | 39561 | 1551 4946 135642 | 8857 4772 290 | 0.000 % | c | 40700 | 1551 4946 135642 | 9743 5911 289 | 0.000 % | c | 42408 | 1551 4946 135642 | 10717 7619 289 | 0.000 % | c | 44970 | 1551 4946 135642 | 11789 10181 289 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 24.8402 s Remaining CPU time: 155.16 s c =============================================================================== c | 48806 | 1551 4947 136168 | 5000 7955 289 | 0.000 % | c | 48906 | 1551 4947 136168 | 5500 4078 289 | 0.000 % | c | 49056 | 1551 4947 136168 | 6050 4228 289 | 0.000 % | c | 49281 | 1551 4947 136168 | 6655 4453 289 | 0.000 % | c | 49618 | 1551 4947 136168 | 7320 4790 289 | 0.000 % | c | 50124 | 1551 4947 136168 | 8052 5296 289 | 0.000 % | c | 50883 | 1551 4947 136168 | 8857 6055 289 | 0.000 % | c | 52023 | 1551 4947 136168 | 9743 7195 289 | 0.000 % | c | 53731 | 1551 4947 136168 | 10717 8903 288 | 0.000 % | c | 56293 | 1551 4947 136168 | 11789 5943 288 | 0.000 % | c | 60137 | 1551 4947 136168 | 12968 9787 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 31.8272 s Remaining CPU time: 148.173 s c =============================================================================== c | 63798 | 1551 4948 136694 | 5000 6792 288 | 0.000 % | c | 63898 | 1551 4948 136694 | 5500 3496 288 | 0.000 % | c | 64049 | 1551 4948 136694 | 6050 3647 288 | 0.000 % | c | 64274 | 1551 4948 136694 | 6655 3872 288 | 0.000 % | c | 64611 | 1551 4948 136694 | 7320 4209 288 | 0.000 % | c | 65117 | 1551 4948 136694 | 8052 4715 288 | 0.000 % | c | 65876 | 1551 4948 136694 | 8857 5474 288 | 0.000 % | c | 67015 | 1551 4948 136694 | 9743 6613 288 | 0.000 % | c | 68726 | 1551 4948 136694 | 10717 8324 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 34.7187 s Remaining CPU time: 145.281 s c =============================================================================== c | 70337 | 1551 4949 137220 | 5000 9935 288 | 0.000 % | c | 70437 | 1551 4949 137220 | 5500 5068 287 | 0.000 % | c | 70587 | 1551 4949 137220 | 6050 5218 287 | 0.000 % | c | 70812 | 1551 4949 137220 | 6655 5443 287 | 0.000 % | c | 71149 | 1551 4949 137220 | 7320 5780 287 | 0.000 % | c | 71655 | 1551 4949 137220 | 8052 6286 287 | 0.000 % | c | 72414 | 1551 4949 137220 | 8857 7045 287 | 0.000 % | c | 73553 | 1551 4949 137220 | 9743 8184 287 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 36.7714 s Remaining CPU time: 143.229 s c =============================================================================== c | 74875 | 1551 4950 137746 | 5000 9506 287 | 0.000 % | c | 74975 | 1551 4950 137746 | 5500 4853 286 | 0.000 % | c | 75126 | 1551 4950 137746 | 6050 5004 286 | 0.000 % | c | 75351 | 1551 4950 137746 | 6655 5229 286 | 0.000 % | c | 75688 | 1551 4950 137746 | 7320 5566 286 | 0.000 % | c | 76194 | 1551 4950 137746 | 8052 6072 286 | 0.000 % | c | 76953 | 1551 4950 137746 | 8857 6831 286 | 0.000 % | c | 78092 | 1551 4950 137746 | 9743 7970 286 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 38.7131 s Remaining CPU time: 141.287 s c =============================================================================== c | 79334 | 1551 4951 138272 | 5000 9212 286 | 0.000 % | c | 79434 | 1551 4951 138272 | 5500 4706 285 | 0.000 % | c | 79584 | 1551 4951 138272 | 6050 4856 285 | 0.000 % | c | 79809 | 1551 4951 138272 | 6655 5081 285 | 0.000 % | c | 80146 | 1551 4951 138272 | 7320 5418 285 | 0.000 % | c | 80652 | 1551 4951 138272 | 8052 5924 285 | 0.000 % | c | 81411 | 1551 4951 138272 | 8857 6683 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 39.8139 s Remaining CPU time: 140.186 s c =============================================================================== c | 81648 | 1551 4952 138798 | 5000 6920 285 | 0.000 % | c | 81748 | 1551 4952 138798 | 5500 3560 284 | 0.000 % | c | 81898 | 1551 4952 138798 | 6050 3710 284 | 0.000 % | c | 82123 | 1551 4952 138798 | 6655 3935 284 | 0.000 % | c | 82460 | 1551 4952 138798 | 7320 4272 284 | 0.000 % | c | 82967 | 1551 4952 138798 | 8052 4779 284 | 0.000 % | c | 83727 | 1551 4952 138798 | 8857 5539 283 | 0.000 % | c | 84866 | 1551 4952 138798 | 9743 6678 283 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 41.4317 s Remaining CPU time: 138.568 s c =============================================================================== c | 85186 | 1551 4953 139324 | 5000 6998 283 | 0.000 % | c | 85286 | 1551 4953 139324 | 5500 3599 283 | 0.000 % | c | 85437 | 1551 4953 139324 | 6050 3750 283 | 0.000 % | c | 85662 | 1551 4953 139324 | 6655 3975 283 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 41.8126 s Remaining CPU time: 138.187 s c =============================================================================== c | 85835 | 1551 4954 139850 | 5000 4148 282 | 0.000 % | c | 85935 | 1551 4954 139850 | 5500 4248 282 | 0.000 % | c | 86086 | 1551 4954 139850 | 6050 4399 282 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 41.9856 s Remaining CPU time: 138.014 s c =============================================================================== c | 86115 | 1551 4955 140376 | 5000 4428 282 | 0.000 % | c | 86215 | 1551 4955 140376 | 5500 4528 282 | 0.000 % | c | 86365 | 1551 4955 140376 | 6050 4678 282 | 0.000 % | c | 86590 | 1551 4955 140376 | 6655 4903 282 | 0.000 % | c | 86927 | 1551 4955 140376 | 7320 5240 282 | 0.000 % | c | 87433 | 1551 4955 140376 | 8052 5746 282 | 0.000 % | c | 88193 | 1551 4955 140376 | 8857 6506 282 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 43.5294 s Remaining CPU time: 136.471 s c =============================================================================== c | 89329 | 1551 4956 140902 | 5000 7642 281 | 0.000 % | c | 89429 | 1551 4956 140902 | 5500 3921 280 | 0.000 % | c | 89579 | 1551 4956 140902 | 6050 4071 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 43.7583 s Remaining CPU time: 136.242 s c =============================================================================== c | 89680 | 1551 4957 141428 | 5000 4172 279 | 0.000 % | c | 89780 | 1551 4957 141428 | 5500 4272 279 | 0.000 % | c | 89930 | 1551 4957 141428 | 6050 4422 279 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 43.9443 s Remaining CPU time: 136.056 s c =============================================================================== c | 89967 | 1551 4958 141954 | 5000 4459 279 | 0.000 % | c | 90067 | 1551 4958 141954 | 5500 4559 279 | 0.000 % | c | 90219 | 1551 4958 141954 | 6050 4711 279 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 44.1843 s Remaining CPU time: 135.816 s c =============================================================================== c | 90411 | 1551 4959 142480 | 5000 4903 279 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 44.2453 s Remaining CPU time: 135.755 s c =============================================================================== c | 90501 | 1551 4960 143006 | 5000 4993 279 | 0.000 % | c | 90601 | 1551 4960 143006 | 5500 5093 279 | 0.000 % | c | 90751 | 1551 4960 143006 | 6050 5243 279 | 0.000 % | c | 90976 | 1551 4960 143006 | 6655 5468 279 | 0.000 % | c | 91314 | 1551 4960 143006 | 7320 5806 278 | 0.000 % | c | 91820 | 1551 4960 143006 | 8052 6312 278 | 0.000 % | c | 92579 | 1551 4960 143006 | 8857 7071 278 | 0.000 % | c | 93718 | 1551 4960 143006 | 9743 8210 277 | 0.000 % | c | 95426 | 1551 4960 143006 | 10717 9918 277 | 0.000 % | c | 97989 | 1551 4960 143006 | 11789 6964 275 | 0.000 % | c | 101834 | 1551 4960 143006 | 12968 10809 275 | 0.000 % | c | 107600 | 1551 4960 143006 | 14265 9924 275 | 0.000 % | c | 116251 | 1551 4960 143006 | 15692 11289 275 | 0.000 % | c | 129225 | 1551 4960 143006 | 17261 8254 275 | 0.000 % | c | 148687 | 1551 4960 143006 | 18987 10144 276 | 0.000 % | c | 177879 | 1551 4960 143006 | 20886 10390 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 91.763 s Remaining CPU time: 88.237 s c =============================================================================== c | 185907 | 1551 4961 143532 | 5000 18418 275 | 0.000 % | c | 186007 | 1551 4961 143532 | 5500 4705 275 | 0.000 % | c | 186157 | 1551 4961 143532 | 6050 4855 275 | 0.000 % | c | 186383 | 1551 4961 143532 | 6655 5081 275 | 0.000 % | c | 186720 | 1551 4961 143532 | 7320 5418 275 | 0.000 % | c | 187228 | 1551 4961 143532 | 8052 5926 275 | 0.000 % | c | 187987 | 1551 4961 143532 | 8857 6685 275 | 0.000 % | c | 189126 | 1551 4961 143532 | 9743 7824 275 | 0.000 % | c | 190834 | 1551 4961 143532 | 10717 9532 275 | 0.000 % | c | 193397 | 1551 4961 143532 | 11789 6582 274 | 0.000 % | c | 197241 | 1551 4961 143532 | 12968 10426 274 | 0.000 % | c | 203007 | 1551 4961 143532 | 14265 9547 274 | 0.000 % | c | 211656 | 1551 4961 143532 | 15692 10904 274 | 0.000 % | c | 224631 | 1551 4961 143532 | 17261 15896 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 120.385 s Remaining CPU time: 59.6153 s c =============================================================================== c | 239276 | 1551 4962 144058 | 5000 12966 274 | 0.000 % | c | 239377 | 1551 4962 144058 | 5500 3343 274 | 0.000 % | c | 239527 | 1551 4962 144058 | 6050 3493 274 | 0.000 % | c | 239752 | 1551 4962 144058 | 6655 3718 274 | 0.000 % | c | 240089 | 1551 4962 144058 | 7320 4055 274 | 0.000 % | c | 240595 | 1551 4962 144058 | 8052 4561 274 | 0.000 % | c | 241354 | 1551 4962 144058 | 8857 5320 273 | 0.000 % | c | 242493 | 1551 4962 144058 | 9743 6459 274 | 0.000 % | c | 244202 | 1551 4962 144058 | 10717 8168 274 | 0.000 % | c | 246764 | 1551 4962 144058 | 11789 10730 274 | 0.000 % | c | 250608 | 1551 4962 144058 | 12968 8525 273 | 0.000 % | c | 256374 | 1551 4962 144058 | 14265 7658 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 130.716 s Remaining CPU time: 49.2839 s c =============================================================================== c | 261780 | 1551 4963 144584 | 5000 13064 273 | 0.000 % | c | 261880 | 1551 4963 144584 | 5500 3366 273 | 0.000 % | c | 262030 | 1551 4963 144584 | 6050 3516 273 | 0.000 % | c | 262255 | 1551 4963 144584 | 6655 3741 272 | 0.000 % | c | 262593 | 1551 4963 144584 | 7320 4079 272 | 0.000 % | c | 263099 | 1551 4963 144584 | 8052 4585 272 | 0.000 % | c | 263858 | 1551 4963 144584 | 8857 5344 272 | 0.000 % | c | 264997 | 1551 4963 144584 | 9743 6483 272 | 0.000 % | c | 266706 | 1551 4963 144584 | 10717 8192 273 | 0.000 % | c | 269268 | 1551 4963 144584 | 11789 10754 273 | 0.000 % | c | 273112 | 1551 4963 144584 | 12968 8559 272 | 0.000 % | c | 278878 | 1551 4963 144584 | 14265 7685 272 | 0.000 % | c | 287527 | 1551 4963 144584 | 15692 9024 272 | 0.000 % | c | 300501 | 1551 4963 144584 | 17261 14000 272 | 0.000 % |