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.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 5000 5001 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 5000 5002 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 5000 5003 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 5000 5004 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 5000 5005 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 5000 5006 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 5000 5007 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 5000 5008 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4842 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 5000 5009 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 5000 5010 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4840 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 5000 5011 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 5000 5012 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 5000 5013 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 5000 5014 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 5000 5015 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 5000 5016 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 0 | 5000 5017 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 0 | 5000 5018 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 5000 5019 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4831 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 0 | 5000 5020 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 0 | 5000 5021 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 0 | 5000 5022 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 0 | 5000 5023 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 5000 5024 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 5000 5025 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 0 | 5000 5026 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 0 | 5000 5027 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s c =============================================================================== c | 0 | 5000 5028 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 0 | 5000 5029 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 0 | 5000 5030 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 0 | 5000 5031 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 0 | 5000 5032 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 0 | 5000 5033 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 1.12983 s Remaining CPU time: 178.87 s c =============================================================================== c | 0 | 5000 5034 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 0 | 5000 5035 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 1.27581 s Remaining CPU time: 178.724 s c =============================================================================== c | 0 | 5000 5036 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s c =============================================================================== c | 0 | 5000 5037 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 0 | 5000 5038 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.51777 s Remaining CPU time: 178.482 s c =============================================================================== c | 0 | 5000 5039 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 0 | 5000 5040 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 0 | 5000 5041 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 0 | 5000 5042 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 0 | 5000 5043 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 1.9877 s Remaining CPU time: 178.012 s c =============================================================================== c | 0 | 5000 5044 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 0 | 5000 5045 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 2.19567 s Remaining CPU time: 177.804 s c =============================================================================== c | 0 | 5000 5046 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 2.30265 s Remaining CPU time: 177.697 s c =============================================================================== c | 0 | 5000 5047 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 0 | 5000 5048 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 2.52362 s Remaining CPU time: 177.476 s c =============================================================================== c | 0 | 5000 5049 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s c =============================================================================== c | 0 | 5000 5050 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.76158 s Remaining CPU time: 177.238 s c =============================================================================== c | 0 | 5000 5051 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.88156 s Remaining CPU time: 177.118 s c =============================================================================== c | 0 | 5000 5052 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 3.00454 s Remaining CPU time: 176.995 s c =============================================================================== c | 0 | 5000 5053 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 3.12952 s Remaining CPU time: 176.87 s c =============================================================================== c | 0 | 5000 5054 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 3.2605 s Remaining CPU time: 176.739 s c =============================================================================== c | 0 | 5000 5055 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 3.39548 s Remaining CPU time: 176.605 s c =============================================================================== c | 0 | 5000 5056 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 3.53346 s Remaining CPU time: 176.467 s c =============================================================================== c | 0 | 5000 5057 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 3.67344 s Remaining CPU time: 176.327 s c =============================================================================== c | 0 | 5000 5058 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 3.81542 s Remaining CPU time: 176.185 s c =============================================================================== c | 0 | 5000 5059 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 3.9604 s Remaining CPU time: 176.04 s c =============================================================================== c | 0 | 5000 5060 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4790 c Elapsed CPU time: 4.10538 s Remaining CPU time: 175.895 s c =============================================================================== c | 0 | 5000 5061 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 4.25335 s Remaining CPU time: 175.747 s c =============================================================================== c | 0 | 5000 5062 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 4.40533 s Remaining CPU time: 175.595 s c =============================================================================== c | 0 | 5000 5063 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 4.56131 s Remaining CPU time: 175.439 s c =============================================================================== c | 0 | 5000 5064 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 4.72028 s Remaining CPU time: 175.28 s c =============================================================================== c | 0 | 5000 5065 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 4.88126 s Remaining CPU time: 175.119 s c =============================================================================== c | 0 | 5000 5066 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 5.04623 s Remaining CPU time: 174.954 s c =============================================================================== c | 0 | 5000 5067 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 5.21221 s Remaining CPU time: 174.788 s c =============================================================================== c | 0 | 5000 5068 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 5.38518 s Remaining CPU time: 174.615 s c =============================================================================== c | 0 | 5000 5069 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 5.55816 s Remaining CPU time: 174.442 s c =============================================================================== c | 0 | 5000 5070 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 5.73013 s Remaining CPU time: 174.27 s c =============================================================================== c | 0 | 5000 5071 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 5.9171 s Remaining CPU time: 174.083 s c =============================================================================== c | 0 | 5000 5072 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 6.10507 s Remaining CPU time: 173.895 s c =============================================================================== c | 0 | 5000 5073 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 6.29804 s Remaining CPU time: 173.702 s c =============================================================================== c | 0 | 5000 5074 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 6.49101 s Remaining CPU time: 173.509 s c =============================================================================== c | 0 | 5000 5075 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 6.68798 s Remaining CPU time: 173.312 s c =============================================================================== c | 0 | 5000 5076 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 6.88695 s Remaining CPU time: 173.113 s c =============================================================================== c | 0 | 5000 5077 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 7.08892 s Remaining CPU time: 172.911 s c =============================================================================== c | 0 | 5000 5078 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 7.29489 s Remaining CPU time: 172.705 s c =============================================================================== c | 0 | 5000 5079 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 7.50586 s Remaining CPU time: 172.494 s c =============================================================================== c | 0 | 5000 5080 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 7.71783 s Remaining CPU time: 172.282 s c =============================================================================== c | 0 | 5000 5081 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 7.93479 s Remaining CPU time: 172.065 s c =============================================================================== c | 0 | 5000 5082 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 8.15376 s Remaining CPU time: 171.846 s c =============================================================================== c | 0 | 5000 5083 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 8.37373 s Remaining CPU time: 171.626 s c =============================================================================== c | 0 | 5000 5084 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 8.59669 s Remaining CPU time: 171.403 s c =============================================================================== c | 0 | 5000 5085 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 8.82366 s Remaining CPU time: 171.176 s c =============================================================================== c | 0 | 5000 5086 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 9.05462 s Remaining CPU time: 170.945 s c =============================================================================== c | 0 | 5000 5087 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 9.28359 s Remaining CPU time: 170.716 s c =============================================================================== c | 0 | 5000 5088 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 9.51955 s Remaining CPU time: 170.48 s c =============================================================================== c | 0 | 5000 5089 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 9.75952 s Remaining CPU time: 170.24 s c =============================================================================== c | 0 | 5000 5090 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 10.0075 s Remaining CPU time: 169.993 s c =============================================================================== c | 0 | 5000 5091 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 10.2604 s Remaining CPU time: 169.74 s c =============================================================================== c | 0 | 5000 5092 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 10.5124 s Remaining CPU time: 169.488 s c =============================================================================== c | 0 | 5000 5093 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 10.7714 s Remaining CPU time: 169.229 s c =============================================================================== c | 0 | 5000 5094 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 11.0333 s Remaining CPU time: 168.967 s c =============================================================================== c | 0 | 5000 5095 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 11.3023 s Remaining CPU time: 168.698 s c =============================================================================== c | 0 | 5000 5096 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 11.5772 s Remaining CPU time: 168.423 s c =============================================================================== c | 0 | 5000 5097 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 11.8512 s Remaining CPU time: 168.149 s c =============================================================================== c | 0 | 5000 5098 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 12.1342 s Remaining CPU time: 167.866 s c =============================================================================== c | 0 | 5000 5099 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 12.4171 s Remaining CPU time: 167.583 s c =============================================================================== c | 0 | 5000 5100 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 12.7041 s Remaining CPU time: 167.296 s c =============================================================================== c | 0 | 5000 5101 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 12.986 s Remaining CPU time: 167.014 s c =============================================================================== c | 0 | 5000 5102 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 13.279 s Remaining CPU time: 166.721 s c =============================================================================== c | 0 | 5000 5103 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 13.5719 s Remaining CPU time: 166.428 s c =============================================================================== c | 0 | 5000 5104 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 13.8649 s Remaining CPU time: 166.135 s c =============================================================================== c | 0 | 5000 5105 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 14.1768 s Remaining CPU time: 165.823 s c =============================================================================== c | 0 | 5000 5106 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 14.4928 s Remaining CPU time: 165.507 s c =============================================================================== c | 0 | 5000 5107 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 14.8157 s Remaining CPU time: 165.184 s c =============================================================================== c | 0 | 5000 5108 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 15.1357 s Remaining CPU time: 164.864 s c =============================================================================== c | 0 | 5000 5109 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 15.4596 s Remaining CPU time: 164.54 s c =============================================================================== c | 0 | 5000 5110 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 15.7836 s Remaining CPU time: 164.216 s c =============================================================================== c | 0 | 5000 5111 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 16.1116 s Remaining CPU time: 163.888 s c =============================================================================== c | 0 | 5000 5112 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 16.4415 s Remaining CPU time: 163.559 s c =============================================================================== c | 0 | 5000 5113 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 16.7715 s Remaining CPU time: 163.229 s c =============================================================================== c | 0 | 5000 5114 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 17.1154 s Remaining CPU time: 162.885 s c =============================================================================== c | 1 | 5000 5115 572600 | 5000 1 4738 | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 17.4613 s Remaining CPU time: 162.539 s c =============================================================================== c | 1 | 5000 5116 577450 | 5000 1 4738 | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 17.8013 s Remaining CPU time: 162.199 s c =============================================================================== c | 1 | 5000 5117 582300 | 5000 1 4738 | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 18.1382 s Remaining CPU time: 161.862 s c =============================================================================== c | 1 | 5000 5118 587150 | 5000 1 4738 | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 18.4792 s Remaining CPU time: 161.521 s c =============================================================================== c | 1 | 5000 5119 592000 | 5000 1 4738 | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 18.8321 s Remaining CPU time: 161.168 s c =============================================================================== c | 5 | 5000 5120 596850 | 5000 5 4734 | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 19.1691 s Remaining CPU time: 160.831 s c =============================================================================== c | 5 | 5000 5121 601700 | 5000 5 4734 | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 19.509 s Remaining CPU time: 160.491 s c =============================================================================== c | 5 | 5000 5122 606550 | 5000 5 4734 | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 19.888 s Remaining CPU time: 160.112 s c =============================================================================== c | 5 | 5000 5123 611400 | 5000 5 4734 | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 20.2649 s Remaining CPU time: 159.735 s c =============================================================================== c | 5 | 5000 5124 616250 | 5000 5 4734 | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 20.6429 s Remaining CPU time: 159.357 s c =============================================================================== c | 5 | 5000 5125 621100 | 5000 5 4734 | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 21.0108 s Remaining CPU time: 158.989 s c =============================================================================== c | 5 | 5000 5126 625950 | 5000 5 4734 | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 21.3927 s Remaining CPU time: 158.607 s c =============================================================================== c | 6 | 5000 5127 630800 | 5000 6 3946 | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 21.8067 s Remaining CPU time: 158.193 s c =============================================================================== c | 7 | 5000 5128 635650 | 5000 7 3382 | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 22.2286 s Remaining CPU time: 157.771 s c =============================================================================== c | 7 | 5000 5129 640500 | 5000 7 3382 | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 22.6546 s Remaining CPU time: 157.345 s c =============================================================================== c | 8 | 5000 5130 645350 | 5000 8 3550 | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 23.0465 s Remaining CPU time: 156.954 s c =============================================================================== c | 8 | 5000 5131 650200 | 5000 8 3550 | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 23.4534 s Remaining CPU time: 156.547 s c =============================================================================== c | 8 | 5000 5132 655050 | 5000 8 3550 | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 23.8424 s Remaining CPU time: 156.158 s c =============================================================================== c | 8 | 5000 5133 659900 | 5000 8 3550 | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 24.2433 s Remaining CPU time: 155.757 s c =============================================================================== c | 8 | 5000 5134 664750 | 5000 8 3550 | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 24.6583 s Remaining CPU time: 155.342 s c =============================================================================== c | 8 | 5000 5135 669600 | 5000 8 3550 | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 25.0732 s Remaining CPU time: 154.927 s c =============================================================================== c | 8 | 5000 5136 674450 | 5000 8 3550 | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 25.4871 s Remaining CPU time: 154.513 s c =============================================================================== c | 11 | 5000 5137 679300 | 5000 11 3868 | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 25.9261 s Remaining CPU time: 154.074 s c =============================================================================== c | 14 | 5000 5138 684150 | 5000 14 4050 | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 26.37 s Remaining CPU time: 153.63 s c =============================================================================== c | 15 | 5000 5139 689000 | 5000 15 4094 | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 26.8149 s Remaining CPU time: 153.185 s c =============================================================================== c | 17 | 5000 5140 693850 | 5000 17 4167 | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 27.3128 s Remaining CPU time: 152.687 s c =============================================================================== c | 26 | 5000 5141 698700 | 5000 26 4356 | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 27.7688 s Remaining CPU time: 152.231 s c =============================================================================== c | 29 | 5000 5142 703550 | 5000 29 4392 | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 28.2307 s Remaining CPU time: 151.769 s c =============================================================================== c | 32 | 5000 5143 708400 | 5000 32 4422 | 0.000 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 28.6916 s Remaining CPU time: 151.308 s c =============================================================================== c | 33 | 5000 5144 713250 | 5000 33 4288 | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 29.1236 s Remaining CPU time: 150.876 s c =============================================================================== c | 36 | 5000 5145 718100 | 5000 36 4192 | 0.000 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 29.5645 s Remaining CPU time: 150.435 s c =============================================================================== c | 42 | 5000 5146 722950 | 5000 42 4266 | 0.000 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 30.0284 s Remaining CPU time: 149.972 s c =============================================================================== c | 53 | 5000 5147 727800 | 5000 53 4357 | 0.000 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 30.4784 s Remaining CPU time: 149.522 s c =============================================================================== c | 58 | 5000 5148 732650 | 5000 58 4387 | 0.000 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 30.9303 s Remaining CPU time: 149.07 s c =============================================================================== c | 70 | 5000 5149 737500 | 5000 70 4442 | 0.000 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 31.4242 s Remaining CPU time: 148.576 s c =============================================================================== c | 75 | 5000 5150 742350 | 5000 75 4459 | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 31.9351 s Remaining CPU time: 148.065 s c =============================================================================== c | 114 | 5000 5151 747200 | 5000 114 4542 | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 32.4001 s Remaining CPU time: 147.6 s c =============================================================================== c | 130 | 5000 5152 752050 | 5000 130 4562 | 0.000 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 32.928 s Remaining CPU time: 147.072 s c =============================================================================== c | 168 | 5000 5153 756900 | 5000 168 4593 | 0.000 % | c | 269 | 5000 5153 756900 | 5500 269 4633 | 0.000 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 34.0258 s Remaining CPU time: 145.974 s c =============================================================================== c | 288 | 5000 5154 761750 | 5000 288 4637 | 0.000 % | c | 388 | 5000 5154 761750 | 5500 388 4653 | 0.000 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 35.2366 s Remaining CPU time: 144.763 s c =============================================================================== c | 395 | 5000 5155 766600 | 5000 395 4654 | 0.000 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 35.7686 s Remaining CPU time: 144.231 s c =============================================================================== c | 396 | 5000 5156 771450 | 5000 396 4654 | 0.000 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 36.2905 s Remaining CPU time: 143.71 s c =============================================================================== c | 402 | 5000 5157 776300 | 5000 402 4655 | 0.000 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 36.9664 s Remaining CPU time: 143.034 s c =============================================================================== c | 466 | 5000 5158 781150 | 5000 466 4660 | 0.000 % | c | 566 | 5000 5158 781150 | 5500 566 4666 | 0.000 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 38.0282 s Remaining CPU time: 141.972 s c =============================================================================== c | 573 | 5000 5159 786000 | 5000 573 4667 | 0.000 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 38.4941 s Remaining CPU time: 141.506 s c =============================================================================== c | 578 | 5000 5160 790850 | 5000 578 4667 | 0.000 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 38.9871 s Remaining CPU time: 141.013 s c =============================================================================== c | 606 | 5000 5161 795700 | 5000 606 4668 | 0.000 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 39.472 s Remaining CPU time: 140.528 s c =============================================================================== c | 617 | 5000 5162 800550 | 5000 617 4668 | 0.000 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 39.9669 s Remaining CPU time: 140.033 s c =============================================================================== c | 639 | 5000 5163 805400 | 5000 639 4669 | 0.000 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 40.4558 s Remaining CPU time: 139.544 s c =============================================================================== c | 655 | 5000 5164 810250 | 5000 655 4670 | 0.000 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 40.9238 s Remaining CPU time: 139.076 s c =============================================================================== c | 657 | 5000 5165 815100 | 5000 657 4670 | 0.000 % | c | 757 | 5000 5165 815100 | 5500 757 4672 | 0.000 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 42.1726 s Remaining CPU time: 137.827 s c =============================================================================== c | 824 | 5000 5166 819950 | 5000 824 4673 | 0.000 % | c | 924 | 5000 5166 819950 | 5500 924 4670 | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 43.3684 s Remaining CPU time: 136.632 s c =============================================================================== c | 953 | 5000 5167 824800 | 5000 953 4670 | 0.000 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 43.8613 s Remaining CPU time: 136.139 s c =============================================================================== c | 963 | 5000 5168 829650 | 5000 963 4670 | 0.000 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 44.3913 s Remaining CPU time: 135.609 s c =============================================================================== c | 973 | 5000 5169 834500 | 5000 973 4670 | 0.000 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 44.9372 s Remaining CPU time: 135.063 s c =============================================================================== c | 1001 | 5000 5170 839350 | 5000 1001 4671 | 0.000 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 45.5631 s Remaining CPU time: 134.437 s c =============================================================================== c | 1063 | 5000 5171 844200 | 5000 1063 4671 | 0.000 % | c | 1163 | 5000 5171 844200 | 5500 1163 4672 | 0.000 % | c | 1315 | 5000 5171 844200 | 6050 1315 4673 | 0.000 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 48.0017 s Remaining CPU time: 131.998 s c =============================================================================== c | 1448 | 5000 5172 849050 | 5000 1448 4674 | 0.000 % | c | 1548 | 5000 5172 849050 | 5500 1548 4675 | 0.000 % | c | 1698 | 5000 5172 849050 | 6050 1698 4675 | 0.000 % | c | 1923 | 5000 5172 849050 | 6655 1923 4676 | 0.000 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 51.1802 s Remaining CPU time: 128.82 s c =============================================================================== c | 2115 | 5000 5173 853900 | 5000 2115 4674 | 0.000 % | c | 2215 | 5000 5173 853900 | 5500 2215 4674 | 0.000 % | c | 2365 | 5000 5173 853900 | 6050 2365 4675 | 0.000 % | c | 2592 | 5000 5173 853900 | 6655 2592 4675 | 0.000 % | c | 2929 | 5000 5173 853900 | 7320 2929 4675 | 0.000 % | c | 3435 | 5000 5173 853900 | 8052 3435 4676 | 0.000 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 58.7031 s Remaining CPU time: 121.297 s c =============================================================================== c | 3797 | 5000 5174 858750 | 5000 3797 4675 | 0.000 % | c | 3897 | 5000 5174 858750 | 5500 3897 4675 | 0.000 % | c | 4047 | 5000 5174 858750 | 6050 4047 4675 | 0.000 % | c | 4272 | 5000 5174 858750 | 6655 4272 4674 | 0.000 % | c | 4609 | 5000 5174 858750 | 7320 4609 4674 | 0.000 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 64.2292 s Remaining CPU time: 115.771 s c =============================================================================== c | 5098 | 5000 5175 863600 | 5000 5098 4674 | 0.000 % | c | 5199 | 5000 5175 863600 | 5500 2650 4666 | 0.000 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 65.496 s Remaining CPU time: 114.504 s c =============================================================================== c | 5252 | 5000 5176 868450 | 5000 2703 4667 | 0.000 % | c | 5352 | 5000 5176 868450 | 5500 2803 4667 | 0.000 % | c | 5502 | 5000 5176 868450 | 6050 2953 4666 | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 67.5277 s Remaining CPU time: 112.472 s c =============================================================================== c | 5571 | 5000 5177 873300 | 5000 3022 4666 | 0.000 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 68.0906 s Remaining CPU time: 111.909 s c =============================================================================== c | 5592 | 5000 5178 878150 | 5000 3043 4666 | 0.000 % | c | 5693 | 5000 5178 878150 | 5500 3144 4666 | 0.000 % | c | 5843 | 5000 5178 878150 | 6050 3294 4667 | 0.000 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 70.4393 s Remaining CPU time: 109.561 s c =============================================================================== c | 5934 | 5000 5179 883000 | 5000 3385 4667 | 0.000 % | c | 6034 | 5000 5179 883000 | 5500 3485 4667 | 0.000 % | c | 6184 | 5000 5179 883000 | 6050 3635 4667 | 0.000 % | c | 6410 | 5000 5179 883000 | 6655 3861 4668 | 0.000 % | c | 6747 | 5000 5179 883000 | 7320 4198 4668 | 0.000 % | c | 7253 | 5000 5179 883000 | 8052 4704 4669 | 0.000 % | c | 8012 | 5000 5179 883000 | 8857 5463 4669 | 0.000 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 80.2128 s Remaining CPU time: 99.7872 s c =============================================================================== c | 8489 | 5000 5180 887850 | 5000 5940 4669 | 0.000 % | c | 8590 | 5000 5180 887850 | 5500 3071 4660 | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 81.6676 s Remaining CPU time: 98.3324 s c =============================================================================== c | 8715 | 5000 5181 892700 | 5000 3196 4659 | 0.000 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 82.2885 s Remaining CPU time: 97.7115 s c =============================================================================== c | 8756 | 5000 5182 897550 | 5000 3237 4659 | 0.000 % | c | 8856 | 5000 5182 897550 | 5500 3337 4659 | 0.000 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 83.7183 s Remaining CPU time: 96.2817 s c =============================================================================== c | 8983 | 5000 5183 902400 | 5000 3464 4660 | 0.000 % | c | 9084 | 5000 5183 902400 | 5500 3565 4660 | 0.000 % | c | 9234 | 5000 5183 902400 | 6050 3715 4660 | 0.000 % | c | 9459 | 5000 5183 902400 | 6655 3940 4661 | 0.000 % | c | 9796 | 5000 5183 902400 | 7320 4277 4662 | 0.000 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 88.4316 s Remaining CPU time: 91.5684 s c =============================================================================== c | 9906 | 5000 5184 907250 | 5000 4387 4662 | 0.000 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 89.0595 s Remaining CPU time: 90.9405 s c =============================================================================== c | 9966 | 5000 5185 912100 | 5000 4447 4662 | 0.000 % | c | 10066 | 5000 5185 912100 | 5500 4547 4662 | 0.000 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 90.6362 s Remaining CPU time: 89.3638 s c =============================================================================== c | 10201 | 5000 5186 916950 | 5000 4682 4662 | 0.000 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 91.3251 s Remaining CPU time: 88.6749 s c =============================================================================== c | 10291 | 5000 5187 921800 | 5000 4772 4662 | 0.000 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 92.028 s Remaining CPU time: 87.972 s c =============================================================================== c | 10378 | 5000 5188 926650 | 5000 4859 4661 | 0.000 % | c | 10478 | 5000 5188 926650 | 5500 4959 4661 | 0.000 % | c | 10628 | 5000 5188 926650 | 6050 5109 4661 | 0.000 % | c | 10853 | 5000 5188 926650 | 6655 5334 4661 | 0.000 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 95.5485 s Remaining CPU time: 84.4515 s c =============================================================================== c | 11002 | 5000 5189 931500 | 5000 5483 4661 | 0.000 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 96.1584 s Remaining CPU time: 83.8416 s c =============================================================================== c | 11030 | 5000 5190 936350 | 5000 2770 4650 | 0.000 % | c | 11131 | 5000 5190 936350 | 5500 2871 4650 | 0.000 % | c | 11281 | 5000 5190 936350 | 6050 3021 4651 | 0.000 % | c | 11507 | 5000 5190 936350 | 6655 3247 4652 | 0.000 % | c | 11844 | 5000 5190 936350 | 7320 3584 4651 | 0.000 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 100.513 s Remaining CPU time: 79.4873 s c =============================================================================== c | 11864 | 5000 5191 941200 | 5000 3604 4651 | 0.000 % | c | 11964 | 5000 5191 941200 | 5500 3704 4652 | 0.000 % | c | 12114 | 5000 5191 941200 | 6050 3854 4652 | 0.000 % | c | 12339 | 5000 5191 941200 | 6655 4079 4652 | 0.000 % | c | 12676 | 5000 5191 941200 | 7320 4416 4653 | 0.000 % | c | 13182 | 5000 5191 941200 | 8052 4922 4654 | 0.000 % | c | 13941 | 5000 5191 941200 | 8857 5681 4655 | 0.000 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 110.007 s Remaining CPU time: 69.9927 s c =============================================================================== c | 14172 | 5000 5192 946050 | 5000 5912 4655 | 0.000 % | c | 14272 | 5000 5192 946050 | 5500 3056 4643 | 0.000 % | c | 14422 | 5000 5192 946050 | 6050 3206 4644 | 0.000 % | c | 14647 | 5000 5192 946050 | 6655 3431 4645 | 0.000 % | c | 14985 | 5000 5192 946050 | 7320 3769 4645 | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 114.774 s Remaining CPU time: 65.2264 s c =============================================================================== c | 15021 | 5000 5193 950900 | 5000 3805 4645 | 0.000 % | c | 15124 | 5000 5193 950900 | 5500 3908 4646 | 0.000 % | c | 15274 | 5000 5193 950900 | 6050 4058 4646 | 0.000 % | c | 15500 | 5000 5193 950900 | 6655 4284 4646 | 0.000 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 118.155 s Remaining CPU time: 61.845 s c =============================================================================== c | 15576 | 5000 5194 955750 | 5000 4360 4646 | 0.000 % | c | 15676 | 5000 5194 955750 | 5500 4460 4646 | 0.000 % | c | 15827 | 5000 5194 955750 | 6050 4611 4647 | 0.000 % | c | 16052 | 5000 5194 955750 | 6655 4836 4647 | 0.000 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 121.519 s Remaining CPU time: 58.4815 s c =============================================================================== c | 16138 | 5000 5195 960600 | 5000 4922 4647 | 0.000 % | c | 16239 | 5000 5195 960600 | 5500 5023 4647 | 0.000 % | c | 16390 | 5000 5195 960600 | 6050 5174 4648 | 0.000 % | c | 16616 | 5000 5195 960600 | 6655 5400 4648 | 0.000 % | c | 16953 | 5000 5195 960600 | 7320 5737 4649 | 0.000 % | c | 17460 | 5000 5195 960600 | 8052 6244 4649 | 0.000 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 129.473 s Remaining CPU time: 50.5267 s c =============================================================================== c | 17772 | 5000 5196 965450 | 5000 6556 4650 | 0.000 % | c | 17872 | 5000 5196 965450 | 5500 3378 4640 | 0.000 % | c =============================================================================== c New solution: 4654 c Elapsed CPU time: 131.119 s Remaining CPU time: 48.8809 s c =============================================================================== c | 17986 | 5000 5197 970300 | 5000 3492 4641 | 0.000 % | c | 18086 | 5000 5197 970300 | 5500 3592 4641 | 0.000 % | c | 18236 | 5000 5197 970300 | 6050 3742 4642 | 0.000 % | c | 18462 | 5000 5197 970300 | 6655 3968 4642 | 0.000 % | c | 18800 | 5000 5197 970300 | 7320 4306 4642 | 0.000 % | c | 19307 | 5000 5197 970300 | 8052 4813 4644 | 0.000 % |