c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4762 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1551 | c | Number Clauses: 4752 | 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 4752 10023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1551 4753 10544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1551 4754 11065 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1551 4755 11586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1551 4756 12107 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1551 4757 12628 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1551 4758 13149 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1551 4759 13670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1551 4760 14191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1551 4761 14712 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1551 4762 15233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1551 4763 15754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1551 4764 16275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1551 4765 16796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1551 4766 17317 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1551 4767 17838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1551 4768 18359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1551 4769 18880 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1551 4770 19401 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1551 4771 19922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1551 4772 20443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1551 4773 20964 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1551 4774 21485 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1551 4775 22006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1551 4776 22527 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1551 4777 23048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1551 4778 23569 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1551 4779 24090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1551 4780 24611 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1551 4781 25132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1551 4782 25653 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1551 4783 26174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1551 4784 26695 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1551 4785 27216 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1551 4786 27737 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1551 4787 28258 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 1551 4788 28779 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1 | 1551 4789 29300 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1551 4790 29821 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 1551 4791 30342 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1551 4792 30863 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1551 4793 31384 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1551 4794 31905 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 1 | 1551 4795 32426 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 1 | 1551 4796 32947 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 1 | 1551 4797 33468 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 1 | 1551 4798 33989 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 1 | 1551 4799 34510 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1 | 1551 4800 35031 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 1 | 1551 4801 35552 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 1 | 1551 4802 36073 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 1 | 1551 4803 36594 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 1 | 1551 4804 37115 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 1 | 1551 4805 37636 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 1 | 1551 4806 38157 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 1 | 1551 4807 38678 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 1 | 1551 4808 39199 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 1 | 1551 4809 39720 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 1 | 1551 4810 40241 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 1 | 1551 4811 40762 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 1 | 1551 4812 41283 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 1 | 1551 4813 41804 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 1 | 1551 4814 42325 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 1 | 1551 4815 42846 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 1 | 1551 4816 43367 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 1 | 1551 4817 43888 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 1 | 1551 4818 44409 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 1 | 1551 4819 44930 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 1 | 1551 4820 45451 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 1 | 1551 4821 45972 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 1 | 1551 4822 46493 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 1 | 1551 4823 47014 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 1 | 1551 4824 47535 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 1 | 1551 4825 48056 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 1 | 1551 4826 48577 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 1 | 1551 4827 49098 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 1 | 1551 4828 49619 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 1 | 1551 4829 50140 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 1 | 1551 4830 50661 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 2 | 1551 4831 51182 | 5000 2 466 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 2 | 1551 4832 51703 | 5000 2 466 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 2 | 1551 4833 52224 | 5000 2 466 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 2 | 1551 4834 52745 | 5000 2 466 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 2 | 1551 4835 53266 | 5000 2 466 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 2 | 1551 4836 53787 | 5000 2 466 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 2 | 1551 4837 54308 | 5000 2 466 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 3 | 1551 4838 54829 | 5000 3 312 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 3 | 1551 4839 55350 | 5000 3 312 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 3 | 1551 4840 55871 | 5000 3 312 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 3 | 1551 4841 56392 | 5000 3 312 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 3 | 1551 4842 56913 | 5000 3 312 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 4 | 1551 4843 57434 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 4 | 1551 4844 57955 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 4 | 1551 4845 58476 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 4 | 1551 4846 58997 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 4 | 1551 4847 59518 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 4 | 1551 4848 60039 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 4 | 1551 4849 60560 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 4 | 1551 4850 61081 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 4 | 1551 4851 61602 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 4 | 1551 4852 62123 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 4 | 1551 4853 62644 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 4 | 1551 4854 63165 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 4 | 1551 4855 63686 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 4 | 1551 4856 64207 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 4 | 1551 4857 64728 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 4 | 1551 4858 65249 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 4 | 1551 4859 65770 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 4 | 1551 4860 66291 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 4 | 1551 4861 66812 | 5000 4 342 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 5 | 1551 4862 67333 | 5000 5 356 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 5 | 1551 4863 67854 | 5000 5 356 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 5 | 1551 4864 68375 | 5000 5 356 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 5 | 1551 4865 68896 | 5000 5 356 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 6 | 1551 4866 69417 | 5000 6 365 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 6 | 1551 4867 69938 | 5000 6 365 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 6 | 1551 4868 70459 | 5000 6 365 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 6 | 1551 4869 70980 | 5000 6 365 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 6 | 1551 4870 71501 | 5000 6 365 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 7 | 1551 4871 72022 | 5000 7 370 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 7 | 1551 4872 72543 | 5000 7 370 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 7 | 1551 4873 73064 | 5000 7 370 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 7 | 1551 4874 73585 | 5000 7 370 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 11 | 1551 4875 74106 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s c =============================================================================== c | 11 | 1551 4876 74627 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 11 | 1551 4877 75148 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 11 | 1551 4878 75669 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 11 | 1551 4879 76190 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 11 | 1551 4880 76711 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 11 | 1551 4881 77232 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 11 | 1551 4882 77753 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.02884 s Remaining CPU time: 178.971 s c =============================================================================== c | 11 | 1551 4883 78274 | 5000 11 381 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 14 | 1551 4884 78795 | 5000 14 384 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.06384 s Remaining CPU time: 178.936 s c =============================================================================== c | 14 | 1551 4885 79316 | 5000 14 384 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.07984 s Remaining CPU time: 178.92 s c =============================================================================== c | 15 | 1551 4886 79837 | 5000 15 384 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s c =============================================================================== c | 15 | 1551 4887 80358 | 5000 15 384 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 15 | 1551 4888 80879 | 5000 15 384 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s c =============================================================================== c | 15 | 1551 4889 81400 | 5000 15 384 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.14983 s Remaining CPU time: 178.85 s c =============================================================================== c | 15 | 1551 4890 81921 | 5000 15 384 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.16782 s Remaining CPU time: 178.832 s c =============================================================================== c | 15 | 1551 4891 82442 | 5000 15 384 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 16 | 1551 4892 82963 | 5000 16 384 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.20682 s Remaining CPU time: 178.793 s c =============================================================================== c | 20 | 1551 4893 83484 | 5000 20 384 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 20 | 1551 4894 84005 | 5000 20 384 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 20 | 1551 4895 84526 | 5000 20 384 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.26381 s Remaining CPU time: 178.736 s c =============================================================================== c | 20 | 1551 4896 85047 | 5000 20 384 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 20 | 1551 4897 85568 | 5000 20 384 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 20 | 1551 4898 86089 | 5000 20 384 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.3218 s Remaining CPU time: 178.678 s c =============================================================================== c | 21 | 1551 4899 86610 | 5000 21 383 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 21 | 1551 4900 87131 | 5000 21 383 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.36279 s Remaining CPU time: 178.637 s c =============================================================================== c | 21 | 1551 4901 87652 | 5000 21 383 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.38179 s Remaining CPU time: 178.618 s c =============================================================================== c | 21 | 1551 4902 88173 | 5000 21 383 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 29 | 1551 4903 88694 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s c =============================================================================== c | 29 | 1551 4904 89215 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.44578 s Remaining CPU time: 178.554 s c =============================================================================== c | 29 | 1551 4905 89736 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 29 | 1551 4906 90257 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.48877 s Remaining CPU time: 178.511 s c =============================================================================== c | 29 | 1551 4907 90778 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.51077 s Remaining CPU time: 178.489 s c =============================================================================== c | 29 | 1551 4908 91299 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.53177 s Remaining CPU time: 178.468 s c =============================================================================== c | 29 | 1551 4909 91820 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 29 | 1551 4910 92341 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.57476 s Remaining CPU time: 178.425 s c =============================================================================== c | 36 | 1551 4911 92862 | 5000 36 377 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 45 | 1551 4912 93383 | 5000 45 374 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.61975 s Remaining CPU time: 178.38 s c =============================================================================== c | 45 | 1551 4913 93904 | 5000 45 374 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.64175 s Remaining CPU time: 178.358 s c =============================================================================== c | 45 | 1551 4914 94425 | 5000 45 374 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 45 | 1551 4915 94946 | 5000 45 374 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.68874 s Remaining CPU time: 178.311 s c =============================================================================== c | 61 | 1551 4916 95467 | 5000 61 370 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s c =============================================================================== c | 61 | 1551 4917 95988 | 5000 61 370 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.73374 s Remaining CPU time: 178.266 s c =============================================================================== c | 62 | 1551 4918 96509 | 5000 62 370 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 64 | 1551 4919 97030 | 5000 64 364 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.78073 s Remaining CPU time: 178.219 s c =============================================================================== c | 67 | 1551 4920 97551 | 5000 67 364 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 70 | 1551 4921 98072 | 5000 70 358 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.83172 s Remaining CPU time: 178.168 s c =============================================================================== c | 81 | 1551 4922 98593 | 5000 81 357 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.85572 s Remaining CPU time: 178.144 s c =============================================================================== c | 81 | 1551 4923 99114 | 5000 81 357 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.87871 s Remaining CPU time: 178.121 s c =============================================================================== c | 81 | 1551 4924 99635 | 5000 81 357 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.90171 s Remaining CPU time: 178.098 s c =============================================================================== c | 83 | 1551 4925 100156 | 5000 83 357 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 102 | 1551 4926 100677 | 5000 102 356 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.9657 s Remaining CPU time: 178.034 s c =============================================================================== c | 130 | 1551 4927 101198 | 5000 130 354 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.9907 s Remaining CPU time: 178.009 s c =============================================================================== c | 132 | 1551 4928 101719 | 5000 132 354 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.01669 s Remaining CPU time: 177.983 s c =============================================================================== c | 133 | 1551 4929 102240 | 5000 133 354 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.04369 s Remaining CPU time: 177.956 s c =============================================================================== c | 147 | 1551 4930 102761 | 5000 147 353 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s c =============================================================================== c | 152 | 1551 4931 103282 | 5000 152 353 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.09468 s Remaining CPU time: 177.905 s c =============================================================================== c | 154 | 1551 4932 103803 | 5000 154 353 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.12068 s Remaining CPU time: 177.879 s c =============================================================================== c | 158 | 1551 4933 104324 | 5000 158 352 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.14767 s Remaining CPU time: 177.852 s c =============================================================================== c | 162 | 1551 4934 104845 | 5000 162 352 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.17567 s Remaining CPU time: 177.824 s c =============================================================================== c | 174 | 1551 4935 105366 | 5000 174 351 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.19966 s Remaining CPU time: 177.8 s c =============================================================================== c | 175 | 1551 4936 105887 | 5000 175 351 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s c =============================================================================== c | 213 | 1551 4937 106408 | 5000 213 349 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s c =============================================================================== c | 221 | 1551 4938 106929 | 5000 221 348 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.29765 s Remaining CPU time: 177.702 s c =============================================================================== c | 239 | 1551 4939 107450 | 5000 239 348 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.32565 s Remaining CPU time: 177.674 s c =============================================================================== c | 243 | 1551 4940 107971 | 5000 243 347 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s c =============================================================================== c | 258 | 1551 4941 108492 | 5000 258 347 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.39563 s Remaining CPU time: 177.604 s c =============================================================================== c | 299 | 1551 4942 109013 | 5000 299 345 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.42963 s Remaining CPU time: 177.57 s c =============================================================================== c | 315 | 1551 4943 109534 | 5000 315 344 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.45863 s Remaining CPU time: 177.541 s c =============================================================================== c | 326 | 1551 4944 110055 | 5000 326 344 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.50762 s Remaining CPU time: 177.492 s c =============================================================================== c | 404 | 1551 4945 110576 | 5000 404 341 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.53861 s Remaining CPU time: 177.461 s c =============================================================================== c | 417 | 1551 4946 111097 | 5000 417 341 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.56661 s Remaining CPU time: 177.433 s c =============================================================================== c | 418 | 1551 4947 111618 | 5000 418 341 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.5986 s Remaining CPU time: 177.401 s c =============================================================================== c | 437 | 1551 4948 112139 | 5000 437 340 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.6306 s Remaining CPU time: 177.369 s c =============================================================================== c | 447 | 1551 4949 112660 | 5000 447 340 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.6586 s Remaining CPU time: 177.341 s c =============================================================================== c | 450 | 1551 4950 113181 | 5000 450 340 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.68959 s Remaining CPU time: 177.31 s c =============================================================================== c | 465 | 1551 4951 113702 | 5000 465 339 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 478 | 1551 4952 114223 | 5000 478 339 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.75258 s Remaining CPU time: 177.247 s c =============================================================================== c | 490 | 1551 4953 114744 | 5000 490 338 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.78858 s Remaining CPU time: 177.211 s c =============================================================================== c | 519 | 1551 4954 115265 | 5000 519 337 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 528 | 1551 4955 115786 | 5000 528 337 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 2.85257 s Remaining CPU time: 177.147 s c =============================================================================== c | 538 | 1551 4956 116307 | 5000 538 337 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 2.88356 s Remaining CPU time: 177.116 s c =============================================================================== c | 545 | 1551 4957 116828 | 5000 545 337 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 2.91656 s Remaining CPU time: 177.083 s c =============================================================================== c | 560 | 1551 4958 117349 | 5000 560 336 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 2.94555 s Remaining CPU time: 177.054 s c =============================================================================== c | 569 | 1551 4959 117870 | 5000 569 336 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 2.97555 s Remaining CPU time: 177.024 s c =============================================================================== c | 570 | 1551 4960 118391 | 5000 570 336 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 3.00654 s Remaining CPU time: 176.993 s c =============================================================================== c | 577 | 1551 4961 118912 | 5000 577 335 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 3.03854 s Remaining CPU time: 176.961 s c =============================================================================== c | 586 | 1551 4962 119433 | 5000 586 335 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 3.08553 s Remaining CPU time: 176.914 s c =============================================================================== c | 639 | 1551 4963 119954 | 5000 639 333 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 3.11653 s Remaining CPU time: 176.883 s c =============================================================================== c | 641 | 1551 4964 120475 | 5000 641 333 | 0.000 % | c | 741 | 1551 4964 120475 | 5500 741 330 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.20851 s Remaining CPU time: 176.791 s c =============================================================================== c | 752 | 1551 4965 120996 | 5000 752 329 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.24351 s Remaining CPU time: 176.756 s c =============================================================================== c | 769 | 1551 4966 121517 | 5000 769 329 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.2775 s Remaining CPU time: 176.722 s c =============================================================================== c | 778 | 1551 4967 122038 | 5000 778 329 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 3.3135 s Remaining CPU time: 176.687 s c =============================================================================== c | 796 | 1551 4968 122559 | 5000 796 328 | 0.000 % | c | 896 | 1551 4968 122559 | 5500 896 326 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.42748 s Remaining CPU time: 176.573 s c =============================================================================== c | 1000 | 1551 4969 123080 | 5000 1000 324 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 3.48147 s Remaining CPU time: 176.519 s c =============================================================================== c | 1075 | 1551 4970 123601 | 5000 1075 322 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 3.53946 s Remaining CPU time: 176.461 s c =============================================================================== c | 1151 | 1551 4971 124122 | 5000 1151 321 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 3.59445 s Remaining CPU time: 176.406 s c =============================================================================== c | 1241 | 1551 4972 124643 | 5000 1241 320 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 3.63745 s Remaining CPU time: 176.363 s c =============================================================================== c | 1289 | 1551 4973 125164 | 5000 1289 319 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 3.68044 s Remaining CPU time: 176.32 s c =============================================================================== c | 1327 | 1551 4974 125685 | 5000 1327 319 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 3.72443 s Remaining CPU time: 176.276 s c =============================================================================== c | 1374 | 1551 4975 126206 | 5000 1374 318 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 3.75943 s Remaining CPU time: 176.241 s c =============================================================================== c | 1399 | 1551 4976 126727 | 5000 1399 318 | 0.000 % | c | 1499 | 1551 4976 126727 | 5500 1499 316 | 0.000 % | c | 1650 | 1551 4976 126727 | 6050 1650 315 | 0.000 % | c | 1875 | 1551 4976 126727 | 6655 1875 313 | 0.000 % | c | 2212 | 1551 4976 126727 | 7320 2212 311 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 4.25535 s Remaining CPU time: 175.745 s c =============================================================================== c | 2568 | 1551 4977 127248 | 5000 2568 309 | 0.000 % | c | 2668 | 1551 4977 127248 | 5500 2668 308 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 4.37233 s Remaining CPU time: 175.628 s c =============================================================================== c | 2729 | 1551 4978 127769 | 5000 2729 308 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 4.41133 s Remaining CPU time: 175.589 s c =============================================================================== c | 2752 | 1551 4979 128290 | 5000 2752 308 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 4.45732 s Remaining CPU time: 175.543 s c =============================================================================== c | 2796 | 1551 4980 128811 | 5000 2796 308 | 0.000 % | c | 2896 | 1551 4980 128811 | 5500 2896 307 | 0.000 % | c | 3046 | 1551 4980 128811 | 6050 3046 307 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 4.64529 s Remaining CPU time: 175.355 s c =============================================================================== c | 3130 | 1551 4981 129332 | 5000 3130 306 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 4.69529 s Remaining CPU time: 175.305 s c =============================================================================== c | 3181 | 1551 4982 129853 | 5000 3181 306 | 0.000 % | c | 3281 | 1551 4982 129853 | 5500 3281 306 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 4.79927 s Remaining CPU time: 175.201 s c =============================================================================== c | 3322 | 1551 4983 130374 | 5000 3322 306 | 0.000 % | c | 3422 | 1551 4983 130374 | 5500 3422 305 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 4.91925 s Remaining CPU time: 175.081 s c =============================================================================== c | 3469 | 1551 4984 130895 | 5000 3469 305 | 0.000 % | c | 3569 | 1551 4984 130895 | 5500 3569 305 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 5.03423 s Remaining CPU time: 174.966 s c =============================================================================== c | 3620 | 1551 4985 131416 | 5000 3620 304 | 0.000 % | c | 3721 | 1551 4985 131416 | 5500 3721 304 | 0.000 % | c | 3872 | 1551 4985 131416 | 6050 3872 303 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 5.20221 s Remaining CPU time: 174.798 s c =============================================================================== c | 3918 | 1551 4986 131937 | 5000 3918 303 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 5.2602 s Remaining CPU time: 174.74 s c =============================================================================== c | 4013 | 1551 4987 132458 | 5000 4013 303 | 0.000 % | c | 4113 | 1551 4987 132458 | 5500 4113 303 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 5.35319 s Remaining CPU time: 174.647 s c =============================================================================== c | 4122 | 1551 4988 132979 | 5000 4122 302 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 5.38718 s Remaining CPU time: 174.613 s c =============================================================================== c | 4129 | 1551 4989 133500 | 5000 4129 302 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 5.43317 s Remaining CPU time: 174.567 s c =============================================================================== c | 4179 | 1551 4990 134021 | 5000 4179 302 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 5.46717 s Remaining CPU time: 174.533 s c =============================================================================== c | 4187 | 1551 4991 134542 | 5000 4187 302 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 5.51316 s Remaining CPU time: 174.487 s c =============================================================================== c | 4232 | 1551 4992 135063 | 5000 4232 302 | 0.000 % | c | 4332 | 1551 4992 135063 | 5500 4332 302 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 5.64214 s Remaining CPU time: 174.358 s c =============================================================================== c | 4446 | 1551 4993 135584 | 5000 4446 301 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 5.69113 s Remaining CPU time: 174.309 s c =============================================================================== c | 4496 | 1551 4994 136105 | 5000 4496 301 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 5.73813 s Remaining CPU time: 174.262 s c =============================================================================== c | 4541 | 1551 4995 136626 | 5000 4541 301 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 5.77512 s Remaining CPU time: 174.225 s c =============================================================================== c | 4551 | 1551 4996 137147 | 5000 4551 301 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 5.82211 s Remaining CPU time: 174.178 s c =============================================================================== c | 4594 | 1551 4997 137668 | 5000 4594 300 | 0.000 % | c | 4695 | 1551 4997 137668 | 5500 4695 300 | 0.000 % | c | 4846 | 1551 4997 137668 | 6050 4846 299 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 6.00409 s Remaining CPU time: 173.996 s c =============================================================================== c | 4854 | 1551 4998 138189 | 5000 4854 299 | 0.000 % | c | 4954 | 1551 4998 138189 | 5500 4954 299 | 0.000 % | c | 5105 | 1551 4998 138189 | 6050 5105 298 | 0.000 % | c | 5330 | 1551 4998 138189 | 6655 5330 297 | 0.000 % | c | 5667 | 1551 4998 138189 | 7320 5667 296 | 0.000 % | c | 6173 | 1551 4998 138189 | 8052 6173 294 | 0.000 % | c | 6932 | 1551 4998 138189 | 8857 6932 292 | 0.000 % | c | 8071 | 1551 4998 138189 | 9743 8071 290 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 7.99578 s Remaining CPU time: 172.004 s c =============================================================================== c | 9628 | 1551 4999 138710 | 5000 9628 288 | 0.000 % | c | 9729 | 1551 4999 138710 | 5500 4915 277 | 0.000 % | c | 9879 | 1551 4999 138710 | 6050 5065 277 | 0.000 % | c | 10104 | 1551 4999 138710 | 6655 5290 277 | 0.000 % | c | 10441 | 1551 4999 138710 | 7320 5627 276 | 0.000 % | c | 10947 | 1551 4999 138710 | 8052 6133 276 | 0.000 % | c | 11706 | 1551 4999 138710 | 8857 6892 276 | 0.000 % | c | 12845 | 1551 4999 138710 | 9743 8031 276 | 0.000 % | c | 14553 | 1551 4999 138710 | 10717 9739 276 | 0.000 % | c | 17115 | 1551 4999 138710 | 11789 6801 276 | 0.000 % | c | 20959 | 1551 4999 138710 | 12968 10645 276 | 0.000 % | c | 26725 | 1551 4999 138710 | 14265 9758 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 17.9773 s Remaining CPU time: 162.023 s c =============================================================================== c | 29958 | 1551 5000 139231 | 5000 12991 276 | 0.000 % | c | 30058 | 1551 5000 139231 | 5500 3348 276 | 0.000 % | c | 30208 | 1551 5000 139231 | 6050 3498 276 | 0.000 % | c | 30434 | 1551 5000 139231 | 6655 3724 276 | 0.000 % | c | 30771 | 1551 5000 139231 | 7320 4061 275 | 0.000 % | c | 31278 | 1551 5000 139231 | 8052 4568 275 | 0.000 % | c | 32038 | 1551 5000 139231 | 8857 5328 275 | 0.000 % | c | 33177 | 1551 5000 139231 | 9743 6467 275 | 0.000 % | c | 34885 | 1551 5000 139231 | 10717 8175 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 20.5659 s Remaining CPU time: 159.434 s c =============================================================================== c | 35522 | 1551 5001 139752 | 5000 8812 275 | 0.000 % | c | 35622 | 1551 5001 139752 | 5500 4506 274 | 0.000 % | c | 35773 | 1551 5001 139752 | 6050 4657 274 | 0.000 % | c | 35998 | 1551 5001 139752 | 6655 4882 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 20.9808 s Remaining CPU time: 159.019 s c =============================================================================== c | 36110 | 1551 5002 140273 | 5000 4994 274 | 0.000 % | c | 36210 | 1551 5002 140273 | 5500 5094 274 | 0.000 % | c | 36360 | 1551 5002 140273 | 6050 5244 274 | 0.000 % | c | 36586 | 1551 5002 140273 | 6655 5470 274 | 0.000 % | c | 36924 | 1551 5002 140273 | 7320 5808 274 | 0.000 % | c | 37430 | 1551 5002 140273 | 8052 6314 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 21.8977 s Remaining CPU time: 158.102 s c =============================================================================== c | 38001 | 1551 5003 140794 | 5000 6885 274 | 0.000 % | c | 38101 | 1551 5003 140794 | 5500 3543 273 | 0.000 % | c | 38251 | 1551 5003 140794 | 6050 3693 273 | 0.000 % | c | 38476 | 1551 5003 140794 | 6655 3918 273 | 0.000 % | c | 38813 | 1551 5003 140794 | 7320 4255 273 | 0.000 % | c | 39319 | 1551 5003 140794 | 8052 4761 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 22.9255 s Remaining CPU time: 157.074 s c =============================================================================== c | 39919 | 1551 5004 141315 | 5000 5361 272 | 0.000 % | c | 40019 | 1551 5004 141315 | 5500 2781 271 | 0.000 % | c | 40169 | 1551 5004 141315 | 6050 2931 271 | 0.000 % | c | 40394 | 1551 5004 141315 | 6655 3156 271 | 0.000 % | c | 40731 | 1551 5004 141315 | 7320 3493 271 | 0.000 % | c | 41237 | 1551 5004 141315 | 8052 3999 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 23.6204 s Remaining CPU time: 156.38 s c =============================================================================== c | 41314 | 1551 5005 141836 | 5000 4076 271 | 0.000 % | c | 41414 | 1551 5005 141836 | 5500 4176 271 | 0.000 % | c | 41564 | 1551 5005 141836 | 6050 4326 271 | 0.000 % | c | 41789 | 1551 5005 141836 | 6655 4551 271 | 0.000 % | c | 42126 | 1551 5005 141836 | 7320 4888 271 | 0.000 % | c | 42632 | 1551 5005 141836 | 8052 5394 271 | 0.000 % | c | 43392 | 1551 5005 141836 | 8857 6154 271 | 0.000 % | c | 44531 | 1551 5005 141836 | 9743 7293 271 | 0.000 % | c | 46239 | 1551 5005 141836 | 10717 9001 270 | 0.000 % | c | 48802 | 1551 5005 141836 | 11789 6050 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 28.5827 s Remaining CPU time: 151.417 s c =============================================================================== c | 52005 | 1551 5006 142357 | 5000 9253 270 | 0.000 % | c | 52105 | 1551 5006 142357 | 5500 4727 270 | 0.000 % | c | 52255 | 1551 5006 142357 | 6050 4877 269 | 0.000 % | c | 52480 | 1551 5006 142357 | 6655 5102 269 | 0.000 % | c | 52818 | 1551 5006 142357 | 7320 5440 269 | 0.000 % | c | 53324 | 1551 5006 142357 | 8052 5946 269 | 0.000 % | c | 54083 | 1551 5006 142357 | 8857 6705 269 | 0.000 % | c | 55222 | 1551 5006 142357 | 9743 7844 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 30.7353 s Remaining CPU time: 149.265 s c =============================================================================== c | 56739 | 1551 5007 142878 | 5000 9361 269 | 0.000 % | c | 56840 | 1551 5007 142878 | 5500 4782 268 | 0.000 % | c | 56990 | 1551 5007 142878 | 6050 4932 268 | 0.000 % | c | 57215 | 1551 5007 142878 | 6655 5157 268 | 0.000 % | c | 57552 | 1551 5007 142878 | 7320 5494 268 | 0.000 % | c | 58058 | 1551 5007 142878 | 8052 6000 268 | 0.000 % | c | 58817 | 1551 5007 142878 | 8857 6759 268 | 0.000 % | c | 59956 | 1551 5007 142878 | 9743 7898 268 | 0.000 % | c | 61664 | 1551 5007 142878 | 10717 9606 268 | 0.000 % | c | 64227 | 1551 5007 142878 | 11789 6635 268 | 0.000 % | c | 68071 | 1551 5007 142878 | 12968 10479 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 36.9894 s Remaining CPU time: 143.011 s c =============================================================================== c | 69930 | 1551 5008 143399 | 5000 12338 268 | 0.000 % | c | 70030 | 1551 5008 143399 | 5500 3185 268 | 0.000 % | c | 70180 | 1551 5008 143399 | 6050 3335 268 | 0.000 % | c | 70405 | 1551 5008 143399 | 6655 3560 268 | 0.000 % | c | 70742 | 1551 5008 143399 | 7320 3897 268 | 0.000 % | c | 71248 | 1551 5008 143399 | 8052 4403 268 | 0.000 % | c | 72007 | 1551 5008 143399 | 8857 5162 267 | 0.000 % | c | 73146 | 1551 5008 143399 | 9743 6301 267 | 0.000 % | c | 74854 | 1551 5008 143399 | 10717 8009 267 | 0.000 % | c | 77416 | 1551 5008 143399 | 11789 10571 267 | 0.000 % | c | 81260 | 1551 5008 143399 | 12968 8384 267 | 0.000 % | c | 87026 | 1551 5008 143399 | 14265 7512 267 | 0.000 % | c | 95675 | 1551 5008 143399 | 15692 8891 267 | 0.000 % | c | 108649 | 1551 5008 143399 | 17261 13868 267 | 0.000 % | c | 128111 | 1551 5008 143399 | 18987 15768 267 | 0.000 % | c | 157304 | 1551 5008 143399 | 20886 16036 268 | 0.000 % | c | 201093 | 1551 5008 143399 | 22974 17103 268 | 0.000 % | c | 266777 | 1551 5008 143399 | 25272 19750 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 157.729 s Remaining CPU time: 22.271 s c =============================================================================== c | 289034 | 1551 5009 143920 | 5000 12256 267 | 0.000 % | c | 289134 | 1551 5009 143920 | 5500 3164 267 | 0.000 % | c | 289284 | 1551 5009 143920 | 6050 3314 267 | 0.000 % | c | 289509 | 1551 5009 143920 | 6655 3539 267 | 0.000 % | c | 289846 | 1551 5009 143920 | 7320 3876 267 | 0.000 % | c | 290352 | 1551 5009 143920 | 8052 4382 267 | 0.000 % | c | 291111 | 1551 5009 143920 | 8857 5141 267 | 0.000 % | c | 292250 | 1551 5009 143920 | 9743 6280 266 | 0.000 % | c | 293958 | 1551 5009 143920 | 10717 7988 266 | 0.000 % | c | 296521 | 1551 5009 143920 | 11789 10551 266 | 0.000 % | c | 300365 | 1551 5009 143920 | 12968 8347 266 | 0.000 % | c | 306131 | 1551 5009 143920 | 14265 7485 266 | 0.000 % | c | 314780 | 1551 5009 143920 | 15692 8826 266 | 0.000 % | c | 327754 | 1551 5009 143920 | 17261 13814 266 | 0.000 % |