c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 5000 | c | Number Clauses: 5000 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4955 5004 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4850 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 4955 5005 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 4955 5006 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 4955 5007 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 4955 5008 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 4955 5009 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 4955 5010 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 4955 5011 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 4955 5012 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4842 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 4955 5013 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 4955 5014 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 | 4955 5015 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 4955 5016 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 4955 5017 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 4955 5018 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 0 | 4955 5019 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 4955 5020 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 4955 5021 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 4955 5022 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 4955 5023 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4831 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 0 | 4955 5024 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 4955 5025 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 0 | 4955 5026 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 0 | 4955 5027 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 0 | 4955 5028 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 0 | 4955 5029 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 0 | 4955 5030 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 0 | 4955 5031 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 0 | 4955 5032 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 0 | 4955 5033 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 0 | 4955 5034 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 4955 5035 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 4955 5036 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 0 | 4955 5037 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 0 | 4955 5038 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 0 | 4955 5039 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 0 | 4955 5040 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s c =============================================================================== c | 0 | 4955 5041 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 0 | 4955 5042 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.23581 s Remaining CPU time: 178.764 s c =============================================================================== c | 0 | 4955 5043 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 0 | 4955 5044 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.38379 s Remaining CPU time: 178.616 s c =============================================================================== c | 0 | 4955 5045 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.45978 s Remaining CPU time: 178.54 s c =============================================================================== c | 0 | 4955 5046 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.53877 s Remaining CPU time: 178.461 s c =============================================================================== c | 0 | 4955 5047 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 1.61975 s Remaining CPU time: 178.38 s c =============================================================================== c | 0 | 4955 5048 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 1.70274 s Remaining CPU time: 178.297 s c =============================================================================== c | 0 | 4955 5049 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 0 | 4955 5050 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 1.88271 s Remaining CPU time: 178.117 s c =============================================================================== c | 0 | 4955 5051 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 0 | 4955 5052 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s c =============================================================================== c | 0 | 4955 5053 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.16667 s Remaining CPU time: 177.833 s c =============================================================================== c | 0 | 4955 5054 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s c =============================================================================== c | 0 | 4955 5055 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.36964 s Remaining CPU time: 177.63 s c =============================================================================== c | 0 | 4955 5056 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 2.47362 s Remaining CPU time: 177.526 s c =============================================================================== c | 0 | 4955 5057 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 2.57661 s Remaining CPU time: 177.423 s c =============================================================================== c | 0 | 4955 5058 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 2.68559 s Remaining CPU time: 177.314 s c =============================================================================== c | 0 | 4955 5059 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s c =============================================================================== c | 0 | 4955 5060 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 2.90756 s Remaining CPU time: 177.092 s c =============================================================================== c | 0 | 4955 5061 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 3.02354 s Remaining CPU time: 176.976 s c =============================================================================== c | 0 | 4955 5062 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 3.14252 s Remaining CPU time: 176.857 s c =============================================================================== c | 0 | 4955 5063 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 3.2605 s Remaining CPU time: 176.739 s c =============================================================================== c | 0 | 4955 5064 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4790 c Elapsed CPU time: 3.38149 s Remaining CPU time: 176.619 s c =============================================================================== c | 0 | 4955 5065 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 3.50447 s Remaining CPU time: 176.496 s c =============================================================================== c | 0 | 4955 5066 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 3.63345 s Remaining CPU time: 176.367 s c =============================================================================== c | 0 | 4955 5067 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 3.76443 s Remaining CPU time: 176.236 s c =============================================================================== c | 0 | 4955 5068 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 3.89641 s Remaining CPU time: 176.104 s c =============================================================================== c | 0 | 4955 5069 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 4.03139 s Remaining CPU time: 175.969 s c =============================================================================== c | 0 | 4955 5070 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 4.16737 s Remaining CPU time: 175.833 s c =============================================================================== c | 0 | 4955 5071 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 4.30534 s Remaining CPU time: 175.695 s c =============================================================================== c | 0 | 4955 5072 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 4.44432 s Remaining CPU time: 175.556 s c =============================================================================== c | 0 | 4955 5073 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 4.5843 s Remaining CPU time: 175.416 s c =============================================================================== c | 0 | 4955 5074 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 4.72928 s Remaining CPU time: 175.271 s c =============================================================================== c | 0 | 4955 5075 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 4.87826 s Remaining CPU time: 175.122 s c =============================================================================== c | 0 | 4955 5076 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 5.02724 s Remaining CPU time: 174.973 s c =============================================================================== c | 0 | 4955 5077 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 5.17921 s Remaining CPU time: 174.821 s c =============================================================================== c | 0 | 4955 5078 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 5.33519 s Remaining CPU time: 174.665 s c =============================================================================== c | 0 | 4955 5079 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 5.50716 s Remaining CPU time: 174.493 s c =============================================================================== c | 0 | 4955 5080 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 5.68314 s Remaining CPU time: 174.317 s c =============================================================================== c | 0 | 4955 5081 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 5.85911 s Remaining CPU time: 174.141 s c =============================================================================== c | 0 | 4955 5082 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 6.03508 s Remaining CPU time: 173.965 s c =============================================================================== c | 0 | 4955 5083 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 6.21605 s Remaining CPU time: 173.784 s c =============================================================================== c | 0 | 4955 5084 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 6.39703 s Remaining CPU time: 173.603 s c =============================================================================== c | 0 | 4955 5085 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 6.579 s Remaining CPU time: 173.421 s c =============================================================================== c | 0 | 4955 5086 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 6.76397 s Remaining CPU time: 173.236 s c =============================================================================== c | 0 | 4955 5087 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 6.95094 s Remaining CPU time: 173.049 s c =============================================================================== c | 0 | 4955 5088 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 7.13991 s Remaining CPU time: 172.86 s c =============================================================================== c | 0 | 4955 5089 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 7.33089 s Remaining CPU time: 172.669 s c =============================================================================== c | 0 | 4955 5090 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 7.52386 s Remaining CPU time: 172.476 s c =============================================================================== c | 0 | 4955 5091 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 7.71883 s Remaining CPU time: 172.281 s c =============================================================================== c | 0 | 4955 5092 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 7.9188 s Remaining CPU time: 172.081 s c =============================================================================== c | 0 | 4955 5093 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 8.11777 s Remaining CPU time: 171.882 s c =============================================================================== c | 0 | 4955 5094 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 8.31774 s Remaining CPU time: 171.682 s c =============================================================================== c | 0 | 4955 5095 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 8.5247 s Remaining CPU time: 171.475 s c =============================================================================== c | 0 | 4955 5096 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 8.72967 s Remaining CPU time: 171.27 s c =============================================================================== c | 0 | 4955 5097 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 8.94664 s Remaining CPU time: 171.053 s c =============================================================================== c | 0 | 4955 5098 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 9.15861 s Remaining CPU time: 170.841 s c =============================================================================== c | 0 | 4955 5099 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 9.37157 s Remaining CPU time: 170.628 s c =============================================================================== c | 0 | 4955 5100 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 9.58454 s Remaining CPU time: 170.415 s c =============================================================================== c | 0 | 4955 5101 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 9.81051 s Remaining CPU time: 170.189 s c =============================================================================== c | 0 | 4955 5102 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 10.0395 s Remaining CPU time: 169.961 s c =============================================================================== c | 0 | 4955 5103 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 10.2734 s Remaining CPU time: 169.727 s c =============================================================================== c | 0 | 4955 5104 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 10.5094 s Remaining CPU time: 169.491 s c =============================================================================== c | 0 | 4955 5105 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 10.7444 s Remaining CPU time: 169.256 s c =============================================================================== c | 0 | 4955 5106 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 10.9763 s Remaining CPU time: 169.024 s c =============================================================================== c | 0 | 4955 5107 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 11.2103 s Remaining CPU time: 168.79 s c =============================================================================== c | 0 | 4955 5108 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 11.4473 s Remaining CPU time: 168.553 s c =============================================================================== c | 0 | 4955 5109 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 11.6872 s Remaining CPU time: 168.313 s c =============================================================================== c | 0 | 4955 5110 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 11.9242 s Remaining CPU time: 168.076 s c =============================================================================== c | 0 | 4955 5111 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 12.1631 s Remaining CPU time: 167.837 s c =============================================================================== c | 0 | 4955 5112 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 12.4041 s Remaining CPU time: 167.596 s c =============================================================================== c | 1 | 4955 5113 543500 | 5000 1 4744 | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 12.6411 s Remaining CPU time: 167.359 s c =============================================================================== c | 2 | 4955 5114 548350 | 5000 2 4744 | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 12.888 s Remaining CPU time: 167.112 s c =============================================================================== c | 2 | 4955 5115 553200 | 5000 2 4744 | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 13.128 s Remaining CPU time: 166.872 s c =============================================================================== c | 2 | 4955 5116 558050 | 5000 2 4744 | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 13.374 s Remaining CPU time: 166.626 s c =============================================================================== c | 2 | 4955 5117 562900 | 5000 2 4744 | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 13.6249 s Remaining CPU time: 166.375 s c =============================================================================== c | 2 | 4955 5118 567750 | 5000 2 4744 | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 13.8849 s Remaining CPU time: 166.115 s c =============================================================================== c | 2 | 4955 5119 572600 | 5000 2 4744 | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 14.1538 s Remaining CPU time: 165.846 s c =============================================================================== c | 3 | 4955 5120 577450 | 5000 3 4741 | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 14.4208 s Remaining CPU time: 165.579 s c =============================================================================== c | 4 | 4955 5121 582300 | 5000 4 4740 | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 14.6778 s Remaining CPU time: 165.322 s c =============================================================================== c | 5 | 4955 5122 587150 | 5000 5 4739 | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 14.9677 s Remaining CPU time: 165.032 s c =============================================================================== c | 7 | 4955 5123 592000 | 5000 7 4738 | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 15.2417 s Remaining CPU time: 164.758 s c =============================================================================== c | 19 | 4955 5124 596850 | 5000 19 4735 | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 15.5026 s Remaining CPU time: 164.497 s c =============================================================================== c | 19 | 4955 5125 601700 | 5000 19 4735 | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 15.8056 s Remaining CPU time: 164.194 s c =============================================================================== c | 30 | 4955 5126 606550 | 5000 30 4733 | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 16.0966 s Remaining CPU time: 163.903 s c =============================================================================== c | 30 | 4955 5127 611400 | 5000 30 4733 | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 16.3815 s Remaining CPU time: 163.618 s c =============================================================================== c | 30 | 4955 5128 616250 | 5000 30 4733 | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 16.6725 s Remaining CPU time: 163.328 s c =============================================================================== c | 35 | 4955 5129 621100 | 5000 35 4733 | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 16.9584 s Remaining CPU time: 163.042 s c =============================================================================== c | 35 | 4955 5130 625950 | 5000 35 4733 | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 17.2394 s Remaining CPU time: 162.761 s c =============================================================================== c | 35 | 4955 5131 630800 | 5000 35 4733 | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 17.5253 s Remaining CPU time: 162.475 s c =============================================================================== c | 35 | 4955 5132 635650 | 5000 35 4733 | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 17.8263 s Remaining CPU time: 162.174 s c =============================================================================== c | 35 | 4955 5133 640500 | 5000 35 4733 | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 18.1482 s Remaining CPU time: 161.852 s c =============================================================================== c | 51 | 4955 5134 645350 | 5000 51 4729 | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 18.4542 s Remaining CPU time: 161.546 s c =============================================================================== c | 51 | 4955 5135 650200 | 5000 51 4729 | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 18.7551 s Remaining CPU time: 161.245 s c =============================================================================== c | 51 | 4955 5136 655050 | 5000 51 4729 | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 19.0541 s Remaining CPU time: 160.946 s c =============================================================================== c | 51 | 4955 5137 659900 | 5000 51 4729 | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 19.415 s Remaining CPU time: 160.585 s c =============================================================================== c | 51 | 4955 5138 664750 | 5000 51 4729 | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 19.747 s Remaining CPU time: 160.253 s c =============================================================================== c | 62 | 4955 5139 669600 | 5000 62 4727 | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 20.045 s Remaining CPU time: 159.955 s c =============================================================================== c | 62 | 4955 5140 674450 | 5000 62 4727 | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 20.3509 s Remaining CPU time: 159.649 s c =============================================================================== c | 63 | 4955 5141 679300 | 5000 63 4727 | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 20.6499 s Remaining CPU time: 159.35 s c =============================================================================== c | 67 | 4955 5142 684150 | 5000 67 4726 | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 20.9438 s Remaining CPU time: 159.056 s c =============================================================================== c | 67 | 4955 5143 689000 | 5000 67 4726 | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 21.3018 s Remaining CPU time: 158.698 s c =============================================================================== c | 112 | 4955 5144 693850 | 5000 112 4721 | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 21.6537 s Remaining CPU time: 158.346 s c =============================================================================== c | 127 | 4955 5145 698700 | 5000 127 4720 | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 21.9847 s Remaining CPU time: 158.015 s c =============================================================================== c | 130 | 4955 5146 703550 | 5000 130 4720 | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 22.3356 s Remaining CPU time: 157.664 s c =============================================================================== c | 141 | 4955 5147 708400 | 5000 141 4719 | 0.000 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 22.6896 s Remaining CPU time: 157.31 s c =============================================================================== c | 141 | 4955 5148 713250 | 5000 141 4719 | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 23.0345 s Remaining CPU time: 156.966 s c =============================================================================== c | 144 | 4955 5149 718100 | 5000 144 4719 | 0.000 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 23.3784 s Remaining CPU time: 156.622 s c =============================================================================== c | 149 | 4955 5150 722950 | 5000 149 4719 | 0.000 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 23.7564 s Remaining CPU time: 156.244 s c =============================================================================== c | 162 | 4955 5151 727800 | 5000 162 4718 | 0.000 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 24.0963 s Remaining CPU time: 155.904 s c =============================================================================== c | 165 | 4955 5152 732650 | 5000 165 4717 | 0.000 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 24.4443 s Remaining CPU time: 155.556 s c =============================================================================== c | 169 | 4955 5153 737500 | 5000 169 4717 | 0.000 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 24.7912 s Remaining CPU time: 155.209 s c =============================================================================== c | 174 | 4955 5154 742350 | 5000 174 4717 | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 25.1452 s Remaining CPU time: 154.855 s c =============================================================================== c | 174 | 4955 5155 747200 | 5000 174 4717 | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 25.5061 s Remaining CPU time: 154.494 s c =============================================================================== c | 176 | 4955 5156 752050 | 5000 176 4716 | 0.000 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 25.8881 s Remaining CPU time: 154.112 s c =============================================================================== c | 176 | 4955 5157 756900 | 5000 176 4716 | 0.000 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 26.305 s Remaining CPU time: 153.695 s c =============================================================================== c | 198 | 4955 5158 761750 | 5000 198 4714 | 0.000 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 26.7619 s Remaining CPU time: 153.238 s c =============================================================================== c | 242 | 4955 5159 766600 | 5000 242 4712 | 0.000 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 27.1499 s Remaining CPU time: 152.85 s c =============================================================================== c | 254 | 4955 5160 771450 | 5000 254 4711 | 0.000 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 27.5398 s Remaining CPU time: 152.46 s c =============================================================================== c | 261 | 4955 5161 776300 | 5000 261 4711 | 0.000 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 28.1567 s Remaining CPU time: 151.843 s c =============================================================================== c | 349 | 4955 5162 781150 | 5000 349 4707 | 0.000 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 28.7326 s Remaining CPU time: 151.267 s c =============================================================================== c | 447 | 4955 5163 786000 | 5000 447 4704 | 0.000 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 29.3235 s Remaining CPU time: 150.676 s c =============================================================================== c | 531 | 4955 5164 790850 | 5000 531 4702 | 0.000 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 29.7315 s Remaining CPU time: 150.269 s c =============================================================================== c | 578 | 4955 5165 795700 | 5000 578 4702 | 0.000 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 30.1854 s Remaining CPU time: 149.815 s c =============================================================================== c | 652 | 4955 5166 800550 | 5000 652 4701 | 0.000 % | c | 752 | 4955 5166 800550 | 5500 752 4699 | 0.900 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 31.4072 s Remaining CPU time: 148.593 s c =============================================================================== c | 819 | 4955 5167 805400 | 5000 819 4698 | 0.900 % | c | 919 | 4955 5167 805400 | 5500 919 4697 | 0.900 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 32.2831 s Remaining CPU time: 147.717 s c =============================================================================== c | 953 | 4955 5168 810250 | 5000 953 4697 | 0.900 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 32.691 s Remaining CPU time: 147.309 s c =============================================================================== c | 988 | 4955 5169 815100 | 5000 988 4697 | 0.900 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 33.153 s Remaining CPU time: 146.847 s c =============================================================================== c | 1026 | 4955 5170 819950 | 5000 1026 4697 | 0.900 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 33.6629 s Remaining CPU time: 146.337 s c =============================================================================== c | 1123 | 4955 5171 824800 | 5000 1123 4696 | 0.900 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 34.1238 s Remaining CPU time: 145.876 s c =============================================================================== c | 1172 | 4955 5172 829650 | 5000 1172 4695 | 0.900 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 34.6317 s Remaining CPU time: 145.368 s c =============================================================================== c | 1241 | 4955 5173 834500 | 5000 1241 4691 | 0.900 % | c | 1341 | 4955 5173 834500 | 5500 1341 4690 | 0.900 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 35.6946 s Remaining CPU time: 144.305 s c =============================================================================== c | 1358 | 4955 5174 839350 | 5000 1358 4690 | 0.900 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 36.2485 s Remaining CPU time: 143.752 s c =============================================================================== c | 1454 | 4955 5175 844200 | 5000 1454 4690 | 0.900 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 36.7544 s Remaining CPU time: 143.246 s c =============================================================================== c | 1516 | 4955 5176 849050 | 5000 1516 4689 | 0.900 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 37.1653 s Remaining CPU time: 142.835 s c =============================================================================== c | 1545 | 4955 5177 853900 | 5000 1545 4689 | 0.900 % | c | 1645 | 4955 5177 853900 | 5500 1645 4686 | 0.900 % | c | 1796 | 4955 5177 853900 | 6050 1796 4685 | 0.900 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 39.327 s Remaining CPU time: 140.673 s c =============================================================================== c | 1968 | 4955 5178 858750 | 5000 1968 4685 | 0.900 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 39.8339 s Remaining CPU time: 140.166 s c =============================================================================== c | 2027 | 4955 5179 863600 | 5000 2027 4685 | 0.900 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 40.2269 s Remaining CPU time: 139.773 s c =============================================================================== c | 2031 | 4955 5180 868450 | 5000 2031 4685 | 0.900 % | c | 2131 | 4955 5180 868450 | 5500 2131 4684 | 0.900 % | c | 2281 | 4955 5180 868450 | 6050 2281 4684 | 0.900 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 42.3946 s Remaining CPU time: 137.605 s c =============================================================================== c | 2502 | 4955 5181 873300 | 5000 2502 4683 | 0.900 % | c | 2603 | 4955 5181 873300 | 5500 2603 4683 | 0.900 % | c | 2753 | 4955 5181 873300 | 6050 2753 4682 | 0.900 % | c | 2978 | 4955 5181 873300 | 6655 2978 4682 | 0.900 % | c | 3316 | 4955 5181 873300 | 7320 3316 4681 | 0.900 % | c | 3822 | 4955 5181 873300 | 8052 3822 4679 | 0.900 % | c | 4581 | 4955 5181 873300 | 8857 4581 4678 | 0.900 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 55.3106 s Remaining CPU time: 124.689 s c =============================================================================== c | 5714 | 4955 5182 878150 | 5000 5714 4677 | 0.900 % | c | 5814 | 4955 5182 878150 | 5500 2957 4670 | 0.900 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 56.8594 s Remaining CPU time: 123.141 s c =============================================================================== c | 5948 | 4955 5183 883000 | 5000 3091 4670 | 0.900 % | c | 6048 | 4955 5183 883000 | 5500 3191 4670 | 0.900 % | c | 6198 | 4955 5183 883000 | 6050 3341 4670 | 0.900 % | c | 6424 | 4955 5183 883000 | 6655 3567 4670 | 0.900 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 60.0849 s Remaining CPU time: 119.915 s c =============================================================================== c | 6606 | 4955 5184 887850 | 5000 3749 4670 | 0.900 % | c | 6706 | 4955 5184 887850 | 5500 3849 4671 | 0.900 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 61.6196 s Remaining CPU time: 118.38 s c =============================================================================== c | 6811 | 4955 5185 892700 | 5000 3954 4671 | 0.900 % | c | 6911 | 4955 5185 892700 | 5500 4054 4671 | 0.900 % | c | 7061 | 4955 5185 892700 | 6050 4204 4671 | 0.900 % | c | 7286 | 4955 5185 892700 | 6655 4429 4671 | 0.900 % | c | 7623 | 4955 5185 892700 | 7320 4766 4671 | 0.900 % | c | 8129 | 4955 5185 892700 | 8052 5272 4671 | 0.900 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 68.2856 s Remaining CPU time: 111.714 s c =============================================================================== c | 8633 | 4955 5186 897550 | 5000 5776 4671 | 0.900 % | c | 8733 | 4955 5186 897550 | 5500 2988 4666 | 0.900 % | c | 8884 | 4955 5186 897550 | 6050 3139 4666 | 0.900 % | c | 9109 | 4955 5186 897550 | 6655 3364 4665 | 0.900 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 71.9821 s Remaining CPU time: 108.018 s c =============================================================================== c | 9241 | 4955 5187 902400 | 5000 3496 4666 | 0.900 % | c | 9341 | 4955 5187 902400 | 5500 3596 4666 | 0.900 % | c | 9493 | 4955 5187 902400 | 6050 3748 4666 | 0.900 % | c | 9720 | 4955 5187 902400 | 6655 3975 4666 | 0.900 % | c | 10058 | 4955 5187 902400 | 7320 4313 4666 | 0.900 % | c | 10564 | 4955 5187 902400 | 8052 4819 4667 | 0.900 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 78.949 s Remaining CPU time: 101.051 s c =============================================================================== c | 10607 | 4955 5188 907250 | 5000 4862 4667 | 0.900 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 79.4769 s Remaining CPU time: 100.523 s c =============================================================================== c | 10686 | 4955 5189 912100 | 5000 4941 4667 | 0.900 % | c | 10786 | 4955 5189 912100 | 5500 5041 4667 | 0.900 % | c | 10936 | 4955 5189 912100 | 6050 5191 4667 | 0.900 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 81.6546 s Remaining CPU time: 98.3454 s c =============================================================================== c | 11037 | 4955 5190 916950 | 5000 5292 4667 | 0.900 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 82.2635 s Remaining CPU time: 97.7365 s c =============================================================================== c | 11099 | 4955 5191 921800 | 5000 2708 4663 | 0.900 % | c | 11200 | 4955 5191 921800 | 5500 2809 4663 | 0.900 % | c | 11350 | 4955 5191 921800 | 6050 2959 4663 | 0.900 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 84.5271 s Remaining CPU time: 95.4729 s c =============================================================================== c | 11460 | 4955 5192 926650 | 5000 3069 4663 | 0.900 % | c | 11560 | 4955 5192 926650 | 5500 3169 4663 | 0.900 % | c | 11711 | 4955 5192 926650 | 6050 3320 4663 | 0.900 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 86.7248 s Remaining CPU time: 93.2752 s c =============================================================================== c | 11817 | 4955 5193 931500 | 5000 3426 4663 | 0.900 % | c | 11917 | 4955 5193 931500 | 5500 3526 4663 | 0.900 % | c | 12068 | 4955 5193 931500 | 6050 3677 4663 | 0.900 % | c | 12293 | 4955 5193 931500 | 6655 3902 4663 | 0.900 % | c | 12631 | 4955 5193 931500 | 7320 4240 4663 | 0.900 % | c | 13137 | 4955 5193 931500 | 8052 4746 4663 | 0.900 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 95.0116 s Remaining CPU time: 84.9884 s c =============================================================================== c | 13745 | 4955 5194 936350 | 5000 5354 4663 | 0.900 % | c | 13846 | 4955 5194 936350 | 5500 2778 4659 | 0.900 % | c | 14000 | 4955 5194 936350 | 6050 2932 4659 | 0.900 % | c | 14225 | 4955 5194 936350 | 6655 3157 4660 | 0.900 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 99.4699 s Remaining CPU time: 80.5301 s c =============================================================================== c | 14514 | 4955 5195 941200 | 5000 3446 4660 | 0.900 % | c | 14616 | 4955 5195 941200 | 5500 3548 4660 | 0.900 % | c | 14766 | 4955 5195 941200 | 6050 3698 4660 | 0.900 % | c | 14991 | 4955 5195 941200 | 6655 3923 4660 | 0.900 % | c | 15328 | 4955 5195 941200 | 7320 4260 4660 | 0.900 % | c | 15834 | 4955 5195 941200 | 8052 4766 4660 | 0.900 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 109.399 s Remaining CPU time: 70.6006 s c =============================================================================== c | 16583 | 4955 5196 946050 | 5000 5515 4661 | 0.900 % | c | 16683 | 4955 5196 946050 | 5500 2858 4660 | 0.900 % | c | 16833 | 4955 5196 946050 | 6050 3008 4660 | 0.900 % | c | 17058 | 4955 5196 946050 | 6655 3233 4660 | 0.900 % | c | 17395 | 4955 5196 946050 | 7320 3570 4660 | 0.900 % | c | 17903 | 4955 5196 946050 | 8052 4078 4659 | 0.900 % | c | 18662 | 4955 5196 946050 | 8857 4837 4659 | 0.900 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 120.955 s Remaining CPU time: 59.0454 s c =============================================================================== c | 19297 | 4955 5197 950900 | 5000 5472 4660 | 0.900 % | c | 19397 | 4955 5197 950900 | 5500 2836 4657 | 0.900 % | c | 19547 | 4955 5197 950900 | 6050 2986 4657 | 0.900 % | c | 19772 | 4955 5197 950900 | 6655 3211 4658 | 0.900 % |