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 | 4992 5002 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4850 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 4992 5003 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 4992 5004 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 4992 5005 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 4992 5006 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 4992 5007 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 4992 5008 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 4992 5009 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 4992 5010 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4842 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 4992 5011 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 4992 5012 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4840 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 4992 5013 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 4992 5014 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 4992 5015 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 4992 5016 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 4992 5017 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 4992 5018 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 0 | 4992 5019 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 4992 5020 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 4992 5021 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4831 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 0 | 4992 5022 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 4992 5023 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 0 | 4992 5024 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 0 | 4992 5025 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 4992 5026 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 0 | 4992 5027 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 0 | 4992 5028 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 0 | 4992 5029 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 0 | 4992 5030 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 0 | 4992 5031 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 0 | 4992 5032 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 0 | 4992 5033 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 0 | 4992 5034 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 0 | 4992 5035 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 0 | 4992 5036 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s c =============================================================================== c | 0 | 4992 5037 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 1.23581 s Remaining CPU time: 178.764 s c =============================================================================== c | 0 | 4992 5038 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 0 | 4992 5039 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.38479 s Remaining CPU time: 178.615 s c =============================================================================== c | 0 | 4992 5040 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.46478 s Remaining CPU time: 178.535 s c =============================================================================== c | 0 | 4992 5041 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.54876 s Remaining CPU time: 178.451 s c =============================================================================== c | 0 | 4992 5042 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 0 | 4992 5043 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 0 | 4992 5044 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.82072 s Remaining CPU time: 178.179 s c =============================================================================== c | 0 | 4992 5045 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 1.91671 s Remaining CPU time: 178.083 s c =============================================================================== c | 0 | 4992 5046 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 2.01369 s Remaining CPU time: 177.986 s c =============================================================================== c | 0 | 4992 5047 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 2.11668 s Remaining CPU time: 177.883 s c =============================================================================== c | 0 | 4992 5048 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s c =============================================================================== c | 0 | 4992 5049 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 2.33365 s Remaining CPU time: 177.666 s c =============================================================================== c | 0 | 4992 5050 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 2.44763 s Remaining CPU time: 177.552 s c =============================================================================== c | 0 | 4992 5051 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 0 | 4992 5052 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.68059 s Remaining CPU time: 177.319 s c =============================================================================== c | 0 | 4992 5053 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.80257 s Remaining CPU time: 177.197 s c =============================================================================== c | 0 | 4992 5054 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 2.92656 s Remaining CPU time: 177.073 s c =============================================================================== c | 0 | 4992 5055 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 3.05354 s Remaining CPU time: 176.946 s c =============================================================================== c | 0 | 4992 5056 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 3.18452 s Remaining CPU time: 176.815 s c =============================================================================== c | 0 | 4992 5057 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 3.31549 s Remaining CPU time: 176.685 s c =============================================================================== c | 0 | 4992 5058 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 3.45147 s Remaining CPU time: 176.549 s c =============================================================================== c | 0 | 4992 5059 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 0 | 4992 5060 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 3.73143 s Remaining CPU time: 176.269 s c =============================================================================== c | 0 | 4992 5061 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 3.87741 s Remaining CPU time: 176.123 s c =============================================================================== c | 0 | 4992 5062 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4790 c Elapsed CPU time: 4.02639 s Remaining CPU time: 175.974 s c =============================================================================== c | 0 | 4992 5063 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 4.18236 s Remaining CPU time: 175.818 s c =============================================================================== c | 0 | 4992 5064 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 4.34234 s Remaining CPU time: 175.658 s c =============================================================================== c | 0 | 4992 5065 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 4.50432 s Remaining CPU time: 175.496 s c =============================================================================== c | 0 | 4992 5066 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 4.66829 s Remaining CPU time: 175.332 s c =============================================================================== c | 0 | 4992 5067 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 4.83526 s Remaining CPU time: 175.165 s c =============================================================================== c | 0 | 4992 5068 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 5.02324 s Remaining CPU time: 174.977 s c =============================================================================== c | 0 | 4992 5069 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 5.21221 s Remaining CPU time: 174.788 s c =============================================================================== c | 0 | 4992 5070 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 5.41118 s Remaining CPU time: 174.589 s c =============================================================================== c | 0 | 4992 5071 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 5.61215 s Remaining CPU time: 174.388 s c =============================================================================== c | 0 | 4992 5072 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 5.81712 s Remaining CPU time: 174.183 s c =============================================================================== c | 0 | 4992 5073 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 6.02308 s Remaining CPU time: 173.977 s c =============================================================================== c | 0 | 4992 5074 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 6.23305 s Remaining CPU time: 173.767 s c =============================================================================== c | 0 | 4992 5075 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 6.44602 s Remaining CPU time: 173.554 s c =============================================================================== c | 0 | 4992 5076 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 6.66099 s Remaining CPU time: 173.339 s c =============================================================================== c | 0 | 4992 5077 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 6.87995 s Remaining CPU time: 173.12 s c =============================================================================== c | 0 | 4992 5078 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 7.10092 s Remaining CPU time: 172.899 s c =============================================================================== c | 0 | 4992 5079 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 7.32888 s Remaining CPU time: 172.671 s c =============================================================================== c | 0 | 4992 5080 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 7.55785 s Remaining CPU time: 172.442 s c =============================================================================== c | 0 | 4992 5081 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 7.78881 s Remaining CPU time: 172.211 s c =============================================================================== c | 0 | 4992 5082 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 8.02578 s Remaining CPU time: 171.974 s c =============================================================================== c | 0 | 4992 5083 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 8.26474 s Remaining CPU time: 171.735 s c =============================================================================== c | 0 | 4992 5084 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 8.50771 s Remaining CPU time: 171.492 s c =============================================================================== c | 0 | 4992 5085 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 8.75067 s Remaining CPU time: 171.249 s c =============================================================================== c | 0 | 4992 5086 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 8.99763 s Remaining CPU time: 171.002 s c =============================================================================== c | 0 | 4992 5087 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 9.24759 s Remaining CPU time: 170.752 s c =============================================================================== c | 0 | 4992 5088 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 9.50155 s Remaining CPU time: 170.498 s c =============================================================================== c | 0 | 4992 5089 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 9.75552 s Remaining CPU time: 170.244 s c =============================================================================== c | 0 | 4992 5090 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 10.0095 s Remaining CPU time: 169.991 s c =============================================================================== c | 0 | 4992 5091 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 10.2694 s Remaining CPU time: 169.731 s c =============================================================================== c | 0 | 4992 5092 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 10.5364 s Remaining CPU time: 169.464 s c =============================================================================== c | 0 | 4992 5093 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 10.8054 s Remaining CPU time: 169.195 s c =============================================================================== c | 0 | 4992 5094 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 11.0723 s Remaining CPU time: 168.928 s c =============================================================================== c | 0 | 4992 5095 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 11.3473 s Remaining CPU time: 168.653 s c =============================================================================== c | 0 | 4992 5096 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 11.6212 s Remaining CPU time: 168.379 s c =============================================================================== c | 0 | 4992 5097 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 11.8952 s Remaining CPU time: 168.105 s c =============================================================================== c | 0 | 4992 5098 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 12.1771 s Remaining CPU time: 167.823 s c =============================================================================== c | 0 | 4992 5099 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 12.4571 s Remaining CPU time: 167.543 s c =============================================================================== c | 0 | 4992 5100 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 12.7401 s Remaining CPU time: 167.26 s c =============================================================================== c | 0 | 4992 5101 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 13.028 s Remaining CPU time: 166.972 s c =============================================================================== c | 0 | 4992 5102 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 13.326 s Remaining CPU time: 166.674 s c =============================================================================== c | 0 | 4992 5103 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 13.6259 s Remaining CPU time: 166.374 s c =============================================================================== c | 0 | 4992 5104 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 13.9259 s Remaining CPU time: 166.074 s c =============================================================================== c | 0 | 4992 5105 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 14.2248 s Remaining CPU time: 165.775 s c =============================================================================== c | 0 | 4992 5106 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 14.5258 s Remaining CPU time: 165.474 s c =============================================================================== c | 0 | 4992 5107 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 14.8297 s Remaining CPU time: 165.17 s c =============================================================================== c | 0 | 4992 5108 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 15.1347 s Remaining CPU time: 164.865 s c =============================================================================== c | 0 | 4992 5109 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 15.4437 s Remaining CPU time: 164.556 s c =============================================================================== c | 0 | 4992 5110 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 15.7526 s Remaining CPU time: 164.247 s c =============================================================================== c | 0 | 4992 5111 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 16.0656 s Remaining CPU time: 163.934 s c =============================================================================== c | 0 | 4992 5112 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 16.3785 s Remaining CPU time: 163.621 s c =============================================================================== c | 0 | 4992 5113 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 16.6955 s Remaining CPU time: 163.305 s c =============================================================================== c | 0 | 4992 5114 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 17.0154 s Remaining CPU time: 162.985 s c =============================================================================== c | 0 | 4992 5115 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 17.3414 s Remaining CPU time: 162.659 s c =============================================================================== c | 0 | 4992 5116 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 17.6663 s Remaining CPU time: 162.334 s c =============================================================================== c | 0 | 4992 5117 572600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 17.9973 s Remaining CPU time: 162.003 s c =============================================================================== c | 0 | 4992 5118 577450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 18.3252 s Remaining CPU time: 161.675 s c =============================================================================== c | 0 | 4992 5119 582300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 18.6562 s Remaining CPU time: 161.344 s c =============================================================================== c | 0 | 4992 5120 587150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 18.9911 s Remaining CPU time: 161.009 s c =============================================================================== c | 0 | 4992 5121 592000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 19.3411 s Remaining CPU time: 160.659 s c =============================================================================== c | 0 | 4992 5122 596850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 19.691 s Remaining CPU time: 160.309 s c =============================================================================== c | 0 | 4992 5123 601700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 20.041 s Remaining CPU time: 159.959 s c =============================================================================== c | 0 | 4992 5124 606550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 20.3959 s Remaining CPU time: 159.604 s c =============================================================================== c | 0 | 4992 5125 611400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 20.7518 s Remaining CPU time: 159.248 s c =============================================================================== c | 0 | 4992 5126 616250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 21.1098 s Remaining CPU time: 158.89 s c =============================================================================== c | 0 | 4992 5127 621100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 21.4677 s Remaining CPU time: 158.532 s c =============================================================================== c | 0 | 4992 5128 625950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 21.8237 s Remaining CPU time: 158.176 s c =============================================================================== c | 0 | 4992 5129 630800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 22.1856 s Remaining CPU time: 157.814 s c =============================================================================== c | 0 | 4992 5130 635650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 22.5516 s Remaining CPU time: 157.448 s c =============================================================================== c | 0 | 4992 5131 640500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 22.9205 s Remaining CPU time: 157.079 s c =============================================================================== c | 0 | 4992 5132 645350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 23.2915 s Remaining CPU time: 156.709 s c =============================================================================== c | 0 | 4992 5133 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 23.6774 s Remaining CPU time: 156.323 s c =============================================================================== c | 0 | 4992 5134 655050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 24.0103 s Remaining CPU time: 155.99 s c =============================================================================== c | 0 | 4992 5135 659900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 24.3553 s Remaining CPU time: 155.645 s c =============================================================================== c | 0 | 4992 5136 664750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 24.7712 s Remaining CPU time: 155.229 s c =============================================================================== c | 0 | 4992 5137 669600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 25.1912 s Remaining CPU time: 154.809 s c =============================================================================== c | 0 | 4992 5138 674450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 25.6111 s Remaining CPU time: 154.389 s c =============================================================================== c | 0 | 4992 5139 679300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 26.035 s Remaining CPU time: 153.965 s c =============================================================================== c | 0 | 4992 5140 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 26.454 s Remaining CPU time: 153.546 s c =============================================================================== c | 0 | 4992 5141 689000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 26.8349 s Remaining CPU time: 153.165 s c =============================================================================== c | 0 | 4992 5142 693850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 27.1779 s Remaining CPU time: 152.822 s c =============================================================================== c | 0 | 4992 5143 698700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 27.5798 s Remaining CPU time: 152.42 s c =============================================================================== c | 0 | 4992 5144 703550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 28.0087 s Remaining CPU time: 151.991 s c =============================================================================== c | 0 | 4992 5145 708400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 28.4187 s Remaining CPU time: 151.581 s c =============================================================================== c | 0 | 4992 5146 713250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 28.8506 s Remaining CPU time: 151.149 s c =============================================================================== c | 0 | 4992 5147 718100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 29.2296 s Remaining CPU time: 150.77 s c =============================================================================== c | 0 | 4992 5148 722950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 29.6645 s Remaining CPU time: 150.336 s c =============================================================================== c | 0 | 4992 5149 727800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 30.1114 s Remaining CPU time: 149.889 s c =============================================================================== c | 0 | 4992 5150 732650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 30.5624 s Remaining CPU time: 149.438 s c =============================================================================== c | 0 | 4992 5151 737500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 31.0133 s Remaining CPU time: 148.987 s c =============================================================================== c | 0 | 4992 5152 742350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 31.4672 s Remaining CPU time: 148.533 s c =============================================================================== c | 0 | 4992 5153 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 31.9221 s Remaining CPU time: 148.078 s c =============================================================================== c | 0 | 4992 5154 752050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 32.3801 s Remaining CPU time: 147.62 s c =============================================================================== c | 0 | 4992 5155 756900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 32.841 s Remaining CPU time: 147.159 s c =============================================================================== c | 0 | 4992 5156 761750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 33.3109 s Remaining CPU time: 146.689 s c =============================================================================== c | 0 | 4992 5157 766600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 33.7869 s Remaining CPU time: 146.213 s c =============================================================================== c | 0 | 4992 5158 771450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 34.2638 s Remaining CPU time: 145.736 s c =============================================================================== c | 0 | 4992 5159 776300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 34.7417 s Remaining CPU time: 145.258 s c =============================================================================== c | 0 | 4992 5160 781150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 35.2246 s Remaining CPU time: 144.775 s c =============================================================================== c | 0 | 4992 5161 786000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 35.7066 s Remaining CPU time: 144.293 s c =============================================================================== c | 0 | 4992 5162 790850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 36.1945 s Remaining CPU time: 143.806 s c =============================================================================== c | 0 | 4992 5163 795700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 36.6784 s Remaining CPU time: 143.322 s c =============================================================================== c | 0 | 4992 5164 800550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 37.1713 s Remaining CPU time: 142.829 s c =============================================================================== c | 0 | 4992 5165 805400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 37.6643 s Remaining CPU time: 142.336 s c =============================================================================== c | 0 | 4992 5166 810250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 38.1612 s Remaining CPU time: 141.839 s c =============================================================================== c | 0 | 4992 5167 815100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 38.6561 s Remaining CPU time: 141.344 s c =============================================================================== c | 0 | 4992 5168 819950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 39.16 s Remaining CPU time: 140.84 s c =============================================================================== c | 0 | 4992 5169 824800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 39.663 s Remaining CPU time: 140.337 s c =============================================================================== c | 0 | 4992 5170 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 40.1679 s Remaining CPU time: 139.832 s c =============================================================================== c | 0 | 4992 5171 834500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 40.6778 s Remaining CPU time: 139.322 s c =============================================================================== c | 0 | 4992 5172 839350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 41.2067 s Remaining CPU time: 138.793 s c =============================================================================== c | 2 | 4992 5173 844200 | 5000 2 4682 | 0.000 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 41.7147 s Remaining CPU time: 138.285 s c =============================================================================== c | 2 | 4992 5174 849050 | 5000 2 4682 | 0.000 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 42.2296 s Remaining CPU time: 137.77 s c =============================================================================== c | 3 | 4992 5175 853900 | 5000 3 4681 | 0.000 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 42.7525 s Remaining CPU time: 137.248 s c =============================================================================== c | 3 | 4992 5176 858750 | 5000 3 4681 | 0.000 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 43.2844 s Remaining CPU time: 136.716 s c =============================================================================== c | 3 | 4992 5177 863600 | 5000 3 4681 | 0.000 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 43.8143 s Remaining CPU time: 136.186 s c =============================================================================== c | 4 | 4992 5178 868450 | 5000 4 4680 | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 44.4622 s Remaining CPU time: 135.538 s c =============================================================================== c | 42 | 4992 5179 873300 | 5000 42 4677 | 0.000 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 45.0392 s Remaining CPU time: 134.961 s c =============================================================================== c | 61 | 4992 5180 878150 | 5000 61 4677 | 0.000 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 45.5641 s Remaining CPU time: 134.436 s c =============================================================================== c | 67 | 4992 5181 883000 | 5000 67 4676 | 0.000 % | c | 167 | 4992 5181 883000 | 5500 167 4675 | 0.160 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 46.9529 s Remaining CPU time: 133.047 s c =============================================================================== c | 183 | 4992 5182 887850 | 5000 183 4675 | 0.160 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 47.4808 s Remaining CPU time: 132.519 s c =============================================================================== c | 185 | 4992 5183 892700 | 5000 185 4675 | 0.160 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 48.0107 s Remaining CPU time: 131.989 s c =============================================================================== c | 187 | 4992 5184 897550 | 5000 187 4675 | 0.160 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 48.5336 s Remaining CPU time: 131.466 s c =============================================================================== c | 188 | 4992 5185 902400 | 5000 188 4675 | 0.160 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 49.0625 s Remaining CPU time: 130.937 s c =============================================================================== c | 190 | 4992 5186 907250 | 5000 190 4675 | 0.160 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 49.6025 s Remaining CPU time: 130.398 s c =============================================================================== c | 192 | 4992 5187 912100 | 5000 192 4674 | 0.160 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 50.2324 s Remaining CPU time: 129.768 s c =============================================================================== c | 223 | 4992 5188 916950 | 5000 223 4673 | 0.160 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 50.8003 s Remaining CPU time: 129.2 s c =============================================================================== c | 248 | 4992 5189 921800 | 5000 248 4673 | 0.160 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 51.3432 s Remaining CPU time: 128.657 s c =============================================================================== c | 249 | 4992 5190 926650 | 5000 249 4654 | 0.160 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 51.9191 s Remaining CPU time: 128.081 s c =============================================================================== c | 274 | 4992 5191 931500 | 5000 274 4655 | 0.160 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 52.511 s Remaining CPU time: 127.489 s c =============================================================================== c | 291 | 4992 5192 936350 | 5000 291 4655 | 0.160 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 53.0799 s Remaining CPU time: 126.92 s c =============================================================================== c | 302 | 4992 5193 941200 | 5000 302 4609 | 0.160 % | c | 402 | 4992 5193 941200 | 5500 402 4622 | 0.160 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 54.3027 s Remaining CPU time: 125.697 s c =============================================================================== c | 402 | 4992 5194 946050 | 5000 402 4622 | 0.160 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 54.8657 s Remaining CPU time: 125.134 s c =============================================================================== c | 405 | 4992 5195 950900 | 5000 405 4623 | 0.160 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 55.4356 s Remaining CPU time: 124.564 s c =============================================================================== c | 408 | 4992 5196 955750 | 5000 408 4623 | 0.160 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 56.0005 s Remaining CPU time: 124 s c =============================================================================== c | 409 | 4992 5197 960600 | 5000 409 4623 | 0.160 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 56.5804 s Remaining CPU time: 123.42 s c =============================================================================== c | 414 | 4992 5198 965450 | 5000 414 4623 | 0.160 % | c =============================================================================== c New solution: 4654 c Elapsed CPU time: 57.1653 s Remaining CPU time: 122.835 s c =============================================================================== c | 421 | 4992 5199 970300 | 5000 421 4624 | 0.160 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 57.7432 s Remaining CPU time: 122.257 s c =============================================================================== c | 422 | 4992 5200 975150 | 5000 422 4624 | 0.160 % | c =============================================================================== c New solution: 4652 c Elapsed CPU time: 58.3391 s Remaining CPU time: 121.661 s c =============================================================================== c | 431 | 4992 5201 980000 | 5000 431 4625 | 0.160 % | c | 531 | 4992 5201 980000 | 5500 531 4630 | 0.160 % | c =============================================================================== c New solution: 4651 c Elapsed CPU time: 59.8639 s Remaining CPU time: 120.136 s c =============================================================================== c | 552 | 4992 5202 984850 | 5000 552 4631 | 0.160 % | c =============================================================================== c New solution: 4650 c Elapsed CPU time: 60.4668 s Remaining CPU time: 119.533 s c =============================================================================== c | 562 | 4992 5203 989700 | 5000 562 4631 | 0.160 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 61.1587 s Remaining CPU time: 118.841 s c =============================================================================== c | 634 | 4992 5204 994550 | 5000 634 4634 | 0.160 % | c | 736 | 4992 5204 994550 | 5500 736 4636 | 0.160 % | c =============================================================================== c New solution: 4648 c Elapsed CPU time: 62.7465 s Remaining CPU time: 117.254 s c =============================================================================== c | 778 | 4992 5205 999400 | 5000 778 4637 | 0.160 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 63.3974 s Remaining CPU time: 116.603 s c =============================================================================== c | 813 | 4992 5206 1004250 | 5000 813 4637 | 0.160 % | c | 914 | 4992 5206 1004250 | 5500 914 4639 | 0.160 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 65.1141 s Remaining CPU time: 114.886 s c =============================================================================== c | 1032 | 4992 5207 1009100 | 5000 1032 4635 | 0.160 % | c =============================================================================== c New solution: 4645 c Elapsed CPU time: 65.8 s Remaining CPU time: 114.2 s c =============================================================================== c | 1049 | 4992 5208 1013950 | 5000 1049 4635 | 0.160 % | c =============================================================================== c New solution: 4644 c Elapsed CPU time: 66.4439 s Remaining CPU time: 113.556 s c =============================================================================== c | 1060 | 4992 5209 1018800 | 5000 1060 4635 | 0.160 % | c =============================================================================== c New solution: 4643 c Elapsed CPU time: 67.0858 s Remaining CPU time: 112.914 s c =============================================================================== c | 1075 | 4992 5210 1023650 | 5000 1075 4636 | 0.160 % | c =============================================================================== c New solution: 4642 c Elapsed CPU time: 67.7737 s Remaining CPU time: 112.226 s c =============================================================================== c | 1130 | 4992 5211 1028500 | 5000 1130 4636 | 0.160 % | c =============================================================================== c New solution: 4641 c Elapsed CPU time: 68.4066 s Remaining CPU time: 111.593 s c =============================================================================== c | 1139 | 4992 5212 1033350 | 5000 1139 4636 | 0.160 % | c =============================================================================== c New solution: 4640 c Elapsed CPU time: 69.0625 s Remaining CPU time: 110.938 s c =============================================================================== c | 1159 | 4992 5213 1038200 | 5000 1159 4636 | 0.160 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 69.7184 s Remaining CPU time: 110.282 s c =============================================================================== c | 1177 | 4992 5214 1043050 | 5000 1177 4636 | 0.160 % | c =============================================================================== c New solution: 4638 c Elapsed CPU time: 70.3513 s Remaining CPU time: 109.649 s c =============================================================================== c | 1184 | 4992 5215 1047900 | 5000 1184 4636 | 0.160 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 71.0222 s Remaining CPU time: 108.978 s c =============================================================================== c | 1219 | 4992 5216 1052750 | 5000 1219 4636 | 0.160 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 71.6671 s Remaining CPU time: 108.333 s c =============================================================================== c | 1230 | 4992 5217 1057600 | 5000 1230 4636 | 0.160 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 72.298 s Remaining CPU time: 107.702 s c =============================================================================== c | 1230 | 4992 5218 1062450 | 5000 1230 4636 | 0.160 % | c | 1330 | 4992 5218 1062450 | 5500 1330 4636 | 0.160 % | c =============================================================================== c New solution: 4634 c Elapsed CPU time: 74.2477 s Remaining CPU time: 105.752 s c =============================================================================== c | 1458 | 4992 5219 1067300 | 5000 1458 4636 | 0.160 % | c | 1559 | 4992 5219 1067300 | 5500 1559 4636 | 0.160 % | c | 1709 | 4992 5219 1067300 | 6050 1709 4636 | 0.160 % | c =============================================================================== c New solution: 4633 c Elapsed CPU time: 77.3132 s Remaining CPU time: 102.687 s c =============================================================================== c | 1884 | 4992 5220 1072150 | 5000 1884 4636 | 0.160 % | c =============================================================================== c New solution: 4632 c Elapsed CPU time: 78.1831 s Remaining CPU time: 101.817 s c =============================================================================== c | 1982 | 4992 5221 1077000 | 5000 1982 4636 | 0.160 % | c | 2082 | 4992 5221 1077000 | 5500 2082 4636 | 0.160 % | c =============================================================================== c New solution: 4631 c Elapsed CPU time: 80.0108 s Remaining CPU time: 99.9892 s c =============================================================================== c | 2123 | 4992 5222 1081850 | 5000 2123 4636 | 0.160 % | c =============================================================================== c New solution: 4630 c Elapsed CPU time: 80.8457 s Remaining CPU time: 99.1543 s c =============================================================================== c | 2195 | 4992 5223 1086700 | 5000 2195 4636 | 0.160 % | c | 2296 | 4992 5223 1086700 | 5500 2296 4636 | 0.160 % | c | 2447 | 4992 5223 1086700 | 6050 2447 4635 | 0.160 % | c =============================================================================== c New solution: 4629 c Elapsed CPU time: 83.9492 s Remaining CPU time: 96.0508 s c =============================================================================== c | 2481 | 4992 5224 1091550 | 5000 2481 4635 | 0.160 % | c | 2581 | 4992 5224 1091550 | 5500 2581 4635 | 0.160 % | c =============================================================================== c New solution: 4628 c Elapsed CPU time: 85.782 s Remaining CPU time: 94.218 s c =============================================================================== c | 2629 | 4992 5225 1096400 | 5000 2629 4635 | 0.160 % | c | 2730 | 4992 5225 1096400 | 5500 2730 4635 | 0.160 % | c | 2880 | 4992 5225 1096400 | 6050 2880 4634 | 0.160 % | c | 3105 | 4992 5225 1096400 | 6655 3105 4634 | 0.160 % | c =============================================================================== c New solution: 4627 c Elapsed CPU time: 91.1751 s Remaining CPU time: 88.8249 s c =============================================================================== c | 3441 | 4992 5226 1101250 | 5000 3441 4632 | 0.160 % | c | 3541 | 4992 5226 1101250 | 5500 3541 4632 | 0.160 % | c =============================================================================== c New solution: 4626 c Elapsed CPU time: 92.7999 s Remaining CPU time: 87.2001 s c =============================================================================== c | 3563 | 4992 5227 1106100 | 5000 3563 4632 | 0.160 % | c =============================================================================== c New solution: 4625 c Elapsed CPU time: 93.8497 s Remaining CPU time: 86.1503 s c =============================================================================== c | 3662 | 4992 5228 1110950 | 5000 3662 4632 | 0.160 % | c | 3762 | 4992 5228 1110950 | 5500 3762 4632 | 0.160 % | c =============================================================================== c New solution: 4624 c Elapsed CPU time: 95.6425 s Remaining CPU time: 84.3575 s c =============================================================================== c | 3805 | 4992 5229 1115800 | 5000 3805 4632 | 0.160 % | c | 3905 | 4992 5229 1115800 | 5500 3905 4632 | 0.160 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 97.7471 s Remaining CPU time: 82.2529 s c =============================================================================== c | 3964 | 4992 5230 1120650 | 5000 3964 4632 | 0.160 % | c | 4064 | 4992 5230 1120650 | 5500 4064 4631 | 0.160 % | c =============================================================================== c New solution: 4622 c Elapsed CPU time: 99.3919 s Remaining CPU time: 80.6081 s c =============================================================================== c | 4127 | 4992 5231 1125500 | 5000 4127 4631 | 0.160 % | c | 4228 | 4992 5231 1125500 | 5500 4228 4631 | 0.160 % | c | 4379 | 4992 5231 1125500 | 6050 4379 4631 | 0.160 % | c =============================================================================== c New solution: 4621 c Elapsed CPU time: 102.224 s Remaining CPU time: 77.7755 s c =============================================================================== c | 4398 | 4992 5232 1130350 | 5000 4398 4631 | 0.160 % | c | 4498 | 4992 5232 1130350 | 5500 4498 4630 | 0.160 % | c =============================================================================== c New solution: 4620 c Elapsed CPU time: 103.813 s Remaining CPU time: 76.1868 s c =============================================================================== c | 4513 | 4992 5233 1135200 | 5000 4513 4630 | 0.160 % | c | 4613 | 4992 5233 1135200 | 5500 4613 4629 | 0.160 % | c | 4764 | 4992 5233 1135200 | 6050 4764 4629 | 0.160 % | c =============================================================================== c New solution: 4619 c Elapsed CPU time: 107.301 s Remaining CPU time: 72.6993 s c =============================================================================== c | 4838 | 4992 5234 1140050 | 5000 4838 4629 | 0.160 % | c =============================================================================== c New solution: 4618 c Elapsed CPU time: 108.554 s Remaining CPU time: 71.4455 s c =============================================================================== c | 4936 | 4992 5235 1144900 | 5000 4936 4629 | 0.160 % | c =============================================================================== c New solution: 4617 c Elapsed CPU time: 109.454 s Remaining CPU time: 70.5456 s c =============================================================================== c | 4992 | 4992 5236 1149750 | 5000 4992 4629 | 0.160 % | c | 5092 | 4992 5236 1149750 | 5500 5092 4628 | 0.160 % | c | 5245 | 4992 5236 1149750 | 6050 5245 4627 | 0.160 % | c =============================================================================== c New solution: 4616 c Elapsed CPU time: 112.531 s Remaining CPU time: 67.4691 s c =============================================================================== c | 5318 | 4992 5237 1154600 | 5000 5318 4627 | 0.160 % | c | 5418 | 4992 5237 1154600 | 5500 2759 4611 | 0.160 % | c | 5569 | 4992 5237 1154600 | 6050 2910 4611 | 0.160 % | c =============================================================================== c New solution: 4615 c Elapsed CPU time: 116.176 s Remaining CPU time: 63.8237 s c =============================================================================== c | 5684 | 4992 5238 1159450 | 5000 3025 4610 | 0.160 % | c | 5784 | 4992 5238 1159450 | 5500 3125 4610 | 0.160 % | c =============================================================================== c New solution: 4614 c Elapsed CPU time: 118.499 s Remaining CPU time: 61.501 s c =============================================================================== c | 5912 | 4992 5239 1164300 | 5000 3253 4611 | 0.160 % | c | 6013 | 4992 5239 1164300 | 5500 3354 4611 | 0.160 % | c =============================================================================== c New solution: 4613 c Elapsed CPU time: 120.217 s Remaining CPU time: 59.7833 s c =============================================================================== c | 6075 | 4992 5240 1169150 | 5000 3416 4611 | 0.160 % | c =============================================================================== c New solution: 4612 c Elapsed CPU time: 120.988 s Remaining CPU time: 59.0124 s c =============================================================================== c | 6168 | 4992 5241 1174000 | 5000 3509 4611 | 0.160 % | c =============================================================================== c New solution: 4611 c Elapsed CPU time: 121.594 s Remaining CPU time: 58.4065 s c =============================================================================== c | 6200 | 4992 5242 1178850 | 5000 3541 4611 | 0.160 % | c | 6300 | 4992 5242 1178850 | 5500 3641 4611 | 0.160 % | c | 6450 | 4992 5242 1178850 | 6050 3791 4611 | 0.160 % | c | 6676 | 4992 5242 1178850 | 6655 4017 4611 | 0.160 % | c | 7014 | 4992 5242 1178850 | 7320 4355 4611 | 0.160 % | c =============================================================================== c New solution: 4610 c Elapsed CPU time: 128.24 s Remaining CPU time: 51.7605 s c =============================================================================== c | 7168 | 4992 5243 1183700 | 5000 4509 4611 | 0.160 % | c =============================================================================== c New solution: 4609 c Elapsed CPU time: 128.948 s Remaining CPU time: 51.0516 s c =============================================================================== c | 7243 | 4992 5244 1188550 | 5000 4584 4611 | 0.160 % | c | 7343 | 4992 5244 1188550 | 5500 4684 4611 | 0.160 % | c | 7494 | 4992 5244 1188550 | 6050 4835 4611 | 0.160 % | c =============================================================================== c New solution: 4608 c Elapsed CPU time: 132.316 s Remaining CPU time: 47.6841 s c =============================================================================== c | 7564 | 4992 5245 1193400 | 5000 4905 4611 | 0.160 % | c | 7664 | 4992 5245 1193400 | 5500 5005 4611 | 0.160 % | c | 7814 | 4992 5245 1193400 | 6050 5155 4611 | 0.160 % | c | 8040 | 4992 5245 1193400 | 6655 5381 4611 | 0.160 % | c | 8378 | 4992 5245 1193400 | 7320 5719 4611 | 0.160 % | c | 8885 | 4992 5245 1193400 | 8052 6226 4611 | 0.160 % | c =============================================================================== c New solution: 4607 c Elapsed CPU time: 141.765 s Remaining CPU time: 38.2346 s c =============================================================================== c | 9236 | 4992 5246 1198250 | 5000 6577 4611 | 0.160 % | c | 9336 | 4992 5246 1198250 | 5500 3389 4600 | 0.160 % | c | 9486 | 4992 5246 1198250 | 6050 3539 4600 | 0.160 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 144.823 s Remaining CPU time: 35.177 s c =============================================================================== c | 9588 | 4992 5247 1203100 | 5000 3641 4601 | 0.160 % | c | 9688 | 4992 5247 1203100 | 5500 3741 4601 | 0.160 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 146.938 s Remaining CPU time: 33.0623 s c =============================================================================== c | 9823 | 4992 5248 1207950 | 5000 3876 4601 | 0.160 % | c | 9923 | 4992 5248 1207950 | 5500 3976 4601 | 0.160 % | c | 10074 | 4992 5248 1207950 | 6050 4127 4601 | 0.160 % | c | 10300 | 4992 5248 1207950 | 6655 4353 4601 | 0.160 % | c =============================================================================== c New solution: 4604 c Elapsed CPU time: 151.613 s Remaining CPU time: 28.387 s c =============================================================================== c | 10423 | 4992 5249 1212800 | 5000 4476 4602 | 0.160 % | c | 10523 | 4992 5249 1212800 | 5500 4576 4602 | 0.160 % | c | 10673 | 4992 5249 1212800 | 6050 4726 4602 | 0.160 % | c | 10898 | 4992 5249 1212800 | 6655 4951 4602 | 0.160 % | c | 11236 | 4992 5249 1212800 | 7320 5289 4602 | 0.160 % | c | 11742 | 4992 5249 1212800 | 8052 5795 4603 | 0.160 % | c | 12501 | 4992 5249 1212800 | 8857 6554 4602 | 0.160 % | c | 13641 | 4992 5249 1212800 | 9743 7694 4603 | 0.160 % | c | 15349 | 4992 5249 1212800 | 10717 9402 4603 | 0.160 % | c There are 8 assigned variables. 2 in cost function.