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 | 3985 4007 11839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21369 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 3985 4008 15689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21360 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 3985 4009 19539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21355 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 3985 4010 23389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21354 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 3985 4011 27239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21350 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 0 | 3985 4012 31089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21345 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 0 | 3985 4013 34939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21341 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 3985 4014 38789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21337 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 0 | 3985 4015 42639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21336 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 0 | 3985 4016 46489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21335 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 0 | 3985 4017 50339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21333 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 0 | 3985 4018 54189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21332 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 0 | 3985 4019 58039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21329 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 0 | 3985 4020 61889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21328 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 0 | 3985 4021 65739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21326 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 0 | 3985 4022 69589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21325 c Elapsed CPU time: 0.992849 s Remaining CPU time: 179.007 s c =============================================================================== c | 0 | 3985 4023 73439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21324 c Elapsed CPU time: 1.05884 s Remaining CPU time: 178.941 s c =============================================================================== c | 0 | 3985 4024 77289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21322 c Elapsed CPU time: 1.13283 s Remaining CPU time: 178.867 s c =============================================================================== c | 0 | 3985 4025 81139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21321 c Elapsed CPU time: 1.20882 s Remaining CPU time: 178.791 s c =============================================================================== c | 0 | 3985 4026 84989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21319 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 0 | 3985 4027 88839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21314 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s c =============================================================================== c | 0 | 3985 4028 92689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21309 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 0 | 3985 4029 96539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21305 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 0 | 3985 4030 100389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21300 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 0 | 3985 4031 104239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21295 c Elapsed CPU time: 1.69674 s Remaining CPU time: 178.303 s c =============================================================================== c | 0 | 3985 4032 108089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21290 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s c =============================================================================== c | 0 | 3985 4033 111939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21288 c Elapsed CPU time: 1.87271 s Remaining CPU time: 178.127 s c =============================================================================== c | 0 | 3985 4034 115789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21286 c Elapsed CPU time: 1.9697 s Remaining CPU time: 178.03 s c =============================================================================== c | 0 | 3985 4035 119639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21285 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 0 | 3985 4036 123489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21284 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 0 | 3985 4037 127339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21283 c Elapsed CPU time: 2.26666 s Remaining CPU time: 177.733 s c =============================================================================== c | 0 | 3985 4038 131189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21282 c Elapsed CPU time: 2.36864 s Remaining CPU time: 177.631 s c =============================================================================== c | 0 | 3985 4039 135039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21281 c Elapsed CPU time: 2.47462 s Remaining CPU time: 177.525 s c =============================================================================== c | 0 | 3985 4040 138889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21280 c Elapsed CPU time: 2.58161 s Remaining CPU time: 177.418 s c =============================================================================== c | 0 | 3985 4041 142739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21279 c Elapsed CPU time: 2.68759 s Remaining CPU time: 177.312 s c =============================================================================== c | 0 | 3985 4042 146589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21278 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s c =============================================================================== c | 0 | 3985 4043 150439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21276 c Elapsed CPU time: 2.90756 s Remaining CPU time: 177.092 s c =============================================================================== c | 0 | 3985 4044 154289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21274 c Elapsed CPU time: 3.02354 s Remaining CPU time: 176.976 s c =============================================================================== c | 0 | 3985 4045 158139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21271 c Elapsed CPU time: 3.13652 s Remaining CPU time: 176.863 s c =============================================================================== c | 0 | 3985 4046 161989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21267 c Elapsed CPU time: 3.2505 s Remaining CPU time: 176.749 s c =============================================================================== c | 0 | 3985 4047 165839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21265 c Elapsed CPU time: 3.36849 s Remaining CPU time: 176.632 s c =============================================================================== c | 0 | 3985 4048 169689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21262 c Elapsed CPU time: 3.49147 s Remaining CPU time: 176.509 s c =============================================================================== c | 0 | 3985 4049 173539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21260 c Elapsed CPU time: 3.61345 s Remaining CPU time: 176.387 s c =============================================================================== c | 0 | 3985 4050 177389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21259 c Elapsed CPU time: 3.74543 s Remaining CPU time: 176.255 s c =============================================================================== c | 0 | 3985 4051 181239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21255 c Elapsed CPU time: 3.87241 s Remaining CPU time: 176.128 s c =============================================================================== c | 0 | 3985 4052 185089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21254 c Elapsed CPU time: 4.00539 s Remaining CPU time: 175.995 s c =============================================================================== c | 0 | 3985 4053 188939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21253 c Elapsed CPU time: 4.13937 s Remaining CPU time: 175.861 s c =============================================================================== c | 0 | 3985 4054 192789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21252 c Elapsed CPU time: 4.28035 s Remaining CPU time: 175.72 s c =============================================================================== c | 0 | 3985 4055 196639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21251 c Elapsed CPU time: 4.41633 s Remaining CPU time: 175.584 s c =============================================================================== c | 0 | 3985 4056 200489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21249 c Elapsed CPU time: 4.55431 s Remaining CPU time: 175.446 s c =============================================================================== c | 0 | 3985 4057 204339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21247 c Elapsed CPU time: 4.69829 s Remaining CPU time: 175.302 s c =============================================================================== c | 0 | 3985 4058 208189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21246 c Elapsed CPU time: 4.84526 s Remaining CPU time: 175.155 s c =============================================================================== c | 0 | 3985 4059 212039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21245 c Elapsed CPU time: 4.99124 s Remaining CPU time: 175.009 s c =============================================================================== c | 0 | 3985 4060 215889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21243 c Elapsed CPU time: 5.13922 s Remaining CPU time: 174.861 s c =============================================================================== c | 0 | 3985 4061 219739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21241 c Elapsed CPU time: 5.29319 s Remaining CPU time: 174.707 s c =============================================================================== c | 0 | 3985 4062 223589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21240 c Elapsed CPU time: 5.45417 s Remaining CPU time: 174.546 s c =============================================================================== c | 0 | 3985 4063 227439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21238 c Elapsed CPU time: 5.60915 s Remaining CPU time: 174.391 s c =============================================================================== c | 0 | 3985 4064 231289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21237 c Elapsed CPU time: 5.77612 s Remaining CPU time: 174.224 s c =============================================================================== c | 0 | 3985 4065 235139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21236 c Elapsed CPU time: 5.9461 s Remaining CPU time: 174.054 s c =============================================================================== c | 0 | 3985 4066 238989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21234 c Elapsed CPU time: 6.12007 s Remaining CPU time: 173.88 s c =============================================================================== c | 0 | 3985 4067 242839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21233 c Elapsed CPU time: 6.29804 s Remaining CPU time: 173.702 s c =============================================================================== c | 0 | 3985 4068 246689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21232 c Elapsed CPU time: 6.47202 s Remaining CPU time: 173.528 s c =============================================================================== c | 0 | 3985 4069 250539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21231 c Elapsed CPU time: 6.65399 s Remaining CPU time: 173.346 s c =============================================================================== c | 0 | 3985 4070 254389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21230 c Elapsed CPU time: 6.83696 s Remaining CPU time: 173.163 s c =============================================================================== c | 0 | 3985 4071 258239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21228 c Elapsed CPU time: 7.01693 s Remaining CPU time: 172.983 s c =============================================================================== c | 0 | 3985 4072 262089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21227 c Elapsed CPU time: 7.19991 s Remaining CPU time: 172.8 s c =============================================================================== c | 0 | 3985 4073 265939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21226 c Elapsed CPU time: 7.38888 s Remaining CPU time: 172.611 s c =============================================================================== c | 0 | 3985 4074 269789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21225 c Elapsed CPU time: 7.57685 s Remaining CPU time: 172.423 s c =============================================================================== c | 0 | 3985 4075 273639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21222 c Elapsed CPU time: 7.76882 s Remaining CPU time: 172.231 s c =============================================================================== c | 0 | 3985 4076 277489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21221 c Elapsed CPU time: 7.96979 s Remaining CPU time: 172.03 s c =============================================================================== c | 0 | 3985 4077 281339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21218 c Elapsed CPU time: 8.17376 s Remaining CPU time: 171.826 s c =============================================================================== c | 0 | 3985 4078 285189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21217 c Elapsed CPU time: 8.38172 s Remaining CPU time: 171.618 s c =============================================================================== c | 0 | 3985 4079 289039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21216 c Elapsed CPU time: 8.59269 s Remaining CPU time: 171.407 s c =============================================================================== c | 0 | 3985 4080 292889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21214 c Elapsed CPU time: 8.79666 s Remaining CPU time: 171.203 s c =============================================================================== c | 0 | 3985 4081 296739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21211 c Elapsed CPU time: 9.01463 s Remaining CPU time: 170.985 s c =============================================================================== c | 0 | 3985 4082 300589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21208 c Elapsed CPU time: 9.2326 s Remaining CPU time: 170.767 s c =============================================================================== c | 0 | 3985 4083 304439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21206 c Elapsed CPU time: 9.44956 s Remaining CPU time: 170.55 s c =============================================================================== c | 0 | 3985 4084 308289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21205 c Elapsed CPU time: 9.66753 s Remaining CPU time: 170.332 s c =============================================================================== c | 0 | 3985 4085 312139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21202 c Elapsed CPU time: 9.8865 s Remaining CPU time: 170.114 s c =============================================================================== c | 0 | 3985 4086 315989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21197 c Elapsed CPU time: 10.1085 s Remaining CPU time: 169.892 s c =============================================================================== c | 0 | 3985 4087 319839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21196 c Elapsed CPU time: 10.3384 s Remaining CPU time: 169.662 s c =============================================================================== c | 0 | 3985 4088 323689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21195 c Elapsed CPU time: 10.5724 s Remaining CPU time: 169.428 s c =============================================================================== c | 0 | 3985 4089 327539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21192 c Elapsed CPU time: 10.8094 s Remaining CPU time: 169.191 s c =============================================================================== c | 0 | 3985 4090 331389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21190 c Elapsed CPU time: 11.0443 s Remaining CPU time: 168.956 s c =============================================================================== c | 0 | 3985 4091 335239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21187 c Elapsed CPU time: 11.2803 s Remaining CPU time: 168.72 s c =============================================================================== c | 0 | 3985 4092 339089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21186 c Elapsed CPU time: 11.5222 s Remaining CPU time: 168.478 s c =============================================================================== c | 0 | 3985 4093 342939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21185 c Elapsed CPU time: 11.7702 s Remaining CPU time: 168.23 s c =============================================================================== c | 0 | 3985 4094 346789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21182 c Elapsed CPU time: 12.0192 s Remaining CPU time: 167.981 s c =============================================================================== c | 0 | 3985 4095 350639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21181 c Elapsed CPU time: 12.2711 s Remaining CPU time: 167.729 s c =============================================================================== c | 0 | 3985 4096 354489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21180 c Elapsed CPU time: 12.5261 s Remaining CPU time: 167.474 s c =============================================================================== c | 0 | 3985 4097 358339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21179 c Elapsed CPU time: 12.7821 s Remaining CPU time: 167.218 s c =============================================================================== c | 0 | 3985 4098 362189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21176 c Elapsed CPU time: 13.039 s Remaining CPU time: 166.961 s c =============================================================================== c | 0 | 3985 4099 366039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21174 c Elapsed CPU time: 13.301 s Remaining CPU time: 166.699 s c =============================================================================== c | 0 | 3985 4100 369889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21171 c Elapsed CPU time: 13.5689 s Remaining CPU time: 166.431 s c =============================================================================== c | 0 | 3985 4101 373739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21170 c Elapsed CPU time: 13.8429 s Remaining CPU time: 166.157 s c =============================================================================== c | 0 | 3985 4102 377589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21168 c Elapsed CPU time: 14.1099 s Remaining CPU time: 165.89 s c =============================================================================== c | 0 | 3985 4103 381439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21167 c Elapsed CPU time: 14.3948 s Remaining CPU time: 165.605 s c =============================================================================== c | 0 | 3985 4104 385289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21166 c Elapsed CPU time: 14.6718 s Remaining CPU time: 165.328 s c =============================================================================== c | 0 | 3985 4105 389139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21165 c Elapsed CPU time: 14.9487 s Remaining CPU time: 165.051 s c =============================================================================== c | 0 | 3985 4106 392989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21162 c Elapsed CPU time: 15.2267 s Remaining CPU time: 164.773 s c =============================================================================== c | 0 | 3985 4107 396839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21161 c Elapsed CPU time: 15.5156 s Remaining CPU time: 164.484 s c =============================================================================== c | 0 | 3985 4108 400689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21160 c Elapsed CPU time: 15.8236 s Remaining CPU time: 164.176 s c =============================================================================== c | 0 | 3985 4109 404539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21159 c Elapsed CPU time: 16.1305 s Remaining CPU time: 163.869 s c =============================================================================== c | 0 | 3985 4110 408389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21158 c Elapsed CPU time: 16.4245 s Remaining CPU time: 163.575 s c =============================================================================== c | 0 | 3985 4111 412239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21157 c Elapsed CPU time: 16.7205 s Remaining CPU time: 163.28 s c =============================================================================== c | 0 | 3985 4112 416089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21155 c Elapsed CPU time: 17.0234 s Remaining CPU time: 162.977 s c =============================================================================== c | 0 | 3985 4113 419939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21153 c Elapsed CPU time: 17.3254 s Remaining CPU time: 162.675 s c =============================================================================== c | 0 | 3985 4114 423789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21151 c Elapsed CPU time: 17.6293 s Remaining CPU time: 162.371 s c =============================================================================== c | 0 | 3985 4115 427639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21150 c Elapsed CPU time: 17.9463 s Remaining CPU time: 162.054 s c =============================================================================== c | 0 | 3985 4116 431489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21149 c Elapsed CPU time: 18.2602 s Remaining CPU time: 161.74 s c =============================================================================== c | 0 | 3985 4117 435339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21147 c Elapsed CPU time: 18.5652 s Remaining CPU time: 161.435 s c =============================================================================== c | 0 | 3985 4118 439189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21143 c Elapsed CPU time: 18.8721 s Remaining CPU time: 161.128 s c =============================================================================== c | 0 | 3985 4119 443039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21142 c Elapsed CPU time: 19.1891 s Remaining CPU time: 160.811 s c =============================================================================== c | 0 | 3985 4120 446889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21141 c Elapsed CPU time: 19.504 s Remaining CPU time: 160.496 s c =============================================================================== c | 0 | 3985 4121 450739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21140 c Elapsed CPU time: 19.827 s Remaining CPU time: 160.173 s c =============================================================================== c | 0 | 3985 4122 454589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21137 c Elapsed CPU time: 20.1439 s Remaining CPU time: 159.856 s c =============================================================================== c | 0 | 3985 4123 458439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21134 c Elapsed CPU time: 20.4619 s Remaining CPU time: 159.538 s c =============================================================================== c | 0 | 3985 4124 462289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21133 c Elapsed CPU time: 20.8058 s Remaining CPU time: 159.194 s c =============================================================================== c | 0 | 3985 4125 466139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21132 c Elapsed CPU time: 21.1378 s Remaining CPU time: 158.862 s c =============================================================================== c | 0 | 3985 4126 469989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21131 c Elapsed CPU time: 21.4767 s Remaining CPU time: 158.523 s c =============================================================================== c | 0 | 3985 4127 473839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21130 c Elapsed CPU time: 21.8127 s Remaining CPU time: 158.187 s c =============================================================================== c | 0 | 3985 4128 477689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21128 c Elapsed CPU time: 22.1406 s Remaining CPU time: 157.859 s c =============================================================================== c | 0 | 3985 4129 481539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21126 c Elapsed CPU time: 22.4816 s Remaining CPU time: 157.518 s c =============================================================================== c | 0 | 3985 4130 485389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21123 c Elapsed CPU time: 22.8275 s Remaining CPU time: 157.172 s c =============================================================================== c | 0 | 3985 4131 489239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21119 c Elapsed CPU time: 23.1685 s Remaining CPU time: 156.832 s c =============================================================================== c | 0 | 3985 4132 493089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21117 c Elapsed CPU time: 23.5204 s Remaining CPU time: 156.48 s c =============================================================================== c | 0 | 3985 4133 496939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21116 c Elapsed CPU time: 23.8804 s Remaining CPU time: 156.12 s c =============================================================================== c | 0 | 3985 4134 500789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21114 c Elapsed CPU time: 24.2353 s Remaining CPU time: 155.765 s c =============================================================================== c | 0 | 3985 4135 504639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21113 c Elapsed CPU time: 24.6013 s Remaining CPU time: 155.399 s c =============================================================================== c | 0 | 3985 4136 508489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21111 c Elapsed CPU time: 24.9612 s Remaining CPU time: 155.039 s c =============================================================================== c | 0 | 3985 4137 512339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21110 c Elapsed CPU time: 25.3152 s Remaining CPU time: 154.685 s c =============================================================================== c | 0 | 3985 4138 516189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21107 c Elapsed CPU time: 25.6671 s Remaining CPU time: 154.333 s c =============================================================================== c | 0 | 3985 4139 520039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21106 c Elapsed CPU time: 26.027 s Remaining CPU time: 153.973 s c =============================================================================== c | 0 | 3985 4140 523889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21105 c Elapsed CPU time: 26.388 s Remaining CPU time: 153.612 s c =============================================================================== c | 0 | 3985 4141 527739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21102 c Elapsed CPU time: 26.7539 s Remaining CPU time: 153.246 s c =============================================================================== c | 0 | 3985 4142 531589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21101 c Elapsed CPU time: 27.1259 s Remaining CPU time: 152.874 s c =============================================================================== c | 0 | 3985 4143 535439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21097 c Elapsed CPU time: 27.4918 s Remaining CPU time: 152.508 s c =============================================================================== c | 0 | 3985 4144 539289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21093 c Elapsed CPU time: 27.8578 s Remaining CPU time: 152.142 s c =============================================================================== c | 0 | 3985 4145 543139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21091 c Elapsed CPU time: 28.2307 s Remaining CPU time: 151.769 s c =============================================================================== c | 0 | 3985 4146 546989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21090 c Elapsed CPU time: 28.6117 s Remaining CPU time: 151.388 s c =============================================================================== c | 0 | 3985 4147 550839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21089 c Elapsed CPU time: 28.9896 s Remaining CPU time: 151.01 s c =============================================================================== c | 0 | 3985 4148 554689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21088 c Elapsed CPU time: 29.3685 s Remaining CPU time: 150.631 s c =============================================================================== c | 0 | 3985 4149 558539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21086 c Elapsed CPU time: 29.7545 s Remaining CPU time: 150.246 s c =============================================================================== c | 0 | 3985 4150 562389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21085 c Elapsed CPU time: 30.1384 s Remaining CPU time: 149.862 s c =============================================================================== c | 0 | 3985 4151 566239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21082 c Elapsed CPU time: 30.5224 s Remaining CPU time: 149.478 s c =============================================================================== c | 0 | 3985 4152 570089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21080 c Elapsed CPU time: 30.9093 s Remaining CPU time: 149.091 s c =============================================================================== c | 0 | 3985 4153 573939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21079 c Elapsed CPU time: 31.2992 s Remaining CPU time: 148.701 s c =============================================================================== c | 0 | 3985 4154 577789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21078 c Elapsed CPU time: 31.6982 s Remaining CPU time: 148.302 s c =============================================================================== c | 0 | 3985 4155 581639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21077 c Elapsed CPU time: 32.0891 s Remaining CPU time: 147.911 s c =============================================================================== c | 0 | 3985 4156 585489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21075 c Elapsed CPU time: 32.5001 s Remaining CPU time: 147.5 s c =============================================================================== c | 0 | 3985 4157 589339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21073 c Elapsed CPU time: 32.919 s Remaining CPU time: 147.081 s c =============================================================================== c | 0 | 3985 4158 593189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21072 c Elapsed CPU time: 33.3279 s Remaining CPU time: 146.672 s c =============================================================================== c | 0 | 3985 4159 597039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21071 c Elapsed CPU time: 33.7379 s Remaining CPU time: 146.262 s c =============================================================================== c | 0 | 3985 4160 600889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21070 c Elapsed CPU time: 34.1548 s Remaining CPU time: 145.845 s c =============================================================================== c | 0 | 3985 4161 604739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21069 c Elapsed CPU time: 34.5657 s Remaining CPU time: 145.434 s c =============================================================================== c | 0 | 3985 4162 608589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21068 c Elapsed CPU time: 34.9867 s Remaining CPU time: 145.013 s c =============================================================================== c | 0 | 3985 4163 612439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21067 c Elapsed CPU time: 35.4126 s Remaining CPU time: 144.587 s c =============================================================================== c | 0 | 3985 4164 616289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21066 c Elapsed CPU time: 35.8396 s Remaining CPU time: 144.16 s c =============================================================================== c | 0 | 3985 4165 620139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21065 c Elapsed CPU time: 36.2555 s Remaining CPU time: 143.745 s c =============================================================================== c | 0 | 3985 4166 623989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21064 c Elapsed CPU time: 36.6894 s Remaining CPU time: 143.311 s c =============================================================================== c | 0 | 3985 4167 627839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21061 c Elapsed CPU time: 37.1194 s Remaining CPU time: 142.881 s c =============================================================================== c | 0 | 3985 4168 631689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21060 c Elapsed CPU time: 37.5453 s Remaining CPU time: 142.455 s c =============================================================================== c | 0 | 3985 4169 635539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21059 c Elapsed CPU time: 37.9752 s Remaining CPU time: 142.025 s c =============================================================================== c | 0 | 3985 4170 639389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21057 c Elapsed CPU time: 38.4042 s Remaining CPU time: 141.596 s c =============================================================================== c | 0 | 3985 4171 643239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21055 c Elapsed CPU time: 38.8421 s Remaining CPU time: 141.158 s c =============================================================================== c | 0 | 3985 4172 647089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21054 c Elapsed CPU time: 39.281 s Remaining CPU time: 140.719 s c =============================================================================== c | 0 | 3985 4173 650939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21052 c Elapsed CPU time: 39.715 s Remaining CPU time: 140.285 s c =============================================================================== c | 0 | 3985 4174 654789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21051 c Elapsed CPU time: 40.1729 s Remaining CPU time: 139.827 s c =============================================================================== c | 0 | 3985 4175 658639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21049 c Elapsed CPU time: 40.6158 s Remaining CPU time: 139.384 s c =============================================================================== c | 0 | 3985 4176 662489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21048 c Elapsed CPU time: 41.0718 s Remaining CPU time: 138.928 s c =============================================================================== c | 0 | 3985 4177 666339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21047 c Elapsed CPU time: 41.5227 s Remaining CPU time: 138.477 s c =============================================================================== c | 0 | 3985 4178 670189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21046 c Elapsed CPU time: 41.9796 s Remaining CPU time: 138.02 s c =============================================================================== c | 0 | 3985 4179 674039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21045 c Elapsed CPU time: 42.4365 s Remaining CPU time: 137.563 s c =============================================================================== c | 0 | 3985 4180 677889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21044 c Elapsed CPU time: 42.9015 s Remaining CPU time: 137.099 s c =============================================================================== c | 0 | 3985 4181 681739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21042 c Elapsed CPU time: 43.3694 s Remaining CPU time: 136.631 s c =============================================================================== c | 0 | 3985 4182 685589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21041 c Elapsed CPU time: 43.8493 s Remaining CPU time: 136.151 s c =============================================================================== c | 0 | 3985 4183 689439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21038 c Elapsed CPU time: 44.3143 s Remaining CPU time: 135.686 s c =============================================================================== c | 0 | 3985 4184 693289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21036 c Elapsed CPU time: 44.7852 s Remaining CPU time: 135.215 s c =============================================================================== c | 0 | 3985 4185 697139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21034 c Elapsed CPU time: 45.2641 s Remaining CPU time: 134.736 s c =============================================================================== c | 0 | 3985 4186 700989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21032 c Elapsed CPU time: 45.732 s Remaining CPU time: 134.268 s c =============================================================================== c | 0 | 3985 4187 704839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21031 c Elapsed CPU time: 46.216 s Remaining CPU time: 133.784 s c =============================================================================== c | 0 | 3985 4188 708689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21029 c Elapsed CPU time: 46.7059 s Remaining CPU time: 133.294 s c =============================================================================== c | 0 | 3985 4189 712539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21028 c Elapsed CPU time: 47.1918 s Remaining CPU time: 132.808 s c =============================================================================== c | 0 | 3985 4190 716389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21027 c Elapsed CPU time: 47.6808 s Remaining CPU time: 132.319 s c =============================================================================== c | 0 | 3985 4191 720239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21026 c Elapsed CPU time: 48.1877 s Remaining CPU time: 131.812 s c =============================================================================== c | 0 | 3985 4192 724089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21025 c Elapsed CPU time: 48.7106 s Remaining CPU time: 131.289 s c =============================================================================== c | 0 | 3985 4193 727939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21022 c Elapsed CPU time: 49.2255 s Remaining CPU time: 130.774 s c =============================================================================== c | 0 | 3985 4194 731789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21021 c Elapsed CPU time: 49.7474 s Remaining CPU time: 130.253 s c =============================================================================== c | 0 | 3985 4195 735639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21020 c Elapsed CPU time: 50.2614 s Remaining CPU time: 129.739 s c =============================================================================== c | 0 | 3985 4196 739489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21019 c Elapsed CPU time: 50.7913 s Remaining CPU time: 129.209 s c =============================================================================== c | 0 | 3985 4197 743339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21017 c Elapsed CPU time: 51.3252 s Remaining CPU time: 128.675 s c =============================================================================== c | 0 | 3985 4198 747189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21016 c Elapsed CPU time: 51.8541 s Remaining CPU time: 128.146 s c =============================================================================== c | 0 | 3985 4199 751039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21015 c Elapsed CPU time: 52.391 s Remaining CPU time: 127.609 s c =============================================================================== c | 0 | 3985 4200 754889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21014 c Elapsed CPU time: 52.905 s Remaining CPU time: 127.095 s c =============================================================================== c | 0 | 3985 4201 758739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21011 c Elapsed CPU time: 53.4229 s Remaining CPU time: 126.577 s c =============================================================================== c | 0 | 3985 4202 762589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21010 c Elapsed CPU time: 53.9458 s Remaining CPU time: 126.054 s c =============================================================================== c | 0 | 3985 4203 766439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21009 c Elapsed CPU time: 54.4767 s Remaining CPU time: 125.523 s c =============================================================================== c | 0 | 3985 4204 770289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21008 c Elapsed CPU time: 54.9956 s Remaining CPU time: 125.004 s c =============================================================================== c | 0 | 3985 4205 774139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21007 c Elapsed CPU time: 55.5266 s Remaining CPU time: 124.473 s c =============================================================================== c | 0 | 3985 4206 777989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21004 c Elapsed CPU time: 56.0735 s Remaining CPU time: 123.927 s c =============================================================================== c | 0 | 3985 4207 781839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21003 c Elapsed CPU time: 56.6054 s Remaining CPU time: 123.395 s c =============================================================================== c | 0 | 3985 4208 785689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21001 c Elapsed CPU time: 57.1393 s Remaining CPU time: 122.861 s c =============================================================================== c | 0 | 3985 4209 789539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21000 c Elapsed CPU time: 57.6932 s Remaining CPU time: 122.307 s c =============================================================================== c | 0 | 3985 4210 793389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20999 c Elapsed CPU time: 58.2641 s Remaining CPU time: 121.736 s c =============================================================================== c | 0 | 3985 4211 797239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20998 c Elapsed CPU time: 58.8231 s Remaining CPU time: 121.177 s c =============================================================================== c | 0 | 3985 4212 801089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20997 c Elapsed CPU time: 59.389 s Remaining CPU time: 120.611 s c =============================================================================== c | 0 | 3985 4213 804939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20996 c Elapsed CPU time: 59.9509 s Remaining CPU time: 120.049 s c =============================================================================== c | 0 | 3985 4214 808789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20995 c Elapsed CPU time: 60.5178 s Remaining CPU time: 119.482 s c =============================================================================== c | 0 | 3985 4215 812639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20994 c Elapsed CPU time: 61.0747 s Remaining CPU time: 118.925 s c =============================================================================== c | 0 | 3985 4216 816489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20993 c Elapsed CPU time: 61.6416 s Remaining CPU time: 118.358 s c =============================================================================== c | 0 | 3985 4217 820339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20991 c Elapsed CPU time: 62.2315 s Remaining CPU time: 117.768 s c =============================================================================== c | 0 | 3985 4218 824189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20990 c Elapsed CPU time: 62.8154 s Remaining CPU time: 117.185 s c =============================================================================== c | 0 | 3985 4219 828039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20987 c Elapsed CPU time: 63.3844 s Remaining CPU time: 116.616 s c =============================================================================== c | 0 | 3985 4220 831889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20986 c Elapsed CPU time: 63.9483 s Remaining CPU time: 116.052 s c =============================================================================== c | 0 | 3985 4221 835739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20985 c Elapsed CPU time: 64.5222 s Remaining CPU time: 115.478 s c =============================================================================== c | 0 | 3985 4222 839589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20983 c Elapsed CPU time: 65.1021 s Remaining CPU time: 114.898 s c =============================================================================== c | 0 | 3985 4223 843439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20982 c Elapsed CPU time: 65.671 s Remaining CPU time: 114.329 s c =============================================================================== c | 0 | 3985 4224 847289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20981 c Elapsed CPU time: 66.2419 s Remaining CPU time: 113.758 s c =============================================================================== c | 0 | 3985 4225 851139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20980 c Elapsed CPU time: 66.8498 s Remaining CPU time: 113.15 s c =============================================================================== c | 0 | 3985 4226 854989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20979 c Elapsed CPU time: 67.4597 s Remaining CPU time: 112.54 s c =============================================================================== c | 0 | 3985 4227 858839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20976 c Elapsed CPU time: 68.0737 s Remaining CPU time: 111.926 s c =============================================================================== c | 0 | 3985 4228 862689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20975 c Elapsed CPU time: 68.6866 s Remaining CPU time: 111.313 s c =============================================================================== c | 0 | 3985 4229 866539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20974 c Elapsed CPU time: 69.2875 s Remaining CPU time: 110.713 s c =============================================================================== c | 0 | 3985 4230 870389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20973 c Elapsed CPU time: 69.8984 s Remaining CPU time: 110.102 s c =============================================================================== c | 0 | 3985 4231 874239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20972 c Elapsed CPU time: 70.5283 s Remaining CPU time: 109.472 s c =============================================================================== c | 0 | 3985 4232 878089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20971 c Elapsed CPU time: 71.1482 s Remaining CPU time: 108.852 s c =============================================================================== c | 0 | 3985 4233 881939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20970 c Elapsed CPU time: 71.7671 s Remaining CPU time: 108.233 s c =============================================================================== c | 0 | 3985 4234 885789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20969 c Elapsed CPU time: 72.394 s Remaining CPU time: 107.606 s c =============================================================================== c | 0 | 3985 4235 889639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20968 c Elapsed CPU time: 73.0439 s Remaining CPU time: 106.956 s c =============================================================================== c | 0 | 3985 4236 893489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20967 c Elapsed CPU time: 73.6808 s Remaining CPU time: 106.319 s c =============================================================================== c | 0 | 3985 4237 897339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20966 c Elapsed CPU time: 74.3237 s Remaining CPU time: 105.676 s c =============================================================================== c | 0 | 3985 4238 901189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20964 c Elapsed CPU time: 74.9816 s Remaining CPU time: 105.018 s c =============================================================================== c | 0 | 3985 4239 905039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20963 c Elapsed CPU time: 75.6405 s Remaining CPU time: 104.359 s c =============================================================================== c | 0 | 3985 4240 908889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20962 c Elapsed CPU time: 76.2994 s Remaining CPU time: 103.701 s c =============================================================================== c | 0 | 3985 4241 912739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20961 c Elapsed CPU time: 76.9483 s Remaining CPU time: 103.052 s c =============================================================================== c | 0 | 3985 4242 916589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20960 c Elapsed CPU time: 77.5922 s Remaining CPU time: 102.408 s c =============================================================================== c | 0 | 3985 4243 920439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20959 c Elapsed CPU time: 78.2481 s Remaining CPU time: 101.752 s c =============================================================================== c | 0 | 3985 4244 924289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20957 c Elapsed CPU time: 78.904 s Remaining CPU time: 101.096 s c =============================================================================== c | 0 | 3985 4245 928139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20956 c Elapsed CPU time: 79.5569 s Remaining CPU time: 100.443 s c =============================================================================== c | 0 | 3985 4246 931989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20955 c Elapsed CPU time: 80.2068 s Remaining CPU time: 99.7932 s c =============================================================================== c | 0 | 3985 4247 935839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20953 c Elapsed CPU time: 80.8657 s Remaining CPU time: 99.1343 s c =============================================================================== c | 2 | 3985 4248 939689 | 5000 2 3791 | 0.000 % | c =============================================================================== c New solution: 20951 c Elapsed CPU time: 81.5536 s Remaining CPU time: 98.4464 s c =============================================================================== c | 2 | 3985 4249 943539 | 5000 2 3791 | 0.000 % | c =============================================================================== c New solution: 20949 c Elapsed CPU time: 82.2735 s Remaining CPU time: 97.7265 s c =============================================================================== c | 2 | 3985 4250 947389 | 5000 2 3791 | 0.000 % | c =============================================================================== c New solution: 20948 c Elapsed CPU time: 82.9844 s Remaining CPU time: 97.0156 s c =============================================================================== c | 2 | 3985 4251 951239 | 5000 2 3791 | 0.000 % | c =============================================================================== c New solution: 20947 c Elapsed CPU time: 83.6933 s Remaining CPU time: 96.3067 s c =============================================================================== c | 2 | 3985 4252 955089 | 5000 2 3791 | 0.000 % | c =============================================================================== c New solution: 20946 c Elapsed CPU time: 84.3862 s Remaining CPU time: 95.6138 s c =============================================================================== c | 2 | 3985 4253 958939 | 5000 2 3791 | 0.000 % | c =============================================================================== c New solution: 20944 c Elapsed CPU time: 85.1141 s Remaining CPU time: 94.8859 s c =============================================================================== c | 3 | 3985 4254 962789 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20943 c Elapsed CPU time: 85.833 s Remaining CPU time: 94.167 s c =============================================================================== c | 3 | 3985 4255 966639 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20940 c Elapsed CPU time: 86.5568 s Remaining CPU time: 93.4432 s c =============================================================================== c | 3 | 3985 4256 970489 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20939 c Elapsed CPU time: 87.3057 s Remaining CPU time: 92.6943 s c =============================================================================== c | 3 | 3985 4257 974339 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20938 c Elapsed CPU time: 88.0596 s Remaining CPU time: 91.9404 s c =============================================================================== c | 3 | 3985 4258 978189 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20937 c Elapsed CPU time: 88.8205 s Remaining CPU time: 91.1795 s c =============================================================================== c | 3 | 3985 4259 982039 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20936 c Elapsed CPU time: 89.5494 s Remaining CPU time: 90.4506 s c =============================================================================== c | 3 | 3985 4260 985889 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20935 c Elapsed CPU time: 90.2833 s Remaining CPU time: 89.7167 s c =============================================================================== c | 3 | 3985 4261 989739 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20934 c Elapsed CPU time: 90.9952 s Remaining CPU time: 89.0048 s c =============================================================================== c | 3 | 3985 4262 993589 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20933 c Elapsed CPU time: 91.7171 s Remaining CPU time: 88.2829 s c =============================================================================== c | 3 | 3985 4263 997439 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20931 c Elapsed CPU time: 92.4589 s Remaining CPU time: 87.5411 s c =============================================================================== c | 3 | 3985 4264 1001289 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20928 c Elapsed CPU time: 93.2098 s Remaining CPU time: 86.7902 s c =============================================================================== c | 3 | 3985 4265 1005139 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20927 c Elapsed CPU time: 93.9617 s Remaining CPU time: 86.0383 s c =============================================================================== c | 3 | 3985 4266 1008989 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20926 c Elapsed CPU time: 94.6956 s Remaining CPU time: 85.3044 s c =============================================================================== c | 3 | 3985 4267 1012839 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20925 c Elapsed CPU time: 95.4435 s Remaining CPU time: 84.5565 s c =============================================================================== c | 3 | 3985 4268 1016689 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20924 c Elapsed CPU time: 96.2234 s Remaining CPU time: 83.7766 s c =============================================================================== c | 3 | 3985 4269 1020539 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20922 c Elapsed CPU time: 96.9553 s Remaining CPU time: 83.0447 s c =============================================================================== c | 3 | 3985 4270 1024389 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20921 c Elapsed CPU time: 97.6762 s Remaining CPU time: 82.3238 s c =============================================================================== c | 3 | 3985 4271 1028239 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20919 c Elapsed CPU time: 98.408 s Remaining CPU time: 81.592 s c =============================================================================== c | 3 | 3985 4272 1032089 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20918 c Elapsed CPU time: 99.1519 s Remaining CPU time: 80.8481 s c =============================================================================== c | 3 | 3985 4273 1035939 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20917 c Elapsed CPU time: 99.9048 s Remaining CPU time: 80.0952 s c =============================================================================== c | 3 | 3985 4274 1039789 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20916 c Elapsed CPU time: 100.681 s Remaining CPU time: 79.3193 s c =============================================================================== c | 3 | 3985 4275 1043639 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20915 c Elapsed CPU time: 101.474 s Remaining CPU time: 78.5264 s c =============================================================================== c | 3 | 3985 4276 1047489 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20914 c Elapsed CPU time: 102.224 s Remaining CPU time: 77.7755 s c =============================================================================== c | 3 | 3985 4277 1051339 | 5000 3 3790 | 0.000 % | c =============================================================================== c New solution: 20913 c Elapsed CPU time: 103.001 s Remaining CPU time: 76.9987 s c =============================================================================== c | 4 | 3985 4278 1055189 | 5000 4 3788 | 0.000 % | c =============================================================================== c New solution: 20911 c Elapsed CPU time: 103.776 s Remaining CPU time: 76.2238 s c =============================================================================== c | 4 | 3985 4279 1059039 | 5000 4 3788 | 0.000 % | c =============================================================================== c New solution: 20909 c Elapsed CPU time: 104.583 s Remaining CPU time: 75.4169 s c =============================================================================== c | 4 | 3985 4280 1062889 | 5000 4 3788 | 0.000 % | c =============================================================================== c New solution: 20908 c Elapsed CPU time: 105.342 s Remaining CPU time: 74.658 s c =============================================================================== c | 5 | 3985 4281 1066739 | 5000 5 3787 | 0.000 % | c =============================================================================== c New solution: 20907 c Elapsed CPU time: 106.123 s Remaining CPU time: 73.8771 s c =============================================================================== c | 5 | 3985 4282 1070589 | 5000 5 3787 | 0.000 % | c =============================================================================== c New solution: 20906 c Elapsed CPU time: 106.883 s Remaining CPU time: 73.1172 s c =============================================================================== c | 5 | 3985 4283 1074439 | 5000 5 3787 | 0.000 % | c =============================================================================== c New solution: 20905 c Elapsed CPU time: 107.834 s Remaining CPU time: 72.1664 s c =============================================================================== c | 24 | 3985 4284 1078289 | 5000 24 3782 | 0.000 % | c =============================================================================== c New solution: 20904 c Elapsed CPU time: 108.64 s Remaining CPU time: 71.3595 s c =============================================================================== c | 24 | 3985 4285 1082139 | 5000 24 3782 | 0.000 % | c =============================================================================== c New solution: 20903 c Elapsed CPU time: 109.46 s Remaining CPU time: 70.5396 s c =============================================================================== c | 24 | 3985 4286 1085989 | 5000 24 3782 | 0.000 % | c =============================================================================== c New solution: 20902 c Elapsed CPU time: 110.28 s Remaining CPU time: 69.7198 s c =============================================================================== c | 24 | 3985 4287 1089839 | 5000 24 3782 | 0.000 % | c =============================================================================== c New solution: 20901 c Elapsed CPU time: 111.085 s Remaining CPU time: 68.9149 s c =============================================================================== c | 25 | 3985 4288 1093689 | 5000 25 3631 | 0.000 % | c =============================================================================== c New solution: 20898 c Elapsed CPU time: 111.853 s Remaining CPU time: 68.147 s c =============================================================================== c | 25 | 3985 4289 1097539 | 5000 25 3631 | 0.000 % | c =============================================================================== c New solution: 20897 c Elapsed CPU time: 112.635 s Remaining CPU time: 67.3651 s c =============================================================================== c | 25 | 3985 4290 1101389 | 5000 25 3631 | 0.000 % | c =============================================================================== c New solution: 20896 c Elapsed CPU time: 113.42 s Remaining CPU time: 66.5802 s c =============================================================================== c | 29 | 3985 4291 1105239 | 5000 29 3652 | 0.000 % | c =============================================================================== c New solution: 20895 c Elapsed CPU time: 114.246 s Remaining CPU time: 65.7544 s c =============================================================================== c | 29 | 3985 4292 1109089 | 5000 29 3652 | 0.000 % | c =============================================================================== c New solution: 20894 c Elapsed CPU time: 115.076 s Remaining CPU time: 64.9245 s c =============================================================================== c | 29 | 3985 4293 1112939 | 5000 29 3652 | 0.000 % | c =============================================================================== c New solution: 20893 c Elapsed CPU time: 115.915 s Remaining CPU time: 64.0846 s c =============================================================================== c | 32 | 3985 4294 1116789 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20892 c Elapsed CPU time: 116.701 s Remaining CPU time: 63.2987 s c =============================================================================== c | 32 | 3985 4295 1120639 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20891 c Elapsed CPU time: 117.501 s Remaining CPU time: 62.4989 s c =============================================================================== c | 32 | 3985 4296 1124489 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20890 c Elapsed CPU time: 118.311 s Remaining CPU time: 61.689 s c =============================================================================== c | 32 | 3985 4297 1128339 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20889 c Elapsed CPU time: 119.106 s Remaining CPU time: 60.8941 s c =============================================================================== c | 32 | 3985 4298 1132189 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20888 c Elapsed CPU time: 119.944 s Remaining CPU time: 60.0562 s c =============================================================================== c | 32 | 3985 4299 1136039 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20887 c Elapsed CPU time: 120.74 s Remaining CPU time: 59.2604 s c =============================================================================== c | 32 | 3985 4300 1139889 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20885 c Elapsed CPU time: 121.576 s Remaining CPU time: 58.4245 s c =============================================================================== c | 32 | 3985 4301 1143739 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20884 c Elapsed CPU time: 122.398 s Remaining CPU time: 57.6016 s c =============================================================================== c | 32 | 3985 4302 1147589 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20883 c Elapsed CPU time: 123.229 s Remaining CPU time: 56.7707 s c =============================================================================== c | 32 | 3985 4303 1151439 | 5000 32 3664 | 0.000 % | c =============================================================================== c New solution: 20882 c Elapsed CPU time: 124.051 s Remaining CPU time: 55.9489 s c =============================================================================== c | 34 | 3985 4304 1155289 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20881 c Elapsed CPU time: 124.889 s Remaining CPU time: 55.111 s c =============================================================================== c | 34 | 3985 4305 1159139 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20880 c Elapsed CPU time: 125.743 s Remaining CPU time: 54.2571 s c =============================================================================== c | 34 | 3985 4306 1162989 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20879 c Elapsed CPU time: 126.551 s Remaining CPU time: 53.4492 s c =============================================================================== c | 34 | 3985 4307 1166839 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20878 c Elapsed CPU time: 127.351 s Remaining CPU time: 52.6494 s c =============================================================================== c | 34 | 3985 4308 1170689 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20877 c Elapsed CPU time: 128.197 s Remaining CPU time: 51.8035 s c =============================================================================== c | 34 | 3985 4309 1174539 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20875 c Elapsed CPU time: 129.096 s Remaining CPU time: 50.9036 s c =============================================================================== c | 34 | 3985 4310 1178389 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20874 c Elapsed CPU time: 130.031 s Remaining CPU time: 49.9688 s c =============================================================================== c | 34 | 3985 4311 1182239 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20873 c Elapsed CPU time: 130.979 s Remaining CPU time: 49.0209 s c =============================================================================== c | 34 | 3985 4312 1186089 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20872 c Elapsed CPU time: 131.915 s Remaining CPU time: 48.0851 s c =============================================================================== c | 34 | 3985 4313 1189939 | 5000 34 3670 | 0.000 % | c =============================================================================== c New solution: 20871 c Elapsed CPU time: 132.832 s Remaining CPU time: 47.1682 s c =============================================================================== c | 35 | 3985 4314 1193789 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20870 c Elapsed CPU time: 133.682 s Remaining CPU time: 46.3183 s c =============================================================================== c | 35 | 3985 4315 1197639 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20869 c Elapsed CPU time: 134.532 s Remaining CPU time: 45.4685 s c =============================================================================== c | 35 | 3985 4316 1201489 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20867 c Elapsed CPU time: 135.388 s Remaining CPU time: 44.6116 s c =============================================================================== c | 35 | 3985 4317 1205339 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20866 c Elapsed CPU time: 136.24 s Remaining CPU time: 43.7597 s c =============================================================================== c | 35 | 3985 4318 1209189 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20865 c Elapsed CPU time: 137.084 s Remaining CPU time: 42.9158 s c =============================================================================== c | 35 | 3985 4319 1213039 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20864 c Elapsed CPU time: 137.902 s Remaining CPU time: 42.098 s c =============================================================================== c | 35 | 3985 4320 1216889 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20863 c Elapsed CPU time: 138.765 s Remaining CPU time: 41.2351 s c =============================================================================== c | 35 | 3985 4321 1220739 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20862 c Elapsed CPU time: 139.675 s Remaining CPU time: 40.3252 s c =============================================================================== c | 35 | 3985 4322 1224589 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20861 c Elapsed CPU time: 140.59 s Remaining CPU time: 39.4104 s c =============================================================================== c | 35 | 3985 4323 1228439 | 5000 35 3673 | 0.000 % | c =============================================================================== c New solution: 20860 c Elapsed CPU time: 141.488 s Remaining CPU time: 38.5115 s c =============================================================================== c | 39 | 3985 4324 1232289 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20858 c Elapsed CPU time: 142.411 s Remaining CPU time: 37.5887 s c =============================================================================== c | 39 | 3985 4325 1236139 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20857 c Elapsed CPU time: 143.303 s Remaining CPU time: 36.6968 s c =============================================================================== c | 39 | 3985 4326 1239989 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20856 c Elapsed CPU time: 144.225 s Remaining CPU time: 35.7749 s c =============================================================================== c | 39 | 3985 4327 1243839 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20855 c Elapsed CPU time: 145.133 s Remaining CPU time: 34.8671 s c =============================================================================== c | 39 | 3985 4328 1247689 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20854 c Elapsed CPU time: 146.007 s Remaining CPU time: 33.9932 s c =============================================================================== c | 39 | 3985 4329 1251539 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20853 c Elapsed CPU time: 146.894 s Remaining CPU time: 33.1063 s c =============================================================================== c | 39 | 3985 4330 1255389 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20852 c Elapsed CPU time: 147.789 s Remaining CPU time: 32.2115 s c =============================================================================== c | 39 | 3985 4331 1259239 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20851 c Elapsed CPU time: 148.642 s Remaining CPU time: 31.3576 s c =============================================================================== c | 39 | 3985 4332 1263089 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20850 c Elapsed CPU time: 149.42 s Remaining CPU time: 30.5797 s c =============================================================================== c | 39 | 3985 4333 1266939 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20849 c Elapsed CPU time: 150.178 s Remaining CPU time: 29.8218 s c =============================================================================== c | 39 | 3985 4334 1270789 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20848 c Elapsed CPU time: 150.954 s Remaining CPU time: 29.0459 s c =============================================================================== c | 39 | 3985 4335 1274639 | 5000 39 3684 | 0.000 % | c =============================================================================== c New solution: 20847 c Elapsed CPU time: 151.73 s Remaining CPU time: 28.2701 s c =============================================================================== c | 41 | 3985 4336 1278489 | 5000 41 3688 | 0.000 % | c =============================================================================== c New solution: 20846 c Elapsed CPU time: 152.511 s Remaining CPU time: 27.4892 s c =============================================================================== c | 41 | 3985 4337 1282339 | 5000 41 3688 | 0.000 % | c =============================================================================== c New solution: 20845 c Elapsed CPU time: 153.272 s Remaining CPU time: 26.7283 s c =============================================================================== c | 41 | 3985 4338 1286189 | 5000 41 3688 | 0.000 % | c =============================================================================== c New solution: 20844 c Elapsed CPU time: 154.047 s Remaining CPU time: 25.9534 s c =============================================================================== c | 41 | 3985 4339 1290039 | 5000 41 3688 | 0.000 % | c =============================================================================== c New solution: 20843 c Elapsed CPU time: 154.809 s Remaining CPU time: 25.1905 s c =============================================================================== c | 41 | 3985 4340 1293889 | 5000 41 3688 | 0.000 % | c =============================================================================== c New solution: 20842 c Elapsed CPU time: 155.609 s Remaining CPU time: 24.3907 s c =============================================================================== c | 41 | 3985 4341 1297739 | 5000 41 3688 | 0.000 % | c =============================================================================== c New solution: 20841 c Elapsed CPU time: 156.44 s Remaining CPU time: 23.5598 s c =============================================================================== c | 41 | 3985 4342 1301589 | 5000 41 3688 | 0.000 % | c =============================================================================== c New solution: 20840 c Elapsed CPU time: 157.231 s Remaining CPU time: 22.7689 s c =============================================================================== c | 44 | 3985 4343 1305439 | 5000 44 3694 | 0.000 % | c =============================================================================== c New solution: 20839 c Elapsed CPU time: 158.038 s Remaining CPU time: 21.962 s c =============================================================================== c | 45 | 3985 4344 1309289 | 5000 45 3695 | 0.000 % | c =============================================================================== c New solution: 20838 c Elapsed CPU time: 158.817 s Remaining CPU time: 21.1831 s c =============================================================================== c | 46 | 3985 4345 1313139 | 5000 46 3697 | 0.000 % | c =============================================================================== c New solution: 20837 c Elapsed CPU time: 159.681 s Remaining CPU time: 20.3193 s c =============================================================================== c | 54 | 3985 4346 1316989 | 5000 54 3708 | 0.000 % | c =============================================================================== c New solution: 20836 c Elapsed CPU time: 160.453 s Remaining CPU time: 19.5474 s c =============================================================================== c | 54 | 3985 4347 1320839 | 5000 54 3708 | 0.000 % | c =============================================================================== c New solution: 20835 c Elapsed CPU time: 161.209 s Remaining CPU time: 18.7905 s c =============================================================================== c | 54 | 3985 4348 1324689 | 5000 54 3708 | 0.000 % | c =============================================================================== c New solution: 20834 c Elapsed CPU time: 161.946 s Remaining CPU time: 18.0536 s c =============================================================================== c | 54 | 3985 4349 1328539 | 5000 54 3708 | 0.000 % | c =============================================================================== c New solution: 20833 c Elapsed CPU time: 162.677 s Remaining CPU time: 17.3227 s c =============================================================================== c | 55 | 3985 4350 1332389 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20831 c Elapsed CPU time: 163.461 s Remaining CPU time: 16.5388 s c =============================================================================== c | 55 | 3985 4351 1336239 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20830 c Elapsed CPU time: 164.278 s Remaining CPU time: 15.722 s c =============================================================================== c | 55 | 3985 4352 1340089 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20829 c Elapsed CPU time: 165.118 s Remaining CPU time: 14.8821 s c =============================================================================== c | 55 | 3985 4353 1343939 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20828 c Elapsed CPU time: 165.967 s Remaining CPU time: 14.0332 s c =============================================================================== c | 55 | 3985 4354 1347789 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20826 c Elapsed CPU time: 166.763 s Remaining CPU time: 13.2374 s c =============================================================================== c | 55 | 3985 4355 1351639 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20825 c Elapsed CPU time: 167.634 s Remaining CPU time: 12.3665 s c =============================================================================== c | 55 | 3985 4356 1355489 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20824 c Elapsed CPU time: 168.42 s Remaining CPU time: 11.5796 s c =============================================================================== c | 55 | 3985 4357 1359339 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20823 c Elapsed CPU time: 169.229 s Remaining CPU time: 10.7707 s c =============================================================================== c | 55 | 3985 4358 1363189 | 5000 55 3709 | 0.000 % | c =============================================================================== c New solution: 20822 c Elapsed CPU time: 170.034 s Remaining CPU time: 9.96585 s c =============================================================================== c | 57 | 3985 4359 1367039 | 5000 57 3711 | 0.000 % | c =============================================================================== c New solution: 20821 c Elapsed CPU time: 170.921 s Remaining CPU time: 9.07898 s c =============================================================================== c | 63 | 3985 4360 1370889 | 5000 63 3717 | 0.000 % | c =============================================================================== c New solution: 20820 c Elapsed CPU time: 171.792 s Remaining CPU time: 8.20812 s c =============================================================================== c | 69 | 3985 4361 1374739 | 5000 69 3721 | 0.000 % | c =============================================================================== c New solution: 20819 c Elapsed CPU time: 172.677 s Remaining CPU time: 7.32325 s c =============================================================================== c | 69 | 3985 4362 1378589 | 5000 69 3721 | 0.000 % | c =============================================================================== c New solution: 20818 c Elapsed CPU time: 173.519 s Remaining CPU time: 6.48138 s c =============================================================================== c | 69 | 3985 4363 1382439 | 5000 69 3721 | 0.000 % | c =============================================================================== c New solution: 20816 c Elapsed CPU time: 174.404 s Remaining CPU time: 5.59551 s c =============================================================================== c | 69 | 3985 4364 1386289 | 5000 69 3721 | 0.000 % | c =============================================================================== c New solution: 20814 c Elapsed CPU time: 175.306 s Remaining CPU time: 4.69365 s c =============================================================================== c | 69 | 3985 4365 1390139 | 5000 69 3721 | 0.000 % | c =============================================================================== c New solution: 20812 c Elapsed CPU time: 176.19 s Remaining CPU time: 3.80979 s c =============================================================================== c | 69 | 3985 4366 1393989 | 5000 69 3721 | 0.000 % | c =============================================================================== c New solution: 20811 c Elapsed CPU time: 177.069 s Remaining CPU time: 2.93092 s c =============================================================================== c | 69 | 3985 4367 1397839 | 5000 69 3721 | 0.000 % | c =============================================================================== c New solution: 20810 c Elapsed CPU time: 177.938 s Remaining CPU time: 2.06205 s c =============================================================================== c | 73 | 3985 4368 1401689 | 5000 73 3724 | 0.000 % | c =============================================================================== c New solution: 20809 c Elapsed CPU time: 178.828 s Remaining CPU time: 1.17219 s c =============================================================================== c | 73 | 3985 4369 1405539 | 5000 73 3724 | 0.000 % | c =============================================================================== c New solution: 20808 c Elapsed CPU time: 179.733 s Remaining CPU time: 0.267324 s c =============================================================================== c | 75 | 3985 4370 1409389 | 5000 75 3725 | 0.000 % | c There are 15 assigned variables. 4 in cost function.