c wbo 1.4 beta - 20100610 c | Number of variables: 1271 | c | Number of clauses: 4423 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1271 | c | Number Clauses: 3152 | 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 | 849 3435 5745 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 28 | 849 3436 6705 | 5000 28 6 | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 47 | 849 3437 7665 | 5000 47 7 | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 54 | 849 3438 8625 | 5000 54 8 | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 55 | 849 3439 9585 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 55 | 849 3440 10545 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 55 | 849 3441 11505 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 55 | 849 3442 12465 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s c =============================================================================== c | 55 | 849 3443 13425 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 55 | 849 3444 14385 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 55 | 849 3445 15345 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 55 | 849 3446 16305 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 55 | 849 3447 17265 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 55 | 849 3448 18225 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 55 | 849 3449 19185 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s c =============================================================================== c | 55 | 849 3450 20145 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 55 | 849 3451 21105 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 55 | 849 3452 22065 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 55 | 849 3453 23025 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 55 | 849 3454 23985 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s c =============================================================================== c | 55 | 849 3455 24945 | 5000 55 8 | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 56 | 849 3456 25905 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 56 | 849 3457 26865 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 56 | 849 3458 27825 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 56 | 849 3459 28785 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 56 | 849 3460 29745 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 56 | 849 3461 30705 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 56 | 849 3462 31665 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 0.924859 s Remaining CPU time: 179.075 s c =============================================================================== c | 56 | 849 3463 32625 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 0.935857 s Remaining CPU time: 179.064 s c =============================================================================== c | 56 | 849 3464 33585 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 56 | 849 3465 34545 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s c =============================================================================== c | 56 | 849 3466 35505 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 56 | 849 3467 36465 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 56 | 849 3468 37425 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 56 | 849 3469 38385 | 5000 56 8 | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 79 | 849 3470 39345 | 5000 79 9 | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 82 | 849 3471 40305 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 82 | 849 3472 41265 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 82 | 849 3473 42225 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 82 | 849 3474 43185 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 82 | 849 3475 44145 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 82 | 849 3476 45105 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 1.11683 s Remaining CPU time: 178.883 s c =============================================================================== c | 82 | 849 3477 46065 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 82 | 849 3478 47025 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 1.14983 s Remaining CPU time: 178.85 s c =============================================================================== c | 82 | 849 3479 47985 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 82 | 849 3480 48945 | 5000 82 10 | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 97 | 849 3481 49905 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 97 | 849 3482 50865 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 97 | 849 3483 51825 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 1.24381 s Remaining CPU time: 178.756 s c =============================================================================== c | 97 | 849 3484 52785 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 97 | 849 3485 53745 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 97 | 849 3486 54705 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 1.2978 s Remaining CPU time: 178.702 s c =============================================================================== c | 97 | 849 3487 55665 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 1.3168 s Remaining CPU time: 178.683 s c =============================================================================== c | 97 | 849 3488 56625 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 97 | 849 3489 57585 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 97 | 849 3490 58545 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 1.37479 s Remaining CPU time: 178.625 s c =============================================================================== c | 97 | 849 3491 59505 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 1.39479 s Remaining CPU time: 178.605 s c =============================================================================== c | 97 | 849 3492 60465 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 97 | 849 3493 61425 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 1.43178 s Remaining CPU time: 178.568 s c =============================================================================== c | 97 | 849 3494 62385 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 1.44678 s Remaining CPU time: 178.553 s c =============================================================================== c | 97 | 849 3495 63345 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 1.46578 s Remaining CPU time: 178.534 s c =============================================================================== c | 97 | 849 3496 64305 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 97 | 849 3497 65265 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 1.50777 s Remaining CPU time: 178.492 s c =============================================================================== c | 97 | 849 3498 66225 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 97 | 849 3499 67185 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 97 | 849 3500 68145 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 1.57376 s Remaining CPU time: 178.426 s c =============================================================================== c | 97 | 849 3501 69105 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 1.59776 s Remaining CPU time: 178.402 s c =============================================================================== c | 97 | 849 3502 70065 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s c =============================================================================== c | 97 | 849 3503 71025 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 1.64575 s Remaining CPU time: 178.354 s c =============================================================================== c | 97 | 849 3504 71985 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 1.67175 s Remaining CPU time: 178.328 s c =============================================================================== c | 97 | 849 3505 72945 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s c =============================================================================== c | 97 | 849 3506 73905 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 1.71974 s Remaining CPU time: 178.28 s c =============================================================================== c | 97 | 849 3507 74865 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 1.74274 s Remaining CPU time: 178.257 s c =============================================================================== c | 97 | 849 3508 75825 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 1.76673 s Remaining CPU time: 178.233 s c =============================================================================== c | 97 | 849 3509 76785 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 97 | 849 3510 77745 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 1.81672 s Remaining CPU time: 178.183 s c =============================================================================== c | 97 | 849 3511 78705 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 97 | 849 3512 79665 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 1.86871 s Remaining CPU time: 178.131 s c =============================================================================== c | 97 | 849 3513 80625 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 97 | 849 3514 81585 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 1.92571 s Remaining CPU time: 178.074 s c =============================================================================== c | 97 | 849 3515 82545 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 1.9527 s Remaining CPU time: 178.047 s c =============================================================================== c | 97 | 849 3516 83505 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 1.9797 s Remaining CPU time: 178.02 s c =============================================================================== c | 97 | 849 3517 84465 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 2.00769 s Remaining CPU time: 177.992 s c =============================================================================== c | 97 | 849 3518 85425 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 2.03569 s Remaining CPU time: 177.964 s c =============================================================================== c | 97 | 849 3519 86385 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 2.06369 s Remaining CPU time: 177.936 s c =============================================================================== c | 97 | 849 3520 87345 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 97 | 849 3521 88305 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 97 | 849 3522 89265 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 97 | 849 3523 90225 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 97 | 849 3524 91185 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 97 | 849 3525 92145 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 97 | 849 3526 93105 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 2.25766 s Remaining CPU time: 177.742 s c =============================================================================== c | 97 | 849 3527 94065 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 2.28465 s Remaining CPU time: 177.715 s c =============================================================================== c | 97 | 849 3528 95025 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 2.30965 s Remaining CPU time: 177.69 s c =============================================================================== c | 97 | 849 3529 95985 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 97 | 849 3530 96945 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 2.36564 s Remaining CPU time: 177.634 s c =============================================================================== c | 97 | 849 3531 97905 | 5000 97 10 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 2.39864 s Remaining CPU time: 177.601 s c =============================================================================== c | 99 | 849 3532 98865 | 5000 99 10 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 2.42363 s Remaining CPU time: 177.576 s c =============================================================================== c | 99 | 849 3533 99825 | 5000 99 10 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 2.45263 s Remaining CPU time: 177.547 s c =============================================================================== c | 99 | 849 3534 100785 | 5000 99 10 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 2.48062 s Remaining CPU time: 177.519 s c =============================================================================== c | 99 | 849 3535 101745 | 5000 99 10 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 2.5996 s Remaining CPU time: 177.4 s c =============================================================================== c | 137 | 849 3536 102705 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s c =============================================================================== c | 137 | 849 3537 103665 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 2.6496 s Remaining CPU time: 177.35 s c =============================================================================== c | 137 | 849 3538 104625 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 2.67359 s Remaining CPU time: 177.326 s c =============================================================================== c | 137 | 849 3539 105585 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 2.69759 s Remaining CPU time: 177.302 s c =============================================================================== c | 137 | 849 3540 106545 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 2.72559 s Remaining CPU time: 177.274 s c =============================================================================== c | 137 | 849 3541 107505 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 2.75458 s Remaining CPU time: 177.245 s c =============================================================================== c | 137 | 849 3542 108465 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 2.77958 s Remaining CPU time: 177.22 s c =============================================================================== c | 137 | 849 3543 109425 | 5000 137 13 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 2.80757 s Remaining CPU time: 177.192 s c =============================================================================== c | 139 | 849 3544 110385 | 5000 139 19 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 2.83757 s Remaining CPU time: 177.162 s c =============================================================================== c | 139 | 849 3545 111345 | 5000 139 19 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 2.86356 s Remaining CPU time: 177.136 s c =============================================================================== c | 139 | 849 3546 112305 | 5000 139 19 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 2.92656 s Remaining CPU time: 177.073 s c =============================================================================== c | 151 | 849 3547 113265 | 5000 151 19 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 158 | 849 3548 114225 | 5000 158 20 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 3.00354 s Remaining CPU time: 176.996 s c =============================================================================== c | 158 | 849 3549 115185 | 5000 158 20 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 3.03154 s Remaining CPU time: 176.968 s c =============================================================================== c | 158 | 849 3550 116145 | 5000 158 20 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 3.06353 s Remaining CPU time: 176.936 s c =============================================================================== c | 158 | 849 3551 117105 | 5000 158 20 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 3.09153 s Remaining CPU time: 176.908 s c =============================================================================== c | 158 | 849 3552 118065 | 5000 158 20 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 3.12352 s Remaining CPU time: 176.876 s c =============================================================================== c | 158 | 849 3553 119025 | 5000 158 20 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 3.15252 s Remaining CPU time: 176.847 s c =============================================================================== c | 158 | 849 3554 119985 | 5000 158 20 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 3.20751 s Remaining CPU time: 176.792 s c =============================================================================== c | 165 | 849 3555 120945 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 3.23751 s Remaining CPU time: 176.762 s c =============================================================================== c | 165 | 849 3556 121905 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 3.2685 s Remaining CPU time: 176.731 s c =============================================================================== c | 165 | 849 3557 122865 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 3.2985 s Remaining CPU time: 176.702 s c =============================================================================== c | 165 | 849 3558 123825 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 3.33149 s Remaining CPU time: 176.669 s c =============================================================================== c | 165 | 849 3559 124785 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 3.36149 s Remaining CPU time: 176.639 s c =============================================================================== c | 165 | 849 3560 125745 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 3.39248 s Remaining CPU time: 176.608 s c =============================================================================== c | 165 | 849 3561 126705 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 3.42248 s Remaining CPU time: 176.578 s c =============================================================================== c | 165 | 849 3562 127665 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 3.45647 s Remaining CPU time: 176.544 s c =============================================================================== c | 165 | 849 3563 128625 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 3.48647 s Remaining CPU time: 176.514 s c =============================================================================== c | 165 | 849 3564 129585 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 3.52046 s Remaining CPU time: 176.48 s c =============================================================================== c | 165 | 849 3565 130545 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 3.55546 s Remaining CPU time: 176.445 s c =============================================================================== c | 165 | 849 3566 131505 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 3.58945 s Remaining CPU time: 176.411 s c =============================================================================== c | 165 | 849 3567 132465 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 3.61945 s Remaining CPU time: 176.381 s c =============================================================================== c | 165 | 849 3568 133425 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 3.65344 s Remaining CPU time: 176.347 s c =============================================================================== c | 165 | 849 3569 134385 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 3.68344 s Remaining CPU time: 176.317 s c =============================================================================== c | 165 | 849 3570 135345 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 3.71843 s Remaining CPU time: 176.282 s c =============================================================================== c | 165 | 849 3571 136305 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 3.75243 s Remaining CPU time: 176.248 s c =============================================================================== c | 165 | 849 3572 137265 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 3.78742 s Remaining CPU time: 176.213 s c =============================================================================== c | 165 | 849 3573 138225 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 3.81942 s Remaining CPU time: 176.181 s c =============================================================================== c | 165 | 849 3574 139185 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 3.85341 s Remaining CPU time: 176.147 s c =============================================================================== c | 165 | 849 3575 140145 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 3.88541 s Remaining CPU time: 176.115 s c =============================================================================== c | 165 | 849 3576 141105 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 3.9214 s Remaining CPU time: 176.079 s c =============================================================================== c | 165 | 849 3577 142065 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 3.9564 s Remaining CPU time: 176.044 s c =============================================================================== c | 165 | 849 3578 143025 | 5000 165 20 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 3.99139 s Remaining CPU time: 176.009 s c =============================================================================== c | 167 | 849 3579 143985 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 4.02639 s Remaining CPU time: 175.974 s c =============================================================================== c | 167 | 849 3580 144945 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 4.05738 s Remaining CPU time: 175.943 s c =============================================================================== c | 167 | 849 3581 145905 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 4.09238 s Remaining CPU time: 175.908 s c =============================================================================== c | 167 | 849 3582 146865 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 4.12737 s Remaining CPU time: 175.873 s c =============================================================================== c | 167 | 849 3583 147825 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 4.15837 s Remaining CPU time: 175.842 s c =============================================================================== c | 167 | 849 3584 148785 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 4.19336 s Remaining CPU time: 175.807 s c =============================================================================== c | 167 | 849 3585 149745 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 4.22436 s Remaining CPU time: 175.776 s c =============================================================================== c | 167 | 849 3586 150705 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 4.25935 s Remaining CPU time: 175.741 s c =============================================================================== c | 167 | 849 3587 151665 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 4.29035 s Remaining CPU time: 175.71 s c =============================================================================== c | 167 | 849 3588 152625 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 4.32534 s Remaining CPU time: 175.675 s c =============================================================================== c | 167 | 849 3589 153585 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 4.36034 s Remaining CPU time: 175.64 s c =============================================================================== c | 167 | 849 3590 154545 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 4.39433 s Remaining CPU time: 175.606 s c =============================================================================== c | 167 | 849 3591 155505 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 4.42833 s Remaining CPU time: 175.572 s c =============================================================================== c | 167 | 849 3592 156465 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 4.46232 s Remaining CPU time: 175.538 s c =============================================================================== c | 167 | 849 3593 157425 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 4.49532 s Remaining CPU time: 175.505 s c =============================================================================== c | 167 | 849 3594 158385 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 4.52931 s Remaining CPU time: 175.471 s c =============================================================================== c | 167 | 849 3595 159345 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 4.56231 s Remaining CPU time: 175.438 s c =============================================================================== c | 167 | 849 3596 160305 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 4.5963 s Remaining CPU time: 175.404 s c =============================================================================== c | 167 | 849 3597 161265 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 4.6293 s Remaining CPU time: 175.371 s c =============================================================================== c | 167 | 849 3598 162225 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 4.66329 s Remaining CPU time: 175.337 s c =============================================================================== c | 167 | 849 3599 163185 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 4.69629 s Remaining CPU time: 175.304 s c =============================================================================== c | 167 | 849 3600 164145 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 4.72928 s Remaining CPU time: 175.271 s c =============================================================================== c | 167 | 849 3601 165105 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 4.76128 s Remaining CPU time: 175.239 s c =============================================================================== c | 167 | 849 3602 166065 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 4.79527 s Remaining CPU time: 175.205 s c =============================================================================== c | 167 | 849 3603 167025 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 4.82827 s Remaining CPU time: 175.172 s c =============================================================================== c | 167 | 849 3604 167985 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 4.86226 s Remaining CPU time: 175.138 s c =============================================================================== c | 167 | 849 3605 168945 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 4.89426 s Remaining CPU time: 175.106 s c =============================================================================== c | 167 | 849 3606 169905 | 5000 167 25 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 5.11922 s Remaining CPU time: 174.881 s c =============================================================================== c | 206 | 849 3607 170865 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 5.15222 s Remaining CPU time: 174.848 s c =============================================================================== c | 206 | 849 3608 171825 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 5.18521 s Remaining CPU time: 174.815 s c =============================================================================== c | 206 | 849 3609 172785 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 5.21821 s Remaining CPU time: 174.782 s c =============================================================================== c | 206 | 849 3610 173745 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 5.2522 s Remaining CPU time: 174.748 s c =============================================================================== c | 206 | 849 3611 174705 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 5.2842 s Remaining CPU time: 174.716 s c =============================================================================== c | 206 | 849 3612 175665 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 5.31719 s Remaining CPU time: 174.683 s c =============================================================================== c | 206 | 849 3613 176625 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 5.34919 s Remaining CPU time: 174.651 s c =============================================================================== c | 206 | 849 3614 177585 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 5.38118 s Remaining CPU time: 174.619 s c =============================================================================== c | 206 | 849 3615 178545 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 5.41418 s Remaining CPU time: 174.586 s c =============================================================================== c | 206 | 849 3616 179505 | 5000 206 24 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 5.44817 s Remaining CPU time: 174.552 s c =============================================================================== c | 207 | 849 3617 180465 | 5000 207 26 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 5.48017 s Remaining CPU time: 174.52 s c =============================================================================== c | 207 | 849 3618 181425 | 5000 207 26 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 5.51916 s Remaining CPU time: 174.481 s c =============================================================================== c | 208 | 849 3619 182385 | 5000 208 25 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 5.55215 s Remaining CPU time: 174.448 s c =============================================================================== c | 208 | 849 3620 183345 | 5000 208 25 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 5.58415 s Remaining CPU time: 174.416 s c =============================================================================== c | 208 | 849 3621 184305 | 5000 208 25 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 5.61715 s Remaining CPU time: 174.383 s c =============================================================================== c | 208 | 849 3622 185265 | 5000 208 25 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 5.64914 s Remaining CPU time: 174.351 s c =============================================================================== c | 208 | 849 3623 186225 | 5000 208 25 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 5.9221 s Remaining CPU time: 174.078 s c =============================================================================== c | 246 | 848 3624 187185 | 5000 245 25 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 5.95609 s Remaining CPU time: 174.044 s c =============================================================================== c | 247 | 848 3625 188145 | 5000 246 27 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 5.99409 s Remaining CPU time: 174.006 s c =============================================================================== c | 249 | 848 3626 189105 | 5000 248 30 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 6.03008 s Remaining CPU time: 173.97 s c =============================================================================== c | 250 | 848 3627 190065 | 5000 249 31 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 6.06408 s Remaining CPU time: 173.936 s c =============================================================================== c | 252 | 848 3628 191025 | 5000 251 33 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 6.09707 s Remaining CPU time: 173.903 s c =============================================================================== c | 253 | 848 3629 191985 | 5000 252 34 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 6.12907 s Remaining CPU time: 173.871 s c =============================================================================== c | 254 | 848 3630 192945 | 5000 253 36 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 6.15906 s Remaining CPU time: 173.841 s c =============================================================================== c | 254 | 848 3631 193905 | 5000 253 36 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 6.19506 s Remaining CPU time: 173.805 s c =============================================================================== c | 255 | 848 3632 194865 | 5000 254 35 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 6.22705 s Remaining CPU time: 173.773 s c =============================================================================== c | 255 | 848 3633 195825 | 5000 254 35 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 6.25905 s Remaining CPU time: 173.741 s c =============================================================================== c | 255 | 848 3634 196785 | 5000 254 35 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 6.34403 s Remaining CPU time: 173.656 s c =============================================================================== c | 265 | 848 3635 197745 | 5000 264 39 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 6.43202 s Remaining CPU time: 173.568 s c =============================================================================== c | 269 | 848 3636 198705 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 6.47002 s Remaining CPU time: 173.53 s c =============================================================================== c | 269 | 848 3637 199665 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 6.50801 s Remaining CPU time: 173.492 s c =============================================================================== c | 269 | 848 3638 200625 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 6.546 s Remaining CPU time: 173.454 s c =============================================================================== c | 269 | 848 3639 201585 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 6.583 s Remaining CPU time: 173.417 s c =============================================================================== c | 269 | 848 3640 202545 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 6.62099 s Remaining CPU time: 173.379 s c =============================================================================== c | 269 | 848 3641 203505 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 6.65899 s Remaining CPU time: 173.341 s c =============================================================================== c | 269 | 848 3642 204465 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 6.69598 s Remaining CPU time: 173.304 s c =============================================================================== c | 269 | 848 3643 205425 | 5000 268 42 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 6.75997 s Remaining CPU time: 173.24 s c =============================================================================== c | 273 | 848 3644 206385 | 5000 272 46 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 6.80597 s Remaining CPU time: 173.194 s c =============================================================================== c | 275 | 848 3645 207345 | 5000 274 48 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 6.84496 s Remaining CPU time: 173.155 s c =============================================================================== c | 275 | 848 3646 208305 | 5000 274 48 | 0.000 % | c | 376 | 848 3646 208305 | 5500 375 64 | 33.282 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 8.24075 s Remaining CPU time: 171.759 s c =============================================================================== c | 424 | 848 3647 209265 | 5000 423 71 | 33.282 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 8.27874 s Remaining CPU time: 171.721 s c =============================================================================== c | 424 | 848 3648 210225 | 5000 423 71 | 33.282 % | c =============================================================================== c Total CPU time: 8.36473 s