c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4000 | c | Number Clauses: 4000 | 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 | 3999 4001 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20918 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 3999 4002 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20915 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 3999 4003 19550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20913 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 3999 4004 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20912 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 3999 4005 27250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20910 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 0 | 3999 4006 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20909 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 3999 4007 34950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20908 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 0 | 3999 4008 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20905 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 3999 4009 42650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20904 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 0 | 3999 4010 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20903 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 3999 4011 50350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20902 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s c =============================================================================== c | 0 | 3999 4012 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20901 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 0 | 3999 4013 58050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20900 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 0 | 3999 4014 61900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20899 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 0 | 3999 4015 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20898 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s c =============================================================================== c | 0 | 3999 4016 69600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20895 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 0 | 3999 4017 73450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20893 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 0 | 3999 4018 77300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20892 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 0 | 3999 4019 81150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20891 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s c =============================================================================== c | 0 | 3999 4020 85000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20890 c Elapsed CPU time: 1.3268 s Remaining CPU time: 178.673 s c =============================================================================== c | 0 | 3999 4021 88850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20889 c Elapsed CPU time: 1.40779 s Remaining CPU time: 178.592 s c =============================================================================== c | 0 | 3999 4022 92700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20887 c Elapsed CPU time: 1.49177 s Remaining CPU time: 178.508 s c =============================================================================== c | 0 | 3999 4023 96550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20883 c Elapsed CPU time: 1.57676 s Remaining CPU time: 178.423 s c =============================================================================== c | 0 | 3999 4024 100400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20879 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 0 | 3999 4025 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20876 c Elapsed CPU time: 1.74673 s Remaining CPU time: 178.253 s c =============================================================================== c | 0 | 3999 4026 108100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20873 c Elapsed CPU time: 1.83372 s Remaining CPU time: 178.166 s c =============================================================================== c | 0 | 3999 4027 111950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20869 c Elapsed CPU time: 1.92071 s Remaining CPU time: 178.079 s c =============================================================================== c | 0 | 3999 4028 115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20865 c Elapsed CPU time: 2.01269 s Remaining CPU time: 177.987 s c =============================================================================== c | 0 | 3999 4029 119650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20861 c Elapsed CPU time: 2.10768 s Remaining CPU time: 177.892 s c =============================================================================== c | 0 | 3999 4030 123500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20859 c Elapsed CPU time: 2.20866 s Remaining CPU time: 177.791 s c =============================================================================== c | 0 | 3999 4031 127350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20856 c Elapsed CPU time: 2.31065 s Remaining CPU time: 177.689 s c =============================================================================== c | 0 | 3999 4032 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20855 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 0 | 3999 4033 135050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20854 c Elapsed CPU time: 2.51762 s Remaining CPU time: 177.482 s c =============================================================================== c | 0 | 3999 4034 138900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20851 c Elapsed CPU time: 2.6226 s Remaining CPU time: 177.377 s c =============================================================================== c | 0 | 3999 4035 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20848 c Elapsed CPU time: 2.73058 s Remaining CPU time: 177.269 s c =============================================================================== c | 0 | 3999 4036 146600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20847 c Elapsed CPU time: 2.84057 s Remaining CPU time: 177.159 s c =============================================================================== c | 0 | 3999 4037 150450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20846 c Elapsed CPU time: 2.95455 s Remaining CPU time: 177.045 s c =============================================================================== c | 0 | 3999 4038 154300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20844 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s c =============================================================================== c | 0 | 3999 4039 158150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20840 c Elapsed CPU time: 3.18352 s Remaining CPU time: 176.816 s c =============================================================================== c | 0 | 3999 4040 162000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20837 c Elapsed CPU time: 3.3035 s Remaining CPU time: 176.697 s c =============================================================================== c | 0 | 3999 4041 165850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20835 c Elapsed CPU time: 3.42448 s Remaining CPU time: 176.576 s c =============================================================================== c | 0 | 3999 4042 169700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20833 c Elapsed CPU time: 3.55046 s Remaining CPU time: 176.45 s c =============================================================================== c | 0 | 3999 4043 173550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20831 c Elapsed CPU time: 3.67944 s Remaining CPU time: 176.321 s c =============================================================================== c | 0 | 3999 4044 177400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20829 c Elapsed CPU time: 3.80742 s Remaining CPU time: 176.193 s c =============================================================================== c | 0 | 3999 4045 181250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20827 c Elapsed CPU time: 3.9414 s Remaining CPU time: 176.059 s c =============================================================================== c | 0 | 3999 4046 185100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20826 c Elapsed CPU time: 4.08338 s Remaining CPU time: 175.917 s c =============================================================================== c | 0 | 3999 4047 188950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20824 c Elapsed CPU time: 4.21936 s Remaining CPU time: 175.781 s c =============================================================================== c | 0 | 3999 4048 192800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20823 c Elapsed CPU time: 4.36034 s Remaining CPU time: 175.64 s c =============================================================================== c | 0 | 3999 4049 196650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20821 c Elapsed CPU time: 4.50131 s Remaining CPU time: 175.499 s c =============================================================================== c | 0 | 3999 4050 200500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20820 c Elapsed CPU time: 4.65129 s Remaining CPU time: 175.349 s c =============================================================================== c | 0 | 3999 4051 204350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20817 c Elapsed CPU time: 4.79827 s Remaining CPU time: 175.202 s c =============================================================================== c | 0 | 3999 4052 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20814 c Elapsed CPU time: 4.94925 s Remaining CPU time: 175.051 s c =============================================================================== c | 0 | 3999 4053 212050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20813 c Elapsed CPU time: 5.09922 s Remaining CPU time: 174.901 s c =============================================================================== c | 0 | 3999 4054 215900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20809 c Elapsed CPU time: 5.2512 s Remaining CPU time: 174.749 s c =============================================================================== c | 0 | 3999 4055 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20808 c Elapsed CPU time: 5.40618 s Remaining CPU time: 174.594 s c =============================================================================== c | 0 | 3999 4056 223600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20806 c Elapsed CPU time: 5.56815 s Remaining CPU time: 174.432 s c =============================================================================== c | 0 | 3999 4057 227450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20805 c Elapsed CPU time: 5.73113 s Remaining CPU time: 174.269 s c =============================================================================== c | 0 | 3999 4058 231300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20804 c Elapsed CPU time: 5.8951 s Remaining CPU time: 174.105 s c =============================================================================== c | 0 | 3999 4059 235150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20802 c Elapsed CPU time: 6.06608 s Remaining CPU time: 173.934 s c =============================================================================== c | 0 | 3999 4060 239000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20801 c Elapsed CPU time: 6.23705 s Remaining CPU time: 173.763 s c =============================================================================== c | 0 | 3999 4061 242850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20798 c Elapsed CPU time: 6.40603 s Remaining CPU time: 173.594 s c =============================================================================== c | 0 | 3999 4062 246700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20794 c Elapsed CPU time: 6.581 s Remaining CPU time: 173.419 s c =============================================================================== c | 0 | 3999 4063 250550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20793 c Elapsed CPU time: 6.75997 s Remaining CPU time: 173.24 s c =============================================================================== c | 0 | 3999 4064 254400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20792 c Elapsed CPU time: 6.93994 s Remaining CPU time: 173.06 s c =============================================================================== c | 0 | 3999 4065 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20791 c Elapsed CPU time: 7.12292 s Remaining CPU time: 172.877 s c =============================================================================== c | 0 | 3999 4066 262100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20790 c Elapsed CPU time: 7.31089 s Remaining CPU time: 172.689 s c =============================================================================== c | 0 | 3999 4067 265950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20788 c Elapsed CPU time: 7.50786 s Remaining CPU time: 172.492 s c =============================================================================== c | 0 | 3999 4068 269800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20787 c Elapsed CPU time: 7.70083 s Remaining CPU time: 172.299 s c =============================================================================== c | 0 | 3999 4069 273650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20784 c Elapsed CPU time: 7.8998 s Remaining CPU time: 172.1 s c =============================================================================== c | 0 | 3999 4070 277500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20783 c Elapsed CPU time: 8.09577 s Remaining CPU time: 171.904 s c =============================================================================== c | 0 | 3999 4071 281350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20780 c Elapsed CPU time: 8.29674 s Remaining CPU time: 171.703 s c =============================================================================== c | 0 | 3999 4072 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20779 c Elapsed CPU time: 8.49871 s Remaining CPU time: 171.501 s c =============================================================================== c | 0 | 3999 4073 289050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20777 c Elapsed CPU time: 8.71167 s Remaining CPU time: 171.288 s c =============================================================================== c | 0 | 3999 4074 292900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20775 c Elapsed CPU time: 8.92864 s Remaining CPU time: 171.071 s c =============================================================================== c | 0 | 3999 4075 296750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20773 c Elapsed CPU time: 9.15161 s Remaining CPU time: 170.848 s c =============================================================================== c | 0 | 3999 4076 300600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20772 c Elapsed CPU time: 9.37157 s Remaining CPU time: 170.628 s c =============================================================================== c | 0 | 3999 4077 304450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20771 c Elapsed CPU time: 9.59654 s Remaining CPU time: 170.403 s c =============================================================================== c | 0 | 3999 4078 308300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20770 c Elapsed CPU time: 9.81851 s Remaining CPU time: 170.181 s c =============================================================================== c | 0 | 3999 4079 312150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20769 c Elapsed CPU time: 10.0455 s Remaining CPU time: 169.955 s c =============================================================================== c | 0 | 3999 4080 316000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20768 c Elapsed CPU time: 10.2724 s Remaining CPU time: 169.728 s c =============================================================================== c | 0 | 3999 4081 319850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20767 c Elapsed CPU time: 10.5014 s Remaining CPU time: 169.499 s c =============================================================================== c | 0 | 3999 4082 323700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20766 c Elapsed CPU time: 10.7394 s Remaining CPU time: 169.261 s c =============================================================================== c | 0 | 3999 4083 327550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20762 c Elapsed CPU time: 10.9713 s Remaining CPU time: 169.029 s c =============================================================================== c | 0 | 3999 4084 331400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20759 c Elapsed CPU time: 11.2073 s Remaining CPU time: 168.793 s c =============================================================================== c | 0 | 3999 4085 335250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20757 c Elapsed CPU time: 11.4553 s Remaining CPU time: 168.545 s c =============================================================================== c | 0 | 3999 4086 339100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20754 c Elapsed CPU time: 11.6972 s Remaining CPU time: 168.303 s c =============================================================================== c | 0 | 3999 4087 342950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20749 c Elapsed CPU time: 11.9402 s Remaining CPU time: 168.06 s c =============================================================================== c | 0 | 3999 4088 346800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20746 c Elapsed CPU time: 12.1861 s Remaining CPU time: 167.814 s c =============================================================================== c | 0 | 3999 4089 350650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20744 c Elapsed CPU time: 12.4441 s Remaining CPU time: 167.556 s c =============================================================================== c | 0 | 3999 4090 354500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20740 c Elapsed CPU time: 12.7021 s Remaining CPU time: 167.298 s c =============================================================================== c | 0 | 3999 4091 358350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20738 c Elapsed CPU time: 12.955 s Remaining CPU time: 167.045 s c =============================================================================== c | 0 | 3999 4092 362200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20737 c Elapsed CPU time: 13.215 s Remaining CPU time: 166.785 s c =============================================================================== c | 0 | 3999 4093 366050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20736 c Elapsed CPU time: 13.4809 s Remaining CPU time: 166.519 s c =============================================================================== c | 0 | 3999 4094 369900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20734 c Elapsed CPU time: 13.7479 s Remaining CPU time: 166.252 s c =============================================================================== c | 0 | 3999 4095 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20731 c Elapsed CPU time: 14.0199 s Remaining CPU time: 165.98 s c =============================================================================== c | 0 | 3999 4096 377600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20730 c Elapsed CPU time: 14.2898 s Remaining CPU time: 165.71 s c =============================================================================== c | 0 | 3999 4097 381450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20728 c Elapsed CPU time: 14.5658 s Remaining CPU time: 165.434 s c =============================================================================== c | 0 | 3999 4098 385300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20726 c Elapsed CPU time: 14.8587 s Remaining CPU time: 165.141 s c =============================================================================== c | 0 | 3999 4099 389150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20725 c Elapsed CPU time: 15.1527 s Remaining CPU time: 164.847 s c =============================================================================== c | 0 | 3999 4100 393000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20724 c Elapsed CPU time: 15.4427 s Remaining CPU time: 164.557 s c =============================================================================== c | 0 | 3999 4101 396850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20723 c Elapsed CPU time: 15.7436 s Remaining CPU time: 164.256 s c =============================================================================== c | 0 | 3999 4102 400700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20722 c Elapsed CPU time: 16.0386 s Remaining CPU time: 163.961 s c =============================================================================== c | 0 | 3999 4103 404550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20721 c Elapsed CPU time: 16.3345 s Remaining CPU time: 163.665 s c =============================================================================== c | 0 | 3999 4104 408400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20718 c Elapsed CPU time: 16.6325 s Remaining CPU time: 163.368 s c =============================================================================== c | 0 | 3999 4105 412250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20715 c Elapsed CPU time: 16.9374 s Remaining CPU time: 163.063 s c =============================================================================== c | 0 | 3999 4106 416100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20714 c Elapsed CPU time: 17.2344 s Remaining CPU time: 162.766 s c =============================================================================== c | 0 | 3999 4107 419950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20712 c Elapsed CPU time: 17.5433 s Remaining CPU time: 162.457 s c =============================================================================== c | 0 | 3999 4108 423800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20711 c Elapsed CPU time: 17.8503 s Remaining CPU time: 162.15 s c =============================================================================== c | 0 | 3999 4109 427650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20710 c Elapsed CPU time: 18.1712 s Remaining CPU time: 161.829 s c =============================================================================== c | 0 | 3999 4110 431500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20708 c Elapsed CPU time: 18.4822 s Remaining CPU time: 161.518 s c =============================================================================== c | 0 | 3999 4111 435350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20707 c Elapsed CPU time: 18.7991 s Remaining CPU time: 161.201 s c =============================================================================== c | 0 | 3999 4112 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20706 c Elapsed CPU time: 19.1221 s Remaining CPU time: 160.878 s c =============================================================================== c | 0 | 3999 4113 443050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20705 c Elapsed CPU time: 19.443 s Remaining CPU time: 160.557 s c =============================================================================== c | 0 | 3999 4114 446900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20704 c Elapsed CPU time: 19.771 s Remaining CPU time: 160.229 s c =============================================================================== c | 0 | 3999 4115 450750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20703 c Elapsed CPU time: 20.0929 s Remaining CPU time: 159.907 s c =============================================================================== c | 0 | 3999 4116 454600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20702 c Elapsed CPU time: 20.4209 s Remaining CPU time: 159.579 s c =============================================================================== c | 0 | 3999 4117 458450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20700 c Elapsed CPU time: 20.7508 s Remaining CPU time: 159.249 s c =============================================================================== c | 0 | 3999 4118 462300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20696 c Elapsed CPU time: 21.0758 s Remaining CPU time: 158.924 s c =============================================================================== c | 0 | 3999 4119 466150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20694 c Elapsed CPU time: 21.4137 s Remaining CPU time: 158.586 s c =============================================================================== c | 0 | 3999 4120 470000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20692 c Elapsed CPU time: 21.7467 s Remaining CPU time: 158.253 s c =============================================================================== c | 0 | 3999 4121 473850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20691 c Elapsed CPU time: 22.0826 s Remaining CPU time: 157.917 s c =============================================================================== c | 0 | 3999 4122 477700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20688 c Elapsed CPU time: 22.4146 s Remaining CPU time: 157.585 s c =============================================================================== c | 0 | 3999 4123 481550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20684 c Elapsed CPU time: 22.7565 s Remaining CPU time: 157.243 s c =============================================================================== c | 0 | 3999 4124 485400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20683 c Elapsed CPU time: 23.1165 s Remaining CPU time: 156.884 s c =============================================================================== c | 0 | 3999 4125 489250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20682 c Elapsed CPU time: 23.4624 s Remaining CPU time: 156.538 s c =============================================================================== c | 0 | 3999 4126 493100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20681 c Elapsed CPU time: 23.8154 s Remaining CPU time: 156.185 s c =============================================================================== c | 0 | 3999 4127 496950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20680 c Elapsed CPU time: 24.1763 s Remaining CPU time: 155.824 s c =============================================================================== c | 0 | 3999 4128 500800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20679 c Elapsed CPU time: 24.5293 s Remaining CPU time: 155.471 s c =============================================================================== c | 0 | 3999 4129 504650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20678 c Elapsed CPU time: 24.8832 s Remaining CPU time: 155.117 s c =============================================================================== c | 0 | 3999 4130 508500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20677 c Elapsed CPU time: 25.2342 s Remaining CPU time: 154.766 s c =============================================================================== c | 0 | 3999 4131 512350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20674 c Elapsed CPU time: 25.5901 s Remaining CPU time: 154.41 s c =============================================================================== c | 0 | 3999 4132 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20672 c Elapsed CPU time: 25.9681 s Remaining CPU time: 154.032 s c =============================================================================== c | 0 | 3999 4133 520050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20671 c Elapsed CPU time: 26.346 s Remaining CPU time: 153.654 s c =============================================================================== c | 0 | 3999 4134 523900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20669 c Elapsed CPU time: 26.7189 s Remaining CPU time: 153.281 s c =============================================================================== c | 0 | 3999 4135 527750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20666 c Elapsed CPU time: 27.0899 s Remaining CPU time: 152.91 s c =============================================================================== c | 0 | 3999 4136 531600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20665 c Elapsed CPU time: 27.4658 s Remaining CPU time: 152.534 s c =============================================================================== c | 0 | 3999 4137 535450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20663 c Elapsed CPU time: 27.8558 s Remaining CPU time: 152.144 s c =============================================================================== c | 0 | 3999 4138 539300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20661 c Elapsed CPU time: 28.2427 s Remaining CPU time: 151.757 s c =============================================================================== c | 0 | 3999 4139 543150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20660 c Elapsed CPU time: 28.6366 s Remaining CPU time: 151.363 s c =============================================================================== c | 0 | 3999 4140 547000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20659 c Elapsed CPU time: 29.0396 s Remaining CPU time: 150.96 s c =============================================================================== c | 0 | 3999 4141 550850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20658 c Elapsed CPU time: 29.4415 s Remaining CPU time: 150.558 s c =============================================================================== c | 1 | 3999 4142 554700 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20657 c Elapsed CPU time: 29.8535 s Remaining CPU time: 150.147 s c =============================================================================== c | 1 | 3999 4143 558550 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20656 c Elapsed CPU time: 30.2764 s Remaining CPU time: 149.724 s c =============================================================================== c | 1 | 3999 4144 562400 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20655 c Elapsed CPU time: 30.7103 s Remaining CPU time: 149.29 s c =============================================================================== c | 1 | 3999 4145 566250 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20654 c Elapsed CPU time: 31.1313 s Remaining CPU time: 148.869 s c =============================================================================== c | 1 | 3999 4146 570100 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20652 c Elapsed CPU time: 31.5612 s Remaining CPU time: 148.439 s c =============================================================================== c | 1 | 3999 4147 573950 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20649 c Elapsed CPU time: 31.9861 s Remaining CPU time: 148.014 s c =============================================================================== c | 1 | 3999 4148 577800 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20648 c Elapsed CPU time: 32.4051 s Remaining CPU time: 147.595 s c =============================================================================== c | 1 | 3999 4149 581650 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20647 c Elapsed CPU time: 32.829 s Remaining CPU time: 147.171 s c =============================================================================== c | 1 | 3999 4150 585500 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20646 c Elapsed CPU time: 33.2669 s Remaining CPU time: 146.733 s c =============================================================================== c | 1 | 3999 4151 589350 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20645 c Elapsed CPU time: 33.6759 s Remaining CPU time: 146.324 s c =============================================================================== c | 1 | 3999 4152 593200 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20644 c Elapsed CPU time: 34.1218 s Remaining CPU time: 145.878 s c =============================================================================== c | 1 | 3999 4153 597050 | 5000 1 3816 | 0.000 % | c =============================================================================== c New solution: 20642 c Elapsed CPU time: 34.5607 s Remaining CPU time: 145.439 s c =============================================================================== c | 2 | 3999 4154 600900 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20641 c Elapsed CPU time: 34.9937 s Remaining CPU time: 145.006 s c =============================================================================== c | 2 | 3999 4155 604750 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20640 c Elapsed CPU time: 35.4636 s Remaining CPU time: 144.536 s c =============================================================================== c | 2 | 3999 4156 608600 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20639 c Elapsed CPU time: 35.9125 s Remaining CPU time: 144.087 s c =============================================================================== c | 2 | 3999 4157 612450 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20637 c Elapsed CPU time: 36.3795 s Remaining CPU time: 143.621 s c =============================================================================== c | 2 | 3999 4158 616300 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20636 c Elapsed CPU time: 36.8634 s Remaining CPU time: 143.137 s c =============================================================================== c | 2 | 3999 4159 620150 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20635 c Elapsed CPU time: 37.3323 s Remaining CPU time: 142.668 s c =============================================================================== c | 2 | 3999 4160 624000 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20634 c Elapsed CPU time: 37.8063 s Remaining CPU time: 142.194 s c =============================================================================== c | 2 | 3999 4161 627850 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20633 c Elapsed CPU time: 38.2662 s Remaining CPU time: 141.734 s c =============================================================================== c | 2 | 3999 4162 631700 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20632 c Elapsed CPU time: 38.7521 s Remaining CPU time: 141.248 s c =============================================================================== c | 2 | 3999 4163 635550 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20631 c Elapsed CPU time: 39.214 s Remaining CPU time: 140.786 s c =============================================================================== c | 2 | 3999 4164 639400 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20629 c Elapsed CPU time: 39.684 s Remaining CPU time: 140.316 s c =============================================================================== c | 2 | 3999 4165 643250 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20628 c Elapsed CPU time: 40.1589 s Remaining CPU time: 139.841 s c =============================================================================== c | 2 | 3999 4166 647100 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20627 c Elapsed CPU time: 40.6248 s Remaining CPU time: 139.375 s c =============================================================================== c | 2 | 3999 4167 650950 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20626 c Elapsed CPU time: 41.0898 s Remaining CPU time: 138.91 s c =============================================================================== c | 2 | 3999 4168 654800 | 5000 2 3813 | 0.000 % | c =============================================================================== c New solution: 20625 c Elapsed CPU time: 41.5617 s Remaining CPU time: 138.438 s c =============================================================================== c | 3 | 3999 4169 658650 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20624 c Elapsed CPU time: 42.0536 s Remaining CPU time: 137.946 s c =============================================================================== c | 3 | 3999 4170 662500 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20623 c Elapsed CPU time: 42.5715 s Remaining CPU time: 137.428 s c =============================================================================== c | 3 | 3999 4171 666350 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20621 c Elapsed CPU time: 43.0914 s Remaining CPU time: 136.909 s c =============================================================================== c | 3 | 3999 4172 670200 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20620 c Elapsed CPU time: 43.5904 s Remaining CPU time: 136.41 s c =============================================================================== c | 3 | 3999 4173 674050 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20619 c Elapsed CPU time: 44.0933 s Remaining CPU time: 135.907 s c =============================================================================== c | 3 | 3999 4174 677900 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20618 c Elapsed CPU time: 44.5902 s Remaining CPU time: 135.41 s c =============================================================================== c | 3 | 3999 4175 681750 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20617 c Elapsed CPU time: 45.0741 s Remaining CPU time: 134.926 s c =============================================================================== c | 3 | 3999 4176 685600 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20616 c Elapsed CPU time: 45.5871 s Remaining CPU time: 134.413 s c =============================================================================== c | 3 | 3999 4177 689450 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20615 c Elapsed CPU time: 46.087 s Remaining CPU time: 133.913 s c =============================================================================== c | 3 | 3999 4178 693300 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20614 c Elapsed CPU time: 46.5899 s Remaining CPU time: 133.41 s c =============================================================================== c | 3 | 3999 4179 697150 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20613 c Elapsed CPU time: 47.1148 s Remaining CPU time: 132.885 s c =============================================================================== c | 3 | 3999 4180 701000 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20612 c Elapsed CPU time: 47.6438 s Remaining CPU time: 132.356 s c =============================================================================== c | 3 | 3999 4181 704850 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20611 c Elapsed CPU time: 48.1367 s Remaining CPU time: 131.863 s c =============================================================================== c | 3 | 3999 4182 708700 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20610 c Elapsed CPU time: 48.6616 s Remaining CPU time: 131.338 s c =============================================================================== c | 3 | 3999 4183 712550 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20609 c Elapsed CPU time: 49.1935 s Remaining CPU time: 130.806 s c =============================================================================== c | 3 | 3999 4184 716400 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20608 c Elapsed CPU time: 49.7004 s Remaining CPU time: 130.3 s c =============================================================================== c | 3 | 3999 4185 720250 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20607 c Elapsed CPU time: 50.2264 s Remaining CPU time: 129.774 s c =============================================================================== c | 3 | 3999 4186 724100 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20606 c Elapsed CPU time: 50.7813 s Remaining CPU time: 129.219 s c =============================================================================== c | 3 | 3999 4187 727950 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20605 c Elapsed CPU time: 51.3852 s Remaining CPU time: 128.615 s c =============================================================================== c | 3 | 3999 4188 731800 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20604 c Elapsed CPU time: 51.9361 s Remaining CPU time: 128.064 s c =============================================================================== c | 3 | 3999 4189 735650 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20603 c Elapsed CPU time: 52.485 s Remaining CPU time: 127.515 s c =============================================================================== c | 3 | 3999 4190 739500 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20601 c Elapsed CPU time: 53.0539 s Remaining CPU time: 126.946 s c =============================================================================== c | 3 | 3999 4191 743350 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20600 c Elapsed CPU time: 53.6088 s Remaining CPU time: 126.391 s c =============================================================================== c | 3 | 3999 4192 747200 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20599 c Elapsed CPU time: 54.1838 s Remaining CPU time: 125.816 s c =============================================================================== c | 3 | 3999 4193 751050 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20598 c Elapsed CPU time: 54.7627 s Remaining CPU time: 125.237 s c =============================================================================== c | 3 | 3999 4194 754900 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20597 c Elapsed CPU time: 55.3856 s Remaining CPU time: 124.614 s c =============================================================================== c | 3 | 3999 4195 758750 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20596 c Elapsed CPU time: 56.0235 s Remaining CPU time: 123.977 s c =============================================================================== c | 3 | 3999 4196 762600 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20595 c Elapsed CPU time: 56.6704 s Remaining CPU time: 123.33 s c =============================================================================== c | 3 | 3999 4197 766450 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20593 c Elapsed CPU time: 57.2883 s Remaining CPU time: 122.712 s c =============================================================================== c | 3 | 3999 4198 770300 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20592 c Elapsed CPU time: 57.8812 s Remaining CPU time: 122.119 s c =============================================================================== c | 3 | 3999 4199 774150 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20591 c Elapsed CPU time: 58.4821 s Remaining CPU time: 121.518 s c =============================================================================== c | 3 | 3999 4200 778000 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20589 c Elapsed CPU time: 59.043 s Remaining CPU time: 120.957 s c =============================================================================== c | 3 | 3999 4201 781850 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20588 c Elapsed CPU time: 59.6469 s Remaining CPU time: 120.353 s c =============================================================================== c | 3 | 3999 4202 785700 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20587 c Elapsed CPU time: 60.2248 s Remaining CPU time: 119.775 s c =============================================================================== c | 3 | 3999 4203 789550 | 5000 3 2543 | 0.000 % | c =============================================================================== c New solution: 20586 c Elapsed CPU time: 60.8338 s Remaining CPU time: 119.166 s c =============================================================================== c | 4 | 3999 4204 793400 | 5000 4 1908 | 0.000 % | c =============================================================================== c New solution: 20585 c Elapsed CPU time: 61.4277 s Remaining CPU time: 118.572 s c =============================================================================== c | 5 | 3999 4205 797250 | 5000 5 2286 | 0.000 % | c =============================================================================== c New solution: 20584 c Elapsed CPU time: 62.0456 s Remaining CPU time: 117.954 s c =============================================================================== c | 6 | 3999 4206 801100 | 5000 6 1906 | 0.000 % | c =============================================================================== c New solution: 20583 c Elapsed CPU time: 62.6515 s Remaining CPU time: 117.349 s c =============================================================================== c | 7 | 3999 4207 804950 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20582 c Elapsed CPU time: 63.2464 s Remaining CPU time: 116.754 s c =============================================================================== c | 7 | 3999 4208 808800 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20581 c Elapsed CPU time: 63.8593 s Remaining CPU time: 116.141 s c =============================================================================== c | 7 | 3999 4209 812650 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20580 c Elapsed CPU time: 64.4802 s Remaining CPU time: 115.52 s c =============================================================================== c | 7 | 3999 4210 816500 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20579 c Elapsed CPU time: 65.1031 s Remaining CPU time: 114.897 s c =============================================================================== c | 7 | 3999 4211 820350 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20578 c Elapsed CPU time: 65.73 s Remaining CPU time: 114.27 s c =============================================================================== c | 7 | 3999 4212 824200 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20577 c Elapsed CPU time: 66.3599 s Remaining CPU time: 113.64 s c =============================================================================== c | 7 | 3999 4213 828050 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20576 c Elapsed CPU time: 66.9918 s Remaining CPU time: 113.008 s c =============================================================================== c | 7 | 3999 4214 831900 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20575 c Elapsed CPU time: 67.6587 s Remaining CPU time: 112.341 s c =============================================================================== c | 7 | 3999 4215 835750 | 5000 7 1634 | 0.000 % | c =============================================================================== c New solution: 20574 c Elapsed CPU time: 68.3346 s Remaining CPU time: 111.665 s c =============================================================================== c | 8 | 3999 4216 839600 | 5000 8 1430 | 0.000 % | c =============================================================================== c New solution: 20573 c Elapsed CPU time: 68.9665 s Remaining CPU time: 111.033 s c =============================================================================== c | 8 | 3999 4217 843450 | 5000 8 1430 | 0.000 % | c =============================================================================== c New solution: 20572 c Elapsed CPU time: 69.6274 s Remaining CPU time: 110.373 s c =============================================================================== c | 8 | 3999 4218 847300 | 5000 8 1430 | 0.000 % | c =============================================================================== c New solution: 20571 c Elapsed CPU time: 70.2903 s Remaining CPU time: 109.71 s c =============================================================================== c | 10 | 3999 4219 851150 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20570 c Elapsed CPU time: 70.9552 s Remaining CPU time: 109.045 s c =============================================================================== c | 10 | 3999 4220 855000 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20569 c Elapsed CPU time: 71.6311 s Remaining CPU time: 108.369 s c =============================================================================== c | 10 | 3999 4221 858850 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20568 c Elapsed CPU time: 72.312 s Remaining CPU time: 107.688 s c =============================================================================== c | 10 | 3999 4222 862700 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20567 c Elapsed CPU time: 72.9809 s Remaining CPU time: 107.019 s c =============================================================================== c | 10 | 3999 4223 866550 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20566 c Elapsed CPU time: 73.6378 s Remaining CPU time: 106.362 s c =============================================================================== c | 10 | 3999 4224 870400 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20565 c Elapsed CPU time: 74.3077 s Remaining CPU time: 105.692 s c =============================================================================== c | 10 | 3999 4225 874250 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20564 c Elapsed CPU time: 74.9576 s Remaining CPU time: 105.042 s c =============================================================================== c | 10 | 3999 4226 878100 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20563 c Elapsed CPU time: 75.6045 s Remaining CPU time: 104.395 s c =============================================================================== c | 10 | 3999 4227 881950 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20562 c Elapsed CPU time: 76.2544 s Remaining CPU time: 103.746 s c =============================================================================== c | 10 | 3999 4228 885800 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20561 c Elapsed CPU time: 76.8773 s Remaining CPU time: 103.123 s c =============================================================================== c | 10 | 3999 4229 889650 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20560 c Elapsed CPU time: 77.5262 s Remaining CPU time: 102.474 s c =============================================================================== c | 10 | 3999 4230 893500 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20559 c Elapsed CPU time: 78.1831 s Remaining CPU time: 101.817 s c =============================================================================== c | 10 | 3999 4231 897350 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20558 c Elapsed CPU time: 78.848 s Remaining CPU time: 101.152 s c =============================================================================== c | 10 | 3999 4232 901200 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20557 c Elapsed CPU time: 79.5069 s Remaining CPU time: 100.493 s c =============================================================================== c | 10 | 3999 4233 905050 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20556 c Elapsed CPU time: 80.1878 s Remaining CPU time: 99.8122 s c =============================================================================== c | 10 | 3999 4234 908900 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20555 c Elapsed CPU time: 80.8537 s Remaining CPU time: 99.1463 s c =============================================================================== c | 10 | 3999 4235 912750 | 5000 10 1523 | 0.000 % | c =============================================================================== c New solution: 20554 c Elapsed CPU time: 81.5296 s Remaining CPU time: 98.4704 s c =============================================================================== c | 11 | 3999 4236 916600 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20553 c Elapsed CPU time: 82.2095 s Remaining CPU time: 97.7905 s c =============================================================================== c | 11 | 3999 4237 920450 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20552 c Elapsed CPU time: 82.8924 s Remaining CPU time: 97.1076 s c =============================================================================== c | 11 | 3999 4238 924300 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20551 c Elapsed CPU time: 83.5623 s Remaining CPU time: 96.4377 s c =============================================================================== c | 11 | 3999 4239 928150 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20550 c Elapsed CPU time: 84.2602 s Remaining CPU time: 95.7398 s c =============================================================================== c | 11 | 3999 4240 932000 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20549 c Elapsed CPU time: 84.9531 s Remaining CPU time: 95.0469 s c =============================================================================== c | 11 | 3999 4241 935850 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20548 c Elapsed CPU time: 85.669 s Remaining CPU time: 94.331 s c =============================================================================== c | 11 | 3999 4242 939700 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20547 c Elapsed CPU time: 86.4159 s Remaining CPU time: 93.5841 s c =============================================================================== c | 11 | 3999 4243 943550 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20546 c Elapsed CPU time: 87.1348 s Remaining CPU time: 92.8652 s c =============================================================================== c | 11 | 3999 4244 947400 | 5000 11 1385 | 0.000 % | c =============================================================================== c New solution: 20545 c Elapsed CPU time: 87.8516 s Remaining CPU time: 92.1484 s c =============================================================================== c | 12 | 3999 4245 951250 | 5000 12 1585 | 0.000 % | c =============================================================================== c New solution: 20544 c Elapsed CPU time: 88.5515 s Remaining CPU time: 91.4485 s c =============================================================================== c | 12 | 3999 4246 955100 | 5000 12 1585 | 0.000 % | c =============================================================================== c New solution: 20543 c Elapsed CPU time: 89.2664 s Remaining CPU time: 90.7336 s c =============================================================================== c | 13 | 3999 4247 958950 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20542 c Elapsed CPU time: 89.9513 s Remaining CPU time: 90.0487 s c =============================================================================== c | 13 | 3999 4248 962800 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20541 c Elapsed CPU time: 90.6292 s Remaining CPU time: 89.3708 s c =============================================================================== c | 13 | 3999 4249 966650 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20540 c Elapsed CPU time: 91.3651 s Remaining CPU time: 88.6349 s c =============================================================================== c | 13 | 3999 4250 970500 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20539 c Elapsed CPU time: 92.089 s Remaining CPU time: 87.911 s c =============================================================================== c | 13 | 3999 4251 974350 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20538 c Elapsed CPU time: 92.8469 s Remaining CPU time: 87.1531 s c =============================================================================== c | 13 | 3999 4252 978200 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20537 c Elapsed CPU time: 93.5778 s Remaining CPU time: 86.4222 s c =============================================================================== c | 13 | 3999 4253 982050 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20536 c Elapsed CPU time: 94.2977 s Remaining CPU time: 85.7023 s c =============================================================================== c | 13 | 3999 4254 985900 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20535 c Elapsed CPU time: 95.0565 s Remaining CPU time: 84.9435 s c =============================================================================== c | 13 | 3999 4255 989750 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20534 c Elapsed CPU time: 95.7894 s Remaining CPU time: 84.2106 s c =============================================================================== c | 13 | 3999 4256 993600 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20533 c Elapsed CPU time: 96.5003 s Remaining CPU time: 83.4997 s c =============================================================================== c | 13 | 3999 4257 997450 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20532 c Elapsed CPU time: 97.2502 s Remaining CPU time: 82.7498 s c =============================================================================== c | 13 | 3999 4258 1001300 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20531 c Elapsed CPU time: 98.0381 s Remaining CPU time: 81.9619 s c =============================================================================== c | 13 | 3999 4259 1005150 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20530 c Elapsed CPU time: 98.858 s Remaining CPU time: 81.142 s c =============================================================================== c | 13 | 3999 4260 1009000 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20529 c Elapsed CPU time: 99.6399 s Remaining CPU time: 80.3601 s c =============================================================================== c | 13 | 3999 4261 1012850 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20528 c Elapsed CPU time: 100.395 s Remaining CPU time: 79.6053 s c =============================================================================== c | 13 | 3999 4262 1016700 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20527 c Elapsed CPU time: 101.137 s Remaining CPU time: 78.8634 s c =============================================================================== c | 13 | 3999 4263 1020550 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20526 c Elapsed CPU time: 101.913 s Remaining CPU time: 78.0875 s c =============================================================================== c | 13 | 3999 4264 1024400 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20525 c Elapsed CPU time: 102.713 s Remaining CPU time: 77.2866 s c =============================================================================== c | 13 | 3999 4265 1028250 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20524 c Elapsed CPU time: 103.474 s Remaining CPU time: 76.5257 s c =============================================================================== c | 13 | 3999 4266 1032100 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20523 c Elapsed CPU time: 104.219 s Remaining CPU time: 75.7808 s c =============================================================================== c | 13 | 3999 4267 1035950 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20522 c Elapsed CPU time: 105.013 s Remaining CPU time: 74.987 s c =============================================================================== c | 13 | 3999 4268 1039800 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20521 c Elapsed CPU time: 105.773 s Remaining CPU time: 74.2271 s c =============================================================================== c | 13 | 3999 4269 1043650 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20520 c Elapsed CPU time: 106.515 s Remaining CPU time: 73.4852 s c =============================================================================== c | 13 | 3999 4270 1047500 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20519 c Elapsed CPU time: 107.313 s Remaining CPU time: 72.6873 s c =============================================================================== c | 13 | 3999 4271 1051350 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20517 c Elapsed CPU time: 108.116 s Remaining CPU time: 71.8844 s c =============================================================================== c | 13 | 3999 4272 1055200 | 5000 13 1755 | 0.000 % | c =============================================================================== c New solution: 20516 c Elapsed CPU time: 108.987 s Remaining CPU time: 71.0126 s c =============================================================================== c | 22 | 3999 4273 1059050 | 5000 22 2583 | 0.000 % | c =============================================================================== c New solution: 20515 c Elapsed CPU time: 109.916 s Remaining CPU time: 70.0837 s c =============================================================================== c | 24 | 3999 4274 1062900 | 5000 24 2683 | 0.000 % | c =============================================================================== c New solution: 20514 c Elapsed CPU time: 110.739 s Remaining CPU time: 69.2608 s c =============================================================================== c | 24 | 3999 4275 1066750 | 5000 24 2683 | 0.000 % | c =============================================================================== c New solution: 20513 c Elapsed CPU time: 111.563 s Remaining CPU time: 68.437 s c =============================================================================== c | 24 | 3999 4276 1070600 | 5000 24 2683 | 0.000 % | c =============================================================================== c New solution: 20512 c Elapsed CPU time: 112.368 s Remaining CPU time: 67.6321 s c =============================================================================== c | 26 | 3999 4277 1074450 | 5000 26 2767 | 0.000 % | c =============================================================================== c New solution: 20511 c Elapsed CPU time: 113.268 s Remaining CPU time: 66.7322 s c =============================================================================== c | 30 | 3999 4278 1078300 | 5000 30 2902 | 0.000 % | c =============================================================================== c New solution: 20510 c Elapsed CPU time: 114.099 s Remaining CPU time: 65.9013 s c =============================================================================== c | 33 | 3999 4279 1082150 | 5000 33 2982 | 0.000 % | c =============================================================================== c New solution: 20509 c Elapsed CPU time: 114.915 s Remaining CPU time: 65.0855 s c =============================================================================== c | 33 | 3999 4280 1086000 | 5000 33 2982 | 0.000 % | c =============================================================================== c New solution: 20508 c Elapsed CPU time: 115.754 s Remaining CPU time: 64.2456 s c =============================================================================== c | 41 | 3999 4281 1089850 | 5000 41 3137 | 0.000 % | c =============================================================================== c New solution: 20507 c Elapsed CPU time: 116.576 s Remaining CPU time: 63.4237 s c =============================================================================== c | 41 | 3999 4282 1093700 | 5000 41 3137 | 0.000 % | c =============================================================================== c New solution: 20506 c Elapsed CPU time: 117.439 s Remaining CPU time: 62.5609 s c =============================================================================== c | 54 | 3999 4283 1097550 | 5000 54 3292 | 0.000 % | c =============================================================================== c New solution: 20505 c Elapsed CPU time: 118.239 s Remaining CPU time: 61.761 s c =============================================================================== c | 57 | 3999 4284 1101400 | 5000 57 3318 | 0.000 % | c =============================================================================== c New solution: 20504 c Elapsed CPU time: 119.056 s Remaining CPU time: 60.9441 s c =============================================================================== c | 60 | 3999 4285 1105250 | 5000 60 3341 | 0.000 % | c =============================================================================== c New solution: 20503 c Elapsed CPU time: 119.841 s Remaining CPU time: 60.1592 s c =============================================================================== c | 61 | 3999 4286 1109100 | 5000 61 3348 | 0.000 % | c =============================================================================== c New solution: 20502 c Elapsed CPU time: 120.676 s Remaining CPU time: 59.3243 s c =============================================================================== c | 66 | 3999 4287 1112950 | 5000 66 3380 | 0.000 % | c =============================================================================== c New solution: 20501 c Elapsed CPU time: 121.537 s Remaining CPU time: 58.4635 s c =============================================================================== c | 68 | 3999 4288 1116800 | 5000 68 3392 | 0.000 % | c =============================================================================== c New solution: 20500 c Elapsed CPU time: 122.371 s Remaining CPU time: 57.6286 s c =============================================================================== c | 70 | 3999 4289 1120650 | 5000 70 3403 | 0.000 % | c =============================================================================== c New solution: 20499 c Elapsed CPU time: 123.237 s Remaining CPU time: 56.7627 s c =============================================================================== c | 72 | 3999 4290 1124500 | 5000 72 3413 | 0.000 % | c =============================================================================== c New solution: 20498 c Elapsed CPU time: 124.179 s Remaining CPU time: 55.8209 s c =============================================================================== c | 99 | 3999 4291 1128350 | 5000 99 3512 | 0.000 % | c =============================================================================== c New solution: 20497 c Elapsed CPU time: 125.01 s Remaining CPU time: 54.99 s c =============================================================================== c | 99 | 3999 4292 1132200 | 5000 99 3512 | 0.000 % | c =============================================================================== c New solution: 20496 c Elapsed CPU time: 125.838 s Remaining CPU time: 54.1621 s c =============================================================================== c | 99 | 3999 4293 1136050 | 5000 99 3512 | 0.000 % | c =============================================================================== c New solution: 20495 c Elapsed CPU time: 126.75 s Remaining CPU time: 53.2503 s c =============================================================================== c | 104 | 3999 4294 1139900 | 5000 104 3525 | 0.000 % | c =============================================================================== c New solution: 20494 c Elapsed CPU time: 127.787 s Remaining CPU time: 52.2134 s c =============================================================================== c | 114 | 3999 4295 1143750 | 5000 114 3547 | 0.000 % | c =============================================================================== c New solution: 20493 c Elapsed CPU time: 128.644 s Remaining CPU time: 51.3556 s c =============================================================================== c | 114 | 3999 4296 1147600 | 5000 114 3547 | 0.000 % | c =============================================================================== c New solution: 20492 c Elapsed CPU time: 129.506 s Remaining CPU time: 50.4937 s c =============================================================================== c | 115 | 3999 4297 1151450 | 5000 115 3549 | 0.000 % | c =============================================================================== c New solution: 20491 c Elapsed CPU time: 130.448 s Remaining CPU time: 49.5518 s c =============================================================================== c | 121 | 3999 4298 1155300 | 5000 121 3560 | 0.000 % | c =============================================================================== c New solution: 20490 c Elapsed CPU time: 131.299 s Remaining CPU time: 48.701 s c =============================================================================== c | 122 | 3999 4299 1159150 | 5000 122 3562 | 0.000 % | c =============================================================================== c New solution: 20489 c Elapsed CPU time: 132.271 s Remaining CPU time: 47.7291 s c =============================================================================== c | 130 | 3999 4300 1163000 | 5000 130 3575 | 0.000 % | c =============================================================================== c New solution: 20488 c Elapsed CPU time: 133.158 s Remaining CPU time: 46.8422 s c =============================================================================== c | 137 | 3999 4301 1166850 | 5000 137 3585 | 0.000 % | c =============================================================================== c New solution: 20487 c Elapsed CPU time: 134.079 s Remaining CPU time: 45.9214 s c =============================================================================== c | 140 | 3999 4302 1170700 | 5000 140 3589 | 0.000 % | c =============================================================================== c New solution: 20486 c Elapsed CPU time: 134.939 s Remaining CPU time: 45.0605 s c =============================================================================== c | 142 | 3999 4303 1174550 | 5000 142 3592 | 0.000 % | c =============================================================================== c New solution: 20485 c Elapsed CPU time: 135.794 s Remaining CPU time: 44.2056 s c =============================================================================== c | 143 | 3999 4304 1178400 | 5000 143 3593 | 0.000 % | c =============================================================================== c New solution: 20484 c Elapsed CPU time: 136.699 s Remaining CPU time: 43.3008 s c =============================================================================== c | 143 | 3999 4305 1182250 | 5000 143 3593 | 0.000 % | c =============================================================================== c New solution: 20483 c Elapsed CPU time: 137.593 s Remaining CPU time: 42.4069 s c =============================================================================== c | 143 | 3999 4306 1186100 | 5000 143 3593 | 0.000 % | c =============================================================================== c New solution: 20482 c Elapsed CPU time: 138.603 s Remaining CPU time: 41.3971 s c =============================================================================== c | 156 | 3999 4307 1189950 | 5000 156 3608 | 0.000 % | c =============================================================================== c New solution: 20481 c Elapsed CPU time: 139.563 s Remaining CPU time: 40.4372 s c =============================================================================== c | 159 | 3999 4308 1193800 | 5000 159 3611 | 0.000 % | c =============================================================================== c New solution: 20480 c Elapsed CPU time: 140.439 s Remaining CPU time: 39.5614 s c =============================================================================== c | 161 | 3999 4309 1197650 | 5000 161 3613 | 0.000 % | c =============================================================================== c New solution: 20479 c Elapsed CPU time: 141.359 s Remaining CPU time: 38.6415 s c =============================================================================== c | 162 | 3999 4310 1201500 | 5000 162 3614 | 0.000 % | c =============================================================================== c New solution: 20478 c Elapsed CPU time: 142.246 s Remaining CPU time: 37.7536 s c =============================================================================== c | 162 | 3999 4311 1205350 | 5000 162 3614 | 0.000 % | c =============================================================================== c New solution: 20477 c Elapsed CPU time: 143.165 s Remaining CPU time: 36.8348 s c =============================================================================== c | 163 | 3999 4312 1209200 | 5000 163 3615 | 0.000 % | c =============================================================================== c New solution: 20476 c Elapsed CPU time: 144.074 s Remaining CPU time: 35.9259 s c =============================================================================== c | 163 | 3999 4313 1213050 | 5000 163 3615 | 0.000 % | c =============================================================================== c New solution: 20475 c Elapsed CPU time: 145.261 s Remaining CPU time: 34.7391 s c =============================================================================== c | 192 | 3999 4314 1216900 | 5000 192 3639 | 0.000 % | c =============================================================================== c New solution: 20474 c Elapsed CPU time: 146.147 s Remaining CPU time: 33.8532 s c =============================================================================== c | 199 | 3999 4315 1220750 | 5000 199 3644 | 0.000 % | c =============================================================================== c New solution: 20473 c Elapsed CPU time: 147.072 s Remaining CPU time: 32.9284 s c =============================================================================== c | 201 | 3999 4316 1224600 | 5000 201 3645 | 0.000 % | c =============================================================================== c New solution: 20472 c Elapsed CPU time: 148.031 s Remaining CPU time: 31.9685 s c =============================================================================== c | 205 | 3999 4317 1228450 | 5000 205 3647 | 0.000 % | c =============================================================================== c New solution: 20471 c Elapsed CPU time: 148.916 s Remaining CPU time: 31.0836 s c =============================================================================== c | 205 | 3999 4318 1232300 | 5000 205 3647 | 0.000 % | c =============================================================================== c New solution: 20470 c Elapsed CPU time: 149.801 s Remaining CPU time: 30.1988 s c =============================================================================== c | 207 | 3999 4319 1236150 | 5000 207 3649 | 0.000 % | c =============================================================================== c New solution: 20469 c Elapsed CPU time: 150.709 s Remaining CPU time: 29.2909 s c =============================================================================== c | 207 | 3999 4320 1240000 | 5000 207 3649 | 0.000 % | c =============================================================================== c New solution: 20468 c Elapsed CPU time: 151.682 s Remaining CPU time: 28.3181 s c =============================================================================== c | 212 | 3999 4321 1243850 | 5000 212 3652 | 0.000 % | c =============================================================================== c New solution: 20467 c Elapsed CPU time: 152.73 s Remaining CPU time: 27.2702 s c =============================================================================== c | 215 | 3999 4322 1247700 | 5000 215 3653 | 0.000 % | c =============================================================================== c New solution: 20466 c Elapsed CPU time: 153.688 s Remaining CPU time: 26.3124 s c =============================================================================== c | 215 | 3999 4323 1251550 | 5000 215 3653 | 0.000 % | c =============================================================================== c New solution: 20465 c Elapsed CPU time: 154.636 s Remaining CPU time: 25.3635 s c =============================================================================== c | 218 | 3999 4324 1255400 | 5000 218 3655 | 0.000 % | c =============================================================================== c New solution: 20464 c Elapsed CPU time: 155.614 s Remaining CPU time: 24.3857 s c =============================================================================== c | 218 | 3999 4325 1259250 | 5000 218 3655 | 0.000 % | c =============================================================================== c New solution: 20463 c Elapsed CPU time: 156.709 s Remaining CPU time: 23.2908 s c =============================================================================== c | 230 | 3999 4326 1263100 | 5000 230 3661 | 0.000 % | c =============================================================================== c New solution: 20462 c Elapsed CPU time: 157.68 s Remaining CPU time: 22.32 s c =============================================================================== c | 231 | 3999 4327 1266950 | 5000 231 3661 | 0.000 % | c =============================================================================== c New solution: 20461 c Elapsed CPU time: 158.838 s Remaining CPU time: 21.1621 s c =============================================================================== c | 272 | 3999 4328 1270800 | 5000 272 3678 | 0.000 % | c =============================================================================== c New solution: 20460 c Elapsed CPU time: 159.788 s Remaining CPU time: 20.2123 s c =============================================================================== c | 274 | 3999 4329 1274650 | 5000 274 3678 | 0.000 % | c =============================================================================== c New solution: 20459 c Elapsed CPU time: 160.785 s Remaining CPU time: 19.2154 s c =============================================================================== c | 277 | 3999 4330 1278500 | 5000 277 3679 | 0.000 % | c =============================================================================== c New solution: 20458 c Elapsed CPU time: 161.89 s Remaining CPU time: 18.1096 s c =============================================================================== c | 296 | 3999 4331 1282350 | 5000 296 3685 | 0.000 % | c =============================================================================== c New solution: 20457 c Elapsed CPU time: 162.878 s Remaining CPU time: 17.1218 s c =============================================================================== c | 297 | 3999 4332 1286200 | 5000 297 3686 | 0.000 % | c =============================================================================== c New solution: 20456 c Elapsed CPU time: 163.849 s Remaining CPU time: 16.1509 s c =============================================================================== c | 298 | 3999 4333 1290050 | 5000 298 3686 | 0.000 % | c =============================================================================== c New solution: 20455 c Elapsed CPU time: 164.846 s Remaining CPU time: 15.1541 s c =============================================================================== c | 298 | 3999 4334 1293900 | 5000 298 3686 | 0.000 % | c =============================================================================== c New solution: 20454 c Elapsed CPU time: 165.869 s Remaining CPU time: 14.1312 s c =============================================================================== c | 301 | 3999 4335 1297750 | 5000 301 3687 | 0.000 % | c =============================================================================== c New solution: 20453 c Elapsed CPU time: 166.873 s Remaining CPU time: 13.1274 s c =============================================================================== c | 309 | 3999 4336 1301600 | 5000 309 3689 | 0.000 % | c =============================================================================== c New solution: 20452 c Elapsed CPU time: 168.028 s Remaining CPU time: 11.9715 s c =============================================================================== c | 323 | 3999 4337 1305450 | 5000 323 3692 | 0.000 % | c =============================================================================== c New solution: 20451 c Elapsed CPU time: 169.025 s Remaining CPU time: 10.9747 s c =============================================================================== c | 323 | 3999 4338 1309300 | 5000 323 3692 | 0.000 % | c =============================================================================== c New solution: 20450 c Elapsed CPU time: 170.019 s Remaining CPU time: 9.98085 s c =============================================================================== c | 324 | 3999 4339 1313150 | 5000 324 3681 | 0.000 % | c =============================================================================== c New solution: 20449 c Elapsed CPU time: 171.096 s Remaining CPU time: 8.90401 s c =============================================================================== c | 326 | 3999 4340 1317000 | 5000 326 3681 | 0.000 % | c =============================================================================== c New solution: 20448 c Elapsed CPU time: 172.099 s Remaining CPU time: 7.90116 s c =============================================================================== c | 335 | 3999 4341 1320850 | 5000 335 3684 | 0.000 % | c =============================================================================== c New solution: 20447 c Elapsed CPU time: 173.069 s Remaining CPU time: 6.93131 s c =============================================================================== c | 336 | 3999 4342 1324700 | 5000 336 3684 | 0.000 % | c =============================================================================== c New solution: 20446 c Elapsed CPU time: 174.056 s Remaining CPU time: 5.94446 s c =============================================================================== c | 336 | 3999 4343 1328550 | 5000 336 3684 | 0.000 % | c =============================================================================== c New solution: 20445 c Elapsed CPU time: 175.054 s Remaining CPU time: 4.94561 s c =============================================================================== c | 336 | 3999 4344 1332400 | 5000 336 3684 | 0.000 % | c =============================================================================== c New solution: 20444 c Elapsed CPU time: 176.112 s Remaining CPU time: 3.88777 s c =============================================================================== c | 338 | 3999 4345 1336250 | 5000 338 3684 | 0.000 % | c =============================================================================== c New solution: 20443 c Elapsed CPU time: 177.121 s Remaining CPU time: 2.87893 s c =============================================================================== c | 338 | 3999 4346 1340100 | 5000 338 3684 | 0.000 % | c =============================================================================== c New solution: 20442 c Elapsed CPU time: 178.132 s Remaining CPU time: 1.86808 s c =============================================================================== c | 338 | 3999 4347 1343950 | 5000 338 3684 | 0.000 % | c =============================================================================== c New solution: 20441 c Elapsed CPU time: 179.156 s Remaining CPU time: 0.844236 s c =============================================================================== c | 339 | 3999 4348 1347800 | 5000 339 3685 | 0.000 % | c =============================================================================== c New solution: 20440 c Elapsed CPU time: 180.286 s Remaining CPU time: -0.285592 s c =============================================================================== c | 364 | 3999 4349 1351650 | 5000 364 3690 | 0.000 % | c There are 1 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 516 8440 12307 | 5000 0 nan | 0.000 % | c ===============================================================================