c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1309 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 864 | c | Number Clauses: 948 | 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 | 836 976 2869 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 836 977 3584 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 836 978 4299 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 2 | 836 979 5014 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 2 | 836 980 5729 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 2 | 836 981 6444 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 2 | 836 982 7159 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 2 | 836 983 7874 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 2 | 836 984 8589 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 2 | 836 985 9304 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 2 | 836 986 10019 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 2 | 836 987 10734 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 2 | 836 988 11449 | 5000 2 613 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 5 | 836 989 12164 | 5000 5 609 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 6 | 836 990 12879 | 5000 6 608 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 7 | 836 991 13594 | 5000 7 606 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 7 | 836 992 14309 | 5000 7 606 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 7 | 836 993 15024 | 5000 7 606 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 7 | 836 994 15739 | 5000 7 606 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 7 | 836 995 16454 | 5000 7 606 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 8 | 836 996 17169 | 5000 8 605 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 8 | 836 997 17884 | 5000 8 605 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 8 | 836 998 18599 | 5000 8 605 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 8 | 836 999 19314 | 5000 8 605 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 8 | 836 1000 20029 | 5000 8 605 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 8 | 836 1001 20744 | 5000 8 605 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 8 | 836 1002 21459 | 5000 8 605 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 9 | 836 1003 22174 | 5000 9 603 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 9 | 836 1004 22889 | 5000 9 603 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 9 | 836 1005 23604 | 5000 9 603 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 9 | 836 1006 24319 | 5000 9 603 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 10 | 836 1007 25034 | 5000 10 601 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 10 | 836 1008 25749 | 5000 10 601 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 12 | 836 1009 26464 | 5000 12 599 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 12 | 836 1010 27179 | 5000 12 599 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 12 | 836 1011 27894 | 5000 12 599 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 21 | 836 1012 28609 | 5000 21 590 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 21 | 836 1013 29324 | 5000 21 590 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 21 | 836 1014 30039 | 5000 21 590 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 21 | 836 1015 30754 | 5000 21 590 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 21 | 836 1016 31469 | 5000 21 590 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 23 | 836 1017 32184 | 5000 23 589 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 23 | 836 1018 32899 | 5000 23 589 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 26 | 836 1019 33614 | 5000 26 588 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 32 | 836 1020 34329 | 5000 32 585 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 32 | 836 1021 35044 | 5000 32 585 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 32 | 836 1022 35759 | 5000 32 585 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 32 | 836 1023 36474 | 5000 32 585 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 33 | 836 1024 37189 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 33 | 836 1025 37904 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 33 | 836 1026 38619 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 33 | 836 1027 39334 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 33 | 836 1028 40049 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 33 | 836 1029 40764 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 33 | 836 1030 41479 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 33 | 836 1031 42194 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 33 | 836 1032 42909 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 33 | 836 1033 43624 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 33 | 836 1034 44339 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 33 | 836 1035 45054 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 33 | 836 1036 45769 | 5000 33 584 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 58 | 836 1037 46484 | 5000 58 573 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 64 | 836 1038 47199 | 5000 64 571 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 100 | 836 1039 47914 | 5000 100 566 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 102 | 836 1040 48629 | 5000 102 566 | 0.000 % | c | 202 | 836 1040 48629 | 5500 202 560 | 3.241 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 207 | 836 1041 49344 | 5000 207 560 | 3.241 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 230 | 836 1042 50059 | 5000 230 559 | 3.241 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 283 | 836 1043 50774 | 5000 283 558 | 3.241 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 321 | 836 1044 51489 | 5000 321 557 | 3.241 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 329 | 836 1045 52204 | 5000 329 557 | 3.241 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 341 | 836 1046 52919 | 5000 341 557 | 3.241 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 355 | 836 1047 53634 | 5000 355 556 | 3.241 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 378 | 836 1048 54349 | 5000 378 556 | 3.241 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 393 | 836 1049 55064 | 5000 393 555 | 3.241 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 429 | 836 1050 55779 | 5000 429 555 | 3.241 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 0.815875 s Remaining CPU time: 179.184 s c =============================================================================== c | 447 | 836 1051 56494 | 5000 447 554 | 3.241 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 457 | 836 1052 57209 | 5000 457 554 | 3.241 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 469 | 836 1053 57924 | 5000 469 554 | 3.241 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 507 | 836 1054 58639 | 5000 507 553 | 3.241 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 576 | 836 1055 59354 | 5000 576 552 | 3.241 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s c =============================================================================== c | 600 | 836 1056 60069 | 5000 600 552 | 3.241 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 630 | 836 1057 60784 | 5000 630 551 | 3.241 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 658 | 836 1058 61499 | 5000 658 551 | 3.241 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 694 | 836 1059 62214 | 5000 694 550 | 3.241 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 1.18182 s Remaining CPU time: 178.818 s c =============================================================================== c | 720 | 836 1060 62929 | 5000 720 550 | 3.241 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 781 | 836 1061 63644 | 5000 781 549 | 3.241 % | c | 881 | 836 1061 63644 | 5500 881 548 | 3.241 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 1016 | 836 1062 64359 | 5000 1016 546 | 3.241 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 1.56176 s Remaining CPU time: 178.438 s c =============================================================================== c | 1067 | 836 1063 65074 | 5000 1067 546 | 3.241 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s c =============================================================================== c | 1130 | 836 1064 65789 | 5000 1130 545 | 3.241 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 1.68374 s Remaining CPU time: 178.316 s c =============================================================================== c | 1169 | 836 1065 66504 | 5000 1169 545 | 3.241 % | c | 1270 | 836 1065 66504 | 5500 1270 544 | 3.241 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 1.91671 s Remaining CPU time: 178.083 s c =============================================================================== c | 1405 | 836 1066 67219 | 5000 1405 543 | 3.241 % | c | 1505 | 836 1066 67219 | 5500 1505 542 | 3.242 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 1557 | 836 1067 67934 | 5000 1557 542 | 3.242 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 2.13167 s Remaining CPU time: 177.868 s c =============================================================================== c | 1589 | 836 1068 68649 | 5000 1589 541 | 3.242 % | c | 1690 | 836 1068 68649 | 5500 1690 541 | 3.242 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 2.29065 s Remaining CPU time: 177.709 s c =============================================================================== c | 1733 | 836 1069 69364 | 5000 1733 540 | 3.242 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 2.32565 s Remaining CPU time: 177.674 s c =============================================================================== c | 1753 | 836 1070 70079 | 5000 1753 540 | 3.242 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 2.37164 s Remaining CPU time: 177.628 s c =============================================================================== c | 1793 | 836 1071 70794 | 5000 1793 540 | 3.242 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 2.43363 s Remaining CPU time: 177.566 s c =============================================================================== c | 1842 | 836 1072 71509 | 5000 1842 540 | 3.242 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 1877 | 836 1073 72224 | 5000 1877 539 | 3.242 % | c | 1977 | 836 1073 72224 | 5500 1977 539 | 3.242 % | c | 2127 | 836 1073 72224 | 6050 2127 538 | 3.242 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 2.93955 s Remaining CPU time: 177.06 s c =============================================================================== c | 2243 | 836 1074 72939 | 5000 2243 537 | 3.242 % | c | 2344 | 836 1074 72939 | 5500 2344 537 | 3.241 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 3.20351 s Remaining CPU time: 176.796 s c =============================================================================== c | 2458 | 836 1075 73654 | 5000 2458 536 | 3.241 % | c | 2558 | 836 1075 73654 | 5500 2558 536 | 3.241 % | c | 2708 | 836 1075 73654 | 6050 2708 535 | 3.242 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 3.57146 s Remaining CPU time: 176.429 s c =============================================================================== c | 2731 | 836 1076 74369 | 5000 2731 535 | 3.242 % | c | 2832 | 836 1076 74369 | 5500 2832 534 | 3.241 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 3.88741 s Remaining CPU time: 176.113 s c =============================================================================== c | 2966 | 836 1077 75084 | 5000 2966 534 | 3.241 % | c | 3066 | 836 1077 75084 | 5500 3066 533 | 3.241 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 4.08438 s Remaining CPU time: 175.916 s c =============================================================================== c | 3109 | 836 1078 75799 | 5000 3109 533 | 3.241 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 4.10637 s Remaining CPU time: 175.894 s c =============================================================================== c | 3113 | 836 1079 76514 | 5000 3113 533 | 3.241 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 4.15437 s Remaining CPU time: 175.846 s c =============================================================================== c | 3141 | 836 1080 77229 | 5000 3141 533 | 3.241 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 3239 | 836 1081 77944 | 5000 3239 533 | 3.241 % | c | 3339 | 836 1081 77944 | 5500 3339 532 | 3.241 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 4.47032 s Remaining CPU time: 175.53 s c =============================================================================== c | 3376 | 836 1082 78659 | 5000 3376 532 | 3.241 % | c | 3476 | 836 1082 78659 | 5500 3476 532 | 3.241 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 4.79227 s Remaining CPU time: 175.208 s c =============================================================================== c | 3616 | 836 1083 79374 | 5000 3616 531 | 3.241 % | c | 3717 | 836 1083 79374 | 5500 3717 531 | 3.242 % | c | 3867 | 836 1083 79374 | 6050 3867 530 | 3.241 % | c | 4093 | 836 1083 79374 | 6655 4093 529 | 3.241 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 5.45217 s Remaining CPU time: 174.548 s c =============================================================================== c | 4124 | 836 1084 80089 | 5000 4124 529 | 3.241 % | c | 4224 | 836 1084 80089 | 5500 4224 529 | 3.241 % | c | 4374 | 836 1084 80089 | 6050 4374 528 | 3.241 % | c | 4599 | 836 1084 80089 | 6655 4599 528 | 3.241 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 6.30704 s Remaining CPU time: 173.693 s c =============================================================================== c | 4744 | 836 1085 80804 | 5000 4744 527 | 3.241 % | c | 4845 | 836 1085 80804 | 5500 4845 527 | 3.241 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 6.609 s Remaining CPU time: 173.391 s c =============================================================================== c | 4952 | 836 1086 81519 | 5000 4952 527 | 3.241 % | c | 5052 | 836 1086 81519 | 5500 5052 526 | 3.241 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 6.93295 s Remaining CPU time: 173.067 s c =============================================================================== c | 5185 | 836 1087 82234 | 5000 5185 526 | 3.241 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 7.05393 s Remaining CPU time: 172.946 s c =============================================================================== c | 5264 | 836 1088 82949 | 5000 2672 516 | 3.241 % | c | 5365 | 836 1088 82949 | 5500 2773 516 | 3.241 % | c | 5517 | 836 1088 82949 | 6050 2925 516 | 3.241 % | c | 5742 | 836 1088 82949 | 6655 3150 515 | 3.241 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 7.72882 s Remaining CPU time: 172.271 s c =============================================================================== c | 5751 | 836 1089 83664 | 5000 3159 515 | 3.241 % | c | 5851 | 836 1089 83664 | 5500 3259 515 | 3.241 % | c | 6002 | 836 1089 83664 | 6050 3410 515 | 3.241 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 8.24975 s Remaining CPU time: 171.75 s c =============================================================================== c | 6092 | 836 1090 84379 | 5000 3500 515 | 3.241 % | c | 6192 | 836 1090 84379 | 5500 3600 515 | 3.241 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 8.5757 s Remaining CPU time: 171.424 s c =============================================================================== c | 6320 | 836 1091 85094 | 5000 3728 515 | 3.241 % | c | 6420 | 836 1091 85094 | 5500 3828 514 | 3.242 % | c | 6571 | 836 1091 85094 | 6050 3979 514 | 3.241 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 9.15061 s Remaining CPU time: 170.849 s c =============================================================================== c | 6728 | 836 1092 85809 | 5000 4136 514 | 3.241 % | c | 6828 | 836 1092 85809 | 5500 4236 514 | 3.241 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 9.43956 s Remaining CPU time: 170.56 s c =============================================================================== c | 6927 | 836 1093 86524 | 5000 4335 514 | 3.241 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 9.54755 s Remaining CPU time: 170.452 s c =============================================================================== c | 7001 | 836 1094 87239 | 5000 4409 513 | 3.241 % | c | 7101 | 836 1094 87239 | 5500 4509 513 | 3.241 % | c | 7252 | 836 1094 87239 | 6050 4660 513 | 3.241 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 10.0825 s Remaining CPU time: 169.918 s c =============================================================================== c | 7376 | 836 1095 87954 | 5000 4784 513 | 3.241 % | c | 7476 | 836 1095 87954 | 5500 4884 513 | 3.241 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 10.3084 s Remaining CPU time: 169.692 s c =============================================================================== c | 7536 | 836 1096 88669 | 5000 4944 512 | 3.241 % | c | 7636 | 836 1096 88669 | 5500 5044 512 | 3.241 % | c | 7787 | 836 1096 88669 | 6050 5195 512 | 3.241 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 10.7614 s Remaining CPU time: 169.239 s c =============================================================================== c | 7826 | 836 1097 89384 | 5000 5234 512 | 3.241 % | c | 7927 | 836 1097 89384 | 5500 2718 507 | 3.241 % | c | 8078 | 836 1097 89384 | 6050 2869 507 | 3.241 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 11.3223 s Remaining CPU time: 168.678 s c =============================================================================== c | 8222 | 836 1098 90099 | 5000 3013 507 | 3.241 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 11.4413 s Remaining CPU time: 168.559 s c =============================================================================== c | 8303 | 836 1099 90814 | 5000 3094 507 | 3.241 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 11.5972 s Remaining CPU time: 168.403 s c =============================================================================== c | 8399 | 836 1100 91529 | 5000 3190 506 | 3.241 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 11.6522 s Remaining CPU time: 168.348 s c =============================================================================== c | 8425 | 836 1101 92244 | 5000 3216 506 | 3.241 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 11.6962 s Remaining CPU time: 168.304 s c =============================================================================== c | 8440 | 836 1102 92959 | 5000 3231 506 | 3.241 % | c | 8540 | 836 1102 92959 | 5500 3331 506 | 3.241 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 11.9402 s Remaining CPU time: 168.06 s c =============================================================================== c | 8565 | 836 1103 93674 | 5000 3356 506 | 3.241 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 12.0372 s Remaining CPU time: 167.963 s c =============================================================================== c | 8621 | 836 1104 94389 | 5000 3412 506 | 3.241 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 12.1562 s Remaining CPU time: 167.844 s c =============================================================================== c | 8683 | 836 1105 95104 | 5000 3474 505 | 3.241 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 12.2721 s Remaining CPU time: 167.728 s c =============================================================================== c | 8739 | 836 1106 95819 | 5000 3530 505 | 3.241 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 12.4421 s Remaining CPU time: 167.558 s c =============================================================================== c | 8830 | 836 1107 96534 | 5000 3621 505 | 3.241 % | c | 8930 | 836 1107 96534 | 5500 3721 504 | 3.241 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 12.8201 s Remaining CPU time: 167.18 s c =============================================================================== c | 9049 | 836 1108 97249 | 5000 3840 504 | 3.241 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 12.914 s Remaining CPU time: 167.086 s c =============================================================================== c | 9097 | 836 1109 97964 | 5000 3888 504 | 3.241 % | c | 9197 | 836 1109 97964 | 5500 3988 503 | 3.241 % | c | 9347 | 836 1109 97964 | 6050 4138 503 | 3.241 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 13.6989 s Remaining CPU time: 166.301 s c =============================================================================== c | 9569 | 836 1110 98679 | 5000 4360 502 | 3.241 % | c | 9669 | 836 1110 98679 | 5500 4460 502 | 3.241 % | c | 9820 | 836 1110 98679 | 6050 4611 502 | 3.241 % | c | 10046 | 836 1110 98679 | 6655 4837 501 | 3.241 % | c | 10383 | 836 1110 98679 | 7320 5174 500 | 3.241 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 14.9217 s Remaining CPU time: 165.078 s c =============================================================================== c | 10391 | 836 1111 99394 | 5000 5182 500 | 3.241 % | c | 10491 | 836 1111 99394 | 5500 2691 493 | 3.241 % | c | 10641 | 836 1111 99394 | 6050 2841 492 | 3.241 % | c | 10870 | 836 1111 99394 | 6655 3070 492 | 3.241 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 16.0196 s Remaining CPU time: 163.98 s c =============================================================================== c | 11190 | 836 1112 100109 | 5000 3390 492 | 3.241 % | c | 11290 | 836 1112 100109 | 5500 3490 492 | 3.241 % | c | 11440 | 836 1112 100109 | 6050 3640 491 | 3.241 % | c | 11666 | 836 1112 100109 | 6655 3866 491 | 3.241 % | c | 12003 | 836 1112 100109 | 7320 4203 491 | 3.241 % | c | 12509 | 836 1112 100109 | 8052 4709 490 | 3.241 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 18.3902 s Remaining CPU time: 161.61 s c =============================================================================== c | 12969 | 836 1113 100824 | 5000 5169 490 | 3.241 % | c | 13069 | 836 1113 100824 | 5500 2685 487 | 3.241 % | c | 13219 | 836 1113 100824 | 6050 2835 487 | 3.241 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 18.9001 s Remaining CPU time: 161.1 s c =============================================================================== c | 13382 | 836 1114 101539 | 5000 2998 487 | 3.241 % | c | 13482 | 836 1114 101539 | 5500 3098 487 | 3.242 % | c | 13633 | 836 1114 101539 | 6050 3249 486 | 3.241 % | c | 13858 | 836 1114 101539 | 6655 3474 486 | 3.241 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 19.774 s Remaining CPU time: 160.226 s c =============================================================================== c | 13920 | 836 1115 102254 | 5000 3536 486 | 3.241 % | c | 14021 | 836 1115 102254 | 5500 3637 486 | 3.241 % | c | 14172 | 836 1115 102254 | 6050 3788 486 | 3.241 % | c | 14397 | 836 1115 102254 | 6655 4013 486 | 3.241 % | c | 14734 | 836 1115 102254 | 7320 4350 486 | 3.241 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 21.2108 s Remaining CPU time: 158.789 s c =============================================================================== c | 14877 | 836 1116 102969 | 5000 4493 486 | 3.241 % | c | 14978 | 836 1116 102969 | 5500 4594 486 | 3.241 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 21.5087 s Remaining CPU time: 158.491 s c =============================================================================== c | 15051 | 836 1117 103684 | 5000 4667 486 | 3.241 % | c | 15151 | 836 1117 103684 | 5500 4767 486 | 3.241 % | c | 15301 | 836 1117 103684 | 6050 4917 485 | 3.241 % | c | 15526 | 836 1117 103684 | 6655 5142 485 | 3.241 % | c | 15863 | 836 1117 103684 | 7320 5479 485 | 3.241 % | c | 16369 | 836 1117 103684 | 8052 5985 485 | 3.241 % | c | 17128 | 836 1117 103684 | 8857 6744 484 | 3.241 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 24.8412 s Remaining CPU time: 155.159 s c =============================================================================== c | 17449 | 836 1118 104399 | 5000 7065 484 | 3.241 % | c | 17549 | 836 1118 104399 | 5500 3633 482 | 3.241 % | c | 17699 | 836 1118 104399 | 6050 3783 482 | 3.242 % | c | 17924 | 836 1118 104399 | 6655 4008 482 | 3.241 % | c | 18262 | 836 1118 104399 | 7320 4346 482 | 3.241 % | c | 18768 | 836 1118 104399 | 8052 4852 482 | 3.241 % | c | 19527 | 836 1118 104399 | 8857 5611 482 | 3.241 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 28.8926 s Remaining CPU time: 151.107 s c =============================================================================== c | 20263 | 836 1119 105114 | 5000 6347 482 | 3.241 % | c | 20365 | 836 1119 105114 | 5500 3276 481 | 3.241 % | c | 20515 | 836 1119 105114 | 6050 3426 481 | 3.241 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 29.6225 s Remaining CPU time: 150.378 s c =============================================================================== c | 20708 | 836 1120 105829 | 5000 3619 480 | 3.241 % | c | 20809 | 836 1120 105829 | 5500 3720 480 | 3.241 % | c | 20959 | 836 1120 105829 | 6050 3870 480 | 3.241 % | c | 21184 | 836 1120 105829 | 6655 4095 480 | 3.241 % | c | 21521 | 836 1120 105829 | 7320 4432 480 | 3.241 % | c | 22027 | 836 1120 105829 | 8052 4938 480 | 3.241 % | c | 22786 | 836 1120 105829 | 8857 5697 480 | 3.241 % | c | 23926 | 836 1120 105829 | 9743 6837 479 | 3.241 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 36.4585 s Remaining CPU time: 143.542 s c =============================================================================== c | 25320 | 836 1121 106544 | 5000 8231 479 | 3.241 % | c | 25421 | 836 1121 106544 | 5500 4217 478 | 3.241 % | c | 25574 | 836 1121 106544 | 6050 4370 478 | 3.241 % | c | 25799 | 836 1121 106544 | 6655 4595 478 | 3.241 % | c | 26136 | 836 1121 106544 | 7320 4932 477 | 3.241 % | c | 26642 | 836 1121 106544 | 8052 5438 477 | 3.241 % | c | 27402 | 836 1121 106544 | 8857 6198 477 | 3.241 % | c | 28542 | 836 1121 106544 | 9743 7338 477 | 3.242 % | c | 30251 | 836 1121 106544 | 10717 9047 477 | 3.241 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 47.2408 s Remaining CPU time: 132.759 s c =============================================================================== c | 32009 | 836 1122 107259 | 5000 10805 477 | 3.241 % | c | 32109 | 836 1122 107259 | 5500 2802 475 | 3.241 % | c | 32259 | 836 1122 107259 | 6050 2952 475 | 3.241 % | c | 32484 | 836 1122 107259 | 6655 3177 475 | 3.241 % | c | 32821 | 836 1122 107259 | 7320 3514 475 | 3.241 % | c | 33328 | 836 1122 107259 | 8052 4021 475 | 3.241 % | c | 34087 | 836 1122 107259 | 8857 4780 475 | 3.241 % | c | 35226 | 836 1122 107259 | 9743 5919 475 | 3.241 % | c | 36934 | 836 1122 107259 | 10717 7627 474 | 3.241 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 55.8995 s Remaining CPU time: 124.1 s c =============================================================================== c | 37177 | 836 1123 107974 | 5000 7870 474 | 3.241 % | c | 37277 | 836 1123 107974 | 5500 4035 474 | 3.241 % | c | 37428 | 836 1123 107974 | 6050 4186 474 | 3.241 % | c | 37653 | 836 1123 107974 | 6655 4411 474 | 3.241 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 57.0053 s Remaining CPU time: 122.995 s c =============================================================================== c | 37771 | 836 1124 108689 | 5000 4529 474 | 3.241 % | c | 37871 | 836 1124 108689 | 5500 4629 473 | 3.241 % | c | 38021 | 836 1124 108689 | 6050 4779 473 | 3.241 % | c | 38246 | 836 1124 108689 | 6655 5004 473 | 3.242 % | c | 38583 | 836 1124 108689 | 7320 5341 473 | 3.241 % | c | 39089 | 836 1124 108689 | 8052 5847 473 | 3.241 % | c | 39848 | 836 1124 108689 | 8857 6606 473 | 3.241 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 61.4977 s Remaining CPU time: 118.502 s c =============================================================================== c | 40354 | 836 1125 109404 | 5000 7112 473 | 3.241 % | c | 40454 | 836 1125 109404 | 5500 3656 472 | 3.241 % | c | 40604 | 836 1125 109404 | 6050 3806 472 | 3.241 % | c | 40830 | 836 1125 109404 | 6655 4032 472 | 3.241 % | c | 41167 | 836 1125 109404 | 7320 4369 471 | 3.242 % | c | 41673 | 836 1125 109404 | 8052 4875 471 | 3.241 % | c | 42432 | 836 1125 109404 | 8857 5634 471 | 3.241 % | c | 43571 | 836 1125 109404 | 9743 6773 471 | 3.241 % | c | 45279 | 836 1125 109404 | 10717 8481 471 | 3.241 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 72.038 s Remaining CPU time: 107.962 s c =============================================================================== c | 47111 | 836 1126 110119 | 5000 10313 470 | 3.241 % | c | 47211 | 836 1126 110119 | 5500 2679 469 | 3.241 % | c | 47361 | 836 1126 110119 | 6050 2829 469 | 3.241 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 72.8489 s Remaining CPU time: 107.151 s c =============================================================================== c | 47504 | 836 1127 110834 | 5000 2972 469 | 3.241 % | c | 47606 | 836 1127 110834 | 5500 3074 469 | 3.241 % | c | 47758 | 836 1127 110834 | 6050 3226 469 | 3.241 % | c | 47984 | 836 1127 110834 | 6655 3452 469 | 3.241 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 74.1907 s Remaining CPU time: 105.809 s c =============================================================================== c | 48243 | 836 1128 111549 | 5000 3711 469 | 3.241 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 74.3437 s Remaining CPU time: 105.656 s c =============================================================================== c | 48318 | 836 1129 112264 | 5000 3786 469 | 3.241 % | c | 48419 | 836 1129 112264 | 5500 3887 469 | 3.241 % | c | 48569 | 836 1129 112264 | 6050 4037 469 | 3.241 % | c | 48794 | 836 1129 112264 | 6655 4262 469 | 3.242 % | c | 49131 | 836 1129 112264 | 7320 4599 468 | 3.242 % | c | 49640 | 836 1129 112264 | 8052 5108 468 | 3.242 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 77.0083 s Remaining CPU time: 102.992 s c =============================================================================== c | 49792 | 836 1130 112979 | 5000 5260 468 | 3.242 % | c | 49893 | 836 1130 112979 | 5500 2731 466 | 3.241 % | c | 50043 | 836 1130 112979 | 6050 2881 466 | 3.241 % | c | 50269 | 836 1130 112979 | 6655 3107 466 | 3.241 % | c | 50606 | 836 1130 112979 | 7320 3444 466 | 3.241 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 79.4309 s Remaining CPU time: 100.569 s c =============================================================================== c | 51078 | 836 1131 113694 | 5000 3916 466 | 3.241 % | c | 51178 | 836 1131 113694 | 5500 4016 465 | 3.241 % | c | 51329 | 836 1131 113694 | 6050 4167 465 | 3.241 % | c | 51554 | 836 1131 113694 | 6655 4392 465 | 3.241 % | c | 51892 | 836 1131 113694 | 7320 4730 465 | 3.241 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 81.0537 s Remaining CPU time: 98.9463 s c =============================================================================== c | 51961 | 836 1132 114409 | 5000 4799 465 | 3.241 % | c | 52062 | 836 1132 114409 | 5500 4900 465 | 3.241 % | c | 52213 | 836 1132 114409 | 6050 5051 465 | 3.241 % | c | 52438 | 836 1132 114409 | 6655 5276 465 | 3.241 % | c | 52776 | 836 1132 114409 | 7320 5614 464 | 3.241 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 83.5153 s Remaining CPU time: 96.4847 s c =============================================================================== c | 53230 | 836 1133 115124 | 5000 6068 464 | 3.241 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 83.7063 s Remaining CPU time: 96.2937 s c =============================================================================== c | 53311 | 836 1134 115839 | 5000 3115 462 | 3.241 % | c | 53413 | 836 1134 115839 | 5500 3217 462 | 3.241 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 84.0422 s Remaining CPU time: 95.9578 s c =============================================================================== c | 53460 | 836 1135 116554 | 5000 3264 462 | 3.241 % | c | 53560 | 836 1135 116554 | 5500 3364 462 | 3.241 % | c | 53710 | 836 1135 116554 | 6050 3514 462 | 3.241 % | c | 53936 | 836 1135 116554 | 6655 3740 461 | 3.242 % | c | 54273 | 836 1135 116554 | 7320 4077 461 | 3.241 % | c | 54779 | 836 1135 116554 | 8052 4583 461 | 3.241 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 86.7678 s Remaining CPU time: 93.2322 s c =============================================================================== c | 54856 | 836 1136 117269 | 5000 4660 461 | 3.241 % | c | 54957 | 836 1136 117269 | 5500 4761 461 | 3.241 % | c | 55108 | 836 1136 117269 | 6050 4912 461 | 3.241 % | c | 55334 | 836 1136 117269 | 6655 5138 460 | 3.241 % | c | 55672 | 836 1136 117269 | 7320 5476 460 | 3.241 % | c | 56179 | 836 1136 117269 | 8052 5983 460 | 3.241 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 90.4782 s Remaining CPU time: 89.5218 s c =============================================================================== c | 56824 | 836 1137 117984 | 5000 6628 460 | 3.241 % | c | 56924 | 836 1137 117984 | 5500 3414 457 | 3.241 % | c | 57075 | 836 1137 117984 | 6050 3565 457 | 3.241 % | c | 57300 | 836 1137 117984 | 6655 3790 457 | 3.241 % | c | 57637 | 836 1137 117984 | 7320 4127 457 | 3.241 % | c | 58143 | 836 1137 117984 | 8052 4633 457 | 3.241 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 93.6358 s Remaining CPU time: 86.3642 s c =============================================================================== c | 58543 | 836 1138 118699 | 5000 5033 457 | 3.241 % | c | 58644 | 836 1138 118699 | 5500 2618 456 | 3.242 % | c | 58794 | 836 1138 118699 | 6050 2768 456 | 3.241 % | c | 59019 | 836 1138 118699 | 6655 2993 456 | 3.241 % | c | 59356 | 836 1138 118699 | 7320 3330 456 | 3.241 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 95.8294 s Remaining CPU time: 84.1706 s c =============================================================================== c | 59761 | 836 1139 119414 | 5000 3735 456 | 3.241 % | c | 59862 | 836 1139 119414 | 5500 3836 456 | 3.241 % | c | 60012 | 836 1139 119414 | 6050 3986 456 | 3.241 % | c | 60237 | 836 1139 119414 | 6655 4211 456 | 3.241 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 96.8903 s Remaining CPU time: 83.1097 s c =============================================================================== c | 60311 | 836 1140 120129 | 5000 4285 456 | 3.241 % | c | 60411 | 836 1140 120129 | 5500 4385 456 | 3.241 % | c | 60561 | 836 1140 120129 | 6050 4535 456 | 3.241 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 97.5852 s Remaining CPU time: 82.4148 s c =============================================================================== c | 60675 | 836 1141 120844 | 5000 4649 456 | 3.241 % | c | 60777 | 836 1141 120844 | 5500 4751 456 | 3.241 % | c | 60927 | 836 1141 120844 | 6050 4901 456 | 3.241 % | c | 61152 | 836 1141 120844 | 6655 5126 456 | 3.241 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 99.0299 s Remaining CPU time: 80.9701 s c =============================================================================== c | 61447 | 836 1142 121559 | 5000 5421 455 | 3.241 % | c | 61547 | 836 1142 121559 | 5500 2811 454 | 3.241 % | c | 61697 | 836 1142 121559 | 6050 2961 454 | 3.241 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 99.7298 s Remaining CPU time: 80.2702 s c =============================================================================== c | 61800 | 836 1143 122274 | 5000 3064 454 | 3.241 % | c | 61900 | 836 1143 122274 | 5500 3164 454 | 3.241 % | c | 62050 | 836 1143 122274 | 6050 3314 454 | 3.241 % | c | 62275 | 836 1143 122274 | 6655 3539 454 | 3.241 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 100.842 s Remaining CPU time: 79.1583 s c =============================================================================== c | 62387 | 836 1144 122989 | 5000 3651 453 | 3.241 % | c | 62489 | 836 1144 122989 | 5500 3753 453 | 3.241 % | c | 62640 | 836 1144 122989 | 6050 3904 453 | 3.241 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 101.454 s Remaining CPU time: 78.5464 s c =============================================================================== c | 62728 | 836 1145 123704 | 5000 3992 453 | 3.241 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 101.567 s Remaining CPU time: 78.4334 s c =============================================================================== c | 62767 | 836 1146 124419 | 5000 4031 453 | 3.241 % | c | 62867 | 836 1146 124419 | 5500 4131 453 | 3.241 % | c | 63017 | 836 1146 124419 | 6050 4281 453 | 3.241 % | c | 63242 | 836 1146 124419 | 6655 4506 452 | 3.241 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 102.959 s Remaining CPU time: 77.0407 s c =============================================================================== c | 63578 | 836 1147 125134 | 5000 4842 452 | 3.241 % | c | 63678 | 836 1147 125134 | 5500 4942 452 | 3.241 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 103.394 s Remaining CPU time: 76.6057 s c =============================================================================== c | 63795 | 836 1148 125849 | 5000 5059 452 | 3.241 % | c | 63895 | 836 1148 125849 | 5500 2630 449 | 3.242 % | c | 64046 | 836 1148 125849 | 6050 2781 449 | 3.241 % | c | 64272 | 836 1148 125849 | 6655 3007 448 | 3.241 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 104.735 s Remaining CPU time: 75.2649 s c =============================================================================== c | 64540 | 836 1149 126564 | 5000 3275 448 | 3.241 % | c | 64641 | 836 1149 126564 | 5500 3376 448 | 3.241 % | c | 64792 | 836 1149 126564 | 6050 3527 448 | 3.241 % | c | 65017 | 836 1149 126564 | 6655 3752 448 | 3.241 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 105.68 s Remaining CPU time: 74.3201 s c =============================================================================== c | 65041 | 836 1150 127279 | 5000 3776 447 | 3.241 % | c | 65142 | 836 1150 127279 | 5500 3877 447 | 3.241 % | c | 65293 | 836 1150 127279 | 6050 4028 447 | 3.241 % | c | 65519 | 836 1150 127279 | 6655 4254 447 | 3.241 % | c | 65856 | 836 1150 127279 | 7320 4591 447 | 3.241 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 107.621 s Remaining CPU time: 72.3794 s c =============================================================================== c | 66085 | 836 1151 127994 | 5000 4820 446 | 3.241 % | c | 66185 | 836 1151 127994 | 5500 4920 446 | 3.241 % | c | 66335 | 836 1151 127994 | 6050 5070 446 | 3.241 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 108.233 s Remaining CPU time: 71.7675 s c =============================================================================== c | 66430 | 836 1152 128709 | 5000 5165 446 | 3.241 % | c | 66530 | 836 1152 128709 | 5500 2683 443 | 3.241 % | c | 66680 | 836 1152 128709 | 6050 2833 443 | 3.241 % | c | 66905 | 836 1152 128709 | 6655 3058 443 | 3.241 % | c | 67242 | 836 1152 128709 | 7320 3395 443 | 3.241 % | c | 67748 | 836 1152 128709 | 8052 3901 443 | 3.241 % | c | 68509 | 836 1152 128709 | 8857 4662 442 | 3.241 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 112.686 s Remaining CPU time: 67.3141 s c =============================================================================== c | 69241 | 836 1153 129424 | 5000 5394 442 | 3.241 % | c | 69342 | 836 1153 129424 | 5500 2798 441 | 3.241 % | c | 69492 | 836 1153 129424 | 6050 2948 441 | 3.242 % | c | 69717 | 836 1153 129424 | 6655 3173 441 | 3.242 % | c | 70054 | 836 1153 129424 | 7320 3510 441 | 3.241 % | c | 70560 | 836 1153 129424 | 8052 4016 441 | 3.241 % | c | 71321 | 836 1153 129424 | 8857 4777 441 | 3.241 % | c | 72460 | 836 1153 129424 | 9743 5916 441 | 3.241 % | c | 74168 | 836 1153 129424 | 10717 7624 441 | 3.241 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 121.521 s Remaining CPU time: 58.4795 s c =============================================================================== c | 74905 | 836 1154 130139 | 5000 8361 441 | 3.241 % | c | 75005 | 836 1154 130139 | 5500 4281 440 | 3.241 % | c | 75155 | 836 1154 130139 | 6050 4431 440 | 3.241 % | c | 75380 | 836 1154 130139 | 6655 4656 440 | 3.241 % | c | 75718 | 836 1154 130139 | 7320 4994 440 | 3.241 % | c | 76225 | 836 1154 130139 | 8052 5501 440 | 3.241 % | c | 76987 | 836 1154 130139 | 8857 6263 440 | 3.242 % | c | 78127 | 836 1154 130139 | 9743 7403 440 | 3.241 % | c | 79837 | 836 1154 130139 | 10717 9113 440 | 3.241 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 130.262 s Remaining CPU time: 49.7378 s c =============================================================================== c | 80632 | 836 1155 130854 | 5000 9908 440 | 3.241 % | c | 80733 | 836 1155 130854 | 5500 5055 439 | 3.241 % | c | 80884 | 836 1155 130854 | 6050 5206 439 | 3.241 % | c | 81109 | 836 1155 130854 | 6655 5431 439 | 3.241 % | c | 81446 | 836 1155 130854 | 7320 5768 439 | 3.241 % | c | 81952 | 836 1155 130854 | 8052 6274 439 | 3.241 % | c | 82711 | 836 1155 130854 | 8857 7033 439 | 3.241 % | c | 83850 | 836 1155 130854 | 9743 8172 439 | 3.241 % | c | 85558 | 836 1155 130854 | 10717 9880 438 | 3.241 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 142.792 s Remaining CPU time: 37.2077 s c =============================================================================== c | 87186 | 836 1156 131569 | 5000 5827 438 | 3.241 % | c | 87286 | 836 1156 131569 | 5500 3014 439 | 3.241 % | c | 87436 | 836 1156 131569 | 6050 3164 439 | 3.241 % | c | 87661 | 836 1156 131569 | 6655 3389 439 | 3.241 % | c | 87999 | 836 1156 131569 | 7320 3727 439 | 3.241 % | c | 88505 | 836 1156 131569 | 8052 4233 439 | 3.241 % | c | 89265 | 836 1156 131569 | 8857 4993 440 | 3.241 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 147.481 s Remaining CPU time: 32.5194 s c =============================================================================== c | 90098 | 836 1157 132284 | 5000 5826 440 | 3.241 % | c | 90198 | 836 1157 132284 | 5500 3013 441 | 3.241 % | c | 90350 | 836 1157 132284 | 6050 3165 441 | 3.241 % | c | 90575 | 836 1157 132284 | 6655 3390 441 | 3.241 % | c | 90912 | 836 1157 132284 | 7320 3727 440 | 3.241 % | c | 91418 | 836 1157 132284 | 8052 4233 440 | 3.241 % | c | 92178 | 836 1157 132284 | 8857 4993 440 | 3.241 % | c | 93317 | 836 1157 132284 | 9743 6132 440 | 3.241 % | c | 95025 | 836 1157 132284 | 10717 7840 440 | 3.241 % | c | 97588 | 836 1157 132284 | 11789 10403 440 | 3.241 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 163.066 s Remaining CPU time: 16.9338 s c =============================================================================== c | 100098 | 836 1158 132999 | 5000 6703 440 | 3.241 % | c | 100198 | 836 1158 132999 | 5500 3452 440 | 3.241 % | c | 100349 | 836 1158 132999 | 6050 3603 440 | 3.241 % | c | 100574 | 836 1158 132999 | 6655 3828 440 | 3.242 % | c | 100911 | 836 1158 132999 | 7320 4165 440 | 3.242 % | c | 101417 | 836 1158 132999 | 8052 4671 440 | 3.241 % | c | 102176 | 836 1158 132999 | 8857 5430 440 | 3.241 % | c | 103315 | 836 1158 132999 | 9743 6569 440 | 3.241 % | c | 105023 | 836 1158 132999 | 10717 8277 440 | 3.241 % | c | 107585 | 836 1158 132999 | 11789 10839 440 | 3.241 % | c | 111429 | 836 1158 132999 | 12968 8467 441 | 3.241 % | c There are 28 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 | 868 2061 15544 | 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 | 897 2063 27046 | 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 | 944 2067 47170 | 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 | 1017 2071 75198 | 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 | 1099 2072 108250 | 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 | 1174 2076 131251 | 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 | 1226 2078 135630 | 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 | 1352 2080 135842 | 5000 0 nan | 0.000 % | c | 101 | 1352 2080 135842 | 5500 101 30 | 15.606 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1553 2081 136228 | 5000 0 nan | 0.000 % | c | 100 | 1551 2081 136228 | 5500 100 24 | 11.933 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1834 2089 136763 | 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 | 2054 2097 137170 | 5000 0 nan | 0.000 % | c | 103 | 2054 2097 137170 | 5500 103 37 | 5.433 % | c | 255 | 2054 2097 137170 | 6050 255 34 | 5.433 % | c | 483 | 2053 2097 137170 | 6655 483 30 | 6.124 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2527 2104 138082 | 5000 0 nan | 0.000 % | c | 101 | 2527 2104 138082 | 5500 101 32 | 2.770 % | c | 252 | 2526 2104 138082 | 6050 252 20 | 2.847 % | c | 478 | 2523 2104 138082 | 6655 280 18 | 2.924 % | c | 815 | 2523 2104 138082 | 7320 617 15 | 2.924 % | c | 1323 | 2523 2104 138082 | 8052 1125 16 | 2.924 % | c | 2085 | 2523 2104 138082 | 8857 1887 15 | 2.924 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3021 2117 139068 | 5000 0 nan | 0.000 % | c | 101 | 3021 2117 139068 | 5500 101 40 | 1.307 % | c | 252 | 3021 2117 139068 | 6050 252 32 | 1.307 % | c | 478 | 3021 2117 139068 | 6655 478 23 | 1.307 % | c | 815 | 3021 2117 139068 | 7320 815 21 | 1.307 % | c | 1326 | 3021 2117 139068 | 8052 1326 20 | 1.307 % | c | 2089 | 3021 2117 139068 | 8857 2089 21 | 1.307 % | c | 3228 | 3021 2117 139068 | 9743 3228 22 | 1.307 % | c | 4936 | 3021 2117 139068 | 10717 4936 22 | 1.307 % | c | 7498 | 3021 2117 139068 | 11789 7498 21 | 1.307 % | c | 11342 | 3021 2117 139068 | 12968 11342 21 | 1.307 % | c | 17108 | 3021 2117 139068 | 14265 10563 20 | 1.307 % | c | 25757 | 3021 2117 139068 | 15692 11851 21 | 1.307 % | c | 38732 | 3021 2117 139068 | 17261 9024 22 | 1.307 % | c | 58193 | 3021 2117 139068 | 18987 11111 21 | 1.307 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3699 2132 140456 | 5000 0 nan | 0.000 % | c | 101 | 3699 2132 140456 | 5500 101 206 | 0.884 % | c | 251 | 3699 2132 140456 | 6050 251 102 | 0.884 % | c | 478 | 3699 2132 140456 | 6655 478 99 | 0.884 % | c | 815 | 3699 2132 140456 | 7320 815 98 | 0.884 % | c | 1324 | 3699 2132 140456 | 8052 1324 81 | 0.884 % | c | 2083 | 3699 2132 140456 | 8857 2083 67 | 0.884 % | c | 3222 | 3699 2132 140456 | 9743 3222 63 | 0.884 % | c | 4930 | 3699 2132 140456 | 10717 4930 61 | 0.884 % | c | 7494 | 3699 2132 140456 | 11789 7494 56 | 0.884 % | c | 11339 | 3699 2132 140456 | 12968 11339 54 | 0.884 % | c | 17106 | 3699 2132 140456 | 14265 10558 49 | 0.884 % | c | 25755 | 3699 2132 140456 | 15692 11728 65 | 0.884 % | c | 38730 | 3699 2132 140456 | 17261 8714 49 | 0.884 % | c | 58191 | 3699 2132 140456 | 18987 10339 61 | 0.884 % | c | 87383 | 3699 2132 140456 | 20886 10444 61 | 0.884 % | c | 131173 | 3699 2132 140456 | 22974 12118 71 | 0.884 % | c | 196862 | 3699 2132 140456 | 25272 19102 51 | 0.884 % | c | 295388 | 3699 2132 140456 | 27799 12556 42 | 0.884 % | c | 443190 | 3697 2132 140456 | 30579 22630 46 | 0.938 % |