c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4686 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1546 | c | Number Clauses: 4664 | 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 | 1546 4664 9840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1546 4665 10368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1546 4666 10896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1546 4667 11424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1546 4668 11952 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1546 4669 12480 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1546 4670 13008 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1546 4671 13536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1546 4672 14064 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1546 4673 14592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1546 4674 15120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1546 4675 15648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1546 4676 16176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1546 4677 16704 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1546 4678 17232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1546 4679 17760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1546 4680 18288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1546 4681 18816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1546 4682 19344 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1546 4683 19872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1546 4684 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1546 4685 20928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1546 4686 21456 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1546 4687 21984 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1546 4688 22512 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1546 4689 23040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 1546 4690 23568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1546 4691 24096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1546 4692 24624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1546 4693 25152 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1546 4694 25680 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1546 4695 26208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 1546 4696 26736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 1546 4697 27264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 1546 4698 27792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 1546 4699 28320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 1546 4700 28848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 1546 4701 29376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 1546 4702 29904 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 1546 4703 30432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 1546 4704 30960 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 1546 4705 31488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 1546 4706 32016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 1546 4707 32544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 1546 4708 33072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 1546 4709 33600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 1546 4710 34128 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 1546 4711 34656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 1546 4712 35184 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 0 | 1546 4713 35712 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 1546 4714 36240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 1 | 1546 4715 36768 | 5000 1 480 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 1 | 1546 4716 37296 | 5000 1 480 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 2 | 1546 4717 37824 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 2 | 1546 4718 38352 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 2 | 1546 4719 38880 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 2 | 1546 4720 39408 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 2 | 1546 4721 39936 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 2 | 1546 4722 40464 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 2 | 1546 4723 40992 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 2 | 1546 4724 41520 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 2 | 1546 4725 42048 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 2 | 1546 4726 42576 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 2 | 1546 4727 43104 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 2 | 1546 4728 43632 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 2 | 1546 4729 44160 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 2 | 1546 4730 44688 | 5000 2 479 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 3 | 1546 4731 45216 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 4 | 1546 4732 45744 | 5000 4 470 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 5 | 1546 4733 46272 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 5 | 1546 4734 46800 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 6 | 1546 4735 47328 | 5000 6 467 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 9 | 1546 4736 47856 | 5000 9 464 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 9 | 1546 4737 48384 | 5000 9 464 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 9 | 1546 4738 48912 | 5000 9 464 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 10 | 1546 4739 49440 | 5000 10 463 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 10 | 1546 4740 49968 | 5000 10 463 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 15 | 1546 4741 50496 | 5000 15 460 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 17 | 1546 4742 51024 | 5000 17 459 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 18 | 1546 4743 51552 | 5000 18 458 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 20 | 1546 4744 52080 | 5000 20 457 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 21 | 1546 4745 52608 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 22 | 1546 4746 53136 | 5000 22 456 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 24 | 1546 4747 53664 | 5000 24 455 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 25 | 1546 4748 54192 | 5000 25 455 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 27 | 1546 4749 54720 | 5000 27 454 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 28 | 1546 4750 55248 | 5000 28 454 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 29 | 1546 4751 55776 | 5000 29 453 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 29 | 1546 4752 56304 | 5000 29 453 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 30 | 1546 4753 56832 | 5000 30 453 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 31 | 1546 4754 57360 | 5000 31 453 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 31 | 1546 4755 57888 | 5000 31 453 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 32 | 1546 4756 58416 | 5000 32 452 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 33 | 1546 4757 58944 | 5000 33 452 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 34 | 1546 4758 59472 | 5000 34 451 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 35 | 1546 4759 60000 | 5000 35 451 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 40 | 1546 4760 60528 | 5000 40 448 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 42 | 1546 4761 61056 | 5000 42 448 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 48 | 1546 4762 61584 | 5000 48 446 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 53 | 1546 4763 62112 | 5000 53 444 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 57 | 1546 4764 62640 | 5000 57 443 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 61 | 1546 4765 63168 | 5000 61 442 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 75 | 1546 4766 63696 | 5000 75 439 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 77 | 1546 4767 64224 | 5000 77 439 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s c =============================================================================== c | 87 | 1546 4768 64752 | 5000 87 437 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 111 | 1546 4769 65280 | 5000 111 435 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 117 | 1546 4770 65808 | 5000 117 434 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 124 | 1546 4771 66336 | 5000 124 430 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 131 | 1546 4772 66864 | 5000 131 430 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 137 | 1546 4773 67392 | 5000 137 429 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 142 | 1546 4774 67920 | 5000 142 429 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 146 | 1546 4775 68448 | 5000 146 428 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 150 | 1546 4776 68976 | 5000 150 425 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 159 | 1546 4777 69504 | 5000 159 425 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 162 | 1546 4778 70032 | 5000 162 425 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 180 | 1546 4779 70560 | 5000 180 424 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 185 | 1546 4780 71088 | 5000 185 423 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.905862 s Remaining CPU time: 179.094 s c =============================================================================== c | 194 | 1546 4781 71616 | 5000 194 423 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 200 | 1546 4782 72144 | 5000 200 423 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 209 | 1546 4783 72672 | 5000 209 422 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s c =============================================================================== c | 213 | 1546 4784 73200 | 5000 213 422 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 253 | 1546 4785 73728 | 5000 253 420 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 264 | 1546 4786 74256 | 5000 264 419 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 268 | 1546 4787 74784 | 5000 268 419 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 273 | 1546 4788 75312 | 5000 273 419 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 306 | 1546 4789 75840 | 5000 306 417 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 312 | 1546 4790 76368 | 5000 312 417 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 319 | 1546 4791 76896 | 5000 319 417 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 320 | 1546 4792 77424 | 5000 320 417 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 326 | 1546 4793 77952 | 5000 326 416 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 1.15982 s Remaining CPU time: 178.84 s c =============================================================================== c | 332 | 1546 4794 78480 | 5000 332 416 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 337 | 1546 4795 79008 | 5000 337 416 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 341 | 1546 4796 79536 | 5000 341 416 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 346 | 1546 4797 80064 | 5000 346 415 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 351 | 1546 4798 80592 | 5000 351 415 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 358 | 1546 4799 81120 | 5000 358 415 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s c =============================================================================== c | 362 | 1546 4800 81648 | 5000 362 414 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 369 | 1546 4801 82176 | 5000 369 414 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 372 | 1546 4802 82704 | 5000 372 414 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s c =============================================================================== c | 376 | 1546 4803 83232 | 5000 376 414 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.36179 s Remaining CPU time: 178.638 s c =============================================================================== c | 398 | 1546 4804 83760 | 5000 398 412 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 402 | 1546 4805 84288 | 5000 402 412 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.42578 s Remaining CPU time: 178.574 s c =============================================================================== c | 497 | 1546 4806 84816 | 5000 497 407 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 513 | 1546 4807 85344 | 5000 513 407 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 513 | 1546 4808 85872 | 5000 513 407 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.49877 s Remaining CPU time: 178.501 s c =============================================================================== c | 537 | 1546 4809 86400 | 5000 537 406 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.53977 s Remaining CPU time: 178.46 s c =============================================================================== c | 621 | 1546 4810 86928 | 5000 621 403 | 0.000 % | c | 721 | 1546 4810 86928 | 5500 721 400 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 870 | 1546 4811 87456 | 5000 870 397 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.67475 s Remaining CPU time: 178.325 s c =============================================================================== c | 905 | 1546 4812 87984 | 5000 905 397 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.70474 s Remaining CPU time: 178.295 s c =============================================================================== c | 935 | 1546 4813 88512 | 5000 935 396 | 0.000 % | c | 1035 | 1546 4813 88512 | 5500 1035 395 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 1147 | 1546 4814 89040 | 5000 1147 393 | 0.000 % | c | 1247 | 1546 4814 89040 | 5500 1247 392 | 0.000 % | c | 1398 | 1546 4814 89040 | 6050 1398 391 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.93871 s Remaining CPU time: 178.061 s c =============================================================================== c | 1409 | 1546 4815 89568 | 5000 1409 390 | 0.000 % | c | 1509 | 1546 4815 89568 | 5500 1509 390 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 2.04069 s Remaining CPU time: 177.959 s c =============================================================================== c | 1653 | 1546 4816 90096 | 5000 1653 389 | 0.000 % | c | 1753 | 1546 4816 90096 | 5500 1753 388 | 0.000 % | c | 1903 | 1546 4816 90096 | 6050 1903 387 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 2.17567 s Remaining CPU time: 177.824 s c =============================================================================== c | 1952 | 1546 4817 90624 | 5000 1952 387 | 0.000 % | c | 2052 | 1546 4817 90624 | 5500 2052 386 | 0.000 % | c | 2203 | 1546 4817 90624 | 6050 2203 386 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 2.32565 s Remaining CPU time: 177.674 s c =============================================================================== c | 2274 | 1546 4818 91152 | 5000 2274 385 | 0.000 % | c | 2374 | 1546 4818 91152 | 5500 2374 385 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 2408 | 1546 4819 91680 | 5000 2408 385 | 0.000 % | c | 2508 | 1546 4819 91680 | 5500 2508 384 | 0.000 % | c | 2658 | 1546 4819 91680 | 6050 2658 384 | 0.000 % | c | 2883 | 1546 4819 91680 | 6655 2883 383 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 2.67559 s Remaining CPU time: 177.324 s c =============================================================================== c | 3153 | 1546 4820 92208 | 5000 3153 382 | 0.000 % | c | 3253 | 1546 4820 92208 | 5500 3253 382 | 0.000 % | c | 3404 | 1546 4820 92208 | 6050 3404 381 | 0.000 % | c | 3630 | 1546 4820 92208 | 6655 3630 381 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 2.88256 s Remaining CPU time: 177.117 s c =============================================================================== c | 3639 | 1546 4821 92736 | 5000 3639 381 | 0.000 % | c | 3739 | 1546 4821 92736 | 5500 3739 381 | 0.000 % | c | 3889 | 1546 4821 92736 | 6050 3889 380 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 3.02954 s Remaining CPU time: 176.97 s c =============================================================================== c | 3969 | 1546 4822 93264 | 5000 3969 380 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s c =============================================================================== c | 4034 | 1546 4823 93792 | 5000 4034 380 | 0.000 % | c | 4135 | 1546 4823 93792 | 5500 4135 380 | 0.000 % | c | 4286 | 1546 4823 93792 | 6050 4286 379 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s c =============================================================================== c | 4471 | 1546 4824 94320 | 5000 4471 379 | 0.000 % | c | 4571 | 1546 4824 94320 | 5500 4571 379 | 0.000 % | c | 4721 | 1546 4824 94320 | 6050 4721 378 | 0.000 % | c | 4946 | 1546 4824 94320 | 6655 4946 378 | 0.000 % | c | 5285 | 1546 4824 94320 | 7320 5285 377 | 0.000 % | c | 5791 | 1546 4824 94320 | 8052 5791 377 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 3.76143 s Remaining CPU time: 176.239 s c =============================================================================== c | 5949 | 1546 4825 94848 | 5000 5949 377 | 0.000 % | c | 6050 | 1546 4825 94848 | 5500 3076 370 | 0.000 % | c | 6201 | 1546 4825 94848 | 6050 3227 370 | 0.000 % | c | 6427 | 1546 4825 94848 | 6655 3453 370 | 0.000 % | c | 6764 | 1546 4825 94848 | 7320 3790 370 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 4.22536 s Remaining CPU time: 175.775 s c =============================================================================== c | 7136 | 1546 4826 95376 | 5000 4162 370 | 0.000 % | c | 7236 | 1546 4826 95376 | 5500 4262 370 | 0.000 % | c | 7386 | 1546 4826 95376 | 6050 4412 370 | 0.000 % | c | 7611 | 1546 4826 95376 | 6655 4637 370 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 4.51431 s Remaining CPU time: 175.486 s c =============================================================================== c | 7820 | 1546 4827 95904 | 5000 4846 369 | 0.000 % | c | 7920 | 1546 4827 95904 | 5500 4946 369 | 0.000 % | c | 8071 | 1546 4827 95904 | 6050 5097 369 | 0.000 % | c | 8297 | 1546 4827 95904 | 6655 5323 369 | 0.000 % | c | 8634 | 1546 4827 95904 | 7320 5660 369 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 4.92425 s Remaining CPU time: 175.076 s c =============================================================================== c | 8869 | 1546 4828 96432 | 5000 5895 369 | 0.000 % | c | 8970 | 1546 4828 96432 | 5500 3049 367 | 0.000 % | c | 9121 | 1546 4828 96432 | 6050 3200 367 | 0.000 % | c | 9346 | 1546 4828 96432 | 6655 3425 367 | 0.000 % | c | 9683 | 1546 4828 96432 | 7320 3762 367 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 5.2842 s Remaining CPU time: 174.716 s c =============================================================================== c | 9702 | 1546 4829 96960 | 5000 3781 367 | 0.000 % | c | 9803 | 1546 4829 96960 | 5500 3882 367 | 0.000 % | c | 9953 | 1546 4829 96960 | 6050 4032 367 | 0.000 % | c | 10178 | 1546 4829 96960 | 6655 4257 366 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 5.52916 s Remaining CPU time: 174.471 s c =============================================================================== c | 10345 | 1546 4830 97488 | 5000 4424 366 | 0.000 % | c | 10446 | 1546 4830 97488 | 5500 4525 366 | 0.000 % | c | 10596 | 1546 4830 97488 | 6050 4675 366 | 0.000 % | c | 10822 | 1546 4830 97488 | 6655 4901 366 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 5.79412 s Remaining CPU time: 174.206 s c =============================================================================== c | 10979 | 1546 4831 98016 | 5000 5058 366 | 0.000 % | c | 11079 | 1546 4831 98016 | 5500 2629 364 | 0.000 % | c | 11229 | 1546 4831 98016 | 6050 2779 364 | 0.000 % | c | 11454 | 1546 4831 98016 | 6655 3004 364 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 6.07308 s Remaining CPU time: 173.927 s c =============================================================================== c | 11665 | 1546 4832 98544 | 5000 3215 364 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 6.12707 s Remaining CPU time: 173.873 s c =============================================================================== c | 11756 | 1546 4833 99072 | 5000 3306 364 | 0.000 % | c | 11856 | 1546 4833 99072 | 5500 3406 364 | 0.000 % | c | 12006 | 1546 4833 99072 | 6050 3556 364 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 6.30804 s Remaining CPU time: 173.692 s c =============================================================================== c | 12216 | 1546 4834 99600 | 5000 3766 363 | 0.000 % | c | 12317 | 1546 4834 99600 | 5500 3867 363 | 0.000 % | c | 12467 | 1546 4834 99600 | 6050 4017 363 | 0.000 % | c | 12692 | 1546 4834 99600 | 6655 4242 363 | 0.000 % | c | 13029 | 1546 4834 99600 | 7320 4579 363 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 6.66299 s Remaining CPU time: 173.337 s c =============================================================================== c | 13147 | 1546 4835 100128 | 5000 4697 363 | 0.000 % | c | 13247 | 1546 4835 100128 | 5500 4797 362 | 0.000 % | c | 13397 | 1546 4835 100128 | 6050 4947 362 | 0.000 % | c | 13622 | 1546 4835 100128 | 6655 5172 362 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 6.88695 s Remaining CPU time: 173.113 s c =============================================================================== c | 13641 | 1546 4836 100656 | 5000 5191 362 | 0.000 % | c | 13741 | 1546 4836 100656 | 5500 2696 360 | 0.000 % | c | 13891 | 1546 4836 100656 | 6050 2846 360 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 7.03593 s Remaining CPU time: 172.964 s c =============================================================================== c | 13903 | 1546 4837 101184 | 5000 2858 360 | 0.000 % | c | 14004 | 1546 4837 101184 | 5500 2959 359 | 0.000 % | c | 14155 | 1546 4837 101184 | 6050 3110 359 | 0.000 % | c | 14380 | 1546 4837 101184 | 6655 3335 359 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 7.30089 s Remaining CPU time: 172.699 s c =============================================================================== c | 14519 | 1546 4838 101712 | 5000 3474 359 | 0.000 % | c | 14619 | 1546 4838 101712 | 5500 3574 359 | 0.000 % | c | 14769 | 1546 4838 101712 | 6050 3724 359 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 7.46087 s Remaining CPU time: 172.539 s c =============================================================================== c | 14840 | 1546 4839 102240 | 5000 3795 359 | 0.000 % | c | 14941 | 1546 4839 102240 | 5500 3896 358 | 0.000 % | c | 15091 | 1546 4839 102240 | 6050 4046 358 | 0.000 % | c | 15317 | 1546 4839 102240 | 6655 4272 358 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 7.72483 s Remaining CPU time: 172.275 s c =============================================================================== c | 15477 | 1546 4840 102768 | 5000 4432 358 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 7.75382 s Remaining CPU time: 172.246 s c =============================================================================== c | 15490 | 1546 4841 103296 | 5000 4445 358 | 0.000 % | c | 15591 | 1546 4841 103296 | 5500 4546 358 | 0.000 % | c | 15741 | 1546 4841 103296 | 6050 4696 358 | 0.000 % | c | 15966 | 1546 4841 103296 | 6655 4921 357 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 8.01178 s Remaining CPU time: 171.988 s c =============================================================================== c | 16121 | 1546 4842 103824 | 5000 5076 357 | 0.000 % | c | 16221 | 1546 4842 103824 | 5500 2638 354 | 0.000 % | c | 16371 | 1546 4842 103824 | 6050 2788 354 | 0.000 % | c | 16596 | 1546 4842 103824 | 6655 3013 354 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 8.26074 s Remaining CPU time: 171.739 s c =============================================================================== c | 16679 | 1546 4843 104352 | 5000 3096 354 | 0.000 % | c | 16779 | 1546 4843 104352 | 5500 3196 354 | 0.000 % | c | 16930 | 1546 4843 104352 | 6050 3347 354 | 0.000 % | c | 17155 | 1546 4843 104352 | 6655 3572 353 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 8.5627 s Remaining CPU time: 171.437 s c =============================================================================== c | 17445 | 1546 4844 104880 | 5000 3862 353 | 0.000 % | c | 17545 | 1546 4844 104880 | 5500 3962 353 | 0.000 % | c | 17695 | 1546 4844 104880 | 6050 4112 353 | 0.000 % | c | 17920 | 1546 4844 104880 | 6655 4337 353 | 0.000 % | c | 18258 | 1546 4844 104880 | 7320 4675 352 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 9.03063 s Remaining CPU time: 170.969 s c =============================================================================== c | 18713 | 1546 4845 105408 | 5000 5130 352 | 0.000 % | c | 18814 | 1546 4845 105408 | 5500 2666 350 | 0.000 % | c | 18965 | 1546 4845 105408 | 6050 2817 350 | 0.000 % | c | 19190 | 1546 4845 105408 | 6655 3042 349 | 0.000 % | c | 19527 | 1546 4845 105408 | 7320 3379 349 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 9.45056 s Remaining CPU time: 170.549 s c =============================================================================== c | 19765 | 1546 4846 105936 | 5000 3617 349 | 0.000 % | c | 19865 | 1546 4846 105936 | 5500 3717 349 | 0.000 % | c | 20015 | 1546 4846 105936 | 6050 3867 349 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 9.62554 s Remaining CPU time: 170.374 s c =============================================================================== c | 20117 | 1546 4847 106464 | 5000 3969 349 | 0.000 % | c | 20217 | 1546 4847 106464 | 5500 4069 349 | 0.000 % | c | 20367 | 1546 4847 106464 | 6050 4219 349 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 9.77651 s Remaining CPU time: 170.223 s c =============================================================================== c | 20377 | 1546 4848 106992 | 5000 4229 349 | 0.000 % | c | 20477 | 1546 4848 106992 | 5500 4329 349 | 0.000 % | c | 20627 | 1546 4848 106992 | 6050 4479 349 | 0.000 % | c | 20852 | 1546 4848 106992 | 6655 4704 349 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 10.0435 s Remaining CPU time: 169.957 s c =============================================================================== c | 20989 | 1546 4849 107520 | 5000 4841 348 | 0.000 % | c | 21089 | 1546 4849 107520 | 5500 4941 348 | 0.000 % | c | 21239 | 1546 4849 107520 | 6050 5091 348 | 0.000 % | c | 21465 | 1546 4849 107520 | 6655 5317 348 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 10.3204 s Remaining CPU time: 169.68 s c =============================================================================== c | 21612 | 1546 4850 108048 | 5000 5464 348 | 0.000 % | c | 21712 | 1546 4850 108048 | 5500 2832 346 | 0.000 % | c | 21862 | 1546 4850 108048 | 6050 2982 346 | 0.000 % | c | 22088 | 1546 4850 108048 | 6655 3208 346 | 0.000 % | c | 22426 | 1546 4850 108048 | 7320 3546 345 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 10.7584 s Remaining CPU time: 169.242 s c =============================================================================== c | 22724 | 1546 4851 108576 | 5000 3844 345 | 0.000 % | c | 22824 | 1546 4851 108576 | 5500 3944 345 | 0.000 % | c | 22975 | 1546 4851 108576 | 6050 4095 345 | 0.000 % | c | 23200 | 1546 4851 108576 | 6655 4320 345 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 11.0553 s Remaining CPU time: 168.945 s c =============================================================================== c | 23416 | 1546 4852 109104 | 5000 4536 345 | 0.000 % | c | 23516 | 1546 4852 109104 | 5500 4636 345 | 0.000 % | c | 23666 | 1546 4852 109104 | 6050 4786 345 | 0.000 % | c | 23892 | 1546 4852 109104 | 6655 5012 344 | 0.000 % | c | 24230 | 1546 4852 109104 | 7320 5350 344 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 11.5372 s Remaining CPU time: 168.463 s c =============================================================================== c | 24526 | 1546 4853 109632 | 5000 5646 344 | 0.000 % | c | 24626 | 1546 4853 109632 | 5500 2923 342 | 0.000 % | c | 24776 | 1546 4853 109632 | 6050 3073 342 | 0.000 % | c | 25001 | 1546 4853 109632 | 6655 3298 342 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 11.8842 s Remaining CPU time: 168.116 s c =============================================================================== c | 25261 | 1546 4854 110160 | 5000 3558 342 | 0.000 % | c | 25361 | 1546 4854 110160 | 5500 3658 342 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 12.0092 s Remaining CPU time: 167.991 s c =============================================================================== c | 25444 | 1546 4855 110688 | 5000 3741 342 | 0.000 % | c | 25545 | 1546 4855 110688 | 5500 3842 341 | 0.000 % | c | 25695 | 1546 4855 110688 | 6050 3992 341 | 0.000 % | c | 25921 | 1546 4855 110688 | 6655 4218 341 | 0.000 % | c | 26259 | 1546 4855 110688 | 7320 4556 341 | 0.000 % | c | 26765 | 1546 4855 110688 | 8052 5062 341 | 0.000 % | c | 27524 | 1546 4855 110688 | 8857 5821 340 | 0.000 % | c | 28663 | 1546 4855 110688 | 9743 6960 340 | 0.000 % | c | 30372 | 1546 4855 110688 | 10717 8669 340 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 14.1309 s Remaining CPU time: 165.869 s c =============================================================================== c | 31147 | 1546 4856 111216 | 5000 9444 340 | 0.000 % | c | 31247 | 1546 4856 111216 | 5500 4822 338 | 0.000 % | c | 31397 | 1546 4856 111216 | 6050 4972 338 | 0.000 % | c | 31622 | 1546 4856 111216 | 6655 5197 338 | 0.000 % | c | 31959 | 1546 4856 111216 | 7320 5534 338 | 0.000 % | c | 32465 | 1546 4856 111216 | 8052 6040 338 | 0.000 % | c | 33224 | 1546 4856 111216 | 8857 6799 338 | 0.000 % | c | 34364 | 1546 4856 111216 | 9743 7939 338 | 0.000 % | c | 36072 | 1546 4856 111216 | 10717 9647 338 | 0.000 % | c | 38634 | 1546 4856 111216 | 11789 6649 338 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 17.1394 s Remaining CPU time: 162.861 s c =============================================================================== c | 39114 | 1546 4857 111744 | 5000 7129 338 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 17.1974 s Remaining CPU time: 162.803 s c =============================================================================== c | 39115 | 1546 4858 112272 | 5000 3566 338 | 0.000 % | c | 39215 | 1546 4858 112272 | 5500 3666 338 | 0.000 % | c | 39366 | 1546 4858 112272 | 6050 3817 338 | 0.000 % | c | 39591 | 1546 4858 112272 | 6655 4042 338 | 0.000 % | c | 39928 | 1546 4858 112272 | 7320 4379 337 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 17.8543 s Remaining CPU time: 162.146 s c =============================================================================== c | 40430 | 1546 4859 112800 | 5000 4881 337 | 0.000 % | c | 40530 | 1546 4859 112800 | 5500 4981 337 | 0.000 % | c | 40680 | 1546 4859 112800 | 6050 5131 337 | 0.000 % | c | 40906 | 1546 4859 112800 | 6655 5357 337 | 0.000 % | c | 41243 | 1546 4859 112800 | 7320 5694 337 | 0.000 % | c | 41749 | 1546 4859 112800 | 8052 6200 337 | 0.000 % | c | 42508 | 1546 4859 112800 | 8857 6959 336 | 0.000 % | c | 43648 | 1546 4859 112800 | 9743 8099 336 | 0.000 % | c | 45356 | 1546 4859 112800 | 10717 9807 336 | 0.000 % | c | 47919 | 1546 4859 112800 | 11789 6836 335 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 21.1148 s Remaining CPU time: 158.885 s c =============================================================================== c | 47919 | 1546 4860 113328 | 5000 6836 335 | 0.000 % | c | 48019 | 1546 4860 113328 | 5500 3518 335 | 0.000 % | c | 48169 | 1546 4860 113328 | 6050 3668 335 | 0.000 % | c | 48394 | 1546 4860 113328 | 6655 3893 335 | 0.000 % | c | 48731 | 1546 4860 113328 | 7320 4230 335 | 0.000 % | c | 49238 | 1546 4860 113328 | 8052 4737 335 | 0.000 % | c | 49998 | 1546 4860 113328 | 8857 5497 334 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 22.5286 s Remaining CPU time: 157.471 s c =============================================================================== c | 51136 | 1546 4861 113856 | 5000 6635 334 | 0.000 % | c | 51237 | 1546 4861 113856 | 5500 3419 334 | 0.000 % | c | 51388 | 1546 4861 113856 | 6050 3570 333 | 0.000 % | c | 51614 | 1546 4861 113856 | 6655 3796 333 | 0.000 % | c | 51952 | 1546 4861 113856 | 7320 4134 333 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 23.0025 s Remaining CPU time: 156.997 s c =============================================================================== c | 52117 | 1546 4862 114384 | 5000 4299 333 | 0.000 % | c | 52217 | 1546 4862 114384 | 5500 4399 333 | 0.000 % | c | 52368 | 1546 4862 114384 | 6050 4550 333 | 0.000 % | c | 52593 | 1546 4862 114384 | 6655 4775 333 | 0.000 % | c | 52931 | 1546 4862 114384 | 7320 5113 333 | 0.000 % | c | 53437 | 1546 4862 114384 | 8052 5619 333 | 0.000 % | c | 54196 | 1546 4862 114384 | 8857 6378 333 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 24.0653 s Remaining CPU time: 155.935 s c =============================================================================== c | 55009 | 1546 4863 114912 | 5000 7191 332 | 0.000 % | c | 55109 | 1546 4863 114912 | 5500 3696 331 | 0.000 % | c | 55259 | 1546 4863 114912 | 6050 3846 331 | 0.000 % | c | 55485 | 1546 4863 114912 | 6655 4072 331 | 0.000 % | c | 55823 | 1546 4863 114912 | 7320 4410 331 | 0.000 % | c | 56329 | 1546 4863 114912 | 8052 4916 331 | 0.000 % | c | 57088 | 1546 4863 114912 | 8857 5675 331 | 0.000 % | c | 58227 | 1546 4863 114912 | 9743 6814 331 | 0.000 % | c | 59935 | 1546 4863 114912 | 10717 8522 331 | 0.000 % | c | 62497 | 1546 4863 114912 | 11789 11084 331 | 0.000 % | c | 66342 | 1546 4863 114912 | 12968 8856 330 | 0.000 % | c | 72109 | 1546 4863 114912 | 14265 7960 330 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 32.2941 s Remaining CPU time: 147.706 s c =============================================================================== c | 73118 | 1546 4864 115440 | 5000 8969 330 | 0.000 % | c | 73218 | 1546 4864 115440 | 5500 4585 331 | 0.000 % | c | 73368 | 1546 4864 115440 | 6050 4735 331 | 0.000 % | c | 73595 | 1546 4864 115440 | 6655 4962 330 | 0.000 % | c | 73932 | 1546 4864 115440 | 7320 5299 330 | 0.000 % | c | 74438 | 1546 4864 115440 | 8052 5805 330 | 0.000 % | c | 75197 | 1546 4864 115440 | 8857 6564 330 | 0.000 % | c | 76336 | 1546 4864 115440 | 9743 7703 330 | 0.000 % | c | 78044 | 1546 4864 115440 | 10717 9411 330 | 0.000 % | c | 80607 | 1546 4864 115440 | 11789 6430 329 | 0.000 % | c | 84451 | 1546 4864 115440 | 12968 10274 329 | 0.000 % | c | 90217 | 1546 4864 115440 | 14265 9363 329 | 0.000 % | c | 98866 | 1546 4864 115440 | 15692 10685 329 | 0.000 % | c | 111840 | 1546 4864 115440 | 17261 15628 330 | 0.000 % | c | 131302 | 1546 4864 115440 | 18987 17426 330 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 61.7746 s Remaining CPU time: 118.225 s c =============================================================================== c | 136868 | 1546 4865 115968 | 5000 13325 330 | 0.000 % | c | 136968 | 1546 4865 115968 | 5500 3432 330 | 0.000 % | c | 137118 | 1546 4865 115968 | 6050 3582 330 | 0.000 % | c | 137343 | 1546 4865 115968 | 6655 3807 330 | 0.000 % | c | 137681 | 1546 4865 115968 | 7320 4145 330 | 0.000 % | c | 138187 | 1546 4865 115968 | 8052 4651 330 | 0.000 % | c | 138946 | 1546 4865 115968 | 8857 5410 329 | 0.000 % | c | 140085 | 1546 4865 115968 | 9743 6549 329 | 0.000 % | c | 141793 | 1546 4865 115968 | 10717 8257 329 | 0.000 % | c | 144355 | 1546 4865 115968 | 11789 10819 329 | 0.000 % | c | 148200 | 1546 4865 115968 | 12968 8585 329 | 0.000 % | c | 153966 | 1546 4865 115968 | 14265 7687 329 | 0.000 % | c | 162615 | 1546 4865 115968 | 15692 9015 329 | 0.000 % | c | 175589 | 1546 4865 115968 | 17261 13942 329 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 84.8271 s Remaining CPU time: 95.1729 s c =============================================================================== c | 179930 | 1546 4866 116496 | 5000 9459 329 | 0.000 % | c | 180030 | 1546 4866 116496 | 5500 4830 328 | 0.000 % | c | 180180 | 1546 4866 116496 | 6050 4980 328 | 0.000 % | c | 180405 | 1546 4866 116496 | 6655 5205 328 | 0.000 % | c | 180742 | 1546 4866 116496 | 7320 5542 328 | 0.000 % | c | 181249 | 1546 4866 116496 | 8052 6049 328 | 0.000 % | c | 182008 | 1546 4866 116496 | 8857 6808 328 | 0.000 % | c | 183147 | 1546 4866 116496 | 9743 7947 328 | 0.000 % | c | 184855 | 1546 4866 116496 | 10717 9655 328 | 0.000 % | c | 187417 | 1546 4866 116496 | 11789 6666 327 | 0.000 % | c | 191263 | 1546 4866 116496 | 12968 10512 327 | 0.000 % | c | 197029 | 1546 4866 116496 | 14265 9588 328 | 0.000 % | c | 205679 | 1546 4866 116496 | 15692 10938 327 | 0.000 % | c | 218653 | 1546 4866 116496 | 17261 15869 328 | 0.000 % | c | 238114 | 1546 4866 116496 | 18987 8901 328 | 0.000 % | c | 267307 | 1546 4866 116496 | 20886 18697 328 | 0.000 % |