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 | 3992 4002 11846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21121 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 3992 4003 15696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21116 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 3992 4004 19546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21114 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 0 | 3992 4005 23396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21113 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 0 | 3992 4006 27246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21111 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 3992 4007 31096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21103 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 0 | 3992 4008 34946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21095 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 0 | 3992 4009 38796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21093 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 3992 4010 42646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21091 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 0 | 3992 4011 46496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21090 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 0 | 3992 4012 50346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21088 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 0 | 3992 4013 54196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21086 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 0 | 3992 4014 58046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21085 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 0 | 3992 4015 61896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21083 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 0 | 3992 4016 65746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21082 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 0 | 3992 4017 69596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21081 c Elapsed CPU time: 0.98185 s Remaining CPU time: 179.018 s c =============================================================================== c | 0 | 3992 4018 73446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21079 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 0 | 3992 4019 77296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21077 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 0 | 3992 4020 81146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21075 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 0 | 3992 4021 84996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21073 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 0 | 3992 4022 88846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21071 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 0 | 3992 4023 92696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21069 c Elapsed CPU time: 1.41278 s Remaining CPU time: 178.587 s c =============================================================================== c | 0 | 3992 4024 96546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21068 c Elapsed CPU time: 1.48777 s Remaining CPU time: 178.512 s c =============================================================================== c | 0 | 3992 4025 100396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21067 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 0 | 3992 4026 104246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21066 c Elapsed CPU time: 1.64375 s Remaining CPU time: 178.356 s c =============================================================================== c | 0 | 3992 4027 108096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21064 c Elapsed CPU time: 1.71974 s Remaining CPU time: 178.28 s c =============================================================================== c | 0 | 3992 4028 111946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21063 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 0 | 3992 4029 115796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21062 c Elapsed CPU time: 1.88871 s Remaining CPU time: 178.111 s c =============================================================================== c | 0 | 3992 4030 119646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21061 c Elapsed CPU time: 1.9717 s Remaining CPU time: 178.028 s c =============================================================================== c | 0 | 3992 4031 123496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21060 c Elapsed CPU time: 2.06169 s Remaining CPU time: 177.938 s c =============================================================================== c | 0 | 3992 4032 127346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21057 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s c =============================================================================== c | 0 | 3992 4033 131196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21053 c Elapsed CPU time: 2.23666 s Remaining CPU time: 177.763 s c =============================================================================== c | 0 | 3992 4034 135046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21051 c Elapsed CPU time: 2.32365 s Remaining CPU time: 177.676 s c =============================================================================== c | 0 | 3992 4035 138896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21046 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 0 | 3992 4036 142746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21043 c Elapsed CPU time: 2.50662 s Remaining CPU time: 177.493 s c =============================================================================== c | 0 | 3992 4037 146596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21041 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 0 | 3992 4038 150446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21038 c Elapsed CPU time: 2.69659 s Remaining CPU time: 177.303 s c =============================================================================== c | 0 | 3992 4039 154296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21035 c Elapsed CPU time: 2.79957 s Remaining CPU time: 177.2 s c =============================================================================== c | 0 | 3992 4040 158146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21032 c Elapsed CPU time: 2.90056 s Remaining CPU time: 177.099 s c =============================================================================== c | 0 | 3992 4041 161996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21028 c Elapsed CPU time: 3.00254 s Remaining CPU time: 176.997 s c =============================================================================== c | 0 | 3992 4042 165846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21027 c Elapsed CPU time: 3.11253 s Remaining CPU time: 176.887 s c =============================================================================== c | 0 | 3992 4043 169696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21026 c Elapsed CPU time: 3.22251 s Remaining CPU time: 176.777 s c =============================================================================== c | 0 | 3992 4044 173546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21025 c Elapsed CPU time: 3.33349 s Remaining CPU time: 176.667 s c =============================================================================== c | 0 | 3992 4045 177396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21023 c Elapsed CPU time: 3.44548 s Remaining CPU time: 176.555 s c =============================================================================== c | 0 | 3992 4046 181246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21021 c Elapsed CPU time: 3.55946 s Remaining CPU time: 176.441 s c =============================================================================== c | 0 | 3992 4047 185096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21020 c Elapsed CPU time: 3.67544 s Remaining CPU time: 176.325 s c =============================================================================== c | 0 | 3992 4048 188946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21019 c Elapsed CPU time: 3.78842 s Remaining CPU time: 176.212 s c =============================================================================== c | 0 | 3992 4049 192796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21017 c Elapsed CPU time: 3.9074 s Remaining CPU time: 176.093 s c =============================================================================== c | 0 | 3992 4050 196646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21016 c Elapsed CPU time: 4.02539 s Remaining CPU time: 175.975 s c =============================================================================== c | 0 | 3992 4051 200496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21012 c Elapsed CPU time: 4.14437 s Remaining CPU time: 175.856 s c =============================================================================== c | 0 | 3992 4052 204346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21008 c Elapsed CPU time: 4.26735 s Remaining CPU time: 175.733 s c =============================================================================== c | 0 | 3992 4053 208196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21006 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 0 | 3992 4054 212046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21005 c Elapsed CPU time: 4.52131 s Remaining CPU time: 175.479 s c =============================================================================== c | 0 | 3992 4055 215896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21003 c Elapsed CPU time: 4.65029 s Remaining CPU time: 175.35 s c =============================================================================== c | 0 | 3992 4056 219746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21002 c Elapsed CPU time: 4.78727 s Remaining CPU time: 175.213 s c =============================================================================== c | 0 | 3992 4057 223596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21001 c Elapsed CPU time: 4.92025 s Remaining CPU time: 175.08 s c =============================================================================== c | 0 | 3992 4058 227446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20999 c Elapsed CPU time: 5.05423 s Remaining CPU time: 174.946 s c =============================================================================== c | 0 | 3992 4059 231296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20998 c Elapsed CPU time: 5.18821 s Remaining CPU time: 174.812 s c =============================================================================== c | 0 | 3992 4060 235146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20997 c Elapsed CPU time: 5.32319 s Remaining CPU time: 174.677 s c =============================================================================== c | 0 | 3992 4061 238996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20996 c Elapsed CPU time: 5.46517 s Remaining CPU time: 174.535 s c =============================================================================== c | 0 | 3992 4062 242846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20995 c Elapsed CPU time: 5.60815 s Remaining CPU time: 174.392 s c =============================================================================== c | 0 | 3992 4063 246696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20993 c Elapsed CPU time: 5.75113 s Remaining CPU time: 174.249 s c =============================================================================== c | 0 | 3992 4064 250546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20992 c Elapsed CPU time: 5.8941 s Remaining CPU time: 174.106 s c =============================================================================== c | 0 | 3992 4065 254396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20989 c Elapsed CPU time: 6.04308 s Remaining CPU time: 173.957 s c =============================================================================== c | 0 | 3992 4066 258246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20986 c Elapsed CPU time: 6.18806 s Remaining CPU time: 173.812 s c =============================================================================== c | 0 | 3992 4067 262096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20981 c Elapsed CPU time: 6.33304 s Remaining CPU time: 173.667 s c =============================================================================== c | 0 | 3992 4068 265946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20980 c Elapsed CPU time: 6.48301 s Remaining CPU time: 173.517 s c =============================================================================== c | 0 | 3992 4069 269796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20979 c Elapsed CPU time: 6.63799 s Remaining CPU time: 173.362 s c =============================================================================== c | 0 | 3992 4070 273646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20978 c Elapsed CPU time: 6.79597 s Remaining CPU time: 173.204 s c =============================================================================== c | 0 | 3992 4071 277496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20977 c Elapsed CPU time: 6.95294 s Remaining CPU time: 173.047 s c =============================================================================== c | 0 | 3992 4072 281346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20973 c Elapsed CPU time: 7.11192 s Remaining CPU time: 172.888 s c =============================================================================== c | 0 | 3992 4073 285196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20971 c Elapsed CPU time: 7.27689 s Remaining CPU time: 172.723 s c =============================================================================== c | 0 | 3992 4074 289046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20970 c Elapsed CPU time: 7.44487 s Remaining CPU time: 172.555 s c =============================================================================== c | 0 | 3992 4075 292896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20969 c Elapsed CPU time: 7.61084 s Remaining CPU time: 172.389 s c =============================================================================== c | 0 | 3992 4076 296746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20967 c Elapsed CPU time: 7.77482 s Remaining CPU time: 172.225 s c =============================================================================== c | 0 | 3992 4077 300596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20966 c Elapsed CPU time: 7.95779 s Remaining CPU time: 172.042 s c =============================================================================== c | 0 | 3992 4078 304446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20963 c Elapsed CPU time: 8.14176 s Remaining CPU time: 171.858 s c =============================================================================== c | 0 | 3992 4079 308296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20961 c Elapsed CPU time: 8.33273 s Remaining CPU time: 171.667 s c =============================================================================== c | 0 | 3992 4080 312146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20960 c Elapsed CPU time: 8.5357 s Remaining CPU time: 171.464 s c =============================================================================== c | 0 | 3992 4081 315996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20959 c Elapsed CPU time: 8.72667 s Remaining CPU time: 171.273 s c =============================================================================== c | 0 | 3992 4082 319846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20957 c Elapsed CPU time: 8.92064 s Remaining CPU time: 171.079 s c =============================================================================== c | 0 | 3992 4083 323696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20956 c Elapsed CPU time: 9.11761 s Remaining CPU time: 170.882 s c =============================================================================== c | 0 | 3992 4084 327546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20955 c Elapsed CPU time: 9.31158 s Remaining CPU time: 170.688 s c =============================================================================== c | 0 | 3992 4085 331396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20951 c Elapsed CPU time: 9.52155 s Remaining CPU time: 170.478 s c =============================================================================== c | 0 | 3992 4086 335246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20950 c Elapsed CPU time: 9.74652 s Remaining CPU time: 170.253 s c =============================================================================== c | 0 | 3992 4087 339096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20948 c Elapsed CPU time: 9.96548 s Remaining CPU time: 170.035 s c =============================================================================== c | 0 | 3992 4088 342946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20947 c Elapsed CPU time: 10.1914 s Remaining CPU time: 169.809 s c =============================================================================== c | 0 | 3992 4089 346796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20946 c Elapsed CPU time: 10.4134 s Remaining CPU time: 169.587 s c =============================================================================== c | 0 | 3992 4090 350646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20944 c Elapsed CPU time: 10.6354 s Remaining CPU time: 169.365 s c =============================================================================== c | 0 | 3992 4091 354496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20942 c Elapsed CPU time: 10.8643 s Remaining CPU time: 169.136 s c =============================================================================== c | 0 | 3992 4092 358346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20941 c Elapsed CPU time: 11.0923 s Remaining CPU time: 168.908 s c =============================================================================== c | 0 | 3992 4093 362196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20940 c Elapsed CPU time: 11.3153 s Remaining CPU time: 168.685 s c =============================================================================== c | 0 | 3992 4094 366046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20938 c Elapsed CPU time: 11.5452 s Remaining CPU time: 168.455 s c =============================================================================== c | 0 | 3992 4095 369896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20935 c Elapsed CPU time: 11.7822 s Remaining CPU time: 168.218 s c =============================================================================== c | 0 | 3992 4096 373746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20931 c Elapsed CPU time: 12.0202 s Remaining CPU time: 167.98 s c =============================================================================== c | 0 | 3992 4097 377596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20928 c Elapsed CPU time: 12.2611 s Remaining CPU time: 167.739 s c =============================================================================== c | 0 | 3992 4098 381446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20927 c Elapsed CPU time: 12.4981 s Remaining CPU time: 167.502 s c =============================================================================== c | 0 | 3992 4099 385296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20924 c Elapsed CPU time: 12.7421 s Remaining CPU time: 167.258 s c =============================================================================== c | 0 | 3992 4100 389146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20920 c Elapsed CPU time: 12.991 s Remaining CPU time: 167.009 s c =============================================================================== c | 0 | 3992 4101 392996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20919 c Elapsed CPU time: 13.235 s Remaining CPU time: 166.765 s c =============================================================================== c | 0 | 3992 4102 396846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20918 c Elapsed CPU time: 13.4859 s Remaining CPU time: 166.514 s c =============================================================================== c | 0 | 3992 4103 400696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20916 c Elapsed CPU time: 13.7419 s Remaining CPU time: 166.258 s c =============================================================================== c | 0 | 3992 4104 404546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20914 c Elapsed CPU time: 13.9919 s Remaining CPU time: 166.008 s c =============================================================================== c | 0 | 3992 4105 408396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20913 c Elapsed CPU time: 14.2488 s Remaining CPU time: 165.751 s c =============================================================================== c | 0 | 3992 4106 412246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20912 c Elapsed CPU time: 14.5028 s Remaining CPU time: 165.497 s c =============================================================================== c | 0 | 3992 4107 416096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20911 c Elapsed CPU time: 14.7558 s Remaining CPU time: 165.244 s c =============================================================================== c | 0 | 3992 4108 419946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20906 c Elapsed CPU time: 15.0207 s Remaining CPU time: 164.979 s c =============================================================================== c | 0 | 3992 4109 423796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20905 c Elapsed CPU time: 15.2807 s Remaining CPU time: 164.719 s c =============================================================================== c | 0 | 3992 4110 427646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20904 c Elapsed CPU time: 15.5426 s Remaining CPU time: 164.457 s c =============================================================================== c | 0 | 3992 4111 431496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20902 c Elapsed CPU time: 15.8106 s Remaining CPU time: 164.189 s c =============================================================================== c | 0 | 3992 4112 435346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20900 c Elapsed CPU time: 16.0876 s Remaining CPU time: 163.912 s c =============================================================================== c | 0 | 3992 4113 439196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20899 c Elapsed CPU time: 16.3625 s Remaining CPU time: 163.637 s c =============================================================================== c | 0 | 3992 4114 443046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20898 c Elapsed CPU time: 16.6445 s Remaining CPU time: 163.356 s c =============================================================================== c | 0 | 3992 4115 446896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20897 c Elapsed CPU time: 16.9114 s Remaining CPU time: 163.089 s c =============================================================================== c | 0 | 3992 4116 450746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20896 c Elapsed CPU time: 17.1874 s Remaining CPU time: 162.813 s c =============================================================================== c | 0 | 3992 4117 454596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20894 c Elapsed CPU time: 17.4663 s Remaining CPU time: 162.534 s c =============================================================================== c | 0 | 3992 4118 458446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20893 c Elapsed CPU time: 17.7393 s Remaining CPU time: 162.261 s c =============================================================================== c | 0 | 3992 4119 462296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20892 c Elapsed CPU time: 18.0203 s Remaining CPU time: 161.98 s c =============================================================================== c | 0 | 3992 4120 466146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20891 c Elapsed CPU time: 18.3132 s Remaining CPU time: 161.687 s c =============================================================================== c | 0 | 3992 4121 469996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20890 c Elapsed CPU time: 18.6002 s Remaining CPU time: 161.4 s c =============================================================================== c | 0 | 3992 4122 473846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20889 c Elapsed CPU time: 18.8971 s Remaining CPU time: 161.103 s c =============================================================================== c | 0 | 3992 4123 477696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20888 c Elapsed CPU time: 19.1871 s Remaining CPU time: 160.813 s c =============================================================================== c | 0 | 3992 4124 481546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20887 c Elapsed CPU time: 19.485 s Remaining CPU time: 160.515 s c =============================================================================== c | 0 | 3992 4125 485396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20886 c Elapsed CPU time: 19.795 s Remaining CPU time: 160.205 s c =============================================================================== c | 0 | 3992 4126 489246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20885 c Elapsed CPU time: 20.1109 s Remaining CPU time: 159.889 s c =============================================================================== c | 0 | 3992 4127 493096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20883 c Elapsed CPU time: 20.4479 s Remaining CPU time: 159.552 s c =============================================================================== c | 0 | 3992 4128 496946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20882 c Elapsed CPU time: 20.8058 s Remaining CPU time: 159.194 s c =============================================================================== c | 0 | 3992 4129 500796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20880 c Elapsed CPU time: 21.1658 s Remaining CPU time: 158.834 s c =============================================================================== c | 0 | 3992 4130 504646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20878 c Elapsed CPU time: 21.5177 s Remaining CPU time: 158.482 s c =============================================================================== c | 0 | 3992 4131 508496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20877 c Elapsed CPU time: 21.8847 s Remaining CPU time: 158.115 s c =============================================================================== c | 0 | 3992 4132 512346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20874 c Elapsed CPU time: 22.2486 s Remaining CPU time: 157.751 s c =============================================================================== c | 0 | 3992 4133 516196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20873 c Elapsed CPU time: 22.6286 s Remaining CPU time: 157.371 s c =============================================================================== c | 0 | 3992 4134 520046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20872 c Elapsed CPU time: 22.9945 s Remaining CPU time: 157.005 s c =============================================================================== c | 0 | 3992 4135 523896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20871 c Elapsed CPU time: 23.3594 s Remaining CPU time: 156.641 s c =============================================================================== c | 0 | 3992 4136 527746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20870 c Elapsed CPU time: 23.7304 s Remaining CPU time: 156.27 s c =============================================================================== c | 0 | 3992 4137 531596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20869 c Elapsed CPU time: 24.1043 s Remaining CPU time: 155.896 s c =============================================================================== c | 0 | 3992 4138 535446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20868 c Elapsed CPU time: 24.4913 s Remaining CPU time: 155.509 s c =============================================================================== c | 0 | 3992 4139 539296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20867 c Elapsed CPU time: 24.8782 s Remaining CPU time: 155.122 s c =============================================================================== c | 0 | 3992 4140 543146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20866 c Elapsed CPU time: 25.2542 s Remaining CPU time: 154.746 s c =============================================================================== c | 0 | 3992 4141 546996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20865 c Elapsed CPU time: 25.6141 s Remaining CPU time: 154.386 s c =============================================================================== c | 0 | 3992 4142 550846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20864 c Elapsed CPU time: 25.9791 s Remaining CPU time: 154.021 s c =============================================================================== c | 0 | 3992 4143 554696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20863 c Elapsed CPU time: 26.34 s Remaining CPU time: 153.66 s c =============================================================================== c | 0 | 3992 4144 558546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20862 c Elapsed CPU time: 26.6979 s Remaining CPU time: 153.302 s c =============================================================================== c | 0 | 3992 4145 562396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20860 c Elapsed CPU time: 27.0589 s Remaining CPU time: 152.941 s c =============================================================================== c | 0 | 3992 4146 566246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20858 c Elapsed CPU time: 27.4228 s Remaining CPU time: 152.577 s c =============================================================================== c | 0 | 3992 4147 570096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20857 c Elapsed CPU time: 27.7808 s Remaining CPU time: 152.219 s c =============================================================================== c | 0 | 3992 4148 573946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20856 c Elapsed CPU time: 28.1447 s Remaining CPU time: 151.855 s c =============================================================================== c | 0 | 3992 4149 577796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20855 c Elapsed CPU time: 28.5077 s Remaining CPU time: 151.492 s c =============================================================================== c | 0 | 3992 4150 581646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20854 c Elapsed CPU time: 28.8736 s Remaining CPU time: 151.126 s c =============================================================================== c | 0 | 3992 4151 585496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20853 c Elapsed CPU time: 29.2456 s Remaining CPU time: 150.754 s c =============================================================================== c | 0 | 3992 4152 589346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20850 c Elapsed CPU time: 29.6135 s Remaining CPU time: 150.387 s c =============================================================================== c | 0 | 3992 4153 593196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20847 c Elapsed CPU time: 29.9844 s Remaining CPU time: 150.016 s c =============================================================================== c | 0 | 3992 4154 597046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20844 c Elapsed CPU time: 30.3584 s Remaining CPU time: 149.642 s c =============================================================================== c | 0 | 3992 4155 600896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20842 c Elapsed CPU time: 30.7423 s Remaining CPU time: 149.258 s c =============================================================================== c | 0 | 3992 4156 604746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20840 c Elapsed CPU time: 31.1193 s Remaining CPU time: 148.881 s c =============================================================================== c | 0 | 3992 4157 608596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20839 c Elapsed CPU time: 31.5032 s Remaining CPU time: 148.497 s c =============================================================================== c | 0 | 3992 4158 612446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20837 c Elapsed CPU time: 31.8702 s Remaining CPU time: 148.13 s c =============================================================================== c | 0 | 3992 4159 616296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20835 c Elapsed CPU time: 32.2471 s Remaining CPU time: 147.753 s c =============================================================================== c | 0 | 3992 4160 620146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20834 c Elapsed CPU time: 32.631 s Remaining CPU time: 147.369 s c =============================================================================== c | 0 | 3992 4161 623996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20833 c Elapsed CPU time: 33.015 s Remaining CPU time: 146.985 s c =============================================================================== c | 0 | 3992 4162 627846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20829 c Elapsed CPU time: 33.4009 s Remaining CPU time: 146.599 s c =============================================================================== c | 0 | 3992 4163 631696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20828 c Elapsed CPU time: 33.7789 s Remaining CPU time: 146.221 s c =============================================================================== c | 0 | 3992 4164 635546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20827 c Elapsed CPU time: 34.1578 s Remaining CPU time: 145.842 s c =============================================================================== c | 0 | 3992 4165 639396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20826 c Elapsed CPU time: 34.5447 s Remaining CPU time: 145.455 s c =============================================================================== c | 0 | 3992 4166 643246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20825 c Elapsed CPU time: 34.9307 s Remaining CPU time: 145.069 s c =============================================================================== c | 0 | 3992 4167 647096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20824 c Elapsed CPU time: 35.3386 s Remaining CPU time: 144.661 s c =============================================================================== c | 0 | 3992 4168 650946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20823 c Elapsed CPU time: 35.7356 s Remaining CPU time: 144.264 s c =============================================================================== c | 0 | 3992 4169 654796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20822 c Elapsed CPU time: 36.1385 s Remaining CPU time: 143.861 s c =============================================================================== c | 0 | 3992 4170 658646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20818 c Elapsed CPU time: 36.5404 s Remaining CPU time: 143.46 s c =============================================================================== c | 0 | 3992 4171 662496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20817 c Elapsed CPU time: 36.9554 s Remaining CPU time: 143.045 s c =============================================================================== c | 0 | 3992 4172 666346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20816 c Elapsed CPU time: 37.3583 s Remaining CPU time: 142.642 s c =============================================================================== c | 0 | 3992 4173 670196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20815 c Elapsed CPU time: 37.7623 s Remaining CPU time: 142.238 s c =============================================================================== c | 0 | 3992 4174 674046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20813 c Elapsed CPU time: 38.1712 s Remaining CPU time: 141.829 s c =============================================================================== c | 0 | 3992 4175 677896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20811 c Elapsed CPU time: 38.5661 s Remaining CPU time: 141.434 s c =============================================================================== c | 0 | 3992 4176 681746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20810 c Elapsed CPU time: 38.9741 s Remaining CPU time: 141.026 s c =============================================================================== c | 0 | 3992 4177 685596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20809 c Elapsed CPU time: 39.387 s Remaining CPU time: 140.613 s c =============================================================================== c | 0 | 3992 4178 689446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20808 c Elapsed CPU time: 39.789 s Remaining CPU time: 140.211 s c =============================================================================== c | 0 | 3992 4179 693296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20807 c Elapsed CPU time: 40.1919 s Remaining CPU time: 139.808 s c =============================================================================== c | 0 | 3992 4180 697146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20806 c Elapsed CPU time: 40.6038 s Remaining CPU time: 139.396 s c =============================================================================== c | 0 | 3992 4181 700996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20805 c Elapsed CPU time: 41.0308 s Remaining CPU time: 138.969 s c =============================================================================== c | 0 | 3992 4182 704846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20804 c Elapsed CPU time: 41.4377 s Remaining CPU time: 138.562 s c =============================================================================== c | 0 | 3992 4183 708696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20803 c Elapsed CPU time: 41.8566 s Remaining CPU time: 138.143 s c =============================================================================== c | 0 | 3992 4184 712546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20802 c Elapsed CPU time: 42.2816 s Remaining CPU time: 137.718 s c =============================================================================== c | 0 | 3992 4185 716396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20801 c Elapsed CPU time: 42.7165 s Remaining CPU time: 137.283 s c =============================================================================== c | 0 | 3992 4186 720246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20800 c Elapsed CPU time: 43.1264 s Remaining CPU time: 136.874 s c =============================================================================== c | 0 | 3992 4187 724096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20799 c Elapsed CPU time: 43.5394 s Remaining CPU time: 136.461 s c =============================================================================== c | 0 | 3992 4188 727946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20797 c Elapsed CPU time: 43.9513 s Remaining CPU time: 136.049 s c =============================================================================== c | 0 | 3992 4189 731796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20794 c Elapsed CPU time: 44.3793 s Remaining CPU time: 135.621 s c =============================================================================== c | 0 | 3992 4190 735646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20793 c Elapsed CPU time: 44.8312 s Remaining CPU time: 135.169 s c =============================================================================== c | 0 | 3992 4191 739496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20792 c Elapsed CPU time: 45.2751 s Remaining CPU time: 134.725 s c =============================================================================== c | 0 | 3992 4192 743346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20791 c Elapsed CPU time: 45.728 s Remaining CPU time: 134.272 s c =============================================================================== c | 0 | 3992 4193 747196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20790 c Elapsed CPU time: 46.173 s Remaining CPU time: 133.827 s c =============================================================================== c | 0 | 3992 4194 751046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20789 c Elapsed CPU time: 46.6269 s Remaining CPU time: 133.373 s c =============================================================================== c | 0 | 3992 4195 754896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20788 c Elapsed CPU time: 47.0598 s Remaining CPU time: 132.94 s c =============================================================================== c | 0 | 3992 4196 758746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20785 c Elapsed CPU time: 47.4998 s Remaining CPU time: 132.5 s c =============================================================================== c | 0 | 3992 4197 762596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20784 c Elapsed CPU time: 47.9557 s Remaining CPU time: 132.044 s c =============================================================================== c | 0 | 3992 4198 766446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20783 c Elapsed CPU time: 48.4146 s Remaining CPU time: 131.585 s c =============================================================================== c | 0 | 3992 4199 770296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20780 c Elapsed CPU time: 48.8536 s Remaining CPU time: 131.146 s c =============================================================================== c | 0 | 3992 4200 774146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20779 c Elapsed CPU time: 49.2985 s Remaining CPU time: 130.701 s c =============================================================================== c | 0 | 3992 4201 777996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20778 c Elapsed CPU time: 49.7494 s Remaining CPU time: 130.251 s c =============================================================================== c | 0 | 3992 4202 781846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20777 c Elapsed CPU time: 50.2214 s Remaining CPU time: 129.779 s c =============================================================================== c | 0 | 3992 4203 785696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20776 c Elapsed CPU time: 50.7043 s Remaining CPU time: 129.296 s c =============================================================================== c | 0 | 3992 4204 789546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20775 c Elapsed CPU time: 51.1742 s Remaining CPU time: 128.826 s c =============================================================================== c | 0 | 3992 4205 793396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20773 c Elapsed CPU time: 51.6352 s Remaining CPU time: 128.365 s c =============================================================================== c | 0 | 3992 4206 797246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20771 c Elapsed CPU time: 52.0951 s Remaining CPU time: 127.905 s c =============================================================================== c | 0 | 3992 4207 801096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20769 c Elapsed CPU time: 52.55 s Remaining CPU time: 127.45 s c =============================================================================== c | 0 | 3992 4208 804946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20768 c Elapsed CPU time: 53.0079 s Remaining CPU time: 126.992 s c =============================================================================== c | 0 | 3992 4209 808796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20767 c Elapsed CPU time: 53.4699 s Remaining CPU time: 126.53 s c =============================================================================== c | 0 | 3992 4210 812646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20766 c Elapsed CPU time: 53.9468 s Remaining CPU time: 126.053 s c =============================================================================== c | 0 | 3992 4211 816496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20764 c Elapsed CPU time: 54.4107 s Remaining CPU time: 125.589 s c =============================================================================== c | 0 | 3992 4212 820346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20763 c Elapsed CPU time: 54.8917 s Remaining CPU time: 125.108 s c =============================================================================== c | 0 | 3992 4213 824196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20762 c Elapsed CPU time: 55.3806 s Remaining CPU time: 124.619 s c =============================================================================== c | 0 | 3992 4214 828046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20761 c Elapsed CPU time: 55.8475 s Remaining CPU time: 124.152 s c =============================================================================== c | 0 | 3992 4215 831896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20760 c Elapsed CPU time: 56.3344 s Remaining CPU time: 123.666 s c =============================================================================== c | 0 | 3992 4216 835746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20759 c Elapsed CPU time: 56.8094 s Remaining CPU time: 123.191 s c =============================================================================== c | 0 | 3992 4217 839596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20758 c Elapsed CPU time: 57.2833 s Remaining CPU time: 122.717 s c =============================================================================== c | 0 | 3992 4218 843446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20757 c Elapsed CPU time: 57.7662 s Remaining CPU time: 122.234 s c =============================================================================== c | 0 | 3992 4219 847296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20754 c Elapsed CPU time: 58.2461 s Remaining CPU time: 121.754 s c =============================================================================== c | 0 | 3992 4220 851146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20753 c Elapsed CPU time: 58.7391 s Remaining CPU time: 121.261 s c =============================================================================== c | 0 | 3992 4221 854996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20752 c Elapsed CPU time: 59.214 s Remaining CPU time: 120.786 s c =============================================================================== c | 0 | 3992 4222 858846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20751 c Elapsed CPU time: 59.7099 s Remaining CPU time: 120.29 s c =============================================================================== c | 0 | 3992 4223 862696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20750 c Elapsed CPU time: 60.2208 s Remaining CPU time: 119.779 s c =============================================================================== c | 0 | 3992 4224 866546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20749 c Elapsed CPU time: 60.7338 s Remaining CPU time: 119.266 s c =============================================================================== c | 0 | 3992 4225 870396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20748 c Elapsed CPU time: 61.2507 s Remaining CPU time: 118.749 s c =============================================================================== c | 0 | 3992 4226 874246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20747 c Elapsed CPU time: 61.7536 s Remaining CPU time: 118.246 s c =============================================================================== c | 0 | 3992 4227 878096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20746 c Elapsed CPU time: 62.2605 s Remaining CPU time: 117.739 s c =============================================================================== c | 0 | 3992 4228 881946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20745 c Elapsed CPU time: 62.7705 s Remaining CPU time: 117.23 s c =============================================================================== c | 0 | 3992 4229 885796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20744 c Elapsed CPU time: 63.2764 s Remaining CPU time: 116.724 s c =============================================================================== c | 0 | 3992 4230 889646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20742 c Elapsed CPU time: 63.7963 s Remaining CPU time: 116.204 s c =============================================================================== c | 0 | 3992 4231 893496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20741 c Elapsed CPU time: 64.2892 s Remaining CPU time: 115.711 s c =============================================================================== c | 0 | 3992 4232 897346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20740 c Elapsed CPU time: 64.8141 s Remaining CPU time: 115.186 s c =============================================================================== c | 0 | 3992 4233 901196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20739 c Elapsed CPU time: 65.3271 s Remaining CPU time: 114.673 s c =============================================================================== c | 0 | 3992 4234 905046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20738 c Elapsed CPU time: 65.836 s Remaining CPU time: 114.164 s c =============================================================================== c | 0 | 3992 4235 908896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20737 c Elapsed CPU time: 66.3499 s Remaining CPU time: 113.65 s c =============================================================================== c | 0 | 3992 4236 912746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20735 c Elapsed CPU time: 66.8578 s Remaining CPU time: 113.142 s c =============================================================================== c | 0 | 3992 4237 916596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20733 c Elapsed CPU time: 67.3838 s Remaining CPU time: 112.616 s c =============================================================================== c | 0 | 3992 4238 920446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20732 c Elapsed CPU time: 67.9227 s Remaining CPU time: 112.077 s c =============================================================================== c | 0 | 3992 4239 924296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20731 c Elapsed CPU time: 68.4856 s Remaining CPU time: 111.514 s c =============================================================================== c | 0 | 3992 4240 928146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20730 c Elapsed CPU time: 69.0525 s Remaining CPU time: 110.947 s c =============================================================================== c | 0 | 3992 4241 931996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20729 c Elapsed CPU time: 69.6264 s Remaining CPU time: 110.374 s c =============================================================================== c | 0 | 3992 4242 935846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20728 c Elapsed CPU time: 70.1733 s Remaining CPU time: 109.827 s c =============================================================================== c | 0 | 3992 4243 939696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20727 c Elapsed CPU time: 70.7272 s Remaining CPU time: 109.273 s c =============================================================================== c | 0 | 3992 4244 943546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20726 c Elapsed CPU time: 71.2842 s Remaining CPU time: 108.716 s c =============================================================================== c | 0 | 3992 4245 947396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20725 c Elapsed CPU time: 71.8551 s Remaining CPU time: 108.145 s c =============================================================================== c | 0 | 3992 4246 951246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20724 c Elapsed CPU time: 72.396 s Remaining CPU time: 107.604 s c =============================================================================== c | 0 | 3992 4247 955096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20723 c Elapsed CPU time: 72.9539 s Remaining CPU time: 107.046 s c =============================================================================== c | 0 | 3992 4248 958946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20722 c Elapsed CPU time: 73.4958 s Remaining CPU time: 106.504 s c =============================================================================== c | 0 | 3992 4249 962796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20720 c Elapsed CPU time: 74.0377 s Remaining CPU time: 105.962 s c =============================================================================== c | 0 | 3992 4250 966646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20719 c Elapsed CPU time: 74.5947 s Remaining CPU time: 105.405 s c =============================================================================== c | 0 | 3992 4251 970496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20718 c Elapsed CPU time: 75.1536 s Remaining CPU time: 104.846 s c =============================================================================== c | 0 | 3992 4252 974346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20717 c Elapsed CPU time: 75.7105 s Remaining CPU time: 104.29 s c =============================================================================== c | 0 | 3992 4253 978196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20715 c Elapsed CPU time: 76.2504 s Remaining CPU time: 103.75 s c =============================================================================== c | 0 | 3992 4254 982046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20713 c Elapsed CPU time: 76.8063 s Remaining CPU time: 103.194 s c =============================================================================== c | 0 | 3992 4255 985896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20711 c Elapsed CPU time: 77.3692 s Remaining CPU time: 102.631 s c =============================================================================== c | 0 | 3992 4256 989746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20710 c Elapsed CPU time: 77.9152 s Remaining CPU time: 102.085 s c =============================================================================== c | 0 | 3992 4257 993596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20709 c Elapsed CPU time: 78.4501 s Remaining CPU time: 101.55 s c =============================================================================== c | 0 | 3992 4258 997446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20708 c Elapsed CPU time: 78.99 s Remaining CPU time: 101.01 s c =============================================================================== c | 0 | 3992 4259 1001296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20707 c Elapsed CPU time: 79.5409 s Remaining CPU time: 100.459 s c =============================================================================== c | 0 | 3992 4260 1005146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20706 c Elapsed CPU time: 80.0928 s Remaining CPU time: 99.9072 s c =============================================================================== c | 0 | 3992 4261 1008996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20705 c Elapsed CPU time: 80.6547 s Remaining CPU time: 99.3453 s c =============================================================================== c | 0 | 3992 4262 1012846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20703 c Elapsed CPU time: 81.2317 s Remaining CPU time: 98.7683 s c =============================================================================== c | 0 | 3992 4263 1016696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20702 c Elapsed CPU time: 81.7936 s Remaining CPU time: 98.2064 s c =============================================================================== c | 0 | 3992 4264 1020546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20701 c Elapsed CPU time: 82.3425 s Remaining CPU time: 97.6575 s c =============================================================================== c | 0 | 3992 4265 1024396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20700 c Elapsed CPU time: 82.9084 s Remaining CPU time: 97.0916 s c =============================================================================== c | 0 | 3992 4266 1028246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20699 c Elapsed CPU time: 83.4843 s Remaining CPU time: 96.5157 s c =============================================================================== c | 0 | 3992 4267 1032096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20698 c Elapsed CPU time: 84.0432 s Remaining CPU time: 95.9568 s c =============================================================================== c | 0 | 3992 4268 1035946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20697 c Elapsed CPU time: 84.6151 s Remaining CPU time: 95.3849 s c =============================================================================== c | 0 | 3992 4269 1039796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20696 c Elapsed CPU time: 85.188 s Remaining CPU time: 94.812 s c =============================================================================== c | 0 | 3992 4270 1043646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20695 c Elapsed CPU time: 85.805 s Remaining CPU time: 94.195 s c =============================================================================== c | 0 | 3992 4271 1047496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20694 c Elapsed CPU time: 86.4109 s Remaining CPU time: 93.5891 s c =============================================================================== c | 0 | 3992 4272 1051346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20693 c Elapsed CPU time: 87.0358 s Remaining CPU time: 92.9642 s c =============================================================================== c | 0 | 3992 4273 1055196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20692 c Elapsed CPU time: 87.6647 s Remaining CPU time: 92.3353 s c =============================================================================== c | 0 | 3992 4274 1059046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20690 c Elapsed CPU time: 88.2736 s Remaining CPU time: 91.7264 s c =============================================================================== c | 0 | 3992 4275 1062896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20688 c Elapsed CPU time: 88.9025 s Remaining CPU time: 91.0975 s c =============================================================================== c | 0 | 3992 4276 1066746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20687 c Elapsed CPU time: 89.5174 s Remaining CPU time: 90.4826 s c =============================================================================== c | 0 | 3992 4277 1070596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20686 c Elapsed CPU time: 90.1263 s Remaining CPU time: 89.8737 s c =============================================================================== c | 0 | 3992 4278 1074446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20685 c Elapsed CPU time: 90.7572 s Remaining CPU time: 89.2428 s c =============================================================================== c | 0 | 3992 4279 1078296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20683 c Elapsed CPU time: 91.3681 s Remaining CPU time: 88.6319 s c =============================================================================== c | 0 | 3992 4280 1082146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20681 c Elapsed CPU time: 91.973 s Remaining CPU time: 88.027 s c =============================================================================== c | 0 | 3992 4281 1085996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20680 c Elapsed CPU time: 92.5879 s Remaining CPU time: 87.4121 s c =============================================================================== c | 0 | 3992 4282 1089846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20678 c Elapsed CPU time: 93.2018 s Remaining CPU time: 86.7982 s c =============================================================================== c | 0 | 3992 4283 1093696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20677 c Elapsed CPU time: 93.8067 s Remaining CPU time: 86.1933 s c =============================================================================== c | 0 | 3992 4284 1097546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20676 c Elapsed CPU time: 94.4266 s Remaining CPU time: 85.5734 s c =============================================================================== c | 0 | 3992 4285 1101396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20673 c Elapsed CPU time: 95.0266 s Remaining CPU time: 84.9734 s c =============================================================================== c | 0 | 3992 4286 1105246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20672 c Elapsed CPU time: 95.6325 s Remaining CPU time: 84.3675 s c =============================================================================== c | 0 | 3992 4287 1109096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20671 c Elapsed CPU time: 96.2494 s Remaining CPU time: 83.7506 s c =============================================================================== c | 0 | 3992 4288 1112946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20670 c Elapsed CPU time: 96.8683 s Remaining CPU time: 83.1317 s c =============================================================================== c | 0 | 3992 4289 1116796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20669 c Elapsed CPU time: 97.4842 s Remaining CPU time: 82.5158 s c =============================================================================== c | 0 | 3992 4290 1120646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20668 c Elapsed CPU time: 98.0991 s Remaining CPU time: 81.9009 s c =============================================================================== c | 0 | 3992 4291 1124496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20667 c Elapsed CPU time: 98.717 s Remaining CPU time: 81.283 s c =============================================================================== c | 0 | 3992 4292 1128346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20666 c Elapsed CPU time: 99.3319 s Remaining CPU time: 80.6681 s c =============================================================================== c | 0 | 3992 4293 1132196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20665 c Elapsed CPU time: 99.9378 s Remaining CPU time: 80.0622 s c =============================================================================== c | 0 | 3992 4294 1136046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20664 c Elapsed CPU time: 100.543 s Remaining CPU time: 79.4573 s c =============================================================================== c | 0 | 3992 4295 1139896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20662 c Elapsed CPU time: 101.174 s Remaining CPU time: 78.8264 s c =============================================================================== c | 0 | 3992 4296 1143746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20661 c Elapsed CPU time: 101.785 s Remaining CPU time: 78.2155 s c =============================================================================== c | 0 | 3992 4297 1147596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20660 c Elapsed CPU time: 102.412 s Remaining CPU time: 77.5876 s c =============================================================================== c | 0 | 3992 4298 1151446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20659 c Elapsed CPU time: 103.048 s Remaining CPU time: 76.9517 s c =============================================================================== c | 0 | 3992 4299 1155296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20656 c Elapsed CPU time: 103.665 s Remaining CPU time: 76.3348 s c =============================================================================== c | 0 | 3992 4300 1159146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20654 c Elapsed CPU time: 104.294 s Remaining CPU time: 75.7059 s c =============================================================================== c | 0 | 3992 4301 1162996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20652 c Elapsed CPU time: 104.943 s Remaining CPU time: 75.057 s c =============================================================================== c | 0 | 3992 4302 1166846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20651 c Elapsed CPU time: 105.591 s Remaining CPU time: 74.4091 s c =============================================================================== c | 0 | 3992 4303 1170696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20650 c Elapsed CPU time: 106.241 s Remaining CPU time: 73.7592 s c =============================================================================== c | 0 | 3992 4304 1174546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20649 c Elapsed CPU time: 106.873 s Remaining CPU time: 73.1272 s c =============================================================================== c | 0 | 3992 4305 1178396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20648 c Elapsed CPU time: 107.517 s Remaining CPU time: 72.4833 s c =============================================================================== c | 0 | 3992 4306 1182246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20647 c Elapsed CPU time: 108.172 s Remaining CPU time: 71.8284 s c =============================================================================== c | 0 | 3992 4307 1186096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20646 c Elapsed CPU time: 108.826 s Remaining CPU time: 71.1735 s c =============================================================================== c | 0 | 3992 4308 1189946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20644 c Elapsed CPU time: 109.467 s Remaining CPU time: 70.5326 s c =============================================================================== c | 0 | 3992 4309 1193796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20642 c Elapsed CPU time: 110.111 s Remaining CPU time: 69.8887 s c =============================================================================== c | 0 | 3992 4310 1197646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20641 c Elapsed CPU time: 110.747 s Remaining CPU time: 69.2528 s c =============================================================================== c | 0 | 3992 4311 1201496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20639 c Elapsed CPU time: 111.413 s Remaining CPU time: 68.5869 s c =============================================================================== c | 0 | 3992 4312 1205346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20637 c Elapsed CPU time: 112.092 s Remaining CPU time: 67.908 s c =============================================================================== c | 0 | 3992 4313 1209196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20635 c Elapsed CPU time: 112.762 s Remaining CPU time: 67.2381 s c =============================================================================== c | 0 | 3992 4314 1213046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20633 c Elapsed CPU time: 113.41 s Remaining CPU time: 66.5902 s c =============================================================================== c | 0 | 3992 4315 1216896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20632 c Elapsed CPU time: 114.064 s Remaining CPU time: 65.9363 s c =============================================================================== c | 0 | 3992 4316 1220746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20631 c Elapsed CPU time: 114.739 s Remaining CPU time: 65.2614 s c =============================================================================== c | 0 | 3992 4317 1224596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20630 c Elapsed CPU time: 115.427 s Remaining CPU time: 64.5725 s c =============================================================================== c | 0 | 3992 4318 1228446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20628 c Elapsed CPU time: 116.102 s Remaining CPU time: 63.8977 s c =============================================================================== c | 0 | 3992 4319 1232296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20626 c Elapsed CPU time: 116.778 s Remaining CPU time: 63.2218 s c =============================================================================== c | 0 | 3992 4320 1236146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20625 c Elapsed CPU time: 117.463 s Remaining CPU time: 62.5369 s c =============================================================================== c | 0 | 3992 4321 1239996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20624 c Elapsed CPU time: 118.196 s Remaining CPU time: 61.804 s c =============================================================================== c | 0 | 3992 4322 1243846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20623 c Elapsed CPU time: 118.967 s Remaining CPU time: 61.0331 s c =============================================================================== c | 0 | 3992 4323 1247696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20622 c Elapsed CPU time: 119.73 s Remaining CPU time: 60.2702 s c =============================================================================== c | 0 | 3992 4324 1251546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20621 c Elapsed CPU time: 120.438 s Remaining CPU time: 59.5623 s c =============================================================================== c | 0 | 3992 4325 1255396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20620 c Elapsed CPU time: 121.151 s Remaining CPU time: 58.8494 s c =============================================================================== c | 0 | 3992 4326 1259246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20618 c Elapsed CPU time: 121.852 s Remaining CPU time: 58.1475 s c =============================================================================== c | 0 | 3992 4327 1263096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20617 c Elapsed CPU time: 122.578 s Remaining CPU time: 57.4216 s c =============================================================================== c | 0 | 3992 4328 1266946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20616 c Elapsed CPU time: 123.285 s Remaining CPU time: 56.7147 s c =============================================================================== c | 0 | 3992 4329 1270796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20615 c Elapsed CPU time: 123.985 s Remaining CPU time: 56.0148 s c =============================================================================== c | 0 | 3992 4330 1274646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20614 c Elapsed CPU time: 124.699 s Remaining CPU time: 55.301 s c =============================================================================== c | 0 | 3992 4331 1278496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20611 c Elapsed CPU time: 125.402 s Remaining CPU time: 54.5981 s c =============================================================================== c | 0 | 3992 4332 1282346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20610 c Elapsed CPU time: 126.141 s Remaining CPU time: 53.8592 s c =============================================================================== c | 0 | 3992 4333 1286196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20609 c Elapsed CPU time: 126.892 s Remaining CPU time: 53.1083 s c =============================================================================== c | 0 | 3992 4334 1290046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20607 c Elapsed CPU time: 127.642 s Remaining CPU time: 52.3584 s c =============================================================================== c | 0 | 3992 4335 1293896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20606 c Elapsed CPU time: 128.407 s Remaining CPU time: 51.5925 s c =============================================================================== c | 0 | 3992 4336 1297746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20605 c Elapsed CPU time: 129.175 s Remaining CPU time: 50.8246 s c =============================================================================== c | 0 | 3992 4337 1301596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20603 c Elapsed CPU time: 129.937 s Remaining CPU time: 50.0628 s c =============================================================================== c | 0 | 3992 4338 1305446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20602 c Elapsed CPU time: 130.684 s Remaining CPU time: 49.3159 s c =============================================================================== c | 0 | 3992 4339 1309296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20600 c Elapsed CPU time: 131.444 s Remaining CPU time: 48.556 s c =============================================================================== c | 0 | 3992 4340 1313146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20599 c Elapsed CPU time: 132.221 s Remaining CPU time: 47.7791 s c =============================================================================== c | 0 | 3992 4341 1316996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20598 c Elapsed CPU time: 132.976 s Remaining CPU time: 47.0242 s c =============================================================================== c | 0 | 3992 4342 1320846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20597 c Elapsed CPU time: 133.776 s Remaining CPU time: 46.2243 s c =============================================================================== c | 0 | 3992 4343 1324696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20596 c Elapsed CPU time: 134.539 s Remaining CPU time: 45.4615 s c =============================================================================== c | 0 | 3992 4344 1328546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20595 c Elapsed CPU time: 135.309 s Remaining CPU time: 44.6906 s c =============================================================================== c | 0 | 3992 4345 1332396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20594 c Elapsed CPU time: 136.078 s Remaining CPU time: 43.9217 s c =============================================================================== c | 0 | 3992 4346 1336246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20593 c Elapsed CPU time: 136.898 s Remaining CPU time: 43.1018 s c =============================================================================== c | 0 | 3992 4347 1340096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20591 c Elapsed CPU time: 137.705 s Remaining CPU time: 42.2949 s c =============================================================================== c | 0 | 3992 4348 1343946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20590 c Elapsed CPU time: 138.54 s Remaining CPU time: 41.4601 s c =============================================================================== c | 0 | 3992 4349 1347796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20589 c Elapsed CPU time: 139.34 s Remaining CPU time: 40.6602 s c =============================================================================== c | 0 | 3992 4350 1351646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20588 c Elapsed CPU time: 140.119 s Remaining CPU time: 39.8813 s c =============================================================================== c | 0 | 3992 4351 1355496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20587 c Elapsed CPU time: 140.931 s Remaining CPU time: 39.0694 s c =============================================================================== c | 0 | 3992 4352 1359346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20586 c Elapsed CPU time: 141.726 s Remaining CPU time: 38.2735 s c =============================================================================== c | 0 | 3992 4353 1363196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20585 c Elapsed CPU time: 142.529 s Remaining CPU time: 37.4707 s c =============================================================================== c | 0 | 3992 4354 1367046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20584 c Elapsed CPU time: 143.324 s Remaining CPU time: 36.6758 s c =============================================================================== c | 0 | 3992 4355 1370896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20583 c Elapsed CPU time: 144.13 s Remaining CPU time: 35.8699 s c =============================================================================== c | 0 | 3992 4356 1374746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20581 c Elapsed CPU time: 144.92 s Remaining CPU time: 35.08 s c =============================================================================== c | 0 | 3992 4357 1378596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20579 c Elapsed CPU time: 145.724 s Remaining CPU time: 34.2762 s c =============================================================================== c | 0 | 3992 4358 1382446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20578 c Elapsed CPU time: 146.532 s Remaining CPU time: 33.4683 s c =============================================================================== c | 0 | 3992 4359 1386296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20576 c Elapsed CPU time: 147.349 s Remaining CPU time: 32.6514 s c =============================================================================== c | 0 | 3992 4360 1390146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20575 c Elapsed CPU time: 148.186 s Remaining CPU time: 31.8135 s c =============================================================================== c | 0 | 3992 4361 1393996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20574 c Elapsed CPU time: 149.014 s Remaining CPU time: 30.9857 s c =============================================================================== c | 0 | 3992 4362 1397846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20573 c Elapsed CPU time: 149.819 s Remaining CPU time: 30.1808 s c =============================================================================== c | 0 | 3992 4363 1401696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20572 c Elapsed CPU time: 150.644 s Remaining CPU time: 29.3559 s c =============================================================================== c | 0 | 3992 4364 1405546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20571 c Elapsed CPU time: 151.449 s Remaining CPU time: 28.551 s c =============================================================================== c | 0 | 3992 4365 1409396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20570 c Elapsed CPU time: 152.255 s Remaining CPU time: 27.7451 s c =============================================================================== c | 0 | 3992 4366 1413246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20569 c Elapsed CPU time: 153.085 s Remaining CPU time: 26.9153 s c =============================================================================== c | 0 | 3992 4367 1417096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20567 c Elapsed CPU time: 153.898 s Remaining CPU time: 26.1024 s c =============================================================================== c | 0 | 3992 4368 1420946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20565 c Elapsed CPU time: 154.697 s Remaining CPU time: 25.3025 s c =============================================================================== c | 0 | 3992 4369 1424796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20564 c Elapsed CPU time: 155.493 s Remaining CPU time: 24.5066 s c =============================================================================== c | 0 | 3992 4370 1428646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20563 c Elapsed CPU time: 156.306 s Remaining CPU time: 23.6938 s c =============================================================================== c | 0 | 3992 4371 1432496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20562 c Elapsed CPU time: 157.117 s Remaining CPU time: 22.8829 s c =============================================================================== c | 0 | 3992 4372 1436346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20561 c Elapsed CPU time: 157.913 s Remaining CPU time: 22.087 s c =============================================================================== c | 0 | 3992 4373 1440196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20560 c Elapsed CPU time: 158.72 s Remaining CPU time: 21.2801 s c =============================================================================== c | 0 | 3992 4374 1444046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20559 c Elapsed CPU time: 159.506 s Remaining CPU time: 20.4942 s c =============================================================================== c | 0 | 3992 4375 1447896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20557 c Elapsed CPU time: 160.3 s Remaining CPU time: 19.7004 s c =============================================================================== c | 0 | 3992 4376 1451746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20556 c Elapsed CPU time: 161.092 s Remaining CPU time: 18.9085 s c =============================================================================== c | 0 | 3992 4377 1455596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20553 c Elapsed CPU time: 161.879 s Remaining CPU time: 18.1206 s c =============================================================================== c | 0 | 3992 4378 1459446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20552 c Elapsed CPU time: 162.685 s Remaining CPU time: 17.3147 s c =============================================================================== c | 0 | 3992 4379 1463296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20550 c Elapsed CPU time: 163.488 s Remaining CPU time: 16.5119 s c =============================================================================== c | 0 | 3992 4380 1467146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20549 c Elapsed CPU time: 164.304 s Remaining CPU time: 15.696 s c =============================================================================== c | 0 | 3992 4381 1470996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20547 c Elapsed CPU time: 165.126 s Remaining CPU time: 14.8741 s c =============================================================================== c | 0 | 3992 4382 1474846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20546 c Elapsed CPU time: 165.941 s Remaining CPU time: 14.0592 s c =============================================================================== c | 0 | 3992 4383 1478696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20545 c Elapsed CPU time: 166.777 s Remaining CPU time: 13.2234 s c =============================================================================== c | 0 | 3992 4384 1482546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20544 c Elapsed CPU time: 167.603 s Remaining CPU time: 12.3975 s c =============================================================================== c | 0 | 3992 4385 1486396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20543 c Elapsed CPU time: 168.427 s Remaining CPU time: 11.5726 s c =============================================================================== c | 0 | 3992 4386 1490246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20541 c Elapsed CPU time: 169.25 s Remaining CPU time: 10.7497 s c =============================================================================== c | 1 | 3992 4387 1494096 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20539 c Elapsed CPU time: 170.091 s Remaining CPU time: 9.90886 s c =============================================================================== c | 1 | 3992 4388 1497946 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20538 c Elapsed CPU time: 170.915 s Remaining CPU time: 9.08498 s c =============================================================================== c | 1 | 3992 4389 1501796 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20537 c Elapsed CPU time: 171.771 s Remaining CPU time: 8.22911 s c =============================================================================== c | 1 | 3992 4390 1505646 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20536 c Elapsed CPU time: 172.607 s Remaining CPU time: 7.39324 s c =============================================================================== c | 1 | 3992 4391 1509496 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20535 c Elapsed CPU time: 173.484 s Remaining CPU time: 6.51637 s c =============================================================================== c | 1 | 3992 4392 1513346 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20534 c Elapsed CPU time: 174.315 s Remaining CPU time: 5.6845 s c =============================================================================== c | 1 | 3992 4393 1517196 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20533 c Elapsed CPU time: 175.182 s Remaining CPU time: 4.81763 s c =============================================================================== c | 1 | 3992 4394 1521046 | 5000 1 3763 | 0.000 % | c =============================================================================== c New solution: 20532 c Elapsed CPU time: 176.105 s Remaining CPU time: 3.89477 s c =============================================================================== c | 2 | 3992 4395 1524896 | 5000 2 3761 | 0.000 % | c =============================================================================== c New solution: 20530 c Elapsed CPU time: 176.979 s Remaining CPU time: 3.0209 s c =============================================================================== c | 2 | 3992 4396 1528746 | 5000 2 3761 | 0.000 % | c =============================================================================== c New solution: 20529 c Elapsed CPU time: 177.817 s Remaining CPU time: 2.18303 s c =============================================================================== c | 2 | 3992 4397 1532596 | 5000 2 3761 | 0.000 % | c =============================================================================== c New solution: 20528 c Elapsed CPU time: 178.668 s Remaining CPU time: 1.33216 s c =============================================================================== c | 2 | 3992 4398 1536446 | 5000 2 3761 | 0.000 % | c =============================================================================== c New solution: 20527 c Elapsed CPU time: 179.733 s Remaining CPU time: 0.267324 s c =============================================================================== c | 3 | 3992 4399 1540296 | 5000 3 3760 | 0.000 % | c There are 8 assigned variables. 2 in cost function.