c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4500 | c | Number Clauses: 4500 | 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 | 4493 4505 13342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 4493 4506 17692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 4493 4507 22042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 4493 4508 26392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 4493 4509 30742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 4493 4510 35092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 4493 4511 39442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 4493 4512 43792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 4493 4513 48142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 4493 4514 52492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 4493 4515 56842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 4493 4516 61192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 4493 4517 65542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 4493 4518 69892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 4493 4519 74242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 4493 4520 78592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 1 | 4493 4521 82942 | 5000 1 4337 | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 2 | 4493 4522 87292 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 2 | 4493 4523 91642 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 2 | 4493 4524 95992 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 2 | 4493 4525 100342 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 2 | 4493 4526 104692 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 2 | 4493 4527 109042 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 2 | 4493 4528 113392 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 2 | 4493 4529 117742 | 5000 2 4336 | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 3 | 4493 4530 122092 | 5000 3 2891 | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 3 | 4493 4531 126442 | 5000 3 2891 | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 3 | 4493 4532 130792 | 5000 3 2891 | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 3 | 4493 4533 135142 | 5000 3 2891 | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 3 | 4493 4534 139492 | 5000 3 2891 | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 3 | 4493 4535 143842 | 5000 3 2891 | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s c =============================================================================== c | 4 | 4493 4536 148192 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 4 | 4493 4537 152542 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 4 | 4493 4538 156892 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 4 | 4493 4539 161242 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 1.19482 s Remaining CPU time: 178.805 s c =============================================================================== c | 4 | 4493 4540 165592 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 1.27081 s Remaining CPU time: 178.729 s c =============================================================================== c | 4 | 4493 4541 169942 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 4 | 4493 4542 174292 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 4 | 4493 4543 178642 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 4 | 4493 4544 182992 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 1.60776 s Remaining CPU time: 178.392 s c =============================================================================== c | 4 | 4493 4545 187342 | 5000 4 3249 | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 1.70274 s Remaining CPU time: 178.297 s c =============================================================================== c | 5 | 4493 4546 191692 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 1.80073 s Remaining CPU time: 178.199 s c =============================================================================== c | 5 | 4493 4547 196042 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 5 | 4493 4548 200392 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 1.9957 s Remaining CPU time: 178.004 s c =============================================================================== c | 5 | 4493 4549 204742 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 2.09868 s Remaining CPU time: 177.901 s c =============================================================================== c | 5 | 4493 4550 209092 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s c =============================================================================== c | 5 | 4493 4551 213442 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 2.31165 s Remaining CPU time: 177.688 s c =============================================================================== c | 5 | 4493 4552 217792 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 2.42463 s Remaining CPU time: 177.575 s c =============================================================================== c | 5 | 4493 4553 222142 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 2.54461 s Remaining CPU time: 177.455 s c =============================================================================== c | 5 | 4493 4554 226492 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 2.66559 s Remaining CPU time: 177.334 s c =============================================================================== c | 5 | 4493 4555 230842 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 2.79157 s Remaining CPU time: 177.208 s c =============================================================================== c | 5 | 4493 4556 235192 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 2.92156 s Remaining CPU time: 177.078 s c =============================================================================== c | 5 | 4493 4557 239542 | 5000 5 3462 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 3.05454 s Remaining CPU time: 176.945 s c =============================================================================== c | 6 | 4493 4558 243892 | 5000 6 3601 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 3.18552 s Remaining CPU time: 176.814 s c =============================================================================== c | 6 | 4493 4559 248242 | 5000 6 3601 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 3.31949 s Remaining CPU time: 176.681 s c =============================================================================== c | 6 | 4493 4560 252592 | 5000 6 3601 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s c =============================================================================== c | 9 | 4493 4561 256942 | 5000 9 3356 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 3.59445 s Remaining CPU time: 176.406 s c =============================================================================== c | 11 | 4493 4562 261292 | 5000 11 3527 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 3.73843 s Remaining CPU time: 176.262 s c =============================================================================== c | 14 | 4493 4563 265642 | 5000 14 3692 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 3.88041 s Remaining CPU time: 176.12 s c =============================================================================== c | 14 | 4493 4564 269992 | 5000 14 3692 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 4.02239 s Remaining CPU time: 175.978 s c =============================================================================== c | 14 | 4493 4565 274342 | 5000 14 3692 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 4.17436 s Remaining CPU time: 175.826 s c =============================================================================== c | 14 | 4493 4566 278692 | 5000 14 3692 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 4.32334 s Remaining CPU time: 175.677 s c =============================================================================== c | 14 | 4493 4567 283042 | 5000 14 3692 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 4.47732 s Remaining CPU time: 175.523 s c =============================================================================== c | 14 | 4493 4568 287392 | 5000 14 3692 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 4.6293 s Remaining CPU time: 175.371 s c =============================================================================== c | 14 | 4493 4569 291742 | 5000 14 3692 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 4.79227 s Remaining CPU time: 175.208 s c =============================================================================== c | 18 | 4493 4570 296092 | 5000 18 3824 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 4.96025 s Remaining CPU time: 175.04 s c =============================================================================== c | 21 | 4493 4571 300442 | 5000 21 3890 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 5.14222 s Remaining CPU time: 174.858 s c =============================================================================== c | 25 | 4493 4572 304792 | 5000 25 3954 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 5.32519 s Remaining CPU time: 174.675 s c =============================================================================== c | 27 | 4493 4573 309142 | 5000 27 3978 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 5.50116 s Remaining CPU time: 174.499 s c =============================================================================== c | 27 | 4493 4574 313492 | 5000 27 3978 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 5.67614 s Remaining CPU time: 174.324 s c =============================================================================== c | 27 | 4493 4575 317842 | 5000 27 3978 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 5.85211 s Remaining CPU time: 174.148 s c =============================================================================== c | 27 | 4493 4576 322192 | 5000 27 3978 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 6.02808 s Remaining CPU time: 173.972 s c =============================================================================== c | 28 | 4493 4577 326542 | 5000 28 3989 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 6.20606 s Remaining CPU time: 173.794 s c =============================================================================== c | 30 | 4493 4578 330892 | 5000 30 4008 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 6.40003 s Remaining CPU time: 173.6 s c =============================================================================== c | 36 | 4493 4579 335242 | 5000 36 4053 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 6.591 s Remaining CPU time: 173.409 s c =============================================================================== c | 36 | 4493 4580 339592 | 5000 36 4053 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 6.78497 s Remaining CPU time: 173.215 s c =============================================================================== c | 36 | 4493 4581 343942 | 5000 36 4053 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 7.00293 s Remaining CPU time: 172.997 s c =============================================================================== c | 46 | 4493 4582 348292 | 5000 46 4102 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 7.2149 s Remaining CPU time: 172.785 s c =============================================================================== c | 46 | 4493 4583 352642 | 5000 46 4102 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 7.43187 s Remaining CPU time: 172.568 s c =============================================================================== c | 50 | 4493 4584 356992 | 5000 50 4116 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 7.65084 s Remaining CPU time: 172.349 s c =============================================================================== c | 55 | 4493 4585 361342 | 5000 55 4130 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 7.8628 s Remaining CPU time: 172.137 s c =============================================================================== c | 55 | 4493 4586 365692 | 5000 55 4130 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 8.08977 s Remaining CPU time: 171.91 s c =============================================================================== c | 68 | 4493 4587 370042 | 5000 68 4157 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 8.31973 s Remaining CPU time: 171.68 s c =============================================================================== c | 76 | 4493 4588 374392 | 5000 76 4169 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 8.5387 s Remaining CPU time: 171.461 s c =============================================================================== c | 76 | 4493 4589 378742 | 5000 76 4169 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 8.75667 s Remaining CPU time: 171.243 s c =============================================================================== c | 77 | 4493 4590 383092 | 5000 77 4170 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 8.98163 s Remaining CPU time: 171.018 s c =============================================================================== c | 80 | 4493 4591 387442 | 5000 80 4174 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 9.2116 s Remaining CPU time: 170.788 s c =============================================================================== c | 88 | 4493 4592 391792 | 5000 88 4182 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 9.44856 s Remaining CPU time: 170.551 s c =============================================================================== c | 99 | 4493 4593 396142 | 5000 99 4191 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 9.69053 s Remaining CPU time: 170.309 s c =============================================================================== c | 103 | 4493 4594 400492 | 5000 103 4194 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 9.92249 s Remaining CPU time: 170.078 s c =============================================================================== c | 103 | 4493 4595 404842 | 5000 103 4194 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 10.1625 s Remaining CPU time: 169.838 s c =============================================================================== c | 107 | 4493 4596 409192 | 5000 107 4197 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 10.4114 s Remaining CPU time: 169.589 s c =============================================================================== c | 107 | 4493 4597 413542 | 5000 107 4197 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 10.6544 s Remaining CPU time: 169.346 s c =============================================================================== c | 110 | 4493 4598 417892 | 5000 110 4198 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 10.9033 s Remaining CPU time: 169.097 s c =============================================================================== c | 117 | 4493 4599 422242 | 5000 117 4166 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 11.1493 s Remaining CPU time: 168.851 s c =============================================================================== c | 119 | 4493 4600 426592 | 5000 119 4167 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 11.3893 s Remaining CPU time: 168.611 s c =============================================================================== c | 121 | 4493 4601 430942 | 5000 121 4169 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 11.6452 s Remaining CPU time: 168.355 s c =============================================================================== c | 128 | 4493 4602 435292 | 5000 128 4173 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 11.8932 s Remaining CPU time: 168.107 s c =============================================================================== c | 130 | 4493 4603 439642 | 5000 130 4175 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 12.1542 s Remaining CPU time: 167.846 s c =============================================================================== c | 135 | 4493 4604 443992 | 5000 135 4178 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 12.4171 s Remaining CPU time: 167.583 s c =============================================================================== c | 136 | 4493 4605 448342 | 5000 136 4178 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 12.6751 s Remaining CPU time: 167.325 s c =============================================================================== c | 137 | 4493 4606 452692 | 5000 137 4179 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 12.968 s Remaining CPU time: 167.032 s c =============================================================================== c | 169 | 4493 4607 457042 | 5000 169 4192 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 13.244 s Remaining CPU time: 166.756 s c =============================================================================== c | 185 | 4493 4608 461392 | 5000 185 4197 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 13.5139 s Remaining CPU time: 166.486 s c =============================================================================== c | 189 | 4493 4609 465742 | 5000 189 4198 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 13.8089 s Remaining CPU time: 166.191 s c =============================================================================== c | 198 | 4493 4610 470092 | 5000 198 4201 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 14.0799 s Remaining CPU time: 165.92 s c =============================================================================== c | 199 | 4493 4611 474442 | 5000 199 4201 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 14.3818 s Remaining CPU time: 165.618 s c =============================================================================== c | 222 | 4493 4612 478792 | 5000 222 4206 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 14.8307 s Remaining CPU time: 165.169 s c =============================================================================== c | 305 | 4493 4613 483142 | 5000 305 4216 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 15.1237 s Remaining CPU time: 164.876 s c =============================================================================== c | 305 | 4493 4614 487492 | 5000 305 4216 | 0.000 % | c | 406 | 4493 4614 487492 | 5500 406 4223 | 0.156 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 16.0016 s Remaining CPU time: 163.998 s c =============================================================================== c | 452 | 4493 4615 491842 | 5000 452 4225 | 0.156 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 16.2985 s Remaining CPU time: 163.701 s c =============================================================================== c | 452 | 4493 4616 496192 | 5000 452 4225 | 0.156 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 16.5995 s Remaining CPU time: 163.401 s c =============================================================================== c | 457 | 4493 4617 500542 | 5000 457 4226 | 0.156 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 16.8954 s Remaining CPU time: 163.105 s c =============================================================================== c | 464 | 4493 4618 504892 | 5000 464 4226 | 0.156 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 17.2354 s Remaining CPU time: 162.765 s c =============================================================================== c | 497 | 4493 4619 509242 | 5000 497 4227 | 0.156 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 17.5593 s Remaining CPU time: 162.441 s c =============================================================================== c | 509 | 4493 4620 513592 | 5000 509 4227 | 0.156 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 17.8673 s Remaining CPU time: 162.133 s c =============================================================================== c | 520 | 4493 4621 517942 | 5000 520 4227 | 0.156 % | c | 620 | 4493 4621 517942 | 5500 620 4229 | 0.156 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 18.6322 s Remaining CPU time: 161.368 s c =============================================================================== c | 633 | 4493 4622 522292 | 5000 633 4229 | 0.156 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 19.0391 s Remaining CPU time: 160.961 s c =============================================================================== c | 681 | 4493 4623 526642 | 5000 681 4229 | 0.156 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 19.3791 s Remaining CPU time: 160.621 s c =============================================================================== c | 717 | 4493 4624 530992 | 5000 717 4230 | 0.156 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 19.732 s Remaining CPU time: 160.268 s c =============================================================================== c | 755 | 4493 4625 535342 | 5000 755 4230 | 0.156 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 20.0789 s Remaining CPU time: 159.921 s c =============================================================================== c | 779 | 4493 4626 539692 | 5000 779 4230 | 0.156 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 20.4339 s Remaining CPU time: 159.566 s c =============================================================================== c | 791 | 4493 4627 544042 | 5000 791 4230 | 0.156 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 20.8538 s Remaining CPU time: 159.146 s c =============================================================================== c | 850 | 4493 4628 548392 | 5000 850 4230 | 0.156 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 21.2538 s Remaining CPU time: 158.746 s c =============================================================================== c | 873 | 4493 4629 552742 | 5000 873 4230 | 0.156 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 21.6427 s Remaining CPU time: 158.357 s c =============================================================================== c | 904 | 4493 4630 557092 | 5000 904 4230 | 0.156 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 22.0087 s Remaining CPU time: 157.991 s c =============================================================================== c | 912 | 4493 4631 561442 | 5000 912 4230 | 0.156 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 22.3906 s Remaining CPU time: 157.609 s c =============================================================================== c | 928 | 4493 4632 565792 | 5000 928 4230 | 0.156 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 22.7555 s Remaining CPU time: 157.244 s c =============================================================================== c | 936 | 4493 4633 570142 | 5000 936 4230 | 0.156 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 23.1695 s Remaining CPU time: 156.831 s c =============================================================================== c | 966 | 4493 4634 574492 | 5000 966 4229 | 0.156 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 23.5314 s Remaining CPU time: 156.469 s c =============================================================================== c | 973 | 4493 4635 578842 | 5000 973 4229 | 0.156 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 23.9174 s Remaining CPU time: 156.083 s c =============================================================================== c | 1008 | 4493 4636 583192 | 5000 1008 4229 | 0.156 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 24.2893 s Remaining CPU time: 155.711 s c =============================================================================== c | 1033 | 4493 4637 587542 | 5000 1033 4229 | 0.156 % | c | 1133 | 4493 4637 587542 | 5500 1133 4228 | 0.156 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 25.4821 s Remaining CPU time: 154.518 s c =============================================================================== c | 1272 | 4493 4638 591892 | 5000 1272 4227 | 0.156 % | c | 1372 | 4493 4638 591892 | 5500 1372 4227 | 0.156 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 26.494 s Remaining CPU time: 153.506 s c =============================================================================== c | 1440 | 4493 4639 596242 | 5000 1440 4226 | 0.156 % | c | 1540 | 4493 4639 596242 | 5500 1540 4226 | 0.156 % | c | 1691 | 4493 4639 596242 | 6050 1691 4225 | 0.156 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 28.0797 s Remaining CPU time: 151.92 s c =============================================================================== c | 1726 | 4493 4640 600592 | 5000 1726 4225 | 0.156 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 28.5047 s Remaining CPU time: 151.495 s c =============================================================================== c | 1801 | 4493 4641 604942 | 5000 1801 4225 | 0.156 % | c | 1901 | 4493 4641 604942 | 5500 1901 4224 | 0.156 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 29.7165 s Remaining CPU time: 150.284 s c =============================================================================== c | 2044 | 4493 4642 609292 | 5000 2044 4224 | 0.156 % | c | 2144 | 4493 4642 609292 | 5500 2144 4223 | 0.156 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 30.7993 s Remaining CPU time: 149.201 s c =============================================================================== c | 2243 | 4493 4643 613642 | 5000 2243 4221 | 0.156 % | c | 2343 | 4493 4643 613642 | 5500 2343 4221 | 0.156 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 32.0261 s Remaining CPU time: 147.974 s c =============================================================================== c | 2453 | 4493 4644 617992 | 5000 2453 4221 | 0.156 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 32.4111 s Remaining CPU time: 147.589 s c =============================================================================== c | 2482 | 4493 4645 622342 | 5000 2482 4221 | 0.156 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 32.788 s Remaining CPU time: 147.212 s c =============================================================================== c | 2496 | 4493 4646 626692 | 5000 2496 4220 | 0.156 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 33.3049 s Remaining CPU time: 146.695 s c =============================================================================== c | 2552 | 4493 4647 631042 | 5000 2552 4220 | 0.156 % | c | 2652 | 4493 4647 631042 | 5500 2652 4220 | 0.156 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 34.2868 s Remaining CPU time: 145.713 s c =============================================================================== c | 2749 | 4493 4648 635392 | 5000 2749 4220 | 0.156 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 34.6637 s Remaining CPU time: 145.336 s c =============================================================================== c | 2759 | 4493 4649 639742 | 5000 2759 4219 | 0.156 % | c | 2859 | 4493 4649 639742 | 5500 2859 4219 | 0.156 % | c | 3009 | 4493 4649 639742 | 6050 3009 4219 | 0.156 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 36.7794 s Remaining CPU time: 143.221 s c =============================================================================== c | 3229 | 4493 4650 644092 | 5000 3229 4218 | 0.156 % | c | 3329 | 4493 4650 644092 | 5500 3329 4218 | 0.156 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 37.7823 s Remaining CPU time: 142.218 s c =============================================================================== c | 3371 | 4493 4651 648442 | 5000 3371 4217 | 0.156 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 38.1642 s Remaining CPU time: 141.836 s c =============================================================================== c | 3380 | 4493 4652 652792 | 5000 3380 4217 | 0.156 % | c | 3481 | 4493 4652 652792 | 5500 3481 4217 | 0.156 % | c | 3631 | 4493 4652 652792 | 6050 3631 4217 | 0.156 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 40.4139 s Remaining CPU time: 139.586 s c =============================================================================== c | 3844 | 4493 4653 657142 | 5000 3844 4216 | 0.156 % | c | 3944 | 4493 4653 657142 | 5500 3944 4215 | 0.156 % | c | 4095 | 4493 4653 657142 | 6050 4095 4214 | 0.156 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 42.4365 s Remaining CPU time: 137.563 s c =============================================================================== c | 4312 | 4493 4654 661492 | 5000 4312 4214 | 0.156 % | c | 4412 | 4493 4654 661492 | 5500 4412 4214 | 0.156 % | c | 4562 | 4493 4654 661492 | 6050 4562 4213 | 0.156 % | c | 4787 | 4493 4654 661492 | 6655 4787 4213 | 0.156 % | c | 5124 | 4493 4654 661492 | 7320 5124 4212 | 0.156 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 46.04 s Remaining CPU time: 133.96 s c =============================================================================== c | 5178 | 4493 4655 665842 | 5000 5178 4212 | 0.156 % | c | 5278 | 4493 4655 665842 | 5500 2689 4198 | 0.156 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 46.8979 s Remaining CPU time: 133.102 s c =============================================================================== c | 5335 | 4493 4656 670192 | 5000 2746 4198 | 0.156 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 47.3528 s Remaining CPU time: 132.647 s c =============================================================================== c | 5407 | 4493 4657 674542 | 5000 2818 4198 | 0.156 % | c | 5507 | 4493 4657 674542 | 5500 2918 4198 | 0.156 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 48.1697 s Remaining CPU time: 131.83 s c =============================================================================== c | 5566 | 4493 4658 678892 | 5000 2977 4198 | 0.156 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 48.5146 s Remaining CPU time: 131.485 s c =============================================================================== c | 5583 | 4493 4659 683242 | 5000 2994 4198 | 0.156 % | c | 5683 | 4493 4659 683242 | 5500 3094 4198 | 0.156 % | c | 5833 | 4493 4659 683242 | 6050 3244 4198 | 0.156 % | c | 6059 | 4493 4659 683242 | 6655 3470 4198 | 0.156 % | c | 6397 | 4493 4659 683242 | 7320 3808 4197 | 0.156 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 52.0391 s Remaining CPU time: 127.961 s c =============================================================================== c | 6689 | 4493 4660 687592 | 5000 4100 4197 | 0.156 % | c | 6790 | 4493 4660 687592 | 5500 4201 4197 | 0.156 % | c | 6941 | 4493 4660 687592 | 6050 4352 4197 | 0.156 % | c | 7166 | 4493 4660 687592 | 6655 4577 4197 | 0.156 % | c | 7503 | 4493 4660 687592 | 7320 4914 4197 | 0.156 % | c | 8010 | 4493 4660 687592 | 8052 5421 4197 | 0.156 % | c | 8769 | 4493 4660 687592 | 8857 6180 4197 | 0.156 % | c | 9909 | 4493 4660 687592 | 9743 7320 4197 | 0.156 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 63.0244 s Remaining CPU time: 116.976 s c =============================================================================== c | 9978 | 4493 4661 691942 | 5000 7389 4197 | 0.156 % | c | 10079 | 4493 4661 691942 | 5500 3796 4190 | 0.156 % | c | 10229 | 4493 4661 691942 | 6050 3946 4190 | 0.156 % | c | 10455 | 4493 4661 691942 | 6655 4172 4191 | 0.156 % | c | 10792 | 4493 4661 691942 | 7320 4509 4191 | 0.156 % | c | 11298 | 4493 4661 691942 | 8052 5015 4192 | 0.156 % | c | 12058 | 4493 4661 691942 | 8857 5775 4192 | 0.156 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 70.7182 s Remaining CPU time: 109.282 s c =============================================================================== c | 12240 | 4493 4662 696292 | 5000 5957 4192 | 0.156 % | c | 12341 | 4493 4662 696292 | 5500 3080 4188 | 0.156 % | c | 12492 | 4493 4662 696292 | 6050 3231 4188 | 0.156 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 72.53 s Remaining CPU time: 107.47 s c =============================================================================== c | 12603 | 4493 4663 700642 | 5000 3342 4188 | 0.156 % | c | 12705 | 4493 4663 700642 | 5500 3444 4188 | 0.156 % | c | 12855 | 4493 4663 700642 | 6050 3594 4189 | 0.156 % | c | 13081 | 4493 4663 700642 | 6655 3820 4188 | 0.156 % | c | 13419 | 4493 4663 700642 | 7320 4158 4188 | 0.156 % | c | 13926 | 4493 4663 700642 | 8052 4665 4189 | 0.156 % | c | 14686 | 4493 4663 700642 | 8857 5425 4189 | 0.156 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 80.7957 s Remaining CPU time: 99.2043 s c =============================================================================== c | 15223 | 4493 4664 704992 | 5000 5962 4190 | 0.156 % | c | 15324 | 4493 4664 704992 | 5500 3082 4184 | 0.156 % | c | 15474 | 4493 4664 704992 | 6050 3232 4184 | 0.156 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 83.0534 s Remaining CPU time: 96.9466 s c =============================================================================== c | 15694 | 4493 4665 709342 | 5000 3452 4185 | 0.156 % | c | 15795 | 4493 4665 709342 | 5500 3553 4185 | 0.156 % | c | 15945 | 4493 4665 709342 | 6050 3703 4185 | 0.156 % | c | 16171 | 4493 4665 709342 | 6655 3929 4186 | 0.156 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 85.646 s Remaining CPU time: 94.354 s c =============================================================================== c | 16248 | 4493 4666 713692 | 5000 4006 4186 | 0.156 % | c | 16349 | 4493 4666 713692 | 5500 4107 4186 | 0.156 % | c | 16499 | 4493 4666 713692 | 6050 4257 4186 | 0.156 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 87.7877 s Remaining CPU time: 92.2123 s c =============================================================================== c | 16624 | 4493 4667 718042 | 5000 4382 4186 | 0.156 % | c | 16724 | 4493 4667 718042 | 5500 4482 4187 | 0.156 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 88.7895 s Remaining CPU time: 91.2105 s c =============================================================================== c | 16741 | 4493 4668 722392 | 5000 4499 4187 | 0.156 % | c | 16842 | 4493 4668 722392 | 5500 4600 4187 | 0.156 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 89.9653 s Remaining CPU time: 90.0347 s c =============================================================================== c | 16910 | 4493 4669 726742 | 5000 4668 4187 | 0.156 % | c | 17010 | 4493 4669 726742 | 5500 4768 4187 | 0.156 % | c | 17160 | 4493 4669 726742 | 6050 4918 4187 | 0.156 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 91.7091 s Remaining CPU time: 88.2909 s c =============================================================================== c | 17244 | 4493 4670 731092 | 5000 5002 4187 | 0.156 % | c | 17344 | 4493 4670 731092 | 5500 5102 4187 | 0.156 % | c | 17494 | 4493 4670 731092 | 6050 5252 4187 | 0.156 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 93.8257 s Remaining CPU time: 86.1743 s c =============================================================================== c | 17697 | 4493 4671 735442 | 5000 5455 4187 | 0.156 % | c | 17798 | 4493 4671 735442 | 5500 2829 4179 | 0.156 % | c | 17948 | 4493 4671 735442 | 6050 2979 4180 | 0.156 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 95.8624 s Remaining CPU time: 84.1376 s c =============================================================================== c | 18070 | 4493 4672 739792 | 5000 3101 4180 | 0.156 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 96.2534 s Remaining CPU time: 83.7466 s c =============================================================================== c | 18094 | 4493 4673 744142 | 5000 3125 4180 | 0.156 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 96.6113 s Remaining CPU time: 83.3887 s c =============================================================================== c | 18112 | 4493 4674 748492 | 5000 3143 4180 | 0.156 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 96.9763 s Remaining CPU time: 83.0237 s c =============================================================================== c | 18130 | 4493 4675 752842 | 5000 3161 4180 | 0.156 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 97.3162 s Remaining CPU time: 82.6838 s c =============================================================================== c | 18133 | 4493 4676 757192 | 5000 3164 4180 | 0.156 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 97.7121 s Remaining CPU time: 82.2879 s c =============================================================================== c | 18164 | 4493 4677 761542 | 5000 3195 4180 | 0.156 % | c | 18265 | 4493 4677 761542 | 5500 3296 4180 | 0.156 % | c | 18415 | 4493 4677 761542 | 6050 3446 4180 | 0.156 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 99.2699 s Remaining CPU time: 80.7301 s c =============================================================================== c | 18444 | 4493 4678 765892 | 5000 3475 4180 | 0.156 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 99.6529 s Remaining CPU time: 80.3471 s c =============================================================================== c | 18467 | 4493 4679 770242 | 5000 3498 4180 | 0.156 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 100.058 s Remaining CPU time: 79.9422 s c =============================================================================== c | 18513 | 4493 4680 774592 | 5000 3544 4180 | 0.156 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 100.519 s Remaining CPU time: 79.4813 s c =============================================================================== c | 18581 | 4493 4681 778942 | 5000 3612 4180 | 0.156 % | c | 18681 | 4493 4681 778942 | 5500 3712 4180 | 0.156 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 101.394 s Remaining CPU time: 78.6064 s c =============================================================================== c | 18684 | 4493 4682 783292 | 5000 3715 4180 | 0.156 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 101.941 s Remaining CPU time: 78.0595 s c =============================================================================== c | 18764 | 4493 4683 787642 | 5000 3795 4180 | 0.156 % | c | 18864 | 4493 4683 787642 | 5500 3895 4180 | 0.156 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 102.984 s Remaining CPU time: 77.0157 s c =============================================================================== c | 18948 | 4493 4684 791992 | 5000 3979 4179 | 0.156 % | c | 19048 | 4493 4684 791992 | 5500 4079 4179 | 0.156 % | c | 19199 | 4493 4684 791992 | 6050 4230 4179 | 0.156 % | c | 19424 | 4493 4684 791992 | 6655 4455 4179 | 0.156 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 105.344 s Remaining CPU time: 74.656 s c =============================================================================== c | 19559 | 4493 4685 796342 | 5000 4590 4179 | 0.156 % | c | 19659 | 4493 4685 796342 | 5500 4690 4179 | 0.156 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 106.343 s Remaining CPU time: 73.6572 s c =============================================================================== c | 19691 | 4493 4686 800692 | 5000 4722 4178 | 0.156 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 106.802 s Remaining CPU time: 73.1982 s c =============================================================================== c | 19731 | 4493 4687 805042 | 5000 4762 4178 | 0.156 % | c | 19832 | 4493 4687 805042 | 5500 4863 4178 | 0.156 % | c | 19982 | 4493 4687 805042 | 6050 5013 4178 | 0.156 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 108.483 s Remaining CPU time: 71.5175 s c =============================================================================== c | 20002 | 4493 4688 809392 | 5000 5033 4178 | 0.156 % | c | 20103 | 4493 4688 809392 | 5500 2618 4165 | 0.156 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 109.543 s Remaining CPU time: 70.4567 s c =============================================================================== c | 20151 | 4493 4689 813742 | 5000 2666 4165 | 0.156 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 109.986 s Remaining CPU time: 70.0137 s c =============================================================================== c | 20182 | 4493 4690 818092 | 5000 2697 4163 | 0.156 % | c | 20283 | 4493 4690 818092 | 5500 2798 4163 | 0.156 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 111.036 s Remaining CPU time: 68.9639 s c =============================================================================== c | 20361 | 4493 4691 822442 | 5000 2876 4164 | 0.156 % | c | 20461 | 4493 4691 822442 | 5500 2976 4164 | 0.156 % | c | 20611 | 4493 4691 822442 | 6050 3126 4164 | 0.156 % | c | 20837 | 4493 4691 822442 | 6655 3352 4164 | 0.156 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 114.579 s Remaining CPU time: 65.4214 s c =============================================================================== c | 21036 | 4493 4692 826792 | 5000 3551 4163 | 0.156 % | c | 21136 | 4493 4692 826792 | 5500 3651 4163 | 0.156 % | c | 21286 | 4493 4692 826792 | 6050 3801 4163 | 0.156 % | c | 21511 | 4493 4692 826792 | 6655 4026 4163 | 0.156 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 117.397 s Remaining CPU time: 62.6028 s c =============================================================================== c | 21710 | 4493 4693 831142 | 5000 4225 4163 | 0.156 % | c | 21811 | 4493 4693 831142 | 5500 4326 4163 | 0.156 % | c | 21962 | 4493 4693 831142 | 6050 4477 4163 | 0.156 % |