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 | 4497 4503 13337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 4497 4504 17687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 4497 4505 22037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 4497 4506 26387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 4497 4507 30737 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 4497 4508 35087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 4497 4509 39437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 4497 4510 43787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 4497 4511 48137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 4497 4512 52487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 4497 4513 56837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 4497 4514 61187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 0 | 4497 4515 65537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 4497 4516 69887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 4497 4517 74237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 4497 4518 78587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 4497 4519 82937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 4497 4520 87287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 4497 4521 91637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 4497 4522 95987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 4497 4523 100337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 4497 4524 104687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 0 | 4497 4525 109037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 4497 4526 113387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 4497 4527 117737 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 4497 4528 122087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 0 | 4497 4529 126437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 4497 4530 130787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 0 | 4497 4531 135137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 0 | 4497 4532 139487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 0 | 4497 4533 143837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 0 | 4497 4534 148187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 4497 4535 152537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 0 | 4497 4536 156887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 4497 4537 161237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 0 | 4497 4538 165587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 0 | 4497 4539 169937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 0 | 4497 4540 174287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s c =============================================================================== c | 0 | 4497 4541 178637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 0 | 4497 4542 182987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 1.07084 s Remaining CPU time: 178.929 s c =============================================================================== c | 0 | 4497 4543 187337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 0 | 4497 4544 191687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 0 | 4497 4545 196037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 0 | 4497 4546 200387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 0 | 4497 4547 204737 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 1.38779 s Remaining CPU time: 178.612 s c =============================================================================== c | 0 | 4497 4548 209087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 1.45878 s Remaining CPU time: 178.541 s c =============================================================================== c | 0 | 4497 4549 213437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 0 | 4497 4550 217787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 0 | 4497 4551 222137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 0 | 4497 4552 226487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 0 | 4497 4553 230837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 1.82472 s Remaining CPU time: 178.175 s c =============================================================================== c | 0 | 4497 4554 235187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 1.90371 s Remaining CPU time: 178.096 s c =============================================================================== c | 0 | 4497 4555 239537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 1.9847 s Remaining CPU time: 178.015 s c =============================================================================== c | 0 | 4497 4556 243887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 0 | 4497 4557 248237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 0 | 4497 4558 252587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 2.23166 s Remaining CPU time: 177.768 s c =============================================================================== c | 0 | 4497 4559 256937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 2.31865 s Remaining CPU time: 177.681 s c =============================================================================== c | 0 | 4497 4560 261287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 2.40863 s Remaining CPU time: 177.591 s c =============================================================================== c | 0 | 4497 4561 265637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s c =============================================================================== c | 0 | 4497 4562 269987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 2.5926 s Remaining CPU time: 177.407 s c =============================================================================== c | 0 | 4497 4563 274337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 2.68959 s Remaining CPU time: 177.31 s c =============================================================================== c | 0 | 4497 4564 278687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 2.78158 s Remaining CPU time: 177.218 s c =============================================================================== c | 0 | 4497 4565 283037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 2.88356 s Remaining CPU time: 177.116 s c =============================================================================== c | 0 | 4497 4566 287387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 2.98555 s Remaining CPU time: 177.014 s c =============================================================================== c | 0 | 4497 4567 291737 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 3.09053 s Remaining CPU time: 176.909 s c =============================================================================== c | 0 | 4497 4568 296087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 3.19651 s Remaining CPU time: 176.803 s c =============================================================================== c | 0 | 4497 4569 300437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 3.3035 s Remaining CPU time: 176.697 s c =============================================================================== c | 0 | 4497 4570 304787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 0 | 4497 4571 309137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 3.52946 s Remaining CPU time: 176.471 s c =============================================================================== c | 0 | 4497 4572 313487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 3.64445 s Remaining CPU time: 176.356 s c =============================================================================== c | 0 | 4497 4573 317837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 3.76143 s Remaining CPU time: 176.239 s c =============================================================================== c | 0 | 4497 4574 322187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 3.88241 s Remaining CPU time: 176.118 s c =============================================================================== c | 0 | 4497 4575 326537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 4.00439 s Remaining CPU time: 175.996 s c =============================================================================== c | 0 | 4497 4576 330887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 4.12537 s Remaining CPU time: 175.875 s c =============================================================================== c | 0 | 4497 4577 335237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 4.25135 s Remaining CPU time: 175.749 s c =============================================================================== c | 0 | 4497 4578 339587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 4.37733 s Remaining CPU time: 175.623 s c =============================================================================== c | 0 | 4497 4579 343937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 4.50831 s Remaining CPU time: 175.492 s c =============================================================================== c | 0 | 4497 4580 348287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 4.64129 s Remaining CPU time: 175.359 s c =============================================================================== c | 0 | 4497 4581 352637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 4.77627 s Remaining CPU time: 175.224 s c =============================================================================== c | 0 | 4497 4582 356987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 4.91425 s Remaining CPU time: 175.086 s c =============================================================================== c | 0 | 4497 4583 361337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 5.05023 s Remaining CPU time: 174.95 s c =============================================================================== c | 0 | 4497 4584 365687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 5.18921 s Remaining CPU time: 174.811 s c =============================================================================== c | 0 | 4497 4585 370037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 5.33419 s Remaining CPU time: 174.666 s c =============================================================================== c | 0 | 4497 4586 374387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 5.48217 s Remaining CPU time: 174.518 s c =============================================================================== c | 0 | 4497 4587 378737 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 5.63314 s Remaining CPU time: 174.367 s c =============================================================================== c | 0 | 4497 4588 383087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 5.78512 s Remaining CPU time: 174.215 s c =============================================================================== c | 0 | 4497 4589 387437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 5.9371 s Remaining CPU time: 174.063 s c =============================================================================== c | 0 | 4497 4590 391787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 6.09407 s Remaining CPU time: 173.906 s c =============================================================================== c | 0 | 4497 4591 396137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 6.25405 s Remaining CPU time: 173.746 s c =============================================================================== c | 0 | 4497 4592 400487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 6.41502 s Remaining CPU time: 173.585 s c =============================================================================== c | 0 | 4497 4593 404837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 6.58 s Remaining CPU time: 173.42 s c =============================================================================== c | 0 | 4497 4594 409187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 6.74597 s Remaining CPU time: 173.254 s c =============================================================================== c | 0 | 4497 4595 413537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 6.91395 s Remaining CPU time: 173.086 s c =============================================================================== c | 0 | 4497 4596 417887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 7.08592 s Remaining CPU time: 172.914 s c =============================================================================== c | 0 | 4497 4597 422237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 7.2599 s Remaining CPU time: 172.74 s c =============================================================================== c | 0 | 4497 4598 426587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 7.43187 s Remaining CPU time: 172.568 s c =============================================================================== c | 0 | 4497 4599 430937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 7.60984 s Remaining CPU time: 172.39 s c =============================================================================== c | 0 | 4497 4600 435287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 7.78782 s Remaining CPU time: 172.212 s c =============================================================================== c | 0 | 4497 4601 439637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 7.96879 s Remaining CPU time: 172.031 s c =============================================================================== c | 0 | 4497 4602 443987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 8.14876 s Remaining CPU time: 171.851 s c =============================================================================== c | 0 | 4497 4603 448337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 8.33373 s Remaining CPU time: 171.666 s c =============================================================================== c | 0 | 4497 4604 452687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 8.5207 s Remaining CPU time: 171.479 s c =============================================================================== c | 0 | 4497 4605 457037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 8.70768 s Remaining CPU time: 171.292 s c =============================================================================== c | 0 | 4497 4606 461387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 8.90065 s Remaining CPU time: 171.099 s c =============================================================================== c | 0 | 4497 4607 465737 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 9.09462 s Remaining CPU time: 170.905 s c =============================================================================== c | 0 | 4497 4608 470087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 9.28859 s Remaining CPU time: 170.711 s c =============================================================================== c | 0 | 4497 4609 474437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 9.48556 s Remaining CPU time: 170.514 s c =============================================================================== c | 0 | 4497 4610 478787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 9.70752 s Remaining CPU time: 170.292 s c =============================================================================== c | 0 | 4497 4611 483137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 9.92849 s Remaining CPU time: 170.072 s c =============================================================================== c | 0 | 4497 4612 487487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 10.1525 s Remaining CPU time: 169.848 s c =============================================================================== c | 0 | 4497 4613 491837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 10.3754 s Remaining CPU time: 169.625 s c =============================================================================== c | 0 | 4497 4614 496187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 10.6004 s Remaining CPU time: 169.4 s c =============================================================================== c | 0 | 4497 4615 500537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 10.8274 s Remaining CPU time: 169.173 s c =============================================================================== c | 0 | 4497 4616 504887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 11.0563 s Remaining CPU time: 168.944 s c =============================================================================== c | 0 | 4497 4617 509237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 11.2863 s Remaining CPU time: 168.714 s c =============================================================================== c | 0 | 4497 4618 513587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 11.5282 s Remaining CPU time: 168.472 s c =============================================================================== c | 0 | 4497 4619 517937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 11.7682 s Remaining CPU time: 168.232 s c =============================================================================== c | 0 | 4497 4620 522287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 12.0112 s Remaining CPU time: 167.989 s c =============================================================================== c | 0 | 4497 4621 526637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 12.2571 s Remaining CPU time: 167.743 s c =============================================================================== c | 0 | 4497 4622 530987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 12.5181 s Remaining CPU time: 167.482 s c =============================================================================== c | 1 | 4497 4623 535337 | 5000 1 4233 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 12.7861 s Remaining CPU time: 167.214 s c =============================================================================== c | 3 | 4497 4624 539687 | 5000 3 4232 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 13.034 s Remaining CPU time: 166.966 s c =============================================================================== c | 3 | 4497 4625 544037 | 5000 3 4232 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 13.283 s Remaining CPU time: 166.717 s c =============================================================================== c | 3 | 4497 4626 548387 | 5000 3 4232 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 13.5379 s Remaining CPU time: 166.462 s c =============================================================================== c | 3 | 4497 4627 552737 | 5000 3 4232 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 13.7949 s Remaining CPU time: 166.205 s c =============================================================================== c | 3 | 4497 4628 557087 | 5000 3 4232 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 14.0669 s Remaining CPU time: 165.933 s c =============================================================================== c | 11 | 4497 4629 561437 | 5000 11 4228 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 14.3698 s Remaining CPU time: 165.63 s c =============================================================================== c | 17 | 4497 4630 565787 | 5000 17 4227 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 14.6668 s Remaining CPU time: 165.333 s c =============================================================================== c | 25 | 4497 4631 570137 | 5000 25 4226 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 14.9657 s Remaining CPU time: 165.034 s c =============================================================================== c | 31 | 4497 4632 574487 | 5000 31 4226 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 15.2587 s Remaining CPU time: 164.741 s c =============================================================================== c | 37 | 4497 4633 578837 | 5000 37 4225 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 15.5876 s Remaining CPU time: 164.412 s c =============================================================================== c | 61 | 4497 4634 583187 | 5000 61 4224 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 15.8596 s Remaining CPU time: 164.14 s c =============================================================================== c | 61 | 4497 4635 587537 | 5000 61 4224 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 16.1485 s Remaining CPU time: 163.851 s c =============================================================================== c | 62 | 4497 4636 591887 | 5000 62 4224 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 16.4675 s Remaining CPU time: 163.533 s c =============================================================================== c | 72 | 4497 4637 596237 | 5000 72 4223 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 16.7794 s Remaining CPU time: 163.221 s c =============================================================================== c | 72 | 4497 4638 600587 | 5000 72 4223 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 17.1204 s Remaining CPU time: 162.88 s c =============================================================================== c | 118 | 4497 4639 604937 | 5000 118 4221 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 17.4573 s Remaining CPU time: 162.543 s c =============================================================================== c | 130 | 4497 4640 609287 | 5000 130 4220 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 17.7943 s Remaining CPU time: 162.206 s c =============================================================================== c | 131 | 4497 4641 613637 | 5000 131 4188 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 18.1052 s Remaining CPU time: 161.895 s c =============================================================================== c | 143 | 4497 4642 617987 | 5000 143 4190 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 18.4732 s Remaining CPU time: 161.527 s c =============================================================================== c | 162 | 4497 4643 622337 | 5000 162 4193 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 18.8141 s Remaining CPU time: 161.186 s c =============================================================================== c | 177 | 4497 4644 626687 | 5000 177 4195 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 19.1601 s Remaining CPU time: 160.84 s c =============================================================================== c | 177 | 4497 4645 631037 | 5000 177 4195 | 0.000 % | c | 277 | 4497 4645 631037 | 5500 277 4201 | 0.067 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 20.0689 s Remaining CPU time: 159.931 s c =============================================================================== c | 286 | 4497 4646 635387 | 5000 286 4201 | 0.067 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 20.4189 s Remaining CPU time: 159.581 s c =============================================================================== c | 322 | 4497 4647 639737 | 5000 322 4202 | 0.067 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 20.7578 s Remaining CPU time: 159.242 s c =============================================================================== c | 347 | 4497 4648 644087 | 5000 347 4202 | 0.067 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 21.0868 s Remaining CPU time: 158.913 s c =============================================================================== c | 354 | 4497 4649 648437 | 5000 354 4202 | 0.067 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 21.4317 s Remaining CPU time: 158.568 s c =============================================================================== c | 354 | 4497 4650 652787 | 5000 354 4202 | 0.067 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 21.7867 s Remaining CPU time: 158.213 s c =============================================================================== c | 372 | 4497 4651 657137 | 5000 372 4202 | 0.067 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 22.1536 s Remaining CPU time: 157.846 s c =============================================================================== c | 387 | 4497 4652 661487 | 5000 387 4202 | 0.067 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 22.5086 s Remaining CPU time: 157.491 s c =============================================================================== c | 405 | 4497 4653 665837 | 5000 405 4202 | 0.067 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 22.8425 s Remaining CPU time: 157.157 s c =============================================================================== c | 405 | 4497 4654 670187 | 5000 405 4202 | 0.067 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 23.1995 s Remaining CPU time: 156.801 s c =============================================================================== c | 430 | 4497 4655 674537 | 5000 430 4202 | 0.067 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 23.5554 s Remaining CPU time: 156.445 s c =============================================================================== c | 440 | 4497 4656 678887 | 5000 440 4202 | 0.067 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 23.8754 s Remaining CPU time: 156.125 s c =============================================================================== c | 440 | 4497 4657 683237 | 5000 440 4202 | 0.067 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 24.1833 s Remaining CPU time: 155.817 s c =============================================================================== c | 440 | 4497 4658 687587 | 5000 440 4202 | 0.067 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 24.5323 s Remaining CPU time: 155.468 s c =============================================================================== c | 466 | 4497 4659 691937 | 5000 466 4202 | 0.067 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 24.8662 s Remaining CPU time: 155.134 s c =============================================================================== c | 474 | 4497 4660 696287 | 5000 474 4202 | 0.067 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 25.2072 s Remaining CPU time: 154.793 s c =============================================================================== c | 474 | 4497 4661 700637 | 5000 474 4202 | 0.067 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 25.5911 s Remaining CPU time: 154.409 s c =============================================================================== c | 498 | 4497 4662 704987 | 5000 498 4202 | 0.067 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 25.9351 s Remaining CPU time: 154.065 s c =============================================================================== c | 502 | 4497 4663 709337 | 5000 502 4202 | 0.067 % | c | 603 | 4497 4663 709337 | 5500 603 4200 | 0.067 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 26.8299 s Remaining CPU time: 153.17 s c =============================================================================== c | 616 | 4497 4664 713687 | 5000 616 4200 | 0.067 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 27.1639 s Remaining CPU time: 152.836 s c =============================================================================== c | 621 | 4497 4665 718037 | 5000 621 4200 | 0.067 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 27.5898 s Remaining CPU time: 152.41 s c =============================================================================== c | 652 | 4497 4666 722387 | 5000 652 4199 | 0.067 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 28.1237 s Remaining CPU time: 151.876 s c =============================================================================== c | 707 | 4497 4667 726737 | 5000 707 4198 | 0.067 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 28.5847 s Remaining CPU time: 151.415 s c =============================================================================== c | 758 | 4497 4668 731087 | 5000 758 4198 | 0.067 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 29.0546 s Remaining CPU time: 150.945 s c =============================================================================== c | 805 | 4497 4669 735437 | 5000 805 4197 | 0.067 % | c | 905 | 4497 4669 735437 | 5500 905 4196 | 0.067 % | c | 1055 | 4497 4669 735437 | 6050 1055 4195 | 0.067 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 30.7233 s Remaining CPU time: 149.277 s c =============================================================================== c | 1108 | 4497 4670 739787 | 5000 1108 4194 | 0.067 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 31.2392 s Remaining CPU time: 148.761 s c =============================================================================== c | 1181 | 4497 4671 744137 | 5000 1181 4194 | 0.067 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 31.6812 s Remaining CPU time: 148.319 s c =============================================================================== c | 1199 | 4497 4672 748487 | 5000 1199 4190 | 0.067 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 32.1431 s Remaining CPU time: 147.857 s c =============================================================================== c | 1239 | 4497 4673 752837 | 5000 1239 4190 | 0.067 % | c | 1339 | 4497 4673 752837 | 5500 1339 4189 | 0.067 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 33.151 s Remaining CPU time: 146.849 s c =============================================================================== c | 1369 | 4497 4674 757187 | 5000 1369 4189 | 0.067 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 33.5999 s Remaining CPU time: 146.4 s c =============================================================================== c | 1422 | 4497 4675 761537 | 5000 1422 4189 | 0.067 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 33.9918 s Remaining CPU time: 146.008 s c =============================================================================== c | 1443 | 4497 4676 765887 | 5000 1443 4183 | 0.067 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 34.3728 s Remaining CPU time: 145.627 s c =============================================================================== c | 1447 | 4497 4677 770237 | 5000 1447 4183 | 0.067 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 34.8117 s Remaining CPU time: 145.188 s c =============================================================================== c | 1494 | 4497 4678 774587 | 5000 1494 4183 | 0.067 % | c | 1595 | 4497 4678 774587 | 5500 1595 4182 | 0.067 % | c | 1745 | 4497 4678 774587 | 6050 1745 4182 | 0.067 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 36.7834 s Remaining CPU time: 143.217 s c =============================================================================== c | 1790 | 4497 4679 778937 | 5000 1790 4182 | 0.067 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 37.2603 s Remaining CPU time: 142.74 s c =============================================================================== c | 1832 | 4497 4680 783287 | 5000 1832 4182 | 0.067 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 37.8033 s Remaining CPU time: 142.197 s c =============================================================================== c | 1908 | 4497 4681 787637 | 5000 1908 4181 | 0.067 % | c | 2009 | 4497 4681 787637 | 5500 2009 4179 | 0.067 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 38.8511 s Remaining CPU time: 141.149 s c =============================================================================== c | 2023 | 4497 4682 791987 | 5000 2023 4179 | 0.067 % | c | 2124 | 4497 4682 791987 | 5500 2124 4179 | 0.067 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 39.7919 s Remaining CPU time: 140.208 s c =============================================================================== c | 2174 | 4497 4683 796337 | 5000 2174 4179 | 0.067 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 40.3939 s Remaining CPU time: 139.606 s c =============================================================================== c | 2273 | 4497 4684 800687 | 5000 2273 4178 | 0.067 % | c | 2373 | 4497 4684 800687 | 5500 2373 4178 | 0.067 % | c | 2524 | 4497 4684 800687 | 6050 2524 4178 | 0.067 % | c | 2749 | 4497 4684 800687 | 6655 2749 4177 | 0.067 % | c | 3087 | 4497 4684 800687 | 7320 3087 4174 | 0.067 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 45.4001 s Remaining CPU time: 134.6 s c =============================================================================== c | 3384 | 4497 4685 805037 | 5000 3384 4174 | 0.067 % | c | 3484 | 4497 4685 805037 | 5500 3484 4174 | 0.067 % | c | 3635 | 4497 4685 805037 | 6050 3635 4173 | 0.067 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 47.2908 s Remaining CPU time: 132.709 s c =============================================================================== c | 3855 | 4497 4686 809387 | 5000 3855 4173 | 0.067 % | c | 3955 | 4497 4686 809387 | 5500 3955 4173 | 0.067 % | c | 4105 | 4497 4686 809387 | 6050 4105 4173 | 0.067 % | c | 4330 | 4497 4686 809387 | 6655 4330 4173 | 0.067 % | c | 4667 | 4497 4686 809387 | 7320 4667 4173 | 0.067 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 51.5382 s Remaining CPU time: 128.462 s c =============================================================================== c | 4750 | 4497 4687 813737 | 5000 4750 4172 | 0.067 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 51.9611 s Remaining CPU time: 128.039 s c =============================================================================== c | 4795 | 4497 4688 818087 | 5000 4795 4172 | 0.067 % | c | 4895 | 4497 4688 818087 | 5500 4895 4172 | 0.067 % | c | 5045 | 4497 4688 818087 | 6050 5045 4171 | 0.067 % | c | 5271 | 4497 4688 818087 | 6655 5271 4171 | 0.067 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 54.8517 s Remaining CPU time: 125.148 s c =============================================================================== c | 5370 | 4497 4689 822437 | 5000 5370 4171 | 0.067 % | c | 5470 | 4497 4689 822437 | 5500 2785 4158 | 0.067 % | c | 5620 | 4497 4689 822437 | 6050 2935 4158 | 0.067 % | c | 5845 | 4497 4689 822437 | 6655 3160 4159 | 0.067 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 57.6942 s Remaining CPU time: 122.306 s c =============================================================================== c | 5966 | 4497 4690 826787 | 5000 3281 4159 | 0.067 % | c | 6067 | 4497 4690 826787 | 5500 3382 4159 | 0.067 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 58.902 s Remaining CPU time: 121.098 s c =============================================================================== c | 6139 | 4497 4691 831137 | 5000 3454 4159 | 0.067 % | c | 6239 | 4497 4691 831137 | 5500 3554 4159 | 0.067 % | c | 6390 | 4497 4691 831137 | 6050 3705 4160 | 0.067 % | c | 6615 | 4497 4691 831137 | 6655 3930 4160 | 0.067 % | c | 6952 | 4497 4691 831137 | 7320 4267 4160 | 0.067 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 62.9634 s Remaining CPU time: 117.037 s c =============================================================================== c | 7222 | 4497 4692 835487 | 5000 4537 4160 | 0.067 % | c | 7322 | 4497 4692 835487 | 5500 4637 4160 | 0.067 % | c | 7472 | 4497 4692 835487 | 6050 4787 4160 | 0.067 % | c | 7697 | 4497 4692 835487 | 6655 5012 4160 | 0.067 % | c | 8034 | 4497 4692 835487 | 7320 5349 4160 | 0.067 % | c | 8540 | 4497 4692 835487 | 8052 5855 4160 | 0.067 % | c | 9299 | 4497 4692 835487 | 8857 6614 4160 | 0.067 % | c | 10439 | 4497 4692 835487 | 9743 7754 4160 | 0.067 % | c | 12147 | 4497 4692 835487 | 10717 9462 4160 | 0.067 % | c | 14709 | 4497 4692 835487 | 11789 12024 4161 | 0.067 % | c | 18555 | 4497 4692 835487 | 12968 9858 4157 | 0.067 % |