c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 5000 | c | Number Clauses: 5000 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4955 5007 14840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4850 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 4955 5008 19690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4849 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 4955 5009 24540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4848 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 4955 5010 29390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4847 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 4955 5011 34240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4846 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 4955 5012 39090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4845 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 4955 5013 43940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4844 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 4955 5014 48790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4843 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 4955 5015 53640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4842 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 4955 5016 58490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4841 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 4955 5017 63340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4840 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 4955 5018 68190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4839 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 4955 5019 73040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4838 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 4955 5020 77890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4837 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 4955 5021 82740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4836 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 0 | 4955 5022 87590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4835 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 0 | 4955 5023 92440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4834 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 0 | 4955 5024 97290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4833 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 4955 5025 102140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4832 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 0 | 4955 5026 106990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4831 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 4955 5027 111840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4830 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 4955 5028 116690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4829 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 4955 5029 121540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4828 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 0 | 4955 5030 126390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4827 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 0 | 4955 5031 131240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4826 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 0 | 4955 5032 136090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4825 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 4955 5033 140940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4824 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 4955 5034 145790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4823 c Elapsed CPU time: 0.704892 s Remaining CPU time: 179.295 s c =============================================================================== c | 0 | 4955 5035 150640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4822 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 0 | 4955 5036 155490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4821 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 0 | 4955 5037 160340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4820 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 0 | 4955 5038 165190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4819 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 0 | 4955 5039 170040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4818 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 0 | 4955 5040 174890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4817 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 0 | 4955 5041 179740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4816 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 0 | 4955 5042 184590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4815 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 0 | 4955 5043 189440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4814 c Elapsed CPU time: 1.26881 s Remaining CPU time: 178.731 s c =============================================================================== c | 0 | 4955 5044 194290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4813 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 0 | 4955 5045 199140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4812 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 0 | 4955 5046 203990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4811 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 0 | 4955 5047 208840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4810 c Elapsed CPU time: 1.59476 s Remaining CPU time: 178.405 s c =============================================================================== c | 0 | 4955 5048 213690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4809 c Elapsed CPU time: 1.69474 s Remaining CPU time: 178.305 s c =============================================================================== c | 0 | 4955 5049 218540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4808 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s c =============================================================================== c | 0 | 4955 5050 223390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4807 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 0 | 4955 5051 228240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4806 c Elapsed CPU time: 1.9997 s Remaining CPU time: 178 s c =============================================================================== c | 0 | 4955 5052 233090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4805 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 0 | 4955 5053 237940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4804 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s c =============================================================================== c | 0 | 4955 5054 242790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4803 c Elapsed CPU time: 2.33864 s Remaining CPU time: 177.661 s c =============================================================================== c | 0 | 4955 5055 247640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4802 c Elapsed CPU time: 2.45863 s Remaining CPU time: 177.541 s c =============================================================================== c | 0 | 4955 5056 252490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4801 c Elapsed CPU time: 2.58061 s Remaining CPU time: 177.419 s c =============================================================================== c | 0 | 4955 5057 257340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4800 c Elapsed CPU time: 2.70559 s Remaining CPU time: 177.294 s c =============================================================================== c | 0 | 4955 5058 262190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4799 c Elapsed CPU time: 2.83857 s Remaining CPU time: 177.161 s c =============================================================================== c | 0 | 4955 5059 267040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4798 c Elapsed CPU time: 2.97255 s Remaining CPU time: 177.027 s c =============================================================================== c | 0 | 4955 5060 271890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4797 c Elapsed CPU time: 3.10753 s Remaining CPU time: 176.892 s c =============================================================================== c | 0 | 4955 5061 276740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4796 c Elapsed CPU time: 3.24751 s Remaining CPU time: 176.752 s c =============================================================================== c | 0 | 4955 5062 281590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4795 c Elapsed CPU time: 3.39148 s Remaining CPU time: 176.609 s c =============================================================================== c | 0 | 4955 5063 286440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4794 c Elapsed CPU time: 3.54146 s Remaining CPU time: 176.459 s c =============================================================================== c | 0 | 4955 5064 291290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4793 c Elapsed CPU time: 3.69644 s Remaining CPU time: 176.304 s c =============================================================================== c | 0 | 4955 5065 296140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4792 c Elapsed CPU time: 3.84941 s Remaining CPU time: 176.151 s c =============================================================================== c | 0 | 4955 5066 300990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4791 c Elapsed CPU time: 4.00439 s Remaining CPU time: 175.996 s c =============================================================================== c | 0 | 4955 5067 305840 | 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 | 4955 5068 310690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4789 c Elapsed CPU time: 4.32334 s Remaining CPU time: 175.677 s c =============================================================================== c | 0 | 4955 5069 315540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4788 c Elapsed CPU time: 4.49132 s Remaining CPU time: 175.509 s c =============================================================================== c | 0 | 4955 5070 320390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4787 c Elapsed CPU time: 4.66029 s Remaining CPU time: 175.34 s c =============================================================================== c | 0 | 4955 5071 325240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4786 c Elapsed CPU time: 4.82927 s Remaining CPU time: 175.171 s c =============================================================================== c | 0 | 4955 5072 330090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4785 c Elapsed CPU time: 5.00524 s Remaining CPU time: 174.995 s c =============================================================================== c | 0 | 4955 5073 334940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4784 c Elapsed CPU time: 5.19421 s Remaining CPU time: 174.806 s c =============================================================================== c | 0 | 4955 5074 339790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4783 c Elapsed CPU time: 5.38718 s Remaining CPU time: 174.613 s c =============================================================================== c | 0 | 4955 5075 344640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4782 c Elapsed CPU time: 5.58615 s Remaining CPU time: 174.414 s c =============================================================================== c | 0 | 4955 5076 349490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4781 c Elapsed CPU time: 5.78712 s Remaining CPU time: 174.213 s c =============================================================================== c | 0 | 4955 5077 354340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4780 c Elapsed CPU time: 5.98809 s Remaining CPU time: 174.012 s c =============================================================================== c | 0 | 4955 5078 359190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4779 c Elapsed CPU time: 6.19906 s Remaining CPU time: 173.801 s c =============================================================================== c | 0 | 4955 5079 364040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4778 c Elapsed CPU time: 6.42002 s Remaining CPU time: 173.58 s c =============================================================================== c | 0 | 4955 5080 368890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4777 c Elapsed CPU time: 6.63999 s Remaining CPU time: 173.36 s c =============================================================================== c | 0 | 4955 5081 373740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4776 c Elapsed CPU time: 6.85896 s Remaining CPU time: 173.141 s c =============================================================================== c | 0 | 4955 5082 378590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4775 c Elapsed CPU time: 7.08492 s Remaining CPU time: 172.915 s c =============================================================================== c | 0 | 4955 5083 383440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4774 c Elapsed CPU time: 7.31389 s Remaining CPU time: 172.686 s c =============================================================================== c | 0 | 4955 5084 388290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4773 c Elapsed CPU time: 7.54385 s Remaining CPU time: 172.456 s c =============================================================================== c | 0 | 4955 5085 393140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4772 c Elapsed CPU time: 7.77782 s Remaining CPU time: 172.222 s c =============================================================================== c | 0 | 4955 5086 397990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4771 c Elapsed CPU time: 8.01378 s Remaining CPU time: 171.986 s c =============================================================================== c | 0 | 4955 5087 402840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4770 c Elapsed CPU time: 8.24875 s Remaining CPU time: 171.751 s c =============================================================================== c | 0 | 4955 5088 407690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4769 c Elapsed CPU time: 8.48571 s Remaining CPU time: 171.514 s c =============================================================================== c | 0 | 4955 5089 412540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4768 c Elapsed CPU time: 8.72367 s Remaining CPU time: 171.276 s c =============================================================================== c | 0 | 4955 5090 417390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4767 c Elapsed CPU time: 8.96664 s Remaining CPU time: 171.033 s c =============================================================================== c | 0 | 4955 5091 422240 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4766 c Elapsed CPU time: 9.2106 s Remaining CPU time: 170.789 s c =============================================================================== c | 0 | 4955 5092 427090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4765 c Elapsed CPU time: 9.46356 s Remaining CPU time: 170.536 s c =============================================================================== c | 0 | 4955 5093 431940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4764 c Elapsed CPU time: 9.72352 s Remaining CPU time: 170.276 s c =============================================================================== c | 0 | 4955 5094 436790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4763 c Elapsed CPU time: 9.98748 s Remaining CPU time: 170.013 s c =============================================================================== c | 0 | 4955 5095 441640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4762 c Elapsed CPU time: 10.2544 s Remaining CPU time: 169.746 s c =============================================================================== c | 0 | 4955 5096 446490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 10.5254 s Remaining CPU time: 169.475 s c =============================================================================== c | 0 | 4955 5097 451340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4760 c Elapsed CPU time: 10.8004 s Remaining CPU time: 169.2 s c =============================================================================== c | 0 | 4955 5098 456190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4759 c Elapsed CPU time: 11.0743 s Remaining CPU time: 168.926 s c =============================================================================== c | 0 | 4955 5099 461040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4758 c Elapsed CPU time: 11.3523 s Remaining CPU time: 168.648 s c =============================================================================== c | 0 | 4955 5100 465890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4757 c Elapsed CPU time: 11.6352 s Remaining CPU time: 168.365 s c =============================================================================== c | 0 | 4955 5101 470740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4756 c Elapsed CPU time: 11.9202 s Remaining CPU time: 168.08 s c =============================================================================== c | 0 | 4955 5102 475590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4755 c Elapsed CPU time: 12.2191 s Remaining CPU time: 167.781 s c =============================================================================== c | 2 | 4955 5103 480440 | 5000 2 4757 | 0.000 % | c =============================================================================== c New solution: 4754 c Elapsed CPU time: 12.5031 s Remaining CPU time: 167.497 s c =============================================================================== c | 2 | 4955 5104 485290 | 5000 2 4757 | 0.000 % | c =============================================================================== c New solution: 4753 c Elapsed CPU time: 12.7921 s Remaining CPU time: 167.208 s c =============================================================================== c | 2 | 4955 5105 490140 | 5000 2 4757 | 0.000 % | c =============================================================================== c New solution: 4752 c Elapsed CPU time: 13.087 s Remaining CPU time: 166.913 s c =============================================================================== c | 4 | 4955 5106 494990 | 5000 4 4756 | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 13.369 s Remaining CPU time: 166.631 s c =============================================================================== c | 4 | 4955 5107 499840 | 5000 4 4756 | 0.000 % | c =============================================================================== c New solution: 4750 c Elapsed CPU time: 13.6639 s Remaining CPU time: 166.336 s c =============================================================================== c | 5 | 4955 5108 504690 | 5000 5 4755 | 0.000 % | c =============================================================================== c New solution: 4749 c Elapsed CPU time: 13.9819 s Remaining CPU time: 166.018 s c =============================================================================== c | 5 | 4955 5109 509540 | 5000 5 4755 | 0.000 % | c =============================================================================== c New solution: 4748 c Elapsed CPU time: 14.2968 s Remaining CPU time: 165.703 s c =============================================================================== c | 5 | 4955 5110 514390 | 5000 5 4755 | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 14.6018 s Remaining CPU time: 165.398 s c =============================================================================== c | 5 | 4955 5111 519240 | 5000 5 4755 | 0.000 % | c =============================================================================== c New solution: 4746 c Elapsed CPU time: 14.9327 s Remaining CPU time: 165.067 s c =============================================================================== c | 5 | 4955 5112 524090 | 5000 5 4755 | 0.000 % | c =============================================================================== c New solution: 4745 c Elapsed CPU time: 15.2727 s Remaining CPU time: 164.727 s c =============================================================================== c | 5 | 4955 5113 528940 | 5000 5 4755 | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 15.6206 s Remaining CPU time: 164.379 s c =============================================================================== c | 15 | 4955 5114 533790 | 5000 15 4749 | 0.000 % | c =============================================================================== c New solution: 4743 c Elapsed CPU time: 15.9736 s Remaining CPU time: 164.026 s c =============================================================================== c | 33 | 4955 5115 538640 | 5000 33 4747 | 0.000 % | c =============================================================================== c New solution: 4742 c Elapsed CPU time: 16.3085 s Remaining CPU time: 163.691 s c =============================================================================== c | 39 | 4955 5116 543490 | 5000 39 4747 | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 16.6335 s Remaining CPU time: 163.367 s c =============================================================================== c | 41 | 4955 5117 548340 | 5000 41 4746 | 0.000 % | c =============================================================================== c New solution: 4740 c Elapsed CPU time: 16.9544 s Remaining CPU time: 163.046 s c =============================================================================== c | 42 | 4955 5118 553190 | 5000 42 4746 | 0.000 % | c =============================================================================== c New solution: 4739 c Elapsed CPU time: 17.2814 s Remaining CPU time: 162.719 s c =============================================================================== c | 43 | 4955 5119 558040 | 5000 43 4746 | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 17.6083 s Remaining CPU time: 162.392 s c =============================================================================== c | 47 | 4955 5120 562890 | 5000 47 4746 | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 17.9573 s Remaining CPU time: 162.043 s c =============================================================================== c | 58 | 4955 5121 567740 | 5000 58 4744 | 0.000 % | c =============================================================================== c New solution: 4736 c Elapsed CPU time: 18.2802 s Remaining CPU time: 161.72 s c =============================================================================== c | 58 | 4955 5122 572590 | 5000 58 4744 | 0.000 % | c =============================================================================== c New solution: 4735 c Elapsed CPU time: 18.6212 s Remaining CPU time: 161.379 s c =============================================================================== c | 73 | 4955 5123 577440 | 5000 73 4743 | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 18.9741 s Remaining CPU time: 161.026 s c =============================================================================== c | 92 | 4955 5124 582290 | 5000 92 4742 | 0.000 % | c =============================================================================== c New solution: 4733 c Elapsed CPU time: 19.3271 s Remaining CPU time: 160.673 s c =============================================================================== c | 99 | 4955 5125 587140 | 5000 99 4741 | 0.000 % | c =============================================================================== c New solution: 4732 c Elapsed CPU time: 19.718 s Remaining CPU time: 160.282 s c =============================================================================== c | 105 | 4955 5126 591990 | 5000 105 4741 | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 20.0729 s Remaining CPU time: 159.927 s c =============================================================================== c | 106 | 4955 5127 596840 | 5000 106 4696 | 0.000 % | c =============================================================================== c New solution: 4730 c Elapsed CPU time: 20.4129 s Remaining CPU time: 159.587 s c =============================================================================== c | 107 | 4955 5128 601690 | 5000 107 4696 | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 20.8478 s Remaining CPU time: 159.152 s c =============================================================================== c | 124 | 4955 5129 606540 | 5000 124 4701 | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 21.2758 s Remaining CPU time: 158.724 s c =============================================================================== c | 136 | 4955 5130 611390 | 5000 136 4704 | 0.000 % | c =============================================================================== c New solution: 4727 c Elapsed CPU time: 21.6757 s Remaining CPU time: 158.324 s c =============================================================================== c | 136 | 4955 5131 616240 | 5000 136 4704 | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 22.0916 s Remaining CPU time: 157.908 s c =============================================================================== c | 157 | 4955 5132 621090 | 5000 157 4707 | 0.000 % | c =============================================================================== c New solution: 4725 c Elapsed CPU time: 22.4946 s Remaining CPU time: 157.505 s c =============================================================================== c | 160 | 4955 5133 625940 | 5000 160 4707 | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 22.9015 s Remaining CPU time: 157.098 s c =============================================================================== c | 162 | 4955 5134 630790 | 5000 162 4708 | 0.000 % | c =============================================================================== c New solution: 4723 c Elapsed CPU time: 23.3744 s Remaining CPU time: 156.626 s c =============================================================================== c | 194 | 4955 5135 635640 | 5000 194 4711 | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 23.8034 s Remaining CPU time: 156.197 s c =============================================================================== c | 210 | 4955 5136 640490 | 5000 210 4712 | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 24.3163 s Remaining CPU time: 155.684 s c =============================================================================== c | 258 | 4955 5137 645340 | 5000 258 4714 | 0.000 % | c =============================================================================== c New solution: 4720 c Elapsed CPU time: 24.7502 s Remaining CPU time: 155.25 s c =============================================================================== c | 263 | 4955 5138 650190 | 5000 263 4714 | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 25.1812 s Remaining CPU time: 154.819 s c =============================================================================== c | 266 | 4955 5139 655040 | 5000 266 4714 | 0.000 % | c =============================================================================== c New solution: 4718 c Elapsed CPU time: 25.5971 s Remaining CPU time: 154.403 s c =============================================================================== c | 280 | 4955 5140 659890 | 5000 280 4714 | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 26.028 s Remaining CPU time: 153.972 s c =============================================================================== c | 292 | 4955 5141 664740 | 5000 292 4698 | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 26.485 s Remaining CPU time: 153.515 s c =============================================================================== c | 306 | 4955 5142 669590 | 5000 306 4699 | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 26.9189 s Remaining CPU time: 153.081 s c =============================================================================== c | 309 | 4955 5143 674440 | 5000 309 4699 | 0.000 % | c =============================================================================== c New solution: 4714 c Elapsed CPU time: 27.3718 s Remaining CPU time: 152.628 s c =============================================================================== c | 327 | 4955 5144 679290 | 5000 327 4700 | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 27.8248 s Remaining CPU time: 152.175 s c =============================================================================== c | 338 | 4955 5145 684140 | 5000 338 4701 | 0.000 % | c =============================================================================== c New solution: 4712 c Elapsed CPU time: 28.2537 s Remaining CPU time: 151.746 s c =============================================================================== c | 348 | 4955 5146 688990 | 5000 348 4701 | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 28.7006 s Remaining CPU time: 151.299 s c =============================================================================== c | 368 | 4955 5147 693840 | 5000 368 4702 | 0.000 % | c =============================================================================== c New solution: 4710 c Elapsed CPU time: 29.1706 s Remaining CPU time: 150.829 s c =============================================================================== c | 404 | 4955 5148 698690 | 5000 404 4703 | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 29.7415 s Remaining CPU time: 150.259 s c =============================================================================== c | 454 | 4955 5149 703540 | 5000 454 4704 | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 30.1884 s Remaining CPU time: 149.812 s c =============================================================================== c | 476 | 4955 5150 708390 | 5000 476 4704 | 0.000 % | c =============================================================================== c New solution: 4707 c Elapsed CPU time: 30.5943 s Remaining CPU time: 149.406 s c =============================================================================== c | 477 | 4955 5151 713240 | 5000 477 4704 | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 31.0263 s Remaining CPU time: 148.974 s c =============================================================================== c | 499 | 4955 5152 718090 | 5000 499 4704 | 0.000 % | c =============================================================================== c New solution: 4705 c Elapsed CPU time: 31.4412 s Remaining CPU time: 148.559 s c =============================================================================== c | 503 | 4955 5153 722940 | 5000 503 4704 | 0.000 % | c | 603 | 4955 5153 722940 | 5500 603 4705 | 0.900 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 32.4791 s Remaining CPU time: 147.521 s c =============================================================================== c | 636 | 4955 5154 727790 | 5000 636 4705 | 0.900 % | c =============================================================================== c New solution: 4703 c Elapsed CPU time: 32.941 s Remaining CPU time: 147.059 s c =============================================================================== c | 672 | 4955 5155 732640 | 5000 672 4705 | 0.900 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 33.3939 s Remaining CPU time: 146.606 s c =============================================================================== c | 687 | 4955 5156 737490 | 5000 687 4705 | 0.900 % | c =============================================================================== c New solution: 4701 c Elapsed CPU time: 33.8149 s Remaining CPU time: 146.185 s c =============================================================================== c | 687 | 4955 5157 742340 | 5000 687 4705 | 0.900 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 34.2998 s Remaining CPU time: 145.7 s c =============================================================================== c | 721 | 4955 5158 747190 | 5000 721 4705 | 0.900 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 34.7467 s Remaining CPU time: 145.253 s c =============================================================================== c | 734 | 4955 5159 752040 | 5000 734 4705 | 0.900 % | c =============================================================================== c New solution: 4698 c Elapsed CPU time: 35.3056 s Remaining CPU time: 144.694 s c =============================================================================== c | 833 | 4955 5160 756890 | 5000 833 4704 | 0.900 % | c =============================================================================== c New solution: 4697 c Elapsed CPU time: 35.7906 s Remaining CPU time: 144.209 s c =============================================================================== c | 871 | 4955 5161 761740 | 5000 871 4704 | 0.900 % | c =============================================================================== c New solution: 4696 c Elapsed CPU time: 36.3215 s Remaining CPU time: 143.679 s c =============================================================================== c | 901 | 4955 5162 766590 | 5000 901 4704 | 0.900 % | c | 1001 | 4955 5162 766590 | 5500 1001 4703 | 0.900 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 37.5213 s Remaining CPU time: 142.479 s c =============================================================================== c | 1028 | 4955 5163 771440 | 5000 1028 4703 | 0.900 % | c | 1128 | 4955 5163 771440 | 5500 1128 4702 | 0.900 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 38.5831 s Remaining CPU time: 141.417 s c =============================================================================== c | 1164 | 4955 5164 776290 | 5000 1164 4702 | 0.900 % | c | 1265 | 4955 5164 776290 | 5500 1265 4702 | 0.900 % | c =============================================================================== c New solution: 4693 c Elapsed CPU time: 39.663 s Remaining CPU time: 140.337 s c =============================================================================== c | 1282 | 4955 5165 781140 | 5000 1282 4702 | 0.900 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 40.1649 s Remaining CPU time: 139.835 s c =============================================================================== c | 1319 | 4955 5166 785990 | 5000 1319 4701 | 0.900 % | c =============================================================================== c New solution: 4691 c Elapsed CPU time: 40.6478 s Remaining CPU time: 139.352 s c =============================================================================== c | 1342 | 4955 5167 790840 | 5000 1342 4701 | 0.900 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 41.1637 s Remaining CPU time: 138.836 s c =============================================================================== c | 1385 | 4955 5168 795690 | 5000 1385 4701 | 0.900 % | c =============================================================================== c New solution: 4689 c Elapsed CPU time: 41.6457 s Remaining CPU time: 138.354 s c =============================================================================== c | 1402 | 4955 5169 800540 | 5000 1402 4701 | 0.900 % | c =============================================================================== c New solution: 4688 c Elapsed CPU time: 42.1326 s Remaining CPU time: 137.867 s c =============================================================================== c | 1418 | 4955 5170 805390 | 5000 1418 4701 | 0.900 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 42.6055 s Remaining CPU time: 137.394 s c =============================================================================== c | 1423 | 4955 5171 810240 | 5000 1423 4701 | 0.900 % | c =============================================================================== c New solution: 4686 c Elapsed CPU time: 43.1824 s Remaining CPU time: 136.818 s c =============================================================================== c | 1455 | 4955 5172 815090 | 5000 1455 4700 | 0.900 % | c | 1556 | 4955 5172 815090 | 5500 1556 4700 | 0.900 % | c =============================================================================== c New solution: 4685 c Elapsed CPU time: 44.2903 s Remaining CPU time: 135.71 s c =============================================================================== c | 1597 | 4955 5173 819940 | 5000 1597 4699 | 0.900 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 44.8422 s Remaining CPU time: 135.158 s c =============================================================================== c | 1651 | 4955 5174 824790 | 5000 1651 4699 | 0.900 % | c | 1752 | 4955 5174 824790 | 5500 1752 4698 | 0.900 % | c =============================================================================== c New solution: 4683 c Elapsed CPU time: 45.957 s Remaining CPU time: 134.043 s c =============================================================================== c | 1769 | 4955 5175 829640 | 5000 1769 4698 | 0.900 % | c | 1869 | 4955 5175 829640 | 5500 1869 4697 | 0.900 % | c =============================================================================== c New solution: 4682 c Elapsed CPU time: 47.0758 s Remaining CPU time: 132.924 s c =============================================================================== c | 1871 | 4955 5176 834490 | 5000 1871 4697 | 0.900 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 47.6198 s Remaining CPU time: 132.38 s c =============================================================================== c | 1914 | 4955 5177 839340 | 5000 1914 4697 | 0.900 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 48.1227 s Remaining CPU time: 131.877 s c =============================================================================== c | 1928 | 4955 5178 844190 | 5000 1928 4697 | 0.900 % | c =============================================================================== c New solution: 4679 c Elapsed CPU time: 48.6556 s Remaining CPU time: 131.344 s c =============================================================================== c | 1956 | 4955 5179 849040 | 5000 1956 4697 | 0.900 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 49.1645 s Remaining CPU time: 130.835 s c =============================================================================== c | 1964 | 4955 5180 853890 | 5000 1964 4697 | 0.900 % | c =============================================================================== c New solution: 4677 c Elapsed CPU time: 49.6974 s Remaining CPU time: 130.303 s c =============================================================================== c | 1991 | 4955 5181 858740 | 5000 1991 4696 | 0.900 % | c | 2092 | 4955 5181 858740 | 5500 2092 4695 | 0.900 % | c | 2242 | 4955 5181 858740 | 6050 2242 4694 | 0.900 % | c =============================================================================== c New solution: 4676 c Elapsed CPU time: 51.5712 s Remaining CPU time: 128.429 s c =============================================================================== c | 2257 | 4955 5182 863590 | 5000 2257 4694 | 0.900 % | c | 2357 | 4955 5182 863590 | 5500 2357 4694 | 0.900 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 52.9519 s Remaining CPU time: 127.048 s c =============================================================================== c | 2438 | 4955 5183 868440 | 5000 2438 4691 | 0.900 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 53.7068 s Remaining CPU time: 126.293 s c =============================================================================== c | 2533 | 4955 5184 873290 | 5000 2533 4691 | 0.900 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 54.2368 s Remaining CPU time: 125.763 s c =============================================================================== c | 2545 | 4955 5185 878140 | 5000 2545 4690 | 0.900 % | c =============================================================================== c New solution: 4672 c Elapsed CPU time: 54.7787 s Remaining CPU time: 125.221 s c =============================================================================== c | 2557 | 4955 5186 882990 | 5000 2557 4690 | 0.900 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 55.3626 s Remaining CPU time: 124.637 s c =============================================================================== c | 2604 | 4955 5187 887840 | 5000 2604 4690 | 0.900 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 55.8945 s Remaining CPU time: 124.105 s c =============================================================================== c | 2617 | 4955 5188 892690 | 5000 2617 4690 | 0.900 % | c | 2718 | 4955 5188 892690 | 5500 2718 4689 | 0.900 % | c | 2869 | 4955 5188 892690 | 6050 2869 4688 | 0.900 % | c =============================================================================== c New solution: 4669 c Elapsed CPU time: 58.0662 s Remaining CPU time: 121.934 s c =============================================================================== c | 3025 | 4955 5189 897540 | 5000 3025 4687 | 0.900 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 58.6091 s Remaining CPU time: 121.391 s c =============================================================================== c | 3040 | 4955 5190 902390 | 5000 3040 4687 | 0.900 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 59.14 s Remaining CPU time: 120.86 s c =============================================================================== c | 3043 | 4955 5191 907240 | 5000 3043 4687 | 0.900 % | c | 3144 | 4955 5191 907240 | 5500 3144 4687 | 0.900 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 60.3918 s Remaining CPU time: 119.608 s c =============================================================================== c | 3171 | 4955 5192 912090 | 5000 3171 4687 | 0.900 % | c =============================================================================== c New solution: 4665 c Elapsed CPU time: 61.0647 s Remaining CPU time: 118.935 s c =============================================================================== c | 3220 | 4955 5193 916940 | 5000 3220 4686 | 0.900 % | c | 3321 | 4955 5193 916940 | 5500 3321 4686 | 0.900 % | c =============================================================================== c New solution: 4664 c Elapsed CPU time: 62.3495 s Remaining CPU time: 117.65 s c =============================================================================== c | 3378 | 4955 5194 921790 | 5000 3378 4685 | 0.900 % | c | 3478 | 4955 5194 921790 | 5500 3478 4685 | 0.900 % | c | 3629 | 4955 5194 921790 | 6050 3629 4684 | 0.900 % | c | 3855 | 4955 5194 921790 | 6655 3855 4683 | 0.900 % | c | 4192 | 4955 5194 921790 | 7320 4192 4680 | 0.900 % | c | 4699 | 4955 5194 921790 | 8052 4699 4679 | 0.900 % | c | 5458 | 4955 5194 921790 | 8857 5458 4677 | 0.900 % | c =============================================================================== c New solution: 4663 c Elapsed CPU time: 74.3267 s Remaining CPU time: 105.673 s c =============================================================================== c | 6451 | 4955 5195 926640 | 5000 6451 4675 | 0.900 % | c | 6551 | 4955 5195 926640 | 5500 3326 4659 | 0.900 % | c | 6701 | 4955 5195 926640 | 6050 3476 4659 | 0.900 % | c | 6927 | 4955 5195 926640 | 6655 3702 4659 | 0.900 % | c | 7265 | 4955 5195 926640 | 7320 4040 4660 | 0.900 % | c =============================================================================== c New solution: 4662 c Elapsed CPU time: 80.0628 s Remaining CPU time: 99.9372 s c =============================================================================== c | 7401 | 4955 5196 931490 | 5000 4176 4660 | 0.900 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 80.6687 s Remaining CPU time: 99.3313 s c =============================================================================== c | 7443 | 4955 5197 936340 | 5000 4218 4660 | 0.900 % | c | 7544 | 4955 5197 936340 | 5500 4319 4660 | 0.900 % | c | 7694 | 4955 5197 936340 | 6050 4469 4660 | 0.900 % | c =============================================================================== c New solution: 4660 c Elapsed CPU time: 83.4563 s Remaining CPU time: 96.5437 s c =============================================================================== c | 7804 | 4955 5198 941190 | 5000 4579 4660 | 0.900 % | c | 7904 | 4955 5198 941190 | 5500 4679 4660 | 0.900 % | c | 8055 | 4955 5198 941190 | 6050 4830 4660 | 0.900 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 85.61 s Remaining CPU time: 94.39 s c =============================================================================== c | 8173 | 4955 5199 946040 | 5000 4948 4660 | 0.900 % | c | 8273 | 4955 5199 946040 | 5500 5048 4660 | 0.900 % | c | 8423 | 4955 5199 946040 | 6050 5198 4660 | 0.900 % | c | 8648 | 4955 5199 946040 | 6655 5423 4660 | 0.900 % | c | 8985 | 4955 5199 946040 | 7320 5760 4660 | 0.900 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 91.972 s Remaining CPU time: 88.028 s c =============================================================================== c | 9366 | 4955 5200 950890 | 5000 6141 4660 | 0.900 % | c | 9466 | 4955 5200 950890 | 5500 3171 4655 | 0.900 % | c | 9616 | 4955 5200 950890 | 6050 3321 4655 | 0.900 % | c | 9841 | 4955 5200 950890 | 6655 3546 4656 | 0.900 % | c | 10178 | 4955 5200 950890 | 7320 3883 4656 | 0.900 % | c =============================================================================== c New solution: 4657 c Elapsed CPU time: 97.5852 s Remaining CPU time: 82.4148 s c =============================================================================== c | 10494 | 4955 5201 955740 | 5000 4199 4656 | 0.900 % | c | 10594 | 4955 5201 955740 | 5500 4299 4656 | 0.900 % | c | 10745 | 4955 5201 955740 | 6050 4450 4656 | 0.900 % | c | 10970 | 4955 5201 955740 | 6655 4675 4657 | 0.900 % | c | 11307 | 4955 5201 955740 | 7320 5012 4657 | 0.900 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 101.862 s Remaining CPU time: 78.1385 s c =============================================================================== c | 11345 | 4955 5202 960590 | 5000 5050 4657 | 0.900 % | c =============================================================================== c New solution: 4655 c Elapsed CPU time: 102.595 s Remaining CPU time: 77.4046 s c =============================================================================== c | 11403 | 4955 5203 965440 | 5000 2583 4651 | 0.900 % | c =============================================================================== c New solution: 4654 c Elapsed CPU time: 103.243 s Remaining CPU time: 76.7567 s c =============================================================================== c | 11447 | 4955 5204 970290 | 5000 2627 4651 | 0.900 % | c | 11547 | 4955 5204 970290 | 5500 2727 4651 | 0.900 % | c | 11697 | 4955 5204 970290 | 6050 2877 4651 | 0.900 % | c | 11923 | 4955 5204 970290 | 6655 3103 4651 | 0.900 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 107.153 s Remaining CPU time: 72.8473 s c =============================================================================== c | 11998 | 4955 5205 975140 | 5000 3178 4652 | 0.900 % | c | 12098 | 4955 5205 975140 | 5500 3278 4652 | 0.900 % | c | 12248 | 4955 5205 975140 | 6050 3428 4652 | 0.900 % | c | 12473 | 4955 5205 975140 | 6655 3653 4652 | 0.900 % | c =============================================================================== c New solution: 4652 c Elapsed CPU time: 110.698 s Remaining CPU time: 69.3018 s c =============================================================================== c | 12554 | 4955 5206 979990 | 5000 3734 4652 | 0.900 % | c =============================================================================== c New solution: 4651 c Elapsed CPU time: 111.291 s Remaining CPU time: 68.7089 s c =============================================================================== c | 12565 | 4955 5207 984840 | 5000 3745 4652 | 0.900 % | c =============================================================================== c New solution: 4650 c Elapsed CPU time: 111.972 s Remaining CPU time: 68.028 s c =============================================================================== c | 12620 | 4955 5208 989690 | 5000 3800 4652 | 0.900 % | c | 12720 | 4955 5208 989690 | 5500 3900 4652 | 0.900 % | c | 12871 | 4955 5208 989690 | 6050 4051 4652 | 0.900 % | c =============================================================================== c New solution: 4649 c Elapsed CPU time: 114.77 s Remaining CPU time: 65.2304 s c =============================================================================== c | 12981 | 4955 5209 994540 | 5000 4161 4652 | 0.900 % | c | 13081 | 4955 5209 994540 | 5500 4261 4652 | 0.900 % | c | 13232 | 4955 5209 994540 | 6050 4412 4652 | 0.900 % | c =============================================================================== c New solution: 4648 c Elapsed CPU time: 117.49 s Remaining CPU time: 62.5099 s c =============================================================================== c | 13316 | 4955 5210 999390 | 5000 4496 4652 | 0.900 % | c | 13416 | 4955 5210 999390 | 5500 4596 4652 | 0.900 % | c | 13566 | 4955 5210 999390 | 6050 4746 4652 | 0.900 % | c | 13793 | 4955 5210 999390 | 6655 4973 4652 | 0.900 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 120.904 s Remaining CPU time: 59.0964 s c =============================================================================== c | 13817 | 4955 5211 1004240 | 5000 4997 4652 | 0.900 % | c | 13918 | 4955 5211 1004240 | 5500 5098 4652 | 0.900 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 122.488 s Remaining CPU time: 57.5116 s c =============================================================================== c | 14062 | 4955 5212 1009090 | 5000 5242 4652 | 0.900 % | c | 14163 | 4955 5212 1009090 | 5500 2722 4646 | 0.900 % | c =============================================================================== c New solution: 4645 c Elapsed CPU time: 123.926 s Remaining CPU time: 56.0738 s c =============================================================================== c | 14189 | 4955 5213 1013940 | 5000 2748 4646 | 0.900 % | c | 14289 | 4955 5213 1013940 | 5500 2848 4646 | 0.900 % | c =============================================================================== c New solution: 4644 c Elapsed CPU time: 125.846 s Remaining CPU time: 54.1541 s c =============================================================================== c | 14380 | 4955 5214 1018790 | 5000 2939 4646 | 0.900 % | c | 14481 | 4955 5214 1018790 | 5500 3040 4646 | 0.900 % | c =============================================================================== c New solution: 4643 c Elapsed CPU time: 127.286 s Remaining CPU time: 52.7144 s c =============================================================================== c | 14531 | 4955 5215 1023640 | 5000 3090 4646 | 0.900 % | c | 14632 | 4955 5215 1023640 | 5500 3191 4644 | 0.900 % | c | 14783 | 4955 5215 1023640 | 6050 3342 4644 | 0.900 % | c | 15008 | 4955 5215 1023640 | 6655 3567 4644 | 0.900 % | c =============================================================================== c New solution: 4642 c Elapsed CPU time: 130.933 s Remaining CPU time: 49.0669 s c =============================================================================== c | 15076 | 4955 5216 1028490 | 5000 3635 4644 | 0.900 % | c | 15176 | 4955 5216 1028490 | 5500 3735 4644 | 0.900 % | c | 15327 | 4955 5216 1028490 | 6050 3886 4644 | 0.900 % | c =============================================================================== c New solution: 4641 c Elapsed CPU time: 133.363 s Remaining CPU time: 46.6373 s c =============================================================================== c | 15345 | 4955 5217 1033340 | 5000 3904 4644 | 0.900 % | c | 15446 | 4955 5217 1033340 | 5500 4005 4644 | 0.900 % | c | 15596 | 4955 5217 1033340 | 6050 4155 4643 | 0.900 % | c | 15821 | 4955 5217 1033340 | 6655 4380 4643 | 0.900 % | c =============================================================================== c New solution: 4640 c Elapsed CPU time: 137.786 s Remaining CPU time: 42.2139 s c =============================================================================== c | 15928 | 4955 5218 1038190 | 5000 4487 4643 | 0.900 % | c | 16028 | 4955 5218 1038190 | 5500 4587 4643 | 0.900 % | c | 16178 | 4955 5218 1038190 | 6050 4737 4643 | 0.900 % | c | 16403 | 4955 5218 1038190 | 6655 4962 4643 | 0.900 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 141.324 s Remaining CPU time: 38.6765 s c =============================================================================== c | 16540 | 4955 5219 1043040 | 5000 5099 4643 | 0.900 % | c =============================================================================== c New solution: 4638 c Elapsed CPU time: 142.049 s Remaining CPU time: 37.9506 s c =============================================================================== c | 16586 | 4955 5220 1047890 | 5000 2596 4633 | 0.900 % | c | 16686 | 4955 5220 1047890 | 5500 2696 4633 | 0.900 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 143.684 s Remaining CPU time: 36.3158 s c =============================================================================== c | 16751 | 4955 5221 1052740 | 5000 2761 4634 | 0.900 % | c | 16852 | 4955 5221 1052740 | 5500 2862 4634 | 0.900 % | c | 17002 | 4955 5221 1052740 | 6050 3012 4634 | 0.900 % | c | 17228 | 4955 5221 1052740 | 6655 3238 4634 | 0.900 % | c | 17565 | 4955 5221 1052740 | 7320 3575 4635 | 0.900 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 149.895 s Remaining CPU time: 30.1048 s c =============================================================================== c | 18017 | 4955 5222 1057590 | 5000 4027 4635 | 0.900 % | c | 18117 | 4955 5222 1057590 | 5500 4127 4635 | 0.900 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 151.423 s Remaining CPU time: 28.577 s c =============================================================================== c | 18163 | 4955 5223 1062440 | 5000 4173 4635 | 0.900 % | c | 18263 | 4955 5223 1062440 | 5500 4273 4635 | 0.900 % | c | 18414 | 4955 5223 1062440 | 6050 4424 4635 | 0.900 % | c =============================================================================== c New solution: 4634 c Elapsed CPU time: 153.959 s Remaining CPU time: 26.0414 s c =============================================================================== c | 18503 | 4955 5224 1067290 | 5000 4513 4635 | 0.900 % | c | 18604 | 4955 5224 1067290 | 5500 4614 4635 | 0.900 % | c | 18754 | 4955 5224 1067290 | 6050 4764 4635 | 0.900 % | c | 18979 | 4955 5224 1067290 | 6655 4989 4635 | 0.900 % | c | 19316 | 4955 5224 1067290 | 7320 5326 4635 | 0.900 % |