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 | 3997 4001 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21459 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 3997 4002 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21454 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 3997 4003 19550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21449 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 3997 4004 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21444 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 3997 4005 27250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21440 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 3997 4006 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21437 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 3997 4007 34950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21436 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 3997 4008 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21432 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 0 | 3997 4009 42650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21428 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 3997 4010 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21427 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 0 | 3997 4011 50350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21426 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 0 | 3997 4012 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21425 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 0 | 3997 4013 58050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21424 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 0 | 3997 4014 61900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21423 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 0 | 3997 4015 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21422 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 0 | 3997 4016 69600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21421 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 0 | 3997 4017 73450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21420 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 0 | 3997 4018 77300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21419 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 0 | 3997 4019 81150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21416 c Elapsed CPU time: 1.20682 s Remaining CPU time: 178.793 s c =============================================================================== c | 0 | 3997 4020 85000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21415 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 0 | 3997 4021 88850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21414 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 0 | 3997 4022 92700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21413 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 0 | 3997 4023 96550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21410 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 0 | 3997 4024 100400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21409 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 0 | 3997 4025 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21407 c Elapsed CPU time: 1.69474 s Remaining CPU time: 178.305 s c =============================================================================== c | 0 | 3997 4026 108100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21405 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s c =============================================================================== c | 0 | 3997 4027 111950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21404 c Elapsed CPU time: 1.87072 s Remaining CPU time: 178.129 s c =============================================================================== c | 0 | 3997 4028 115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21399 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 0 | 3997 4029 119650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21397 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 0 | 3997 4030 123500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21394 c Elapsed CPU time: 2.15067 s Remaining CPU time: 177.849 s c =============================================================================== c | 0 | 3997 4031 127350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21393 c Elapsed CPU time: 2.24566 s Remaining CPU time: 177.754 s c =============================================================================== c | 0 | 3997 4032 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21391 c Elapsed CPU time: 2.34164 s Remaining CPU time: 177.658 s c =============================================================================== c | 0 | 3997 4033 135050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21387 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 0 | 3997 4034 138900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21386 c Elapsed CPU time: 2.54461 s Remaining CPU time: 177.455 s c =============================================================================== c | 0 | 3997 4035 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21383 c Elapsed CPU time: 2.6456 s Remaining CPU time: 177.354 s c =============================================================================== c | 0 | 3997 4036 146600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21382 c Elapsed CPU time: 2.75258 s Remaining CPU time: 177.247 s c =============================================================================== c | 0 | 3997 4037 150450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21378 c Elapsed CPU time: 2.86057 s Remaining CPU time: 177.139 s c =============================================================================== c | 0 | 3997 4038 154300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21374 c Elapsed CPU time: 2.96655 s Remaining CPU time: 177.033 s c =============================================================================== c | 0 | 3997 4039 158150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21372 c Elapsed CPU time: 3.07853 s Remaining CPU time: 176.921 s c =============================================================================== c | 0 | 3997 4040 162000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21369 c Elapsed CPU time: 3.19551 s Remaining CPU time: 176.804 s c =============================================================================== c | 0 | 3997 4041 165850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21366 c Elapsed CPU time: 3.3135 s Remaining CPU time: 176.687 s c =============================================================================== c | 0 | 3997 4042 169700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21364 c Elapsed CPU time: 3.43648 s Remaining CPU time: 176.564 s c =============================================================================== c | 0 | 3997 4043 173550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21363 c Elapsed CPU time: 3.55746 s Remaining CPU time: 176.443 s c =============================================================================== c | 0 | 3997 4044 177400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21358 c Elapsed CPU time: 3.67944 s Remaining CPU time: 176.321 s c =============================================================================== c | 0 | 3997 4045 181250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21354 c Elapsed CPU time: 3.80342 s Remaining CPU time: 176.197 s c =============================================================================== c | 0 | 3997 4046 185100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21351 c Elapsed CPU time: 3.9334 s Remaining CPU time: 176.067 s c =============================================================================== c | 0 | 3997 4047 188950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21350 c Elapsed CPU time: 4.06938 s Remaining CPU time: 175.931 s c =============================================================================== c | 0 | 3997 4048 192800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21349 c Elapsed CPU time: 4.20136 s Remaining CPU time: 175.799 s c =============================================================================== c | 0 | 3997 4049 196650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21345 c Elapsed CPU time: 4.33634 s Remaining CPU time: 175.664 s c =============================================================================== c | 0 | 3997 4050 200500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21344 c Elapsed CPU time: 4.47532 s Remaining CPU time: 175.525 s c =============================================================================== c | 0 | 3997 4051 204350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21343 c Elapsed CPU time: 4.6143 s Remaining CPU time: 175.386 s c =============================================================================== c | 0 | 3997 4052 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21342 c Elapsed CPU time: 4.75528 s Remaining CPU time: 175.245 s c =============================================================================== c | 0 | 3997 4053 212050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21341 c Elapsed CPU time: 4.90225 s Remaining CPU time: 175.098 s c =============================================================================== c | 0 | 3997 4054 215900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21340 c Elapsed CPU time: 5.04723 s Remaining CPU time: 174.953 s c =============================================================================== c | 0 | 3997 4055 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21339 c Elapsed CPU time: 5.19721 s Remaining CPU time: 174.803 s c =============================================================================== c | 0 | 3997 4056 223600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21333 c Elapsed CPU time: 5.34819 s Remaining CPU time: 174.652 s c =============================================================================== c | 0 | 3997 4057 227450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21331 c Elapsed CPU time: 5.50416 s Remaining CPU time: 174.496 s c =============================================================================== c | 0 | 3997 4058 231300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21329 c Elapsed CPU time: 5.66114 s Remaining CPU time: 174.339 s c =============================================================================== c | 0 | 3997 4059 235150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21328 c Elapsed CPU time: 5.81712 s Remaining CPU time: 174.183 s c =============================================================================== c | 0 | 3997 4060 239000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21327 c Elapsed CPU time: 5.98109 s Remaining CPU time: 174.019 s c =============================================================================== c | 0 | 3997 4061 242850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21325 c Elapsed CPU time: 6.14506 s Remaining CPU time: 173.855 s c =============================================================================== c | 0 | 3997 4062 246700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21321 c Elapsed CPU time: 6.31404 s Remaining CPU time: 173.686 s c =============================================================================== c | 0 | 3997 4063 250550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21320 c Elapsed CPU time: 6.48501 s Remaining CPU time: 173.515 s c =============================================================================== c | 0 | 3997 4064 254400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21319 c Elapsed CPU time: 6.65999 s Remaining CPU time: 173.34 s c =============================================================================== c | 0 | 3997 4065 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21317 c Elapsed CPU time: 6.83296 s Remaining CPU time: 173.167 s c =============================================================================== c | 0 | 3997 4066 262100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21316 c Elapsed CPU time: 7.00593 s Remaining CPU time: 172.994 s c =============================================================================== c | 0 | 3997 4067 265950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21315 c Elapsed CPU time: 7.18291 s Remaining CPU time: 172.817 s c =============================================================================== c | 0 | 3997 4068 269800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21312 c Elapsed CPU time: 7.36588 s Remaining CPU time: 172.634 s c =============================================================================== c | 0 | 3997 4069 273650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21309 c Elapsed CPU time: 7.55285 s Remaining CPU time: 172.447 s c =============================================================================== c | 0 | 3997 4070 277500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21308 c Elapsed CPU time: 7.74182 s Remaining CPU time: 172.258 s c =============================================================================== c | 0 | 3997 4071 281350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21307 c Elapsed CPU time: 7.93779 s Remaining CPU time: 172.062 s c =============================================================================== c | 0 | 3997 4072 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21304 c Elapsed CPU time: 8.12976 s Remaining CPU time: 171.87 s c =============================================================================== c | 0 | 3997 4073 289050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21300 c Elapsed CPU time: 8.31973 s Remaining CPU time: 171.68 s c =============================================================================== c | 0 | 3997 4074 292900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21299 c Elapsed CPU time: 8.5167 s Remaining CPU time: 171.483 s c =============================================================================== c | 0 | 3997 4075 296750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21298 c Elapsed CPU time: 8.71867 s Remaining CPU time: 171.281 s c =============================================================================== c | 0 | 3997 4076 300600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21295 c Elapsed CPU time: 8.91464 s Remaining CPU time: 171.085 s c =============================================================================== c | 0 | 3997 4077 304450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21290 c Elapsed CPU time: 9.12461 s Remaining CPU time: 170.875 s c =============================================================================== c | 0 | 3997 4078 308300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21286 c Elapsed CPU time: 9.33958 s Remaining CPU time: 170.66 s c =============================================================================== c | 0 | 3997 4079 312150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21283 c Elapsed CPU time: 9.55155 s Remaining CPU time: 170.448 s c =============================================================================== c | 0 | 3997 4080 316000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21279 c Elapsed CPU time: 9.76451 s Remaining CPU time: 170.235 s c =============================================================================== c | 0 | 3997 4081 319850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21278 c Elapsed CPU time: 9.98748 s Remaining CPU time: 170.013 s c =============================================================================== c | 0 | 3997 4082 323700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21276 c Elapsed CPU time: 10.2124 s Remaining CPU time: 169.788 s c =============================================================================== c | 0 | 3997 4083 327550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21275 c Elapsed CPU time: 10.4354 s Remaining CPU time: 169.565 s c =============================================================================== c | 0 | 3997 4084 331400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21271 c Elapsed CPU time: 10.6664 s Remaining CPU time: 169.334 s c =============================================================================== c | 0 | 3997 4085 335250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21268 c Elapsed CPU time: 10.8993 s Remaining CPU time: 169.101 s c =============================================================================== c | 0 | 3997 4086 339100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21267 c Elapsed CPU time: 11.1393 s Remaining CPU time: 168.861 s c =============================================================================== c | 0 | 3997 4087 342950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21266 c Elapsed CPU time: 11.3793 s Remaining CPU time: 168.621 s c =============================================================================== c | 0 | 3997 4088 346800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21264 c Elapsed CPU time: 11.6132 s Remaining CPU time: 168.387 s c =============================================================================== c | 0 | 3997 4089 350650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21261 c Elapsed CPU time: 11.8582 s Remaining CPU time: 168.142 s c =============================================================================== c | 0 | 3997 4090 354500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21258 c Elapsed CPU time: 12.1032 s Remaining CPU time: 167.897 s c =============================================================================== c | 0 | 3997 4091 358350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21257 c Elapsed CPU time: 12.3531 s Remaining CPU time: 167.647 s c =============================================================================== c | 0 | 3997 4092 362200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21256 c Elapsed CPU time: 12.6091 s Remaining CPU time: 167.391 s c =============================================================================== c | 0 | 3997 4093 366050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21253 c Elapsed CPU time: 12.863 s Remaining CPU time: 167.137 s c =============================================================================== c | 0 | 3997 4094 369900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21252 c Elapsed CPU time: 13.123 s Remaining CPU time: 166.877 s c =============================================================================== c | 0 | 3997 4095 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21251 c Elapsed CPU time: 13.387 s Remaining CPU time: 166.613 s c =============================================================================== c | 0 | 3997 4096 377600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21250 c Elapsed CPU time: 13.6469 s Remaining CPU time: 166.353 s c =============================================================================== c | 0 | 3997 4097 381450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21246 c Elapsed CPU time: 13.9059 s Remaining CPU time: 166.094 s c =============================================================================== c | 0 | 3997 4098 385300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21244 c Elapsed CPU time: 14.1678 s Remaining CPU time: 165.832 s c =============================================================================== c | 0 | 3997 4099 389150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21240 c Elapsed CPU time: 14.4298 s Remaining CPU time: 165.57 s c =============================================================================== c | 0 | 3997 4100 393000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21239 c Elapsed CPU time: 14.7128 s Remaining CPU time: 165.287 s c =============================================================================== c | 0 | 3997 4101 396850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21238 c Elapsed CPU time: 14.9937 s Remaining CPU time: 165.006 s c =============================================================================== c | 0 | 3997 4102 400700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21237 c Elapsed CPU time: 15.2727 s Remaining CPU time: 164.727 s c =============================================================================== c | 0 | 3997 4103 404550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21235 c Elapsed CPU time: 15.5506 s Remaining CPU time: 164.449 s c =============================================================================== c | 0 | 3997 4104 408400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21233 c Elapsed CPU time: 15.8346 s Remaining CPU time: 164.165 s c =============================================================================== c | 0 | 3997 4105 412250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21232 c Elapsed CPU time: 16.1215 s Remaining CPU time: 163.878 s c =============================================================================== c | 0 | 3997 4106 416100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21231 c Elapsed CPU time: 16.4065 s Remaining CPU time: 163.593 s c =============================================================================== c | 0 | 3997 4107 419950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21230 c Elapsed CPU time: 16.6895 s Remaining CPU time: 163.311 s c =============================================================================== c | 0 | 3997 4108 423800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21226 c Elapsed CPU time: 16.9684 s Remaining CPU time: 163.032 s c =============================================================================== c | 0 | 3997 4109 427650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21225 c Elapsed CPU time: 17.2544 s Remaining CPU time: 162.746 s c =============================================================================== c | 0 | 3997 4110 431500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21223 c Elapsed CPU time: 17.5443 s Remaining CPU time: 162.456 s c =============================================================================== c | 0 | 3997 4111 435350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21221 c Elapsed CPU time: 17.8463 s Remaining CPU time: 162.154 s c =============================================================================== c | 0 | 3997 4112 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21220 c Elapsed CPU time: 18.1402 s Remaining CPU time: 161.86 s c =============================================================================== c | 0 | 3997 4113 443050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21219 c Elapsed CPU time: 18.4472 s Remaining CPU time: 161.553 s c =============================================================================== c | 0 | 3997 4114 446900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21217 c Elapsed CPU time: 18.7561 s Remaining CPU time: 161.244 s c =============================================================================== c | 0 | 3997 4115 450750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21216 c Elapsed CPU time: 19.0651 s Remaining CPU time: 160.935 s c =============================================================================== c | 0 | 3997 4116 454600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21215 c Elapsed CPU time: 19.3751 s Remaining CPU time: 160.625 s c =============================================================================== c | 0 | 3997 4117 458450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21214 c Elapsed CPU time: 19.685 s Remaining CPU time: 160.315 s c =============================================================================== c | 0 | 3997 4118 462300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21212 c Elapsed CPU time: 19.997 s Remaining CPU time: 160.003 s c =============================================================================== c | 0 | 3997 4119 466150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21211 c Elapsed CPU time: 20.3149 s Remaining CPU time: 159.685 s c =============================================================================== c | 0 | 3997 4120 470000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21210 c Elapsed CPU time: 20.6369 s Remaining CPU time: 159.363 s c =============================================================================== c | 0 | 3997 4121 473850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21208 c Elapsed CPU time: 20.9528 s Remaining CPU time: 159.047 s c =============================================================================== c | 0 | 3997 4122 477700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21206 c Elapsed CPU time: 21.2788 s Remaining CPU time: 158.721 s c =============================================================================== c | 0 | 3997 4123 481550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21205 c Elapsed CPU time: 21.5987 s Remaining CPU time: 158.401 s c =============================================================================== c | 0 | 3997 4124 485400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21203 c Elapsed CPU time: 21.9287 s Remaining CPU time: 158.071 s c =============================================================================== c | 0 | 3997 4125 489250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21202 c Elapsed CPU time: 22.2646 s Remaining CPU time: 157.735 s c =============================================================================== c | 0 | 3997 4126 493100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21200 c Elapsed CPU time: 22.6026 s Remaining CPU time: 157.397 s c =============================================================================== c | 0 | 3997 4127 496950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21198 c Elapsed CPU time: 22.9385 s Remaining CPU time: 157.061 s c =============================================================================== c | 0 | 3997 4128 500800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21197 c Elapsed CPU time: 23.2905 s Remaining CPU time: 156.71 s c =============================================================================== c | 0 | 3997 4129 504650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21195 c Elapsed CPU time: 23.6624 s Remaining CPU time: 156.338 s c =============================================================================== c | 0 | 3997 4130 508500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21194 c Elapsed CPU time: 24.0323 s Remaining CPU time: 155.968 s c =============================================================================== c | 0 | 3997 4131 512350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21191 c Elapsed CPU time: 24.3973 s Remaining CPU time: 155.603 s c =============================================================================== c | 0 | 3997 4132 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21189 c Elapsed CPU time: 24.7732 s Remaining CPU time: 155.227 s c =============================================================================== c | 0 | 3997 4133 520050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21188 c Elapsed CPU time: 25.1392 s Remaining CPU time: 154.861 s c =============================================================================== c | 0 | 3997 4134 523900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21186 c Elapsed CPU time: 25.5091 s Remaining CPU time: 154.491 s c =============================================================================== c | 0 | 3997 4135 527750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21185 c Elapsed CPU time: 25.8871 s Remaining CPU time: 154.113 s c =============================================================================== c | 0 | 3997 4136 531600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21184 c Elapsed CPU time: 26.257 s Remaining CPU time: 153.743 s c =============================================================================== c | 0 | 3997 4137 535450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21183 c Elapsed CPU time: 26.639 s Remaining CPU time: 153.361 s c =============================================================================== c | 0 | 3997 4138 539300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21182 c Elapsed CPU time: 27.0179 s Remaining CPU time: 152.982 s c =============================================================================== c | 0 | 3997 4139 543150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21181 c Elapsed CPU time: 27.4088 s Remaining CPU time: 152.591 s c =============================================================================== c | 0 | 3997 4140 547000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21180 c Elapsed CPU time: 27.7888 s Remaining CPU time: 152.211 s c =============================================================================== c | 0 | 3997 4141 550850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21176 c Elapsed CPU time: 28.1737 s Remaining CPU time: 151.826 s c =============================================================================== c | 0 | 3997 4142 554700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21175 c Elapsed CPU time: 28.5647 s Remaining CPU time: 151.435 s c =============================================================================== c | 0 | 3997 4143 558550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21173 c Elapsed CPU time: 28.9456 s Remaining CPU time: 151.054 s c =============================================================================== c | 0 | 3997 4144 562400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21170 c Elapsed CPU time: 29.3455 s Remaining CPU time: 150.654 s c =============================================================================== c | 0 | 3997 4145 566250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21169 c Elapsed CPU time: 29.7355 s Remaining CPU time: 150.265 s c =============================================================================== c | 0 | 3997 4146 570100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21168 c Elapsed CPU time: 30.1294 s Remaining CPU time: 149.871 s c =============================================================================== c | 0 | 3997 4147 573950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21167 c Elapsed CPU time: 30.5264 s Remaining CPU time: 149.474 s c =============================================================================== c | 0 | 3997 4148 577800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21165 c Elapsed CPU time: 30.9163 s Remaining CPU time: 149.084 s c =============================================================================== c | 0 | 3997 4149 581650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21164 c Elapsed CPU time: 31.3092 s Remaining CPU time: 148.691 s c =============================================================================== c | 0 | 3997 4150 585500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21160 c Elapsed CPU time: 31.7062 s Remaining CPU time: 148.294 s c =============================================================================== c | 0 | 3997 4151 589350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21159 c Elapsed CPU time: 32.1031 s Remaining CPU time: 147.897 s c =============================================================================== c | 0 | 3997 4152 593200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21158 c Elapsed CPU time: 32.5251 s Remaining CPU time: 147.475 s c =============================================================================== c | 0 | 3997 4153 597050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21157 c Elapsed CPU time: 32.917 s Remaining CPU time: 147.083 s c =============================================================================== c | 0 | 3997 4154 600900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21156 c Elapsed CPU time: 33.3229 s Remaining CPU time: 146.677 s c =============================================================================== c | 0 | 3997 4155 604750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21152 c Elapsed CPU time: 33.7329 s Remaining CPU time: 146.267 s c =============================================================================== c | 0 | 3997 4156 608600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21151 c Elapsed CPU time: 34.1688 s Remaining CPU time: 145.831 s c =============================================================================== c | 0 | 3997 4157 612450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21149 c Elapsed CPU time: 34.6177 s Remaining CPU time: 145.382 s c =============================================================================== c | 0 | 3997 4158 616300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21147 c Elapsed CPU time: 35.0687 s Remaining CPU time: 144.931 s c =============================================================================== c | 0 | 3997 4159 620150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21146 c Elapsed CPU time: 35.5146 s Remaining CPU time: 144.485 s c =============================================================================== c | 0 | 3997 4160 624000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21144 c Elapsed CPU time: 35.9575 s Remaining CPU time: 144.042 s c =============================================================================== c | 0 | 3997 4161 627850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21143 c Elapsed CPU time: 36.4165 s Remaining CPU time: 143.584 s c =============================================================================== c | 0 | 3997 4162 631700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21141 c Elapsed CPU time: 36.8704 s Remaining CPU time: 143.13 s c =============================================================================== c | 0 | 3997 4163 635550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21140 c Elapsed CPU time: 37.3293 s Remaining CPU time: 142.671 s c =============================================================================== c | 0 | 3997 4164 639400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21138 c Elapsed CPU time: 37.7793 s Remaining CPU time: 142.221 s c =============================================================================== c | 0 | 3997 4165 643250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21137 c Elapsed CPU time: 38.2472 s Remaining CPU time: 141.753 s c =============================================================================== c | 0 | 3997 4166 647100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21136 c Elapsed CPU time: 38.7051 s Remaining CPU time: 141.295 s c =============================================================================== c | 0 | 3997 4167 650950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21133 c Elapsed CPU time: 39.15 s Remaining CPU time: 140.85 s c =============================================================================== c | 0 | 3997 4168 654800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21132 c Elapsed CPU time: 39.644 s Remaining CPU time: 140.356 s c =============================================================================== c | 0 | 3997 4169 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21131 c Elapsed CPU time: 40.1329 s Remaining CPU time: 139.867 s c =============================================================================== c | 0 | 3997 4170 662500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21130 c Elapsed CPU time: 40.6568 s Remaining CPU time: 139.343 s c =============================================================================== c | 0 | 3997 4171 666350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21128 c Elapsed CPU time: 41.1747 s Remaining CPU time: 138.825 s c =============================================================================== c | 0 | 3997 4172 670200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21127 c Elapsed CPU time: 41.6977 s Remaining CPU time: 138.302 s c =============================================================================== c | 0 | 3997 4173 674050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21126 c Elapsed CPU time: 42.2336 s Remaining CPU time: 137.766 s c =============================================================================== c | 0 | 3997 4174 677900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21122 c Elapsed CPU time: 42.7615 s Remaining CPU time: 137.239 s c =============================================================================== c | 0 | 3997 4175 681750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21121 c Elapsed CPU time: 43.2804 s Remaining CPU time: 136.72 s c =============================================================================== c | 0 | 3997 4176 685600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21119 c Elapsed CPU time: 43.7943 s Remaining CPU time: 136.206 s c =============================================================================== c | 0 | 3997 4177 689450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21115 c Elapsed CPU time: 44.3153 s Remaining CPU time: 135.685 s c =============================================================================== c | 0 | 3997 4178 693300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21113 c Elapsed CPU time: 44.8332 s Remaining CPU time: 135.167 s c =============================================================================== c | 0 | 3997 4179 697150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21110 c Elapsed CPU time: 45.3551 s Remaining CPU time: 134.645 s c =============================================================================== c | 0 | 3997 4180 701000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21109 c Elapsed CPU time: 45.888 s Remaining CPU time: 134.112 s c =============================================================================== c | 0 | 3997 4181 704850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21108 c Elapsed CPU time: 46.4229 s Remaining CPU time: 133.577 s c =============================================================================== c | 0 | 3997 4182 708700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21107 c Elapsed CPU time: 46.9619 s Remaining CPU time: 133.038 s c =============================================================================== c | 0 | 3997 4183 712550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21106 c Elapsed CPU time: 47.5078 s Remaining CPU time: 132.492 s c =============================================================================== c | 0 | 3997 4184 716400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21104 c Elapsed CPU time: 48.0407 s Remaining CPU time: 131.959 s c =============================================================================== c | 0 | 3997 4185 720250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21103 c Elapsed CPU time: 48.5876 s Remaining CPU time: 131.412 s c =============================================================================== c | 0 | 3997 4186 724100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21102 c Elapsed CPU time: 49.1825 s Remaining CPU time: 130.817 s c =============================================================================== c | 0 | 3997 4187 727950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21100 c Elapsed CPU time: 49.7624 s Remaining CPU time: 130.238 s c =============================================================================== c | 0 | 3997 4188 731800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21098 c Elapsed CPU time: 50.3463 s Remaining CPU time: 129.654 s c =============================================================================== c | 0 | 3997 4189 735650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21097 c Elapsed CPU time: 50.9393 s Remaining CPU time: 129.061 s c =============================================================================== c | 0 | 3997 4190 739500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21095 c Elapsed CPU time: 51.5202 s Remaining CPU time: 128.48 s c =============================================================================== c | 0 | 3997 4191 743350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21092 c Elapsed CPU time: 52.1221 s Remaining CPU time: 127.878 s c =============================================================================== c | 0 | 3997 4192 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21091 c Elapsed CPU time: 52.598 s Remaining CPU time: 127.402 s c =============================================================================== c | 0 | 3997 4193 751050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21089 c Elapsed CPU time: 53.0829 s Remaining CPU time: 126.917 s c =============================================================================== c | 0 | 3997 4194 754900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21086 c Elapsed CPU time: 53.5619 s Remaining CPU time: 126.438 s c =============================================================================== c | 0 | 3997 4195 758750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21085 c Elapsed CPU time: 54.0408 s Remaining CPU time: 125.959 s c =============================================================================== c | 0 | 3997 4196 762600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21084 c Elapsed CPU time: 54.5257 s Remaining CPU time: 125.474 s c =============================================================================== c | 0 | 3997 4197 766450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21083 c Elapsed CPU time: 54.9946 s Remaining CPU time: 125.005 s c =============================================================================== c | 0 | 3997 4198 770300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21082 c Elapsed CPU time: 55.4696 s Remaining CPU time: 124.53 s c =============================================================================== c | 0 | 3997 4199 774150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21081 c Elapsed CPU time: 55.9545 s Remaining CPU time: 124.046 s c =============================================================================== c | 0 | 3997 4200 778000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21080 c Elapsed CPU time: 56.4394 s Remaining CPU time: 123.561 s c =============================================================================== c | 0 | 3997 4201 781850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21079 c Elapsed CPU time: 56.9193 s Remaining CPU time: 123.081 s c =============================================================================== c | 0 | 3997 4202 785700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21078 c Elapsed CPU time: 57.3863 s Remaining CPU time: 122.614 s c =============================================================================== c | 0 | 3997 4203 789550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21076 c Elapsed CPU time: 57.8532 s Remaining CPU time: 122.147 s c =============================================================================== c | 0 | 3997 4204 793400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21073 c Elapsed CPU time: 58.3081 s Remaining CPU time: 121.692 s c =============================================================================== c | 0 | 3997 4205 797250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21070 c Elapsed CPU time: 58.8071 s Remaining CPU time: 121.193 s c =============================================================================== c | 0 | 3997 4206 801100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21068 c Elapsed CPU time: 59.273 s Remaining CPU time: 120.727 s c =============================================================================== c | 0 | 3997 4207 804950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21067 c Elapsed CPU time: 59.7449 s Remaining CPU time: 120.255 s c =============================================================================== c | 0 | 3997 4208 808800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21065 c Elapsed CPU time: 60.2208 s Remaining CPU time: 119.779 s c =============================================================================== c | 0 | 3997 4209 812650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21064 c Elapsed CPU time: 60.6938 s Remaining CPU time: 119.306 s c =============================================================================== c | 0 | 3997 4210 816500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21063 c Elapsed CPU time: 61.1587 s Remaining CPU time: 118.841 s c =============================================================================== c | 0 | 3997 4211 820350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21062 c Elapsed CPU time: 61.6376 s Remaining CPU time: 118.362 s c =============================================================================== c | 0 | 3997 4212 824200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21061 c Elapsed CPU time: 62.1106 s Remaining CPU time: 117.889 s c =============================================================================== c | 0 | 3997 4213 828050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21060 c Elapsed CPU time: 62.5815 s Remaining CPU time: 117.419 s c =============================================================================== c | 0 | 3997 4214 831900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21059 c Elapsed CPU time: 63.0614 s Remaining CPU time: 116.939 s c =============================================================================== c | 0 | 3997 4215 835750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21058 c Elapsed CPU time: 63.5373 s Remaining CPU time: 116.463 s c =============================================================================== c | 0 | 3997 4216 839600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21057 c Elapsed CPU time: 63.9983 s Remaining CPU time: 116.002 s c =============================================================================== c | 0 | 3997 4217 843450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21056 c Elapsed CPU time: 64.4642 s Remaining CPU time: 115.536 s c =============================================================================== c | 0 | 3997 4218 847300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21054 c Elapsed CPU time: 64.9181 s Remaining CPU time: 115.082 s c =============================================================================== c | 0 | 3997 4219 851150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21053 c Elapsed CPU time: 65.3881 s Remaining CPU time: 114.612 s c =============================================================================== c | 0 | 3997 4220 855000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21051 c Elapsed CPU time: 65.888 s Remaining CPU time: 114.112 s c =============================================================================== c | 0 | 3997 4221 858850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21050 c Elapsed CPU time: 66.3789 s Remaining CPU time: 113.621 s c =============================================================================== c | 0 | 3997 4222 862700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21049 c Elapsed CPU time: 66.8598 s Remaining CPU time: 113.14 s c =============================================================================== c | 1 | 3997 4223 866550 | 5000 1 3793 | 0.000 % | c =============================================================================== c New solution: 21048 c Elapsed CPU time: 67.3538 s Remaining CPU time: 112.646 s c =============================================================================== c | 1 | 3997 4224 870400 | 5000 1 3793 | 0.000 % | c =============================================================================== c New solution: 21047 c Elapsed CPU time: 67.8737 s Remaining CPU time: 112.126 s c =============================================================================== c | 2 | 3997 4225 874250 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21046 c Elapsed CPU time: 68.3626 s Remaining CPU time: 111.637 s c =============================================================================== c | 2 | 3997 4226 878100 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21045 c Elapsed CPU time: 68.8715 s Remaining CPU time: 111.128 s c =============================================================================== c | 2 | 3997 4227 881950 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21044 c Elapsed CPU time: 69.3615 s Remaining CPU time: 110.639 s c =============================================================================== c | 2 | 3997 4228 885800 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21043 c Elapsed CPU time: 69.8624 s Remaining CPU time: 110.138 s c =============================================================================== c | 2 | 3997 4229 889650 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21042 c Elapsed CPU time: 70.3563 s Remaining CPU time: 109.644 s c =============================================================================== c | 2 | 3997 4230 893500 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21041 c Elapsed CPU time: 70.8752 s Remaining CPU time: 109.125 s c =============================================================================== c | 2 | 3997 4231 897350 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21040 c Elapsed CPU time: 71.3572 s Remaining CPU time: 108.643 s c =============================================================================== c | 2 | 3997 4232 901200 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21039 c Elapsed CPU time: 71.8981 s Remaining CPU time: 108.102 s c =============================================================================== c | 2 | 3997 4233 905050 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21038 c Elapsed CPU time: 72.44 s Remaining CPU time: 107.56 s c =============================================================================== c | 2 | 3997 4234 908900 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21037 c Elapsed CPU time: 73.0019 s Remaining CPU time: 106.998 s c =============================================================================== c | 2 | 3997 4235 912750 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21036 c Elapsed CPU time: 73.5838 s Remaining CPU time: 106.416 s c =============================================================================== c | 2 | 3997 4236 916600 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21035 c Elapsed CPU time: 74.1157 s Remaining CPU time: 105.884 s c =============================================================================== c | 2 | 3997 4237 920450 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21034 c Elapsed CPU time: 74.6726 s Remaining CPU time: 105.327 s c =============================================================================== c | 2 | 3997 4238 924300 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21033 c Elapsed CPU time: 75.2266 s Remaining CPU time: 104.773 s c =============================================================================== c | 2 | 3997 4239 928150 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21032 c Elapsed CPU time: 75.7795 s Remaining CPU time: 104.221 s c =============================================================================== c | 2 | 3997 4240 932000 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21031 c Elapsed CPU time: 76.3534 s Remaining CPU time: 103.647 s c =============================================================================== c | 2 | 3997 4241 935850 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21030 c Elapsed CPU time: 76.9043 s Remaining CPU time: 103.096 s c =============================================================================== c | 2 | 3997 4242 939700 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21029 c Elapsed CPU time: 77.4332 s Remaining CPU time: 102.567 s c =============================================================================== c | 2 | 3997 4243 943550 | 5000 2 3790 | 0.000 % | c =============================================================================== c New solution: 21028 c Elapsed CPU time: 77.9781 s Remaining CPU time: 102.022 s c =============================================================================== c | 3 | 3997 4244 947400 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21027 c Elapsed CPU time: 78.5931 s Remaining CPU time: 101.407 s c =============================================================================== c | 3 | 3997 4245 951250 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21026 c Elapsed CPU time: 79.186 s Remaining CPU time: 100.814 s c =============================================================================== c | 3 | 3997 4246 955100 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21025 c Elapsed CPU time: 79.7749 s Remaining CPU time: 100.225 s c =============================================================================== c | 3 | 3997 4247 958950 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21024 c Elapsed CPU time: 80.3358 s Remaining CPU time: 99.6642 s c =============================================================================== c | 3 | 3997 4248 962800 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21023 c Elapsed CPU time: 80.8887 s Remaining CPU time: 99.1113 s c =============================================================================== c | 3 | 3997 4249 966650 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21022 c Elapsed CPU time: 81.4576 s Remaining CPU time: 98.5424 s c =============================================================================== c | 3 | 3997 4250 970500 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21021 c Elapsed CPU time: 82.0455 s Remaining CPU time: 97.9545 s c =============================================================================== c | 3 | 3997 4251 974350 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21020 c Elapsed CPU time: 82.6754 s Remaining CPU time: 97.3246 s c =============================================================================== c | 3 | 3997 4252 978200 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21019 c Elapsed CPU time: 83.2953 s Remaining CPU time: 96.7047 s c =============================================================================== c | 3 | 3997 4253 982050 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21018 c Elapsed CPU time: 83.8862 s Remaining CPU time: 96.1138 s c =============================================================================== c | 3 | 3997 4254 985900 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21017 c Elapsed CPU time: 84.5042 s Remaining CPU time: 95.4958 s c =============================================================================== c | 3 | 3997 4255 989750 | 5000 3 3787 | 0.000 % | c =============================================================================== c New solution: 21016 c Elapsed CPU time: 85.1191 s Remaining CPU time: 94.8809 s c =============================================================================== c | 4 | 3997 4256 993600 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21015 c Elapsed CPU time: 85.742 s Remaining CPU time: 94.258 s c =============================================================================== c | 4 | 3997 4257 997450 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21014 c Elapsed CPU time: 86.3109 s Remaining CPU time: 93.6891 s c =============================================================================== c | 4 | 3997 4258 1001300 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21013 c Elapsed CPU time: 86.8928 s Remaining CPU time: 93.1072 s c =============================================================================== c | 4 | 3997 4259 1005150 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21012 c Elapsed CPU time: 87.5147 s Remaining CPU time: 92.4853 s c =============================================================================== c | 4 | 3997 4260 1009000 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21011 c Elapsed CPU time: 88.1176 s Remaining CPU time: 91.8824 s c =============================================================================== c | 4 | 3997 4261 1012850 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21010 c Elapsed CPU time: 88.7325 s Remaining CPU time: 91.2675 s c =============================================================================== c | 4 | 3997 4262 1016700 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21009 c Elapsed CPU time: 89.3074 s Remaining CPU time: 90.6926 s c =============================================================================== c | 4 | 3997 4263 1020550 | 5000 4 3786 | 0.000 % | c =============================================================================== c New solution: 21008 c Elapsed CPU time: 89.9073 s Remaining CPU time: 90.0927 s c =============================================================================== c | 5 | 3997 4264 1024400 | 5000 5 3785 | 0.000 % | c =============================================================================== c New solution: 21007 c Elapsed CPU time: 90.5602 s Remaining CPU time: 89.4398 s c =============================================================================== c | 5 | 3997 4265 1028250 | 5000 5 3785 | 0.000 % | c =============================================================================== c New solution: 21006 c Elapsed CPU time: 91.2351 s Remaining CPU time: 88.7649 s c =============================================================================== c | 5 | 3997 4266 1032100 | 5000 5 3785 | 0.000 % | c =============================================================================== c New solution: 21005 c Elapsed CPU time: 91.838 s Remaining CPU time: 88.162 s c =============================================================================== c | 5 | 3997 4267 1035950 | 5000 5 3785 | 0.000 % | c =============================================================================== c New solution: 21004 c Elapsed CPU time: 92.4309 s Remaining CPU time: 87.5691 s c =============================================================================== c | 5 | 3997 4268 1039800 | 5000 5 3785 | 0.000 % | c =============================================================================== c New solution: 21003 c Elapsed CPU time: 93.0099 s Remaining CPU time: 86.9901 s c =============================================================================== c | 5 | 3997 4269 1043650 | 5000 5 3785 | 0.000 % | c =============================================================================== c New solution: 21002 c Elapsed CPU time: 93.6048 s Remaining CPU time: 86.3952 s c =============================================================================== c | 5 | 3997 4270 1047500 | 5000 5 3785 | 0.000 % | c =============================================================================== c New solution: 21001 c Elapsed CPU time: 94.2487 s Remaining CPU time: 85.7513 s c =============================================================================== c | 6 | 3997 4271 1051350 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 21000 c Elapsed CPU time: 94.8916 s Remaining CPU time: 85.1084 s c =============================================================================== c | 6 | 3997 4272 1055200 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20999 c Elapsed CPU time: 95.5015 s Remaining CPU time: 84.4985 s c =============================================================================== c | 6 | 3997 4273 1059050 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20998 c Elapsed CPU time: 96.1204 s Remaining CPU time: 83.8796 s c =============================================================================== c | 6 | 3997 4274 1062900 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20997 c Elapsed CPU time: 96.7053 s Remaining CPU time: 83.2947 s c =============================================================================== c | 6 | 3997 4275 1066750 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20996 c Elapsed CPU time: 97.3272 s Remaining CPU time: 82.6728 s c =============================================================================== c | 6 | 3997 4276 1070600 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20995 c Elapsed CPU time: 97.9611 s Remaining CPU time: 82.0389 s c =============================================================================== c | 6 | 3997 4277 1074450 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20994 c Elapsed CPU time: 98.565 s Remaining CPU time: 81.435 s c =============================================================================== c | 6 | 3997 4278 1078300 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20993 c Elapsed CPU time: 99.1879 s Remaining CPU time: 80.8121 s c =============================================================================== c | 6 | 3997 4279 1082150 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20992 c Elapsed CPU time: 99.8368 s Remaining CPU time: 80.1632 s c =============================================================================== c | 6 | 3997 4280 1086000 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20991 c Elapsed CPU time: 100.476 s Remaining CPU time: 79.5243 s c =============================================================================== c | 6 | 3997 4281 1089850 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20990 c Elapsed CPU time: 101.136 s Remaining CPU time: 78.8644 s c =============================================================================== c | 6 | 3997 4282 1093700 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20989 c Elapsed CPU time: 101.905 s Remaining CPU time: 78.0955 s c =============================================================================== c | 6 | 3997 4283 1097550 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20988 c Elapsed CPU time: 102.682 s Remaining CPU time: 77.3176 s c =============================================================================== c | 6 | 3997 4284 1101400 | 5000 6 3784 | 0.000 % | c =============================================================================== c New solution: 20987 c Elapsed CPU time: 103.432 s Remaining CPU time: 76.5677 s c =============================================================================== c | 7 | 3997 4285 1105250 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20986 c Elapsed CPU time: 104.09 s Remaining CPU time: 75.9098 s c =============================================================================== c | 7 | 3997 4286 1109100 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20985 c Elapsed CPU time: 104.789 s Remaining CPU time: 75.2109 s c =============================================================================== c | 7 | 3997 4287 1112950 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20984 c Elapsed CPU time: 105.478 s Remaining CPU time: 74.522 s c =============================================================================== c | 7 | 3997 4288 1116800 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20983 c Elapsed CPU time: 106.196 s Remaining CPU time: 73.8041 s c =============================================================================== c | 7 | 3997 4289 1120650 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20982 c Elapsed CPU time: 106.934 s Remaining CPU time: 73.0663 s c =============================================================================== c | 7 | 3997 4290 1124500 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20981 c Elapsed CPU time: 107.67 s Remaining CPU time: 72.3304 s c =============================================================================== c | 7 | 3997 4291 1128350 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20980 c Elapsed CPU time: 108.374 s Remaining CPU time: 71.6265 s c =============================================================================== c | 7 | 3997 4292 1132200 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20979 c Elapsed CPU time: 109.055 s Remaining CPU time: 70.9446 s c =============================================================================== c | 7 | 3997 4293 1136050 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20978 c Elapsed CPU time: 109.73 s Remaining CPU time: 70.2697 s c =============================================================================== c | 7 | 3997 4294 1139900 | 5000 7 3783 | 0.000 % | c =============================================================================== c New solution: 20977 c Elapsed CPU time: 110.437 s Remaining CPU time: 69.5628 s c =============================================================================== c | 8 | 3997 4295 1143750 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20976 c Elapsed CPU time: 111.122 s Remaining CPU time: 68.8779 s c =============================================================================== c | 8 | 3997 4296 1147600 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20975 c Elapsed CPU time: 111.825 s Remaining CPU time: 68.175 s c =============================================================================== c | 8 | 3997 4297 1151450 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20974 c Elapsed CPU time: 112.591 s Remaining CPU time: 67.4091 s c =============================================================================== c | 8 | 3997 4298 1155300 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20973 c Elapsed CPU time: 113.323 s Remaining CPU time: 66.6772 s c =============================================================================== c | 8 | 3997 4299 1159150 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20972 c Elapsed CPU time: 114.043 s Remaining CPU time: 65.9573 s c =============================================================================== c | 8 | 3997 4300 1163000 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20971 c Elapsed CPU time: 114.726 s Remaining CPU time: 65.2744 s c =============================================================================== c | 8 | 3997 4301 1166850 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20970 c Elapsed CPU time: 115.475 s Remaining CPU time: 64.5246 s c =============================================================================== c | 8 | 3997 4302 1170700 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20969 c Elapsed CPU time: 116.147 s Remaining CPU time: 63.8527 s c =============================================================================== c | 8 | 3997 4303 1174550 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20968 c Elapsed CPU time: 116.824 s Remaining CPU time: 63.1758 s c =============================================================================== c | 8 | 3997 4304 1178400 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20967 c Elapsed CPU time: 117.55 s Remaining CPU time: 62.4499 s c =============================================================================== c | 8 | 3997 4305 1182250 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20966 c Elapsed CPU time: 118.299 s Remaining CPU time: 61.701 s c =============================================================================== c | 8 | 3997 4306 1186100 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20965 c Elapsed CPU time: 119.032 s Remaining CPU time: 60.9681 s c =============================================================================== c | 8 | 3997 4307 1189950 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20964 c Elapsed CPU time: 119.732 s Remaining CPU time: 60.2682 s c =============================================================================== c | 8 | 3997 4308 1193800 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20963 c Elapsed CPU time: 120.467 s Remaining CPU time: 59.5333 s c =============================================================================== c | 8 | 3997 4309 1197650 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20962 c Elapsed CPU time: 121.214 s Remaining CPU time: 58.7864 s c =============================================================================== c | 8 | 3997 4310 1201500 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20961 c Elapsed CPU time: 121.917 s Remaining CPU time: 58.0825 s c =============================================================================== c | 8 | 3997 4311 1205350 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20960 c Elapsed CPU time: 122.657 s Remaining CPU time: 57.3426 s c =============================================================================== c | 8 | 3997 4312 1209200 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20959 c Elapsed CPU time: 123.396 s Remaining CPU time: 56.6038 s c =============================================================================== c | 8 | 3997 4313 1213050 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20958 c Elapsed CPU time: 124.119 s Remaining CPU time: 55.8809 s c =============================================================================== c | 8 | 3997 4314 1216900 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20957 c Elapsed CPU time: 124.853 s Remaining CPU time: 55.147 s c =============================================================================== c | 8 | 3997 4315 1220750 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20956 c Elapsed CPU time: 125.55 s Remaining CPU time: 54.4501 s c =============================================================================== c | 8 | 3997 4316 1224600 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20955 c Elapsed CPU time: 126.248 s Remaining CPU time: 53.7522 s c =============================================================================== c | 8 | 3997 4317 1228450 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20954 c Elapsed CPU time: 126.961 s Remaining CPU time: 53.0393 s c =============================================================================== c | 8 | 3997 4318 1232300 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20953 c Elapsed CPU time: 127.663 s Remaining CPU time: 52.3374 s c =============================================================================== c | 8 | 3997 4319 1236150 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20952 c Elapsed CPU time: 128.376 s Remaining CPU time: 51.6235 s c =============================================================================== c | 8 | 3997 4320 1240000 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20951 c Elapsed CPU time: 129.092 s Remaining CPU time: 50.9076 s c =============================================================================== c | 8 | 3997 4321 1243850 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20950 c Elapsed CPU time: 129.802 s Remaining CPU time: 50.1977 s c =============================================================================== c | 8 | 3997 4322 1247700 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20949 c Elapsed CPU time: 130.531 s Remaining CPU time: 49.4688 s c =============================================================================== c | 8 | 3997 4323 1251550 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20948 c Elapsed CPU time: 131.281 s Remaining CPU time: 48.719 s c =============================================================================== c | 8 | 3997 4324 1255400 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20947 c Elapsed CPU time: 132.024 s Remaining CPU time: 47.9761 s c =============================================================================== c | 8 | 3997 4325 1259250 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20946 c Elapsed CPU time: 132.748 s Remaining CPU time: 47.2522 s c =============================================================================== c | 8 | 3997 4326 1263100 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20945 c Elapsed CPU time: 133.493 s Remaining CPU time: 46.5073 s c =============================================================================== c | 8 | 3997 4327 1266950 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20944 c Elapsed CPU time: 134.225 s Remaining CPU time: 45.7754 s c =============================================================================== c | 8 | 3997 4328 1270800 | 5000 8 3781 | 0.000 % | c =============================================================================== c New solution: 20943 c Elapsed CPU time: 134.936 s Remaining CPU time: 45.0635 s c =============================================================================== c | 9 | 3997 4329 1274650 | 5000 9 3780 | 0.000 % | c =============================================================================== c New solution: 20942 c Elapsed CPU time: 135.641 s Remaining CPU time: 44.3586 s c =============================================================================== c | 9 | 3997 4330 1278500 | 5000 9 3780 | 0.000 % | c =============================================================================== c New solution: 20941 c Elapsed CPU time: 136.36 s Remaining CPU time: 43.6397 s c =============================================================================== c | 9 | 3997 4331 1282350 | 5000 9 3780 | 0.000 % | c =============================================================================== c New solution: 20940 c Elapsed CPU time: 137.146 s Remaining CPU time: 42.8538 s c =============================================================================== c | 9 | 3997 4332 1286200 | 5000 9 3780 | 0.000 % | c =============================================================================== c New solution: 20939 c Elapsed CPU time: 138.029 s Remaining CPU time: 41.971 s c =============================================================================== c | 10 | 3997 4333 1290050 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20938 c Elapsed CPU time: 138.846 s Remaining CPU time: 41.1541 s c =============================================================================== c | 10 | 3997 4334 1293900 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20937 c Elapsed CPU time: 139.655 s Remaining CPU time: 40.3452 s c =============================================================================== c | 10 | 3997 4335 1297750 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20936 c Elapsed CPU time: 140.439 s Remaining CPU time: 39.5614 s c =============================================================================== c | 10 | 3997 4336 1301600 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20935 c Elapsed CPU time: 141.25 s Remaining CPU time: 38.7505 s c =============================================================================== c | 10 | 3997 4337 1305450 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20934 c Elapsed CPU time: 142.004 s Remaining CPU time: 37.9956 s c =============================================================================== c | 10 | 3997 4338 1309300 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20933 c Elapsed CPU time: 142.751 s Remaining CPU time: 37.2487 s c =============================================================================== c | 10 | 3997 4339 1313150 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20932 c Elapsed CPU time: 143.518 s Remaining CPU time: 36.4818 s c =============================================================================== c | 10 | 3997 4340 1317000 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20931 c Elapsed CPU time: 144.302 s Remaining CPU time: 35.6979 s c =============================================================================== c | 10 | 3997 4341 1320850 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20930 c Elapsed CPU time: 145.1 s Remaining CPU time: 34.9001 s c =============================================================================== c | 10 | 3997 4342 1324700 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20929 c Elapsed CPU time: 145.878 s Remaining CPU time: 34.1222 s c =============================================================================== c | 10 | 3997 4343 1328550 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20928 c Elapsed CPU time: 146.687 s Remaining CPU time: 33.3133 s c =============================================================================== c | 10 | 3997 4344 1332400 | 5000 10 3402 | 0.000 % | c =============================================================================== c New solution: 20927 c Elapsed CPU time: 147.552 s Remaining CPU time: 32.4484 s c =============================================================================== c | 11 | 3997 4345 1336250 | 5000 11 3435 | 0.000 % | c =============================================================================== c New solution: 20926 c Elapsed CPU time: 148.503 s Remaining CPU time: 31.4966 s c =============================================================================== c | 11 | 3997 4346 1340100 | 5000 11 3435 | 0.000 % | c =============================================================================== c New solution: 20925 c Elapsed CPU time: 149.462 s Remaining CPU time: 30.5377 s c =============================================================================== c | 11 | 3997 4347 1343950 | 5000 11 3435 | 0.000 % | c =============================================================================== c New solution: 20924 c Elapsed CPU time: 150.368 s Remaining CPU time: 29.6319 s c =============================================================================== c | 11 | 3997 4348 1347800 | 5000 11 3435 | 0.000 % | c =============================================================================== c New solution: 20923 c Elapsed CPU time: 151.243 s Remaining CPU time: 28.757 s c =============================================================================== c | 12 | 3997 4349 1351650 | 5000 12 3463 | 0.000 % | c =============================================================================== c New solution: 20922 c Elapsed CPU time: 152.103 s Remaining CPU time: 27.8971 s c =============================================================================== c | 12 | 3997 4350 1355500 | 5000 12 3463 | 0.000 % | c =============================================================================== c New solution: 20921 c Elapsed CPU time: 152.925 s Remaining CPU time: 27.0752 s c =============================================================================== c | 12 | 3997 4351 1359350 | 5000 12 3463 | 0.000 % | c =============================================================================== c New solution: 20920 c Elapsed CPU time: 153.711 s Remaining CPU time: 26.2894 s c =============================================================================== c | 13 | 3997 4352 1363200 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20919 c Elapsed CPU time: 154.527 s Remaining CPU time: 25.4735 s c =============================================================================== c | 13 | 3997 4353 1367050 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20918 c Elapsed CPU time: 155.31 s Remaining CPU time: 24.6896 s c =============================================================================== c | 13 | 3997 4354 1370900 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20917 c Elapsed CPU time: 156.087 s Remaining CPU time: 23.9127 s c =============================================================================== c | 13 | 3997 4355 1374750 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20916 c Elapsed CPU time: 156.94 s Remaining CPU time: 23.0599 s c =============================================================================== c | 13 | 3997 4356 1378600 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20915 c Elapsed CPU time: 157.803 s Remaining CPU time: 22.197 s c =============================================================================== c | 13 | 3997 4357 1382450 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20914 c Elapsed CPU time: 158.667 s Remaining CPU time: 21.3331 s c =============================================================================== c | 13 | 3997 4358 1386300 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20913 c Elapsed CPU time: 159.497 s Remaining CPU time: 20.5032 s c =============================================================================== c | 13 | 3997 4359 1390150 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20912 c Elapsed CPU time: 160.311 s Remaining CPU time: 19.6894 s c =============================================================================== c | 13 | 3997 4360 1394000 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20911 c Elapsed CPU time: 161.103 s Remaining CPU time: 18.8975 s c =============================================================================== c | 13 | 3997 4361 1397850 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20910 c Elapsed CPU time: 161.874 s Remaining CPU time: 18.1256 s c =============================================================================== c | 13 | 3997 4362 1401700 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20909 c Elapsed CPU time: 162.697 s Remaining CPU time: 17.3027 s c =============================================================================== c | 13 | 3997 4363 1405550 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20908 c Elapsed CPU time: 163.652 s Remaining CPU time: 16.3479 s c =============================================================================== c | 13 | 3997 4364 1409400 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20907 c Elapsed CPU time: 164.522 s Remaining CPU time: 15.478 s c =============================================================================== c | 13 | 3997 4365 1413250 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20906 c Elapsed CPU time: 165.397 s Remaining CPU time: 14.6031 s c =============================================================================== c | 13 | 3997 4366 1417100 | 5000 13 3196 | 0.000 % | c =============================================================================== c New solution: 20905 c Elapsed CPU time: 166.305 s Remaining CPU time: 13.6953 s c =============================================================================== c | 14 | 3997 4367 1420950 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20904 c Elapsed CPU time: 167.169 s Remaining CPU time: 12.8314 s c =============================================================================== c | 14 | 3997 4368 1424800 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20903 c Elapsed CPU time: 168.044 s Remaining CPU time: 11.9555 s c =============================================================================== c | 14 | 3997 4369 1428650 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20902 c Elapsed CPU time: 168.933 s Remaining CPU time: 11.0667 s c =============================================================================== c | 14 | 3997 4370 1432500 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20901 c Elapsed CPU time: 169.768 s Remaining CPU time: 10.2318 s c =============================================================================== c | 14 | 3997 4371 1436350 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20900 c Elapsed CPU time: 170.655 s Remaining CPU time: 9.34494 s c =============================================================================== c | 14 | 3997 4372 1440200 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20899 c Elapsed CPU time: 171.507 s Remaining CPU time: 8.49307 s c =============================================================================== c | 14 | 3997 4373 1444050 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20898 c Elapsed CPU time: 172.341 s Remaining CPU time: 7.6592 s c =============================================================================== c | 14 | 3997 4374 1447900 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20897 c Elapsed CPU time: 173.16 s Remaining CPU time: 6.84033 s c =============================================================================== c | 14 | 3997 4375 1451750 | 5000 14 3237 | 0.000 % | c =============================================================================== c New solution: 20896 c Elapsed CPU time: 174.031 s Remaining CPU time: 5.96946 s c =============================================================================== c | 15 | 3997 4376 1455600 | 5000 15 3272 | 0.000 % | c =============================================================================== c New solution: 20895 c Elapsed CPU time: 174.851 s Remaining CPU time: 5.14858 s c =============================================================================== c | 15 | 3997 4377 1459450 | 5000 15 3272 | 0.000 % | c =============================================================================== c New solution: 20894 c Elapsed CPU time: 175.735 s Remaining CPU time: 4.26472 s c =============================================================================== c | 17 | 3997 4378 1463300 | 5000 17 3330 | 0.000 % | c =============================================================================== c New solution: 20893 c Elapsed CPU time: 176.533 s Remaining CPU time: 3.46684 s c =============================================================================== c | 17 | 3997 4379 1467150 | 5000 17 3330 | 0.000 % | c =============================================================================== c New solution: 20892 c Elapsed CPU time: 177.392 s Remaining CPU time: 2.60797 s c =============================================================================== c | 17 | 3997 4380 1471000 | 5000 17 3330 | 0.000 % | c =============================================================================== c New solution: 20891 c Elapsed CPU time: 178.202 s Remaining CPU time: 1.79809 s c =============================================================================== c | 17 | 3997 4381 1474850 | 5000 17 3330 | 0.000 % | c =============================================================================== c New solution: 20890 c Elapsed CPU time: 179.061 s Remaining CPU time: 0.939222 s c =============================================================================== c | 17 | 3997 4382 1478700 | 5000 17 3330 | 0.000 % | c =============================================================================== c New solution: 20889 c Elapsed CPU time: 179.956 s Remaining CPU time: 0.044358 s c =============================================================================== c | 17 | 3997 4383 1482550 | 5000 17 3330 | 0.000 % | c There are 3 assigned variables. 0 in cost function.