c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 5000 | c | Number Clauses: 5000 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4933 5002 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4850 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 4933 5003 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 4933 5004 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 4933 5005 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 4933 5006 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 4933 5007 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 4933 5008 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 4933 5009 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 4933 5010 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 | 4933 5011 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 4933 5012 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4840 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 4933 5013 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 4933 5014 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 4933 5015 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 4933 5016 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 4933 5017 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 4933 5018 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 0 | 4933 5019 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 4933 5020 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 0 | 4933 5021 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 | 4933 5022 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 | 4933 5023 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 0 | 4933 5024 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 0 | 4933 5025 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 0 | 4933 5026 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 0 | 4933 5027 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 0 | 4933 5028 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 4933 5029 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 0 | 4933 5030 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 0 | 4933 5031 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 0 | 4933 5032 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 0 | 4933 5033 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s c =============================================================================== c | 0 | 4933 5034 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 0.837872 s Remaining CPU time: 179.162 s c =============================================================================== c | 0 | 4933 5035 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 0 | 4933 5036 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 0 | 4933 5037 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 0 | 4933 5038 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.05584 s Remaining CPU time: 178.944 s c =============================================================================== c | 0 | 4933 5039 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s c =============================================================================== c | 0 | 4933 5040 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.17582 s Remaining CPU time: 178.824 s c =============================================================================== c | 0 | 4933 5041 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 0 | 4933 5042 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 0 | 4933 5043 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 0 | 4933 5044 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s c =============================================================================== c | 0 | 4933 5045 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 1.53077 s Remaining CPU time: 178.469 s c =============================================================================== c | 0 | 4933 5046 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 0 | 4933 5047 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 1.68774 s Remaining CPU time: 178.312 s c =============================================================================== c | 0 | 4933 5048 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 1.77073 s Remaining CPU time: 178.229 s c =============================================================================== c | 0 | 4933 5049 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s c =============================================================================== c | 0 | 4933 5050 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 1.9457 s Remaining CPU time: 178.054 s c =============================================================================== c | 0 | 4933 5051 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.03669 s Remaining CPU time: 177.963 s c =============================================================================== c | 0 | 4933 5052 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.12768 s Remaining CPU time: 177.872 s c =============================================================================== c | 0 | 4933 5053 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.22466 s Remaining CPU time: 177.775 s c =============================================================================== c | 0 | 4933 5054 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 2.32365 s Remaining CPU time: 177.676 s c =============================================================================== c | 0 | 4933 5055 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 2.42163 s Remaining CPU time: 177.578 s c =============================================================================== c | 0 | 4933 5056 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 2.52162 s Remaining CPU time: 177.478 s c =============================================================================== c | 0 | 4933 5057 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s c =============================================================================== c | 0 | 4933 5058 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 2.73258 s Remaining CPU time: 177.267 s c =============================================================================== c | 0 | 4933 5059 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 2.84257 s Remaining CPU time: 177.157 s c =============================================================================== c | 0 | 4933 5060 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 2.95655 s Remaining CPU time: 177.043 s c =============================================================================== c | 0 | 4933 5061 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 3.07453 s Remaining CPU time: 176.925 s c =============================================================================== c | 0 | 4933 5062 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4790 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s c =============================================================================== c | 0 | 4933 5063 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 3.3215 s Remaining CPU time: 176.679 s c =============================================================================== c | 0 | 4933 5064 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 3.44948 s Remaining CPU time: 176.551 s c =============================================================================== c | 0 | 4933 5065 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 3.57746 s Remaining CPU time: 176.423 s c =============================================================================== c | 0 | 4933 5066 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 3.70844 s Remaining CPU time: 176.292 s c =============================================================================== c | 0 | 4933 5067 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 3.84042 s Remaining CPU time: 176.16 s c =============================================================================== c | 0 | 4933 5068 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 3.9724 s Remaining CPU time: 176.028 s c =============================================================================== c | 0 | 4933 5069 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 4.10637 s Remaining CPU time: 175.894 s c =============================================================================== c | 0 | 4933 5070 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 4.24435 s Remaining CPU time: 175.756 s c =============================================================================== c | 0 | 4933 5071 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 4.38533 s Remaining CPU time: 175.615 s c =============================================================================== c | 0 | 4933 5072 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 4.53031 s Remaining CPU time: 175.47 s c =============================================================================== c | 0 | 4933 5073 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 4.67829 s Remaining CPU time: 175.322 s c =============================================================================== c | 0 | 4933 5074 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 4.82327 s Remaining CPU time: 175.177 s c =============================================================================== c | 0 | 4933 5075 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 4.97424 s Remaining CPU time: 175.026 s c =============================================================================== c | 0 | 4933 5076 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 5.13022 s Remaining CPU time: 174.87 s c =============================================================================== c | 0 | 4933 5077 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 5.2882 s Remaining CPU time: 174.712 s c =============================================================================== c | 0 | 4933 5078 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 5.45117 s Remaining CPU time: 174.549 s c =============================================================================== c | 0 | 4933 5079 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 5.61315 s Remaining CPU time: 174.387 s c =============================================================================== c | 1 | 4933 5080 393150 | 5000 1 4775 | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 5.78112 s Remaining CPU time: 174.219 s c =============================================================================== c | 1 | 4933 5081 398000 | 5000 1 4775 | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 5.9501 s Remaining CPU time: 174.05 s c =============================================================================== c | 4 | 4933 5082 402850 | 5000 4 4774 | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 6.11907 s Remaining CPU time: 173.881 s c =============================================================================== c | 5 | 4933 5083 407700 | 5000 5 3820 | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 6.29504 s Remaining CPU time: 173.705 s c =============================================================================== c | 5 | 4933 5084 412550 | 5000 5 3820 | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 6.47302 s Remaining CPU time: 173.527 s c =============================================================================== c | 7 | 4933 5085 417400 | 5000 7 4091 | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 6.64699 s Remaining CPU time: 173.353 s c =============================================================================== c | 7 | 4933 5086 422250 | 5000 7 4091 | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 6.82796 s Remaining CPU time: 173.172 s c =============================================================================== c | 10 | 4933 5087 427100 | 5000 10 4294 | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 7.00593 s Remaining CPU time: 172.994 s c =============================================================================== c | 10 | 4933 5088 431950 | 5000 10 4294 | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 7.19691 s Remaining CPU time: 172.803 s c =============================================================================== c | 10 | 4933 5089 436800 | 5000 10 4294 | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 7.39188 s Remaining CPU time: 172.608 s c =============================================================================== c | 10 | 4933 5090 441650 | 5000 10 4294 | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 7.60984 s Remaining CPU time: 172.39 s c =============================================================================== c | 27 | 4933 5091 446500 | 5000 27 4590 | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 7.80181 s Remaining CPU time: 172.198 s c =============================================================================== c | 27 | 4933 5092 451350 | 5000 27 4590 | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 8.00978 s Remaining CPU time: 171.99 s c =============================================================================== c | 27 | 4933 5093 456200 | 5000 27 4590 | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 8.22575 s Remaining CPU time: 171.774 s c =============================================================================== c | 27 | 4933 5094 461050 | 5000 27 4590 | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 8.44871 s Remaining CPU time: 171.551 s c =============================================================================== c | 32 | 4933 5095 465900 | 5000 32 4616 | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 8.66768 s Remaining CPU time: 171.332 s c =============================================================================== c | 32 | 4933 5096 470750 | 5000 32 4616 | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 8.88965 s Remaining CPU time: 171.11 s c =============================================================================== c | 40 | 4933 5097 475600 | 5000 40 4645 | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 9.10961 s Remaining CPU time: 170.89 s c =============================================================================== c | 40 | 4933 5098 480450 | 5000 40 4645 | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 9.33358 s Remaining CPU time: 170.666 s c =============================================================================== c | 40 | 4933 5099 485300 | 5000 40 4645 | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 9.55555 s Remaining CPU time: 170.444 s c =============================================================================== c | 40 | 4933 5100 490150 | 5000 40 4645 | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 9.77251 s Remaining CPU time: 170.227 s c =============================================================================== c | 40 | 4933 5101 495000 | 5000 40 4645 | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 9.99248 s Remaining CPU time: 170.008 s c =============================================================================== c | 40 | 4933 5102 499850 | 5000 40 4645 | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 10.2174 s Remaining CPU time: 169.783 s c =============================================================================== c | 41 | 4933 5103 504700 | 5000 41 4647 | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 10.4444 s Remaining CPU time: 169.556 s c =============================================================================== c | 41 | 4933 5104 509550 | 5000 41 4647 | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 10.6734 s Remaining CPU time: 169.327 s c =============================================================================== c | 41 | 4933 5105 514400 | 5000 41 4647 | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 10.9543 s Remaining CPU time: 169.046 s c =============================================================================== c | 41 | 4933 5106 519250 | 5000 41 4647 | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 11.2033 s Remaining CPU time: 168.797 s c =============================================================================== c | 42 | 4933 5107 524100 | 5000 42 4650 | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 11.4393 s Remaining CPU time: 168.561 s c =============================================================================== c | 42 | 4933 5108 528950 | 5000 42 4650 | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 11.6752 s Remaining CPU time: 168.325 s c =============================================================================== c | 42 | 4933 5109 533800 | 5000 42 4650 | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 11.9132 s Remaining CPU time: 168.087 s c =============================================================================== c | 42 | 4933 5110 538650 | 5000 42 4650 | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 12.1502 s Remaining CPU time: 167.85 s c =============================================================================== c | 42 | 4933 5111 543500 | 5000 42 4650 | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 12.4101 s Remaining CPU time: 167.59 s c =============================================================================== c | 42 | 4933 5112 548350 | 5000 42 4650 | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 12.6561 s Remaining CPU time: 167.344 s c =============================================================================== c | 42 | 4933 5113 553200 | 5000 42 4650 | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 12.91 s Remaining CPU time: 167.09 s c =============================================================================== c | 54 | 4933 5114 558050 | 5000 54 4670 | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 13.166 s Remaining CPU time: 166.834 s c =============================================================================== c | 56 | 4933 5115 562900 | 5000 56 4673 | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 13.417 s Remaining CPU time: 166.583 s c =============================================================================== c | 60 | 4933 5116 567750 | 5000 60 4677 | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 13.6779 s Remaining CPU time: 166.322 s c =============================================================================== c | 62 | 4933 5117 572600 | 5000 62 4679 | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 13.9409 s Remaining CPU time: 166.059 s c =============================================================================== c | 65 | 4933 5118 577450 | 5000 65 4682 | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 14.2198 s Remaining CPU time: 165.78 s c =============================================================================== c | 77 | 4933 5119 582300 | 5000 77 4690 | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 14.5188 s Remaining CPU time: 165.481 s c =============================================================================== c | 80 | 4933 5120 587150 | 5000 80 4692 | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 14.8137 s Remaining CPU time: 165.186 s c =============================================================================== c | 81 | 4933 5121 592000 | 5000 81 4692 | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 15.1127 s Remaining CPU time: 164.887 s c =============================================================================== c | 85 | 4933 5122 596850 | 5000 85 4694 | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 15.4187 s Remaining CPU time: 164.581 s c =============================================================================== c | 85 | 4933 5123 601700 | 5000 85 4694 | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 15.7176 s Remaining CPU time: 164.282 s c =============================================================================== c | 89 | 4933 5124 606550 | 5000 89 4696 | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 16.0156 s Remaining CPU time: 163.984 s c =============================================================================== c | 91 | 4933 5125 611400 | 5000 91 4697 | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 16.3935 s Remaining CPU time: 163.606 s c =============================================================================== c | 120 | 4933 5126 616250 | 5000 120 4665 | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 16.7105 s Remaining CPU time: 163.29 s c =============================================================================== c | 127 | 4933 5127 621100 | 5000 127 4669 | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 17.0234 s Remaining CPU time: 162.977 s c =============================================================================== c | 137 | 4933 5128 625950 | 5000 137 4673 | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 17.3214 s Remaining CPU time: 162.679 s c =============================================================================== c | 137 | 4933 5129 630800 | 5000 137 4673 | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 17.6413 s Remaining CPU time: 162.359 s c =============================================================================== c | 149 | 4933 5130 635650 | 5000 149 4677 | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 18.0203 s Remaining CPU time: 161.98 s c =============================================================================== c | 184 | 4933 5131 640500 | 5000 184 4686 | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 18.3672 s Remaining CPU time: 161.633 s c =============================================================================== c | 201 | 4933 5132 645350 | 5000 201 4689 | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 18.7052 s Remaining CPU time: 161.295 s c =============================================================================== c | 224 | 4933 5133 650200 | 5000 224 4693 | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 19.0311 s Remaining CPU time: 160.969 s c =============================================================================== c | 229 | 4933 5134 655050 | 5000 229 4693 | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 19.3521 s Remaining CPU time: 160.648 s c =============================================================================== c | 230 | 4933 5135 659900 | 5000 230 4693 | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 19.674 s Remaining CPU time: 160.326 s c =============================================================================== c | 237 | 4933 5136 664750 | 5000 237 4694 | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 20.055 s Remaining CPU time: 159.945 s c =============================================================================== c | 265 | 4933 5137 669600 | 5000 265 4697 | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 20.3689 s Remaining CPU time: 159.631 s c =============================================================================== c | 271 | 4933 5138 674450 | 5000 271 4697 | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 20.7238 s Remaining CPU time: 159.276 s c =============================================================================== c | 291 | 4933 5139 679300 | 5000 291 4698 | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 21.0268 s Remaining CPU time: 158.973 s c =============================================================================== c | 291 | 4933 5140 684150 | 5000 291 4698 | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 21.3588 s Remaining CPU time: 158.641 s c =============================================================================== c | 320 | 4933 5141 689000 | 5000 320 4700 | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 21.6937 s Remaining CPU time: 158.306 s c =============================================================================== c | 327 | 4933 5142 693850 | 5000 327 4700 | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 22.0606 s Remaining CPU time: 157.939 s c =============================================================================== c | 348 | 4933 5143 698700 | 5000 348 4701 | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 22.6086 s Remaining CPU time: 157.391 s c =============================================================================== c | 436 | 4933 5144 703550 | 5000 436 4703 | 0.000 % | c | 537 | 4933 5144 703550 | 5500 537 4704 | 1.340 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 23.6064 s Remaining CPU time: 156.394 s c =============================================================================== c | 595 | 4933 5145 708400 | 5000 595 4697 | 1.340 % | c | 695 | 4933 5145 708400 | 5500 695 4699 | 1.340 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 24.6293 s Remaining CPU time: 155.371 s c =============================================================================== c | 742 | 4933 5146 713250 | 5000 742 4700 | 1.340 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 25.0082 s Remaining CPU time: 154.992 s c =============================================================================== c | 775 | 4933 5147 718100 | 5000 775 4700 | 1.340 % | c | 875 | 4933 5147 718100 | 5500 875 4701 | 1.340 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 25.8831 s Remaining CPU time: 154.117 s c =============================================================================== c | 938 | 4933 5148 722950 | 5000 938 4701 | 1.340 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 26.201 s Remaining CPU time: 153.799 s c =============================================================================== c | 939 | 4933 5149 727800 | 5000 939 4701 | 1.340 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 26.549 s Remaining CPU time: 153.451 s c =============================================================================== c | 963 | 4933 5150 732650 | 5000 963 4701 | 1.340 % | c | 1064 | 4933 5150 732650 | 5500 1064 4702 | 1.340 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 27.4838 s Remaining CPU time: 152.516 s c =============================================================================== c | 1101 | 4933 5151 737500 | 5000 1101 4702 | 1.340 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 27.8498 s Remaining CPU time: 152.15 s c =============================================================================== c | 1135 | 4933 5152 742350 | 5000 1135 4702 | 1.340 % | c | 1235 | 4933 5152 742350 | 5500 1235 4702 | 1.340 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 28.7766 s Remaining CPU time: 151.223 s c =============================================================================== c | 1267 | 4933 5153 747200 | 5000 1267 4702 | 1.340 % | c | 1367 | 4933 5153 747200 | 5500 1367 4702 | 1.340 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 29.7335 s Remaining CPU time: 150.267 s c =============================================================================== c | 1400 | 4933 5154 752050 | 5000 1400 4702 | 1.340 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 30.1124 s Remaining CPU time: 149.888 s c =============================================================================== c | 1435 | 4933 5155 756900 | 5000 1435 4702 | 1.340 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 30.5024 s Remaining CPU time: 149.498 s c =============================================================================== c | 1457 | 4933 5156 761750 | 5000 1457 4702 | 1.340 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 30.8563 s Remaining CPU time: 149.144 s c =============================================================================== c | 1468 | 4933 5157 766600 | 5000 1468 4702 | 1.340 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 31.3632 s Remaining CPU time: 148.637 s c =============================================================================== c | 1553 | 4933 5158 771450 | 5000 1553 4701 | 1.340 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 31.7502 s Remaining CPU time: 148.25 s c =============================================================================== c | 1592 | 4933 5159 776300 | 5000 1592 4701 | 1.340 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 32.1621 s Remaining CPU time: 147.838 s c =============================================================================== c | 1628 | 4933 5160 781150 | 5000 1628 4701 | 1.340 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 32.5231 s Remaining CPU time: 147.477 s c =============================================================================== c | 1643 | 4933 5161 786000 | 5000 1643 4701 | 1.340 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 32.983 s Remaining CPU time: 147.017 s c =============================================================================== c | 1694 | 4933 5162 790850 | 5000 1694 4701 | 1.340 % | c | 1794 | 4933 5162 790850 | 5500 1794 4700 | 1.340 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 33.8928 s Remaining CPU time: 146.107 s c =============================================================================== c | 1856 | 4933 5163 795700 | 5000 1856 4700 | 1.340 % | c | 1957 | 4933 5163 795700 | 5500 1957 4700 | 1.340 % | c | 2107 | 4933 5163 795700 | 6050 2107 4699 | 1.340 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 35.6156 s Remaining CPU time: 144.384 s c =============================================================================== c | 2177 | 4933 5164 800550 | 5000 2177 4699 | 1.340 % | c | 2277 | 4933 5164 800550 | 5500 2277 4698 | 1.340 % | c | 2427 | 4933 5164 800550 | 6050 2427 4698 | 1.340 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 37.1993 s Remaining CPU time: 142.801 s c =============================================================================== c | 2488 | 4933 5165 805400 | 5000 2488 4698 | 1.340 % | c | 2588 | 4933 5165 805400 | 5500 2588 4697 | 1.340 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 38.0942 s Remaining CPU time: 141.906 s c =============================================================================== c | 2625 | 4933 5166 810250 | 5000 2625 4697 | 1.340 % | c | 2725 | 4933 5166 810250 | 5500 2725 4697 | 1.340 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 39.0141 s Remaining CPU time: 140.986 s c =============================================================================== c | 2778 | 4933 5167 815100 | 5000 2778 4697 | 1.340 % | c | 2878 | 4933 5167 815100 | 5500 2878 4696 | 1.340 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 40.0839 s Remaining CPU time: 139.916 s c =============================================================================== c | 3026 | 4933 5168 819950 | 5000 3026 4696 | 1.340 % | c | 3126 | 4933 5168 819950 | 5500 3126 4696 | 1.340 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 41.1247 s Remaining CPU time: 138.875 s c =============================================================================== c | 3244 | 4933 5169 824800 | 5000 3244 4695 | 1.340 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 41.5427 s Remaining CPU time: 138.457 s c =============================================================================== c | 3279 | 4933 5170 829650 | 5000 3279 4695 | 1.340 % | c | 3379 | 4933 5170 829650 | 5500 3379 4695 | 1.340 % | c | 3531 | 4933 5170 829650 | 6050 3531 4695 | 1.340 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 43.4264 s Remaining CPU time: 136.574 s c =============================================================================== c | 3662 | 4933 5171 834500 | 5000 3662 4694 | 1.340 % | c | 3762 | 4933 5171 834500 | 5500 3762 4694 | 1.340 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 44.5672 s Remaining CPU time: 135.433 s c =============================================================================== c | 3848 | 4933 5172 839350 | 5000 3848 4694 | 1.340 % | c | 3949 | 4933 5172 839350 | 5500 3949 4693 | 1.340 % | c | 4100 | 4933 5172 839350 | 6050 4100 4693 | 1.340 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 46.4009 s Remaining CPU time: 133.599 s c =============================================================================== c | 4163 | 4933 5173 844200 | 5000 4163 4693 | 1.340 % | c | 4264 | 4933 5173 844200 | 5500 4264 4692 | 1.340 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 47.3238 s Remaining CPU time: 132.676 s c =============================================================================== c | 4295 | 4933 5174 849050 | 5000 4295 4692 | 1.340 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 47.7367 s Remaining CPU time: 132.263 s c =============================================================================== c | 4316 | 4933 5175 853900 | 5000 4316 4692 | 1.340 % | c | 4417 | 4933 5175 853900 | 5500 4417 4692 | 1.340 % | c | 4567 | 4933 5175 853900 | 6050 4567 4692 | 1.340 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 49.4235 s Remaining CPU time: 130.577 s c =============================================================================== c | 4647 | 4933 5176 858750 | 5000 4647 4691 | 1.340 % | c | 4748 | 4933 5176 858750 | 5500 4748 4691 | 1.340 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 50.4163 s Remaining CPU time: 129.584 s c =============================================================================== c | 4763 | 4933 5177 863600 | 5000 4763 4691 | 1.340 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 50.9103 s Remaining CPU time: 129.09 s c =============================================================================== c | 4834 | 4933 5178 868450 | 5000 4834 4691 | 1.340 % | c | 4935 | 4933 5178 868450 | 5500 4935 4691 | 1.340 % | c | 5085 | 4933 5178 868450 | 6050 5085 4690 | 1.340 % | c | 5310 | 4933 5178 868450 | 6655 5310 4690 | 1.340 % | c | 5647 | 4933 5178 868450 | 7320 5647 4689 | 1.340 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 54.5487 s Remaining CPU time: 125.451 s c =============================================================================== c | 5758 | 4933 5179 873300 | 5000 5758 4689 | 1.340 % | c | 5858 | 4933 5179 873300 | 5500 2979 4676 | 1.340 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 55.6825 s Remaining CPU time: 124.317 s c =============================================================================== c | 5923 | 4933 5180 878150 | 5000 3044 4676 | 1.340 % | c | 6024 | 4933 5180 878150 | 5500 3145 4676 | 1.340 % | c | 6174 | 4933 5180 878150 | 6050 3295 4676 | 1.340 % | c | 6399 | 4933 5180 878150 | 6655 3520 4676 | 1.340 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 58.2771 s Remaining CPU time: 121.723 s c =============================================================================== c | 6424 | 4933 5181 883000 | 5000 3545 4676 | 1.340 % | c | 6524 | 4933 5181 883000 | 5500 3645 4676 | 1.340 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 59.352 s Remaining CPU time: 120.648 s c =============================================================================== c | 6582 | 4933 5182 887850 | 5000 3703 4676 | 1.340 % | c | 6682 | 4933 5182 887850 | 5500 3803 4675 | 1.340 % | c | 6832 | 4933 5182 887850 | 6050 3953 4675 | 1.340 % | c | 7057 | 4933 5182 887850 | 6655 4178 4675 | 1.340 % | c | 7395 | 4933 5182 887850 | 7320 4516 4675 | 1.340 % | c | 7901 | 4933 5182 887850 | 8052 5022 4675 | 1.340 % | c | 8660 | 4933 5182 887850 | 8857 5781 4674 | 1.340 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 69.1475 s Remaining CPU time: 110.853 s c =============================================================================== c | 9246 | 4933 5183 892700 | 5000 6367 4674 | 1.340 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 69.7124 s Remaining CPU time: 110.288 s c =============================================================================== c | 9298 | 4933 5184 897550 | 5000 3236 4667 | 1.340 % | c | 9399 | 4933 5184 897550 | 5500 3337 4667 | 1.340 % | c | 9549 | 4933 5184 897550 | 6050 3487 4667 | 1.340 % | c | 9774 | 4933 5184 897550 | 6655 3712 4668 | 1.340 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 72.6909 s Remaining CPU time: 107.309 s c =============================================================================== c | 9921 | 4933 5185 902400 | 5000 3859 4668 | 1.340 % | c | 10021 | 4933 5185 902400 | 5500 3959 4668 | 1.340 % | c | 10171 | 4933 5185 902400 | 6050 4109 4668 | 1.340 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 74.5867 s Remaining CPU time: 105.413 s c =============================================================================== c | 10277 | 4933 5186 907250 | 5000 4215 4668 | 1.340 % | c | 10377 | 4933 5186 907250 | 5500 4315 4668 | 1.340 % | c | 10528 | 4933 5186 907250 | 6050 4466 4668 | 1.340 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 76.3564 s Remaining CPU time: 103.644 s c =============================================================================== c | 10622 | 4933 5187 912100 | 5000 4560 4668 | 1.340 % | c | 10722 | 4933 5187 912100 | 5500 4660 4668 | 1.340 % | c | 10872 | 4933 5187 912100 | 6050 4810 4668 | 1.340 % | c | 11099 | 4933 5187 912100 | 6655 5037 4668 | 1.340 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 79.5009 s Remaining CPU time: 100.499 s c =============================================================================== c | 11133 | 4933 5188 916950 | 5000 5071 4668 | 1.340 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 80.0418 s Remaining CPU time: 99.9582 s c =============================================================================== c | 11208 | 4933 5189 921800 | 5000 2611 4663 | 1.340 % | c | 11310 | 4933 5189 921800 | 5500 2713 4663 | 1.340 % | c | 11460 | 4933 5189 921800 | 6050 2863 4663 | 1.340 % | c | 11686 | 4933 5189 921800 | 6655 3089 4663 | 1.340 % | c | 12023 | 4933 5189 921800 | 7320 3426 4664 | 1.340 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 85.664 s Remaining CPU time: 94.336 s c =============================================================================== c | 12492 | 4933 5190 926650 | 5000 3895 4664 | 1.340 % | c | 12592 | 4933 5190 926650 | 5500 3995 4664 | 1.340 % | c | 12742 | 4933 5190 926650 | 6050 4145 4664 | 1.340 % | c | 12967 | 4933 5190 926650 | 6655 4370 4664 | 1.340 % | c | 13305 | 4933 5190 926650 | 7320 4708 4664 | 1.340 % | c | 13811 | 4933 5190 926650 | 8052 5214 4664 | 1.340 % | c | 14571 | 4933 5190 926650 | 8857 5974 4664 | 1.340 % | c | 15710 | 4933 5190 926650 | 9743 7113 4664 | 1.340 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 102.285 s Remaining CPU time: 77.7146 s c =============================================================================== c | 17358 | 4933 5191 931500 | 5000 8761 4664 | 1.340 % | c | 17459 | 4933 5191 931500 | 5500 4482 4661 | 1.340 % | c | 17609 | 4933 5191 931500 | 6050 4632 4661 | 1.340 % | c | 17834 | 4933 5191 931500 | 6655 4857 4661 | 1.340 % | c | 18171 | 4933 5191 931500 | 7320 5194 4661 | 1.340 % | c | 18677 | 4933 5191 931500 | 8052 5700 4661 | 1.340 % | c | 19436 | 4933 5191 931500 | 8857 6459 4662 | 1.340 % |