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 | 4987 5002 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4850 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 4987 5003 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 4987 5004 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 4987 5005 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 4987 5006 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 4987 5007 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 4987 5008 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 4987 5009 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 4987 5010 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4842 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 4987 5011 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 4987 5012 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4840 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 4987 5013 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 4987 5014 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 4987 5015 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 4987 5016 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 4987 5017 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 4987 5018 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 4987 5019 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 4987 5020 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 4987 5021 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4831 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 0 | 4987 5022 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 0 | 4987 5023 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 0 | 4987 5024 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 0 | 4987 5025 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 4987 5026 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 0 | 4987 5027 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 0 | 4987 5028 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 0 | 4987 5029 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 0 | 4987 5030 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s c =============================================================================== c | 0 | 4987 5031 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 0 | 4987 5032 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 0 | 4987 5033 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 0 | 4987 5034 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 0 | 4987 5035 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 0 | 4987 5036 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 0 | 4987 5037 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 0 | 4987 5038 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.35679 s Remaining CPU time: 178.643 s c =============================================================================== c | 0 | 4987 5039 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.43978 s Remaining CPU time: 178.56 s c =============================================================================== c | 0 | 4987 5040 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 0 | 4987 5041 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 0 | 4987 5042 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 0 | 4987 5043 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.79573 s Remaining CPU time: 178.204 s c =============================================================================== c | 0 | 4987 5044 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.89471 s Remaining CPU time: 178.105 s c =============================================================================== c | 0 | 4987 5045 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 1.9937 s Remaining CPU time: 178.006 s c =============================================================================== c | 0 | 4987 5046 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 2.09568 s Remaining CPU time: 177.904 s c =============================================================================== c | 0 | 4987 5047 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 2.20167 s Remaining CPU time: 177.798 s c =============================================================================== c | 0 | 4987 5048 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 2.31265 s Remaining CPU time: 177.687 s c =============================================================================== c | 0 | 4987 5049 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 2.42563 s Remaining CPU time: 177.574 s c =============================================================================== c | 0 | 4987 5050 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 2.54561 s Remaining CPU time: 177.454 s c =============================================================================== c | 0 | 4987 5051 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 0 | 4987 5052 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.79358 s Remaining CPU time: 177.206 s c =============================================================================== c | 0 | 4987 5053 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.91956 s Remaining CPU time: 177.08 s c =============================================================================== c | 0 | 4987 5054 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 3.05054 s Remaining CPU time: 176.949 s c =============================================================================== c | 0 | 4987 5055 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 3.18452 s Remaining CPU time: 176.815 s c =============================================================================== c | 0 | 4987 5056 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 3.3205 s Remaining CPU time: 176.68 s c =============================================================================== c | 0 | 4987 5057 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 3.46247 s Remaining CPU time: 176.538 s c =============================================================================== c | 0 | 4987 5058 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 3.60445 s Remaining CPU time: 176.396 s c =============================================================================== c | 0 | 4987 5059 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 3.74843 s Remaining CPU time: 176.252 s c =============================================================================== c | 0 | 4987 5060 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 3.89341 s Remaining CPU time: 176.107 s c =============================================================================== c | 0 | 4987 5061 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 4.04338 s Remaining CPU time: 175.957 s c =============================================================================== c | 0 | 4987 5062 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4790 c Elapsed CPU time: 4.19436 s Remaining CPU time: 175.806 s c =============================================================================== c | 0 | 4987 5063 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 4.35234 s Remaining CPU time: 175.648 s c =============================================================================== c | 0 | 4987 5064 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 4.51431 s Remaining CPU time: 175.486 s c =============================================================================== c | 0 | 4987 5065 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 4.67729 s Remaining CPU time: 175.323 s c =============================================================================== c | 0 | 4987 5066 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 4.84226 s Remaining CPU time: 175.158 s c =============================================================================== c | 0 | 4987 5067 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 5.01024 s Remaining CPU time: 174.99 s c =============================================================================== c | 0 | 4987 5068 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 5.18321 s Remaining CPU time: 174.817 s c =============================================================================== c | 0 | 4987 5069 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 5.36818 s Remaining CPU time: 174.632 s c =============================================================================== c | 0 | 4987 5070 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 5.55415 s Remaining CPU time: 174.446 s c =============================================================================== c | 0 | 4987 5071 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 5.74213 s Remaining CPU time: 174.258 s c =============================================================================== c | 0 | 4987 5072 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 5.9341 s Remaining CPU time: 174.066 s c =============================================================================== c | 0 | 4987 5073 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 6.12907 s Remaining CPU time: 173.871 s c =============================================================================== c | 0 | 4987 5074 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 6.32604 s Remaining CPU time: 173.674 s c =============================================================================== c | 0 | 4987 5075 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 6.52301 s Remaining CPU time: 173.477 s c =============================================================================== c | 0 | 4987 5076 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 6.72598 s Remaining CPU time: 173.274 s c =============================================================================== c | 0 | 4987 5077 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 6.92995 s Remaining CPU time: 173.07 s c =============================================================================== c | 0 | 4987 5078 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 7.13991 s Remaining CPU time: 172.86 s c =============================================================================== c | 0 | 4987 5079 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 7.36288 s Remaining CPU time: 172.637 s c =============================================================================== c | 0 | 4987 5080 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 7.59384 s Remaining CPU time: 172.406 s c =============================================================================== c | 0 | 4987 5081 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 7.82581 s Remaining CPU time: 172.174 s c =============================================================================== c | 0 | 4987 5082 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 8.06377 s Remaining CPU time: 171.936 s c =============================================================================== c | 0 | 4987 5083 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 8.30474 s Remaining CPU time: 171.695 s c =============================================================================== c | 0 | 4987 5084 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 8.5447 s Remaining CPU time: 171.455 s c =============================================================================== c | 0 | 4987 5085 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 8.79066 s Remaining CPU time: 171.209 s c =============================================================================== c | 0 | 4987 5086 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 9.03763 s Remaining CPU time: 170.962 s c =============================================================================== c | 0 | 4987 5087 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 9.28659 s Remaining CPU time: 170.713 s c =============================================================================== c | 0 | 4987 5088 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 9.53655 s Remaining CPU time: 170.463 s c =============================================================================== c | 0 | 4987 5089 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 9.79151 s Remaining CPU time: 170.208 s c =============================================================================== c | 0 | 4987 5090 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 10.0455 s Remaining CPU time: 169.955 s c =============================================================================== c | 0 | 4987 5091 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 10.3034 s Remaining CPU time: 169.697 s c =============================================================================== c | 0 | 4987 5092 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 10.5644 s Remaining CPU time: 169.436 s c =============================================================================== c | 0 | 4987 5093 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 10.8284 s Remaining CPU time: 169.172 s c =============================================================================== c | 0 | 4987 5094 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 11.0963 s Remaining CPU time: 168.904 s c =============================================================================== c | 0 | 4987 5095 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 11.3723 s Remaining CPU time: 168.628 s c =============================================================================== c | 0 | 4987 5096 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 11.6472 s Remaining CPU time: 168.353 s c =============================================================================== c | 0 | 4987 5097 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 11.9242 s Remaining CPU time: 168.076 s c =============================================================================== c | 0 | 4987 5098 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 12.2031 s Remaining CPU time: 167.797 s c =============================================================================== c | 0 | 4987 5099 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 12.4851 s Remaining CPU time: 167.515 s c =============================================================================== c | 0 | 4987 5100 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 12.7681 s Remaining CPU time: 167.232 s c =============================================================================== c | 0 | 4987 5101 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 13.054 s Remaining CPU time: 166.946 s c =============================================================================== c | 0 | 4987 5102 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 13.342 s Remaining CPU time: 166.658 s c =============================================================================== c | 0 | 4987 5103 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 13.6349 s Remaining CPU time: 166.365 s c =============================================================================== c | 0 | 4987 5104 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 13.9289 s Remaining CPU time: 166.071 s c =============================================================================== c | 0 | 4987 5105 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 14.2278 s Remaining CPU time: 165.772 s c =============================================================================== c | 0 | 4987 5106 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 14.5318 s Remaining CPU time: 165.468 s c =============================================================================== c | 0 | 4987 5107 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 14.8397 s Remaining CPU time: 165.16 s c =============================================================================== c | 0 | 4987 5108 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 15.1487 s Remaining CPU time: 164.851 s c =============================================================================== c | 0 | 4987 5109 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 15.4626 s Remaining CPU time: 164.537 s c =============================================================================== c | 0 | 4987 5110 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 15.7756 s Remaining CPU time: 164.224 s c =============================================================================== c | 0 | 4987 5111 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 16.0886 s Remaining CPU time: 163.911 s c =============================================================================== c | 0 | 4987 5112 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 16.4025 s Remaining CPU time: 163.597 s c =============================================================================== c | 0 | 4987 5113 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 16.7195 s Remaining CPU time: 163.281 s c =============================================================================== c | 0 | 4987 5114 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 17.0444 s Remaining CPU time: 162.956 s c =============================================================================== c | 0 | 4987 5115 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 17.3724 s Remaining CPU time: 162.628 s c =============================================================================== c | 0 | 4987 5116 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 17.6993 s Remaining CPU time: 162.301 s c =============================================================================== c | 0 | 4987 5117 572600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 18.0653 s Remaining CPU time: 161.935 s c =============================================================================== c | 0 | 4987 5118 577450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 18.4332 s Remaining CPU time: 161.567 s c =============================================================================== c | 0 | 4987 5119 582300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 18.8011 s Remaining CPU time: 161.199 s c =============================================================================== c | 0 | 4987 5120 587150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 19.1701 s Remaining CPU time: 160.83 s c =============================================================================== c | 0 | 4987 5121 592000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 19.539 s Remaining CPU time: 160.461 s c =============================================================================== c | 0 | 4987 5122 596850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 19.907 s Remaining CPU time: 160.093 s c =============================================================================== c | 0 | 4987 5123 601700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 20.2779 s Remaining CPU time: 159.722 s c =============================================================================== c | 0 | 4987 5124 606550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 20.6499 s Remaining CPU time: 159.35 s c =============================================================================== c | 0 | 4987 5125 611400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 21.0228 s Remaining CPU time: 158.977 s c =============================================================================== c | 0 | 4987 5126 616250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 21.3987 s Remaining CPU time: 158.601 s c =============================================================================== c | 0 | 4987 5127 621100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 21.7797 s Remaining CPU time: 158.22 s c =============================================================================== c | 0 | 4987 5128 625950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 22.1636 s Remaining CPU time: 157.836 s c =============================================================================== c | 0 | 4987 5129 630800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 22.5506 s Remaining CPU time: 157.449 s c =============================================================================== c | 0 | 4987 5130 635650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 22.9365 s Remaining CPU time: 157.063 s c =============================================================================== c | 0 | 4987 5131 640500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 23.3215 s Remaining CPU time: 156.679 s c =============================================================================== c | 0 | 4987 5132 645350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 23.7074 s Remaining CPU time: 156.293 s c =============================================================================== c | 0 | 4987 5133 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 24.0953 s Remaining CPU time: 155.905 s c =============================================================================== c | 0 | 4987 5134 655050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 24.4853 s Remaining CPU time: 155.515 s c =============================================================================== c | 0 | 4987 5135 659900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 24.8722 s Remaining CPU time: 155.128 s c =============================================================================== c | 0 | 4987 5136 664750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 25.2632 s Remaining CPU time: 154.737 s c =============================================================================== c | 0 | 4987 5137 669600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 25.6591 s Remaining CPU time: 154.341 s c =============================================================================== c | 0 | 4987 5138 674450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 26.052 s Remaining CPU time: 153.948 s c =============================================================================== c | 0 | 4987 5139 679300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 26.448 s Remaining CPU time: 153.552 s c =============================================================================== c | 0 | 4987 5140 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 26.8449 s Remaining CPU time: 153.155 s c =============================================================================== c | 0 | 4987 5141 689000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 27.2399 s Remaining CPU time: 152.76 s c =============================================================================== c | 0 | 4987 5142 693850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 27.6448 s Remaining CPU time: 152.355 s c =============================================================================== c | 0 | 4987 5143 698700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 28.0467 s Remaining CPU time: 151.953 s c =============================================================================== c | 0 | 4987 5144 703550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 28.4537 s Remaining CPU time: 151.546 s c =============================================================================== c | 0 | 4987 5145 708400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 28.8626 s Remaining CPU time: 151.137 s c =============================================================================== c | 0 | 4987 5146 713250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 29.2735 s Remaining CPU time: 150.726 s c =============================================================================== c | 0 | 4987 5147 718100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 29.6875 s Remaining CPU time: 150.313 s c =============================================================================== c | 0 | 4987 5148 722950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 30.1144 s Remaining CPU time: 149.886 s c =============================================================================== c | 0 | 4987 5149 727800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 30.5414 s Remaining CPU time: 149.459 s c =============================================================================== c | 0 | 4987 5150 732650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 30.9643 s Remaining CPU time: 149.036 s c =============================================================================== c | 0 | 4987 5151 737500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 31.3942 s Remaining CPU time: 148.606 s c =============================================================================== c | 0 | 4987 5152 742350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 31.8202 s Remaining CPU time: 148.18 s c =============================================================================== c | 0 | 4987 5153 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 32.2531 s Remaining CPU time: 147.747 s c =============================================================================== c | 0 | 4987 5154 752050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 32.688 s Remaining CPU time: 147.312 s c =============================================================================== c | 0 | 4987 5155 756900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 33.124 s Remaining CPU time: 146.876 s c =============================================================================== c | 0 | 4987 5156 761750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 33.5639 s Remaining CPU time: 146.436 s c =============================================================================== c | 0 | 4987 5157 766600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 34.0048 s Remaining CPU time: 145.995 s c =============================================================================== c | 0 | 4987 5158 771450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 34.4498 s Remaining CPU time: 145.55 s c =============================================================================== c | 0 | 4987 5159 776300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 34.8977 s Remaining CPU time: 145.102 s c =============================================================================== c | 0 | 4987 5160 781150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 35.3786 s Remaining CPU time: 144.621 s c =============================================================================== c | 0 | 4987 5161 786000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 35.8635 s Remaining CPU time: 144.136 s c =============================================================================== c | 0 | 4987 5162 790850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 36.3525 s Remaining CPU time: 143.648 s c =============================================================================== c | 0 | 4987 5163 795700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 36.8404 s Remaining CPU time: 143.16 s c =============================================================================== c | 0 | 4987 5164 800550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 37.3293 s Remaining CPU time: 142.671 s c =============================================================================== c | 0 | 4987 5165 805400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 37.8222 s Remaining CPU time: 142.178 s c =============================================================================== c | 0 | 4987 5166 810250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 38.3162 s Remaining CPU time: 141.684 s c =============================================================================== c | 0 | 4987 5167 815100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 38.8121 s Remaining CPU time: 141.188 s c =============================================================================== c | 0 | 4987 5168 819950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 39.309 s Remaining CPU time: 140.691 s c =============================================================================== c | 0 | 4987 5169 824800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 39.8089 s Remaining CPU time: 140.191 s c =============================================================================== c | 0 | 4987 5170 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 40.3089 s Remaining CPU time: 139.691 s c =============================================================================== c | 0 | 4987 5171 834500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 40.8058 s Remaining CPU time: 139.194 s c =============================================================================== c | 0 | 4987 5172 839350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 41.3067 s Remaining CPU time: 138.693 s c =============================================================================== c | 0 | 4987 5173 844200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 41.8096 s Remaining CPU time: 138.19 s c =============================================================================== c | 0 | 4987 5174 849050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 42.3176 s Remaining CPU time: 137.682 s c =============================================================================== c | 0 | 4987 5175 853900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 42.8235 s Remaining CPU time: 137.177 s c =============================================================================== c | 0 | 4987 5176 858750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 43.3324 s Remaining CPU time: 136.668 s c =============================================================================== c | 0 | 4987 5177 863600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 43.8483 s Remaining CPU time: 136.152 s c =============================================================================== c | 0 | 4987 5178 868450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 44.3643 s Remaining CPU time: 135.636 s c =============================================================================== c | 0 | 4987 5179 873300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 44.8842 s Remaining CPU time: 135.116 s c =============================================================================== c | 0 | 4987 5180 878150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 45.4021 s Remaining CPU time: 134.598 s c =============================================================================== c | 0 | 4987 5181 883000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 45.92 s Remaining CPU time: 134.08 s c =============================================================================== c | 0 | 4987 5182 887850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 46.4429 s Remaining CPU time: 133.557 s c =============================================================================== c | 0 | 4987 5183 892700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 46.9659 s Remaining CPU time: 133.034 s c =============================================================================== c | 0 | 4987 5184 897550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 47.4928 s Remaining CPU time: 132.507 s c =============================================================================== c | 0 | 4987 5185 902400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 48.0207 s Remaining CPU time: 131.979 s c =============================================================================== c | 0 | 4987 5186 907250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 48.5896 s Remaining CPU time: 131.41 s c =============================================================================== c | 3 | 4987 5187 912100 | 5000 3 4668 | 0.000 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 49.1465 s Remaining CPU time: 130.853 s c =============================================================================== c | 6 | 4987 5188 916950 | 5000 6 4668 | 0.000 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 49.7594 s Remaining CPU time: 130.241 s c =============================================================================== c | 6 | 4987 5189 921800 | 5000 6 4668 | 0.000 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 50.3563 s Remaining CPU time: 129.644 s c =============================================================================== c | 7 | 4987 5190 926650 | 5000 7 4667 | 0.000 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 51.0102 s Remaining CPU time: 128.99 s c =============================================================================== c | 37 | 4987 5191 931500 | 5000 37 4665 | 0.000 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 51.5992 s Remaining CPU time: 128.401 s c =============================================================================== c | 42 | 4987 5192 936350 | 5000 42 4665 | 0.000 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 52.2391 s Remaining CPU time: 127.761 s c =============================================================================== c | 63 | 4987 5193 941200 | 5000 63 4664 | 0.000 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 52.833 s Remaining CPU time: 127.167 s c =============================================================================== c | 63 | 4987 5194 946050 | 5000 63 4664 | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 53.4259 s Remaining CPU time: 126.574 s c =============================================================================== c | 63 | 4987 5195 950900 | 5000 63 4664 | 0.000 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 54.2018 s Remaining CPU time: 125.798 s c =============================================================================== c | 104 | 4987 5196 955750 | 5000 104 4662 | 0.000 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 54.8097 s Remaining CPU time: 125.19 s c =============================================================================== c | 104 | 4987 5197 960600 | 5000 104 4662 | 0.000 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 55.4346 s Remaining CPU time: 124.565 s c =============================================================================== c | 105 | 4987 5198 965450 | 5000 105 4662 | 0.000 % | c =============================================================================== c New solution: 4654 c Elapsed CPU time: 56.0595 s Remaining CPU time: 123.941 s c =============================================================================== c | 106 | 4987 5199 970300 | 5000 106 4662 | 0.000 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 56.7164 s Remaining CPU time: 123.284 s c =============================================================================== c | 115 | 4987 5200 975150 | 5000 115 4661 | 0.000 % | c =============================================================================== c New solution: 4652 c Elapsed CPU time: 57.3173 s Remaining CPU time: 122.683 s c =============================================================================== c | 124 | 4987 5201 980000 | 5000 124 4661 | 0.000 % | c =============================================================================== c New solution: 4651 c Elapsed CPU time: 57.9152 s Remaining CPU time: 122.085 s c =============================================================================== c | 124 | 4987 5202 984850 | 5000 124 4661 | 0.000 % | c =============================================================================== c New solution: 4650 c Elapsed CPU time: 58.5151 s Remaining CPU time: 121.485 s c =============================================================================== c | 128 | 4987 5203 989700 | 5000 128 4624 | 0.000 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 59.105 s Remaining CPU time: 120.895 s c =============================================================================== c | 129 | 4987 5204 994550 | 5000 129 4624 | 0.000 % | c =============================================================================== c New solution: 4648 c Elapsed CPU time: 59.7439 s Remaining CPU time: 120.256 s c =============================================================================== c | 143 | 4987 5205 999400 | 5000 143 4627 | 0.000 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 60.5148 s Remaining CPU time: 119.485 s c =============================================================================== c | 206 | 4987 5206 1004250 | 5000 206 4634 | 0.000 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 61.1997 s Remaining CPU time: 118.8 s c =============================================================================== c | 224 | 4987 5207 1009100 | 5000 224 4635 | 0.000 % | c =============================================================================== c New solution: 4645 c Elapsed CPU time: 61.8876 s Remaining CPU time: 118.112 s c =============================================================================== c | 250 | 4987 5208 1013950 | 5000 250 4636 | 0.000 % | c =============================================================================== c New solution: 4644 c Elapsed CPU time: 62.5505 s Remaining CPU time: 117.45 s c =============================================================================== c | 259 | 4987 5209 1018800 | 5000 259 4637 | 0.000 % | c =============================================================================== c New solution: 4643 c Elapsed CPU time: 63.2234 s Remaining CPU time: 116.777 s c =============================================================================== c | 271 | 4987 5210 1023650 | 5000 271 4637 | 0.000 % | c =============================================================================== c New solution: 4642 c Elapsed CPU time: 63.8693 s Remaining CPU time: 116.131 s c =============================================================================== c | 271 | 4987 5211 1028500 | 5000 271 4637 | 0.000 % | c | 374 | 4987 5211 1028500 | 5500 374 4639 | 0.260 % | c =============================================================================== c New solution: 4641 c Elapsed CPU time: 65.587 s Remaining CPU time: 114.413 s c =============================================================================== c | 434 | 4987 5212 1033350 | 5000 434 4639 | 0.260 % | c =============================================================================== c New solution: 4640 c Elapsed CPU time: 66.2389 s Remaining CPU time: 113.761 s c =============================================================================== c | 457 | 4987 5213 1038200 | 5000 457 4640 | 0.260 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 66.8678 s Remaining CPU time: 113.132 s c =============================================================================== c | 469 | 4987 5214 1043050 | 5000 469 4640 | 0.260 % | c =============================================================================== c New solution: 4638 c Elapsed CPU time: 67.4957 s Remaining CPU time: 112.504 s c =============================================================================== c | 474 | 4987 5215 1047900 | 5000 474 4640 | 0.260 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 68.1216 s Remaining CPU time: 111.878 s c =============================================================================== c | 476 | 4987 5216 1052750 | 5000 476 4640 | 0.260 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 68.7575 s Remaining CPU time: 111.242 s c =============================================================================== c | 487 | 4987 5217 1057600 | 5000 487 4640 | 0.260 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 69.3805 s Remaining CPU time: 110.62 s c =============================================================================== c | 487 | 4987 5218 1062450 | 5000 487 4640 | 0.260 % | c =============================================================================== c New solution: 4634 c Elapsed CPU time: 70.0174 s Remaining CPU time: 109.983 s c =============================================================================== c | 492 | 4987 5219 1067300 | 5000 492 4640 | 0.260 % | c =============================================================================== c New solution: 4633 c Elapsed CPU time: 70.6463 s Remaining CPU time: 109.354 s c =============================================================================== c | 493 | 4987 5220 1072150 | 5000 493 4639 | 0.260 % | c | 593 | 4987 5220 1072150 | 5500 593 4639 | 0.260 % | c =============================================================================== c New solution: 4632 c Elapsed CPU time: 72.7199 s Remaining CPU time: 107.28 s c =============================================================================== c | 723 | 4987 5221 1077000 | 5000 723 4638 | 0.260 % | c =============================================================================== c New solution: 4631 c Elapsed CPU time: 73.3648 s Remaining CPU time: 106.635 s c =============================================================================== c | 725 | 4987 5222 1081850 | 5000 725 4638 | 0.260 % | c =============================================================================== c New solution: 4630 c Elapsed CPU time: 74.0637 s Remaining CPU time: 105.936 s c =============================================================================== c | 749 | 4987 5223 1086700 | 5000 749 4638 | 0.260 % | c =============================================================================== c New solution: 4629 c Elapsed CPU time: 74.7216 s Remaining CPU time: 105.278 s c =============================================================================== c | 760 | 4987 5224 1091550 | 5000 760 4638 | 0.260 % | c =============================================================================== c New solution: 4628 c Elapsed CPU time: 75.3645 s Remaining CPU time: 104.635 s c =============================================================================== c | 760 | 4987 5225 1096400 | 5000 760 4638 | 0.260 % | c =============================================================================== c New solution: 4627 c Elapsed CPU time: 76.0464 s Remaining CPU time: 103.954 s c =============================================================================== c | 782 | 4987 5226 1101250 | 5000 782 4637 | 0.260 % | c | 884 | 4987 5226 1101250 | 5500 884 4636 | 0.260 % | c | 1034 | 4987 5226 1101250 | 6050 1034 4635 | 0.260 % | c =============================================================================== c New solution: 4626 c Elapsed CPU time: 79.207 s Remaining CPU time: 100.793 s c =============================================================================== c | 1155 | 4987 5227 1106100 | 5000 1155 4634 | 0.260 % | c =============================================================================== c New solution: 4625 c Elapsed CPU time: 79.9588 s Remaining CPU time: 100.041 s c =============================================================================== c | 1185 | 4987 5228 1110950 | 5000 1185 4634 | 0.260 % | c =============================================================================== c New solution: 4624 c Elapsed CPU time: 80.7137 s Remaining CPU time: 99.2863 s c =============================================================================== c | 1225 | 4987 5229 1115800 | 5000 1225 4634 | 0.260 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 81.4126 s Remaining CPU time: 98.5874 s c =============================================================================== c | 1247 | 4987 5230 1120650 | 5000 1247 4634 | 0.260 % | c =============================================================================== c New solution: 4622 c Elapsed CPU time: 82.0855 s Remaining CPU time: 97.9145 s c =============================================================================== c | 1250 | 4987 5231 1125500 | 5000 1250 4634 | 0.260 % | c =============================================================================== c New solution: 4621 c Elapsed CPU time: 82.9014 s Remaining CPU time: 97.0986 s c =============================================================================== c | 1281 | 4987 5232 1130350 | 5000 1281 4634 | 0.260 % | c =============================================================================== c New solution: 4620 c Elapsed CPU time: 83.6943 s Remaining CPU time: 96.3057 s c =============================================================================== c | 1309 | 4987 5233 1135200 | 5000 1309 4633 | 0.260 % | c =============================================================================== c New solution: 4619 c Elapsed CPU time: 84.3852 s Remaining CPU time: 95.6148 s c =============================================================================== c | 1323 | 4987 5234 1140050 | 5000 1323 4633 | 0.260 % | c =============================================================================== c New solution: 4618 c Elapsed CPU time: 85.1251 s Remaining CPU time: 94.8749 s c =============================================================================== c | 1349 | 4987 5235 1144900 | 5000 1349 4633 | 0.260 % | c =============================================================================== c New solution: 4617 c Elapsed CPU time: 85.9419 s Remaining CPU time: 94.0581 s c =============================================================================== c | 1412 | 4987 5236 1149750 | 5000 1412 4632 | 0.260 % | c =============================================================================== c New solution: 4616 c Elapsed CPU time: 86.7448 s Remaining CPU time: 93.2552 s c =============================================================================== c | 1469 | 4987 5237 1154600 | 5000 1469 4632 | 0.260 % | c =============================================================================== c New solution: 4615 c Elapsed CPU time: 87.4417 s Remaining CPU time: 92.5583 s c =============================================================================== c | 1478 | 4987 5238 1159450 | 5000 1478 4632 | 0.260 % | c =============================================================================== c New solution: 4614 c Elapsed CPU time: 88.1646 s Remaining CPU time: 91.8354 s c =============================================================================== c | 1503 | 4987 5239 1164300 | 5000 1503 4631 | 0.260 % | c =============================================================================== c New solution: 4613 c Elapsed CPU time: 88.8755 s Remaining CPU time: 91.1245 s c =============================================================================== c | 1517 | 4987 5240 1169150 | 5000 1517 4631 | 0.260 % | c =============================================================================== c New solution: 4612 c Elapsed CPU time: 89.5764 s Remaining CPU time: 90.4236 s c =============================================================================== c | 1519 | 4987 5241 1174000 | 5000 1519 4631 | 0.260 % | c =============================================================================== c New solution: 4611 c Elapsed CPU time: 90.6132 s Remaining CPU time: 89.3868 s c =============================================================================== c | 1603 | 4987 5242 1178850 | 5000 1603 4630 | 0.260 % | c =============================================================================== c New solution: 4610 c Elapsed CPU time: 91.4961 s Remaining CPU time: 88.5039 s c =============================================================================== c | 1680 | 4987 5243 1183700 | 5000 1680 4630 | 0.260 % | c =============================================================================== c New solution: 4609 c Elapsed CPU time: 92.286 s Remaining CPU time: 87.714 s c =============================================================================== c | 1730 | 4987 5244 1188550 | 5000 1730 4629 | 0.260 % | c =============================================================================== c New solution: 4608 c Elapsed CPU time: 93.0099 s Remaining CPU time: 86.9901 s c =============================================================================== c | 1738 | 4987 5245 1193400 | 5000 1738 4629 | 0.260 % | c =============================================================================== c New solution: 4607 c Elapsed CPU time: 93.9447 s Remaining CPU time: 86.0553 s c =============================================================================== c | 1796 | 4987 5246 1198250 | 5000 1796 4628 | 0.260 % | c | 1896 | 4987 5246 1198250 | 5500 1896 4627 | 0.260 % | c | 2046 | 4987 5246 1198250 | 6050 2046 4626 | 0.260 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 97.4272 s Remaining CPU time: 82.5728 s c =============================================================================== c | 2101 | 4987 5247 1203100 | 5000 2101 4623 | 0.260 % | c | 2201 | 4987 5247 1203100 | 5500 2201 4623 | 0.260 % | c | 2351 | 4987 5247 1203100 | 6050 2351 4622 | 0.260 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 100.676 s Remaining CPU time: 79.3243 s c =============================================================================== c | 2397 | 4987 5248 1207950 | 5000 2397 4621 | 0.260 % | c | 2498 | 4987 5248 1207950 | 5500 2498 4621 | 0.260 % | c =============================================================================== c New solution: 4604 c Elapsed CPU time: 102.479 s Remaining CPU time: 77.5206 s c =============================================================================== c | 2499 | 4987 5249 1212800 | 5000 2499 4621 | 0.260 % | c | 2600 | 4987 5249 1212800 | 5500 2600 4620 | 0.260 % | c =============================================================================== c New solution: 4603 c Elapsed CPU time: 104.251 s Remaining CPU time: 75.7488 s c =============================================================================== c | 2648 | 4987 5250 1217650 | 5000 2648 4620 | 0.260 % | c | 2749 | 4987 5250 1217650 | 5500 2749 4619 | 0.260 % | c | 2900 | 4987 5250 1217650 | 6050 2900 4618 | 0.260 % | c =============================================================================== c New solution: 4602 c Elapsed CPU time: 107.494 s Remaining CPU time: 72.5063 s c =============================================================================== c | 2985 | 4987 5251 1222500 | 5000 2985 4618 | 0.260 % | c =============================================================================== c New solution: 4601 c Elapsed CPU time: 108.447 s Remaining CPU time: 71.5535 s c =============================================================================== c | 3037 | 4987 5252 1227350 | 5000 3037 4618 | 0.260 % | c =============================================================================== c New solution: 4600 c Elapsed CPU time: 109.415 s Remaining CPU time: 70.5846 s c =============================================================================== c | 3129 | 4987 5253 1232200 | 5000 3129 4617 | 0.260 % | c =============================================================================== c New solution: 4599 c Elapsed CPU time: 110.315 s Remaining CPU time: 69.6848 s c =============================================================================== c | 3161 | 4987 5254 1237050 | 5000 3161 4617 | 0.260 % | c | 3261 | 4987 5254 1237050 | 5500 3261 4617 | 0.260 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 112.275 s Remaining CPU time: 67.7251 s c =============================================================================== c | 3340 | 4987 5255 1241900 | 5000 3340 4616 | 0.260 % | c =============================================================================== c New solution: 4597 c Elapsed CPU time: 113.149 s Remaining CPU time: 66.8512 s c =============================================================================== c | 3416 | 4987 5256 1246750 | 5000 3416 4616 | 0.260 % | c | 3516 | 4987 5256 1246750 | 5500 3516 4615 | 0.260 % | c =============================================================================== c New solution: 4596 c Elapsed CPU time: 115.459 s Remaining CPU time: 64.5406 s c =============================================================================== c | 3652 | 4987 5257 1251600 | 5000 3652 4614 | 0.260 % | c | 3752 | 4987 5257 1251600 | 5500 3752 4613 | 0.260 % | c =============================================================================== c New solution: 4595 c Elapsed CPU time: 117.558 s Remaining CPU time: 62.4419 s c =============================================================================== c | 3779 | 4987 5258 1256450 | 5000 3779 4613 | 0.260 % | c | 3880 | 4987 5258 1256450 | 5500 3880 4613 | 0.260 % | c =============================================================================== c New solution: 4594 c Elapsed CPU time: 119.731 s Remaining CPU time: 60.2692 s c =============================================================================== c | 3982 | 4987 5259 1261300 | 5000 3982 4612 | 0.260 % | c | 4082 | 4987 5259 1261300 | 5500 4082 4612 | 0.260 % | c | 4234 | 4987 5259 1261300 | 6050 4234 4611 | 0.260 % | c | 4459 | 4987 5259 1261300 | 6655 4459 4610 | 0.260 % | c | 4796 | 4987 5259 1261300 | 7320 4796 4609 | 0.260 % | c | 5303 | 4987 5259 1261300 | 8052 5303 4607 | 0.260 % | c =============================================================================== c New solution: 4593 c Elapsed CPU time: 128.198 s Remaining CPU time: 51.8025 s c =============================================================================== c | 5431 | 4987 5260 1266150 | 5000 5431 4607 | 0.260 % | c | 5531 | 4987 5260 1266150 | 5500 2816 4591 | 0.260 % | c | 5682 | 4987 5260 1266150 | 6050 2967 4591 | 0.260 % | c =============================================================================== c New solution: 4592 c Elapsed CPU time: 131.365 s Remaining CPU time: 48.635 s c =============================================================================== c | 5771 | 4987 5261 1271000 | 5000 3056 4591 | 0.260 % | c =============================================================================== c New solution: 4591 c Elapsed CPU time: 132.152 s Remaining CPU time: 47.8481 s c =============================================================================== c | 5788 | 4987 5262 1275850 | 5000 3073 4591 | 0.260 % | c =============================================================================== c New solution: 4590 c Elapsed CPU time: 132.978 s Remaining CPU time: 47.0222 s c =============================================================================== c | 5814 | 4987 5263 1280700 | 5000 3099 4591 | 0.260 % | c | 5915 | 4987 5263 1280700 | 5500 3200 4591 | 0.260 % | c | 6065 | 4987 5263 1280700 | 6050 3350 4591 | 0.260 % | c | 6290 | 4987 5263 1280700 | 6655 3575 4591 | 0.260 % | c | 6627 | 4987 5263 1280700 | 7320 3912 4591 | 0.260 % | c | 7134 | 4987 5263 1280700 | 8052 4419 4590 | 0.260 % | c =============================================================================== c New solution: 4589 c Elapsed CPU time: 144.742 s Remaining CPU time: 35.258 s c =============================================================================== c | 7177 | 4987 5264 1285550 | 5000 4462 4590 | 0.260 % | c | 7278 | 4987 5264 1285550 | 5500 4563 4590 | 0.260 % | c | 7428 | 4987 5264 1285550 | 6050 4713 4590 | 0.260 % | c =============================================================================== c New solution: 4588 c Elapsed CPU time: 148.886 s Remaining CPU time: 31.1136 s c =============================================================================== c | 7580 | 4987 5265 1290400 | 5000 4865 4590 | 0.260 % | c | 7680 | 4987 5265 1290400 | 5500 4965 4590 | 0.260 % | c | 7830 | 4987 5265 1290400 | 6050 5115 4590 | 0.260 % | c | 8055 | 4987 5265 1290400 | 6655 5340 4590 | 0.260 % | c | 8393 | 4987 5265 1290400 | 7320 5678 4590 | 0.260 % | c | 8899 | 4987 5265 1290400 | 8052 6184 4590 | 0.260 % | c | 9659 | 4987 5265 1290400 | 8857 6944 4590 | 0.260 % | c | 10799 | 4987 5265 1290400 | 9743 8084 4590 | 0.260 % | c =============================================================================== c New solution: 4587 c Elapsed CPU time: 175.225 s Remaining CPU time: 4.77464 s c =============================================================================== c | 11254 | 4987 5266 1295250 | 5000 8539 4590 | 0.260 % | c | 11354 | 4987 5266 1295250 | 5500 4370 4585 | 0.260 % | c | 11505 | 4987 5266 1295250 | 6050 4521 4585 | 0.260 % | c | 11730 | 4987 5266 1295250 | 6655 4746 4585 | 0.260 % | c There are 13 assigned variables. 3 in cost function.