c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 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 | 4955 5007 14840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26812 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 4955 5008 19690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26809 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 4955 5009 24540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26808 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 4955 5010 29390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26803 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 0 | 4955 5011 34240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26802 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 0 | 4955 5012 39090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26800 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 0 | 4955 5013 43940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26799 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 4955 5014 48790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26798 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 0 | 4955 5015 53640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26797 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 0 | 4955 5016 58490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26796 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 0 | 4955 5017 63340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26795 c Elapsed CPU time: 1.04684 s Remaining CPU time: 178.953 s c =============================================================================== c | 0 | 4955 5018 68190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26794 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 0 | 4955 5019 73040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26793 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s c =============================================================================== c | 0 | 4955 5020 77890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26792 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 0 | 4955 5021 82740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26791 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s c =============================================================================== c | 0 | 4955 5022 87590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26790 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 0 | 4955 5023 92440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26789 c Elapsed CPU time: 1.67274 s Remaining CPU time: 178.327 s c =============================================================================== c | 0 | 4955 5024 97290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26788 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s c =============================================================================== c | 0 | 4955 5025 102140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26787 c Elapsed CPU time: 1.90171 s Remaining CPU time: 178.098 s c =============================================================================== c | 0 | 4955 5026 106990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26786 c Elapsed CPU time: 2.02169 s Remaining CPU time: 177.978 s c =============================================================================== c | 0 | 4955 5027 111840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26785 c Elapsed CPU time: 2.14067 s Remaining CPU time: 177.859 s c =============================================================================== c | 0 | 4955 5028 116690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26784 c Elapsed CPU time: 2.26365 s Remaining CPU time: 177.736 s c =============================================================================== c | 0 | 4955 5029 121540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26783 c Elapsed CPU time: 2.38264 s Remaining CPU time: 177.617 s c =============================================================================== c | 0 | 4955 5030 126390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26782 c Elapsed CPU time: 2.50862 s Remaining CPU time: 177.491 s c =============================================================================== c | 0 | 4955 5031 131240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26781 c Elapsed CPU time: 2.6336 s Remaining CPU time: 177.366 s c =============================================================================== c | 0 | 4955 5032 136090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26778 c Elapsed CPU time: 2.76058 s Remaining CPU time: 177.239 s c =============================================================================== c | 0 | 4955 5033 140940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26772 c Elapsed CPU time: 2.88756 s Remaining CPU time: 177.112 s c =============================================================================== c | 0 | 4955 5034 145790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26770 c Elapsed CPU time: 3.02854 s Remaining CPU time: 176.971 s c =============================================================================== c | 0 | 4955 5035 150640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26769 c Elapsed CPU time: 3.17252 s Remaining CPU time: 176.827 s c =============================================================================== c | 0 | 4955 5036 155490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26768 c Elapsed CPU time: 3.3175 s Remaining CPU time: 176.683 s c =============================================================================== c | 0 | 4955 5037 160340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26764 c Elapsed CPU time: 3.45947 s Remaining CPU time: 176.541 s c =============================================================================== c | 0 | 4955 5038 165190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26762 c Elapsed CPU time: 3.60545 s Remaining CPU time: 176.395 s c =============================================================================== c | 0 | 4955 5039 170040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26758 c Elapsed CPU time: 3.75543 s Remaining CPU time: 176.245 s c =============================================================================== c | 0 | 4955 5040 174890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26757 c Elapsed CPU time: 3.90841 s Remaining CPU time: 176.092 s c =============================================================================== c | 0 | 4955 5041 179740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26755 c Elapsed CPU time: 4.06438 s Remaining CPU time: 175.936 s c =============================================================================== c | 0 | 4955 5042 184590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26753 c Elapsed CPU time: 4.22236 s Remaining CPU time: 175.778 s c =============================================================================== c | 0 | 4955 5043 189440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26752 c Elapsed CPU time: 4.38333 s Remaining CPU time: 175.617 s c =============================================================================== c | 0 | 4955 5044 194290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26748 c Elapsed CPU time: 4.54431 s Remaining CPU time: 175.456 s c =============================================================================== c | 0 | 4955 5045 199140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26744 c Elapsed CPU time: 4.71228 s Remaining CPU time: 175.288 s c =============================================================================== c | 0 | 4955 5046 203990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26742 c Elapsed CPU time: 4.88326 s Remaining CPU time: 175.117 s c =============================================================================== c | 0 | 4955 5047 208840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26741 c Elapsed CPU time: 5.06323 s Remaining CPU time: 174.937 s c =============================================================================== c | 0 | 4955 5048 213690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26739 c Elapsed CPU time: 5.2402 s Remaining CPU time: 174.76 s c =============================================================================== c | 0 | 4955 5049 218540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26738 c Elapsed CPU time: 5.42317 s Remaining CPU time: 174.577 s c =============================================================================== c | 0 | 4955 5050 223390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26735 c Elapsed CPU time: 5.60415 s Remaining CPU time: 174.396 s c =============================================================================== c | 0 | 4955 5051 228240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26733 c Elapsed CPU time: 5.78612 s Remaining CPU time: 174.214 s c =============================================================================== c | 0 | 4955 5052 233090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26732 c Elapsed CPU time: 5.97509 s Remaining CPU time: 174.025 s c =============================================================================== c | 0 | 4955 5053 237940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26731 c Elapsed CPU time: 6.16406 s Remaining CPU time: 173.836 s c =============================================================================== c | 0 | 4955 5054 242790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26728 c Elapsed CPU time: 6.35703 s Remaining CPU time: 173.643 s c =============================================================================== c | 0 | 4955 5055 247640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26725 c Elapsed CPU time: 6.549 s Remaining CPU time: 173.451 s c =============================================================================== c | 0 | 4955 5056 252490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26723 c Elapsed CPU time: 6.75197 s Remaining CPU time: 173.248 s c =============================================================================== c | 0 | 4955 5057 257340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26721 c Elapsed CPU time: 6.95994 s Remaining CPU time: 173.04 s c =============================================================================== c | 0 | 4955 5058 262190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26720 c Elapsed CPU time: 7.16991 s Remaining CPU time: 172.83 s c =============================================================================== c | 0 | 4955 5059 267040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26718 c Elapsed CPU time: 7.38388 s Remaining CPU time: 172.616 s c =============================================================================== c | 0 | 4955 5060 271890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26717 c Elapsed CPU time: 7.60284 s Remaining CPU time: 172.397 s c =============================================================================== c | 0 | 4955 5061 276740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26715 c Elapsed CPU time: 7.82181 s Remaining CPU time: 172.178 s c =============================================================================== c | 0 | 4955 5062 281590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26714 c Elapsed CPU time: 8.04778 s Remaining CPU time: 171.952 s c =============================================================================== c | 0 | 4955 5063 286440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26713 c Elapsed CPU time: 8.28074 s Remaining CPU time: 171.719 s c =============================================================================== c | 0 | 4955 5064 291290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26711 c Elapsed CPU time: 8.50771 s Remaining CPU time: 171.492 s c =============================================================================== c | 0 | 4955 5065 296140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26710 c Elapsed CPU time: 8.73767 s Remaining CPU time: 171.262 s c =============================================================================== c | 0 | 4955 5066 300990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26709 c Elapsed CPU time: 8.97663 s Remaining CPU time: 171.023 s c =============================================================================== c | 0 | 4955 5067 305840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26707 c Elapsed CPU time: 9.2166 s Remaining CPU time: 170.783 s c =============================================================================== c | 0 | 4955 5068 310690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26703 c Elapsed CPU time: 9.45456 s Remaining CPU time: 170.545 s c =============================================================================== c | 0 | 4955 5069 315540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26702 c Elapsed CPU time: 9.70552 s Remaining CPU time: 170.294 s c =============================================================================== c | 0 | 4955 5070 320390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26701 c Elapsed CPU time: 9.95749 s Remaining CPU time: 170.043 s c =============================================================================== c | 0 | 4955 5071 325240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26699 c Elapsed CPU time: 10.2144 s Remaining CPU time: 169.786 s c =============================================================================== c | 0 | 4955 5072 330090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26696 c Elapsed CPU time: 10.4644 s Remaining CPU time: 169.536 s c =============================================================================== c | 0 | 4955 5073 334940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26694 c Elapsed CPU time: 10.7254 s Remaining CPU time: 169.275 s c =============================================================================== c | 0 | 4955 5074 339790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26693 c Elapsed CPU time: 10.9803 s Remaining CPU time: 169.02 s c =============================================================================== c | 0 | 4955 5075 344640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26690 c Elapsed CPU time: 11.2433 s Remaining CPU time: 168.757 s c =============================================================================== c | 0 | 4955 5076 349490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26689 c Elapsed CPU time: 11.5162 s Remaining CPU time: 168.484 s c =============================================================================== c | 0 | 4955 5077 354340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26686 c Elapsed CPU time: 11.7842 s Remaining CPU time: 168.216 s c =============================================================================== c | 0 | 4955 5078 359190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26685 c Elapsed CPU time: 12.0652 s Remaining CPU time: 167.935 s c =============================================================================== c | 0 | 4955 5079 364040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26684 c Elapsed CPU time: 12.3471 s Remaining CPU time: 167.653 s c =============================================================================== c | 0 | 4955 5080 368890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26683 c Elapsed CPU time: 12.6271 s Remaining CPU time: 167.373 s c =============================================================================== c | 0 | 4955 5081 373740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26682 c Elapsed CPU time: 12.908 s Remaining CPU time: 167.092 s c =============================================================================== c | 0 | 4955 5082 378590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26679 c Elapsed CPU time: 13.19 s Remaining CPU time: 166.81 s c =============================================================================== c | 0 | 4955 5083 383440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26678 c Elapsed CPU time: 13.483 s Remaining CPU time: 166.517 s c =============================================================================== c | 0 | 4955 5084 388290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26677 c Elapsed CPU time: 13.7749 s Remaining CPU time: 166.225 s c =============================================================================== c | 0 | 4955 5085 393140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26674 c Elapsed CPU time: 14.0669 s Remaining CPU time: 165.933 s c =============================================================================== c | 0 | 4955 5086 397990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26673 c Elapsed CPU time: 14.3608 s Remaining CPU time: 165.639 s c =============================================================================== c | 0 | 4955 5087 402840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26667 c Elapsed CPU time: 14.6578 s Remaining CPU time: 165.342 s c =============================================================================== c | 0 | 4955 5088 407690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26666 c Elapsed CPU time: 14.9687 s Remaining CPU time: 165.031 s c =============================================================================== c | 0 | 4955 5089 412540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26662 c Elapsed CPU time: 15.2757 s Remaining CPU time: 164.724 s c =============================================================================== c | 0 | 4955 5090 417390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26660 c Elapsed CPU time: 15.5806 s Remaining CPU time: 164.419 s c =============================================================================== c | 0 | 4955 5091 422240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26658 c Elapsed CPU time: 15.8976 s Remaining CPU time: 164.102 s c =============================================================================== c | 0 | 4955 5092 427090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26657 c Elapsed CPU time: 16.2175 s Remaining CPU time: 163.782 s c =============================================================================== c | 0 | 4955 5093 431940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26656 c Elapsed CPU time: 16.5385 s Remaining CPU time: 163.462 s c =============================================================================== c | 0 | 4955 5094 436790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26655 c Elapsed CPU time: 16.8694 s Remaining CPU time: 163.131 s c =============================================================================== c | 0 | 4955 5095 441640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26652 c Elapsed CPU time: 17.2044 s Remaining CPU time: 162.796 s c =============================================================================== c | 0 | 4955 5096 446490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26650 c Elapsed CPU time: 17.5383 s Remaining CPU time: 162.462 s c =============================================================================== c | 0 | 4955 5097 451340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26649 c Elapsed CPU time: 17.8753 s Remaining CPU time: 162.125 s c =============================================================================== c | 0 | 4955 5098 456190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26647 c Elapsed CPU time: 18.2102 s Remaining CPU time: 161.79 s c =============================================================================== c | 0 | 4955 5099 461040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26643 c Elapsed CPU time: 18.5442 s Remaining CPU time: 161.456 s c =============================================================================== c | 0 | 4955 5100 465890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26642 c Elapsed CPU time: 18.8931 s Remaining CPU time: 161.107 s c =============================================================================== c | 0 | 4955 5101 470740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26639 c Elapsed CPU time: 19.2461 s Remaining CPU time: 160.754 s c =============================================================================== c | 0 | 4955 5102 475590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26636 c Elapsed CPU time: 19.602 s Remaining CPU time: 160.398 s c =============================================================================== c | 0 | 4955 5103 480440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26634 c Elapsed CPU time: 19.956 s Remaining CPU time: 160.044 s c =============================================================================== c | 0 | 4955 5104 485290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26633 c Elapsed CPU time: 20.3189 s Remaining CPU time: 159.681 s c =============================================================================== c | 0 | 4955 5105 490140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26632 c Elapsed CPU time: 20.6749 s Remaining CPU time: 159.325 s c =============================================================================== c | 0 | 4955 5106 494990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26629 c Elapsed CPU time: 21.0368 s Remaining CPU time: 158.963 s c =============================================================================== c | 0 | 4955 5107 499840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26625 c Elapsed CPU time: 21.4007 s Remaining CPU time: 158.599 s c =============================================================================== c | 0 | 4955 5108 504690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26624 c Elapsed CPU time: 21.7847 s Remaining CPU time: 158.215 s c =============================================================================== c | 0 | 4955 5109 509540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26623 c Elapsed CPU time: 22.1666 s Remaining CPU time: 157.833 s c =============================================================================== c | 0 | 4955 5110 514390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26622 c Elapsed CPU time: 22.5686 s Remaining CPU time: 157.431 s c =============================================================================== c | 0 | 4955 5111 519240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26620 c Elapsed CPU time: 22.9775 s Remaining CPU time: 157.022 s c =============================================================================== c | 0 | 4955 5112 524090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26619 c Elapsed CPU time: 23.3864 s Remaining CPU time: 156.614 s c =============================================================================== c | 0 | 4955 5113 528940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26618 c Elapsed CPU time: 23.7994 s Remaining CPU time: 156.201 s c =============================================================================== c | 0 | 4955 5114 533790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26617 c Elapsed CPU time: 24.1933 s Remaining CPU time: 155.807 s c =============================================================================== c | 0 | 4955 5115 538640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26616 c Elapsed CPU time: 24.5993 s Remaining CPU time: 155.401 s c =============================================================================== c | 0 | 4955 5116 543490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26615 c Elapsed CPU time: 25.0052 s Remaining CPU time: 154.995 s c =============================================================================== c | 0 | 4955 5117 548340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26614 c Elapsed CPU time: 25.4151 s Remaining CPU time: 154.585 s c =============================================================================== c | 0 | 4955 5118 553190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26613 c Elapsed CPU time: 25.8381 s Remaining CPU time: 154.162 s c =============================================================================== c | 0 | 4955 5119 558040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26611 c Elapsed CPU time: 26.26 s Remaining CPU time: 153.74 s c =============================================================================== c | 0 | 4955 5120 562890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26610 c Elapsed CPU time: 26.6779 s Remaining CPU time: 153.322 s c =============================================================================== c | 0 | 4955 5121 567740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26609 c Elapsed CPU time: 27.1069 s Remaining CPU time: 152.893 s c =============================================================================== c | 0 | 4955 5122 572590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26608 c Elapsed CPU time: 27.5418 s Remaining CPU time: 152.458 s c =============================================================================== c | 0 | 4955 5123 577440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26606 c Elapsed CPU time: 27.9847 s Remaining CPU time: 152.015 s c =============================================================================== c | 0 | 4955 5124 582290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26604 c Elapsed CPU time: 28.4307 s Remaining CPU time: 151.569 s c =============================================================================== c | 0 | 4955 5125 587140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26603 c Elapsed CPU time: 28.8796 s Remaining CPU time: 151.12 s c =============================================================================== c | 0 | 4955 5126 591990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26602 c Elapsed CPU time: 29.3185 s Remaining CPU time: 150.681 s c =============================================================================== c | 0 | 4955 5127 596840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26601 c Elapsed CPU time: 29.7615 s Remaining CPU time: 150.239 s c =============================================================================== c | 0 | 4955 5128 601690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26600 c Elapsed CPU time: 30.2134 s Remaining CPU time: 149.787 s c =============================================================================== c | 0 | 4955 5129 606540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26599 c Elapsed CPU time: 30.6543 s Remaining CPU time: 149.346 s c =============================================================================== c | 0 | 4955 5130 611390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26595 c Elapsed CPU time: 31.0963 s Remaining CPU time: 148.904 s c =============================================================================== c | 0 | 4955 5131 616240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26593 c Elapsed CPU time: 31.5552 s Remaining CPU time: 148.445 s c =============================================================================== c | 0 | 4955 5132 621090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26591 c Elapsed CPU time: 32.0041 s Remaining CPU time: 147.996 s c =============================================================================== c | 0 | 4955 5133 625940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26590 c Elapsed CPU time: 32.4641 s Remaining CPU time: 147.536 s c =============================================================================== c | 0 | 4955 5134 630790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26588 c Elapsed CPU time: 32.962 s Remaining CPU time: 147.038 s c =============================================================================== c | 0 | 4955 5135 635640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26585 c Elapsed CPU time: 33.4559 s Remaining CPU time: 146.544 s c =============================================================================== c | 0 | 4955 5136 640490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26584 c Elapsed CPU time: 33.9528 s Remaining CPU time: 146.047 s c =============================================================================== c | 0 | 4955 5137 645340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26583 c Elapsed CPU time: 34.4578 s Remaining CPU time: 145.542 s c =============================================================================== c | 0 | 4955 5138 650190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26581 c Elapsed CPU time: 34.9557 s Remaining CPU time: 145.044 s c =============================================================================== c | 0 | 4955 5139 655040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26578 c Elapsed CPU time: 35.4716 s Remaining CPU time: 144.528 s c =============================================================================== c | 0 | 4955 5140 659890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26576 c Elapsed CPU time: 35.9915 s Remaining CPU time: 144.008 s c =============================================================================== c | 0 | 4955 5141 664740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26574 c Elapsed CPU time: 36.5025 s Remaining CPU time: 143.498 s c =============================================================================== c | 0 | 4955 5142 669590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26573 c Elapsed CPU time: 37.0254 s Remaining CPU time: 142.975 s c =============================================================================== c | 0 | 4955 5143 674440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26571 c Elapsed CPU time: 37.5423 s Remaining CPU time: 142.458 s c =============================================================================== c | 0 | 4955 5144 679290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26570 c Elapsed CPU time: 38.0642 s Remaining CPU time: 141.936 s c =============================================================================== c | 0 | 4955 5145 684140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26569 c Elapsed CPU time: 38.5861 s Remaining CPU time: 141.414 s c =============================================================================== c | 0 | 4955 5146 688990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26566 c Elapsed CPU time: 39.1151 s Remaining CPU time: 140.885 s c =============================================================================== c | 0 | 4955 5147 693840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26565 c Elapsed CPU time: 39.663 s Remaining CPU time: 140.337 s c =============================================================================== c | 0 | 4955 5148 698690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26563 c Elapsed CPU time: 40.1999 s Remaining CPU time: 139.8 s c =============================================================================== c | 0 | 4955 5149 703540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26561 c Elapsed CPU time: 40.7358 s Remaining CPU time: 139.264 s c =============================================================================== c | 0 | 4955 5150 708390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26560 c Elapsed CPU time: 41.2757 s Remaining CPU time: 138.724 s c =============================================================================== c | 0 | 4955 5151 713240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26557 c Elapsed CPU time: 41.8086 s Remaining CPU time: 138.191 s c =============================================================================== c | 0 | 4955 5152 718090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26555 c Elapsed CPU time: 42.3646 s Remaining CPU time: 137.635 s c =============================================================================== c | 0 | 4955 5153 722940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26554 c Elapsed CPU time: 42.9125 s Remaining CPU time: 137.088 s c =============================================================================== c | 0 | 4955 5154 727790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26552 c Elapsed CPU time: 43.4594 s Remaining CPU time: 136.541 s c =============================================================================== c | 0 | 4955 5155 732640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26550 c Elapsed CPU time: 44.0163 s Remaining CPU time: 135.984 s c =============================================================================== c | 0 | 4955 5156 737490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26549 c Elapsed CPU time: 44.5732 s Remaining CPU time: 135.427 s c =============================================================================== c | 0 | 4955 5157 742340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26547 c Elapsed CPU time: 45.1381 s Remaining CPU time: 134.862 s c =============================================================================== c | 0 | 4955 5158 747190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26546 c Elapsed CPU time: 45.7071 s Remaining CPU time: 134.293 s c =============================================================================== c | 0 | 4955 5159 752040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26545 c Elapsed CPU time: 46.269 s Remaining CPU time: 133.731 s c =============================================================================== c | 0 | 4955 5160 756890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26544 c Elapsed CPU time: 46.8449 s Remaining CPU time: 133.155 s c =============================================================================== c | 0 | 4955 5161 761740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26543 c Elapsed CPU time: 47.4288 s Remaining CPU time: 132.571 s c =============================================================================== c | 0 | 4955 5162 766590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26542 c Elapsed CPU time: 48.0057 s Remaining CPU time: 131.994 s c =============================================================================== c | 0 | 4955 5163 771440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26541 c Elapsed CPU time: 48.5906 s Remaining CPU time: 131.409 s c =============================================================================== c | 0 | 4955 5164 776290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26540 c Elapsed CPU time: 49.1765 s Remaining CPU time: 130.823 s c =============================================================================== c | 0 | 4955 5165 781140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26539 c Elapsed CPU time: 49.7664 s Remaining CPU time: 130.234 s c =============================================================================== c | 0 | 4955 5166 785990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26538 c Elapsed CPU time: 50.3443 s Remaining CPU time: 129.656 s c =============================================================================== c | 0 | 4955 5167 790840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26537 c Elapsed CPU time: 50.9433 s Remaining CPU time: 129.057 s c =============================================================================== c | 0 | 4955 5168 795690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26535 c Elapsed CPU time: 51.5342 s Remaining CPU time: 128.466 s c =============================================================================== c | 0 | 4955 5169 800540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26534 c Elapsed CPU time: 52.1271 s Remaining CPU time: 127.873 s c =============================================================================== c | 0 | 4955 5170 805390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26533 c Elapsed CPU time: 52.725 s Remaining CPU time: 127.275 s c =============================================================================== c | 0 | 4955 5171 810240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26532 c Elapsed CPU time: 53.3179 s Remaining CPU time: 126.682 s c =============================================================================== c | 0 | 4955 5172 815090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26531 c Elapsed CPU time: 53.9188 s Remaining CPU time: 126.081 s c =============================================================================== c | 0 | 4955 5173 819940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26530 c Elapsed CPU time: 54.5207 s Remaining CPU time: 125.479 s c =============================================================================== c | 0 | 4955 5174 824790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26529 c Elapsed CPU time: 55.1246 s Remaining CPU time: 124.875 s c =============================================================================== c | 0 | 4955 5175 829640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26527 c Elapsed CPU time: 55.7345 s Remaining CPU time: 124.265 s c =============================================================================== c | 0 | 4955 5176 834490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26526 c Elapsed CPU time: 56.3514 s Remaining CPU time: 123.649 s c =============================================================================== c | 0 | 4955 5177 839340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26524 c Elapsed CPU time: 56.9663 s Remaining CPU time: 123.034 s c =============================================================================== c | 0 | 4955 5178 844190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26523 c Elapsed CPU time: 57.5842 s Remaining CPU time: 122.416 s c =============================================================================== c | 0 | 4955 5179 849040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26522 c Elapsed CPU time: 58.2101 s Remaining CPU time: 121.79 s c =============================================================================== c | 0 | 4955 5180 853890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26520 c Elapsed CPU time: 58.8211 s Remaining CPU time: 121.179 s c =============================================================================== c | 0 | 4955 5181 858740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26519 c Elapsed CPU time: 59.443 s Remaining CPU time: 120.557 s c =============================================================================== c | 0 | 4955 5182 863590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26516 c Elapsed CPU time: 60.0829 s Remaining CPU time: 119.917 s c =============================================================================== c | 0 | 4955 5183 868440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26515 c Elapsed CPU time: 60.7318 s Remaining CPU time: 119.268 s c =============================================================================== c | 0 | 4955 5184 873290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26514 c Elapsed CPU time: 61.3577 s Remaining CPU time: 118.642 s c =============================================================================== c | 0 | 4955 5185 878140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26513 c Elapsed CPU time: 62.0096 s Remaining CPU time: 117.99 s c =============================================================================== c | 0 | 4955 5186 882990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26512 c Elapsed CPU time: 62.6505 s Remaining CPU time: 117.35 s c =============================================================================== c | 0 | 4955 5187 887840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26511 c Elapsed CPU time: 63.3124 s Remaining CPU time: 116.688 s c =============================================================================== c | 0 | 4955 5188 892690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26510 c Elapsed CPU time: 63.9593 s Remaining CPU time: 116.041 s c =============================================================================== c | 0 | 4955 5189 897540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26509 c Elapsed CPU time: 64.6112 s Remaining CPU time: 115.389 s c =============================================================================== c | 0 | 4955 5190 902390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26507 c Elapsed CPU time: 65.2601 s Remaining CPU time: 114.74 s c =============================================================================== c | 0 | 4955 5191 907240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26506 c Elapsed CPU time: 65.914 s Remaining CPU time: 114.086 s c =============================================================================== c | 0 | 4955 5192 912090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26505 c Elapsed CPU time: 66.5719 s Remaining CPU time: 113.428 s c =============================================================================== c | 0 | 4955 5193 916940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26504 c Elapsed CPU time: 67.2418 s Remaining CPU time: 112.758 s c =============================================================================== c | 0 | 4955 5194 921790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26502 c Elapsed CPU time: 67.9197 s Remaining CPU time: 112.08 s c =============================================================================== c | 0 | 4955 5195 926640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26501 c Elapsed CPU time: 68.6156 s Remaining CPU time: 111.384 s c =============================================================================== c | 0 | 4955 5196 931490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26500 c Elapsed CPU time: 69.2865 s Remaining CPU time: 110.714 s c =============================================================================== c | 0 | 4955 5197 936340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26499 c Elapsed CPU time: 69.9524 s Remaining CPU time: 110.048 s c =============================================================================== c | 0 | 4955 5198 941190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26498 c Elapsed CPU time: 70.6263 s Remaining CPU time: 109.374 s c =============================================================================== c | 0 | 4955 5199 946040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26497 c Elapsed CPU time: 71.3112 s Remaining CPU time: 108.689 s c =============================================================================== c | 0 | 4955 5200 950890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26496 c Elapsed CPU time: 72.0081 s Remaining CPU time: 107.992 s c =============================================================================== c | 0 | 4955 5201 955740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26495 c Elapsed CPU time: 72.6939 s Remaining CPU time: 107.306 s c =============================================================================== c | 0 | 4955 5202 960590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26494 c Elapsed CPU time: 73.3708 s Remaining CPU time: 106.629 s c =============================================================================== c | 0 | 4955 5203 965440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26493 c Elapsed CPU time: 74.0747 s Remaining CPU time: 105.925 s c =============================================================================== c | 0 | 4955 5204 970290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26492 c Elapsed CPU time: 74.8216 s Remaining CPU time: 105.178 s c =============================================================================== c | 0 | 4955 5205 975140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26491 c Elapsed CPU time: 75.5515 s Remaining CPU time: 104.448 s c =============================================================================== c | 0 | 4955 5206 979990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26490 c Elapsed CPU time: 76.2724 s Remaining CPU time: 103.728 s c =============================================================================== c | 0 | 4955 5207 984840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26488 c Elapsed CPU time: 76.9993 s Remaining CPU time: 103.001 s c =============================================================================== c | 0 | 4955 5208 989690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26486 c Elapsed CPU time: 77.7272 s Remaining CPU time: 102.273 s c =============================================================================== c | 0 | 4955 5209 994540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26485 c Elapsed CPU time: 78.4441 s Remaining CPU time: 101.556 s c =============================================================================== c | 0 | 4955 5210 999390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26484 c Elapsed CPU time: 79.179 s Remaining CPU time: 100.821 s c =============================================================================== c | 0 | 4955 5211 1004240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26482 c Elapsed CPU time: 79.9468 s Remaining CPU time: 100.053 s c =============================================================================== c | 0 | 4955 5212 1009090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26481 c Elapsed CPU time: 80.7257 s Remaining CPU time: 99.2743 s c =============================================================================== c | 0 | 4955 5213 1013940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26480 c Elapsed CPU time: 81.5046 s Remaining CPU time: 98.4954 s c =============================================================================== c | 0 | 4955 5214 1018790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26478 c Elapsed CPU time: 82.2675 s Remaining CPU time: 97.7325 s c =============================================================================== c | 0 | 4955 5215 1023640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26476 c Elapsed CPU time: 83.0334 s Remaining CPU time: 96.9666 s c =============================================================================== c | 0 | 4955 5216 1028490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26475 c Elapsed CPU time: 83.8053 s Remaining CPU time: 96.1947 s c =============================================================================== c | 0 | 4955 5217 1033340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26474 c Elapsed CPU time: 84.5751 s Remaining CPU time: 95.4249 s c =============================================================================== c | 0 | 4955 5218 1038190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26473 c Elapsed CPU time: 85.347 s Remaining CPU time: 94.653 s c =============================================================================== c | 0 | 4955 5219 1043040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26472 c Elapsed CPU time: 86.1299 s Remaining CPU time: 93.8701 s c =============================================================================== c | 0 | 4955 5220 1047890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26470 c Elapsed CPU time: 86.9108 s Remaining CPU time: 93.0892 s c =============================================================================== c | 0 | 4955 5221 1052740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26469 c Elapsed CPU time: 87.6647 s Remaining CPU time: 92.3353 s c =============================================================================== c | 0 | 4955 5222 1057590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26468 c Elapsed CPU time: 88.4296 s Remaining CPU time: 91.5704 s c =============================================================================== c | 0 | 4955 5223 1062440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26466 c Elapsed CPU time: 89.1974 s Remaining CPU time: 90.8026 s c =============================================================================== c | 0 | 4955 5224 1067290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26464 c Elapsed CPU time: 89.9673 s Remaining CPU time: 90.0327 s c =============================================================================== c | 0 | 4955 5225 1072140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26461 c Elapsed CPU time: 90.7192 s Remaining CPU time: 89.2808 s c =============================================================================== c | 0 | 4955 5226 1076990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26460 c Elapsed CPU time: 91.4901 s Remaining CPU time: 88.5099 s c =============================================================================== c | 0 | 4955 5227 1081840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26459 c Elapsed CPU time: 92.258 s Remaining CPU time: 87.742 s c =============================================================================== c | 0 | 4955 5228 1086690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26458 c Elapsed CPU time: 93.0409 s Remaining CPU time: 86.9591 s c =============================================================================== c | 0 | 4955 5229 1091540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26455 c Elapsed CPU time: 93.8197 s Remaining CPU time: 86.1803 s c =============================================================================== c | 0 | 4955 5230 1096390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26453 c Elapsed CPU time: 94.5986 s Remaining CPU time: 85.4014 s c =============================================================================== c | 0 | 4955 5231 1101240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26452 c Elapsed CPU time: 95.3935 s Remaining CPU time: 84.6065 s c =============================================================================== c | 0 | 4955 5232 1106090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26451 c Elapsed CPU time: 96.2164 s Remaining CPU time: 83.7836 s c =============================================================================== c | 0 | 4955 5233 1110940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26450 c Elapsed CPU time: 97.0482 s Remaining CPU time: 82.9518 s c =============================================================================== c | 0 | 4955 5234 1115790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26449 c Elapsed CPU time: 97.8491 s Remaining CPU time: 82.1509 s c =============================================================================== c | 0 | 4955 5235 1120640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26448 c Elapsed CPU time: 98.681 s Remaining CPU time: 81.319 s c =============================================================================== c | 0 | 4955 5236 1125490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26447 c Elapsed CPU time: 99.4949 s Remaining CPU time: 80.5051 s c =============================================================================== c | 0 | 4955 5237 1130340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26446 c Elapsed CPU time: 100.336 s Remaining CPU time: 79.6643 s c =============================================================================== c | 0 | 4955 5238 1135190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26445 c Elapsed CPU time: 101.165 s Remaining CPU time: 78.8354 s c =============================================================================== c | 0 | 4955 5239 1140040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26444 c Elapsed CPU time: 101.991 s Remaining CPU time: 78.0085 s c =============================================================================== c | 0 | 4955 5240 1144890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26442 c Elapsed CPU time: 102.818 s Remaining CPU time: 77.1816 s c =============================================================================== c | 0 | 4955 5241 1149740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26441 c Elapsed CPU time: 103.662 s Remaining CPU time: 76.3378 s c =============================================================================== c | 0 | 4955 5242 1154590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26440 c Elapsed CPU time: 104.495 s Remaining CPU time: 75.5049 s c =============================================================================== c | 0 | 4955 5243 1159440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26437 c Elapsed CPU time: 105.319 s Remaining CPU time: 74.681 s c =============================================================================== c | 0 | 4955 5244 1164290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26434 c Elapsed CPU time: 106.142 s Remaining CPU time: 73.8581 s c =============================================================================== c | 0 | 4955 5245 1169140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26433 c Elapsed CPU time: 107.001 s Remaining CPU time: 72.9993 s c =============================================================================== c | 0 | 4955 5246 1173990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26431 c Elapsed CPU time: 107.861 s Remaining CPU time: 72.1394 s c =============================================================================== c | 0 | 4955 5247 1178840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26429 c Elapsed CPU time: 108.729 s Remaining CPU time: 71.2705 s c =============================================================================== c | 0 | 4955 5248 1183690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26428 c Elapsed CPU time: 109.593 s Remaining CPU time: 70.4067 s c =============================================================================== c | 0 | 4955 5249 1188540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26425 c Elapsed CPU time: 110.47 s Remaining CPU time: 69.5298 s c =============================================================================== c | 0 | 4955 5250 1193390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26424 c Elapsed CPU time: 111.32 s Remaining CPU time: 68.6799 s c =============================================================================== c | 0 | 4955 5251 1198240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26423 c Elapsed CPU time: 112.227 s Remaining CPU time: 67.7731 s c =============================================================================== c | 0 | 4955 5252 1203090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26422 c Elapsed CPU time: 113.118 s Remaining CPU time: 66.8822 s c =============================================================================== c | 0 | 4955 5253 1207940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26421 c Elapsed CPU time: 113.978 s Remaining CPU time: 66.0223 s c =============================================================================== c | 0 | 4955 5254 1212790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26420 c Elapsed CPU time: 114.858 s Remaining CPU time: 65.1425 s c =============================================================================== c | 0 | 4955 5255 1217640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26419 c Elapsed CPU time: 115.739 s Remaining CPU time: 64.2606 s c =============================================================================== c | 0 | 4955 5256 1222490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26418 c Elapsed CPU time: 116.628 s Remaining CPU time: 63.3717 s c =============================================================================== c | 0 | 4955 5257 1227340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26417 c Elapsed CPU time: 117.522 s Remaining CPU time: 62.4779 s c =============================================================================== c | 0 | 4955 5258 1232190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26416 c Elapsed CPU time: 118.419 s Remaining CPU time: 61.581 s c =============================================================================== c | 0 | 4955 5259 1237040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26415 c Elapsed CPU time: 119.308 s Remaining CPU time: 60.6921 s c =============================================================================== c | 0 | 4955 5260 1241890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26412 c Elapsed CPU time: 120.185 s Remaining CPU time: 59.8153 s c =============================================================================== c | 0 | 4955 5261 1246740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26409 c Elapsed CPU time: 121.062 s Remaining CPU time: 58.9384 s c =============================================================================== c | 0 | 4955 5262 1251590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26408 c Elapsed CPU time: 121.961 s Remaining CPU time: 58.0385 s c =============================================================================== c | 0 | 4955 5263 1256440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26407 c Elapsed CPU time: 122.867 s Remaining CPU time: 57.1327 s c =============================================================================== c | 0 | 4955 5264 1261290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26406 c Elapsed CPU time: 123.76 s Remaining CPU time: 56.2398 s c =============================================================================== c | 0 | 4955 5265 1266140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26403 c Elapsed CPU time: 124.691 s Remaining CPU time: 55.309 s c =============================================================================== c | 0 | 4955 5266 1270990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26402 c Elapsed CPU time: 125.627 s Remaining CPU time: 54.3731 s c =============================================================================== c | 0 | 4955 5267 1275840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26401 c Elapsed CPU time: 126.566 s Remaining CPU time: 53.4342 s c =============================================================================== c | 1 | 4955 5268 1280690 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26400 c Elapsed CPU time: 127.469 s Remaining CPU time: 52.5314 s c =============================================================================== c | 1 | 4955 5269 1285540 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26399 c Elapsed CPU time: 128.39 s Remaining CPU time: 51.6095 s c =============================================================================== c | 1 | 4955 5270 1290390 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26398 c Elapsed CPU time: 129.462 s Remaining CPU time: 50.5377 s c =============================================================================== c | 1 | 4955 5271 1295240 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26397 c Elapsed CPU time: 130.424 s Remaining CPU time: 49.5758 s c =============================================================================== c | 1 | 4955 5272 1300090 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26396 c Elapsed CPU time: 131.337 s Remaining CPU time: 48.663 s c =============================================================================== c | 1 | 4955 5273 1304940 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26395 c Elapsed CPU time: 132.287 s Remaining CPU time: 47.7131 s c =============================================================================== c | 1 | 4955 5274 1309790 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26394 c Elapsed CPU time: 133.232 s Remaining CPU time: 46.7683 s c =============================================================================== c | 1 | 4955 5275 1314640 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26393 c Elapsed CPU time: 134.145 s Remaining CPU time: 45.8554 s c =============================================================================== c | 1 | 4955 5276 1319490 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26392 c Elapsed CPU time: 135.12 s Remaining CPU time: 44.8795 s c =============================================================================== c | 2 | 4955 5277 1324340 | 5000 2 4786 | 0.000 % | c =============================================================================== c New solution: 26391 c Elapsed CPU time: 136.164 s Remaining CPU time: 43.8357 s c =============================================================================== c | 3 | 4955 5278 1329190 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26390 c Elapsed CPU time: 137.121 s Remaining CPU time: 42.8788 s c =============================================================================== c | 3 | 4955 5279 1334040 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26389 c Elapsed CPU time: 138.061 s Remaining CPU time: 41.939 s c =============================================================================== c | 3 | 4955 5280 1338890 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26388 c Elapsed CPU time: 139.018 s Remaining CPU time: 40.9821 s c =============================================================================== c | 3 | 4955 5281 1343740 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26387 c Elapsed CPU time: 139.97 s Remaining CPU time: 40.0303 s c =============================================================================== c | 3 | 4955 5282 1348590 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26386 c Elapsed CPU time: 140.947 s Remaining CPU time: 39.0534 s c =============================================================================== c | 3 | 4955 5283 1353440 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26385 c Elapsed CPU time: 141.908 s Remaining CPU time: 38.0916 s c =============================================================================== c | 3 | 4955 5284 1358290 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26384 c Elapsed CPU time: 142.914 s Remaining CPU time: 37.0857 s c =============================================================================== c | 3 | 4955 5285 1363140 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26383 c Elapsed CPU time: 143.92 s Remaining CPU time: 36.0799 s c =============================================================================== c | 3 | 4955 5286 1367990 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26382 c Elapsed CPU time: 144.924 s Remaining CPU time: 35.076 s c =============================================================================== c | 3 | 4955 5287 1372840 | 5000 3 4784 | 0.000 % | c =============================================================================== c New solution: 26381 c Elapsed CPU time: 145.9 s Remaining CPU time: 34.1002 s c =============================================================================== c | 5 | 4955 5288 1377690 | 5000 5 4783 | 0.000 % | c =============================================================================== c New solution: 26380 c Elapsed CPU time: 146.89 s Remaining CPU time: 33.1103 s c =============================================================================== c | 5 | 4955 5289 1382540 | 5000 5 4783 | 0.000 % | c =============================================================================== c New solution: 26379 c Elapsed CPU time: 147.87 s Remaining CPU time: 32.1305 s c =============================================================================== c | 5 | 4955 5290 1387390 | 5000 5 4783 | 0.000 % | c =============================================================================== c New solution: 26378 c Elapsed CPU time: 148.878 s Remaining CPU time: 31.1216 s c =============================================================================== c | 6 | 4955 5291 1392240 | 5000 6 4782 | 0.000 % | c =============================================================================== c New solution: 26377 c Elapsed CPU time: 149.89 s Remaining CPU time: 30.1098 s c =============================================================================== c | 7 | 4955 5292 1397090 | 5000 7 4782 | 0.000 % | c =============================================================================== c New solution: 26376 c Elapsed CPU time: 150.88 s Remaining CPU time: 29.1199 s c =============================================================================== c | 8 | 4955 5293 1401940 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26375 c Elapsed CPU time: 151.889 s Remaining CPU time: 28.1111 s c =============================================================================== c | 8 | 4955 5294 1406790 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26374 c Elapsed CPU time: 152.885 s Remaining CPU time: 27.1152 s c =============================================================================== c | 8 | 4955 5295 1411640 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26373 c Elapsed CPU time: 153.885 s Remaining CPU time: 26.1154 s c =============================================================================== c | 8 | 4955 5296 1416490 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26372 c Elapsed CPU time: 154.93 s Remaining CPU time: 25.0696 s c =============================================================================== c | 8 | 4955 5297 1421340 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26371 c Elapsed CPU time: 155.949 s Remaining CPU time: 24.0507 s c =============================================================================== c | 8 | 4955 5298 1426190 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26370 c Elapsed CPU time: 156.974 s Remaining CPU time: 23.0259 s c =============================================================================== c | 8 | 4955 5299 1431040 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26369 c Elapsed CPU time: 158.003 s Remaining CPU time: 21.997 s c =============================================================================== c | 8 | 4955 5300 1435890 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26368 c Elapsed CPU time: 159.046 s Remaining CPU time: 20.9542 s c =============================================================================== c | 8 | 4955 5301 1440740 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26367 c Elapsed CPU time: 160.058 s Remaining CPU time: 19.9423 s c =============================================================================== c | 8 | 4955 5302 1445590 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26366 c Elapsed CPU time: 161.111 s Remaining CPU time: 18.8895 s c =============================================================================== c | 8 | 4955 5303 1450440 | 5000 8 4781 | 0.000 % | c =============================================================================== c New solution: 26365 c Elapsed CPU time: 162.133 s Remaining CPU time: 17.8666 s c =============================================================================== c | 9 | 4955 5304 1455290 | 5000 9 4781 | 0.000 % | c =============================================================================== c New solution: 26364 c Elapsed CPU time: 163.172 s Remaining CPU time: 16.8278 s c =============================================================================== c | 9 | 4955 5305 1460140 | 5000 9 4781 | 0.000 % | c =============================================================================== c New solution: 26363 c Elapsed CPU time: 164.224 s Remaining CPU time: 15.776 s c =============================================================================== c | 9 | 4955 5306 1464990 | 5000 9 4781 | 0.000 % | c =============================================================================== c New solution: 26362 c Elapsed CPU time: 165.286 s Remaining CPU time: 14.7141 s c =============================================================================== c | 11 | 4955 5307 1469840 | 5000 11 4780 | 0.000 % | c =============================================================================== c New solution: 26361 c Elapsed CPU time: 166.318 s Remaining CPU time: 13.6823 s c =============================================================================== c | 11 | 4955 5308 1474690 | 5000 11 4780 | 0.000 % | c =============================================================================== c New solution: 26360 c Elapsed CPU time: 167.406 s Remaining CPU time: 12.5944 s c =============================================================================== c | 12 | 4955 5309 1479540 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26359 c Elapsed CPU time: 168.459 s Remaining CPU time: 11.5406 s c =============================================================================== c | 12 | 4955 5310 1484390 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26358 c Elapsed CPU time: 169.507 s Remaining CPU time: 10.4928 s c =============================================================================== c | 12 | 4955 5311 1489240 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26357 c Elapsed CPU time: 170.562 s Remaining CPU time: 9.43793 s c =============================================================================== c | 12 | 4955 5312 1494090 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26356 c Elapsed CPU time: 171.6 s Remaining CPU time: 8.40009 s c =============================================================================== c | 12 | 4955 5313 1498940 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26355 c Elapsed CPU time: 172.68 s Remaining CPU time: 7.32025 s c =============================================================================== c | 12 | 4955 5314 1503790 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26354 c Elapsed CPU time: 173.755 s Remaining CPU time: 6.24542 s c =============================================================================== c | 12 | 4955 5315 1508640 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26353 c Elapsed CPU time: 174.881 s Remaining CPU time: 5.11859 s c =============================================================================== c | 12 | 4955 5316 1513490 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26352 c Elapsed CPU time: 175.949 s Remaining CPU time: 4.05075 s c =============================================================================== c | 12 | 4955 5317 1518340 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26351 c Elapsed CPU time: 177.044 s Remaining CPU time: 2.95592 s c =============================================================================== c | 12 | 4955 5318 1523190 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26350 c Elapsed CPU time: 178.142 s Remaining CPU time: 1.85808 s c =============================================================================== c | 12 | 4955 5319 1528040 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26349 c Elapsed CPU time: 179.257 s Remaining CPU time: 0.743252 s c =============================================================================== c | 12 | 4955 5320 1532890 | 5000 12 4780 | 0.000 % | c =============================================================================== c New solution: 26348 c Elapsed CPU time: 180.386 s Remaining CPU time: -0.385577 s c =============================================================================== c | 12 | 4955 5321 1537740 | 5000 12 4780 | 0.000 % | c There are 45 assigned variables. 24 in cost function.