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 4503 13346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 4493 4504 17696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 4493 4505 22046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 4493 4506 26396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 4493 4507 30746 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1 | 4493 4508 35096 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 4493 4509 39446 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 4493 4510 43796 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 4493 4511 48146 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 4493 4512 52496 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 4493 4513 56846 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 1 | 4493 4514 61196 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1 | 4493 4515 65546 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 1 | 4493 4516 69896 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 1 | 4493 4517 74246 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 1 | 4493 4518 78596 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 1 | 4493 4519 82946 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 1 | 4493 4520 87296 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 1 | 4493 4521 91646 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 1 | 4493 4522 95996 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 1 | 4493 4523 100346 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 1 | 4493 4524 104696 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 1 | 4493 4525 109046 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 1 | 4493 4526 113396 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 1 | 4493 4527 117746 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 1 | 4493 4528 122096 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 1 | 4493 4529 126446 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 1 | 4493 4530 130796 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 1 | 4493 4531 135146 | 5000 1 4349 | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 4 | 4493 4532 139496 | 5000 4 4330 | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 5 | 4493 4533 143846 | 5000 5 4329 | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 5 | 4493 4534 148196 | 5000 5 4329 | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 5 | 4493 4535 152546 | 5000 5 4329 | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 6 | 4493 4536 156896 | 5000 6 4328 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 6 | 4493 4537 161246 | 5000 6 4328 | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 6 | 4493 4538 165596 | 5000 6 4328 | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 6 | 4493 4539 169946 | 5000 6 4328 | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s c =============================================================================== c | 7 | 4493 4540 174296 | 5000 7 3710 | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 1.51377 s Remaining CPU time: 178.486 s c =============================================================================== c | 7 | 4493 4541 178646 | 5000 7 3710 | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s c =============================================================================== c | 8 | 4493 4542 182996 | 5000 8 3785 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 9 | 4493 4543 187346 | 5000 9 3844 | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 9 | 4493 4544 191696 | 5000 9 3844 | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 9 | 4493 4545 196046 | 5000 9 3844 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 9 | 4493 4546 200396 | 5000 9 3844 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 14 | 4493 4547 204746 | 5000 14 4010 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 2.19167 s Remaining CPU time: 177.808 s c =============================================================================== c | 14 | 4493 4548 209096 | 5000 14 4010 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 2.30365 s Remaining CPU time: 177.696 s c =============================================================================== c | 15 | 4493 4549 213446 | 5000 15 4030 | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 2.41263 s Remaining CPU time: 177.587 s c =============================================================================== c | 18 | 4493 4550 217796 | 5000 18 4076 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 2.52062 s Remaining CPU time: 177.479 s c =============================================================================== c | 18 | 4493 4551 222146 | 5000 18 4076 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 2.6306 s Remaining CPU time: 177.369 s c =============================================================================== c | 20 | 4493 4552 226496 | 5000 20 4099 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 2.75058 s Remaining CPU time: 177.249 s c =============================================================================== c | 23 | 4493 4553 230846 | 5000 23 4125 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 2.86656 s Remaining CPU time: 177.133 s c =============================================================================== c | 23 | 4493 4554 235196 | 5000 23 4125 | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 2.99154 s Remaining CPU time: 177.008 s c =============================================================================== c | 29 | 4493 4555 239546 | 5000 29 4162 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 3.11653 s Remaining CPU time: 176.883 s c =============================================================================== c | 29 | 4493 4556 243896 | 5000 29 4162 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 3.2515 s Remaining CPU time: 176.748 s c =============================================================================== c | 37 | 4493 4557 248246 | 5000 37 4191 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 3.38049 s Remaining CPU time: 176.62 s c =============================================================================== c | 41 | 4493 4558 252596 | 5000 41 4202 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 3.51546 s Remaining CPU time: 176.485 s c =============================================================================== c | 44 | 4493 4559 256946 | 5000 44 4208 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 3.65744 s Remaining CPU time: 176.343 s c =============================================================================== c | 49 | 4493 4560 261296 | 5000 49 4217 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 3.79342 s Remaining CPU time: 176.207 s c =============================================================================== c | 49 | 4493 4561 265646 | 5000 49 4217 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 3.9354 s Remaining CPU time: 176.065 s c =============================================================================== c | 53 | 4493 4562 269996 | 5000 53 4223 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 4.08938 s Remaining CPU time: 175.911 s c =============================================================================== c | 71 | 4493 4563 274346 | 5000 71 4241 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 4.24036 s Remaining CPU time: 175.76 s c =============================================================================== c | 76 | 4493 4564 278696 | 5000 76 4244 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 4.38733 s Remaining CPU time: 175.613 s c =============================================================================== c | 76 | 4493 4565 283046 | 5000 76 4244 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 4.54831 s Remaining CPU time: 175.452 s c =============================================================================== c | 88 | 4493 4566 287396 | 5000 88 4250 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 4.70728 s Remaining CPU time: 175.293 s c =============================================================================== c | 90 | 4493 4567 291746 | 5000 90 4251 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 4.86526 s Remaining CPU time: 175.135 s c =============================================================================== c | 92 | 4493 4568 296096 | 5000 92 4252 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 5.02623 s Remaining CPU time: 174.974 s c =============================================================================== c | 95 | 4493 4569 300446 | 5000 95 4253 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 5.18821 s Remaining CPU time: 174.812 s c =============================================================================== c | 95 | 4493 4570 304796 | 5000 95 4253 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 5.36518 s Remaining CPU time: 174.635 s c =============================================================================== c | 110 | 4493 4571 309146 | 5000 110 4257 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 5.52716 s Remaining CPU time: 174.473 s c =============================================================================== c | 110 | 4493 4572 313496 | 5000 110 4257 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 5.70713 s Remaining CPU time: 174.293 s c =============================================================================== c | 119 | 4493 4573 317846 | 5000 119 4259 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 6.06508 s Remaining CPU time: 173.935 s c =============================================================================== c | 197 | 4493 4574 322196 | 5000 197 4269 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 6.23905 s Remaining CPU time: 173.761 s c =============================================================================== c | 203 | 4493 4575 326546 | 5000 203 4269 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 6.42102 s Remaining CPU time: 173.579 s c =============================================================================== c | 212 | 4493 4576 330896 | 5000 212 4270 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 6.597 s Remaining CPU time: 173.403 s c =============================================================================== c | 212 | 4493 4577 335246 | 5000 212 4270 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 6.78197 s Remaining CPU time: 173.218 s c =============================================================================== c | 215 | 4493 4578 339596 | 5000 215 4270 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 6.96294 s Remaining CPU time: 173.037 s c =============================================================================== c | 215 | 4493 4579 343946 | 5000 215 4270 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 7.18391 s Remaining CPU time: 172.816 s c =============================================================================== c | 244 | 4493 4580 348296 | 5000 244 4270 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 7.39487 s Remaining CPU time: 172.605 s c =============================================================================== c | 263 | 4493 4581 352646 | 5000 263 4255 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 7.59384 s Remaining CPU time: 172.406 s c =============================================================================== c | 273 | 4493 4582 356996 | 5000 273 4255 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 7.80481 s Remaining CPU time: 172.195 s c =============================================================================== c | 294 | 4493 4583 361346 | 5000 294 4256 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 8.00478 s Remaining CPU time: 171.995 s c =============================================================================== c | 294 | 4493 4584 365696 | 5000 294 4256 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 8.21275 s Remaining CPU time: 171.787 s c =============================================================================== c | 302 | 4493 4585 370046 | 5000 302 4257 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 8.41772 s Remaining CPU time: 171.582 s c =============================================================================== c | 302 | 4493 4586 374396 | 5000 302 4257 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 8.63269 s Remaining CPU time: 171.367 s c =============================================================================== c | 311 | 4493 4587 378746 | 5000 311 4257 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 8.89865 s Remaining CPU time: 171.101 s c =============================================================================== c | 341 | 4493 4588 383096 | 5000 341 4258 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 9.13261 s Remaining CPU time: 170.867 s c =============================================================================== c | 361 | 4493 4589 387446 | 5000 361 4259 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 9.34958 s Remaining CPU time: 170.65 s c =============================================================================== c | 366 | 4493 4590 391796 | 5000 366 4259 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 9.62754 s Remaining CPU time: 170.372 s c =============================================================================== c | 418 | 4493 4591 396146 | 5000 418 4260 | 0.000 % | c | 518 | 4493 4591 396146 | 5500 518 4261 | 0.156 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 10.4404 s Remaining CPU time: 169.56 s c =============================================================================== c | 588 | 4493 4592 400496 | 5000 588 4254 | 0.156 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 10.7774 s Remaining CPU time: 169.223 s c =============================================================================== c | 682 | 4493 4593 404846 | 5000 682 4255 | 0.156 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 11.0423 s Remaining CPU time: 168.958 s c =============================================================================== c | 712 | 4493 4594 409196 | 5000 712 4255 | 0.156 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 11.3133 s Remaining CPU time: 168.687 s c =============================================================================== c | 734 | 4493 4595 413546 | 5000 734 4256 | 0.156 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 11.5662 s Remaining CPU time: 168.434 s c =============================================================================== c | 748 | 4493 4596 417896 | 5000 748 4256 | 0.156 % | c | 848 | 4493 4596 417896 | 5500 848 4256 | 0.156 % | c | 999 | 4493 4596 417896 | 6050 999 4256 | 0.156 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 12.7051 s Remaining CPU time: 167.295 s c =============================================================================== c | 1046 | 4493 4597 422246 | 5000 1046 4257 | 0.156 % | c | 1146 | 4493 4597 422246 | 5500 1146 4257 | 0.156 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 13.5489 s Remaining CPU time: 166.451 s c =============================================================================== c | 1230 | 4493 4598 426596 | 5000 1230 4253 | 0.156 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 13.9019 s Remaining CPU time: 166.098 s c =============================================================================== c | 1303 | 4493 4599 430946 | 5000 1303 4254 | 0.156 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 14.1738 s Remaining CPU time: 165.826 s c =============================================================================== c | 1332 | 4493 4600 435296 | 5000 1332 4254 | 0.156 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 14.4488 s Remaining CPU time: 165.551 s c =============================================================================== c | 1356 | 4493 4601 439646 | 5000 1356 4254 | 0.156 % | c | 1457 | 4493 4601 439646 | 5500 1457 4254 | 0.156 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 15.1247 s Remaining CPU time: 164.875 s c =============================================================================== c | 1507 | 4493 4602 443996 | 5000 1507 4254 | 0.156 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 15.4507 s Remaining CPU time: 164.549 s c =============================================================================== c | 1563 | 4493 4603 448346 | 5000 1563 4254 | 0.156 % | c | 1664 | 4493 4603 448346 | 5500 1664 4254 | 0.156 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 16.1735 s Remaining CPU time: 163.826 s c =============================================================================== c | 1701 | 4493 4604 452696 | 5000 1701 4254 | 0.156 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 16.4745 s Remaining CPU time: 163.526 s c =============================================================================== c | 1721 | 4493 4605 457046 | 5000 1721 4254 | 0.156 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 16.7814 s Remaining CPU time: 163.219 s c =============================================================================== c | 1757 | 4493 4606 461396 | 5000 1757 4254 | 0.156 % | c | 1857 | 4493 4606 461396 | 5500 1857 4253 | 0.156 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 17.5613 s Remaining CPU time: 162.439 s c =============================================================================== c | 1943 | 4493 4607 465746 | 5000 1943 4253 | 0.156 % | c | 2044 | 4493 4607 465746 | 5500 2044 4253 | 0.156 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 18.3322 s Remaining CPU time: 161.668 s c =============================================================================== c | 2139 | 4493 4608 470096 | 5000 2139 4253 | 0.156 % | c | 2240 | 4493 4608 470096 | 5500 2240 4252 | 0.156 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 19.0991 s Remaining CPU time: 160.901 s c =============================================================================== c | 2279 | 4493 4609 474446 | 5000 2279 4252 | 0.156 % | c | 2381 | 4493 4609 474446 | 5500 2381 4252 | 0.156 % | c | 2531 | 4493 4609 474446 | 6050 2531 4252 | 0.156 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 20.8908 s Remaining CPU time: 159.109 s c =============================================================================== c | 2743 | 4493 4610 478796 | 5000 2743 4251 | 0.156 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 21.2098 s Remaining CPU time: 158.79 s c =============================================================================== c | 2783 | 4493 4611 483146 | 5000 2783 4251 | 0.156 % | c | 2883 | 4493 4611 483146 | 5500 2883 4251 | 0.156 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 21.9597 s Remaining CPU time: 158.04 s c =============================================================================== c | 2899 | 4493 4612 487496 | 5000 2899 4251 | 0.156 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 22.4726 s Remaining CPU time: 157.527 s c =============================================================================== c | 2987 | 4493 4613 491846 | 5000 2987 4251 | 0.156 % | c | 3087 | 4493 4613 491846 | 5500 3087 4251 | 0.156 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 23.3864 s Remaining CPU time: 156.614 s c =============================================================================== c | 3143 | 4493 4614 496196 | 5000 3143 4250 | 0.156 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 23.7654 s Remaining CPU time: 156.235 s c =============================================================================== c | 3186 | 4493 4615 500546 | 5000 3186 4250 | 0.156 % | c | 3287 | 4493 4615 500546 | 5500 3287 4250 | 0.156 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 24.5943 s Remaining CPU time: 155.406 s c =============================================================================== c | 3328 | 4493 4616 504896 | 5000 3328 4250 | 0.156 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 24.8962 s Remaining CPU time: 155.104 s c =============================================================================== c | 3341 | 4493 4617 509246 | 5000 3341 4250 | 0.156 % | c | 3441 | 4493 4617 509246 | 5500 3441 4250 | 0.156 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 25.7301 s Remaining CPU time: 154.27 s c =============================================================================== c | 3520 | 4493 4618 513596 | 5000 3520 4249 | 0.156 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 26.087 s Remaining CPU time: 153.913 s c =============================================================================== c | 3553 | 4493 4619 517946 | 5000 3553 4249 | 0.156 % | c | 3653 | 4493 4619 517946 | 5500 3653 4249 | 0.156 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 26.9139 s Remaining CPU time: 153.086 s c =============================================================================== c | 3697 | 4493 4620 522296 | 5000 3697 4249 | 0.156 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 27.3888 s Remaining CPU time: 152.611 s c =============================================================================== c | 3767 | 4493 4621 526646 | 5000 3767 4248 | 0.156 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 27.8538 s Remaining CPU time: 152.146 s c =============================================================================== c | 3832 | 4493 4622 530996 | 5000 3832 4248 | 0.156 % | c | 3934 | 4493 4622 530996 | 5500 3934 4247 | 0.156 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 28.7256 s Remaining CPU time: 151.274 s c =============================================================================== c | 3980 | 4493 4623 535346 | 5000 3980 4247 | 0.156 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 29.0456 s Remaining CPU time: 150.954 s c =============================================================================== c | 3989 | 4493 4624 539696 | 5000 3989 4247 | 0.156 % | c | 4089 | 4493 4624 539696 | 5500 4089 4246 | 0.156 % | c | 4239 | 4493 4624 539696 | 6050 4239 4246 | 0.156 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 30.6333 s Remaining CPU time: 149.367 s c =============================================================================== c | 4400 | 4493 4625 544046 | 5000 4400 4245 | 0.156 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 31.0343 s Remaining CPU time: 148.966 s c =============================================================================== c | 4467 | 4493 4626 548396 | 5000 4467 4245 | 0.156 % | c | 4567 | 4493 4626 548396 | 5500 4567 4245 | 0.156 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 31.9331 s Remaining CPU time: 148.067 s c =============================================================================== c | 4663 | 4493 4627 552746 | 5000 4663 4244 | 0.156 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 32.3361 s Remaining CPU time: 147.664 s c =============================================================================== c | 4690 | 4493 4628 557096 | 5000 4690 4244 | 0.156 % | c | 4790 | 4493 4628 557096 | 5500 4790 4244 | 0.156 % | c | 4940 | 4493 4628 557096 | 6050 4940 4242 | 0.156 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 33.7999 s Remaining CPU time: 146.2 s c =============================================================================== c | 5046 | 4493 4629 561446 | 5000 5046 4242 | 0.156 % | c | 5146 | 4493 4629 561446 | 5500 2623 4226 | 0.156 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 34.9797 s Remaining CPU time: 145.02 s c =============================================================================== c | 5260 | 4493 4630 565796 | 5000 2737 4226 | 0.156 % | c | 5360 | 4493 4630 565796 | 5500 2837 4226 | 0.156 % | c | 5510 | 4493 4630 565796 | 6050 2987 4224 | 0.156 % | c | 5735 | 4493 4630 565796 | 6655 3212 4224 | 0.156 % | c | 6073 | 4493 4630 565796 | 7320 3550 4223 | 0.156 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 38.8421 s Remaining CPU time: 141.158 s c =============================================================================== c | 6452 | 4493 4631 570146 | 5000 3929 4224 | 0.156 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 39.4 s Remaining CPU time: 140.6 s c =============================================================================== c | 6513 | 4493 4632 574496 | 5000 3990 4224 | 0.156 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 39.9769 s Remaining CPU time: 140.023 s c =============================================================================== c | 6604 | 4493 4633 578846 | 5000 4081 4224 | 0.156 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 40.4169 s Remaining CPU time: 139.583 s c =============================================================================== c | 6676 | 4493 4634 583196 | 5000 4153 4224 | 0.156 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 40.8048 s Remaining CPU time: 139.195 s c =============================================================================== c | 6709 | 4493 4635 587546 | 5000 4186 4223 | 0.156 % | c | 6809 | 4493 4635 587546 | 5500 4286 4223 | 0.156 % | c | 6959 | 4493 4635 587546 | 6050 4436 4223 | 0.156 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 42.4605 s Remaining CPU time: 137.539 s c =============================================================================== c | 6999 | 4493 4636 591896 | 5000 4476 4223 | 0.156 % | c | 7100 | 4493 4636 591896 | 5500 4577 4223 | 0.156 % | c | 7250 | 4493 4636 591896 | 6050 4727 4223 | 0.156 % | c | 7477 | 4493 4636 591896 | 6655 4954 4223 | 0.156 % | c | 7814 | 4493 4636 591896 | 7320 5291 4223 | 0.156 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 47.2188 s Remaining CPU time: 132.781 s c =============================================================================== c | 8310 | 4493 4637 596246 | 5000 5787 4222 | 0.156 % | c | 8410 | 4493 4637 596246 | 5500 2994 4211 | 0.156 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 48.1617 s Remaining CPU time: 131.838 s c =============================================================================== c | 8434 | 4493 4638 600596 | 5000 3018 4211 | 0.156 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 48.6966 s Remaining CPU time: 131.303 s c =============================================================================== c | 8530 | 4493 4639 604946 | 5000 3114 4211 | 0.156 % | c | 8630 | 4493 4639 604946 | 5500 3214 4211 | 0.156 % | c | 8780 | 4493 4639 604946 | 6050 3364 4210 | 0.156 % | c | 9005 | 4493 4639 604946 | 6655 3589 4210 | 0.156 % | c | 9343 | 4493 4639 604946 | 7320 3927 4211 | 0.156 % | c | 9850 | 4493 4639 604946 | 8052 4434 4211 | 0.156 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 53.1699 s Remaining CPU time: 126.83 s c =============================================================================== c | 9983 | 4493 4640 609296 | 5000 4567 4211 | 0.156 % | c | 10083 | 4493 4640 609296 | 5500 4667 4211 | 0.156 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 54.4187 s Remaining CPU time: 125.581 s c =============================================================================== c | 10176 | 4493 4641 613646 | 5000 4760 4211 | 0.156 % | c | 10276 | 4493 4641 613646 | 5500 4860 4211 | 0.156 % | c | 10426 | 4493 4641 613646 | 6050 5010 4211 | 0.156 % | c | 10652 | 4493 4641 613646 | 6655 5236 4211 | 0.156 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 57.1483 s Remaining CPU time: 122.852 s c =============================================================================== c | 10914 | 4493 4642 617996 | 5000 5498 4211 | 0.156 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 57.6092 s Remaining CPU time: 122.391 s c =============================================================================== c | 10981 | 4493 4643 622346 | 5000 2816 4201 | 0.156 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 58.0672 s Remaining CPU time: 121.933 s c =============================================================================== c | 11055 | 4493 4644 626696 | 5000 2890 4201 | 0.156 % | c | 11155 | 4493 4644 626696 | 5500 2990 4202 | 0.156 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 59.072 s Remaining CPU time: 120.928 s c =============================================================================== c | 11219 | 4493 4645 631046 | 5000 3054 4202 | 0.156 % | c | 11320 | 4493 4645 631046 | 5500 3155 4202 | 0.156 % | c | 11470 | 4493 4645 631046 | 6050 3305 4202 | 0.156 % | c | 11695 | 4493 4645 631046 | 6655 3530 4203 | 0.156 % | c | 12032 | 4493 4645 631046 | 7320 3867 4204 | 0.156 % | c | 12538 | 4493 4645 631046 | 8052 4373 4204 | 0.156 % | c | 13297 | 4493 4645 631046 | 8857 5132 4205 | 0.156 % | c | 14436 | 4493 4645 631046 | 9743 6271 4206 | 0.156 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 68.6876 s Remaining CPU time: 111.312 s c =============================================================================== c | 15343 | 4493 4646 635396 | 5000 7178 4207 | 0.156 % | c | 15443 | 4493 4646 635396 | 5500 3689 4200 | 0.156 % | c | 15593 | 4493 4646 635396 | 6050 3839 4201 | 0.156 % | c | 15818 | 4493 4646 635396 | 6655 4064 4201 | 0.156 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 71.3522 s Remaining CPU time: 108.648 s c =============================================================================== c | 15894 | 4493 4647 639746 | 5000 4140 4201 | 0.156 % | c | 15995 | 4493 4647 639746 | 5500 4241 4201 | 0.156 % | c | 16145 | 4493 4647 639746 | 6050 4391 4202 | 0.156 % | c | 16370 | 4493 4647 639746 | 6655 4616 4202 | 0.156 % | c | 16707 | 4493 4647 639746 | 7320 4953 4202 | 0.156 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 74.6866 s Remaining CPU time: 105.313 s c =============================================================================== c | 16778 | 4493 4648 644096 | 5000 5024 4202 | 0.156 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 75.1856 s Remaining CPU time: 104.814 s c =============================================================================== c | 16856 | 4493 4649 648446 | 5000 2590 4198 | 0.156 % | c | 16956 | 4493 4649 648446 | 5500 2690 4198 | 0.156 % | c | 17106 | 4493 4649 648446 | 6050 2840 4199 | 0.156 % | c | 17331 | 4493 4649 648446 | 6655 3065 4199 | 0.156 % | c | 17668 | 4493 4649 648446 | 7320 3402 4200 | 0.156 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 79.5589 s Remaining CPU time: 100.441 s c =============================================================================== c | 17969 | 4493 4650 652796 | 5000 3703 4201 | 0.156 % | c | 18069 | 4493 4650 652796 | 5500 3803 4201 | 0.156 % | c | 18219 | 4493 4650 652796 | 6050 3953 4201 | 0.156 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 81.5316 s Remaining CPU time: 98.4684 s c =============================================================================== c | 18441 | 4493 4651 657146 | 5000 4175 4201 | 0.156 % | c | 18541 | 4493 4651 657146 | 5500 4275 4201 | 0.156 % | c | 18692 | 4493 4651 657146 | 6050 4426 4201 | 0.156 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 83.5143 s Remaining CPU time: 96.4857 s c =============================================================================== c | 18840 | 4493 4652 661496 | 5000 4574 4202 | 0.156 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 83.9692 s Remaining CPU time: 96.0308 s c =============================================================================== c | 18891 | 4493 4653 665846 | 5000 4625 4202 | 0.156 % | c | 18991 | 4493 4653 665846 | 5500 4725 4202 | 0.156 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 85.0871 s Remaining CPU time: 94.9129 s c =============================================================================== c | 19116 | 4493 4654 670196 | 5000 4850 4202 | 0.156 % | c | 19216 | 4493 4654 670196 | 5500 4950 4202 | 0.156 % | c | 19366 | 4493 4654 670196 | 6050 5100 4202 | 0.156 % | c | 19591 | 4493 4654 670196 | 6655 5325 4202 | 0.156 % | c | 19929 | 4493 4654 670196 | 7320 5663 4202 | 0.156 % | c | 20435 | 4493 4654 670196 | 8052 6169 4202 | 0.156 % | c | 21194 | 4493 4654 670196 | 8857 6928 4201 | 0.156 % |