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: 668 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 836 977 3584 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 836 978 4299 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 836 979 5014 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 1 | 836 980 5729 | 5000 1 614 | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 836 981 6444 | 5000 1 614 | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 1 | 836 982 7159 | 5000 1 614 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 836 983 7874 | 5000 1 614 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 836 984 8589 | 5000 1 614 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 836 985 9304 | 5000 1 614 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 2 | 836 986 10019 | 5000 2 608 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 3 | 836 987 10734 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 3 | 836 988 11449 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 3 | 836 989 12164 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 3 | 836 990 12879 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 3 | 836 991 13594 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 3 | 836 992 14309 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 3 | 836 993 15024 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 3 | 836 994 15739 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 3 | 836 995 16454 | 5000 3 605 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 4 | 836 996 17169 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 4 | 836 997 17884 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 4 | 836 998 18599 | 5000 4 602 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 5 | 836 999 19314 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 5 | 836 1000 20029 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 5 | 836 1001 20744 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 5 | 836 1002 21459 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 5 | 836 1003 22174 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 5 | 836 1004 22889 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 5 | 836 1005 23604 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 5 | 836 1006 24319 | 5000 5 600 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 6 | 836 1007 25034 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 6 | 836 1008 25749 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 6 | 836 1009 26464 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 6 | 836 1010 27179 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 6 | 836 1011 27894 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 6 | 836 1012 28609 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 6 | 836 1013 29324 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 6 | 836 1014 30039 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 6 | 836 1015 30754 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 6 | 836 1016 31469 | 5000 6 597 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 10 | 836 1017 32184 | 5000 10 589 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 10 | 836 1018 32899 | 5000 10 589 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 26 | 836 1019 33614 | 5000 26 578 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 43 | 836 1020 34329 | 5000 43 575 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 48 | 836 1021 35044 | 5000 48 574 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 54 | 836 1022 35759 | 5000 54 573 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 57 | 836 1023 36474 | 5000 57 573 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 65 | 836 1024 37189 | 5000 65 572 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 71 | 836 1025 37904 | 5000 71 571 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 85 | 836 1026 38619 | 5000 85 570 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 91 | 836 1027 39334 | 5000 91 570 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 95 | 836 1028 40049 | 5000 95 569 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 98 | 836 1029 40764 | 5000 98 569 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 114 | 836 1030 41479 | 5000 114 568 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 120 | 836 1031 42194 | 5000 120 567 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 123 | 836 1032 42909 | 5000 123 567 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 131 | 836 1033 43624 | 5000 131 566 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 152 | 836 1034 44339 | 5000 152 565 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 160 | 836 1035 45054 | 5000 160 564 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 180 | 836 1036 45769 | 5000 180 563 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 188 | 836 1037 46484 | 5000 188 562 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 205 | 836 1038 47199 | 5000 205 562 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 219 | 836 1039 47914 | 5000 219 561 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 240 | 836 1040 48629 | 5000 240 560 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 250 | 836 1041 49344 | 5000 250 559 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 265 | 836 1042 50059 | 5000 265 559 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 278 | 836 1043 50774 | 5000 278 558 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 295 | 836 1044 51489 | 5000 295 558 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 318 | 836 1045 52204 | 5000 318 557 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 334 | 836 1046 52919 | 5000 334 556 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 358 | 836 1047 53634 | 5000 358 556 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 392 | 836 1048 54349 | 5000 392 555 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 422 | 836 1049 55064 | 5000 422 554 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 446 | 836 1050 55779 | 5000 446 553 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 468 | 836 1051 56494 | 5000 468 552 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 493 | 836 1052 57209 | 5000 493 552 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s c =============================================================================== c | 504 | 836 1053 57924 | 5000 504 552 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 521 | 836 1054 58639 | 5000 521 551 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 531 | 836 1055 59354 | 5000 531 551 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 590 | 836 1056 60069 | 5000 590 549 | 0.000 % | c | 690 | 836 1056 60069 | 5500 690 547 | 3.242 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 821 | 836 1057 60784 | 5000 821 546 | 3.242 % | c | 922 | 836 1057 60784 | 5500 922 545 | 3.241 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 1038 | 836 1058 61499 | 5000 1038 543 | 3.241 % | c | 1138 | 836 1058 61499 | 5500 1138 543 | 3.241 % | c | 1289 | 836 1058 61499 | 6050 1289 542 | 3.241 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 1.62675 s Remaining CPU time: 178.373 s c =============================================================================== c | 1430 | 836 1059 62214 | 5000 1430 541 | 3.241 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 1520 | 836 1060 62929 | 5000 1520 541 | 3.241 % | c | 1620 | 836 1060 62929 | 5500 1620 540 | 3.241 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 1.86871 s Remaining CPU time: 178.131 s c =============================================================================== c | 1699 | 836 1061 63644 | 5000 1699 540 | 3.241 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 1.9447 s Remaining CPU time: 178.055 s c =============================================================================== c | 1761 | 836 1062 64359 | 5000 1761 539 | 3.241 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 1.9907 s Remaining CPU time: 178.009 s c =============================================================================== c | 1795 | 836 1063 65074 | 5000 1795 539 | 3.241 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 1830 | 836 1064 65789 | 5000 1830 539 | 3.241 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 2.05569 s Remaining CPU time: 177.944 s c =============================================================================== c | 1845 | 836 1065 66504 | 5000 1845 539 | 3.241 % | c | 1945 | 836 1065 66504 | 5500 1945 538 | 3.241 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 2.25666 s Remaining CPU time: 177.743 s c =============================================================================== c | 2020 | 836 1066 67219 | 5000 2020 538 | 3.241 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 2091 | 836 1067 67934 | 5000 2091 537 | 3.241 % | c | 2192 | 836 1067 67934 | 5500 2192 537 | 3.241 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 2.6346 s Remaining CPU time: 177.365 s c =============================================================================== c | 2325 | 836 1068 68649 | 5000 2325 536 | 3.241 % | c | 2425 | 836 1068 68649 | 5500 2425 536 | 3.241 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 2.81557 s Remaining CPU time: 177.184 s c =============================================================================== c | 2506 | 836 1069 69364 | 5000 2506 535 | 3.241 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 2.89656 s Remaining CPU time: 177.103 s c =============================================================================== c | 2581 | 836 1070 70079 | 5000 2581 535 | 3.241 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 2.97555 s Remaining CPU time: 177.024 s c =============================================================================== c | 2638 | 836 1071 70794 | 5000 2638 535 | 3.241 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 3.00554 s Remaining CPU time: 176.994 s c =============================================================================== c | 2653 | 836 1072 71509 | 5000 2653 535 | 3.241 % | c | 2753 | 836 1072 71509 | 5500 2753 534 | 3.241 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 3.16152 s Remaining CPU time: 176.838 s c =============================================================================== c | 2810 | 836 1073 72224 | 5000 2810 534 | 3.241 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 3.2675 s Remaining CPU time: 176.732 s c =============================================================================== c | 2905 | 836 1074 72939 | 5000 2905 533 | 3.241 % | c | 3006 | 836 1074 72939 | 5500 3006 533 | 3.241 % | c | 3156 | 836 1074 72939 | 6050 3156 532 | 3.241 % | c | 3381 | 836 1074 72939 | 6655 3381 531 | 3.241 % | c | 3718 | 836 1074 72939 | 7320 3718 530 | 3.241 % | c | 4224 | 836 1074 72939 | 8052 4224 529 | 3.241 % | c | 4983 | 836 1074 72939 | 8857 4983 528 | 3.241 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 5.77712 s Remaining CPU time: 174.223 s c =============================================================================== c | 6014 | 836 1075 73654 | 5000 6014 526 | 3.241 % | c | 6114 | 836 1075 73654 | 5500 3107 519 | 3.241 % | c | 6264 | 836 1075 73654 | 6050 3257 519 | 3.241 % | c | 6489 | 836 1075 73654 | 6655 3482 519 | 3.241 % | c | 6827 | 836 1075 73654 | 7320 3820 519 | 3.241 % | c | 7333 | 836 1075 73654 | 8052 4326 519 | 3.241 % | c | 8093 | 836 1075 73654 | 8857 5086 519 | 3.241 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 8.23275 s Remaining CPU time: 171.767 s c =============================================================================== c | 8702 | 836 1076 74369 | 5000 5695 519 | 3.241 % | c | 8803 | 836 1076 74369 | 5500 2949 519 | 3.241 % | c | 8953 | 836 1076 74369 | 6050 3099 519 | 3.241 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 8.66568 s Remaining CPU time: 171.334 s c =============================================================================== c | 9124 | 836 1077 75084 | 5000 3270 519 | 3.241 % | c | 9225 | 836 1077 75084 | 5500 3371 519 | 3.241 % | c | 9375 | 836 1077 75084 | 6050 3521 519 | 3.241 % | c | 9600 | 836 1077 75084 | 6655 3746 518 | 3.241 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 9.47856 s Remaining CPU time: 170.521 s c =============================================================================== c | 9906 | 836 1078 75799 | 5000 4052 518 | 3.241 % | c | 10007 | 836 1078 75799 | 5500 4153 518 | 3.241 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 9.76152 s Remaining CPU time: 170.238 s c =============================================================================== c | 10147 | 836 1079 76514 | 5000 4293 518 | 3.241 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 9.81351 s Remaining CPU time: 170.186 s c =============================================================================== c | 10202 | 836 1080 77229 | 5000 4348 518 | 3.241 % | c | 10303 | 836 1080 77229 | 5500 4449 518 | 3.241 % | c | 10453 | 836 1080 77229 | 6050 4599 518 | 3.241 % | c | 10679 | 836 1080 77229 | 6655 4825 517 | 3.242 % | c | 11016 | 836 1080 77229 | 7320 5162 517 | 3.241 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 10.9753 s Remaining CPU time: 169.025 s c =============================================================================== c | 11415 | 836 1081 77944 | 5000 5561 517 | 3.241 % | c | 11515 | 836 1081 77944 | 5500 2881 515 | 3.241 % | c | 11666 | 836 1081 77944 | 6050 3032 515 | 3.241 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 11.3433 s Remaining CPU time: 168.657 s c =============================================================================== c | 11757 | 836 1082 78659 | 5000 3123 515 | 3.241 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 11.4143 s Remaining CPU time: 168.586 s c =============================================================================== c | 11813 | 836 1083 79374 | 5000 3179 515 | 3.241 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 11.5212 s Remaining CPU time: 168.479 s c =============================================================================== c | 11903 | 836 1084 80089 | 5000 3269 515 | 3.241 % | c | 12005 | 836 1084 80089 | 5500 3371 514 | 3.241 % | c | 12155 | 836 1084 80089 | 6050 3521 514 | 3.241 % | c | 12381 | 836 1084 80089 | 6655 3747 514 | 3.241 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 12.0392 s Remaining CPU time: 167.961 s c =============================================================================== c | 12465 | 836 1085 80804 | 5000 3831 514 | 3.241 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 12.1102 s Remaining CPU time: 167.89 s c =============================================================================== c | 12538 | 836 1086 81519 | 5000 3904 514 | 3.241 % | c | 12638 | 836 1086 81519 | 5500 4004 514 | 3.241 % | c | 12789 | 836 1086 81519 | 6050 4155 513 | 3.241 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 12.4151 s Remaining CPU time: 167.585 s c =============================================================================== c | 12828 | 836 1087 82234 | 5000 4194 513 | 3.241 % | c | 12928 | 836 1087 82234 | 5500 4294 513 | 3.241 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 12.7141 s Remaining CPU time: 167.286 s c =============================================================================== c | 13073 | 836 1088 82949 | 5000 4439 513 | 3.241 % | c | 13173 | 836 1088 82949 | 5500 4539 513 | 3.241 % | c | 13323 | 836 1088 82949 | 6050 4689 512 | 3.241 % | c | 13550 | 836 1088 82949 | 6655 4916 512 | 3.241 % | c | 13888 | 836 1088 82949 | 7320 5254 512 | 3.241 % | c | 14395 | 836 1088 82949 | 8052 5761 511 | 3.241 % | c | 15154 | 836 1088 82949 | 8857 6520 510 | 3.241 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 15.1007 s Remaining CPU time: 164.899 s c =============================================================================== c | 15534 | 836 1089 83664 | 5000 6900 510 | 3.241 % | c | 15637 | 836 1089 83664 | 5500 3553 506 | 3.241 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 15.2937 s Remaining CPU time: 164.706 s c =============================================================================== c | 15694 | 836 1090 84379 | 5000 3610 506 | 3.241 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 15.3637 s Remaining CPU time: 164.636 s c =============================================================================== c | 15752 | 836 1091 85094 | 5000 3668 506 | 3.241 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 15.4527 s Remaining CPU time: 164.547 s c =============================================================================== c | 15813 | 836 1092 85809 | 5000 3729 505 | 3.241 % | c | 15913 | 836 1092 85809 | 5500 3829 505 | 3.241 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 15.6866 s Remaining CPU time: 164.313 s c =============================================================================== c | 15968 | 836 1093 86524 | 5000 3884 505 | 3.241 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 15.8096 s Remaining CPU time: 164.19 s c =============================================================================== c | 16048 | 836 1094 87239 | 5000 3964 505 | 3.241 % | c | 16150 | 836 1094 87239 | 5500 4066 505 | 3.241 % | c | 16300 | 836 1094 87239 | 6050 4216 505 | 3.241 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 16.2885 s Remaining CPU time: 163.711 s c =============================================================================== c | 16401 | 836 1095 87954 | 5000 4317 505 | 3.241 % | c | 16502 | 836 1095 87954 | 5500 4418 504 | 3.242 % | c | 16653 | 836 1095 87954 | 6050 4569 504 | 3.241 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 16.7495 s Remaining CPU time: 163.251 s c =============================================================================== c | 16660 | 836 1096 88669 | 5000 4576 504 | 3.241 % | c | 16761 | 836 1096 88669 | 5500 4677 504 | 3.241 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 16.9124 s Remaining CPU time: 163.088 s c =============================================================================== c | 16779 | 836 1097 89384 | 5000 4695 504 | 3.241 % | c | 16880 | 836 1097 89384 | 5500 4796 504 | 3.241 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 17.2184 s Remaining CPU time: 162.782 s c =============================================================================== c | 16973 | 836 1098 90099 | 5000 4889 504 | 3.241 % | c | 17074 | 836 1098 90099 | 5500 4990 503 | 3.241 % | c | 17225 | 836 1098 90099 | 6050 5141 503 | 3.242 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 17.8393 s Remaining CPU time: 162.161 s c =============================================================================== c | 17378 | 836 1099 90814 | 5000 5294 503 | 3.242 % | c | 17479 | 836 1099 90814 | 5500 2748 500 | 3.242 % | c | 17629 | 836 1099 90814 | 6050 2898 499 | 3.242 % | c | 17854 | 836 1099 90814 | 6655 3123 499 | 3.242 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 18.6952 s Remaining CPU time: 161.305 s c =============================================================================== c | 17936 | 836 1100 91529 | 5000 3205 499 | 3.242 % | c | 18036 | 836 1100 91529 | 5500 3305 499 | 3.241 % | c | 18186 | 836 1100 91529 | 6050 3455 498 | 3.241 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 19.1961 s Remaining CPU time: 160.804 s c =============================================================================== c | 18296 | 836 1101 92244 | 5000 3565 498 | 3.241 % | c | 18396 | 836 1101 92244 | 5500 3665 498 | 3.241 % | c | 18546 | 836 1101 92244 | 6050 3815 498 | 3.241 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 19.736 s Remaining CPU time: 160.264 s c =============================================================================== c | 18655 | 836 1102 92959 | 5000 3924 498 | 3.241 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 19.859 s Remaining CPU time: 160.141 s c =============================================================================== c | 18736 | 836 1103 93674 | 5000 4005 498 | 3.241 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 19.946 s Remaining CPU time: 160.054 s c =============================================================================== c | 18782 | 836 1104 94389 | 5000 4051 497 | 3.241 % | c | 18882 | 836 1104 94389 | 5500 4151 497 | 3.241 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 20.2609 s Remaining CPU time: 159.739 s c =============================================================================== c | 19010 | 836 1105 95104 | 5000 4279 497 | 3.241 % | c | 19110 | 836 1105 95104 | 5500 4379 497 | 3.241 % | c | 19260 | 836 1105 95104 | 6050 4529 496 | 3.241 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 20.7488 s Remaining CPU time: 159.251 s c =============================================================================== c | 19408 | 836 1106 95819 | 5000 4677 496 | 3.241 % | c | 19508 | 836 1106 95819 | 5500 4777 496 | 3.241 % | c | 19659 | 836 1106 95819 | 6050 4928 496 | 3.241 % | c | 19884 | 836 1106 95819 | 6655 5153 495 | 3.241 % | c | 20221 | 836 1106 95819 | 7320 5490 495 | 3.241 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 22.3596 s Remaining CPU time: 157.64 s c =============================================================================== c | 20561 | 836 1107 96534 | 5000 5830 494 | 3.241 % | c | 20661 | 836 1107 96534 | 5500 3015 489 | 3.242 % | c | 20811 | 836 1107 96534 | 6050 3165 489 | 3.241 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 22.9245 s Remaining CPU time: 157.075 s c =============================================================================== c | 20922 | 836 1108 97249 | 5000 3276 489 | 3.241 % | c | 21023 | 836 1108 97249 | 5500 3377 488 | 3.241 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 23.1445 s Remaining CPU time: 156.856 s c =============================================================================== c | 21053 | 836 1109 97964 | 5000 3407 488 | 3.241 % | c | 21153 | 836 1109 97964 | 5500 3507 488 | 3.241 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 23.4694 s Remaining CPU time: 156.531 s c =============================================================================== c | 21241 | 836 1110 98679 | 5000 3595 488 | 3.241 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 23.6234 s Remaining CPU time: 156.377 s c =============================================================================== c | 21330 | 836 1111 99394 | 5000 3684 488 | 3.241 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 23.7344 s Remaining CPU time: 156.266 s c =============================================================================== c | 21393 | 836 1112 100109 | 5000 3747 488 | 3.241 % | c | 21493 | 836 1112 100109 | 5500 3847 487 | 3.241 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 24.0064 s Remaining CPU time: 155.994 s c =============================================================================== c | 21556 | 836 1113 100824 | 5000 3910 487 | 3.241 % | c | 21656 | 836 1113 100824 | 5500 4010 487 | 3.241 % | c | 21807 | 836 1113 100824 | 6050 4161 487 | 3.241 % | c | 22033 | 836 1113 100824 | 6655 4387 486 | 3.241 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 25.1792 s Remaining CPU time: 154.821 s c =============================================================================== c | 22350 | 836 1114 101539 | 5000 4704 486 | 3.241 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 25.2862 s Remaining CPU time: 154.714 s c =============================================================================== c | 22412 | 836 1115 102254 | 5000 4766 486 | 3.241 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 25.4001 s Remaining CPU time: 154.6 s c =============================================================================== c | 22501 | 836 1116 102969 | 5000 4855 486 | 3.241 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 25.4971 s Remaining CPU time: 154.503 s c =============================================================================== c | 22571 | 836 1117 103684 | 5000 4925 485 | 3.241 % | c | 22671 | 836 1117 103684 | 5500 5025 485 | 3.242 % | c | 22821 | 836 1117 103684 | 6050 5175 485 | 3.241 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 26.04 s Remaining CPU time: 153.96 s c =============================================================================== c | 22948 | 836 1118 104399 | 5000 5302 485 | 3.241 % | c | 23049 | 836 1118 104399 | 5500 2752 480 | 3.241 % | c | 23199 | 836 1118 104399 | 6050 2902 479 | 3.241 % | c | 23425 | 836 1118 104399 | 6655 3128 479 | 3.241 % | c | 23762 | 836 1118 104399 | 7320 3465 479 | 3.241 % | c | 24269 | 836 1118 104399 | 8052 3972 478 | 3.241 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 28.1587 s Remaining CPU time: 151.841 s c =============================================================================== c | 24752 | 836 1119 105114 | 5000 4455 478 | 3.241 % | c | 24853 | 836 1119 105114 | 5500 4556 478 | 3.241 % | c | 25005 | 836 1119 105114 | 6050 4708 478 | 3.241 % | c | 25230 | 836 1119 105114 | 6655 4933 478 | 3.241 % | c | 25567 | 836 1119 105114 | 7320 5270 478 | 3.241 % | c | 26073 | 836 1119 105114 | 8052 5776 477 | 3.241 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 30.0664 s Remaining CPU time: 149.934 s c =============================================================================== c | 26306 | 836 1120 105829 | 5000 6009 477 | 3.241 % | c | 26406 | 836 1120 105829 | 5500 3105 474 | 3.241 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 30.3834 s Remaining CPU time: 149.617 s c =============================================================================== c | 26513 | 836 1121 106544 | 5000 3212 474 | 3.241 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 30.4974 s Remaining CPU time: 149.503 s c =============================================================================== c | 26587 | 836 1122 107259 | 5000 3286 474 | 3.241 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 30.5844 s Remaining CPU time: 149.416 s c =============================================================================== c | 26635 | 836 1123 107974 | 5000 3334 474 | 3.241 % | c | 26735 | 836 1123 107974 | 5500 3434 474 | 3.241 % | c | 26886 | 836 1123 107974 | 6050 3585 474 | 3.241 % | c | 27112 | 836 1123 107974 | 6655 3811 474 | 3.241 % | c | 27450 | 836 1123 107974 | 7320 4149 473 | 3.242 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 31.6842 s Remaining CPU time: 148.316 s c =============================================================================== c | 27530 | 836 1124 108689 | 5000 4229 473 | 3.242 % | c | 27631 | 836 1124 108689 | 5500 4330 473 | 3.241 % | c | 27782 | 836 1124 108689 | 6050 4481 473 | 3.241 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 32.2071 s Remaining CPU time: 147.793 s c =============================================================================== c | 27939 | 836 1125 109404 | 5000 4638 473 | 3.241 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 32.2851 s Remaining CPU time: 147.715 s c =============================================================================== c | 27988 | 836 1126 110119 | 5000 4687 473 | 3.241 % | c | 28089 | 836 1126 110119 | 5500 4788 473 | 3.241 % | c | 28239 | 836 1126 110119 | 6050 4938 472 | 3.241 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 32.833 s Remaining CPU time: 147.167 s c =============================================================================== c | 28397 | 836 1127 110834 | 5000 5096 472 | 3.241 % | c | 28499 | 836 1127 110834 | 5500 2650 469 | 3.241 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 33.082 s Remaining CPU time: 146.918 s c =============================================================================== c | 28548 | 836 1128 111549 | 5000 2699 469 | 3.241 % | c | 28649 | 836 1128 111549 | 5500 2800 469 | 3.241 % | c | 28799 | 836 1128 111549 | 6050 2950 469 | 3.241 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 33.6279 s Remaining CPU time: 146.372 s c =============================================================================== c | 28879 | 836 1129 112264 | 5000 3030 469 | 3.241 % | c | 28981 | 836 1129 112264 | 5500 3132 468 | 3.241 % | c | 29131 | 836 1129 112264 | 6050 3282 468 | 3.241 % | c | 29356 | 836 1129 112264 | 6655 3507 468 | 3.241 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 34.6117 s Remaining CPU time: 145.388 s c =============================================================================== c | 29591 | 836 1130 112979 | 5000 3742 468 | 3.241 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 34.7457 s Remaining CPU time: 145.254 s c =============================================================================== c | 29676 | 836 1131 113694 | 5000 3827 467 | 3.241 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 34.8447 s Remaining CPU time: 145.155 s c =============================================================================== c | 29721 | 836 1132 114409 | 5000 3872 467 | 3.241 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 34.9657 s Remaining CPU time: 145.034 s c =============================================================================== c | 29793 | 836 1133 115124 | 5000 3944 467 | 3.241 % | c | 29896 | 836 1133 115124 | 5500 4047 467 | 3.241 % | c | 30047 | 836 1133 115124 | 6050 4198 467 | 3.241 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 35.5386 s Remaining CPU time: 144.461 s c =============================================================================== c | 30227 | 836 1134 115839 | 5000 4378 467 | 3.241 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 35.6856 s Remaining CPU time: 144.314 s c =============================================================================== c | 30321 | 836 1135 116554 | 5000 4472 466 | 3.241 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 35.8475 s Remaining CPU time: 144.152 s c =============================================================================== c | 30412 | 836 1136 117269 | 5000 4563 466 | 3.241 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 35.9415 s Remaining CPU time: 144.058 s c =============================================================================== c | 30460 | 836 1137 117984 | 5000 4611 466 | 3.241 % | c | 30562 | 836 1137 117984 | 5500 4713 466 | 3.241 % | c | 30712 | 836 1137 117984 | 6050 4863 466 | 3.241 % | c | 30937 | 836 1137 117984 | 6655 5088 465 | 3.241 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 36.8404 s Remaining CPU time: 143.16 s c =============================================================================== c | 31051 | 836 1138 118699 | 5000 5202 465 | 3.241 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 36.9554 s Remaining CPU time: 143.045 s c =============================================================================== c | 31103 | 836 1139 119414 | 5000 2653 460 | 3.241 % | c | 31203 | 836 1139 119414 | 5500 2753 459 | 3.241 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 37.2223 s Remaining CPU time: 142.778 s c =============================================================================== c | 31261 | 836 1140 120129 | 5000 2811 459 | 3.241 % | c | 31361 | 836 1140 120129 | 5500 2911 459 | 3.241 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 37.5613 s Remaining CPU time: 142.439 s c =============================================================================== c | 31485 | 836 1141 120844 | 5000 3035 459 | 3.241 % | c | 31585 | 836 1141 120844 | 5500 3135 459 | 3.241 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 37.9642 s Remaining CPU time: 142.036 s c =============================================================================== c | 31729 | 836 1142 121559 | 5000 3279 458 | 3.241 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 38.0652 s Remaining CPU time: 141.935 s c =============================================================================== c | 31787 | 836 1143 122274 | 5000 3337 458 | 3.241 % | c | 31887 | 836 1143 122274 | 5500 3437 458 | 3.241 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 38.4692 s Remaining CPU time: 141.531 s c =============================================================================== c | 32026 | 836 1144 122989 | 5000 3576 458 | 3.241 % | c | 32126 | 836 1144 122989 | 5500 3676 457 | 3.241 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 38.8431 s Remaining CPU time: 141.157 s c =============================================================================== c | 32247 | 836 1145 123704 | 5000 3797 457 | 3.241 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 38.9591 s Remaining CPU time: 141.041 s c =============================================================================== c | 32327 | 836 1146 124419 | 5000 3877 457 | 3.241 % | c | 32429 | 836 1146 124419 | 5500 3979 457 | 3.241 % | c | 32579 | 836 1146 124419 | 6050 4129 456 | 3.241 % | c | 32805 | 836 1146 124419 | 6655 4355 456 | 3.242 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 39.9099 s Remaining CPU time: 140.09 s c =============================================================================== c | 32874 | 836 1147 125134 | 5000 4424 456 | 3.242 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 40.0379 s Remaining CPU time: 139.962 s c =============================================================================== c | 32938 | 836 1148 125849 | 5000 4488 455 | 3.242 % | c | 33039 | 836 1148 125849 | 5500 4589 455 | 3.241 % | c | 33189 | 836 1148 125849 | 6050 4739 455 | 3.242 % | c | 33414 | 836 1148 125849 | 6655 4964 454 | 3.241 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 40.9088 s Remaining CPU time: 139.091 s c =============================================================================== c | 33478 | 836 1149 126564 | 5000 5028 454 | 3.241 % | c | 33579 | 836 1149 126564 | 5500 2615 448 | 3.241 % | c | 33729 | 836 1149 126564 | 6050 2765 448 | 3.241 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 41.5117 s Remaining CPU time: 138.488 s c =============================================================================== c | 33833 | 836 1150 127279 | 5000 2869 448 | 3.241 % | c | 33934 | 836 1150 127279 | 5500 2970 447 | 3.241 % | c | 34085 | 836 1150 127279 | 6050 3121 447 | 3.241 % | c | 34311 | 836 1150 127279 | 6655 3347 447 | 3.241 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 42.3646 s Remaining CPU time: 137.635 s c =============================================================================== c | 34323 | 836 1151 127994 | 5000 3359 447 | 3.241 % | c | 34424 | 836 1151 127994 | 5500 3460 447 | 3.241 % | c | 34576 | 836 1151 127994 | 6050 3612 447 | 3.241 % | c | 34802 | 836 1151 127994 | 6655 3838 446 | 3.241 % | c | 35139 | 836 1151 127994 | 7320 4175 446 | 3.241 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 44.3253 s Remaining CPU time: 135.675 s c =============================================================================== c | 35567 | 836 1152 128709 | 5000 4603 445 | 3.241 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 44.4772 s Remaining CPU time: 135.523 s c =============================================================================== c | 35624 | 836 1153 129424 | 5000 4660 445 | 3.241 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 44.5792 s Remaining CPU time: 135.421 s c =============================================================================== c | 35659 | 836 1154 130139 | 5000 4695 445 | 3.241 % | c | 35761 | 836 1154 130139 | 5500 4797 445 | 3.241 % | c | 35911 | 836 1154 130139 | 6050 4947 445 | 3.241 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 45.4521 s Remaining CPU time: 134.548 s c =============================================================================== c | 36115 | 836 1155 130854 | 5000 5151 445 | 3.241 % | c | 36215 | 836 1155 130854 | 5500 2676 441 | 3.241 % | c | 36366 | 836 1155 130854 | 6050 2827 440 | 3.241 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 46.102 s Remaining CPU time: 133.898 s c =============================================================================== c | 36475 | 836 1156 131569 | 5000 2936 440 | 3.241 % | c | 36576 | 836 1156 131569 | 5500 3037 440 | 3.241 % | c | 36727 | 836 1156 131569 | 6050 3188 440 | 3.241 % | c | 36953 | 836 1156 131569 | 6655 3414 440 | 3.242 % | c | 37291 | 836 1156 131569 | 7320 3752 440 | 3.241 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 47.9557 s Remaining CPU time: 132.044 s c =============================================================================== c | 37572 | 836 1157 132284 | 5000 4033 439 | 3.241 % | c | 37672 | 836 1157 132284 | 5500 4133 439 | 3.242 % | c | 37822 | 836 1157 132284 | 6050 4283 439 | 3.242 % | c | 38047 | 836 1157 132284 | 6655 4508 439 | 3.242 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 49.0955 s Remaining CPU time: 130.904 s c =============================================================================== c | 38231 | 836 1158 132999 | 5000 4692 439 | 3.242 % | c | 38333 | 836 1158 132999 | 5500 4794 439 | 3.241 % | c | 38483 | 836 1158 132999 | 6050 4944 439 | 3.241 % | c | 38708 | 836 1158 132999 | 6655 5169 439 | 3.241 % | c | 39046 | 836 1158 132999 | 7320 5507 438 | 3.241 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 50.8453 s Remaining CPU time: 129.155 s c =============================================================================== c | 39152 | 836 1159 133714 | 5000 5613 438 | 3.241 % | c | 39253 | 836 1159 133714 | 5500 2908 436 | 3.241 % | c | 39403 | 836 1159 133714 | 6050 3058 436 | 3.241 % | c | 39629 | 836 1159 133714 | 6655 3284 435 | 3.241 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 52.1561 s Remaining CPU time: 127.844 s c =============================================================================== c | 39841 | 836 1160 134429 | 5000 3496 435 | 3.241 % | c | 39941 | 836 1160 134429 | 5500 3596 435 | 3.241 % | c | 40091 | 836 1160 134429 | 6050 3746 435 | 3.241 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 53.0469 s Remaining CPU time: 126.953 s c =============================================================================== c | 40291 | 836 1161 135144 | 5000 3946 435 | 3.241 % | c | 40391 | 836 1161 135144 | 5500 4046 435 | 3.241 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 53.4059 s Remaining CPU time: 126.594 s c =============================================================================== c | 40467 | 836 1162 135859 | 5000 4122 435 | 3.241 % | c | 40567 | 836 1162 135859 | 5500 4222 435 | 3.242 % | c | 40717 | 836 1162 135859 | 6050 4372 435 | 3.241 % | c | 40943 | 836 1162 135859 | 6655 4598 435 | 3.241 % | c | 41280 | 836 1162 135859 | 7320 4935 435 | 3.241 % | c | 41786 | 836 1162 135859 | 8052 5441 434 | 3.241 % | c | 42546 | 836 1162 135859 | 8857 6201 434 | 3.242 % | c | 43686 | 836 1162 135859 | 9743 7341 434 | 3.241 % | c | 45394 | 836 1162 135859 | 10717 9049 433 | 3.241 % | c | 47956 | 836 1162 135859 | 11789 5944 430 | 3.242 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 70.4813 s Remaining CPU time: 109.519 s c =============================================================================== c | 49017 | 836 1163 136574 | 5000 7005 430 | 3.242 % | c | 49117 | 836 1163 136574 | 5500 3603 429 | 3.241 % | c | 49267 | 836 1163 136574 | 6050 3753 429 | 3.241 % | c | 49492 | 836 1163 136574 | 6655 3978 429 | 3.241 % | c | 49829 | 836 1163 136574 | 7320 4315 429 | 3.241 % | c | 50335 | 836 1163 136574 | 8052 4821 429 | 3.241 % | c | 51095 | 836 1163 136574 | 8857 5581 429 | 3.241 % | c | 52234 | 836 1163 136574 | 9743 6720 429 | 3.241 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 79.8469 s Remaining CPU time: 100.153 s c =============================================================================== c | 53423 | 836 1164 137289 | 5000 7909 429 | 3.241 % | c | 53523 | 836 1164 137289 | 5500 4055 429 | 3.241 % | c | 53673 | 836 1164 137289 | 6050 4205 429 | 3.241 % | c | 53898 | 836 1164 137289 | 6655 4430 429 | 3.241 % | c | 54235 | 836 1164 137289 | 7320 4767 429 | 3.241 % | c | 54741 | 836 1164 137289 | 8052 5273 429 | 3.241 % | c | 55501 | 836 1164 137289 | 8857 6033 429 | 3.241 % | c | 56640 | 836 1164 137289 | 9743 7172 429 | 3.241 % | c | 58348 | 836 1164 137289 | 10717 8880 429 | 3.241 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 94.3976 s Remaining CPU time: 85.6024 s c =============================================================================== c | 60197 | 836 1165 138004 | 5000 10729 428 | 3.241 % | c | 60298 | 836 1165 138004 | 5500 2784 427 | 3.241 % | c | 60448 | 836 1165 138004 | 6050 2934 427 | 3.242 % | c | 60674 | 836 1165 138004 | 6655 3160 427 | 3.241 % | c | 61011 | 836 1165 138004 | 7320 3497 427 | 3.241 % | c | 61517 | 836 1165 138004 | 8052 4003 427 | 3.241 % | c | 62276 | 836 1165 138004 | 8857 4762 427 | 3.241 % | c | 63415 | 836 1165 138004 | 9743 5901 427 | 3.241 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 103.789 s Remaining CPU time: 76.2108 s c =============================================================================== c | 64840 | 836 1166 138719 | 5000 7326 427 | 3.241 % | c | 64940 | 836 1166 138719 | 5500 3763 426 | 3.241 % | c | 65090 | 836 1166 138719 | 6050 3913 426 | 3.241 % | c | 65316 | 836 1166 138719 | 6655 4139 426 | 3.241 % | c | 65653 | 836 1166 138719 | 7320 4476 426 | 3.242 % | c | 66160 | 836 1166 138719 | 8052 4983 426 | 3.241 % | c | 66921 | 836 1166 138719 | 8857 5744 426 | 3.242 % | c | 68060 | 836 1166 138719 | 9743 6883 426 | 3.241 % | c | 69769 | 836 1166 138719 | 10717 8592 426 | 3.241 % | c | 72331 | 836 1166 138719 | 11789 11154 426 | 3.241 % | c | 76175 | 836 1166 138719 | 12968 8792 427 | 3.241 % | c | 81941 | 836 1166 138719 | 14265 7767 427 | 3.241 % | c | 90590 | 836 1166 138719 | 15692 8972 428 | 3.241 % | c | 103564 | 836 1166 138719 | 17261 13795 428 | 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 | 897 2084 4905 | 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 | 1012 2088 78088 | 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 | 1128 2089 111894 | 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 | 1217 2094 134944 | 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 | 1315 2099 141546 | 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 | 1413 2103 141714 | 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 | 1527 2106 141909 | 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 | 1752 2112 142344 | 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 | 1940 2116 142678 | 5000 0 nan | 0.000 % | c | 100 | 1940 2116 142678 | 5500 100 21 | 5.962 % | c | 251 | 1940 2116 142678 | 6050 251 18 | 5.962 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2457 2127 143662 | 5000 0 nan | 0.000 % | c | 100 | 2457 2127 143662 | 5500 100 42 | 2.034 % | c | 251 | 2457 2127 143662 | 6050 251 24 | 2.034 % | c | 476 | 2457 2127 143662 | 6655 476 20 | 2.034 % | c | 814 | 2455 2127 143662 | 7320 532 17 | 2.113 % | c | 1320 | 2455 2127 143662 | 8052 1038 16 | 2.113 % | c | 2080 | 2449 2127 143662 | 8857 1183 14 | 2.352 % | c | 3219 | 2449 2127 143662 | 9743 2322 13 | 2.353 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3050 2141 144863 | 5000 0 nan | 0.000 % | c | 100 | 3050 2141 144863 | 5500 100 28 | 1.167 % | c | 251 | 3050 2141 144863 | 6050 251 18 | 1.167 % | c | 477 | 3050 2141 144863 | 6655 477 16 | 1.167 % | c | 814 | 3050 2141 144863 | 7320 814 17 | 1.167 % | c | 1320 | 3050 2141 144863 | 8052 1320 17 | 1.167 % | c | 2079 | 3050 2141 144863 | 8857 2079 17 | 1.167 % | c | 3218 | 3050 2141 144863 | 9743 3218 17 | 1.167 % | c | 4928 | 3050 2141 144863 | 10717 4928 19 | 1.167 % | c | 7490 | 3050 2141 144863 | 11789 7490 22 | 1.167 % | c | 11335 | 3050 2141 144863 | 12968 11335 21 | 1.167 % | c | 17101 | 3048 2141 144863 | 14265 4762 15 | 1.231 % | c | 25750 | 3048 2141 144863 | 15692 13411 22 | 1.231 % | c | 38724 | 3039 2141 144863 | 17261 5417 20 | 1.523 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3582 2164 145989 | 5000 0 nan | 0.000 % | c | 103 | 3582 2164 145989 | 5500 103 26 | 0.968 % | c | 253 | 3582 2164 145989 | 6050 253 21 | 0.968 % | c | 479 | 3582 2164 145989 | 6655 479 20 | 0.968 % | c | 816 | 3582 2164 145989 | 7320 816 21 | 0.968 % | c | 1323 | 3582 2164 145989 | 8052 1323 22 | 0.968 % | c | 2084 | 3582 2164 145989 | 8857 2084 23 | 0.968 % | c | 3227 | 3582 2164 145989 | 9743 3227 22 | 0.968 % | c | 4936 | 3582 2164 145989 | 10717 4936 21 | 0.968 % | c | 7500 | 3582 2164 145989 | 11789 7500 22 | 0.968 % | c | 11344 | 3582 2164 145989 | 12968 11344 22 | 0.968 % | c | 17112 | 3580 2164 145989 | 14265 8506 21 | 1.023 % | c | 25763 | 3580 2164 145989 | 15692 9976 22 | 1.023 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4196 2179 147246 | 5000 0 nan | 0.000 % | c | 101 | 4196 2179 147246 | 5500 101 58 | 0.663 % | c | 255 | 4196 2179 147246 | 6050 255 37 | 0.663 % | c | 481 | 4196 2179 147246 | 6655 481 36 | 0.663 % | c | 821 | 4196 2179 147246 | 7320 821 36 | 0.663 % | c | 1328 | 4196 2179 147246 | 8052 1328 37 | 0.663 % | c | 2089 | 4196 2179 147246 | 8857 2089 39 | 0.663 % | c | 3231 | 4196 2179 147246 | 9743 3231 39 | 0.663 % | c | 4941 | 4196 2179 147246 | 10717 4941 44 | 0.663 % | c | 7504 | 4196 2179 147246 | 11789 7504 45 | 0.663 % | c | 11348 | 4196 2179 147246 | 12968 11348 45 | 0.663 % | c | 17115 | 4196 2179 147246 | 14265 10538 57 | 0.663 % | c | 25767 | 4196 2179 147246 | 15692 11858 67 | 0.663 % | c | 38743 | 4196 2179 147246 | 17261 8741 73 | 0.663 % | c | 58205 | 4196 2179 147246 | 18987 10530 72 | 0.663 % | c | 87397 | 4196 2179 147246 | 20886 10346 64 | 0.663 % | c | 131187 | 4196 2179 147246 | 22974 11852 55 | 0.663 % | c | 196874 | 4196 2179 147246 | 25272 19107 45 | 0.663 % | c | 295400 | 4196 2179 147246 | 27799 13796 50 | 0.663 % | c | 443190 | 4196 2179 147246 | 30579 23514 45 | 0.663 % |