c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 5000 | c | Number Clauses: 5000 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4955 5004 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26954 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 4955 5005 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26951 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 4955 5006 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26948 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 4955 5007 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26945 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 0 | 4955 5008 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26942 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 4955 5009 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26936 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 0 | 4955 5010 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26933 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 0 | 4955 5011 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26929 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 0 | 4955 5012 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26925 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 0 | 4955 5013 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26924 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 0 | 4955 5014 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26923 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s c =============================================================================== c | 0 | 4955 5015 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26921 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 0 | 4955 5016 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26916 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 0 | 4955 5017 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26913 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 0 | 4955 5018 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26909 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 0 | 4955 5019 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26908 c Elapsed CPU time: 1.56576 s Remaining CPU time: 178.434 s c =============================================================================== c | 0 | 4955 5020 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26906 c Elapsed CPU time: 1.67475 s Remaining CPU time: 178.325 s c =============================================================================== c | 0 | 4955 5021 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26905 c Elapsed CPU time: 1.78573 s Remaining CPU time: 178.214 s c =============================================================================== c | 0 | 4955 5022 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26904 c Elapsed CPU time: 1.90271 s Remaining CPU time: 178.097 s c =============================================================================== c | 0 | 4955 5023 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26903 c Elapsed CPU time: 2.01869 s Remaining CPU time: 177.981 s c =============================================================================== c | 0 | 4955 5024 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26900 c Elapsed CPU time: 2.14067 s Remaining CPU time: 177.859 s c =============================================================================== c | 0 | 4955 5025 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26898 c Elapsed CPU time: 2.26865 s Remaining CPU time: 177.731 s c =============================================================================== c | 0 | 4955 5026 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26896 c Elapsed CPU time: 2.40363 s Remaining CPU time: 177.596 s c =============================================================================== c | 0 | 4955 5027 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26895 c Elapsed CPU time: 2.54061 s Remaining CPU time: 177.459 s c =============================================================================== c | 0 | 4955 5028 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26891 c Elapsed CPU time: 2.67759 s Remaining CPU time: 177.322 s c =============================================================================== c | 0 | 4955 5029 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26890 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 0 | 4955 5030 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26889 c Elapsed CPU time: 2.95955 s Remaining CPU time: 177.04 s c =============================================================================== c | 0 | 4955 5031 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26888 c Elapsed CPU time: 3.10853 s Remaining CPU time: 176.891 s c =============================================================================== c | 0 | 4955 5032 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26887 c Elapsed CPU time: 3.2575 s Remaining CPU time: 176.742 s c =============================================================================== c | 0 | 4955 5033 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26886 c Elapsed CPU time: 3.40848 s Remaining CPU time: 176.592 s c =============================================================================== c | 0 | 4955 5034 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26885 c Elapsed CPU time: 3.55846 s Remaining CPU time: 176.442 s c =============================================================================== c | 0 | 4955 5035 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26884 c Elapsed CPU time: 3.71143 s Remaining CPU time: 176.289 s c =============================================================================== c | 0 | 4955 5036 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26883 c Elapsed CPU time: 3.86141 s Remaining CPU time: 176.139 s c =============================================================================== c | 0 | 4955 5037 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26882 c Elapsed CPU time: 4.01739 s Remaining CPU time: 175.983 s c =============================================================================== c | 0 | 4955 5038 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26881 c Elapsed CPU time: 4.17337 s Remaining CPU time: 175.827 s c =============================================================================== c | 0 | 4955 5039 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26880 c Elapsed CPU time: 4.33934 s Remaining CPU time: 175.661 s c =============================================================================== c | 0 | 4955 5040 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26879 c Elapsed CPU time: 4.50031 s Remaining CPU time: 175.5 s c =============================================================================== c | 0 | 4955 5041 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26878 c Elapsed CPU time: 4.66229 s Remaining CPU time: 175.338 s c =============================================================================== c | 0 | 4955 5042 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26876 c Elapsed CPU time: 4.82727 s Remaining CPU time: 175.173 s c =============================================================================== c | 0 | 4955 5043 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26875 c Elapsed CPU time: 4.99924 s Remaining CPU time: 175.001 s c =============================================================================== c | 0 | 4955 5044 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26871 c Elapsed CPU time: 5.17121 s Remaining CPU time: 174.829 s c =============================================================================== c | 0 | 4955 5045 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26866 c Elapsed CPU time: 5.34819 s Remaining CPU time: 174.652 s c =============================================================================== c | 0 | 4955 5046 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26862 c Elapsed CPU time: 5.52616 s Remaining CPU time: 174.474 s c =============================================================================== c | 0 | 4955 5047 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26859 c Elapsed CPU time: 5.71413 s Remaining CPU time: 174.286 s c =============================================================================== c | 0 | 4955 5048 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26857 c Elapsed CPU time: 5.8981 s Remaining CPU time: 174.102 s c =============================================================================== c | 0 | 4955 5049 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26852 c Elapsed CPU time: 6.08807 s Remaining CPU time: 173.912 s c =============================================================================== c | 0 | 4955 5050 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26850 c Elapsed CPU time: 6.28204 s Remaining CPU time: 173.718 s c =============================================================================== c | 0 | 4955 5051 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26848 c Elapsed CPU time: 6.47701 s Remaining CPU time: 173.523 s c =============================================================================== c | 0 | 4955 5052 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26846 c Elapsed CPU time: 6.67598 s Remaining CPU time: 173.324 s c =============================================================================== c | 0 | 4955 5053 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26845 c Elapsed CPU time: 6.87795 s Remaining CPU time: 173.122 s c =============================================================================== c | 0 | 4955 5054 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26844 c Elapsed CPU time: 7.09092 s Remaining CPU time: 172.909 s c =============================================================================== c | 0 | 4955 5055 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26843 c Elapsed CPU time: 7.30089 s Remaining CPU time: 172.699 s c =============================================================================== c | 0 | 4955 5056 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26840 c Elapsed CPU time: 7.51586 s Remaining CPU time: 172.484 s c =============================================================================== c | 0 | 4955 5057 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26838 c Elapsed CPU time: 7.73682 s Remaining CPU time: 172.263 s c =============================================================================== c | 0 | 4955 5058 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26836 c Elapsed CPU time: 7.95779 s Remaining CPU time: 172.042 s c =============================================================================== c | 0 | 4955 5059 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26835 c Elapsed CPU time: 8.18176 s Remaining CPU time: 171.818 s c =============================================================================== c | 0 | 4955 5060 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26832 c Elapsed CPU time: 8.40572 s Remaining CPU time: 171.594 s c =============================================================================== c | 0 | 4955 5061 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26830 c Elapsed CPU time: 8.63169 s Remaining CPU time: 171.368 s c =============================================================================== c | 0 | 4955 5062 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26828 c Elapsed CPU time: 8.86665 s Remaining CPU time: 171.133 s c =============================================================================== c | 0 | 4955 5063 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26826 c Elapsed CPU time: 9.10162 s Remaining CPU time: 170.898 s c =============================================================================== c | 0 | 4955 5064 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26825 c Elapsed CPU time: 9.33758 s Remaining CPU time: 170.662 s c =============================================================================== c | 0 | 4955 5065 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26823 c Elapsed CPU time: 9.57654 s Remaining CPU time: 170.423 s c =============================================================================== c | 0 | 4955 5066 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26821 c Elapsed CPU time: 9.82151 s Remaining CPU time: 170.178 s c =============================================================================== c | 0 | 4955 5067 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26819 c Elapsed CPU time: 10.0775 s Remaining CPU time: 169.923 s c =============================================================================== c | 0 | 4955 5068 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26818 c Elapsed CPU time: 10.3434 s Remaining CPU time: 169.657 s c =============================================================================== c | 0 | 4955 5069 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26817 c Elapsed CPU time: 10.6014 s Remaining CPU time: 169.399 s c =============================================================================== c | 0 | 4955 5070 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26816 c Elapsed CPU time: 10.8633 s Remaining CPU time: 169.137 s c =============================================================================== c | 0 | 4955 5071 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26814 c Elapsed CPU time: 11.1333 s Remaining CPU time: 168.867 s c =============================================================================== c | 0 | 4955 5072 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26813 c Elapsed CPU time: 11.4133 s Remaining CPU time: 168.587 s c =============================================================================== c | 0 | 4955 5073 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26812 c Elapsed CPU time: 11.6862 s Remaining CPU time: 168.314 s c =============================================================================== c | 0 | 4955 5074 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26810 c Elapsed CPU time: 11.9622 s Remaining CPU time: 168.038 s c =============================================================================== c | 0 | 4955 5075 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26807 c Elapsed CPU time: 12.2361 s Remaining CPU time: 167.764 s c =============================================================================== c | 0 | 4955 5076 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26805 c Elapsed CPU time: 12.5181 s Remaining CPU time: 167.482 s c =============================================================================== c | 0 | 4955 5077 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26803 c Elapsed CPU time: 12.8051 s Remaining CPU time: 167.195 s c =============================================================================== c | 0 | 4955 5078 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26802 c Elapsed CPU time: 13.094 s Remaining CPU time: 166.906 s c =============================================================================== c | 0 | 4955 5079 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26801 c Elapsed CPU time: 13.393 s Remaining CPU time: 166.607 s c =============================================================================== c | 0 | 4955 5080 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26800 c Elapsed CPU time: 13.6999 s Remaining CPU time: 166.3 s c =============================================================================== c | 0 | 4955 5081 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26798 c Elapsed CPU time: 14.0089 s Remaining CPU time: 165.991 s c =============================================================================== c | 0 | 4955 5082 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26797 c Elapsed CPU time: 14.3118 s Remaining CPU time: 165.688 s c =============================================================================== c | 0 | 4955 5083 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26796 c Elapsed CPU time: 14.6228 s Remaining CPU time: 165.377 s c =============================================================================== c | 0 | 4955 5084 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26795 c Elapsed CPU time: 14.9447 s Remaining CPU time: 165.055 s c =============================================================================== c | 0 | 4955 5085 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26794 c Elapsed CPU time: 15.2707 s Remaining CPU time: 164.729 s c =============================================================================== c | 0 | 4955 5086 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26792 c Elapsed CPU time: 15.5906 s Remaining CPU time: 164.409 s c =============================================================================== c | 0 | 4955 5087 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26790 c Elapsed CPU time: 15.9126 s Remaining CPU time: 164.087 s c =============================================================================== c | 0 | 4955 5088 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26789 c Elapsed CPU time: 16.2445 s Remaining CPU time: 163.755 s c =============================================================================== c | 0 | 4955 5089 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26786 c Elapsed CPU time: 16.5695 s Remaining CPU time: 163.431 s c =============================================================================== c | 0 | 4955 5090 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26781 c Elapsed CPU time: 16.9024 s Remaining CPU time: 163.098 s c =============================================================================== c | 0 | 4955 5091 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26780 c Elapsed CPU time: 17.2474 s Remaining CPU time: 162.753 s c =============================================================================== c | 0 | 4955 5092 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26779 c Elapsed CPU time: 17.5873 s Remaining CPU time: 162.413 s c =============================================================================== c | 0 | 4955 5093 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26778 c Elapsed CPU time: 17.9243 s Remaining CPU time: 162.076 s c =============================================================================== c | 0 | 4955 5094 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26777 c Elapsed CPU time: 18.2732 s Remaining CPU time: 161.727 s c =============================================================================== c | 0 | 4955 5095 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26774 c Elapsed CPU time: 18.6202 s Remaining CPU time: 161.38 s c =============================================================================== c | 0 | 4955 5096 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26771 c Elapsed CPU time: 18.9671 s Remaining CPU time: 161.033 s c =============================================================================== c | 0 | 4955 5097 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26769 c Elapsed CPU time: 19.3231 s Remaining CPU time: 160.677 s c =============================================================================== c | 0 | 4955 5098 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26768 c Elapsed CPU time: 19.682 s Remaining CPU time: 160.318 s c =============================================================================== c | 0 | 4955 5099 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26764 c Elapsed CPU time: 20.052 s Remaining CPU time: 159.948 s c =============================================================================== c | 0 | 4955 5100 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26762 c Elapsed CPU time: 20.4169 s Remaining CPU time: 159.583 s c =============================================================================== c | 0 | 4955 5101 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26760 c Elapsed CPU time: 20.7978 s Remaining CPU time: 159.202 s c =============================================================================== c | 0 | 4955 5102 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26759 c Elapsed CPU time: 21.1728 s Remaining CPU time: 158.827 s c =============================================================================== c | 0 | 4955 5103 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26758 c Elapsed CPU time: 21.5627 s Remaining CPU time: 158.437 s c =============================================================================== c | 0 | 4955 5104 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26757 c Elapsed CPU time: 21.9467 s Remaining CPU time: 158.053 s c =============================================================================== c | 0 | 4955 5105 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26756 c Elapsed CPU time: 22.3336 s Remaining CPU time: 157.666 s c =============================================================================== c | 0 | 4955 5106 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26755 c Elapsed CPU time: 22.7385 s Remaining CPU time: 157.261 s c =============================================================================== c | 0 | 4955 5107 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26754 c Elapsed CPU time: 23.1375 s Remaining CPU time: 156.863 s c =============================================================================== c | 0 | 4955 5108 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26753 c Elapsed CPU time: 23.5344 s Remaining CPU time: 156.466 s c =============================================================================== c | 0 | 4955 5109 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26752 c Elapsed CPU time: 23.9304 s Remaining CPU time: 156.07 s c =============================================================================== c | 0 | 4955 5110 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26751 c Elapsed CPU time: 24.3283 s Remaining CPU time: 155.672 s c =============================================================================== c | 0 | 4955 5111 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26750 c Elapsed CPU time: 24.7322 s Remaining CPU time: 155.268 s c =============================================================================== c | 0 | 4955 5112 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26749 c Elapsed CPU time: 25.1472 s Remaining CPU time: 154.853 s c =============================================================================== c | 0 | 4955 5113 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26748 c Elapsed CPU time: 25.5491 s Remaining CPU time: 154.451 s c =============================================================================== c | 0 | 4955 5114 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26745 c Elapsed CPU time: 25.9651 s Remaining CPU time: 154.035 s c =============================================================================== c | 0 | 4955 5115 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26744 c Elapsed CPU time: 26.379 s Remaining CPU time: 153.621 s c =============================================================================== c | 0 | 4955 5116 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26743 c Elapsed CPU time: 26.8009 s Remaining CPU time: 153.199 s c =============================================================================== c | 0 | 4955 5117 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26742 c Elapsed CPU time: 27.2499 s Remaining CPU time: 152.75 s c =============================================================================== c | 0 | 4955 5118 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26740 c Elapsed CPU time: 27.6928 s Remaining CPU time: 152.307 s c =============================================================================== c | 0 | 4955 5119 572600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26739 c Elapsed CPU time: 28.1347 s Remaining CPU time: 151.865 s c =============================================================================== c | 0 | 4955 5120 577450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26736 c Elapsed CPU time: 28.5767 s Remaining CPU time: 151.423 s c =============================================================================== c | 0 | 4955 5121 582300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26732 c Elapsed CPU time: 29.0356 s Remaining CPU time: 150.964 s c =============================================================================== c | 0 | 4955 5122 587150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26727 c Elapsed CPU time: 29.4875 s Remaining CPU time: 150.512 s c =============================================================================== c | 0 | 4955 5123 592000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26724 c Elapsed CPU time: 29.9504 s Remaining CPU time: 150.05 s c =============================================================================== c | 0 | 4955 5124 596850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26721 c Elapsed CPU time: 30.4164 s Remaining CPU time: 149.584 s c =============================================================================== c | 0 | 4955 5125 601700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26720 c Elapsed CPU time: 30.8863 s Remaining CPU time: 149.114 s c =============================================================================== c | 0 | 4955 5126 606550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26719 c Elapsed CPU time: 31.3592 s Remaining CPU time: 148.641 s c =============================================================================== c | 0 | 4955 5127 611400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26716 c Elapsed CPU time: 31.8332 s Remaining CPU time: 148.167 s c =============================================================================== c | 0 | 4955 5128 616250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26712 c Elapsed CPU time: 32.3031 s Remaining CPU time: 147.697 s c =============================================================================== c | 0 | 4955 5129 621100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26710 c Elapsed CPU time: 32.785 s Remaining CPU time: 147.215 s c =============================================================================== c | 0 | 4955 5130 625950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26709 c Elapsed CPU time: 33.2689 s Remaining CPU time: 146.731 s c =============================================================================== c | 0 | 4955 5131 630800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26708 c Elapsed CPU time: 33.7549 s Remaining CPU time: 146.245 s c =============================================================================== c | 0 | 4955 5132 635650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26706 c Elapsed CPU time: 34.2608 s Remaining CPU time: 145.739 s c =============================================================================== c | 0 | 4955 5133 640500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26704 c Elapsed CPU time: 34.7517 s Remaining CPU time: 145.248 s c =============================================================================== c | 0 | 4955 5134 645350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26703 c Elapsed CPU time: 35.2486 s Remaining CPU time: 144.751 s c =============================================================================== c | 0 | 4955 5135 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26702 c Elapsed CPU time: 35.7516 s Remaining CPU time: 144.248 s c =============================================================================== c | 0 | 4955 5136 655050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26700 c Elapsed CPU time: 36.2645 s Remaining CPU time: 143.736 s c =============================================================================== c | 0 | 4955 5137 659900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26699 c Elapsed CPU time: 36.7804 s Remaining CPU time: 143.22 s c =============================================================================== c | 0 | 4955 5138 664750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26698 c Elapsed CPU time: 37.2963 s Remaining CPU time: 142.704 s c =============================================================================== c | 0 | 4955 5139 669600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26697 c Elapsed CPU time: 37.8462 s Remaining CPU time: 142.154 s c =============================================================================== c | 0 | 4955 5140 674450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26696 c Elapsed CPU time: 38.3782 s Remaining CPU time: 141.622 s c =============================================================================== c | 0 | 4955 5141 679300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26695 c Elapsed CPU time: 38.9191 s Remaining CPU time: 141.081 s c =============================================================================== c | 0 | 4955 5142 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26694 c Elapsed CPU time: 39.46 s Remaining CPU time: 140.54 s c =============================================================================== c | 0 | 4955 5143 689000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26693 c Elapsed CPU time: 39.9989 s Remaining CPU time: 140.001 s c =============================================================================== c | 0 | 4955 5144 693850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26692 c Elapsed CPU time: 40.5408 s Remaining CPU time: 139.459 s c =============================================================================== c | 0 | 4955 5145 698700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26690 c Elapsed CPU time: 41.0968 s Remaining CPU time: 138.903 s c =============================================================================== c | 0 | 4955 5146 703550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26688 c Elapsed CPU time: 41.6377 s Remaining CPU time: 138.362 s c =============================================================================== c | 0 | 4955 5147 708400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26687 c Elapsed CPU time: 42.1866 s Remaining CPU time: 137.813 s c =============================================================================== c | 0 | 4955 5148 713250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26683 c Elapsed CPU time: 42.7305 s Remaining CPU time: 137.269 s c =============================================================================== c | 0 | 4955 5149 718100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26682 c Elapsed CPU time: 43.2904 s Remaining CPU time: 136.71 s c =============================================================================== c | 0 | 4955 5150 722950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26680 c Elapsed CPU time: 43.8363 s Remaining CPU time: 136.164 s c =============================================================================== c | 0 | 4955 5151 727800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26679 c Elapsed CPU time: 44.4022 s Remaining CPU time: 135.598 s c =============================================================================== c | 0 | 4955 5152 732650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26678 c Elapsed CPU time: 44.9792 s Remaining CPU time: 135.021 s c =============================================================================== c | 0 | 4955 5153 737500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26676 c Elapsed CPU time: 45.5421 s Remaining CPU time: 134.458 s c =============================================================================== c | 0 | 4955 5154 742350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26675 c Elapsed CPU time: 46.126 s Remaining CPU time: 133.874 s c =============================================================================== c | 0 | 4955 5155 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26673 c Elapsed CPU time: 46.6809 s Remaining CPU time: 133.319 s c =============================================================================== c | 0 | 4955 5156 752050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26672 c Elapsed CPU time: 47.2498 s Remaining CPU time: 132.75 s c =============================================================================== c | 0 | 4955 5157 756900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26670 c Elapsed CPU time: 47.8097 s Remaining CPU time: 132.19 s c =============================================================================== c | 0 | 4955 5158 761750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26669 c Elapsed CPU time: 48.3886 s Remaining CPU time: 131.611 s c =============================================================================== c | 0 | 4955 5159 766600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26668 c Elapsed CPU time: 48.9626 s Remaining CPU time: 131.037 s c =============================================================================== c | 0 | 4955 5160 771450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26667 c Elapsed CPU time: 49.5535 s Remaining CPU time: 130.447 s c =============================================================================== c | 0 | 4955 5161 776300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26666 c Elapsed CPU time: 50.1324 s Remaining CPU time: 129.868 s c =============================================================================== c | 0 | 4955 5162 781150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26665 c Elapsed CPU time: 50.7103 s Remaining CPU time: 129.29 s c =============================================================================== c | 0 | 4955 5163 786000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26663 c Elapsed CPU time: 51.3002 s Remaining CPU time: 128.7 s c =============================================================================== c | 0 | 4955 5164 790850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26662 c Elapsed CPU time: 51.9061 s Remaining CPU time: 128.094 s c =============================================================================== c | 0 | 4955 5165 795700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26660 c Elapsed CPU time: 52.515 s Remaining CPU time: 127.485 s c =============================================================================== c | 0 | 4955 5166 800550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26659 c Elapsed CPU time: 53.1109 s Remaining CPU time: 126.889 s c =============================================================================== c | 0 | 4955 5167 805400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26658 c Elapsed CPU time: 53.7048 s Remaining CPU time: 126.295 s c =============================================================================== c | 0 | 4955 5168 810250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26656 c Elapsed CPU time: 54.2997 s Remaining CPU time: 125.7 s c =============================================================================== c | 0 | 4955 5169 815100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26655 c Elapsed CPU time: 54.9546 s Remaining CPU time: 125.045 s c =============================================================================== c | 0 | 4955 5170 819950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26654 c Elapsed CPU time: 55.6225 s Remaining CPU time: 124.377 s c =============================================================================== c | 0 | 4955 5171 824800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26652 c Elapsed CPU time: 56.2804 s Remaining CPU time: 123.72 s c =============================================================================== c | 0 | 4955 5172 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26651 c Elapsed CPU time: 56.9633 s Remaining CPU time: 123.037 s c =============================================================================== c | 0 | 4955 5173 834500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26649 c Elapsed CPU time: 57.6492 s Remaining CPU time: 122.351 s c =============================================================================== c | 0 | 4955 5174 839350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26648 c Elapsed CPU time: 58.3331 s Remaining CPU time: 121.667 s c =============================================================================== c | 0 | 4955 5175 844200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26646 c Elapsed CPU time: 59.011 s Remaining CPU time: 120.989 s c =============================================================================== c | 0 | 4955 5176 849050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26645 c Elapsed CPU time: 59.6969 s Remaining CPU time: 120.303 s c =============================================================================== c | 0 | 4955 5177 853900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26644 c Elapsed CPU time: 60.3828 s Remaining CPU time: 119.617 s c =============================================================================== c | 0 | 4955 5178 858750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26643 c Elapsed CPU time: 61.0517 s Remaining CPU time: 118.948 s c =============================================================================== c | 0 | 4955 5179 863600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26641 c Elapsed CPU time: 61.7576 s Remaining CPU time: 118.242 s c =============================================================================== c | 0 | 4955 5180 868450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26640 c Elapsed CPU time: 62.4545 s Remaining CPU time: 117.545 s c =============================================================================== c | 0 | 4955 5181 873300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26639 c Elapsed CPU time: 63.1624 s Remaining CPU time: 116.838 s c =============================================================================== c | 0 | 4955 5182 878150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26638 c Elapsed CPU time: 63.8683 s Remaining CPU time: 116.132 s c =============================================================================== c | 0 | 4955 5183 883000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26637 c Elapsed CPU time: 64.5822 s Remaining CPU time: 115.418 s c =============================================================================== c | 0 | 4955 5184 887850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26636 c Elapsed CPU time: 65.2971 s Remaining CPU time: 114.703 s c =============================================================================== c | 0 | 4955 5185 892700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26634 c Elapsed CPU time: 65.99 s Remaining CPU time: 114.01 s c =============================================================================== c | 0 | 4955 5186 897550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26633 c Elapsed CPU time: 66.6969 s Remaining CPU time: 113.303 s c =============================================================================== c | 0 | 4955 5187 902400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26632 c Elapsed CPU time: 67.3978 s Remaining CPU time: 112.602 s c =============================================================================== c | 0 | 4955 5188 907250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26631 c Elapsed CPU time: 68.0916 s Remaining CPU time: 111.908 s c =============================================================================== c | 0 | 4955 5189 912100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26629 c Elapsed CPU time: 68.8155 s Remaining CPU time: 111.184 s c =============================================================================== c | 0 | 4955 5190 916950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26627 c Elapsed CPU time: 69.5344 s Remaining CPU time: 110.466 s c =============================================================================== c | 0 | 4955 5191 921800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26625 c Elapsed CPU time: 70.2383 s Remaining CPU time: 109.762 s c =============================================================================== c | 0 | 4955 5192 926650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26624 c Elapsed CPU time: 70.9352 s Remaining CPU time: 109.065 s c =============================================================================== c | 0 | 4955 5193 931500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26623 c Elapsed CPU time: 71.6301 s Remaining CPU time: 108.37 s c =============================================================================== c | 0 | 4955 5194 936350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26621 c Elapsed CPU time: 72.347 s Remaining CPU time: 107.653 s c =============================================================================== c | 0 | 4955 5195 941200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26620 c Elapsed CPU time: 73.0559 s Remaining CPU time: 106.944 s c =============================================================================== c | 0 | 4955 5196 946050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26619 c Elapsed CPU time: 73.7678 s Remaining CPU time: 106.232 s c =============================================================================== c | 0 | 4955 5197 950900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26618 c Elapsed CPU time: 74.4917 s Remaining CPU time: 105.508 s c =============================================================================== c | 0 | 4955 5198 955750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26617 c Elapsed CPU time: 75.2166 s Remaining CPU time: 104.783 s c =============================================================================== c | 0 | 4955 5199 960600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26616 c Elapsed CPU time: 75.9415 s Remaining CPU time: 104.059 s c =============================================================================== c | 0 | 4955 5200 965450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26615 c Elapsed CPU time: 76.6563 s Remaining CPU time: 103.344 s c =============================================================================== c | 0 | 4955 5201 970300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26614 c Elapsed CPU time: 77.3742 s Remaining CPU time: 102.626 s c =============================================================================== c | 0 | 4955 5202 975150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26613 c Elapsed CPU time: 78.1011 s Remaining CPU time: 101.899 s c =============================================================================== c | 0 | 4955 5203 980000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26612 c Elapsed CPU time: 78.824 s Remaining CPU time: 101.176 s c =============================================================================== c | 0 | 4955 5204 984850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26610 c Elapsed CPU time: 79.5449 s Remaining CPU time: 100.455 s c =============================================================================== c | 0 | 4955 5205 989700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26608 c Elapsed CPU time: 80.2808 s Remaining CPU time: 99.7192 s c =============================================================================== c | 0 | 4955 5206 994550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26606 c Elapsed CPU time: 81.0307 s Remaining CPU time: 98.9693 s c =============================================================================== c | 0 | 4955 5207 999400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26605 c Elapsed CPU time: 81.7816 s Remaining CPU time: 98.2184 s c =============================================================================== c | 0 | 4955 5208 1004250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26604 c Elapsed CPU time: 82.5255 s Remaining CPU time: 97.4745 s c =============================================================================== c | 0 | 4955 5209 1009100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26603 c Elapsed CPU time: 83.3183 s Remaining CPU time: 96.6817 s c =============================================================================== c | 0 | 4955 5210 1013950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26602 c Elapsed CPU time: 84.0962 s Remaining CPU time: 95.9038 s c =============================================================================== c | 0 | 4955 5211 1018800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26600 c Elapsed CPU time: 84.8841 s Remaining CPU time: 95.1159 s c =============================================================================== c | 0 | 4955 5212 1023650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26599 c Elapsed CPU time: 85.684 s Remaining CPU time: 94.316 s c =============================================================================== c | 0 | 4955 5213 1028500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26597 c Elapsed CPU time: 86.4449 s Remaining CPU time: 93.5551 s c =============================================================================== c | 0 | 4955 5214 1033350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26596 c Elapsed CPU time: 87.2357 s Remaining CPU time: 92.7643 s c =============================================================================== c | 0 | 4955 5215 1038200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26594 c Elapsed CPU time: 88.0106 s Remaining CPU time: 91.9894 s c =============================================================================== c | 0 | 4955 5216 1043050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26592 c Elapsed CPU time: 88.8035 s Remaining CPU time: 91.1965 s c =============================================================================== c | 0 | 4955 5217 1047900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26589 c Elapsed CPU time: 89.5954 s Remaining CPU time: 90.4046 s c =============================================================================== c | 0 | 4955 5218 1052750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26588 c Elapsed CPU time: 90.3853 s Remaining CPU time: 89.6147 s c =============================================================================== c | 0 | 4955 5219 1057600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26585 c Elapsed CPU time: 91.1641 s Remaining CPU time: 88.8359 s c =============================================================================== c | 0 | 4955 5220 1062450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26582 c Elapsed CPU time: 91.966 s Remaining CPU time: 88.034 s c =============================================================================== c | 0 | 4955 5221 1067300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26581 c Elapsed CPU time: 92.7649 s Remaining CPU time: 87.2351 s c =============================================================================== c | 0 | 4955 5222 1072150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26580 c Elapsed CPU time: 93.5738 s Remaining CPU time: 86.4262 s c =============================================================================== c | 0 | 4955 5223 1077000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26579 c Elapsed CPU time: 94.3757 s Remaining CPU time: 85.6243 s c =============================================================================== c | 0 | 4955 5224 1081850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26578 c Elapsed CPU time: 95.1965 s Remaining CPU time: 84.8035 s c =============================================================================== c | 0 | 4955 5225 1086700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26577 c Elapsed CPU time: 95.9884 s Remaining CPU time: 84.0116 s c =============================================================================== c | 0 | 4955 5226 1091550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26576 c Elapsed CPU time: 96.7893 s Remaining CPU time: 83.2107 s c =============================================================================== c | 0 | 4955 5227 1096400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26575 c Elapsed CPU time: 97.6422 s Remaining CPU time: 82.3578 s c =============================================================================== c | 0 | 4955 5228 1101250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26574 c Elapsed CPU time: 98.437 s Remaining CPU time: 81.563 s c =============================================================================== c | 0 | 4955 5229 1106100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26573 c Elapsed CPU time: 99.2439 s Remaining CPU time: 80.7561 s c =============================================================================== c | 0 | 4955 5230 1110950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26572 c Elapsed CPU time: 100.073 s Remaining CPU time: 79.9272 s c =============================================================================== c | 0 | 4955 5231 1115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26570 c Elapsed CPU time: 100.901 s Remaining CPU time: 79.0993 s c =============================================================================== c | 0 | 4955 5232 1120650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26567 c Elapsed CPU time: 101.699 s Remaining CPU time: 78.3015 s c =============================================================================== c | 0 | 4955 5233 1125500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26566 c Elapsed CPU time: 102.526 s Remaining CPU time: 77.4736 s c =============================================================================== c | 0 | 4955 5234 1130350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26565 c Elapsed CPU time: 103.346 s Remaining CPU time: 76.6537 s c =============================================================================== c | 0 | 4955 5235 1135200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26564 c Elapsed CPU time: 104.171 s Remaining CPU time: 75.8288 s c =============================================================================== c | 0 | 4955 5236 1140050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26563 c Elapsed CPU time: 104.989 s Remaining CPU time: 75.011 s c =============================================================================== c | 0 | 4955 5237 1144900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26561 c Elapsed CPU time: 105.815 s Remaining CPU time: 74.1851 s c =============================================================================== c | 0 | 4955 5238 1149750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26560 c Elapsed CPU time: 106.644 s Remaining CPU time: 73.3562 s c =============================================================================== c | 0 | 4955 5239 1154600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26557 c Elapsed CPU time: 107.474 s Remaining CPU time: 72.5263 s c =============================================================================== c | 0 | 4955 5240 1159450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26556 c Elapsed CPU time: 108.306 s Remaining CPU time: 71.6945 s c =============================================================================== c | 0 | 4955 5241 1164300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26555 c Elapsed CPU time: 109.177 s Remaining CPU time: 70.8226 s c =============================================================================== c | 0 | 4955 5242 1169150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26554 c Elapsed CPU time: 110.049 s Remaining CPU time: 69.9507 s c =============================================================================== c | 0 | 4955 5243 1174000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26553 c Elapsed CPU time: 110.921 s Remaining CPU time: 69.0789 s c =============================================================================== c | 0 | 4955 5244 1178850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26552 c Elapsed CPU time: 111.792 s Remaining CPU time: 68.208 s c =============================================================================== c | 0 | 4955 5245 1183700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26551 c Elapsed CPU time: 112.653 s Remaining CPU time: 67.3471 s c =============================================================================== c | 0 | 4955 5246 1188550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26550 c Elapsed CPU time: 113.513 s Remaining CPU time: 66.4873 s c =============================================================================== c | 0 | 4955 5247 1193400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26549 c Elapsed CPU time: 114.373 s Remaining CPU time: 65.6274 s c =============================================================================== c | 0 | 4955 5248 1198250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26548 c Elapsed CPU time: 115.219 s Remaining CPU time: 64.7805 s c =============================================================================== c | 0 | 4955 5249 1203100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26547 c Elapsed CPU time: 116.062 s Remaining CPU time: 63.9376 s c =============================================================================== c | 0 | 4955 5250 1207950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26545 c Elapsed CPU time: 116.91 s Remaining CPU time: 63.0898 s c =============================================================================== c | 0 | 4955 5251 1212800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26544 c Elapsed CPU time: 117.804 s Remaining CPU time: 62.1959 s c =============================================================================== c | 0 | 4955 5252 1217650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26543 c Elapsed CPU time: 118.665 s Remaining CPU time: 61.335 s c =============================================================================== c | 0 | 4955 5253 1222500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26542 c Elapsed CPU time: 119.546 s Remaining CPU time: 60.4542 s c =============================================================================== c | 0 | 4955 5254 1227350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26541 c Elapsed CPU time: 120.456 s Remaining CPU time: 59.5443 s c =============================================================================== c | 0 | 4955 5255 1232200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26539 c Elapsed CPU time: 121.349 s Remaining CPU time: 58.6514 s c =============================================================================== c | 0 | 4955 5256 1237050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26538 c Elapsed CPU time: 122.248 s Remaining CPU time: 57.7516 s c =============================================================================== c | 0 | 4955 5257 1241900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26537 c Elapsed CPU time: 123.2 s Remaining CPU time: 56.7997 s c =============================================================================== c | 0 | 4955 5258 1246750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26536 c Elapsed CPU time: 124.152 s Remaining CPU time: 55.8479 s c =============================================================================== c | 0 | 4955 5259 1251600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26535 c Elapsed CPU time: 125.104 s Remaining CPU time: 54.896 s c =============================================================================== c | 0 | 4955 5260 1256450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26534 c Elapsed CPU time: 126.06 s Remaining CPU time: 53.9402 s c =============================================================================== c | 0 | 4955 5261 1261300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26533 c Elapsed CPU time: 126.997 s Remaining CPU time: 53.0033 s c =============================================================================== c | 0 | 4955 5262 1266150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26531 c Elapsed CPU time: 127.979 s Remaining CPU time: 52.0215 s c =============================================================================== c | 0 | 4955 5263 1271000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26530 c Elapsed CPU time: 128.908 s Remaining CPU time: 51.0916 s c =============================================================================== c | 0 | 4955 5264 1275850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26529 c Elapsed CPU time: 129.861 s Remaining CPU time: 50.1387 s c =============================================================================== c | 0 | 4955 5265 1280700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26528 c Elapsed CPU time: 130.809 s Remaining CPU time: 49.1909 s c =============================================================================== c | 0 | 4955 5266 1285550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26527 c Elapsed CPU time: 131.761 s Remaining CPU time: 48.239 s c =============================================================================== c | 0 | 4955 5267 1290400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26525 c Elapsed CPU time: 132.719 s Remaining CPU time: 47.2812 s c =============================================================================== c | 0 | 4955 5268 1295250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26523 c Elapsed CPU time: 133.712 s Remaining CPU time: 46.2883 s c =============================================================================== c | 0 | 4955 5269 1300100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26522 c Elapsed CPU time: 134.702 s Remaining CPU time: 45.2985 s c =============================================================================== c | 0 | 4955 5270 1304950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26520 c Elapsed CPU time: 135.675 s Remaining CPU time: 44.3246 s c =============================================================================== c | 0 | 4955 5271 1309800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26519 c Elapsed CPU time: 136.616 s Remaining CPU time: 43.3838 s c =============================================================================== c | 0 | 4955 5272 1314650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26518 c Elapsed CPU time: 137.556 s Remaining CPU time: 42.4439 s c =============================================================================== c | 0 | 4955 5273 1319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26517 c Elapsed CPU time: 138.493 s Remaining CPU time: 41.5071 s c =============================================================================== c | 0 | 4955 5274 1324350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26516 c Elapsed CPU time: 139.439 s Remaining CPU time: 40.5612 s c =============================================================================== c | 0 | 4955 5275 1329200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26514 c Elapsed CPU time: 140.407 s Remaining CPU time: 39.5933 s c =============================================================================== c | 0 | 4955 5276 1334050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26512 c Elapsed CPU time: 141.357 s Remaining CPU time: 38.6435 s c =============================================================================== c | 0 | 4955 5277 1338900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26510 c Elapsed CPU time: 142.302 s Remaining CPU time: 37.6976 s c =============================================================================== c | 0 | 4955 5278 1343750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26509 c Elapsed CPU time: 143.243 s Remaining CPU time: 36.7568 s c =============================================================================== c | 0 | 4955 5279 1348600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26507 c Elapsed CPU time: 144.225 s Remaining CPU time: 35.7749 s c =============================================================================== c | 0 | 4955 5280 1353450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26506 c Elapsed CPU time: 145.233 s Remaining CPU time: 34.7671 s c =============================================================================== c | 0 | 4955 5281 1358300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26505 c Elapsed CPU time: 146.248 s Remaining CPU time: 33.7522 s c =============================================================================== c | 0 | 4955 5282 1363150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26502 c Elapsed CPU time: 147.255 s Remaining CPU time: 32.7454 s c =============================================================================== c | 0 | 4955 5283 1368000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26501 c Elapsed CPU time: 148.264 s Remaining CPU time: 31.7355 s c =============================================================================== c | 1 | 4955 5284 1372850 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26500 c Elapsed CPU time: 149.3 s Remaining CPU time: 30.6997 s c =============================================================================== c | 1 | 4955 5285 1377700 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26499 c Elapsed CPU time: 150.296 s Remaining CPU time: 29.7038 s c =============================================================================== c | 1 | 4955 5286 1382550 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26498 c Elapsed CPU time: 151.362 s Remaining CPU time: 28.638 s c =============================================================================== c | 1 | 4955 5287 1387400 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26497 c Elapsed CPU time: 152.434 s Remaining CPU time: 27.5662 s c =============================================================================== c | 1 | 4955 5288 1392250 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26495 c Elapsed CPU time: 153.493 s Remaining CPU time: 26.5073 s c =============================================================================== c | 1 | 4955 5289 1397100 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26494 c Elapsed CPU time: 154.552 s Remaining CPU time: 25.4485 s c =============================================================================== c | 1 | 4955 5290 1401950 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26493 c Elapsed CPU time: 155.702 s Remaining CPU time: 24.2977 s c =============================================================================== c | 1 | 4955 5291 1406800 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26492 c Elapsed CPU time: 156.812 s Remaining CPU time: 23.1878 s c =============================================================================== c | 1 | 4955 5292 1411650 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26491 c Elapsed CPU time: 157.969 s Remaining CPU time: 22.031 s c =============================================================================== c | 1 | 4955 5293 1416500 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26490 c Elapsed CPU time: 159.072 s Remaining CPU time: 20.9282 s c =============================================================================== c | 1 | 4955 5294 1421350 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26489 c Elapsed CPU time: 160.162 s Remaining CPU time: 19.8383 s c =============================================================================== c | 1 | 4955 5295 1426200 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26488 c Elapsed CPU time: 161.298 s Remaining CPU time: 18.7015 s c =============================================================================== c | 1 | 4955 5296 1431050 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26486 c Elapsed CPU time: 162.347 s Remaining CPU time: 17.6527 s c =============================================================================== c | 1 | 4955 5297 1435900 | 5000 1 4782 | 0.000 % | c =============================================================================== c New solution: 26485 c Elapsed CPU time: 163.436 s Remaining CPU time: 16.5638 s c =============================================================================== c | 2 | 4955 5298 1440750 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26484 c Elapsed CPU time: 164.497 s Remaining CPU time: 15.503 s c =============================================================================== c | 2 | 4955 5299 1445600 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26483 c Elapsed CPU time: 165.561 s Remaining CPU time: 14.4392 s c =============================================================================== c | 2 | 4955 5300 1450450 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26482 c Elapsed CPU time: 166.694 s Remaining CPU time: 13.3063 s c =============================================================================== c | 2 | 4955 5301 1455300 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26481 c Elapsed CPU time: 167.819 s Remaining CPU time: 12.1805 s c =============================================================================== c | 2 | 4955 5302 1460150 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26480 c Elapsed CPU time: 169.048 s Remaining CPU time: 10.9517 s c =============================================================================== c | 2 | 4955 5303 1465000 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26479 c Elapsed CPU time: 170.27 s Remaining CPU time: 9.72988 s c =============================================================================== c | 2 | 4955 5304 1469850 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26478 c Elapsed CPU time: 171.469 s Remaining CPU time: 8.53107 s c =============================================================================== c | 2 | 4955 5305 1474700 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26477 c Elapsed CPU time: 172.627 s Remaining CPU time: 7.37324 s c =============================================================================== c | 2 | 4955 5306 1479550 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26476 c Elapsed CPU time: 173.794 s Remaining CPU time: 6.20642 s c =============================================================================== c | 2 | 4955 5307 1484400 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26475 c Elapsed CPU time: 174.964 s Remaining CPU time: 5.0356 s c =============================================================================== c | 2 | 4955 5308 1489250 | 5000 2 4780 | 0.000 % | c =============================================================================== c New solution: 26474 c Elapsed CPU time: 176.223 s Remaining CPU time: 3.77679 s c =============================================================================== c | 3 | 4955 5309 1494100 | 5000 3 3187 | 0.000 % | c =============================================================================== c New solution: 26473 c Elapsed CPU time: 177.487 s Remaining CPU time: 2.51298 s c =============================================================================== c | 3 | 4955 5310 1498950 | 5000 3 3187 | 0.000 % | c =============================================================================== c New solution: 26472 c Elapsed CPU time: 178.754 s Remaining CPU time: 1.24617 s c =============================================================================== c | 4 | 4955 5311 1503800 | 5000 4 3584 | 0.000 % | c =============================================================================== c New solution: 26471 c Elapsed CPU time: 179.986 s Remaining CPU time: 0.014362 s c =============================================================================== c | 4 | 4955 5312 1508650 | 5000 4 3584 | 0.000 % | c There are 45 assigned variables. 23 in cost function.