c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 5000 | c | Number Clauses: 5000 | 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 | 4977 5007 14832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26809 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 4977 5008 19682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26801 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 4977 5009 24532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26798 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 4977 5010 29382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26797 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 0 | 4977 5011 34232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26794 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 0 | 4977 5012 39082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26790 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 4977 5013 43932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26788 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 0 | 4977 5014 48782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26785 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 0 | 4977 5015 53632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26781 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 0 | 4977 5016 58482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26779 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 0 | 4977 5017 63332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26777 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 0 | 4977 5018 68182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26776 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s c =============================================================================== c | 0 | 4977 5019 73032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26775 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 0 | 4977 5020 77882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26774 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 0 | 4977 5021 82732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26773 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 0 | 4977 5022 87582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26771 c Elapsed CPU time: 1.56776 s Remaining CPU time: 178.432 s c =============================================================================== c | 0 | 4977 5023 92432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26770 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s c =============================================================================== c | 0 | 4977 5024 97282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26767 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 0 | 4977 5025 102132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26766 c Elapsed CPU time: 1.90871 s Remaining CPU time: 178.091 s c =============================================================================== c | 0 | 4977 5026 106982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26764 c Elapsed CPU time: 2.02369 s Remaining CPU time: 177.976 s c =============================================================================== c | 0 | 4977 5027 111832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26762 c Elapsed CPU time: 2.14267 s Remaining CPU time: 177.857 s c =============================================================================== c | 0 | 4977 5028 116682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26761 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s c =============================================================================== c | 0 | 4977 5029 121532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26760 c Elapsed CPU time: 2.38464 s Remaining CPU time: 177.615 s c =============================================================================== c | 0 | 4977 5030 126382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26759 c Elapsed CPU time: 2.51462 s Remaining CPU time: 177.485 s c =============================================================================== c | 0 | 4977 5031 131232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26758 c Elapsed CPU time: 2.6416 s Remaining CPU time: 177.358 s c =============================================================================== c | 0 | 4977 5032 136082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26757 c Elapsed CPU time: 2.77058 s Remaining CPU time: 177.229 s c =============================================================================== c | 0 | 4977 5033 140932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26756 c Elapsed CPU time: 2.90256 s Remaining CPU time: 177.097 s c =============================================================================== c | 0 | 4977 5034 145782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26755 c Elapsed CPU time: 3.03754 s Remaining CPU time: 176.962 s c =============================================================================== c | 0 | 4977 5035 150632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26753 c Elapsed CPU time: 3.17552 s Remaining CPU time: 176.824 s c =============================================================================== c | 0 | 4977 5036 155482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26752 c Elapsed CPU time: 3.31849 s Remaining CPU time: 176.682 s c =============================================================================== c | 0 | 4977 5037 160332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26748 c Elapsed CPU time: 3.46147 s Remaining CPU time: 176.539 s c =============================================================================== c | 0 | 4977 5038 165182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26746 c Elapsed CPU time: 3.60645 s Remaining CPU time: 176.394 s c =============================================================================== c | 0 | 4977 5039 170032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26740 c Elapsed CPU time: 3.75443 s Remaining CPU time: 176.246 s c =============================================================================== c | 0 | 4977 5040 174882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26735 c Elapsed CPU time: 3.90341 s Remaining CPU time: 176.097 s c =============================================================================== c | 0 | 4977 5041 179732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26734 c Elapsed CPU time: 4.05738 s Remaining CPU time: 175.943 s c =============================================================================== c | 0 | 4977 5042 184582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26732 c Elapsed CPU time: 4.21336 s Remaining CPU time: 175.787 s c =============================================================================== c | 0 | 4977 5043 189432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26729 c Elapsed CPU time: 4.37333 s Remaining CPU time: 175.627 s c =============================================================================== c | 0 | 4977 5044 194282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26728 c Elapsed CPU time: 4.54231 s Remaining CPU time: 175.458 s c =============================================================================== c | 0 | 4977 5045 199132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26726 c Elapsed CPU time: 4.71028 s Remaining CPU time: 175.29 s c =============================================================================== c | 0 | 4977 5046 203982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26725 c Elapsed CPU time: 4.87726 s Remaining CPU time: 175.123 s c =============================================================================== c | 0 | 4977 5047 208832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26722 c Elapsed CPU time: 5.05023 s Remaining CPU time: 174.95 s c =============================================================================== c | 0 | 4977 5048 213682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26719 c Elapsed CPU time: 5.22321 s Remaining CPU time: 174.777 s c =============================================================================== c | 0 | 4977 5049 218532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26716 c Elapsed CPU time: 5.40018 s Remaining CPU time: 174.6 s c =============================================================================== c | 0 | 4977 5050 223382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26715 c Elapsed CPU time: 5.58715 s Remaining CPU time: 174.413 s c =============================================================================== c | 0 | 4977 5051 228232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26712 c Elapsed CPU time: 5.76812 s Remaining CPU time: 174.232 s c =============================================================================== c | 0 | 4977 5052 233082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26711 c Elapsed CPU time: 5.96109 s Remaining CPU time: 174.039 s c =============================================================================== c | 0 | 4977 5053 237932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26710 c Elapsed CPU time: 6.16206 s Remaining CPU time: 173.838 s c =============================================================================== c | 0 | 4977 5054 242782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26709 c Elapsed CPU time: 6.36403 s Remaining CPU time: 173.636 s c =============================================================================== c | 0 | 4977 5055 247632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26708 c Elapsed CPU time: 6.58 s Remaining CPU time: 173.42 s c =============================================================================== c | 0 | 4977 5056 252482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26707 c Elapsed CPU time: 6.79897 s Remaining CPU time: 173.201 s c =============================================================================== c | 0 | 4977 5057 257332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26706 c Elapsed CPU time: 7.01093 s Remaining CPU time: 172.989 s c =============================================================================== c | 0 | 4977 5058 262182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26705 c Elapsed CPU time: 7.2249 s Remaining CPU time: 172.775 s c =============================================================================== c | 0 | 4977 5059 267032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26704 c Elapsed CPU time: 7.44887 s Remaining CPU time: 172.551 s c =============================================================================== c | 0 | 4977 5060 271882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26703 c Elapsed CPU time: 7.68883 s Remaining CPU time: 172.311 s c =============================================================================== c | 0 | 4977 5061 276732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26702 c Elapsed CPU time: 7.92579 s Remaining CPU time: 172.074 s c =============================================================================== c | 0 | 4977 5062 281582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26700 c Elapsed CPU time: 8.15676 s Remaining CPU time: 171.843 s c =============================================================================== c | 0 | 4977 5063 286432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26699 c Elapsed CPU time: 8.39672 s Remaining CPU time: 171.603 s c =============================================================================== c | 0 | 4977 5064 291282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26698 c Elapsed CPU time: 8.64269 s Remaining CPU time: 171.357 s c =============================================================================== c | 0 | 4977 5065 296132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26695 c Elapsed CPU time: 8.89065 s Remaining CPU time: 171.109 s c =============================================================================== c | 0 | 4977 5066 300982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26691 c Elapsed CPU time: 9.13861 s Remaining CPU time: 170.861 s c =============================================================================== c | 0 | 4977 5067 305832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26687 c Elapsed CPU time: 9.38657 s Remaining CPU time: 170.613 s c =============================================================================== c | 0 | 4977 5068 310682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26683 c Elapsed CPU time: 9.63554 s Remaining CPU time: 170.364 s c =============================================================================== c | 0 | 4977 5069 315532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26681 c Elapsed CPU time: 9.89449 s Remaining CPU time: 170.106 s c =============================================================================== c | 0 | 4977 5070 320382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26679 c Elapsed CPU time: 10.1555 s Remaining CPU time: 169.845 s c =============================================================================== c | 0 | 4977 5071 325232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26678 c Elapsed CPU time: 10.4204 s Remaining CPU time: 169.58 s c =============================================================================== c | 0 | 4977 5072 330082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26677 c Elapsed CPU time: 10.6824 s Remaining CPU time: 169.318 s c =============================================================================== c | 0 | 4977 5073 334932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26676 c Elapsed CPU time: 10.9493 s Remaining CPU time: 169.051 s c =============================================================================== c | 0 | 4977 5074 339782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26673 c Elapsed CPU time: 11.2203 s Remaining CPU time: 168.78 s c =============================================================================== c | 0 | 4977 5075 344632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26671 c Elapsed CPU time: 11.4983 s Remaining CPU time: 168.502 s c =============================================================================== c | 0 | 4977 5076 349482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26670 c Elapsed CPU time: 11.7802 s Remaining CPU time: 168.22 s c =============================================================================== c | 0 | 4977 5077 354332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26668 c Elapsed CPU time: 12.0702 s Remaining CPU time: 167.93 s c =============================================================================== c | 0 | 4977 5078 359182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26666 c Elapsed CPU time: 12.3671 s Remaining CPU time: 167.633 s c =============================================================================== c | 0 | 4977 5079 364032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26665 c Elapsed CPU time: 12.6591 s Remaining CPU time: 167.341 s c =============================================================================== c | 0 | 4977 5080 368882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26664 c Elapsed CPU time: 12.955 s Remaining CPU time: 167.045 s c =============================================================================== c | 0 | 4977 5081 373732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26663 c Elapsed CPU time: 13.282 s Remaining CPU time: 166.718 s c =============================================================================== c | 0 | 4977 5082 378582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26661 c Elapsed CPU time: 13.5999 s Remaining CPU time: 166.4 s c =============================================================================== c | 0 | 4977 5083 383432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26658 c Elapsed CPU time: 13.9309 s Remaining CPU time: 166.069 s c =============================================================================== c | 0 | 4977 5084 388282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26657 c Elapsed CPU time: 14.2778 s Remaining CPU time: 165.722 s c =============================================================================== c | 0 | 4977 5085 393132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26656 c Elapsed CPU time: 14.6228 s Remaining CPU time: 165.377 s c =============================================================================== c | 0 | 4977 5086 397982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26654 c Elapsed CPU time: 14.9617 s Remaining CPU time: 165.038 s c =============================================================================== c | 0 | 4977 5087 402832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26653 c Elapsed CPU time: 15.3057 s Remaining CPU time: 164.694 s c =============================================================================== c | 0 | 4977 5088 407682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26652 c Elapsed CPU time: 15.6566 s Remaining CPU time: 164.343 s c =============================================================================== c | 0 | 4977 5089 412532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26650 c Elapsed CPU time: 16.0146 s Remaining CPU time: 163.985 s c =============================================================================== c | 0 | 4977 5090 417382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26647 c Elapsed CPU time: 16.3655 s Remaining CPU time: 163.634 s c =============================================================================== c | 0 | 4977 5091 422232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26645 c Elapsed CPU time: 16.7325 s Remaining CPU time: 163.268 s c =============================================================================== c | 0 | 4977 5092 427082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26644 c Elapsed CPU time: 17.0944 s Remaining CPU time: 162.906 s c =============================================================================== c | 0 | 4977 5093 431932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26641 c Elapsed CPU time: 17.4643 s Remaining CPU time: 162.536 s c =============================================================================== c | 0 | 4977 5094 436782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26639 c Elapsed CPU time: 17.8323 s Remaining CPU time: 162.168 s c =============================================================================== c | 0 | 4977 5095 441632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26638 c Elapsed CPU time: 18.2052 s Remaining CPU time: 161.795 s c =============================================================================== c | 0 | 4977 5096 446482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26635 c Elapsed CPU time: 18.5862 s Remaining CPU time: 161.414 s c =============================================================================== c | 0 | 4977 5097 451332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26634 c Elapsed CPU time: 18.9671 s Remaining CPU time: 161.033 s c =============================================================================== c | 0 | 4977 5098 456182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26633 c Elapsed CPU time: 19.3561 s Remaining CPU time: 160.644 s c =============================================================================== c | 0 | 4977 5099 461032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26632 c Elapsed CPU time: 19.739 s Remaining CPU time: 160.261 s c =============================================================================== c | 0 | 4977 5100 465882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26631 c Elapsed CPU time: 20.1279 s Remaining CPU time: 159.872 s c =============================================================================== c | 0 | 4977 5101 470732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26630 c Elapsed CPU time: 20.5289 s Remaining CPU time: 159.471 s c =============================================================================== c | 0 | 4977 5102 475582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26629 c Elapsed CPU time: 20.9438 s Remaining CPU time: 159.056 s c =============================================================================== c | 0 | 4977 5103 480432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26628 c Elapsed CPU time: 21.3558 s Remaining CPU time: 158.644 s c =============================================================================== c | 0 | 4977 5104 485282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26626 c Elapsed CPU time: 21.7657 s Remaining CPU time: 158.234 s c =============================================================================== c | 0 | 4977 5105 490132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26625 c Elapsed CPU time: 22.1866 s Remaining CPU time: 157.813 s c =============================================================================== c | 0 | 4977 5106 494982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26624 c Elapsed CPU time: 22.6126 s Remaining CPU time: 157.387 s c =============================================================================== c | 0 | 4977 5107 499832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26621 c Elapsed CPU time: 23.0315 s Remaining CPU time: 156.969 s c =============================================================================== c | 0 | 4977 5108 504682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26620 c Elapsed CPU time: 23.4634 s Remaining CPU time: 156.537 s c =============================================================================== c | 0 | 4977 5109 509532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26619 c Elapsed CPU time: 23.8934 s Remaining CPU time: 156.107 s c =============================================================================== c | 0 | 4977 5110 514382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26617 c Elapsed CPU time: 24.3183 s Remaining CPU time: 155.682 s c =============================================================================== c | 0 | 4977 5111 519232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26615 c Elapsed CPU time: 24.7532 s Remaining CPU time: 155.247 s c =============================================================================== c | 0 | 4977 5112 524082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26613 c Elapsed CPU time: 25.1882 s Remaining CPU time: 154.812 s c =============================================================================== c | 0 | 4977 5113 528932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26612 c Elapsed CPU time: 25.6211 s Remaining CPU time: 154.379 s c =============================================================================== c | 0 | 4977 5114 533782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26610 c Elapsed CPU time: 26.052 s Remaining CPU time: 153.948 s c =============================================================================== c | 0 | 4977 5115 538632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26609 c Elapsed CPU time: 26.489 s Remaining CPU time: 153.511 s c =============================================================================== c | 0 | 4977 5116 543482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26607 c Elapsed CPU time: 26.9399 s Remaining CPU time: 153.06 s c =============================================================================== c | 0 | 4977 5117 548332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26606 c Elapsed CPU time: 27.3838 s Remaining CPU time: 152.616 s c =============================================================================== c | 0 | 4977 5118 553182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26605 c Elapsed CPU time: 27.8328 s Remaining CPU time: 152.167 s c =============================================================================== c | 0 | 4977 5119 558032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26604 c Elapsed CPU time: 28.2797 s Remaining CPU time: 151.72 s c =============================================================================== c | 0 | 4977 5120 562882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26601 c Elapsed CPU time: 28.7416 s Remaining CPU time: 151.258 s c =============================================================================== c | 0 | 4977 5121 567732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26600 c Elapsed CPU time: 29.1876 s Remaining CPU time: 150.812 s c =============================================================================== c | 0 | 4977 5122 572582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26598 c Elapsed CPU time: 29.6515 s Remaining CPU time: 150.349 s c =============================================================================== c | 0 | 4977 5123 577432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26597 c Elapsed CPU time: 30.1094 s Remaining CPU time: 149.891 s c =============================================================================== c | 0 | 4977 5124 582282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26596 c Elapsed CPU time: 30.5754 s Remaining CPU time: 149.425 s c =============================================================================== c | 0 | 4977 5125 587132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26595 c Elapsed CPU time: 31.0493 s Remaining CPU time: 148.951 s c =============================================================================== c | 0 | 4977 5126 591982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26592 c Elapsed CPU time: 31.5162 s Remaining CPU time: 148.484 s c =============================================================================== c | 0 | 4977 5127 596832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26590 c Elapsed CPU time: 31.9951 s Remaining CPU time: 148.005 s c =============================================================================== c | 0 | 4977 5128 601682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26589 c Elapsed CPU time: 32.4751 s Remaining CPU time: 147.525 s c =============================================================================== c | 0 | 4977 5129 606532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26587 c Elapsed CPU time: 32.953 s Remaining CPU time: 147.047 s c =============================================================================== c | 0 | 4977 5130 611382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26584 c Elapsed CPU time: 33.4409 s Remaining CPU time: 146.559 s c =============================================================================== c | 0 | 4977 5131 616232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26583 c Elapsed CPU time: 33.9358 s Remaining CPU time: 146.064 s c =============================================================================== c | 0 | 4977 5132 621082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26582 c Elapsed CPU time: 34.4528 s Remaining CPU time: 145.547 s c =============================================================================== c | 0 | 4977 5133 625932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26579 c Elapsed CPU time: 34.9627 s Remaining CPU time: 145.037 s c =============================================================================== c | 0 | 4977 5134 630782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26578 c Elapsed CPU time: 35.4806 s Remaining CPU time: 144.519 s c =============================================================================== c | 0 | 4977 5135 635632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26576 c Elapsed CPU time: 35.9855 s Remaining CPU time: 144.014 s c =============================================================================== c | 0 | 4977 5136 640482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26574 c Elapsed CPU time: 36.4995 s Remaining CPU time: 143.501 s c =============================================================================== c | 0 | 4977 5137 645332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26571 c Elapsed CPU time: 36.9974 s Remaining CPU time: 143.003 s c =============================================================================== c | 0 | 4977 5138 650182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26570 c Elapsed CPU time: 37.4963 s Remaining CPU time: 142.504 s c =============================================================================== c | 0 | 4977 5139 655032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26569 c Elapsed CPU time: 37.9982 s Remaining CPU time: 142.002 s c =============================================================================== c | 0 | 4977 5140 659882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26567 c Elapsed CPU time: 38.5051 s Remaining CPU time: 141.495 s c =============================================================================== c | 0 | 4977 5141 664732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26566 c Elapsed CPU time: 39.0281 s Remaining CPU time: 140.972 s c =============================================================================== c | 0 | 4977 5142 669582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26565 c Elapsed CPU time: 39.546 s Remaining CPU time: 140.454 s c =============================================================================== c | 0 | 4977 5143 674432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26564 c Elapsed CPU time: 40.0689 s Remaining CPU time: 139.931 s c =============================================================================== c | 0 | 4977 5144 679282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26563 c Elapsed CPU time: 40.6118 s Remaining CPU time: 139.388 s c =============================================================================== c | 0 | 4977 5145 684132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26560 c Elapsed CPU time: 41.1517 s Remaining CPU time: 138.848 s c =============================================================================== c | 0 | 4977 5146 688982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26558 c Elapsed CPU time: 41.6927 s Remaining CPU time: 138.307 s c =============================================================================== c | 0 | 4977 5147 693832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26555 c Elapsed CPU time: 42.2396 s Remaining CPU time: 137.76 s c =============================================================================== c | 0 | 4977 5148 698682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26551 c Elapsed CPU time: 42.7845 s Remaining CPU time: 137.216 s c =============================================================================== c | 0 | 4977 5149 703532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26550 c Elapsed CPU time: 43.3754 s Remaining CPU time: 136.625 s c =============================================================================== c | 0 | 4977 5150 708382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26549 c Elapsed CPU time: 43.9553 s Remaining CPU time: 136.045 s c =============================================================================== c | 0 | 4977 5151 713232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26548 c Elapsed CPU time: 44.5572 s Remaining CPU time: 135.443 s c =============================================================================== c | 0 | 4977 5152 718082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26547 c Elapsed CPU time: 45.1451 s Remaining CPU time: 134.855 s c =============================================================================== c | 0 | 4977 5153 722932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26544 c Elapsed CPU time: 45.736 s Remaining CPU time: 134.264 s c =============================================================================== c | 0 | 4977 5154 727782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26542 c Elapsed CPU time: 46.341 s Remaining CPU time: 133.659 s c =============================================================================== c | 0 | 4977 5155 732632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26541 c Elapsed CPU time: 46.9459 s Remaining CPU time: 133.054 s c =============================================================================== c | 0 | 4977 5156 737482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26540 c Elapsed CPU time: 47.5538 s Remaining CPU time: 132.446 s c =============================================================================== c | 0 | 4977 5157 742332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26537 c Elapsed CPU time: 48.1487 s Remaining CPU time: 131.851 s c =============================================================================== c | 0 | 4977 5158 747182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26534 c Elapsed CPU time: 48.7416 s Remaining CPU time: 131.258 s c =============================================================================== c | 0 | 4977 5159 752032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26533 c Elapsed CPU time: 49.3665 s Remaining CPU time: 130.634 s c =============================================================================== c | 0 | 4977 5160 756882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26532 c Elapsed CPU time: 49.9754 s Remaining CPU time: 130.025 s c =============================================================================== c | 0 | 4977 5161 761732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26531 c Elapsed CPU time: 50.5773 s Remaining CPU time: 129.423 s c =============================================================================== c | 0 | 4977 5162 766582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26529 c Elapsed CPU time: 51.1782 s Remaining CPU time: 128.822 s c =============================================================================== c | 0 | 4977 5163 771432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26528 c Elapsed CPU time: 51.7871 s Remaining CPU time: 128.213 s c =============================================================================== c | 0 | 4977 5164 776282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26527 c Elapsed CPU time: 52.404 s Remaining CPU time: 127.596 s c =============================================================================== c | 0 | 4977 5165 781132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26526 c Elapsed CPU time: 53.0459 s Remaining CPU time: 126.954 s c =============================================================================== c | 0 | 4977 5166 785982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26525 c Elapsed CPU time: 53.6778 s Remaining CPU time: 126.322 s c =============================================================================== c | 0 | 4977 5167 790832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26524 c Elapsed CPU time: 54.3037 s Remaining CPU time: 125.696 s c =============================================================================== c | 0 | 4977 5168 795682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26523 c Elapsed CPU time: 54.9256 s Remaining CPU time: 125.074 s c =============================================================================== c | 0 | 4977 5169 800532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26522 c Elapsed CPU time: 55.5576 s Remaining CPU time: 124.442 s c =============================================================================== c | 0 | 4977 5170 805382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26520 c Elapsed CPU time: 56.1795 s Remaining CPU time: 123.821 s c =============================================================================== c | 0 | 4977 5171 810232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26519 c Elapsed CPU time: 56.8154 s Remaining CPU time: 123.185 s c =============================================================================== c | 0 | 4977 5172 815082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26517 c Elapsed CPU time: 57.4383 s Remaining CPU time: 122.562 s c =============================================================================== c | 0 | 4977 5173 819932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26515 c Elapsed CPU time: 58.0632 s Remaining CPU time: 121.937 s c =============================================================================== c | 0 | 4977 5174 824782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26513 c Elapsed CPU time: 58.6901 s Remaining CPU time: 121.31 s c =============================================================================== c | 0 | 4977 5175 829632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26511 c Elapsed CPU time: 59.335 s Remaining CPU time: 120.665 s c =============================================================================== c | 0 | 4977 5176 834482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26510 c Elapsed CPU time: 59.9759 s Remaining CPU time: 120.024 s c =============================================================================== c | 0 | 4977 5177 839332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26508 c Elapsed CPU time: 60.6178 s Remaining CPU time: 119.382 s c =============================================================================== c | 0 | 4977 5178 844182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26507 c Elapsed CPU time: 61.2777 s Remaining CPU time: 118.722 s c =============================================================================== c | 0 | 4977 5179 849032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26506 c Elapsed CPU time: 61.9386 s Remaining CPU time: 118.061 s c =============================================================================== c | 0 | 4977 5180 853882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26504 c Elapsed CPU time: 62.6015 s Remaining CPU time: 117.399 s c =============================================================================== c | 0 | 4977 5181 858732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26502 c Elapsed CPU time: 63.2604 s Remaining CPU time: 116.74 s c =============================================================================== c | 0 | 4977 5182 863582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26500 c Elapsed CPU time: 63.9263 s Remaining CPU time: 116.074 s c =============================================================================== c | 0 | 4977 5183 868432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26499 c Elapsed CPU time: 64.6082 s Remaining CPU time: 115.392 s c =============================================================================== c | 0 | 4977 5184 873282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26498 c Elapsed CPU time: 65.2991 s Remaining CPU time: 114.701 s c =============================================================================== c | 0 | 4977 5185 878132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26497 c Elapsed CPU time: 65.979 s Remaining CPU time: 114.021 s c =============================================================================== c | 0 | 4977 5186 882982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26495 c Elapsed CPU time: 66.6629 s Remaining CPU time: 113.337 s c =============================================================================== c | 0 | 4977 5187 887832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26493 c Elapsed CPU time: 67.3348 s Remaining CPU time: 112.665 s c =============================================================================== c | 0 | 4977 5188 892682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26492 c Elapsed CPU time: 68.0197 s Remaining CPU time: 111.98 s c =============================================================================== c | 0 | 4977 5189 897532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26491 c Elapsed CPU time: 68.7246 s Remaining CPU time: 111.275 s c =============================================================================== c | 0 | 4977 5190 902382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26490 c Elapsed CPU time: 69.4154 s Remaining CPU time: 110.585 s c =============================================================================== c | 0 | 4977 5191 907232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26487 c Elapsed CPU time: 70.0983 s Remaining CPU time: 109.902 s c =============================================================================== c | 0 | 4977 5192 912082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26484 c Elapsed CPU time: 70.7862 s Remaining CPU time: 109.214 s c =============================================================================== c | 0 | 4977 5193 916932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26482 c Elapsed CPU time: 71.4751 s Remaining CPU time: 108.525 s c =============================================================================== c | 0 | 4977 5194 921782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26480 c Elapsed CPU time: 72.177 s Remaining CPU time: 107.823 s c =============================================================================== c | 0 | 4977 5195 926632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26478 c Elapsed CPU time: 72.8679 s Remaining CPU time: 107.132 s c =============================================================================== c | 0 | 4977 5196 931482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26477 c Elapsed CPU time: 73.5638 s Remaining CPU time: 106.436 s c =============================================================================== c | 0 | 4977 5197 936332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26476 c Elapsed CPU time: 74.2647 s Remaining CPU time: 105.735 s c =============================================================================== c | 0 | 4977 5198 941182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26475 c Elapsed CPU time: 74.9786 s Remaining CPU time: 105.021 s c =============================================================================== c | 0 | 4977 5199 946032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26473 c Elapsed CPU time: 75.7025 s Remaining CPU time: 104.298 s c =============================================================================== c | 0 | 4977 5200 950882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26472 c Elapsed CPU time: 76.4174 s Remaining CPU time: 103.583 s c =============================================================================== c | 0 | 4977 5201 955732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26469 c Elapsed CPU time: 77.1243 s Remaining CPU time: 102.876 s c =============================================================================== c | 0 | 4977 5202 960582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26467 c Elapsed CPU time: 77.8482 s Remaining CPU time: 102.152 s c =============================================================================== c | 0 | 4977 5203 965432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26465 c Elapsed CPU time: 78.5661 s Remaining CPU time: 101.434 s c =============================================================================== c | 0 | 4977 5204 970282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26464 c Elapsed CPU time: 79.2839 s Remaining CPU time: 100.716 s c =============================================================================== c | 0 | 4977 5205 975132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26463 c Elapsed CPU time: 80.0018 s Remaining CPU time: 99.9982 s c =============================================================================== c | 0 | 4977 5206 979982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26461 c Elapsed CPU time: 80.7287 s Remaining CPU time: 99.2713 s c =============================================================================== c | 0 | 4977 5207 984832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26459 c Elapsed CPU time: 81.4506 s Remaining CPU time: 98.5494 s c =============================================================================== c | 0 | 4977 5208 989682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26458 c Elapsed CPU time: 82.1725 s Remaining CPU time: 97.8275 s c =============================================================================== c | 0 | 4977 5209 994532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26457 c Elapsed CPU time: 82.9134 s Remaining CPU time: 97.0866 s c =============================================================================== c | 0 | 4977 5210 999382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26456 c Elapsed CPU time: 83.6673 s Remaining CPU time: 96.3327 s c =============================================================================== c | 0 | 4977 5211 1004232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26455 c Elapsed CPU time: 84.3982 s Remaining CPU time: 95.6018 s c =============================================================================== c | 0 | 4977 5212 1009082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26453 c Elapsed CPU time: 85.1261 s Remaining CPU time: 94.8739 s c =============================================================================== c | 0 | 4977 5213 1013932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26450 c Elapsed CPU time: 85.8679 s Remaining CPU time: 94.1321 s c =============================================================================== c | 0 | 4977 5214 1018782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26449 c Elapsed CPU time: 86.6478 s Remaining CPU time: 93.3522 s c =============================================================================== c | 0 | 4977 5215 1023632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26448 c Elapsed CPU time: 87.3947 s Remaining CPU time: 92.6053 s c =============================================================================== c | 0 | 4977 5216 1028482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26447 c Elapsed CPU time: 88.1646 s Remaining CPU time: 91.8354 s c =============================================================================== c | 0 | 4977 5217 1033332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26445 c Elapsed CPU time: 88.9245 s Remaining CPU time: 91.0755 s c =============================================================================== c | 0 | 4977 5218 1038182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26442 c Elapsed CPU time: 89.6764 s Remaining CPU time: 90.3236 s c =============================================================================== c | 0 | 4977 5219 1043032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26440 c Elapsed CPU time: 90.4293 s Remaining CPU time: 89.5707 s c =============================================================================== c | 0 | 4977 5220 1047882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26439 c Elapsed CPU time: 91.2371 s Remaining CPU time: 88.7629 s c =============================================================================== c | 0 | 4977 5221 1052732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26438 c Elapsed CPU time: 92.072 s Remaining CPU time: 87.928 s c =============================================================================== c | 0 | 4977 5222 1057582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26436 c Elapsed CPU time: 92.8879 s Remaining CPU time: 87.1121 s c =============================================================================== c | 0 | 4977 5223 1062432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26435 c Elapsed CPU time: 93.7138 s Remaining CPU time: 86.2862 s c =============================================================================== c | 0 | 4977 5224 1067282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26434 c Elapsed CPU time: 94.5306 s Remaining CPU time: 85.4694 s c =============================================================================== c | 0 | 4977 5225 1072132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26432 c Elapsed CPU time: 95.3455 s Remaining CPU time: 84.6545 s c =============================================================================== c | 0 | 4977 5226 1076982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26430 c Elapsed CPU time: 96.1764 s Remaining CPU time: 83.8236 s c =============================================================================== c | 0 | 4977 5227 1081832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26429 c Elapsed CPU time: 97.0322 s Remaining CPU time: 82.9678 s c =============================================================================== c | 0 | 4977 5228 1086682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26428 c Elapsed CPU time: 97.8921 s Remaining CPU time: 82.1079 s c =============================================================================== c | 0 | 4977 5229 1091532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26426 c Elapsed CPU time: 98.734 s Remaining CPU time: 81.266 s c =============================================================================== c | 0 | 4977 5230 1096382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26425 c Elapsed CPU time: 99.5879 s Remaining CPU time: 80.4121 s c =============================================================================== c | 0 | 4977 5231 1101232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26424 c Elapsed CPU time: 100.443 s Remaining CPU time: 79.5573 s c =============================================================================== c | 0 | 4977 5232 1106082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26423 c Elapsed CPU time: 101.308 s Remaining CPU time: 78.6924 s c =============================================================================== c | 0 | 4977 5233 1110932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26421 c Elapsed CPU time: 102.178 s Remaining CPU time: 77.8215 s c =============================================================================== c | 0 | 4977 5234 1115782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26419 c Elapsed CPU time: 103.04 s Remaining CPU time: 76.9597 s c =============================================================================== c | 0 | 4977 5235 1120632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26417 c Elapsed CPU time: 103.895 s Remaining CPU time: 76.1048 s c =============================================================================== c | 0 | 4977 5236 1125482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26416 c Elapsed CPU time: 104.737 s Remaining CPU time: 75.2629 s c =============================================================================== c | 0 | 4977 5237 1130332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26415 c Elapsed CPU time: 105.616 s Remaining CPU time: 74.3841 s c =============================================================================== c | 0 | 4977 5238 1135182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26414 c Elapsed CPU time: 106.504 s Remaining CPU time: 73.4962 s c =============================================================================== c | 0 | 4977 5239 1140032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26413 c Elapsed CPU time: 107.398 s Remaining CPU time: 72.6023 s c =============================================================================== c | 0 | 4977 5240 1144882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26410 c Elapsed CPU time: 108.288 s Remaining CPU time: 71.7125 s c =============================================================================== c | 0 | 4977 5241 1149732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26408 c Elapsed CPU time: 109.168 s Remaining CPU time: 70.8316 s c =============================================================================== c | 0 | 4977 5242 1154582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26407 c Elapsed CPU time: 110.075 s Remaining CPU time: 69.9247 s c =============================================================================== c | 0 | 4977 5243 1159432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26406 c Elapsed CPU time: 110.948 s Remaining CPU time: 69.0519 s c =============================================================================== c | 0 | 4977 5244 1164282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26404 c Elapsed CPU time: 111.839 s Remaining CPU time: 68.161 s c =============================================================================== c | 0 | 4977 5245 1169132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26402 c Elapsed CPU time: 112.763 s Remaining CPU time: 67.2371 s c =============================================================================== c | 0 | 4977 5246 1173982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26401 c Elapsed CPU time: 113.714 s Remaining CPU time: 66.2863 s c =============================================================================== c | 0 | 4977 5247 1178832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26400 c Elapsed CPU time: 114.6 s Remaining CPU time: 65.4004 s c =============================================================================== c | 0 | 4977 5248 1183682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26399 c Elapsed CPU time: 115.523 s Remaining CPU time: 64.4766 s c =============================================================================== c | 0 | 4977 5249 1188532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26398 c Elapsed CPU time: 116.483 s Remaining CPU time: 63.5167 s c =============================================================================== c | 0 | 4977 5250 1193382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26397 c Elapsed CPU time: 117.43 s Remaining CPU time: 62.5699 s c =============================================================================== c | 0 | 4977 5251 1198232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26396 c Elapsed CPU time: 118.344 s Remaining CPU time: 61.656 s c =============================================================================== c | 0 | 4977 5252 1203082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26394 c Elapsed CPU time: 119.294 s Remaining CPU time: 60.7061 s c =============================================================================== c | 0 | 4977 5253 1207932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26393 c Elapsed CPU time: 120.244 s Remaining CPU time: 59.7563 s c =============================================================================== c | 0 | 4977 5254 1212782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26392 c Elapsed CPU time: 121.18 s Remaining CPU time: 58.8204 s c =============================================================================== c | 0 | 4977 5255 1217632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26390 c Elapsed CPU time: 122.088 s Remaining CPU time: 57.9116 s c =============================================================================== c | 0 | 4977 5256 1222482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26389 c Elapsed CPU time: 123.025 s Remaining CPU time: 56.9747 s c =============================================================================== c | 0 | 4977 5257 1227332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26387 c Elapsed CPU time: 123.941 s Remaining CPU time: 56.0588 s c =============================================================================== c | 0 | 4977 5258 1232182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26386 c Elapsed CPU time: 124.888 s Remaining CPU time: 55.112 s c =============================================================================== c | 0 | 4977 5259 1237032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26385 c Elapsed CPU time: 125.807 s Remaining CPU time: 54.1931 s c =============================================================================== c | 0 | 4977 5260 1241882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26383 c Elapsed CPU time: 126.717 s Remaining CPU time: 53.2833 s c =============================================================================== c | 0 | 4977 5261 1246732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26381 c Elapsed CPU time: 127.642 s Remaining CPU time: 52.3584 s c =============================================================================== c | 0 | 4977 5262 1251582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26380 c Elapsed CPU time: 128.578 s Remaining CPU time: 51.4215 s c =============================================================================== c | 0 | 4977 5263 1256432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26378 c Elapsed CPU time: 129.53 s Remaining CPU time: 50.4697 s c =============================================================================== c | 0 | 4977 5264 1261282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26377 c Elapsed CPU time: 130.473 s Remaining CPU time: 49.5268 s c =============================================================================== c | 0 | 4977 5265 1266132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26375 c Elapsed CPU time: 131.401 s Remaining CPU time: 48.599 s c =============================================================================== c | 0 | 4977 5266 1270982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26373 c Elapsed CPU time: 132.335 s Remaining CPU time: 47.6651 s c =============================================================================== c | 0 | 4977 5267 1275832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26372 c Elapsed CPU time: 133.264 s Remaining CPU time: 46.7363 s c =============================================================================== c | 0 | 4977 5268 1280682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26370 c Elapsed CPU time: 134.214 s Remaining CPU time: 45.7864 s c =============================================================================== c | 0 | 4977 5269 1285532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26369 c Elapsed CPU time: 135.179 s Remaining CPU time: 44.8206 s c =============================================================================== c | 0 | 4977 5270 1290382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26368 c Elapsed CPU time: 136.127 s Remaining CPU time: 43.8727 s c =============================================================================== c | 0 | 4977 5271 1295232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26367 c Elapsed CPU time: 137.098 s Remaining CPU time: 42.9018 s c =============================================================================== c | 0 | 4977 5272 1300082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26366 c Elapsed CPU time: 138.091 s Remaining CPU time: 41.909 s c =============================================================================== c | 0 | 4977 5273 1304932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26364 c Elapsed CPU time: 139.075 s Remaining CPU time: 40.9251 s c =============================================================================== c | 0 | 4977 5274 1309782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26363 c Elapsed CPU time: 140.079 s Remaining CPU time: 39.9213 s c =============================================================================== c | 0 | 4977 5275 1314632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26362 c Elapsed CPU time: 141.09 s Remaining CPU time: 38.9104 s c =============================================================================== c | 0 | 4977 5276 1319482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26361 c Elapsed CPU time: 142.115 s Remaining CPU time: 37.8846 s c =============================================================================== c | 0 | 4977 5277 1324332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26359 c Elapsed CPU time: 143.126 s Remaining CPU time: 36.8738 s c =============================================================================== c | 0 | 4977 5278 1329182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26358 c Elapsed CPU time: 144.168 s Remaining CPU time: 35.8319 s c =============================================================================== c | 0 | 4977 5279 1334032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26357 c Elapsed CPU time: 145.174 s Remaining CPU time: 34.8261 s c =============================================================================== c | 0 | 4977 5280 1338882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26356 c Elapsed CPU time: 146.253 s Remaining CPU time: 33.7472 s c =============================================================================== c | 0 | 4977 5281 1343732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26355 c Elapsed CPU time: 147.297 s Remaining CPU time: 32.7034 s c =============================================================================== c | 0 | 4977 5282 1348582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26354 c Elapsed CPU time: 148.368 s Remaining CPU time: 31.6316 s c =============================================================================== c | 0 | 4977 5283 1353432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26353 c Elapsed CPU time: 149.434 s Remaining CPU time: 30.5657 s c =============================================================================== c | 0 | 4977 5284 1358282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26352 c Elapsed CPU time: 150.502 s Remaining CPU time: 29.4979 s c =============================================================================== c | 0 | 4977 5285 1363132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26350 c Elapsed CPU time: 151.59 s Remaining CPU time: 28.41 s c =============================================================================== c | 0 | 4977 5286 1367982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26349 c Elapsed CPU time: 152.664 s Remaining CPU time: 27.3362 s c =============================================================================== c | 0 | 4977 5287 1372832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26348 c Elapsed CPU time: 153.753 s Remaining CPU time: 26.2474 s c =============================================================================== c | 0 | 4977 5288 1377682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26347 c Elapsed CPU time: 154.814 s Remaining CPU time: 25.1855 s c =============================================================================== c | 0 | 4977 5289 1382532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26346 c Elapsed CPU time: 155.919 s Remaining CPU time: 24.0807 s c =============================================================================== c | 0 | 4977 5290 1387382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26345 c Elapsed CPU time: 157.025 s Remaining CPU time: 22.9749 s c =============================================================================== c | 0 | 4977 5291 1392232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26344 c Elapsed CPU time: 158.172 s Remaining CPU time: 21.828 s c =============================================================================== c | 0 | 4977 5292 1397082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26343 c Elapsed CPU time: 159.32 s Remaining CPU time: 20.6802 s c =============================================================================== c | 0 | 4977 5293 1401932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26342 c Elapsed CPU time: 160.453 s Remaining CPU time: 19.5474 s c =============================================================================== c | 0 | 4977 5294 1406782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26341 c Elapsed CPU time: 161.554 s Remaining CPU time: 18.4456 s c =============================================================================== c | 0 | 4977 5295 1411632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26340 c Elapsed CPU time: 162.677 s Remaining CPU time: 17.3227 s c =============================================================================== c | 0 | 4977 5296 1416482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26339 c Elapsed CPU time: 163.783 s Remaining CPU time: 16.2169 s c =============================================================================== c | 0 | 4977 5297 1421332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26338 c Elapsed CPU time: 164.889 s Remaining CPU time: 15.1111 s c =============================================================================== c | 0 | 4977 5298 1426182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26337 c Elapsed CPU time: 165.977 s Remaining CPU time: 14.0232 s c =============================================================================== c | 0 | 4977 5299 1431032 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26336 c Elapsed CPU time: 167.067 s Remaining CPU time: 12.9334 s c =============================================================================== c | 0 | 4977 5300 1435882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26335 c Elapsed CPU time: 168.184 s Remaining CPU time: 11.8156 s c =============================================================================== c | 0 | 4977 5301 1440732 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26334 c Elapsed CPU time: 169.262 s Remaining CPU time: 10.7377 s c =============================================================================== c | 0 | 4977 5302 1445582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26333 c Elapsed CPU time: 170.353 s Remaining CPU time: 9.6469 s c =============================================================================== c | 0 | 4977 5303 1450432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26331 c Elapsed CPU time: 171.467 s Remaining CPU time: 8.53307 s c =============================================================================== c | 0 | 4977 5304 1455282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26329 c Elapsed CPU time: 172.55 s Remaining CPU time: 7.45023 s c =============================================================================== c | 0 | 4977 5305 1460132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26328 c Elapsed CPU time: 173.649 s Remaining CPU time: 6.3514 s c =============================================================================== c | 0 | 4977 5306 1464982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26327 c Elapsed CPU time: 174.758 s Remaining CPU time: 5.24157 s c =============================================================================== c | 0 | 4977 5307 1469832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26326 c Elapsed CPU time: 175.863 s Remaining CPU time: 4.13674 s c =============================================================================== c | 0 | 4977 5308 1474682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26325 c Elapsed CPU time: 176.939 s Remaining CPU time: 3.0609 s c =============================================================================== c | 0 | 4977 5309 1479532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26324 c Elapsed CPU time: 178.097 s Remaining CPU time: 1.90308 s c =============================================================================== c | 0 | 4977 5310 1484382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26323 c Elapsed CPU time: 179.252 s Remaining CPU time: 0.748251 s c =============================================================================== c | 0 | 4977 5311 1489232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26322 c Elapsed CPU time: 180.423 s Remaining CPU time: -0.422571 s c =============================================================================== c | 0 | 4977 5312 1494082 | 5000 0 nan | 0.000 % | c There are 23 assigned variables. 6 in cost function.