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 | 4983 5011 14798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4850 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 4983 5012 19648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 4983 5013 24498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 4983 5014 29348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 4983 5015 34198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 4983 5016 39048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 4983 5017 43898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 4983 5018 48748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 4983 5019 53598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4842 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 4983 5020 58448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 4983 5021 63298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4840 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 4983 5022 68148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 4983 5023 72998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 4983 5024 77848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 4983 5025 82698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 4983 5026 87548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 4983 5027 92398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 4983 5028 97248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 0 | 4983 5029 102098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 4983 5030 106948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4831 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 0 | 4983 5031 111798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 0 | 4983 5032 116648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 0 | 4983 5033 121498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 0 | 4983 5034 126348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 4983 5035 131198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 4983 5036 136048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 4983 5037 140898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 0 | 4983 5038 145748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 0 | 4983 5039 150598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.815875 s Remaining CPU time: 179.184 s c =============================================================================== c | 0 | 4983 5040 155448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 0 | 4983 5041 160298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 0 | 4983 5042 165148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 0 | 4983 5043 169998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 0 | 4983 5044 174848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 1.14183 s Remaining CPU time: 178.858 s c =============================================================================== c | 0 | 4983 5045 179698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 0 | 4983 5046 184548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 0 | 4983 5047 189398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.37779 s Remaining CPU time: 178.622 s c =============================================================================== c | 0 | 4983 5048 194248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 0 | 4983 5049 199098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 0 | 4983 5050 203948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s c =============================================================================== c | 0 | 4983 5051 208798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s c =============================================================================== c | 0 | 4983 5052 213648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s c =============================================================================== c | 0 | 4983 5053 218498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 0 | 4983 5054 223348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s c =============================================================================== c | 0 | 4983 5055 228198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 0 | 4983 5056 233048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 0 | 4983 5057 237898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 0 | 4983 5058 242748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 2.44663 s Remaining CPU time: 177.553 s c =============================================================================== c | 0 | 4983 5059 247598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 0 | 4983 5060 252448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.68059 s Remaining CPU time: 177.319 s c =============================================================================== c | 0 | 4983 5061 257298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.79957 s Remaining CPU time: 177.2 s c =============================================================================== c | 0 | 4983 5062 262148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.92056 s Remaining CPU time: 177.079 s c =============================================================================== c | 0 | 4983 5063 266998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 3.04554 s Remaining CPU time: 176.954 s c =============================================================================== c | 0 | 4983 5064 271848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 3.17352 s Remaining CPU time: 176.826 s c =============================================================================== c | 0 | 4983 5065 276698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 3.3075 s Remaining CPU time: 176.693 s c =============================================================================== c | 0 | 4983 5066 281548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 3.44248 s Remaining CPU time: 176.558 s c =============================================================================== c | 0 | 4983 5067 286398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 3.58146 s Remaining CPU time: 176.419 s c =============================================================================== c | 0 | 4983 5068 291248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 3.72343 s Remaining CPU time: 176.277 s c =============================================================================== c | 0 | 4983 5069 296098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 3.86541 s Remaining CPU time: 176.135 s c =============================================================================== c | 0 | 4983 5070 300948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 4.01439 s Remaining CPU time: 175.986 s c =============================================================================== c | 0 | 4983 5071 305798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4790 c Elapsed CPU time: 4.16237 s Remaining CPU time: 175.838 s c =============================================================================== c | 0 | 4983 5072 310648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 4.31634 s Remaining CPU time: 175.684 s c =============================================================================== c | 0 | 4983 5073 315498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 4.47532 s Remaining CPU time: 175.525 s c =============================================================================== c | 0 | 4983 5074 320348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 4.6363 s Remaining CPU time: 175.364 s c =============================================================================== c | 0 | 4983 5075 325198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 4.80327 s Remaining CPU time: 175.197 s c =============================================================================== c | 0 | 4983 5076 330048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 4.97124 s Remaining CPU time: 175.029 s c =============================================================================== c | 0 | 4983 5077 334898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 5.14122 s Remaining CPU time: 174.859 s c =============================================================================== c | 0 | 4983 5078 339748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 5.31819 s Remaining CPU time: 174.682 s c =============================================================================== c | 0 | 4983 5079 344598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 5.49516 s Remaining CPU time: 174.505 s c =============================================================================== c | 0 | 4983 5080 349448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 5.67614 s Remaining CPU time: 174.324 s c =============================================================================== c | 0 | 4983 5081 354298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 5.86011 s Remaining CPU time: 174.14 s c =============================================================================== c | 0 | 4983 5082 359148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 6.04608 s Remaining CPU time: 173.954 s c =============================================================================== c | 0 | 4983 5083 363998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 6.23305 s Remaining CPU time: 173.767 s c =============================================================================== c | 0 | 4983 5084 368848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 6.42902 s Remaining CPU time: 173.571 s c =============================================================================== c | 0 | 4983 5085 373698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 6.62099 s Remaining CPU time: 173.379 s c =============================================================================== c | 0 | 4983 5086 378548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 6.82196 s Remaining CPU time: 173.178 s c =============================================================================== c | 0 | 4983 5087 383398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 7.02193 s Remaining CPU time: 172.978 s c =============================================================================== c | 0 | 4983 5088 388248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 7.2279 s Remaining CPU time: 172.772 s c =============================================================================== c | 0 | 4983 5089 393098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 7.43787 s Remaining CPU time: 172.562 s c =============================================================================== c | 0 | 4983 5090 397948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 7.64884 s Remaining CPU time: 172.351 s c =============================================================================== c | 0 | 4983 5091 402798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 7.8638 s Remaining CPU time: 172.136 s c =============================================================================== c | 0 | 4983 5092 407648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 8.08077 s Remaining CPU time: 171.919 s c =============================================================================== c | 0 | 4983 5093 412498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 8.30174 s Remaining CPU time: 171.698 s c =============================================================================== c | 0 | 4983 5094 417348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 8.5237 s Remaining CPU time: 171.476 s c =============================================================================== c | 0 | 4983 5095 422198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 8.75567 s Remaining CPU time: 171.244 s c =============================================================================== c | 0 | 4983 5096 427048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 8.98863 s Remaining CPU time: 171.011 s c =============================================================================== c | 0 | 4983 5097 431898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 9.2276 s Remaining CPU time: 170.772 s c =============================================================================== c | 0 | 4983 5098 436748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 9.46756 s Remaining CPU time: 170.532 s c =============================================================================== c | 0 | 4983 5099 441598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 9.71252 s Remaining CPU time: 170.287 s c =============================================================================== c | 0 | 4983 5100 446448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 9.96148 s Remaining CPU time: 170.039 s c =============================================================================== c | 0 | 4983 5101 451298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 10.2094 s Remaining CPU time: 169.791 s c =============================================================================== c | 0 | 4983 5102 456148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 10.4574 s Remaining CPU time: 169.543 s c =============================================================================== c | 0 | 4983 5103 460998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 10.7144 s Remaining CPU time: 169.286 s c =============================================================================== c | 0 | 4983 5104 465848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 10.9773 s Remaining CPU time: 169.023 s c =============================================================================== c | 0 | 4983 5105 470698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 11.2413 s Remaining CPU time: 168.759 s c =============================================================================== c | 0 | 4983 5106 475548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 11.4963 s Remaining CPU time: 168.504 s c =============================================================================== c | 0 | 4983 5107 480398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 11.7062 s Remaining CPU time: 168.294 s c =============================================================================== c | 0 | 4983 5108 485248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 11.9192 s Remaining CPU time: 168.081 s c =============================================================================== c | 0 | 4983 5109 490098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 12.1322 s Remaining CPU time: 167.868 s c =============================================================================== c | 0 | 4983 5110 494948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 12.3491 s Remaining CPU time: 167.651 s c =============================================================================== c | 0 | 4983 5111 499798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 12.6291 s Remaining CPU time: 167.371 s c =============================================================================== c | 0 | 4983 5112 504648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 12.913 s Remaining CPU time: 167.087 s c =============================================================================== c | 0 | 4983 5113 509498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 13.19 s Remaining CPU time: 166.81 s c =============================================================================== c | 0 | 4983 5114 514348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 13.476 s Remaining CPU time: 166.524 s c =============================================================================== c | 0 | 4983 5115 519198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 13.7709 s Remaining CPU time: 166.229 s c =============================================================================== c | 0 | 4983 5116 524048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 14.0679 s Remaining CPU time: 165.932 s c =============================================================================== c | 0 | 4983 5117 528898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 14.3318 s Remaining CPU time: 165.668 s c =============================================================================== c | 0 | 4983 5118 533748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 14.5698 s Remaining CPU time: 165.43 s c =============================================================================== c | 0 | 4983 5119 538598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 14.8107 s Remaining CPU time: 165.189 s c =============================================================================== c | 0 | 4983 5120 543448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 15.0607 s Remaining CPU time: 164.939 s c =============================================================================== c | 0 | 4983 5121 548298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 15.3117 s Remaining CPU time: 164.688 s c =============================================================================== c | 0 | 4983 5122 553148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 15.5656 s Remaining CPU time: 164.434 s c =============================================================================== c | 0 | 4983 5123 557998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 15.8216 s Remaining CPU time: 164.178 s c =============================================================================== c | 0 | 4983 5124 562848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 16.0796 s Remaining CPU time: 163.92 s c =============================================================================== c | 0 | 4983 5125 567698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 16.3385 s Remaining CPU time: 163.661 s c =============================================================================== c | 0 | 4983 5126 572548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 16.6015 s Remaining CPU time: 163.399 s c =============================================================================== c | 0 | 4983 5127 577398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 16.8624 s Remaining CPU time: 163.138 s c =============================================================================== c | 0 | 4983 5128 582248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 17.1294 s Remaining CPU time: 162.871 s c =============================================================================== c | 0 | 4983 5129 587098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 17.4004 s Remaining CPU time: 162.6 s c =============================================================================== c | 0 | 4983 5130 591948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 17.6713 s Remaining CPU time: 162.329 s c =============================================================================== c | 0 | 4983 5131 596798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 17.9463 s Remaining CPU time: 162.054 s c =============================================================================== c | 0 | 4983 5132 601648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 18.2242 s Remaining CPU time: 161.776 s c =============================================================================== c | 0 | 4983 5133 606498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 18.5072 s Remaining CPU time: 161.493 s c =============================================================================== c | 1 | 4983 5134 611348 | 5000 1 4730 | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 18.8221 s Remaining CPU time: 161.178 s c =============================================================================== c | 20 | 4983 5135 616198 | 5000 20 4729 | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 19.1111 s Remaining CPU time: 160.889 s c =============================================================================== c | 20 | 4983 5136 621048 | 5000 20 4729 | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 19.4041 s Remaining CPU time: 160.596 s c =============================================================================== c | 20 | 4983 5137 625898 | 5000 20 4729 | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 19.699 s Remaining CPU time: 160.301 s c =============================================================================== c | 20 | 4983 5138 630748 | 5000 20 4729 | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 20.1519 s Remaining CPU time: 159.848 s c =============================================================================== c | 95 | 4983 5139 635598 | 5000 95 4726 | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 20.5119 s Remaining CPU time: 159.488 s c =============================================================================== c | 125 | 4983 5140 640448 | 5000 125 4726 | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 20.9268 s Remaining CPU time: 159.073 s c =============================================================================== c | 164 | 4983 5141 645298 | 5000 164 4725 | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 21.2148 s Remaining CPU time: 158.785 s c =============================================================================== c | 164 | 4983 5142 650148 | 5000 164 4725 | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 21.5067 s Remaining CPU time: 158.493 s c =============================================================================== c | 164 | 4983 5143 654998 | 5000 164 4725 | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 21.8007 s Remaining CPU time: 158.199 s c =============================================================================== c | 164 | 4983 5144 659848 | 5000 164 4725 | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 22.2776 s Remaining CPU time: 157.722 s c =============================================================================== c | 233 | 4983 5145 664698 | 5000 233 4724 | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 22.5806 s Remaining CPU time: 157.419 s c =============================================================================== c | 233 | 4983 5146 669548 | 5000 233 4724 | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 22.8935 s Remaining CPU time: 157.106 s c =============================================================================== c | 246 | 4983 5147 674398 | 5000 246 4723 | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 23.1975 s Remaining CPU time: 156.803 s c =============================================================================== c | 246 | 4983 5148 679248 | 5000 246 4723 | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 23.5014 s Remaining CPU time: 156.499 s c =============================================================================== c | 246 | 4983 5149 684098 | 5000 246 4723 | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 23.8134 s Remaining CPU time: 156.187 s c =============================================================================== c | 250 | 4983 5150 688948 | 5000 250 4723 | 0.000 % | c | 350 | 4983 5150 688948 | 5500 350 4720 | 0.340 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 24.6653 s Remaining CPU time: 155.335 s c =============================================================================== c | 350 | 4983 5151 693798 | 5000 350 4720 | 0.340 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 24.9822 s Remaining CPU time: 155.018 s c =============================================================================== c | 351 | 4983 5152 698648 | 5000 351 4720 | 0.340 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 25.3102 s Remaining CPU time: 154.69 s c =============================================================================== c | 360 | 4983 5153 703498 | 5000 360 4720 | 0.340 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 25.6351 s Remaining CPU time: 154.365 s c =============================================================================== c | 363 | 4983 5154 708348 | 5000 363 4720 | 0.340 % | c | 464 | 4983 5154 708348 | 5500 464 4718 | 0.340 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 26.442 s Remaining CPU time: 153.558 s c =============================================================================== c | 475 | 4983 5155 713198 | 5000 475 4718 | 0.340 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 26.8119 s Remaining CPU time: 153.188 s c =============================================================================== c | 496 | 4983 5156 718048 | 5000 496 4717 | 0.340 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 27.1419 s Remaining CPU time: 152.858 s c =============================================================================== c | 496 | 4983 5157 722898 | 5000 496 4717 | 0.340 % | c | 597 | 4983 5157 722898 | 5500 597 4715 | 0.340 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 28.0767 s Remaining CPU time: 151.923 s c =============================================================================== c | 634 | 4983 5158 727748 | 5000 634 4715 | 0.340 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 28.4087 s Remaining CPU time: 151.591 s c =============================================================================== c | 634 | 4983 5159 732598 | 5000 634 4715 | 0.340 % | c | 735 | 4983 5159 732598 | 5500 735 4713 | 0.340 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 29.3145 s Remaining CPU time: 150.685 s c =============================================================================== c | 771 | 4983 5160 737448 | 5000 771 4713 | 0.340 % | c | 872 | 4983 5160 737448 | 5500 872 4712 | 0.340 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 30.1494 s Remaining CPU time: 149.851 s c =============================================================================== c | 883 | 4983 5161 742298 | 5000 883 4712 | 0.340 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 30.6173 s Remaining CPU time: 149.383 s c =============================================================================== c | 936 | 4983 5162 747148 | 5000 936 4711 | 0.340 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 30.9823 s Remaining CPU time: 149.018 s c =============================================================================== c | 953 | 4983 5163 751998 | 5000 953 4711 | 0.340 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 31.3782 s Remaining CPU time: 148.622 s c =============================================================================== c | 987 | 4983 5164 756848 | 5000 987 4711 | 0.340 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 31.7482 s Remaining CPU time: 148.252 s c =============================================================================== c | 1006 | 4983 5165 761698 | 5000 1006 4711 | 0.340 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 32.1491 s Remaining CPU time: 147.851 s c =============================================================================== c | 1028 | 4983 5166 766548 | 5000 1028 4710 | 0.340 % | c | 1129 | 4983 5166 766548 | 5500 1129 4709 | 0.340 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 33.3589 s Remaining CPU time: 146.641 s c =============================================================================== c | 1243 | 4983 5167 771398 | 5000 1243 4708 | 0.340 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 33.7769 s Remaining CPU time: 146.223 s c =============================================================================== c | 1270 | 4983 5168 776248 | 5000 1270 4708 | 0.340 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 34.1418 s Remaining CPU time: 145.858 s c =============================================================================== c | 1277 | 4983 5169 781098 | 5000 1277 4708 | 0.340 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 34.5128 s Remaining CPU time: 145.487 s c =============================================================================== c | 1285 | 4983 5170 785948 | 5000 1285 4708 | 0.340 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 34.8787 s Remaining CPU time: 145.121 s c =============================================================================== c | 1289 | 4983 5171 790798 | 5000 1289 4708 | 0.340 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 35.2546 s Remaining CPU time: 144.745 s c =============================================================================== c | 1300 | 4983 5172 795648 | 5000 1300 4708 | 0.340 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 35.6416 s Remaining CPU time: 144.358 s c =============================================================================== c | 1315 | 4983 5173 800498 | 5000 1315 4707 | 0.340 % | c | 1415 | 4983 5173 800498 | 5500 1415 4706 | 0.340 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 36.7144 s Remaining CPU time: 143.286 s c =============================================================================== c | 1445 | 4983 5174 805348 | 5000 1445 4706 | 0.340 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 37.1074 s Remaining CPU time: 142.893 s c =============================================================================== c | 1460 | 4983 5175 810198 | 5000 1460 4706 | 0.340 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 37.5203 s Remaining CPU time: 142.48 s c =============================================================================== c | 1474 | 4983 5176 815048 | 5000 1474 4706 | 0.340 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 38.1902 s Remaining CPU time: 141.81 s c =============================================================================== c | 1556 | 4983 5177 819898 | 5000 1556 4705 | 0.340 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 38.6881 s Remaining CPU time: 141.312 s c =============================================================================== c | 1601 | 4983 5178 824748 | 5000 1601 4704 | 0.340 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 39.0791 s Remaining CPU time: 140.921 s c =============================================================================== c | 1613 | 4983 5179 829598 | 5000 1613 4704 | 0.340 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 39.459 s Remaining CPU time: 140.541 s c =============================================================================== c | 1613 | 4983 5180 834448 | 5000 1613 4704 | 0.340 % | c | 1713 | 4983 5180 834448 | 5500 1713 4703 | 0.340 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 40.3879 s Remaining CPU time: 139.612 s c =============================================================================== c | 1729 | 4983 5181 839298 | 5000 1729 4703 | 0.340 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 40.7888 s Remaining CPU time: 139.211 s c =============================================================================== c | 1742 | 4983 5182 844148 | 5000 1742 4702 | 0.340 % | c | 1843 | 4983 5182 844148 | 5500 1843 4701 | 0.340 % | c | 1993 | 4983 5182 844148 | 6050 1993 4700 | 0.340 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 42.5195 s Remaining CPU time: 137.48 s c =============================================================================== c | 2001 | 4983 5183 848998 | 5000 2001 4700 | 0.340 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 43.0665 s Remaining CPU time: 136.934 s c =============================================================================== c | 2082 | 4983 5184 853848 | 5000 2082 4699 | 0.340 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 43.4884 s Remaining CPU time: 136.512 s c =============================================================================== c | 2096 | 4983 5185 858698 | 5000 2096 4699 | 0.340 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 43.9813 s Remaining CPU time: 136.019 s c =============================================================================== c | 2142 | 4983 5186 863548 | 5000 2142 4698 | 0.340 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 44.6312 s Remaining CPU time: 135.369 s c =============================================================================== c | 2227 | 4983 5187 868398 | 5000 2227 4698 | 0.340 % | c | 2327 | 4983 5187 868398 | 5500 2327 4697 | 0.340 % | c | 2479 | 4983 5187 868398 | 6050 2479 4695 | 0.340 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 47.0588 s Remaining CPU time: 132.941 s c =============================================================================== c | 2676 | 4983 5188 873248 | 5000 2676 4694 | 0.340 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 47.4748 s Remaining CPU time: 132.525 s c =============================================================================== c | 2689 | 4983 5189 878098 | 5000 2689 4694 | 0.340 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 47.9057 s Remaining CPU time: 132.094 s c =============================================================================== c | 2699 | 4983 5190 882948 | 5000 2699 4694 | 0.340 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 48.4856 s Remaining CPU time: 131.514 s c =============================================================================== c | 2788 | 4983 5191 887798 | 5000 2788 4693 | 0.340 % | c | 2890 | 4983 5191 887798 | 5500 2890 4693 | 0.340 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 49.6255 s Remaining CPU time: 130.375 s c =============================================================================== c | 2921 | 4983 5192 892648 | 5000 2921 4692 | 0.340 % | c | 3021 | 4983 5192 892648 | 5500 3021 4692 | 0.340 % | c | 3171 | 4983 5192 892648 | 6050 3171 4691 | 0.340 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 51.6991 s Remaining CPU time: 128.301 s c =============================================================================== c | 3238 | 4983 5193 897498 | 5000 3238 4690 | 0.340 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 52.2341 s Remaining CPU time: 127.766 s c =============================================================================== c | 3279 | 4983 5194 902348 | 5000 3279 4690 | 0.340 % | c | 3379 | 4983 5194 902348 | 5500 3379 4689 | 0.340 % | c | 3529 | 4983 5194 902348 | 6050 3529 4689 | 0.340 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 54.6107 s Remaining CPU time: 125.389 s c =============================================================================== c | 3576 | 4983 5195 907198 | 5000 3576 4688 | 0.340 % | c | 3676 | 4983 5195 907198 | 5500 3676 4688 | 0.340 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 55.7725 s Remaining CPU time: 124.227 s c =============================================================================== c | 3697 | 4983 5196 912048 | 5000 3697 4688 | 0.340 % | c | 3797 | 4983 5196 912048 | 5500 3797 4687 | 0.340 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 57.1073 s Remaining CPU time: 122.893 s c =============================================================================== c | 3828 | 4983 5197 916898 | 5000 3828 4687 | 0.340 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 57.5503 s Remaining CPU time: 122.45 s c =============================================================================== c | 3841 | 4983 5198 921748 | 5000 3841 4687 | 0.340 % | c | 3942 | 4983 5198 921748 | 5500 3942 4686 | 0.340 % | c | 4092 | 4983 5198 921748 | 6050 4092 4686 | 0.340 % | c | 4317 | 4983 5198 921748 | 6655 4317 4685 | 0.340 % | c | 4654 | 4983 5198 921748 | 7320 4654 4683 | 0.340 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 63.0044 s Remaining CPU time: 116.996 s c =============================================================================== c | 4860 | 4983 5199 926598 | 5000 4860 4683 | 0.340 % | c | 4962 | 4983 5199 926598 | 5500 4962 4682 | 0.340 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 64.7272 s Remaining CPU time: 115.273 s c =============================================================================== c | 5094 | 4983 5200 931448 | 5000 5094 4682 | 0.340 % | c | 5195 | 4983 5200 931448 | 5500 2648 4669 | 0.340 % | c | 5345 | 4983 5200 931448 | 6050 2798 4668 | 0.340 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 67.2308 s Remaining CPU time: 112.769 s c =============================================================================== c | 5504 | 4983 5201 936298 | 5000 2957 4668 | 0.340 % | c | 5604 | 4983 5201 936298 | 5500 3057 4668 | 0.340 % | c | 5754 | 4983 5201 936298 | 6050 3207 4668 | 0.340 % | c | 5979 | 4983 5201 936298 | 6655 3432 4667 | 0.340 % | c | 6317 | 4983 5201 936298 | 7320 3770 4667 | 0.340 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 71.6911 s Remaining CPU time: 108.309 s c =============================================================================== c | 6582 | 4983 5202 941148 | 5000 4035 4667 | 0.340 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 72.176 s Remaining CPU time: 107.824 s c =============================================================================== c | 6615 | 4983 5203 945998 | 5000 4068 4667 | 0.340 % | c | 6715 | 4983 5203 945998 | 5500 4168 4666 | 0.340 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 73.6388 s Remaining CPU time: 106.361 s c =============================================================================== c | 6829 | 4983 5204 950848 | 5000 4282 4666 | 0.340 % | c | 6929 | 4983 5204 950848 | 5500 4382 4666 | 0.340 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 75.0316 s Remaining CPU time: 104.968 s c =============================================================================== c | 6971 | 4983 5205 955698 | 5000 4424 4666 | 0.340 % | c | 7071 | 4983 5205 955698 | 5500 4524 4666 | 0.340 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 76.4854 s Remaining CPU time: 103.515 s c =============================================================================== c | 7220 | 4983 5206 960548 | 5000 4673 4666 | 0.340 % | c | 7320 | 4983 5206 960548 | 5500 4773 4666 | 0.340 % | c | 7470 | 4983 5206 960548 | 6050 4923 4665 | 0.340 % | c | 7695 | 4983 5206 960548 | 6655 5148 4665 | 0.340 % | c | 8032 | 4983 5206 960548 | 7320 5485 4665 | 0.340 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 80.4598 s Remaining CPU time: 99.5402 s c =============================================================================== c | 8063 | 4983 5207 965398 | 5000 5516 4664 | 0.340 % | c | 8164 | 4983 5207 965398 | 5500 2859 4661 | 0.340 % | c | 8314 | 4983 5207 965398 | 6050 3009 4660 | 0.340 % | c =============================================================================== c New solution: 4654 c Elapsed CPU time: 82.8794 s Remaining CPU time: 97.1206 s c =============================================================================== c | 8446 | 4983 5208 970248 | 5000 3141 4660 | 0.340 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 83.5223 s Remaining CPU time: 96.4777 s c =============================================================================== c | 8533 | 4983 5209 975098 | 5000 3228 4660 | 0.340 % | c | 8634 | 4983 5209 975098 | 5500 3329 4660 | 0.340 % | c | 8785 | 4983 5209 975098 | 6050 3480 4660 | 0.340 % | c =============================================================================== c New solution: 4652 c Elapsed CPU time: 85.9239 s Remaining CPU time: 94.0761 s c =============================================================================== c | 8853 | 4983 5210 979948 | 5000 3548 4660 | 0.340 % | c | 8953 | 4983 5210 979948 | 5500 3648 4659 | 0.340 % | c | 9103 | 4983 5210 979948 | 6050 3798 4659 | 0.340 % | c | 9328 | 4983 5210 979948 | 6655 4023 4659 | 0.340 % | c =============================================================================== c New solution: 4651 c Elapsed CPU time: 89.5214 s Remaining CPU time: 90.4786 s c =============================================================================== c | 9524 | 4983 5211 984798 | 5000 4219 4659 | 0.340 % | c | 9626 | 4983 5211 984798 | 5500 4321 4659 | 0.340 % | c | 9776 | 4983 5211 984798 | 6050 4471 4658 | 0.340 % | c | 10002 | 4983 5211 984798 | 6655 4697 4658 | 0.340 % | c =============================================================================== c New solution: 4650 c Elapsed CPU time: 92.8439 s Remaining CPU time: 87.1561 s c =============================================================================== c | 10096 | 4983 5212 989648 | 5000 4791 4658 | 0.340 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 93.4888 s Remaining CPU time: 86.5112 s c =============================================================================== c | 10186 | 4983 5213 994498 | 5000 4881 4658 | 0.340 % | c | 10286 | 4983 5213 994498 | 5500 4981 4658 | 0.340 % | c | 10436 | 4983 5213 994498 | 6050 5131 4657 | 0.340 % | c | 10663 | 4983 5213 994498 | 6655 5358 4657 | 0.340 % | c =============================================================================== c New solution: 4648 c Elapsed CPU time: 96.9763 s Remaining CPU time: 83.0237 s c =============================================================================== c | 10804 | 4983 5214 999348 | 5000 5499 4657 | 0.340 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 97.6782 s Remaining CPU time: 82.3218 s c =============================================================================== c | 10893 | 4983 5215 1004198 | 5000 2839 4653 | 0.340 % | c | 10993 | 4983 5215 1004198 | 5500 2939 4653 | 0.340 % | c | 11144 | 4983 5215 1004198 | 6050 3090 4653 | 0.340 % | c | 11369 | 4983 5215 1004198 | 6655 3315 4653 | 0.340 % | c | 11706 | 4983 5215 1004198 | 7320 3652 4652 | 0.340 % | c | 12213 | 4983 5215 1004198 | 8052 4159 4648 | 0.340 % | c | 12973 | 4983 5215 1004198 | 8857 4919 4648 | 0.340 % | c | 14113 | 4983 5215 1004198 | 9743 6059 4648 | 0.340 % | c | 15821 | 4983 5215 1004198 | 10717 7767 4647 | 0.340 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 120.551 s Remaining CPU time: 59.4493 s c =============================================================================== c | 16396 | 4983 5216 1009048 | 5000 8342 4647 | 0.340 % | c | 16496 | 4983 5216 1009048 | 5500 4271 4642 | 0.340 % | c | 16646 | 4983 5216 1009048 | 6050 4421 4642 | 0.340 % | c | 16872 | 4983 5216 1009048 | 6655 4647 4643 | 0.340 % | c | 17209 | 4983 5216 1009048 | 7320 4984 4643 | 0.340 % | c | 17715 | 4983 5216 1009048 | 8052 5490 4643 | 0.340 % | c | 18475 | 4983 5216 1009048 | 8857 6250 4643 | 0.340 % | c | 19615 | 4983 5216 1009048 | 9743 7390 4643 | 0.340 % |