c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4615 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1546 | c | Number Clauses: 4601 | 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 4601 9722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1546 4602 10242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1546 4603 10762 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1546 4604 11282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1546 4605 11802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1546 4606 12322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1546 4607 12842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1546 4608 13362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1546 4609 13882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1546 4610 14402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1546 4611 14922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1546 4612 15442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1546 4613 15962 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1546 4614 16482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1546 4615 17002 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1546 4616 17522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1546 4617 18042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1546 4618 18562 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1546 4619 19082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1546 4620 19602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1546 4621 20122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1546 4622 20642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1546 4623 21162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1546 4624 21682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1546 4625 22202 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1546 4626 22722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1546 4627 23242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1546 4628 23762 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1546 4629 24282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1546 4630 24802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1546 4631 25322 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 1546 4632 25842 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1546 4633 26362 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1546 4634 26882 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1546 4635 27402 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 1546 4636 27922 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1546 4637 28442 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1546 4638 28962 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 1 | 1546 4639 29482 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1546 4640 30002 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 1 | 1546 4641 30522 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1546 4642 31042 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 1 | 1546 4643 31562 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 1546 4644 32082 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 1 | 1546 4645 32602 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 1 | 1546 4646 33122 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 1 | 1546 4647 33642 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 1 | 1546 4648 34162 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 1 | 1546 4649 34682 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1 | 1546 4650 35202 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 1 | 1546 4651 35722 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 1 | 1546 4652 36242 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 1 | 1546 4653 36762 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 1 | 1546 4654 37282 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 1 | 1546 4655 37802 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 1 | 1546 4656 38322 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 1 | 1546 4657 38842 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 1 | 1546 4658 39362 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 1 | 1546 4659 39882 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 1 | 1546 4660 40402 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 1 | 1546 4661 40922 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 1 | 1546 4662 41442 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 1 | 1546 4663 41962 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 1 | 1546 4664 42482 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 1 | 1546 4665 43002 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 1 | 1546 4666 43522 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 1 | 1546 4667 44042 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 1 | 1546 4668 44562 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 2 | 1546 4669 45082 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 2 | 1546 4670 45602 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 2 | 1546 4671 46122 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 2 | 1546 4672 46642 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 2 | 1546 4673 47162 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 2 | 1546 4674 47682 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 2 | 1546 4675 48202 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 2 | 1546 4676 48722 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 2 | 1546 4677 49242 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 2 | 1546 4678 49762 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 2 | 1546 4679 50282 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 2 | 1546 4680 50802 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 3 | 1546 4681 51322 | 5000 3 463 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 3 | 1546 4682 51842 | 5000 3 463 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 7 | 1546 4683 52362 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 7 | 1546 4684 52882 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s c =============================================================================== c | 7 | 1546 4685 53402 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 7 | 1546 4686 53922 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 7 | 1546 4687 54442 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 7 | 1546 4688 54962 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 10 | 1546 4689 55482 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 10 | 1546 4690 56002 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 10 | 1546 4691 56522 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 10 | 1546 4692 57042 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 10 | 1546 4693 57562 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 10 | 1546 4694 58082 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 10 | 1546 4695 58602 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 10 | 1546 4696 59122 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 10 | 1546 4697 59642 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 10 | 1546 4698 60162 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 10 | 1546 4699 60682 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.6539 s Remaining CPU time: 179.346 s c =============================================================================== c | 10 | 1546 4700 61202 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 10 | 1546 4701 61722 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 10 | 1546 4702 62242 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 10 | 1546 4703 62762 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 10 | 1546 4704 63282 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.72089 s Remaining CPU time: 179.279 s c =============================================================================== c | 10 | 1546 4705 63802 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 10 | 1546 4706 64322 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 10 | 1546 4707 64842 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 10 | 1546 4708 65362 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 10 | 1546 4709 65882 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 10 | 1546 4710 66402 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 10 | 1546 4711 66922 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 10 | 1546 4712 67442 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 10 | 1546 4713 67962 | 5000 10 445 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 11 | 1546 4714 68482 | 5000 11 442 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 11 | 1546 4715 69002 | 5000 11 442 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.880866 s Remaining CPU time: 179.119 s c =============================================================================== c | 12 | 1546 4716 69522 | 5000 12 439 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 12 | 1546 4717 70042 | 5000 12 439 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s c =============================================================================== c | 21 | 1546 4718 70562 | 5000 21 424 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.929858 s Remaining CPU time: 179.07 s c =============================================================================== c | 26 | 1546 4719 71082 | 5000 26 420 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 33 | 1546 4720 71602 | 5000 33 416 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s c =============================================================================== c | 38 | 1546 4721 72122 | 5000 38 414 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 43 | 1546 4722 72642 | 5000 43 413 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 48 | 1546 4723 73162 | 5000 48 411 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s c =============================================================================== c | 55 | 1546 4724 73682 | 5000 55 410 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 60 | 1546 4725 74202 | 5000 60 409 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 66 | 1546 4726 74722 | 5000 66 402 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 71 | 1546 4727 75242 | 5000 71 401 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 78 | 1546 4728 75762 | 5000 78 401 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 80 | 1546 4729 76282 | 5000 80 396 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s c =============================================================================== c | 85 | 1546 4730 76802 | 5000 85 395 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 93 | 1546 4731 77322 | 5000 93 395 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 93 | 1546 4732 77842 | 5000 93 395 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.18382 s Remaining CPU time: 178.816 s c =============================================================================== c | 93 | 1546 4733 78362 | 5000 93 395 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s c =============================================================================== c | 97 | 1546 4734 78882 | 5000 97 395 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 102 | 1546 4735 79402 | 5000 102 394 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 107 | 1546 4736 79922 | 5000 107 394 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.27181 s Remaining CPU time: 178.728 s c =============================================================================== c | 144 | 1546 4737 80442 | 5000 144 392 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.2928 s Remaining CPU time: 178.707 s c =============================================================================== c | 147 | 1546 4738 80962 | 5000 147 392 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 155 | 1546 4739 81482 | 5000 155 391 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 166 | 1546 4740 82002 | 5000 166 391 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.35779 s Remaining CPU time: 178.642 s c =============================================================================== c | 168 | 1546 4741 82522 | 5000 168 391 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 169 | 1546 4742 83042 | 5000 169 390 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 171 | 1546 4743 83562 | 5000 171 390 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s c =============================================================================== c | 180 | 1546 4744 84082 | 5000 180 390 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 188 | 1546 4745 84602 | 5000 188 389 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.46578 s Remaining CPU time: 178.534 s c =============================================================================== c | 194 | 1546 4746 85122 | 5000 194 389 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 201 | 1546 4747 85642 | 5000 201 388 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 202 | 1546 4748 86162 | 5000 202 388 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.53977 s Remaining CPU time: 178.46 s c =============================================================================== c | 234 | 1546 4749 86682 | 5000 234 386 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 239 | 1546 4750 87202 | 5000 239 386 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.58976 s Remaining CPU time: 178.41 s c =============================================================================== c | 248 | 1546 4751 87722 | 5000 248 386 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 252 | 1546 4752 88242 | 5000 252 385 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 262 | 1546 4753 88762 | 5000 262 385 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 267 | 1546 4754 89282 | 5000 267 384 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.68774 s Remaining CPU time: 178.312 s c =============================================================================== c | 276 | 1546 4755 89802 | 5000 276 384 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 282 | 1546 4756 90322 | 5000 282 383 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.73774 s Remaining CPU time: 178.262 s c =============================================================================== c | 286 | 1546 4757 90842 | 5000 286 383 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.76273 s Remaining CPU time: 178.237 s c =============================================================================== c | 290 | 1546 4758 91362 | 5000 290 383 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 314 | 1546 4759 91882 | 5000 314 381 | 0.000 % | c | 414 | 1546 4759 91882 | 5500 414 376 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.85872 s Remaining CPU time: 178.141 s c =============================================================================== c | 415 | 1546 4760 92402 | 5000 415 376 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.88371 s Remaining CPU time: 178.116 s c =============================================================================== c | 416 | 1546 4761 92922 | 5000 416 376 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.90871 s Remaining CPU time: 178.091 s c =============================================================================== c | 418 | 1546 4762 93442 | 5000 418 376 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.93471 s Remaining CPU time: 178.065 s c =============================================================================== c | 425 | 1546 4763 93962 | 5000 425 376 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.9597 s Remaining CPU time: 178.04 s c =============================================================================== c | 429 | 1546 4764 94482 | 5000 429 376 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.9887 s Remaining CPU time: 178.011 s c =============================================================================== c | 454 | 1546 4765 95002 | 5000 454 375 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s c =============================================================================== c | 489 | 1546 4766 95522 | 5000 489 373 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.05169 s Remaining CPU time: 177.948 s c =============================================================================== c | 494 | 1546 4767 96042 | 5000 494 373 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 500 | 1546 4768 96562 | 5000 500 373 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 522 | 1546 4769 97082 | 5000 522 372 | 0.000 % | c | 622 | 1546 4769 97082 | 5500 622 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 2.18467 s Remaining CPU time: 177.815 s c =============================================================================== c | 629 | 1546 4770 97602 | 5000 629 369 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 2.22266 s Remaining CPU time: 177.777 s c =============================================================================== c | 678 | 1546 4771 98122 | 5000 678 368 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 686 | 1546 4772 98642 | 5000 686 368 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 714 | 1546 4773 99162 | 5000 714 367 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 2.31765 s Remaining CPU time: 177.682 s c =============================================================================== c | 737 | 1546 4774 99682 | 5000 737 366 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 2.35464 s Remaining CPU time: 177.645 s c =============================================================================== c | 786 | 1546 4775 100202 | 5000 786 365 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.38264 s Remaining CPU time: 177.617 s c =============================================================================== c | 788 | 1546 4776 100722 | 5000 788 365 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.41163 s Remaining CPU time: 177.588 s c =============================================================================== c | 797 | 1546 4777 101242 | 5000 797 364 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.46062 s Remaining CPU time: 177.539 s c =============================================================================== c | 866 | 1546 4778 101762 | 5000 866 363 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.49262 s Remaining CPU time: 177.507 s c =============================================================================== c | 875 | 1546 4779 102282 | 5000 875 363 | 0.000 % | c | 975 | 1546 4779 102282 | 5500 975 361 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.5996 s Remaining CPU time: 177.4 s c =============================================================================== c | 1094 | 1546 4780 102802 | 5000 1094 359 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.6446 s Remaining CPU time: 177.355 s c =============================================================================== c | 1161 | 1546 4781 103322 | 5000 1161 358 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.68659 s Remaining CPU time: 177.313 s c =============================================================================== c | 1233 | 1546 4782 103842 | 5000 1233 357 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 1254 | 1546 4783 104362 | 5000 1254 356 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.76658 s Remaining CPU time: 177.233 s c =============================================================================== c | 1325 | 1546 4784 104882 | 5000 1325 355 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.79957 s Remaining CPU time: 177.2 s c =============================================================================== c | 1351 | 1546 4785 105402 | 5000 1351 355 | 0.000 % | c | 1451 | 1546 4785 105402 | 5500 1451 354 | 0.000 % | c | 1601 | 1546 4785 105402 | 6050 1601 352 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.96855 s Remaining CPU time: 177.031 s c =============================================================================== c | 1726 | 1546 4786 105922 | 5000 1726 351 | 0.000 % | c | 1826 | 1546 4786 105922 | 5500 1826 350 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s c =============================================================================== c | 1932 | 1546 4787 106442 | 5000 1932 349 | 0.000 % | c | 2032 | 1546 4787 106442 | 5500 2032 349 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 3.16452 s Remaining CPU time: 176.835 s c =============================================================================== c | 2118 | 1546 4788 106962 | 5000 2118 348 | 0.000 % | c | 2219 | 1546 4788 106962 | 5500 2219 348 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 3.2705 s Remaining CPU time: 176.729 s c =============================================================================== c | 2306 | 1546 4789 107482 | 5000 2306 347 | 0.000 % | c | 2406 | 1546 4789 107482 | 5500 2406 347 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s c =============================================================================== c | 2426 | 1546 4790 108002 | 5000 2426 346 | 0.000 % | c | 2526 | 1546 4790 108002 | 5500 2526 346 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 3.43848 s Remaining CPU time: 176.562 s c =============================================================================== c | 2533 | 1546 4791 108522 | 5000 2533 346 | 0.000 % | c | 2633 | 1546 4791 108522 | 5500 2633 345 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 3.53646 s Remaining CPU time: 176.464 s c =============================================================================== c | 2696 | 1546 4792 109042 | 5000 2696 345 | 0.000 % | c | 2797 | 1546 4792 109042 | 5500 2797 344 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 3.62545 s Remaining CPU time: 176.375 s c =============================================================================== c | 2843 | 1546 4793 109562 | 5000 2843 344 | 0.000 % | c | 2944 | 1546 4793 109562 | 5500 2944 344 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 3.73043 s Remaining CPU time: 176.27 s c =============================================================================== c | 3060 | 1546 4794 110082 | 5000 3060 343 | 0.000 % | c | 3160 | 1546 4794 110082 | 5500 3160 343 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 3.83842 s Remaining CPU time: 176.162 s c =============================================================================== c | 3273 | 1546 4795 110602 | 5000 3273 342 | 0.000 % | c | 3373 | 1546 4795 110602 | 5500 3373 342 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 3.9594 s Remaining CPU time: 176.041 s c =============================================================================== c | 3453 | 1546 4796 111122 | 5000 3453 341 | 0.000 % | c | 3553 | 1546 4796 111122 | 5500 3553 341 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 4.07138 s Remaining CPU time: 175.929 s c =============================================================================== c | 3673 | 1546 4797 111642 | 5000 3673 340 | 0.000 % | c | 3773 | 1546 4797 111642 | 5500 3773 340 | 0.000 % | c | 3923 | 1546 4797 111642 | 6050 3923 340 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 4.26135 s Remaining CPU time: 175.739 s c =============================================================================== c | 4096 | 1546 4798 112162 | 5000 4096 339 | 0.000 % | c | 4197 | 1546 4798 112162 | 5500 4197 339 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 4.36534 s Remaining CPU time: 175.635 s c =============================================================================== c | 4249 | 1546 4799 112682 | 5000 4249 338 | 0.000 % | c | 4350 | 1546 4799 112682 | 5500 4350 338 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 4.48132 s Remaining CPU time: 175.519 s c =============================================================================== c | 4450 | 1546 4800 113202 | 5000 4450 338 | 0.000 % | c | 4550 | 1546 4800 113202 | 5500 4550 337 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 4.56231 s Remaining CPU time: 175.438 s c =============================================================================== c | 4559 | 1546 4801 113722 | 5000 4559 337 | 0.000 % | c | 4661 | 1546 4801 113722 | 5500 4661 337 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 4.67629 s Remaining CPU time: 175.324 s c =============================================================================== c | 4791 | 1546 4802 114242 | 5000 4791 337 | 0.000 % | c | 4892 | 1546 4802 114242 | 5500 4892 336 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 4.79627 s Remaining CPU time: 175.204 s c =============================================================================== c | 5034 | 1546 4803 114762 | 5000 5034 336 | 0.000 % | c | 5135 | 1546 4803 114762 | 5500 2618 325 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 4.91525 s Remaining CPU time: 175.085 s c =============================================================================== c | 5245 | 1546 4804 115282 | 5000 2728 325 | 0.000 % | c | 5345 | 1546 4804 115282 | 5500 2828 325 | 0.000 % | c | 5495 | 1546 4804 115282 | 6050 2978 325 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 5.07823 s Remaining CPU time: 174.922 s c =============================================================================== c | 5552 | 1546 4805 115802 | 5000 3035 324 | 0.000 % | c | 5652 | 1546 4805 115802 | 5500 3135 324 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 5.17821 s Remaining CPU time: 174.822 s c =============================================================================== c | 5716 | 1546 4806 116322 | 5000 3199 324 | 0.000 % | c | 5816 | 1546 4806 116322 | 5500 3299 324 | 0.000 % | c | 5966 | 1546 4806 116322 | 6050 3449 323 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 5.38018 s Remaining CPU time: 174.62 s c =============================================================================== c | 6170 | 1546 4807 116842 | 5000 3653 323 | 0.000 % | c | 6270 | 1546 4807 116842 | 5500 3753 323 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 5.47417 s Remaining CPU time: 174.526 s c =============================================================================== c | 6303 | 1546 4808 117362 | 5000 3786 323 | 0.000 % | c | 6403 | 1546 4808 117362 | 5500 3886 323 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 5.56115 s Remaining CPU time: 174.439 s c =============================================================================== c | 6407 | 1546 4809 117882 | 5000 3890 323 | 0.000 % | c | 6508 | 1546 4809 117882 | 5500 3991 322 | 0.000 % | c | 6658 | 1546 4809 117882 | 6050 4141 322 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 5.71813 s Remaining CPU time: 174.282 s c =============================================================================== c | 6692 | 1546 4810 118402 | 5000 4175 322 | 0.000 % | c | 6792 | 1546 4810 118402 | 5500 4275 322 | 0.000 % | c | 6942 | 1546 4810 118402 | 6050 4425 321 | 0.000 % | c | 7167 | 1546 4810 118402 | 6655 4650 321 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 6.00609 s Remaining CPU time: 173.994 s c =============================================================================== c | 7279 | 1546 4811 118922 | 5000 4762 321 | 0.000 % | c | 7379 | 1546 4811 118922 | 5500 4862 321 | 0.000 % | c | 7529 | 1546 4811 118922 | 6050 5012 320 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 6.18206 s Remaining CPU time: 173.818 s c =============================================================================== c | 7636 | 1546 4812 119442 | 5000 5119 320 | 0.000 % | c | 7737 | 1546 4812 119442 | 5500 2661 314 | 0.000 % | c | 7887 | 1546 4812 119442 | 6050 2811 314 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 6.37603 s Remaining CPU time: 173.624 s c =============================================================================== c | 8007 | 1546 4813 119962 | 5000 2931 314 | 0.000 % | c | 8107 | 1546 4813 119962 | 5500 3031 314 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 6.49501 s Remaining CPU time: 173.505 s c =============================================================================== c | 8218 | 1546 4814 120482 | 5000 3142 314 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 6.551 s Remaining CPU time: 173.449 s c =============================================================================== c | 8314 | 1546 4815 121002 | 5000 3238 314 | 0.000 % | c | 8414 | 1546 4815 121002 | 5500 3338 313 | 0.000 % | c | 8564 | 1546 4815 121002 | 6050 3488 313 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 6.71398 s Remaining CPU time: 173.286 s c =============================================================================== c | 8583 | 1546 4816 121522 | 5000 3507 313 | 0.000 % | c | 8683 | 1546 4816 121522 | 5500 3607 313 | 0.000 % | c | 8834 | 1546 4816 121522 | 6050 3758 313 | 0.000 % | c | 9060 | 1546 4816 121522 | 6655 3984 312 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 6.97994 s Remaining CPU time: 173.02 s c =============================================================================== c | 9164 | 1546 4817 122042 | 5000 4088 312 | 0.000 % | c | 9264 | 1546 4817 122042 | 5500 4188 312 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 7.10392 s Remaining CPU time: 172.896 s c =============================================================================== c | 9394 | 1546 4818 122562 | 5000 4318 312 | 0.000 % | c | 9494 | 1546 4818 122562 | 5500 4418 312 | 0.000 % | c | 9645 | 1546 4818 122562 | 6050 4569 311 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 7.31089 s Remaining CPU time: 172.689 s c =============================================================================== c | 9825 | 1546 4819 123082 | 5000 4749 311 | 0.000 % | c | 9926 | 1546 4819 123082 | 5500 4850 311 | 0.000 % | c | 10076 | 1546 4819 123082 | 6050 5000 311 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 7.47286 s Remaining CPU time: 172.527 s c =============================================================================== c | 10085 | 1546 4820 123602 | 5000 5009 311 | 0.000 % | c | 10185 | 1546 4820 123602 | 5500 2605 306 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 7.60684 s Remaining CPU time: 172.393 s c =============================================================================== c | 10321 | 1546 4821 124122 | 5000 2741 306 | 0.000 % | c | 10421 | 1546 4821 124122 | 5500 2841 306 | 0.000 % | c | 10571 | 1546 4821 124122 | 6050 2991 306 | 0.000 % | c | 10797 | 1546 4821 124122 | 6655 3217 305 | 0.000 % | c | 11134 | 1546 4821 124122 | 7320 3554 305 | 0.000 % | c | 11641 | 1546 4821 124122 | 8052 4061 305 | 0.000 % | c | 12400 | 1546 4821 124122 | 8857 4820 304 | 0.000 % | c | 13539 | 1546 4821 124122 | 9743 5959 304 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 8.78366 s Remaining CPU time: 171.216 s c =============================================================================== c | 13668 | 1546 4822 124642 | 5000 6088 304 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 8.85665 s Remaining CPU time: 171.143 s c =============================================================================== c | 13766 | 1546 4823 125162 | 5000 3142 302 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 8.91464 s Remaining CPU time: 171.085 s c =============================================================================== c | 13856 | 1546 4824 125682 | 5000 3232 301 | 0.000 % | c | 13956 | 1546 4824 125682 | 5500 3332 301 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 9.01863 s Remaining CPU time: 170.981 s c =============================================================================== c | 14016 | 1546 4825 126202 | 5000 3392 301 | 0.000 % | c | 14116 | 1546 4825 126202 | 5500 3492 301 | 0.000 % | c | 14267 | 1546 4825 126202 | 6050 3643 301 | 0.000 % | c | 14492 | 1546 4825 126202 | 6655 3868 301 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 9.36957 s Remaining CPU time: 170.63 s c =============================================================================== c | 14803 | 1546 4826 126722 | 5000 4179 301 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 9.41357 s Remaining CPU time: 170.586 s c =============================================================================== c | 14837 | 1546 4827 127242 | 5000 4213 301 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 9.46656 s Remaining CPU time: 170.533 s c =============================================================================== c | 14877 | 1546 4828 127762 | 5000 4253 300 | 0.000 % | c | 14977 | 1546 4828 127762 | 5500 4353 300 | 0.000 % | c | 15128 | 1546 4828 127762 | 6050 4504 300 | 0.000 % | c | 15354 | 1546 4828 127762 | 6655 4730 300 | 0.000 % | c | 15692 | 1546 4828 127762 | 7320 5068 300 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 9.8695 s Remaining CPU time: 170.131 s c =============================================================================== c | 15709 | 1546 4829 128282 | 5000 5085 300 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 9.93949 s Remaining CPU time: 170.061 s c =============================================================================== c | 15785 | 1546 4830 128802 | 5000 2619 297 | 0.000 % | c | 15885 | 1546 4830 128802 | 5500 2719 297 | 0.000 % | c | 16035 | 1546 4830 128802 | 6050 2869 297 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 10.1485 s Remaining CPU time: 169.852 s c =============================================================================== c | 16222 | 1546 4831 129322 | 5000 3056 296 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 10.2054 s Remaining CPU time: 169.795 s c =============================================================================== c | 16297 | 1546 4832 129842 | 5000 3131 296 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 10.2694 s Remaining CPU time: 169.731 s c =============================================================================== c | 16382 | 1546 4833 130362 | 5000 3216 296 | 0.000 % | c | 16482 | 1546 4833 130362 | 5500 3316 296 | 0.000 % | c | 16632 | 1546 4833 130362 | 6050 3466 296 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 10.4484 s Remaining CPU time: 169.552 s c =============================================================================== c | 16682 | 1546 4834 130882 | 5000 3516 296 | 0.000 % | c | 16782 | 1546 4834 130882 | 5500 3616 295 | 0.000 % | c | 16932 | 1546 4834 130882 | 6050 3766 295 | 0.000 % | c | 17158 | 1546 4834 130882 | 6655 3992 295 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 10.7714 s Remaining CPU time: 169.229 s c =============================================================================== c | 17387 | 1546 4835 131402 | 5000 4221 294 | 0.000 % | c | 17487 | 1546 4835 131402 | 5500 4321 294 | 0.000 % | c | 17637 | 1546 4835 131402 | 6050 4471 294 | 0.000 % | c | 17862 | 1546 4835 131402 | 6655 4696 294 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 11.1253 s Remaining CPU time: 168.875 s c =============================================================================== c | 18193 | 1546 4836 131922 | 5000 5027 293 | 0.000 % | c | 18294 | 1546 4836 131922 | 5500 2615 289 | 0.000 % | c | 18444 | 1546 4836 131922 | 6050 2765 289 | 0.000 % | c | 18669 | 1546 4836 131922 | 6655 2990 289 | 0.000 % | c | 19006 | 1546 4836 131922 | 7320 3327 289 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 11.5812 s Remaining CPU time: 168.419 s c =============================================================================== c | 19208 | 1546 4837 132442 | 5000 3529 288 | 0.000 % | c | 19308 | 1546 4837 132442 | 5500 3629 288 | 0.000 % | c | 19459 | 1546 4837 132442 | 6050 3780 288 | 0.000 % | c | 19684 | 1546 4837 132442 | 6655 4005 288 | 0.000 % | c | 20022 | 1546 4837 132442 | 7320 4343 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 11.9862 s Remaining CPU time: 168.014 s c =============================================================================== c | 20065 | 1546 4838 132962 | 5000 4386 288 | 0.000 % | c | 20165 | 1546 4838 132962 | 5500 4486 288 | 0.000 % | c | 20316 | 1546 4838 132962 | 6050 4637 288 | 0.000 % | c | 20542 | 1546 4838 132962 | 6655 4863 287 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 12.3321 s Remaining CPU time: 167.668 s c =============================================================================== c | 20704 | 1546 4839 133482 | 5000 5025 287 | 0.000 % | c | 20804 | 1546 4839 133482 | 5500 2613 285 | 0.000 % | c | 20955 | 1546 4839 133482 | 6050 2764 285 | 0.000 % | c | 21180 | 1546 4839 133482 | 6655 2989 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 12.6381 s Remaining CPU time: 167.362 s c =============================================================================== c | 21305 | 1546 4840 134002 | 5000 3114 285 | 0.000 % | c | 21405 | 1546 4840 134002 | 5500 3214 285 | 0.000 % | c | 21555 | 1546 4840 134002 | 6050 3364 285 | 0.000 % | c | 21781 | 1546 4840 134002 | 6655 3590 285 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 12.931 s Remaining CPU time: 167.069 s c =============================================================================== c | 21908 | 1546 4841 134522 | 5000 3717 285 | 0.000 % | c | 22008 | 1546 4841 134522 | 5500 3817 285 | 0.000 % | c | 22158 | 1546 4841 134522 | 6050 3967 284 | 0.000 % | c | 22384 | 1546 4841 134522 | 6655 4193 284 | 0.000 % | c | 22721 | 1546 4841 134522 | 7320 4530 284 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 13.4819 s Remaining CPU time: 166.518 s c =============================================================================== c | 23226 | 1546 4842 135042 | 5000 5035 284 | 0.000 % | c | 23326 | 1546 4842 135042 | 5500 2618 282 | 0.000 % | c | 23476 | 1546 4842 135042 | 6050 2768 282 | 0.000 % | c | 23702 | 1546 4842 135042 | 6655 2994 282 | 0.000 % | c | 24039 | 1546 4842 135042 | 7320 3331 282 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 14.0089 s Remaining CPU time: 165.991 s c =============================================================================== c | 24332 | 1546 4843 135562 | 5000 3624 282 | 0.000 % | c | 24432 | 1546 4843 135562 | 5500 3724 282 | 0.000 % | c | 24582 | 1546 4843 135562 | 6050 3874 281 | 0.000 % | c | 24807 | 1546 4843 135562 | 6655 4099 281 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 14.3488 s Remaining CPU time: 165.651 s c =============================================================================== c | 25072 | 1546 4844 136082 | 5000 4364 281 | 0.000 % | c | 25172 | 1546 4844 136082 | 5500 4464 281 | 0.000 % | c | 25323 | 1546 4844 136082 | 6050 4615 281 | 0.000 % | c | 25549 | 1546 4844 136082 | 6655 4841 281 | 0.000 % | c | 25886 | 1546 4844 136082 | 7320 5178 281 | 0.000 % | c | 26392 | 1546 4844 136082 | 8052 5684 281 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 15.0667 s Remaining CPU time: 164.933 s c =============================================================================== c | 26740 | 1546 4845 136602 | 5000 6032 280 | 0.000 % | c | 26840 | 1546 4845 136602 | 5500 3116 279 | 0.000 % | c | 26990 | 1546 4845 136602 | 6050 3266 279 | 0.000 % | c | 27215 | 1546 4845 136602 | 6655 3491 279 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 15.3967 s Remaining CPU time: 164.603 s c =============================================================================== c | 27355 | 1546 4846 137122 | 5000 3631 279 | 0.000 % | c | 27455 | 1546 4846 137122 | 5500 3731 279 | 0.000 % | c | 27606 | 1546 4846 137122 | 6050 3882 278 | 0.000 % | c | 27831 | 1546 4846 137122 | 6655 4107 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 15.7136 s Remaining CPU time: 164.286 s c =============================================================================== c | 27992 | 1546 4847 137642 | 5000 4268 278 | 0.000 % | c | 28093 | 1546 4847 137642 | 5500 4369 278 | 0.000 % | c | 28243 | 1546 4847 137642 | 6050 4519 278 | 0.000 % | c | 28468 | 1546 4847 137642 | 6655 4744 278 | 0.000 % | c | 28805 | 1546 4847 137642 | 7320 5081 278 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 16.2685 s Remaining CPU time: 163.731 s c =============================================================================== c | 29249 | 1546 4848 138162 | 5000 5525 278 | 0.000 % | c | 29349 | 1546 4848 138162 | 5500 2863 276 | 0.000 % | c | 29500 | 1546 4848 138162 | 6050 3014 276 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 16.5065 s Remaining CPU time: 163.494 s c =============================================================================== c | 29651 | 1546 4849 138682 | 5000 3165 276 | 0.000 % | c | 29751 | 1546 4849 138682 | 5500 3265 276 | 0.000 % | c | 29902 | 1546 4849 138682 | 6050 3416 276 | 0.000 % | c | 30127 | 1546 4849 138682 | 6655 3641 276 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 16.8434 s Remaining CPU time: 163.157 s c =============================================================================== c | 30381 | 1546 4850 139202 | 5000 3895 276 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 16.8974 s Remaining CPU time: 163.103 s c =============================================================================== c | 30443 | 1546 4851 139722 | 5000 3957 275 | 0.000 % | c | 30543 | 1546 4851 139722 | 5500 4057 275 | 0.000 % | c | 30693 | 1546 4851 139722 | 6050 4207 275 | 0.000 % | c | 30918 | 1546 4851 139722 | 6655 4432 275 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 17.2554 s Remaining CPU time: 162.745 s c =============================================================================== c | 31188 | 1546 4852 140242 | 5000 4702 275 | 0.000 % | c | 31288 | 1546 4852 140242 | 5500 4802 275 | 0.000 % | c | 31439 | 1546 4852 140242 | 6050 4953 275 | 0.000 % | c | 31664 | 1546 4852 140242 | 6655 5178 274 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 17.5773 s Remaining CPU time: 162.423 s c =============================================================================== c | 31774 | 1546 4853 140762 | 5000 5288 274 | 0.000 % | c | 31875 | 1546 4853 140762 | 5500 2745 272 | 0.000 % | c | 32025 | 1546 4853 140762 | 6050 2895 272 | 0.000 % | c | 32250 | 1546 4853 140762 | 6655 3120 272 | 0.000 % | c | 32587 | 1546 4853 140762 | 7320 3457 272 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 18.0713 s Remaining CPU time: 161.929 s c =============================================================================== c | 32819 | 1546 4854 141282 | 5000 3689 271 | 0.000 % | c | 32919 | 1546 4854 141282 | 5500 3789 271 | 0.000 % | c | 33070 | 1546 4854 141282 | 6050 3940 271 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 18.2502 s Remaining CPU time: 161.75 s c =============================================================================== c | 33079 | 1546 4855 141802 | 5000 3949 271 | 0.000 % | c | 33179 | 1546 4855 141802 | 5500 4049 271 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 18.3862 s Remaining CPU time: 161.614 s c =============================================================================== c | 33288 | 1546 4856 142322 | 5000 4158 271 | 0.000 % | c | 33388 | 1546 4856 142322 | 5500 4258 271 | 0.000 % | c | 33538 | 1546 4856 142322 | 6050 4408 271 | 0.000 % | c | 33763 | 1546 4856 142322 | 6655 4633 271 | 0.000 % | c | 34100 | 1546 4856 142322 | 7320 4970 270 | 0.000 % | c | 34606 | 1546 4856 142322 | 8052 5476 270 | 0.000 % | c | 35365 | 1546 4856 142322 | 8857 6235 270 | 0.000 % | c | 36504 | 1546 4856 142322 | 9743 7374 269 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 19.823 s Remaining CPU time: 160.177 s c =============================================================================== c | 37024 | 1546 4857 142842 | 5000 7894 269 | 0.000 % | c | 37124 | 1546 4857 142842 | 5500 4047 266 | 0.000 % | c | 37274 | 1546 4857 142842 | 6050 4197 266 | 0.000 % | c | 37499 | 1546 4857 142842 | 6655 4422 266 | 0.000 % | c | 37836 | 1546 4857 142842 | 7320 4759 266 | 0.000 % | c | 38342 | 1546 4857 142842 | 8052 5265 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 20.4829 s Remaining CPU time: 159.517 s c =============================================================================== c | 38385 | 1546 4858 143362 | 5000 5308 266 | 0.000 % | c | 38485 | 1546 4858 143362 | 5500 2754 266 | 0.000 % | c | 38636 | 1546 4858 143362 | 6050 2905 266 | 0.000 % | c | 38861 | 1546 4858 143362 | 6655 3130 266 | 0.000 % | c | 39198 | 1546 4858 143362 | 7320 3467 266 | 0.000 % | c | 39704 | 1546 4858 143362 | 8052 3973 265 | 0.000 % | c | 40463 | 1546 4858 143362 | 8857 4732 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 21.5337 s Remaining CPU time: 158.466 s c =============================================================================== c | 40946 | 1546 4859 143882 | 5000 5215 265 | 0.000 % | c | 41046 | 1546 4859 143882 | 5500 2708 264 | 0.000 % | c | 41196 | 1546 4859 143882 | 6050 2858 264 | 0.000 % | c | 41421 | 1546 4859 143882 | 6655 3083 264 | 0.000 % | c | 41758 | 1546 4859 143882 | 7320 3420 264 | 0.000 % | c | 42264 | 1546 4859 143882 | 8052 3926 264 | 0.000 % | c | 43024 | 1546 4859 143882 | 8857 4686 264 | 0.000 % | c | 44163 | 1546 4859 143882 | 9743 5825 264 | 0.000 % | c | 45871 | 1546 4859 143882 | 10717 7533 264 | 0.000 % | c | 48433 | 1546 4859 143882 | 11789 10095 264 | 0.000 % | c | 52278 | 1546 4859 143882 | 12968 7901 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 27.0799 s Remaining CPU time: 152.92 s c =============================================================================== c | 53112 | 1546 4860 144402 | 5000 8735 264 | 0.000 % | c | 53213 | 1546 4860 144402 | 5500 4469 264 | 0.000 % | c | 53363 | 1546 4860 144402 | 6050 4619 264 | 0.000 % | c | 53588 | 1546 4860 144402 | 6655 4844 264 | 0.000 % | c | 53925 | 1546 4860 144402 | 7320 5181 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 27.7038 s Remaining CPU time: 152.296 s c =============================================================================== c | 54074 | 1546 4861 144922 | 5000 5330 264 | 0.000 % | c | 54175 | 1546 4861 144922 | 5500 2766 263 | 0.000 % | c | 54325 | 1546 4861 144922 | 6050 2916 263 | 0.000 % | c | 54550 | 1546 4861 144922 | 6655 3141 263 | 0.000 % | c | 54887 | 1546 4861 144922 | 7320 3478 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 28.3427 s Remaining CPU time: 151.657 s c =============================================================================== c | 55376 | 1546 4862 145442 | 5000 3967 263 | 0.000 % | c | 55477 | 1546 4862 145442 | 5500 4068 262 | 0.000 % | c | 55627 | 1546 4862 145442 | 6050 4218 262 | 0.000 % | c | 55852 | 1546 4862 145442 | 6655 4443 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 28.6466 s Remaining CPU time: 151.353 s c =============================================================================== c | 55886 | 1546 4863 145962 | 5000 4477 262 | 0.000 % | c | 55986 | 1546 4863 145962 | 5500 4577 262 | 0.000 % | c | 56136 | 1546 4863 145962 | 6050 4727 262 | 0.000 % | c | 56362 | 1546 4863 145962 | 6655 4953 262 | 0.000 % | c | 56700 | 1546 4863 145962 | 7320 5291 262 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 29.1966 s Remaining CPU time: 150.803 s c =============================================================================== c | 57080 | 1546 4864 146482 | 5000 5671 262 | 0.000 % | c | 57180 | 1546 4864 146482 | 5500 2936 260 | 0.000 % | c | 57330 | 1546 4864 146482 | 6050 3086 260 | 0.000 % | c | 57556 | 1546 4864 146482 | 6655 3312 260 | 0.000 % | c | 57894 | 1546 4864 146482 | 7320 3650 260 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 29.6695 s Remaining CPU time: 150.331 s c =============================================================================== c | 57979 | 1546 4865 147002 | 5000 3735 260 | 0.000 % | c | 58079 | 1546 4865 147002 | 5500 3835 260 | 0.000 % | c | 58229 | 1546 4865 147002 | 6050 3985 260 | 0.000 % | c | 58455 | 1546 4865 147002 | 6655 4211 260 | 0.000 % | c | 58793 | 1546 4865 147002 | 7320 4549 259 | 0.000 % | c | 59299 | 1546 4865 147002 | 8052 5055 259 | 0.000 % | c | 60058 | 1546 4865 147002 | 8857 5814 259 | 0.000 % | c | 61197 | 1546 4865 147002 | 9743 6953 259 | 0.000 % | c | 62906 | 1546 4865 147002 | 10717 8662 259 | 0.000 % | c | 65468 | 1546 4865 147002 | 11789 5697 258 | 0.000 % | c | 69313 | 1546 4865 147002 | 12968 9542 258 | 0.000 % | c | 75080 | 1546 4865 147002 | 14265 8692 258 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 37.2663 s Remaining CPU time: 142.734 s c =============================================================================== c | 76021 | 1546 4866 147522 | 5000 9633 258 | 0.000 % | c | 76122 | 1546 4866 147522 | 5500 4918 258 | 0.000 % | c | 76272 | 1546 4866 147522 | 6050 5068 258 | 0.000 % | c | 76497 | 1546 4866 147522 | 6655 5293 258 | 0.000 % | c | 76834 | 1546 4866 147522 | 7320 5630 258 | 0.000 % | c | 77340 | 1546 4866 147522 | 8052 6136 258 | 0.000 % | c | 78099 | 1546 4866 147522 | 8857 6895 257 | 0.000 % | c | 79238 | 1546 4866 147522 | 9743 8034 257 | 0.000 % | c | 80947 | 1546 4866 147522 | 10717 9743 257 | 0.000 % | c | 83510 | 1546 4866 147522 | 11789 6788 257 | 0.000 % | c | 87355 | 1546 4866 147522 | 12968 10633 257 | 0.000 % | c | 93122 | 1546 4866 147522 | 14265 9771 257 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 48.8636 s Remaining CPU time: 131.136 s c =============================================================================== c | 101475 | 1546 4867 148042 | 5000 10844 257 | 0.000 % | c | 101575 | 1546 4867 148042 | 5500 2811 256 | 0.000 % | c | 101725 | 1546 4867 148042 | 6050 2961 256 | 0.000 % | c | 101951 | 1546 4867 148042 | 6655 3187 256 | 0.000 % | c | 102288 | 1546 4867 148042 | 7320 3524 256 | 0.000 % | c | 102794 | 1546 4867 148042 | 8052 4030 256 | 0.000 % | c | 103553 | 1546 4867 148042 | 8857 4789 256 | 0.000 % | c | 104692 | 1546 4867 148042 | 9743 5928 256 | 0.000 % | c | 106401 | 1546 4867 148042 | 10717 7637 256 | 0.000 % | c | 108964 | 1546 4867 148042 | 11789 10200 256 | 0.000 % | c | 112809 | 1546 4867 148042 | 12968 7993 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 55.0746 s Remaining CPU time: 124.925 s c =============================================================================== c | 115133 | 1546 4868 148562 | 5000 10317 256 | 0.000 % | c | 115234 | 1546 4868 148562 | 5500 2681 255 | 0.000 % | c | 115384 | 1546 4868 148562 | 6050 2831 255 | 0.000 % | c | 115609 | 1546 4868 148562 | 6655 3056 255 | 0.000 % | c | 115947 | 1546 4868 148562 | 7320 3394 255 | 0.000 % | c | 116454 | 1546 4868 148562 | 8052 3901 255 | 0.000 % | c | 117213 | 1546 4868 148562 | 8857 4660 255 | 0.000 % | c | 118352 | 1546 4868 148562 | 9743 5799 255 | 0.000 % | c | 120060 | 1546 4868 148562 | 10717 7507 255 | 0.000 % | c | 122623 | 1546 4868 148562 | 11789 10070 255 | 0.000 % | c | 126468 | 1546 4868 148562 | 12968 7889 255 | 0.000 % | c | 132234 | 1546 4868 148562 | 14265 7034 255 | 0.000 % | c | 140883 | 1546 4868 148562 | 15692 8405 255 | 0.000 % | c | 153857 | 1546 4868 148562 | 17261 13394 255 | 0.000 % | c | 173318 | 1546 4868 148562 | 18987 15298 256 | 0.000 % | c | 202510 | 1546 4868 148562 | 20886 15559 255 | 0.000 % | c | 246300 | 1546 4868 148562 | 22974 16709 256 | 0.000 % | c | 311984 | 1546 4868 148562 | 25272 19314 256 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1302 5402 10142 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1322 5403 10172 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1338 5404 10198 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1364 5405 10237 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1382 5406 10264 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1404 5407 10297 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1425 5408 10331 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1451 5409 10373 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1494 5410 10439 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1516 5411 10474 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1557 5413 10540 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1635 5415 26789 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1740 5417 38939 | 5000 0 nan | 0.000 % | c | 104 | 1739 5417 38939 | 5500 104 32 | 11.157 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1978 5419 67963 | 5000 0 nan | 0.000 % | c | 102 | 1978 5419 67963 | 5500 102 22 | 7.440 % | c | 252 | 1978 5419 67963 | 6050 252 24 | 7.534 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2230 5420 92341 | 5000 0 nan | 0.000 % | c | 102 | 2230 5420 92341 | 5500 102 38 | 4.823 % | c | 253 | 2230 5420 92341 | 6050 253 40 | 4.823 % | c | 478 | 2230 5420 92341 | 6655 478 42 | 4.823 % | c | 820 | 2230 5420 92341 | 7320 820 47 | 4.823 % | c | 1326 | 2229 5420 92341 | 8052 1325 55 | 4.866 % | c | 2089 | 2229 5420 92341 | 8857 2088 57 | 4.866 % | c | 3234 | 2229 5420 92341 | 9743 3233 66 | 4.866 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2582 5424 111218 | 5000 0 nan | 0.000 % | c | 100 | 2582 5424 111218 | 5500 100 46 | 2.932 % | c | 250 | 2582 5424 111218 | 6050 250 32 | 2.932 % | c | 478 | 2582 5424 111218 | 6655 478 32 | 2.932 % | c | 815 | 2582 5424 111218 | 7320 815 46 | 2.932 % | c | 1321 | 2582 5424 111218 | 8052 1321 59 | 2.932 % | c | 2080 | 2582 5424 111218 | 8857 2080 76 | 2.932 % | c | 3228 | 2582 5424 111218 | 9743 3228 74 | 2.932 % | c | 4936 | 2582 5424 111218 | 10717 4936 82 | 2.932 % | c | 7499 | 2582 5424 111218 | 11789 7499 85 | 2.932 % | c | 11345 | 2582 5424 111218 | 12968 11345 90 | 2.932 % | c | 17118 | 2582 5424 111218 | 14265 10345 108 | 2.932 % |