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 | 5000 5000 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4850 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 5000 5001 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 5000 5002 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 5000 5003 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 5000 5004 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 5000 5005 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 5000 5006 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 5000 5007 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 5000 5008 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4842 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 5000 5009 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 5000 5010 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4840 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 5000 5011 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 5000 5012 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 5000 5013 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 5000 5014 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 0 | 5000 5015 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 5000 5016 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 5000 5017 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 5000 5018 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 5000 5019 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4831 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 0 | 5000 5020 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 5000 5021 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 0 | 5000 5022 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 0 | 5000 5023 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 0 | 5000 5024 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 0 | 5000 5025 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 0 | 5000 5026 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 0 | 5000 5027 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 0 | 5000 5028 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 0 | 5000 5029 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 0 | 5000 5030 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 0 | 5000 5031 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.78588 s Remaining CPU time: 179.214 s c =============================================================================== c | 0 | 5000 5032 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 0 | 5000 5033 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 0 | 5000 5034 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s c =============================================================================== c | 0 | 5000 5035 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 0 | 5000 5036 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.07584 s Remaining CPU time: 178.924 s c =============================================================================== c | 0 | 5000 5037 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 0 | 5000 5038 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 0 | 5000 5039 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s c =============================================================================== c | 0 | 5000 5040 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 0 | 5000 5041 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.41278 s Remaining CPU time: 178.587 s c =============================================================================== c | 0 | 5000 5042 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.49177 s Remaining CPU time: 178.508 s c =============================================================================== c | 0 | 5000 5043 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 1.56976 s Remaining CPU time: 178.43 s c =============================================================================== c | 0 | 5000 5044 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 0 | 5000 5045 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 0 | 5000 5046 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 0 | 5000 5047 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 1.90071 s Remaining CPU time: 178.099 s c =============================================================================== c | 0 | 5000 5048 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 1.9877 s Remaining CPU time: 178.012 s c =============================================================================== c | 0 | 5000 5049 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.07768 s Remaining CPU time: 177.922 s c =============================================================================== c | 0 | 5000 5050 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.16567 s Remaining CPU time: 177.834 s c =============================================================================== c | 0 | 5000 5051 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s c =============================================================================== c | 0 | 5000 5052 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s c =============================================================================== c | 0 | 5000 5053 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 2.45763 s Remaining CPU time: 177.542 s c =============================================================================== c | 0 | 5000 5054 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 2.55661 s Remaining CPU time: 177.443 s c =============================================================================== c | 0 | 5000 5055 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 2.6566 s Remaining CPU time: 177.343 s c =============================================================================== c | 0 | 5000 5056 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 2.75958 s Remaining CPU time: 177.24 s c =============================================================================== c | 0 | 5000 5057 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 2.86256 s Remaining CPU time: 177.137 s c =============================================================================== c | 0 | 5000 5058 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 2.96855 s Remaining CPU time: 177.031 s c =============================================================================== c | 0 | 5000 5059 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 3.07653 s Remaining CPU time: 176.923 s c =============================================================================== c | 0 | 5000 5060 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4790 c Elapsed CPU time: 3.19151 s Remaining CPU time: 176.808 s c =============================================================================== c | 0 | 5000 5061 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 3.3055 s Remaining CPU time: 176.695 s c =============================================================================== c | 0 | 5000 5062 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 3.42048 s Remaining CPU time: 176.58 s c =============================================================================== c | 0 | 5000 5063 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 3.53846 s Remaining CPU time: 176.462 s c =============================================================================== c | 0 | 5000 5064 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 3.65944 s Remaining CPU time: 176.341 s c =============================================================================== c | 0 | 5000 5065 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 3.78043 s Remaining CPU time: 176.22 s c =============================================================================== c | 0 | 5000 5066 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 3.90341 s Remaining CPU time: 176.097 s c =============================================================================== c | 0 | 5000 5067 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 4.03239 s Remaining CPU time: 175.968 s c =============================================================================== c | 0 | 5000 5068 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 4.16337 s Remaining CPU time: 175.837 s c =============================================================================== c | 0 | 5000 5069 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 4.29635 s Remaining CPU time: 175.704 s c =============================================================================== c | 0 | 5000 5070 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 4.43033 s Remaining CPU time: 175.57 s c =============================================================================== c | 0 | 5000 5071 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 4.5663 s Remaining CPU time: 175.434 s c =============================================================================== c | 0 | 5000 5072 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 4.70328 s Remaining CPU time: 175.297 s c =============================================================================== c | 0 | 5000 5073 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 4.84726 s Remaining CPU time: 175.153 s c =============================================================================== c | 0 | 5000 5074 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 4.99124 s Remaining CPU time: 175.009 s c =============================================================================== c | 0 | 5000 5075 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 5.13822 s Remaining CPU time: 174.862 s c =============================================================================== c | 0 | 5000 5076 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 5.2842 s Remaining CPU time: 174.716 s c =============================================================================== c | 0 | 5000 5077 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 5.43617 s Remaining CPU time: 174.564 s c =============================================================================== c | 0 | 5000 5078 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 5.58915 s Remaining CPU time: 174.411 s c =============================================================================== c | 0 | 5000 5079 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 5.74313 s Remaining CPU time: 174.257 s c =============================================================================== c | 0 | 5000 5080 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 5.9011 s Remaining CPU time: 174.099 s c =============================================================================== c | 0 | 5000 5081 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 6.06308 s Remaining CPU time: 173.937 s c =============================================================================== c | 0 | 5000 5082 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 6.22805 s Remaining CPU time: 173.772 s c =============================================================================== c | 0 | 5000 5083 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 6.39103 s Remaining CPU time: 173.609 s c =============================================================================== c | 0 | 5000 5084 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 6.559 s Remaining CPU time: 173.441 s c =============================================================================== c | 0 | 5000 5085 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 6.72898 s Remaining CPU time: 173.271 s c =============================================================================== c | 0 | 5000 5086 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 6.89995 s Remaining CPU time: 173.1 s c =============================================================================== c | 0 | 5000 5087 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 7.07492 s Remaining CPU time: 172.925 s c =============================================================================== c | 0 | 5000 5088 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 7.2539 s Remaining CPU time: 172.746 s c =============================================================================== c | 0 | 5000 5089 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 7.43687 s Remaining CPU time: 172.563 s c =============================================================================== c | 0 | 5000 5090 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 7.62184 s Remaining CPU time: 172.378 s c =============================================================================== c | 0 | 5000 5091 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 7.80581 s Remaining CPU time: 172.194 s c =============================================================================== c | 0 | 5000 5092 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 7.99478 s Remaining CPU time: 172.005 s c =============================================================================== c | 0 | 5000 5093 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 8.18975 s Remaining CPU time: 171.81 s c =============================================================================== c | 0 | 5000 5094 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 8.38573 s Remaining CPU time: 171.614 s c =============================================================================== c | 0 | 5000 5095 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 8.59169 s Remaining CPU time: 171.408 s c =============================================================================== c | 0 | 5000 5096 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 8.79566 s Remaining CPU time: 171.204 s c =============================================================================== c | 0 | 5000 5097 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 9.00463 s Remaining CPU time: 170.995 s c =============================================================================== c | 0 | 5000 5098 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 9.2176 s Remaining CPU time: 170.782 s c =============================================================================== c | 0 | 5000 5099 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 9.43057 s Remaining CPU time: 170.569 s c =============================================================================== c | 0 | 5000 5100 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 9.64453 s Remaining CPU time: 170.355 s c =============================================================================== c | 0 | 5000 5101 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 9.8615 s Remaining CPU time: 170.138 s c =============================================================================== c | 0 | 5000 5102 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 10.0825 s Remaining CPU time: 169.918 s c =============================================================================== c | 0 | 5000 5103 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 10.3074 s Remaining CPU time: 169.693 s c =============================================================================== c | 0 | 5000 5104 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 10.5294 s Remaining CPU time: 169.471 s c =============================================================================== c | 0 | 5000 5105 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 10.7564 s Remaining CPU time: 169.244 s c =============================================================================== c | 0 | 5000 5106 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 10.9813 s Remaining CPU time: 169.019 s c =============================================================================== c | 0 | 5000 5107 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 11.2143 s Remaining CPU time: 168.786 s c =============================================================================== c | 0 | 5000 5108 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 11.4423 s Remaining CPU time: 168.558 s c =============================================================================== c | 0 | 5000 5109 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 11.7122 s Remaining CPU time: 168.288 s c =============================================================================== c | 0 | 5000 5110 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 11.9832 s Remaining CPU time: 168.017 s c =============================================================================== c | 0 | 5000 5111 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 12.2541 s Remaining CPU time: 167.746 s c =============================================================================== c | 0 | 5000 5112 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 12.5211 s Remaining CPU time: 167.479 s c =============================================================================== c | 0 | 5000 5113 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 12.7921 s Remaining CPU time: 167.208 s c =============================================================================== c | 0 | 5000 5114 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 13.063 s Remaining CPU time: 166.937 s c =============================================================================== c | 0 | 5000 5115 572600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 13.334 s Remaining CPU time: 166.666 s c =============================================================================== c | 0 | 5000 5116 577450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 13.6099 s Remaining CPU time: 166.39 s c =============================================================================== c | 0 | 5000 5117 582300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 13.8879 s Remaining CPU time: 166.112 s c =============================================================================== c | 0 | 5000 5118 587150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 14.1668 s Remaining CPU time: 165.833 s c =============================================================================== c | 0 | 5000 5119 592000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 14.4468 s Remaining CPU time: 165.553 s c =============================================================================== c | 0 | 5000 5120 596850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 14.7328 s Remaining CPU time: 165.267 s c =============================================================================== c | 0 | 5000 5121 601700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 15.0157 s Remaining CPU time: 164.984 s c =============================================================================== c | 0 | 5000 5122 606550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 15.3057 s Remaining CPU time: 164.694 s c =============================================================================== c | 0 | 5000 5123 611400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 15.5996 s Remaining CPU time: 164.4 s c =============================================================================== c | 0 | 5000 5124 616250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 15.8936 s Remaining CPU time: 164.106 s c =============================================================================== c | 0 | 5000 5125 621100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 16.1915 s Remaining CPU time: 163.808 s c =============================================================================== c | 0 | 5000 5126 625950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 16.4895 s Remaining CPU time: 163.511 s c =============================================================================== c | 0 | 5000 5127 630800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 16.7884 s Remaining CPU time: 163.212 s c =============================================================================== c | 0 | 5000 5128 635650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 17.0904 s Remaining CPU time: 162.91 s c =============================================================================== c | 0 | 5000 5129 640500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 17.3914 s Remaining CPU time: 162.609 s c =============================================================================== c | 0 | 5000 5130 645350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 17.6953 s Remaining CPU time: 162.305 s c =============================================================================== c | 0 | 5000 5131 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 17.9993 s Remaining CPU time: 162.001 s c =============================================================================== c | 0 | 5000 5132 655050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 18.3102 s Remaining CPU time: 161.69 s c =============================================================================== c | 0 | 5000 5133 659900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 18.6232 s Remaining CPU time: 161.377 s c =============================================================================== c | 0 | 5000 5134 664750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 18.9351 s Remaining CPU time: 161.065 s c =============================================================================== c | 0 | 5000 5135 669600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 19.2491 s Remaining CPU time: 160.751 s c =============================================================================== c | 0 | 5000 5136 674450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 19.564 s Remaining CPU time: 160.436 s c =============================================================================== c | 0 | 5000 5137 679300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 19.885 s Remaining CPU time: 160.115 s c =============================================================================== c | 0 | 5000 5138 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 20.2069 s Remaining CPU time: 159.793 s c =============================================================================== c | 0 | 5000 5139 689000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 20.5289 s Remaining CPU time: 159.471 s c =============================================================================== c | 0 | 5000 5140 693850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 20.8628 s Remaining CPU time: 159.137 s c =============================================================================== c | 0 | 5000 5141 698700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 21.1908 s Remaining CPU time: 158.809 s c =============================================================================== c | 0 | 5000 5142 703550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 21.5227 s Remaining CPU time: 158.477 s c =============================================================================== c | 0 | 5000 5143 708400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 21.8547 s Remaining CPU time: 158.145 s c =============================================================================== c | 0 | 5000 5144 713250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 22.1906 s Remaining CPU time: 157.809 s c =============================================================================== c | 0 | 5000 5145 718100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 22.5236 s Remaining CPU time: 157.476 s c =============================================================================== c | 0 | 5000 5146 722950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 22.8575 s Remaining CPU time: 157.142 s c =============================================================================== c | 0 | 5000 5147 727800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 23.1945 s Remaining CPU time: 156.806 s c =============================================================================== c | 0 | 5000 5148 732650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 23.5334 s Remaining CPU time: 156.467 s c =============================================================================== c | 0 | 5000 5149 737500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 23.8714 s Remaining CPU time: 156.129 s c =============================================================================== c | 0 | 5000 5150 742350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 24.2113 s Remaining CPU time: 155.789 s c =============================================================================== c | 0 | 5000 5151 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 24.5533 s Remaining CPU time: 155.447 s c =============================================================================== c | 0 | 5000 5152 752050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 24.8962 s Remaining CPU time: 155.104 s c =============================================================================== c | 0 | 5000 5153 756900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 25.2412 s Remaining CPU time: 154.759 s c =============================================================================== c | 0 | 5000 5154 761750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 25.5911 s Remaining CPU time: 154.409 s c =============================================================================== c | 0 | 5000 5155 766600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 25.9571 s Remaining CPU time: 154.043 s c =============================================================================== c | 2 | 5000 5156 771450 | 5000 2 4697 | 0.000 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 26.31 s Remaining CPU time: 153.69 s c =============================================================================== c | 2 | 5000 5157 776300 | 5000 2 4697 | 0.000 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 26.6659 s Remaining CPU time: 153.334 s c =============================================================================== c | 4 | 5000 5158 781150 | 5000 4 4696 | 0.000 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 27.0239 s Remaining CPU time: 152.976 s c =============================================================================== c | 8 | 5000 5159 786000 | 5000 8 4695 | 0.000 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 27.3878 s Remaining CPU time: 152.612 s c =============================================================================== c | 14 | 5000 5160 790850 | 5000 14 4694 | 0.000 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 27.7518 s Remaining CPU time: 152.248 s c =============================================================================== c | 14 | 5000 5161 795700 | 5000 14 4694 | 0.000 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 28.1157 s Remaining CPU time: 151.884 s c =============================================================================== c | 14 | 5000 5162 800550 | 5000 14 4694 | 0.000 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 28.4847 s Remaining CPU time: 151.515 s c =============================================================================== c | 18 | 5000 5163 805400 | 5000 18 4693 | 0.000 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 28.8886 s Remaining CPU time: 151.111 s c =============================================================================== c | 37 | 5000 5164 810250 | 5000 37 4691 | 0.000 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 29.3765 s Remaining CPU time: 150.623 s c =============================================================================== c | 84 | 5000 5165 815100 | 5000 84 4690 | 0.000 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 29.7595 s Remaining CPU time: 150.241 s c =============================================================================== c | 84 | 5000 5166 819950 | 5000 84 4690 | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 30.2794 s Remaining CPU time: 149.721 s c =============================================================================== c | 123 | 5000 5167 824800 | 5000 123 4689 | 0.000 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 30.6713 s Remaining CPU time: 149.329 s c =============================================================================== c | 123 | 5000 5168 829650 | 5000 123 4689 | 0.000 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 31.0553 s Remaining CPU time: 148.945 s c =============================================================================== c | 123 | 5000 5169 834500 | 5000 123 4689 | 0.000 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 31.4512 s Remaining CPU time: 148.549 s c =============================================================================== c | 130 | 5000 5170 839350 | 5000 130 4689 | 0.000 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 31.8422 s Remaining CPU time: 148.158 s c =============================================================================== c | 131 | 5000 5171 844200 | 5000 131 4688 | 0.000 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 32.2421 s Remaining CPU time: 147.758 s c =============================================================================== c | 136 | 5000 5172 849050 | 5000 136 4688 | 0.000 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 32.642 s Remaining CPU time: 147.358 s c =============================================================================== c | 137 | 5000 5173 853900 | 5000 137 4688 | 0.000 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 33.138 s Remaining CPU time: 146.862 s c =============================================================================== c | 174 | 5000 5174 858750 | 5000 174 4686 | 0.000 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 33.5369 s Remaining CPU time: 146.463 s c =============================================================================== c | 174 | 5000 5175 863600 | 5000 174 4686 | 0.000 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 34.0048 s Remaining CPU time: 145.995 s c =============================================================================== c | 213 | 5000 5176 868450 | 5000 213 4685 | 0.000 % | c | 313 | 5000 5176 868450 | 5500 313 4682 | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 35.0627 s Remaining CPU time: 144.937 s c =============================================================================== c | 321 | 5000 5177 873300 | 5000 321 4682 | 0.000 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 35.4806 s Remaining CPU time: 144.519 s c =============================================================================== c | 341 | 5000 5178 878150 | 5000 341 4682 | 0.000 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 36.0745 s Remaining CPU time: 143.925 s c =============================================================================== c | 392 | 5000 5179 883000 | 5000 392 4681 | 0.000 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 36.5134 s Remaining CPU time: 143.487 s c =============================================================================== c | 419 | 5000 5180 887850 | 5000 419 4680 | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 36.9754 s Remaining CPU time: 143.025 s c =============================================================================== c | 440 | 5000 5181 892700 | 5000 440 4680 | 0.000 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 37.4163 s Remaining CPU time: 142.584 s c =============================================================================== c | 460 | 5000 5182 897550 | 5000 460 4679 | 0.000 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 37.9962 s Remaining CPU time: 142.004 s c =============================================================================== c | 540 | 5000 5183 902400 | 5000 540 4678 | 0.000 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 38.4262 s Remaining CPU time: 141.574 s c =============================================================================== c | 540 | 5000 5184 907250 | 5000 540 4678 | 0.000 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 38.8541 s Remaining CPU time: 141.146 s c =============================================================================== c | 540 | 5000 5185 912100 | 5000 540 4678 | 0.000 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 39.272 s Remaining CPU time: 140.728 s c =============================================================================== c | 540 | 5000 5186 916950 | 5000 540 4678 | 0.000 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 39.694 s Remaining CPU time: 140.306 s c =============================================================================== c | 542 | 5000 5187 921800 | 5000 542 4678 | 0.000 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 40.1229 s Remaining CPU time: 139.877 s c =============================================================================== c | 542 | 5000 5188 926650 | 5000 542 4678 | 0.000 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 40.5478 s Remaining CPU time: 139.452 s c =============================================================================== c | 542 | 5000 5189 931500 | 5000 542 4678 | 0.000 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 40.9758 s Remaining CPU time: 139.024 s c =============================================================================== c | 542 | 5000 5190 936350 | 5000 542 4678 | 0.000 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 41.4887 s Remaining CPU time: 138.511 s c =============================================================================== c | 574 | 5000 5191 941200 | 5000 574 4677 | 0.000 % | c | 675 | 5000 5191 941200 | 5500 675 4675 | 0.000 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 42.7405 s Remaining CPU time: 137.259 s c =============================================================================== c | 675 | 5000 5192 946050 | 5000 675 4675 | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 43.2344 s Remaining CPU time: 136.766 s c =============================================================================== c | 704 | 5000 5193 950900 | 5000 704 4674 | 0.000 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 43.7024 s Remaining CPU time: 136.298 s c =============================================================================== c | 713 | 5000 5194 955750 | 5000 713 4674 | 0.000 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 44.3913 s Remaining CPU time: 135.609 s c =============================================================================== c | 811 | 5000 5195 960600 | 5000 811 4672 | 0.000 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 44.9442 s Remaining CPU time: 135.056 s c =============================================================================== c | 877 | 5000 5196 965450 | 5000 877 4671 | 0.000 % | c =============================================================================== c New solution: 4654 c Elapsed CPU time: 45.4061 s Remaining CPU time: 134.594 s c =============================================================================== c | 883 | 5000 5197 970300 | 5000 883 4671 | 0.000 % | c | 983 | 5000 5197 970300 | 5500 983 4669 | 0.000 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 46.6279 s Remaining CPU time: 133.372 s c =============================================================================== c | 1026 | 5000 5198 975150 | 5000 1026 4664 | 0.000 % | c | 1127 | 5000 5198 975150 | 5500 1127 4663 | 0.000 % | c =============================================================================== c New solution: 4652 c Elapsed CPU time: 47.8217 s Remaining CPU time: 132.178 s c =============================================================================== c | 1144 | 5000 5199 980000 | 5000 1144 4663 | 0.000 % | c =============================================================================== c New solution: 4651 c Elapsed CPU time: 48.3536 s Remaining CPU time: 131.646 s c =============================================================================== c | 1173 | 5000 5200 984850 | 5000 1173 4663 | 0.000 % | c =============================================================================== c New solution: 4650 c Elapsed CPU time: 48.8216 s Remaining CPU time: 131.178 s c =============================================================================== c | 1182 | 5000 5201 989700 | 5000 1182 4663 | 0.000 % | c | 1282 | 5000 5201 989700 | 5500 1282 4662 | 0.000 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 50.2754 s Remaining CPU time: 129.725 s c =============================================================================== c | 1334 | 5000 5202 994550 | 5000 1334 4662 | 0.000 % | c =============================================================================== c New solution: 4648 c Elapsed CPU time: 50.7613 s Remaining CPU time: 129.239 s c =============================================================================== c | 1336 | 5000 5203 999400 | 5000 1336 4662 | 0.000 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 51.2452 s Remaining CPU time: 128.755 s c =============================================================================== c | 1338 | 5000 5204 1004250 | 5000 1338 4662 | 0.000 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 51.7651 s Remaining CPU time: 128.235 s c =============================================================================== c | 1359 | 5000 5205 1009100 | 5000 1359 4661 | 0.000 % | c =============================================================================== c New solution: 4645 c Elapsed CPU time: 52.299 s Remaining CPU time: 127.701 s c =============================================================================== c | 1371 | 5000 5206 1013950 | 5000 1371 4661 | 0.000 % | c | 1471 | 5000 5206 1013950 | 5500 1471 4660 | 0.000 % | c =============================================================================== c New solution: 4644 c Elapsed CPU time: 53.8778 s Remaining CPU time: 126.122 s c =============================================================================== c | 1501 | 5000 5207 1018800 | 5000 1501 4660 | 0.000 % | c =============================================================================== c New solution: 4643 c Elapsed CPU time: 54.3667 s Remaining CPU time: 125.633 s c =============================================================================== c | 1517 | 5000 5208 1023650 | 5000 1517 4660 | 0.000 % | c =============================================================================== c New solution: 4642 c Elapsed CPU time: 55.0056 s Remaining CPU time: 124.994 s c =============================================================================== c | 1582 | 5000 5209 1028500 | 5000 1582 4659 | 0.000 % | c | 1683 | 5000 5209 1028500 | 5500 1683 4658 | 0.000 % | c =============================================================================== c New solution: 4641 c Elapsed CPU time: 56.5214 s Remaining CPU time: 123.479 s c =============================================================================== c | 1744 | 5000 5210 1033350 | 5000 1744 4658 | 0.000 % | c =============================================================================== c New solution: 4640 c Elapsed CPU time: 57.0403 s Remaining CPU time: 122.96 s c =============================================================================== c | 1761 | 5000 5211 1038200 | 5000 1761 4658 | 0.000 % | c | 1861 | 5000 5211 1038200 | 5500 1861 4657 | 0.000 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 58.3591 s Remaining CPU time: 121.641 s c =============================================================================== c | 1895 | 5000 5212 1043050 | 5000 1895 4657 | 0.000 % | c | 1996 | 5000 5212 1043050 | 5500 1996 4656 | 0.000 % | c =============================================================================== c New solution: 4638 c Elapsed CPU time: 59.6609 s Remaining CPU time: 120.339 s c =============================================================================== c | 2041 | 5000 5213 1047900 | 5000 2041 4655 | 0.000 % | c | 2141 | 5000 5213 1047900 | 5500 2141 4655 | 0.000 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 61.2897 s Remaining CPU time: 118.71 s c =============================================================================== c | 2225 | 5000 5214 1052750 | 5000 2225 4654 | 0.000 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 61.7856 s Remaining CPU time: 118.214 s c =============================================================================== c | 2234 | 5000 5215 1057600 | 5000 2234 4654 | 0.000 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 62.3175 s Remaining CPU time: 117.682 s c =============================================================================== c | 2268 | 5000 5216 1062450 | 5000 2268 4654 | 0.000 % | c | 2368 | 5000 5216 1062450 | 5500 2368 4653 | 0.000 % | c | 2520 | 5000 5216 1062450 | 6050 2520 4652 | 0.000 % | c | 2747 | 5000 5216 1062450 | 6655 2747 4651 | 0.000 % | c =============================================================================== c New solution: 4634 c Elapsed CPU time: 66.5989 s Remaining CPU time: 113.401 s c =============================================================================== c | 2959 | 5000 5217 1067300 | 5000 2959 4650 | 0.000 % | c | 3060 | 5000 5217 1067300 | 5500 3060 4649 | 0.000 % | c | 3210 | 5000 5217 1067300 | 6050 3210 4649 | 0.000 % | c =============================================================================== c New solution: 4633 c Elapsed CPU time: 69.6904 s Remaining CPU time: 110.31 s c =============================================================================== c | 3300 | 5000 5218 1072150 | 5000 3300 4648 | 0.000 % | c | 3400 | 5000 5218 1072150 | 5500 3400 4648 | 0.000 % | c | 3550 | 5000 5218 1072150 | 6050 3550 4647 | 0.000 % | c | 3775 | 5000 5218 1072150 | 6655 3775 4647 | 0.000 % | c =============================================================================== c New solution: 4632 c Elapsed CPU time: 72.7769 s Remaining CPU time: 107.223 s c =============================================================================== c | 3807 | 5000 5219 1077000 | 5000 3807 4647 | 0.000 % | c =============================================================================== c New solution: 4631 c Elapsed CPU time: 73.2969 s Remaining CPU time: 106.703 s c =============================================================================== c | 3824 | 5000 5220 1081850 | 5000 3824 4646 | 0.000 % | c =============================================================================== c New solution: 4630 c Elapsed CPU time: 73.8478 s Remaining CPU time: 106.152 s c =============================================================================== c | 3863 | 5000 5221 1086700 | 5000 3863 4646 | 0.000 % | c | 3963 | 5000 5221 1086700 | 5500 3963 4646 | 0.000 % | c =============================================================================== c New solution: 4629 c Elapsed CPU time: 75.3935 s Remaining CPU time: 104.606 s c =============================================================================== c | 4007 | 5000 5222 1091550 | 5000 4007 4646 | 0.000 % | c =============================================================================== c New solution: 4628 c Elapsed CPU time: 76.2204 s Remaining CPU time: 103.78 s c =============================================================================== c | 4086 | 5000 5223 1096400 | 5000 4086 4645 | 0.000 % | c =============================================================================== c New solution: 4627 c Elapsed CPU time: 76.9303 s Remaining CPU time: 103.07 s c =============================================================================== c | 4156 | 5000 5224 1101250 | 5000 4156 4645 | 0.000 % | c =============================================================================== c New solution: 4626 c Elapsed CPU time: 77.6322 s Remaining CPU time: 102.368 s c =============================================================================== c | 4218 | 5000 5225 1106100 | 5000 4218 4645 | 0.000 % | c | 4318 | 5000 5225 1106100 | 5500 4318 4643 | 0.000 % | c | 4468 | 5000 5225 1106100 | 6050 4468 4643 | 0.000 % | c | 4693 | 5000 5225 1106100 | 6655 4693 4642 | 0.000 % | c | 5030 | 5000 5225 1106100 | 7320 5030 4641 | 0.000 % | c =============================================================================== c New solution: 4625 c Elapsed CPU time: 82.2985 s Remaining CPU time: 97.7015 s c =============================================================================== c | 5152 | 5000 5226 1110950 | 5000 5152 4641 | 0.000 % | c | 5252 | 5000 5226 1110950 | 5500 2676 4628 | 0.000 % | c | 5402 | 5000 5226 1110950 | 6050 2826 4628 | 0.000 % | c | 5627 | 5000 5226 1110950 | 6655 3051 4628 | 0.000 % | c | 5964 | 5000 5226 1110950 | 7320 3388 4626 | 0.000 % | c | 6470 | 5000 5226 1110950 | 8052 3894 4626 | 0.000 % | c | 7229 | 5000 5226 1110950 | 8857 4653 4626 | 0.000 % | c =============================================================================== c New solution: 4624 c Elapsed CPU time: 95.8664 s Remaining CPU time: 84.1336 s c =============================================================================== c | 7864 | 5000 5227 1115800 | 5000 5288 4626 | 0.000 % | c | 7966 | 5000 5227 1115800 | 5500 2746 4621 | 0.000 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 97.5102 s Remaining CPU time: 82.4898 s c =============================================================================== c | 8082 | 5000 5228 1120650 | 5000 2862 4622 | 0.000 % | c | 8182 | 5000 5228 1120650 | 5500 2962 4622 | 0.000 % | c | 8332 | 5000 5228 1120650 | 6050 3112 4622 | 0.000 % | c | 8557 | 5000 5228 1120650 | 6655 3337 4622 | 0.000 % | c =============================================================================== c New solution: 4622 c Elapsed CPU time: 101.689 s Remaining CPU time: 78.3115 s c =============================================================================== c | 8753 | 5000 5229 1125500 | 5000 3533 4622 | 0.000 % | c | 8853 | 5000 5229 1125500 | 5500 3633 4622 | 0.000 % | c | 9004 | 5000 5229 1125500 | 6050 3784 4622 | 0.000 % | c | 9229 | 5000 5229 1125500 | 6655 4009 4622 | 0.000 % | c | 9566 | 5000 5229 1125500 | 7320 4346 4623 | 0.000 % | c | 10072 | 5000 5229 1125500 | 8052 4852 4622 | 0.000 % | c | 10831 | 5000 5229 1125500 | 8857 5611 4622 | 0.000 % | c | 11970 | 5000 5229 1125500 | 9743 6750 4622 | 0.000 % | c | 13678 | 5000 5229 1125500 | 10717 8458 4623 | 0.000 % | c | 16240 | 5000 5229 1125500 | 11789 11020 4623 | 0.000 % |