c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4653 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1550 | c | Number Clauses: 4638 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1550 4638 9791 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1550 4639 10316 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1550 4640 10841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1550 4641 11366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1550 4642 11891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1550 4643 12416 | 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 | 1550 4644 12941 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1550 4645 13466 | 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 | 1550 4646 13991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1550 4647 14516 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1550 4648 15041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1550 4649 15566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1550 4650 16091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1550 4651 16616 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1550 4652 17141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1550 4653 17666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1550 4654 18191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1550 4655 18716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1550 4656 19241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1550 4657 19766 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1550 4658 20291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1550 4659 20816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1550 4660 21341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1550 4661 21866 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1550 4662 22391 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1550 4663 22916 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1550 4664 23441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1550 4665 23966 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1550 4666 24491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1550 4667 25016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 3 | 1550 4668 25541 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 3 | 1550 4669 26066 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 3 | 1550 4670 26591 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 3 | 1550 4671 27116 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 3 | 1550 4672 27641 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 3 | 1550 4673 28166 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 3 | 1550 4674 28691 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 3 | 1550 4675 29216 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 3 | 1550 4676 29741 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 3 | 1550 4677 30266 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 3 | 1550 4678 30791 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 3 | 1550 4679 31316 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 3 | 1550 4680 31841 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 3 | 1550 4681 32366 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 3 | 1550 4682 32891 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 3 | 1550 4683 33416 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 3 | 1550 4684 33941 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 3 | 1550 4685 34466 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 3 | 1550 4686 34991 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 3 | 1550 4687 35516 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 3 | 1550 4688 36041 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 3 | 1550 4689 36566 | 5000 3 498 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 4 | 1550 4690 37091 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 4 | 1550 4691 37616 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 4 | 1550 4692 38141 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 4 | 1550 4693 38666 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 4 | 1550 4694 39191 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 4 | 1550 4695 39716 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 4 | 1550 4696 40241 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 4 | 1550 4697 40766 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 4 | 1550 4698 41291 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 4 | 1550 4699 41816 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 5 | 1550 4700 42341 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 5 | 1550 4701 42866 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 5 | 1550 4702 43391 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 5 | 1550 4703 43916 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 5 | 1550 4704 44441 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 5 | 1550 4705 44966 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 5 | 1550 4706 45491 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 5 | 1550 4707 46016 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 5 | 1550 4708 46541 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 5 | 1550 4709 47066 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 5 | 1550 4710 47591 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 5 | 1550 4711 48116 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 5 | 1550 4712 48641 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 5 | 1550 4713 49166 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 5 | 1550 4714 49691 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 5 | 1550 4715 50216 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 5 | 1550 4716 50741 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 5 | 1550 4717 51266 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 5 | 1550 4718 51791 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 5 | 1550 4719 52316 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 5 | 1550 4720 52841 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 5 | 1550 4721 53366 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 5 | 1550 4722 53891 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 5 | 1550 4723 54416 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 5 | 1550 4724 54941 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 5 | 1550 4725 55466 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 5 | 1550 4726 55991 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 5 | 1550 4727 56516 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 5 | 1550 4728 57041 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 5 | 1550 4729 57566 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 5 | 1550 4730 58091 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 5 | 1550 4731 58616 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 5 | 1550 4732 59141 | 5000 5 487 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 9 | 1550 4733 59666 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 9 | 1550 4734 60191 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 9 | 1550 4735 60716 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 9 | 1550 4736 61241 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 9 | 1550 4737 61766 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 9 | 1550 4738 62291 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 9 | 1550 4739 62816 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 9 | 1550 4740 63341 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 9 | 1550 4741 63866 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 9 | 1550 4742 64391 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 9 | 1550 4743 64916 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 9 | 1550 4744 65441 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 9 | 1550 4745 65966 | 5000 9 462 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 13 | 1550 4746 66491 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 13 | 1550 4747 67016 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 13 | 1550 4748 67541 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 13 | 1550 4749 68066 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 13 | 1550 4750 68591 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 13 | 1550 4751 69116 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 13 | 1550 4752 69641 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 13 | 1550 4753 70166 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 13 | 1550 4754 70691 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 13 | 1550 4755 71216 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 13 | 1550 4756 71741 | 5000 13 449 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 14 | 1550 4757 72266 | 5000 14 446 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 14 | 1550 4758 72791 | 5000 14 446 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 14 | 1550 4759 73316 | 5000 14 446 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 14 | 1550 4760 73841 | 5000 14 446 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 14 | 1550 4761 74366 | 5000 14 446 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 14 | 1550 4762 74891 | 5000 14 446 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 15 | 1550 4763 75416 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s c =============================================================================== c | 15 | 1550 4764 75941 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 15 | 1550 4765 76466 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 15 | 1550 4766 76991 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 15 | 1550 4767 77516 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 15 | 1550 4768 78041 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 15 | 1550 4769 78566 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 15 | 1550 4770 79091 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 15 | 1550 4771 79616 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.11283 s Remaining CPU time: 178.887 s c =============================================================================== c | 15 | 1550 4772 80141 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.12983 s Remaining CPU time: 178.87 s c =============================================================================== c | 15 | 1550 4773 80666 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.14783 s Remaining CPU time: 178.852 s c =============================================================================== c | 15 | 1550 4774 81191 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 15 | 1550 4775 81716 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 15 | 1550 4776 82241 | 5000 15 443 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.20282 s Remaining CPU time: 178.797 s c =============================================================================== c | 22 | 1550 4777 82766 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 22 | 1550 4778 83291 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 22 | 1550 4779 83816 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 22 | 1550 4780 84341 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 22 | 1550 4781 84866 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 22 | 1550 4782 85391 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.3188 s Remaining CPU time: 178.681 s c =============================================================================== c | 22 | 1550 4783 85916 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 22 | 1550 4784 86441 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s c =============================================================================== c | 22 | 1550 4785 86966 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.37779 s Remaining CPU time: 178.622 s c =============================================================================== c | 22 | 1550 4786 87491 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 22 | 1550 4787 88016 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.41578 s Remaining CPU time: 178.584 s c =============================================================================== c | 22 | 1550 4788 88541 | 5000 22 426 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 32 | 1550 4789 89066 | 5000 32 410 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.45978 s Remaining CPU time: 178.54 s c =============================================================================== c | 32 | 1550 4790 89591 | 5000 32 410 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.47978 s Remaining CPU time: 178.52 s c =============================================================================== c | 32 | 1550 4791 90116 | 5000 32 410 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 32 | 1550 4792 90641 | 5000 32 410 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s c =============================================================================== c | 32 | 1550 4793 91166 | 5000 32 410 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 32 | 1550 4794 91691 | 5000 32 410 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.56676 s Remaining CPU time: 178.433 s c =============================================================================== c | 56 | 1550 4795 92216 | 5000 56 393 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 60 | 1550 4796 92741 | 5000 60 391 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.61076 s Remaining CPU time: 178.389 s c =============================================================================== c | 60 | 1550 4797 93266 | 5000 60 391 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s c =============================================================================== c | 60 | 1550 4798 93791 | 5000 60 391 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 60 | 1550 4799 94316 | 5000 60 391 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 60 | 1550 4800 94841 | 5000 60 391 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.69674 s Remaining CPU time: 178.303 s c =============================================================================== c | 60 | 1550 4801 95366 | 5000 60 391 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.72074 s Remaining CPU time: 178.279 s c =============================================================================== c | 70 | 1550 4802 95891 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.74274 s Remaining CPU time: 178.257 s c =============================================================================== c | 70 | 1550 4803 96416 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.76473 s Remaining CPU time: 178.235 s c =============================================================================== c | 70 | 1550 4804 96941 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.78773 s Remaining CPU time: 178.212 s c =============================================================================== c | 70 | 1550 4805 97466 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 70 | 1550 4806 97991 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 70 | 1550 4807 98516 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s c =============================================================================== c | 70 | 1550 4808 99041 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.88171 s Remaining CPU time: 178.118 s c =============================================================================== c | 70 | 1550 4809 99566 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.90571 s Remaining CPU time: 178.094 s c =============================================================================== c | 70 | 1550 4810 100091 | 5000 70 387 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 79 | 1550 4811 100616 | 5000 79 384 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s c =============================================================================== c | 85 | 1550 4812 101141 | 5000 85 381 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 85 | 1550 4813 101666 | 5000 85 381 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 2.00669 s Remaining CPU time: 177.993 s c =============================================================================== c | 93 | 1550 4814 102191 | 5000 93 379 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 2.03269 s Remaining CPU time: 177.967 s c =============================================================================== c | 93 | 1550 4815 102716 | 5000 93 379 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 2.05969 s Remaining CPU time: 177.94 s c =============================================================================== c | 100 | 1550 4816 103241 | 5000 100 377 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s c =============================================================================== c | 100 | 1550 4817 103766 | 5000 100 377 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.10868 s Remaining CPU time: 177.891 s c =============================================================================== c | 100 | 1550 4818 104291 | 5000 100 377 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.13368 s Remaining CPU time: 177.866 s c =============================================================================== c | 100 | 1550 4819 104816 | 5000 100 377 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.15867 s Remaining CPU time: 177.841 s c =============================================================================== c | 100 | 1550 4820 105341 | 5000 100 377 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.18467 s Remaining CPU time: 177.815 s c =============================================================================== c | 100 | 1550 4821 105866 | 5000 100 377 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.20966 s Remaining CPU time: 177.79 s c =============================================================================== c | 101 | 1550 4822 106391 | 5000 101 376 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.23466 s Remaining CPU time: 177.765 s c =============================================================================== c | 102 | 1550 4823 106916 | 5000 102 376 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.27365 s Remaining CPU time: 177.726 s c =============================================================================== c | 160 | 1550 4824 107441 | 5000 160 363 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.29965 s Remaining CPU time: 177.7 s c =============================================================================== c | 163 | 1550 4825 107966 | 5000 163 363 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s c =============================================================================== c | 166 | 1550 4826 108491 | 5000 166 362 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s c =============================================================================== c | 170 | 1550 4827 109016 | 5000 170 362 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.38464 s Remaining CPU time: 177.615 s c =============================================================================== c | 173 | 1550 4828 109541 | 5000 173 361 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.41263 s Remaining CPU time: 177.587 s c =============================================================================== c | 176 | 1550 4829 110066 | 5000 176 361 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.43763 s Remaining CPU time: 177.562 s c =============================================================================== c | 178 | 1550 4830 110591 | 5000 178 361 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.46762 s Remaining CPU time: 177.532 s c =============================================================================== c | 190 | 1550 4831 111116 | 5000 190 359 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.49462 s Remaining CPU time: 177.505 s c =============================================================================== c | 190 | 1550 4832 111641 | 5000 190 359 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.52362 s Remaining CPU time: 177.476 s c =============================================================================== c | 203 | 1550 4833 112166 | 5000 203 357 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.55161 s Remaining CPU time: 177.448 s c =============================================================================== c | 204 | 1550 4834 112691 | 5000 204 357 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.57761 s Remaining CPU time: 177.422 s c =============================================================================== c | 206 | 1550 4835 113216 | 5000 206 357 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.6106 s Remaining CPU time: 177.389 s c =============================================================================== c | 228 | 1550 4836 113741 | 5000 228 354 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.6396 s Remaining CPU time: 177.36 s c =============================================================================== c | 232 | 1550 4837 114266 | 5000 232 354 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.67059 s Remaining CPU time: 177.329 s c =============================================================================== c | 237 | 1550 4838 114791 | 5000 237 353 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.73058 s Remaining CPU time: 177.269 s c =============================================================================== c | 330 | 1550 4839 115316 | 5000 330 346 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.76358 s Remaining CPU time: 177.236 s c =============================================================================== c | 340 | 1550 4840 115841 | 5000 340 345 | 0.000 % | c | 441 | 1550 4840 115841 | 5500 441 340 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.86156 s Remaining CPU time: 177.138 s c =============================================================================== c | 466 | 1550 4841 116366 | 5000 466 339 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.89456 s Remaining CPU time: 177.105 s c =============================================================================== c | 483 | 1550 4842 116891 | 5000 483 339 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.93055 s Remaining CPU time: 177.069 s c =============================================================================== c | 503 | 1550 4843 117416 | 5000 503 338 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.97655 s Remaining CPU time: 177.023 s c =============================================================================== c | 558 | 1550 4844 117941 | 5000 558 337 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 3.01054 s Remaining CPU time: 176.989 s c =============================================================================== c | 573 | 1550 4845 118466 | 5000 573 336 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 3.05054 s Remaining CPU time: 176.949 s c =============================================================================== c | 603 | 1550 4846 118991 | 5000 603 335 | 0.000 % | c | 703 | 1550 4846 118991 | 5500 703 333 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 703 | 1550 4847 119516 | 5000 703 333 | 0.000 % | c | 804 | 1550 4847 119516 | 5500 804 331 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 3.22551 s Remaining CPU time: 176.774 s c =============================================================================== c | 827 | 1550 4848 120041 | 5000 827 331 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 3.2585 s Remaining CPU time: 176.741 s c =============================================================================== c | 840 | 1550 4849 120566 | 5000 840 330 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 3.3035 s Remaining CPU time: 176.697 s c =============================================================================== c | 889 | 1550 4850 121091 | 5000 889 330 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 3.35249 s Remaining CPU time: 176.648 s c =============================================================================== c | 946 | 1550 4851 121616 | 5000 946 329 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 3.39148 s Remaining CPU time: 176.609 s c =============================================================================== c | 976 | 1550 4852 122141 | 5000 976 328 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 3.42548 s Remaining CPU time: 176.575 s c =============================================================================== c | 987 | 1550 4853 122666 | 5000 987 328 | 0.000 % | c | 1088 | 1550 4853 122666 | 5500 1088 326 | 0.000 % | c | 1238 | 1550 4853 122666 | 6050 1238 325 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 3.65844 s Remaining CPU time: 176.342 s c =============================================================================== c | 1449 | 1550 4854 123191 | 5000 1449 323 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.70044 s Remaining CPU time: 176.3 s c =============================================================================== c | 1477 | 1550 4855 123716 | 5000 1477 323 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.74243 s Remaining CPU time: 176.258 s c =============================================================================== c | 1499 | 1550 4856 124241 | 5000 1499 322 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.78342 s Remaining CPU time: 176.217 s c =============================================================================== c | 1528 | 1550 4857 124766 | 5000 1528 322 | 0.000 % | c | 1628 | 1550 4857 124766 | 5500 1628 321 | 0.000 % | c | 1779 | 1550 4857 124766 | 6050 1779 320 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 4.01539 s Remaining CPU time: 175.985 s c =============================================================================== c | 1961 | 1550 4858 125291 | 5000 1961 319 | 0.000 % | c | 2061 | 1550 4858 125291 | 5500 2061 318 | 0.000 % | c | 2212 | 1550 4858 125291 | 6050 2212 317 | 0.000 % | c | 2438 | 1550 4858 125291 | 6655 2438 317 | 0.000 % | c | 2776 | 1550 4858 125291 | 7320 2776 315 | 0.000 % | c | 3282 | 1550 4858 125291 | 8052 3282 314 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 4.83726 s Remaining CPU time: 175.163 s c =============================================================================== c | 3920 | 1550 4859 125816 | 5000 3920 313 | 0.000 % | c | 4020 | 1550 4859 125816 | 5500 4020 313 | 0.000 % | c | 4170 | 1550 4859 125816 | 6050 4170 312 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 5.02124 s Remaining CPU time: 174.979 s c =============================================================================== c | 4225 | 1550 4860 126341 | 5000 4225 312 | 0.000 % | c | 4325 | 1550 4860 126341 | 5500 4325 312 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 5.14022 s Remaining CPU time: 174.86 s c =============================================================================== c | 4367 | 1550 4861 126866 | 5000 4367 312 | 0.000 % | c | 4468 | 1550 4861 126866 | 5500 4468 312 | 0.000 % | c | 4619 | 1550 4861 126866 | 6050 4619 312 | 0.000 % | c | 4844 | 1550 4861 126866 | 6655 4844 311 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 5.47617 s Remaining CPU time: 174.524 s c =============================================================================== c | 4925 | 1550 4862 127391 | 5000 4925 311 | 0.000 % | c | 5025 | 1550 4862 127391 | 5500 5025 311 | 0.000 % | c | 5175 | 1550 4862 127391 | 6050 5175 311 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 5.72813 s Remaining CPU time: 174.272 s c =============================================================================== c | 5384 | 1550 4863 127916 | 5000 5384 310 | 0.000 % | c | 5484 | 1550 4863 127916 | 5500 2792 305 | 0.000 % | c | 5634 | 1550 4863 127916 | 6050 2942 305 | 0.000 % | c | 5859 | 1550 4863 127916 | 6655 3167 305 | 0.000 % | c | 6196 | 1550 4863 127916 | 7320 3504 304 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 6.35503 s Remaining CPU time: 173.645 s c =============================================================================== c | 6642 | 1550 4864 128441 | 5000 3950 304 | 0.000 % | c | 6742 | 1550 4864 128441 | 5500 4050 304 | 0.000 % | c | 6892 | 1550 4864 128441 | 6050 4200 304 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 6.574 s Remaining CPU time: 173.426 s c =============================================================================== c | 7027 | 1550 4865 128966 | 5000 4335 304 | 0.000 % | c | 7127 | 1550 4865 128966 | 5500 4435 304 | 0.000 % | c | 7277 | 1550 4865 128966 | 6050 4585 304 | 0.000 % | c | 7502 | 1550 4865 128966 | 6655 4810 303 | 0.000 % | c | 7840 | 1550 4865 128966 | 7320 5148 303 | 0.000 % | c | 8346 | 1550 4865 128966 | 8052 5654 303 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 7.2289 s Remaining CPU time: 172.771 s c =============================================================================== c | 8407 | 1550 4866 129491 | 5000 5715 303 | 0.000 % | c | 8508 | 1550 4866 129491 | 5500 2959 301 | 0.000 % | c | 8658 | 1550 4866 129491 | 6050 3109 300 | 0.000 % | c | 8883 | 1550 4866 129491 | 6655 3334 300 | 0.000 % | c | 9220 | 1550 4866 129491 | 7320 3671 300 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 7.79181 s Remaining CPU time: 172.208 s c =============================================================================== c | 9599 | 1550 4867 130016 | 5000 4050 300 | 0.000 % | c | 9700 | 1550 4867 130016 | 5500 4151 300 | 0.000 % | c | 9850 | 1550 4867 130016 | 6050 4301 300 | 0.000 % | c | 10075 | 1550 4867 130016 | 6655 4526 300 | 0.000 % | c | 10412 | 1550 4867 130016 | 7320 4863 300 | 0.000 % | c | 10918 | 1550 4867 130016 | 8052 5369 299 | 0.000 % | c | 11677 | 1550 4867 130016 | 8857 6128 299 | 0.000 % | c | 12816 | 1550 4867 130016 | 9743 7267 299 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 9.32958 s Remaining CPU time: 170.67 s c =============================================================================== c | 13152 | 1550 4868 130541 | 5000 7603 299 | 0.000 % | c | 13252 | 1550 4868 130541 | 5500 3902 298 | 0.000 % | c | 13402 | 1550 4868 130541 | 6050 4052 298 | 0.000 % | c | 13627 | 1550 4868 130541 | 6655 4277 298 | 0.000 % | c | 13964 | 1550 4868 130541 | 7320 4614 298 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 9.90249 s Remaining CPU time: 170.098 s c =============================================================================== c | 14250 | 1550 4869 131066 | 5000 4900 298 | 0.000 % | c | 14350 | 1550 4869 131066 | 5500 5000 298 | 0.000 % | c | 14500 | 1550 4869 131066 | 6050 5150 297 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 10.1065 s Remaining CPU time: 169.894 s c =============================================================================== c | 14557 | 1550 4870 131591 | 5000 5207 297 | 0.000 % | c | 14658 | 1550 4870 131591 | 5500 2705 297 | 0.000 % | c | 14808 | 1550 4870 131591 | 6050 2855 297 | 0.000 % | c | 15033 | 1550 4870 131591 | 6655 3080 297 | 0.000 % | c | 15370 | 1550 4870 131591 | 7320 3417 296 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 10.5584 s Remaining CPU time: 169.442 s c =============================================================================== c | 15454 | 1550 4871 132116 | 5000 3501 296 | 0.000 % | c | 15554 | 1550 4871 132116 | 5500 3601 296 | 0.000 % | c | 15704 | 1550 4871 132116 | 6050 3751 296 | 0.000 % | c | 15931 | 1550 4871 132116 | 6655 3978 296 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 10.9283 s Remaining CPU time: 169.072 s c =============================================================================== c | 16137 | 1550 4872 132641 | 5000 4184 296 | 0.000 % | c | 16237 | 1550 4872 132641 | 5500 4284 296 | 0.000 % | c | 16387 | 1550 4872 132641 | 6050 4434 296 | 0.000 % | c | 16613 | 1550 4872 132641 | 6655 4660 296 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 11.2273 s Remaining CPU time: 168.773 s c =============================================================================== c | 16669 | 1550 4873 133166 | 5000 4716 296 | 0.000 % | c | 16770 | 1550 4873 133166 | 5500 4817 295 | 0.000 % | c | 16920 | 1550 4873 133166 | 6050 4967 295 | 0.000 % | c | 17145 | 1550 4873 133166 | 6655 5192 295 | 0.000 % | c | 17483 | 1550 4873 133166 | 7320 5530 295 | 0.000 % | c | 17989 | 1550 4873 133166 | 8052 6036 295 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 11.8662 s Remaining CPU time: 168.134 s c =============================================================================== c | 18079 | 1550 4874 133691 | 5000 6126 295 | 0.000 % | c | 18179 | 1550 4874 133691 | 5500 3163 293 | 0.000 % | c | 18329 | 1550 4874 133691 | 6050 3313 293 | 0.000 % | c | 18555 | 1550 4874 133691 | 6655 3539 292 | 0.000 % | c | 18892 | 1550 4874 133691 | 7320 3876 292 | 0.000 % | c | 19398 | 1550 4874 133691 | 8052 4382 292 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 12.6121 s Remaining CPU time: 167.388 s c =============================================================================== c | 19631 | 1550 4875 134216 | 5000 4615 292 | 0.000 % | c | 19731 | 1550 4875 134216 | 5500 4715 292 | 0.000 % | c | 19882 | 1550 4875 134216 | 6050 4866 292 | 0.000 % | c | 20107 | 1550 4875 134216 | 6655 5091 292 | 0.000 % | c | 20444 | 1550 4875 134216 | 7320 5428 292 | 0.000 % | c | 20950 | 1550 4875 134216 | 8052 5934 291 | 0.000 % | c | 21709 | 1550 4875 134216 | 8857 6693 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 13.7539 s Remaining CPU time: 166.246 s c =============================================================================== c | 22169 | 1550 4876 134741 | 5000 7153 291 | 0.000 % | c | 22269 | 1550 4876 134741 | 5500 3677 290 | 0.000 % | c | 22419 | 1550 4876 134741 | 6050 3827 290 | 0.000 % | c | 22644 | 1550 4876 134741 | 6655 4052 290 | 0.000 % | c | 22981 | 1550 4876 134741 | 7320 4389 290 | 0.000 % | c | 23487 | 1550 4876 134741 | 8052 4895 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 14.6838 s Remaining CPU time: 165.316 s c =============================================================================== c | 24138 | 1550 4877 135266 | 5000 5546 290 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 14.7558 s Remaining CPU time: 165.244 s c =============================================================================== c | 24205 | 1550 4878 135791 | 5000 2840 289 | 0.000 % | c | 24305 | 1550 4878 135791 | 5500 2940 289 | 0.000 % | c | 24455 | 1550 4878 135791 | 6050 3090 289 | 0.000 % | c | 24680 | 1550 4878 135791 | 6655 3315 289 | 0.000 % | c | 25017 | 1550 4878 135791 | 7320 3652 288 | 0.000 % | c | 25523 | 1550 4878 135791 | 8052 4158 288 | 0.000 % | c | 26282 | 1550 4878 135791 | 8857 4917 288 | 0.000 % | c | 27421 | 1550 4878 135791 | 9743 6056 288 | 0.000 % | c | 29129 | 1550 4878 135791 | 10717 7764 288 | 0.000 % | c | 31691 | 1550 4878 135791 | 11789 10326 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 19.2361 s Remaining CPU time: 160.764 s c =============================================================================== c | 34508 | 1550 4879 136316 | 5000 7100 287 | 0.000 % | c | 34609 | 1550 4879 136316 | 5500 3651 287 | 0.000 % | c | 34759 | 1550 4879 136316 | 6050 3801 287 | 0.000 % | c | 34984 | 1550 4879 136316 | 6655 4026 287 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 19.615 s Remaining CPU time: 160.385 s c =============================================================================== c | 35033 | 1550 4880 136841 | 5000 4075 287 | 0.000 % | c | 35133 | 1550 4880 136841 | 5500 4175 287 | 0.000 % | c | 35283 | 1550 4880 136841 | 6050 4325 287 | 0.000 % | c | 35508 | 1550 4880 136841 | 6655 4550 287 | 0.000 % | c | 35846 | 1550 4880 136841 | 7320 4888 287 | 0.000 % | c | 36352 | 1550 4880 136841 | 8052 5394 286 | 0.000 % | c | 37111 | 1550 4880 136841 | 8857 6153 286 | 0.000 % | c | 38250 | 1550 4880 136841 | 9743 7292 286 | 0.000 % | c | 39958 | 1550 4880 136841 | 10717 9000 286 | 0.000 % | c | 42520 | 1550 4880 136841 | 11789 6040 286 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 23.8244 s Remaining CPU time: 156.176 s c =============================================================================== c | 44653 | 1550 4881 137366 | 5000 8173 286 | 0.000 % | c | 44753 | 1550 4881 137366 | 5500 4187 286 | 0.000 % | c | 44903 | 1550 4881 137366 | 6050 4337 286 | 0.000 % | c | 45129 | 1550 4881 137366 | 6655 4563 286 | 0.000 % | c | 45466 | 1550 4881 137366 | 7320 4900 285 | 0.000 % | c | 45972 | 1550 4881 137366 | 8052 5406 285 | 0.000 % | c | 46731 | 1550 4881 137366 | 8857 6165 285 | 0.000 % | c | 47870 | 1550 4881 137366 | 9743 7304 285 | 0.000 % | c | 49578 | 1550 4881 137366 | 10717 9012 285 | 0.000 % | c | 52141 | 1550 4881 137366 | 11789 6049 284 | 0.000 % | c | 55985 | 1550 4881 137366 | 12968 9893 284 | 0.000 % | c | 61752 | 1550 4881 137366 | 14265 9010 284 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 32.823 s Remaining CPU time: 147.177 s c =============================================================================== c | 64880 | 1550 4882 137891 | 5000 12138 284 | 0.000 % | c | 64980 | 1550 4882 137891 | 5500 3135 284 | 0.000 % | c | 65130 | 1550 4882 137891 | 6050 3285 284 | 0.000 % | c | 65355 | 1550 4882 137891 | 6655 3510 284 | 0.000 % | c | 65692 | 1550 4882 137891 | 7320 3847 284 | 0.000 % | c | 66198 | 1550 4882 137891 | 8052 4353 284 | 0.000 % | c | 66958 | 1550 4882 137891 | 8857 5113 284 | 0.000 % | c | 68097 | 1550 4882 137891 | 9743 6252 284 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 35.1457 s Remaining CPU time: 144.854 s c =============================================================================== c | 69705 | 1550 4883 138416 | 5000 7860 284 | 0.000 % | c | 69805 | 1550 4883 138416 | 5500 4030 283 | 0.000 % | c | 69956 | 1550 4883 138416 | 6050 4181 283 | 0.000 % | c | 70181 | 1550 4883 138416 | 6655 4406 283 | 0.000 % | c | 70519 | 1550 4883 138416 | 7320 4744 283 | 0.000 % | c | 71025 | 1550 4883 138416 | 8052 5250 283 | 0.000 % | c | 71784 | 1550 4883 138416 | 8857 6009 283 | 0.000 % | c | 72924 | 1550 4883 138416 | 9743 7149 283 | 0.000 % | c | 74632 | 1550 4883 138416 | 10717 8857 283 | 0.000 % | c | 77194 | 1550 4883 138416 | 11789 5914 283 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 40.3109 s Remaining CPU time: 139.689 s c =============================================================================== c | 80214 | 1550 4884 138941 | 5000 8934 283 | 0.000 % | c | 80315 | 1550 4884 138941 | 5500 4568 282 | 0.000 % | c | 80465 | 1550 4884 138941 | 6050 4718 282 | 0.000 % | c | 80690 | 1550 4884 138941 | 6655 4943 282 | 0.000 % | c | 81028 | 1550 4884 138941 | 7320 5281 282 | 0.000 % | c | 81534 | 1550 4884 138941 | 8052 5787 282 | 0.000 % | c | 82293 | 1550 4884 138941 | 8857 6546 282 | 0.000 % | c | 83432 | 1550 4884 138941 | 9743 7685 282 | 0.000 % | c | 85140 | 1550 4884 138941 | 10717 9393 282 | 0.000 % | c | 87702 | 1550 4884 138941 | 11789 6428 281 | 0.000 % | c | 91546 | 1550 4884 138941 | 12968 10272 281 | 0.000 % | c | 97313 | 1550 4884 138941 | 14265 9385 281 | 0.000 % | c | 105962 | 1550 4884 138941 | 15692 10722 282 | 0.000 % | c | 118936 | 1550 4884 138941 | 17261 15668 282 | 0.000 % | c | 138397 | 1550 4884 138941 | 18987 17529 282 | 0.000 % | c | 167589 | 1550 4884 138941 | 20886 17740 282 | 0.000 % | c | 211378 | 1550 4884 138941 | 22974 18887 282 | 0.000 % | c | 277062 | 1550 4884 138941 | 25272 20919 282 | 0.000 % |