c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3500 | c | Number Clauses: 3500 | 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 | 3497 3503 10336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18452 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 3497 3504 13686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18442 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 3497 3505 17036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18436 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 3497 3506 20386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18435 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 3497 3507 23736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18429 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 3497 3508 27086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18428 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 3497 3509 30436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18427 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 0 | 3497 3510 33786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18426 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 0 | 3497 3511 37136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18425 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 3497 3512 40486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18424 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 0 | 3497 3513 43836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18423 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 0 | 3497 3514 47186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18422 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 0 | 3497 3515 50536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18421 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 0 | 3497 3516 53886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18419 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 0 | 3497 3517 57236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18418 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 0 | 3497 3518 60586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18417 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 0 | 3497 3519 63936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18416 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 0 | 3497 3520 67286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18415 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 0 | 3497 3521 70636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18412 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 0 | 3497 3522 73986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18411 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 0 | 3497 3523 77336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18410 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 0 | 3497 3524 80686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18409 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 0 | 3497 3525 84036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18407 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 0 | 3497 3526 87386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18406 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 0 | 3497 3527 90736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18404 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 0 | 3497 3528 94086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18402 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 0 | 3497 3529 97436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18400 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 0 | 3497 3530 100786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18398 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 0 | 3497 3531 104136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18397 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 0 | 3497 3532 107486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18393 c Elapsed CPU time: 1.60576 s Remaining CPU time: 178.394 s c =============================================================================== c | 0 | 3497 3533 110836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18392 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 0 | 3497 3534 114186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18391 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 0 | 3497 3535 117536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18390 c Elapsed CPU time: 1.81572 s Remaining CPU time: 178.184 s c =============================================================================== c | 0 | 3497 3536 120886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18389 c Elapsed CPU time: 1.88671 s Remaining CPU time: 178.113 s c =============================================================================== c | 0 | 3497 3537 124236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18387 c Elapsed CPU time: 1.9647 s Remaining CPU time: 178.035 s c =============================================================================== c | 0 | 3497 3538 127586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18386 c Elapsed CPU time: 2.04269 s Remaining CPU time: 177.957 s c =============================================================================== c | 0 | 3497 3539 130936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18385 c Elapsed CPU time: 2.12468 s Remaining CPU time: 177.875 s c =============================================================================== c | 0 | 3497 3540 134286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18383 c Elapsed CPU time: 2.20466 s Remaining CPU time: 177.795 s c =============================================================================== c | 0 | 3497 3541 137636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18382 c Elapsed CPU time: 2.28765 s Remaining CPU time: 177.712 s c =============================================================================== c | 0 | 3497 3542 140986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18380 c Elapsed CPU time: 2.37164 s Remaining CPU time: 177.628 s c =============================================================================== c | 0 | 3497 3543 144336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18379 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 0 | 3497 3544 147686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18378 c Elapsed CPU time: 2.54261 s Remaining CPU time: 177.457 s c =============================================================================== c | 0 | 3497 3545 151036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18377 c Elapsed CPU time: 2.6306 s Remaining CPU time: 177.369 s c =============================================================================== c | 0 | 3497 3546 154386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18376 c Elapsed CPU time: 2.71759 s Remaining CPU time: 177.282 s c =============================================================================== c | 0 | 3497 3547 157736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18374 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 0 | 3497 3548 161086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18371 c Elapsed CPU time: 2.89156 s Remaining CPU time: 177.108 s c =============================================================================== c | 0 | 3497 3549 164436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18369 c Elapsed CPU time: 2.98155 s Remaining CPU time: 177.018 s c =============================================================================== c | 0 | 3497 3550 167786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18367 c Elapsed CPU time: 3.07453 s Remaining CPU time: 176.925 s c =============================================================================== c | 0 | 3497 3551 171136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18363 c Elapsed CPU time: 3.16852 s Remaining CPU time: 176.831 s c =============================================================================== c | 0 | 3497 3552 174486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18362 c Elapsed CPU time: 3.2645 s Remaining CPU time: 176.735 s c =============================================================================== c | 0 | 3497 3553 177836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18361 c Elapsed CPU time: 3.36549 s Remaining CPU time: 176.635 s c =============================================================================== c | 0 | 3497 3554 181186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18360 c Elapsed CPU time: 3.46847 s Remaining CPU time: 176.532 s c =============================================================================== c | 0 | 3497 3555 184536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18359 c Elapsed CPU time: 3.57546 s Remaining CPU time: 176.425 s c =============================================================================== c | 0 | 3497 3556 187886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18357 c Elapsed CPU time: 3.67844 s Remaining CPU time: 176.322 s c =============================================================================== c | 0 | 3497 3557 191236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18356 c Elapsed CPU time: 3.78242 s Remaining CPU time: 176.218 s c =============================================================================== c | 0 | 3497 3558 194586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18354 c Elapsed CPU time: 3.89041 s Remaining CPU time: 176.11 s c =============================================================================== c | 0 | 3497 3559 197936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18353 c Elapsed CPU time: 3.99639 s Remaining CPU time: 176.004 s c =============================================================================== c | 0 | 3497 3560 201286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18352 c Elapsed CPU time: 4.10738 s Remaining CPU time: 175.893 s c =============================================================================== c | 0 | 3497 3561 204636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18351 c Elapsed CPU time: 4.22036 s Remaining CPU time: 175.78 s c =============================================================================== c | 0 | 3497 3562 207986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18350 c Elapsed CPU time: 4.33834 s Remaining CPU time: 175.662 s c =============================================================================== c | 0 | 3497 3563 211336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18348 c Elapsed CPU time: 4.45032 s Remaining CPU time: 175.55 s c =============================================================================== c | 0 | 3497 3564 214686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18346 c Elapsed CPU time: 4.5663 s Remaining CPU time: 175.434 s c =============================================================================== c | 0 | 3497 3565 218036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18345 c Elapsed CPU time: 4.68729 s Remaining CPU time: 175.313 s c =============================================================================== c | 0 | 3497 3566 221386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18344 c Elapsed CPU time: 4.81027 s Remaining CPU time: 175.19 s c =============================================================================== c | 0 | 3497 3567 224736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18342 c Elapsed CPU time: 4.93025 s Remaining CPU time: 175.07 s c =============================================================================== c | 0 | 3497 3568 228086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18341 c Elapsed CPU time: 5.05523 s Remaining CPU time: 174.945 s c =============================================================================== c | 0 | 3497 3569 231436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18336 c Elapsed CPU time: 5.17921 s Remaining CPU time: 174.821 s c =============================================================================== c | 0 | 3497 3570 234786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18333 c Elapsed CPU time: 5.30419 s Remaining CPU time: 174.696 s c =============================================================================== c | 0 | 3497 3571 238136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18330 c Elapsed CPU time: 5.43017 s Remaining CPU time: 174.57 s c =============================================================================== c | 0 | 3497 3572 241486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18329 c Elapsed CPU time: 5.56215 s Remaining CPU time: 174.438 s c =============================================================================== c | 0 | 3497 3573 244836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18328 c Elapsed CPU time: 5.69213 s Remaining CPU time: 174.308 s c =============================================================================== c | 0 | 3497 3574 248186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18327 c Elapsed CPU time: 5.82311 s Remaining CPU time: 174.177 s c =============================================================================== c | 0 | 3497 3575 251536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18323 c Elapsed CPU time: 5.95809 s Remaining CPU time: 174.042 s c =============================================================================== c | 0 | 3497 3576 254886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18322 c Elapsed CPU time: 6.10107 s Remaining CPU time: 173.899 s c =============================================================================== c | 0 | 3497 3577 258236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18321 c Elapsed CPU time: 6.23305 s Remaining CPU time: 173.767 s c =============================================================================== c | 0 | 3497 3578 261586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18318 c Elapsed CPU time: 6.37103 s Remaining CPU time: 173.629 s c =============================================================================== c | 0 | 3497 3579 264936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18316 c Elapsed CPU time: 6.51001 s Remaining CPU time: 173.49 s c =============================================================================== c | 0 | 3497 3580 268286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18314 c Elapsed CPU time: 6.65799 s Remaining CPU time: 173.342 s c =============================================================================== c | 0 | 3497 3581 271636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18312 c Elapsed CPU time: 6.79797 s Remaining CPU time: 173.202 s c =============================================================================== c | 0 | 3497 3582 274986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18311 c Elapsed CPU time: 6.94294 s Remaining CPU time: 173.057 s c =============================================================================== c | 0 | 3497 3583 278336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18308 c Elapsed CPU time: 7.08492 s Remaining CPU time: 172.915 s c =============================================================================== c | 0 | 3497 3584 281686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18304 c Elapsed CPU time: 7.2339 s Remaining CPU time: 172.766 s c =============================================================================== c | 0 | 3497 3585 285036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18300 c Elapsed CPU time: 7.38288 s Remaining CPU time: 172.617 s c =============================================================================== c | 0 | 3497 3586 288386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18298 c Elapsed CPU time: 7.53785 s Remaining CPU time: 172.462 s c =============================================================================== c | 0 | 3497 3587 291736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18297 c Elapsed CPU time: 7.69583 s Remaining CPU time: 172.304 s c =============================================================================== c | 0 | 3497 3588 295086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18295 c Elapsed CPU time: 7.84781 s Remaining CPU time: 172.152 s c =============================================================================== c | 0 | 3497 3589 298436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18294 c Elapsed CPU time: 8.00078 s Remaining CPU time: 171.999 s c =============================================================================== c | 0 | 3497 3590 301786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18293 c Elapsed CPU time: 8.15676 s Remaining CPU time: 171.843 s c =============================================================================== c | 0 | 3497 3591 305136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18292 c Elapsed CPU time: 8.31574 s Remaining CPU time: 171.684 s c =============================================================================== c | 0 | 3497 3592 308486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18288 c Elapsed CPU time: 8.47671 s Remaining CPU time: 171.523 s c =============================================================================== c | 0 | 3497 3593 311836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18286 c Elapsed CPU time: 8.63869 s Remaining CPU time: 171.361 s c =============================================================================== c | 0 | 3497 3594 315186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18285 c Elapsed CPU time: 8.80966 s Remaining CPU time: 171.19 s c =============================================================================== c | 0 | 3497 3595 318536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18283 c Elapsed CPU time: 8.97463 s Remaining CPU time: 171.025 s c =============================================================================== c | 0 | 3497 3596 321886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18280 c Elapsed CPU time: 9.14461 s Remaining CPU time: 170.855 s c =============================================================================== c | 0 | 3497 3597 325236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18279 c Elapsed CPU time: 9.31658 s Remaining CPU time: 170.683 s c =============================================================================== c | 0 | 3497 3598 328586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18278 c Elapsed CPU time: 9.48556 s Remaining CPU time: 170.514 s c =============================================================================== c | 0 | 3497 3599 331936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18277 c Elapsed CPU time: 9.66353 s Remaining CPU time: 170.336 s c =============================================================================== c | 0 | 3497 3600 335286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18276 c Elapsed CPU time: 9.8455 s Remaining CPU time: 170.154 s c =============================================================================== c | 0 | 3497 3601 338636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18273 c Elapsed CPU time: 10.0265 s Remaining CPU time: 169.974 s c =============================================================================== c | 0 | 3497 3602 341986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18270 c Elapsed CPU time: 10.2054 s Remaining CPU time: 169.795 s c =============================================================================== c | 0 | 3497 3603 345336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18268 c Elapsed CPU time: 10.3934 s Remaining CPU time: 169.607 s c =============================================================================== c | 0 | 3497 3604 348686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18266 c Elapsed CPU time: 10.5764 s Remaining CPU time: 169.424 s c =============================================================================== c | 0 | 3497 3605 352036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18265 c Elapsed CPU time: 10.7664 s Remaining CPU time: 169.234 s c =============================================================================== c | 0 | 3497 3606 355386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18264 c Elapsed CPU time: 10.9593 s Remaining CPU time: 169.041 s c =============================================================================== c | 0 | 3497 3607 358736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18263 c Elapsed CPU time: 11.1473 s Remaining CPU time: 168.853 s c =============================================================================== c | 0 | 3497 3608 362086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18262 c Elapsed CPU time: 11.3393 s Remaining CPU time: 168.661 s c =============================================================================== c | 0 | 3497 3609 365436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18259 c Elapsed CPU time: 11.5332 s Remaining CPU time: 168.467 s c =============================================================================== c | 0 | 3497 3610 368786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18257 c Elapsed CPU time: 11.7292 s Remaining CPU time: 168.271 s c =============================================================================== c | 0 | 3497 3611 372136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18255 c Elapsed CPU time: 11.9242 s Remaining CPU time: 168.076 s c =============================================================================== c | 0 | 3497 3612 375486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18254 c Elapsed CPU time: 12.1202 s Remaining CPU time: 167.88 s c =============================================================================== c | 0 | 3497 3613 378836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18251 c Elapsed CPU time: 12.3131 s Remaining CPU time: 167.687 s c =============================================================================== c | 0 | 3497 3614 382186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18250 c Elapsed CPU time: 12.5151 s Remaining CPU time: 167.485 s c =============================================================================== c | 0 | 3497 3615 385536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18248 c Elapsed CPU time: 12.7111 s Remaining CPU time: 167.289 s c =============================================================================== c | 0 | 3497 3616 388886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18246 c Elapsed CPU time: 12.921 s Remaining CPU time: 167.079 s c =============================================================================== c | 0 | 3497 3617 392236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18245 c Elapsed CPU time: 13.132 s Remaining CPU time: 166.868 s c =============================================================================== c | 0 | 3497 3618 395586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18244 c Elapsed CPU time: 13.348 s Remaining CPU time: 166.652 s c =============================================================================== c | 0 | 3497 3619 398936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18243 c Elapsed CPU time: 13.5869 s Remaining CPU time: 166.413 s c =============================================================================== c | 0 | 3497 3620 402286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18242 c Elapsed CPU time: 13.8239 s Remaining CPU time: 166.176 s c =============================================================================== c | 0 | 3497 3621 405636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18241 c Elapsed CPU time: 14.0799 s Remaining CPU time: 165.92 s c =============================================================================== c | 0 | 3497 3622 408986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18240 c Elapsed CPU time: 14.3238 s Remaining CPU time: 165.676 s c =============================================================================== c | 0 | 3497 3623 412336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18239 c Elapsed CPU time: 14.5758 s Remaining CPU time: 165.424 s c =============================================================================== c | 0 | 3497 3624 415686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18236 c Elapsed CPU time: 14.8217 s Remaining CPU time: 165.178 s c =============================================================================== c | 0 | 3497 3625 419036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18235 c Elapsed CPU time: 15.0817 s Remaining CPU time: 164.918 s c =============================================================================== c | 0 | 3497 3626 422386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18233 c Elapsed CPU time: 15.3377 s Remaining CPU time: 164.662 s c =============================================================================== c | 0 | 3497 3627 425736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18232 c Elapsed CPU time: 15.5816 s Remaining CPU time: 164.418 s c =============================================================================== c | 0 | 3497 3628 429086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18231 c Elapsed CPU time: 15.8356 s Remaining CPU time: 164.164 s c =============================================================================== c | 0 | 3497 3629 432436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18230 c Elapsed CPU time: 16.0996 s Remaining CPU time: 163.9 s c =============================================================================== c | 0 | 3497 3630 435786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18229 c Elapsed CPU time: 16.3645 s Remaining CPU time: 163.635 s c =============================================================================== c | 0 | 3497 3631 439136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18226 c Elapsed CPU time: 16.6295 s Remaining CPU time: 163.371 s c =============================================================================== c | 0 | 3497 3632 442486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18225 c Elapsed CPU time: 16.9034 s Remaining CPU time: 163.097 s c =============================================================================== c | 0 | 3497 3633 445836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18224 c Elapsed CPU time: 17.1744 s Remaining CPU time: 162.826 s c =============================================================================== c | 0 | 3497 3634 449186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18223 c Elapsed CPU time: 17.4483 s Remaining CPU time: 162.552 s c =============================================================================== c | 0 | 3497 3635 452536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18222 c Elapsed CPU time: 17.7103 s Remaining CPU time: 162.29 s c =============================================================================== c | 0 | 3497 3636 455886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18221 c Elapsed CPU time: 17.9743 s Remaining CPU time: 162.026 s c =============================================================================== c | 0 | 3497 3637 459236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 18.2442 s Remaining CPU time: 161.756 s c =============================================================================== c | 0 | 3497 3638 462586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18218 c Elapsed CPU time: 18.5072 s Remaining CPU time: 161.493 s c =============================================================================== c | 0 | 3497 3639 465936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18217 c Elapsed CPU time: 18.7851 s Remaining CPU time: 161.215 s c =============================================================================== c | 0 | 3497 3640 469286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18216 c Elapsed CPU time: 19.0551 s Remaining CPU time: 160.945 s c =============================================================================== c | 0 | 3497 3641 472636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18215 c Elapsed CPU time: 19.3361 s Remaining CPU time: 160.664 s c =============================================================================== c | 0 | 3497 3642 475986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18214 c Elapsed CPU time: 19.608 s Remaining CPU time: 160.392 s c =============================================================================== c | 0 | 3497 3643 479336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18210 c Elapsed CPU time: 19.888 s Remaining CPU time: 160.112 s c =============================================================================== c | 0 | 3497 3644 482686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18208 c Elapsed CPU time: 20.1719 s Remaining CPU time: 159.828 s c =============================================================================== c | 0 | 3497 3645 486036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18206 c Elapsed CPU time: 20.4459 s Remaining CPU time: 159.554 s c =============================================================================== c | 0 | 3497 3646 489386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18203 c Elapsed CPU time: 20.7228 s Remaining CPU time: 159.277 s c =============================================================================== c | 0 | 3497 3647 492736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18201 c Elapsed CPU time: 21.0118 s Remaining CPU time: 158.988 s c =============================================================================== c | 0 | 3497 3648 496086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18200 c Elapsed CPU time: 21.3038 s Remaining CPU time: 158.696 s c =============================================================================== c | 0 | 3497 3649 499436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18198 c Elapsed CPU time: 21.6067 s Remaining CPU time: 158.393 s c =============================================================================== c | 0 | 3497 3650 502786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18197 c Elapsed CPU time: 21.9057 s Remaining CPU time: 158.094 s c =============================================================================== c | 0 | 3497 3651 506136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18196 c Elapsed CPU time: 22.2056 s Remaining CPU time: 157.794 s c =============================================================================== c | 0 | 3497 3652 509486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18195 c Elapsed CPU time: 22.5016 s Remaining CPU time: 157.498 s c =============================================================================== c | 0 | 3497 3653 512836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18193 c Elapsed CPU time: 22.8005 s Remaining CPU time: 157.199 s c =============================================================================== c | 0 | 3497 3654 516186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18191 c Elapsed CPU time: 23.0985 s Remaining CPU time: 156.902 s c =============================================================================== c | 0 | 3497 3655 519536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18190 c Elapsed CPU time: 23.3924 s Remaining CPU time: 156.608 s c =============================================================================== c | 0 | 3497 3656 522886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18188 c Elapsed CPU time: 23.6814 s Remaining CPU time: 156.319 s c =============================================================================== c | 0 | 3497 3657 526236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18186 c Elapsed CPU time: 23.9694 s Remaining CPU time: 156.031 s c =============================================================================== c | 0 | 3497 3658 529586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18184 c Elapsed CPU time: 24.2593 s Remaining CPU time: 155.741 s c =============================================================================== c | 0 | 3497 3659 532936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18181 c Elapsed CPU time: 24.5593 s Remaining CPU time: 155.441 s c =============================================================================== c | 0 | 3497 3660 536286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18179 c Elapsed CPU time: 24.8492 s Remaining CPU time: 155.151 s c =============================================================================== c | 0 | 3497 3661 539636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18178 c Elapsed CPU time: 25.1532 s Remaining CPU time: 154.847 s c =============================================================================== c | 0 | 3497 3662 542986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18177 c Elapsed CPU time: 25.4521 s Remaining CPU time: 154.548 s c =============================================================================== c | 0 | 3497 3663 546336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18173 c Elapsed CPU time: 25.7591 s Remaining CPU time: 154.241 s c =============================================================================== c | 0 | 3497 3664 549686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18172 c Elapsed CPU time: 26.058 s Remaining CPU time: 153.942 s c =============================================================================== c | 0 | 3497 3665 553036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18171 c Elapsed CPU time: 26.363 s Remaining CPU time: 153.637 s c =============================================================================== c | 0 | 3497 3666 556386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18170 c Elapsed CPU time: 26.6629 s Remaining CPU time: 153.337 s c =============================================================================== c | 0 | 3497 3667 559736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18169 c Elapsed CPU time: 26.9689 s Remaining CPU time: 153.031 s c =============================================================================== c | 0 | 3497 3668 563086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18167 c Elapsed CPU time: 27.2739 s Remaining CPU time: 152.726 s c =============================================================================== c | 0 | 3497 3669 566436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18166 c Elapsed CPU time: 27.5758 s Remaining CPU time: 152.424 s c =============================================================================== c | 0 | 3497 3670 569786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 27.8808 s Remaining CPU time: 152.119 s c =============================================================================== c | 0 | 3497 3671 573136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18164 c Elapsed CPU time: 28.1927 s Remaining CPU time: 151.807 s c =============================================================================== c | 0 | 3497 3672 576486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18163 c Elapsed CPU time: 28.5087 s Remaining CPU time: 151.491 s c =============================================================================== c | 0 | 3497 3673 579836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18162 c Elapsed CPU time: 28.8216 s Remaining CPU time: 151.178 s c =============================================================================== c | 0 | 3497 3674 583186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18161 c Elapsed CPU time: 29.1326 s Remaining CPU time: 150.867 s c =============================================================================== c | 0 | 3497 3675 586536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18160 c Elapsed CPU time: 29.4465 s Remaining CPU time: 150.553 s c =============================================================================== c | 0 | 3497 3676 589886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18158 c Elapsed CPU time: 29.7645 s Remaining CPU time: 150.236 s c =============================================================================== c | 0 | 3497 3677 593236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18157 c Elapsed CPU time: 30.0924 s Remaining CPU time: 149.908 s c =============================================================================== c | 0 | 3497 3678 596586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18155 c Elapsed CPU time: 30.4024 s Remaining CPU time: 149.598 s c =============================================================================== c | 0 | 3497 3679 599936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18154 c Elapsed CPU time: 30.7193 s Remaining CPU time: 149.281 s c =============================================================================== c | 0 | 3497 3680 603286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18153 c Elapsed CPU time: 31.0383 s Remaining CPU time: 148.962 s c =============================================================================== c | 0 | 3497 3681 606636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18150 c Elapsed CPU time: 31.3612 s Remaining CPU time: 148.639 s c =============================================================================== c | 0 | 3497 3682 609986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18148 c Elapsed CPU time: 31.6732 s Remaining CPU time: 148.327 s c =============================================================================== c | 0 | 3497 3683 613336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18147 c Elapsed CPU time: 32.0131 s Remaining CPU time: 147.987 s c =============================================================================== c | 0 | 3497 3684 616686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18145 c Elapsed CPU time: 32.3461 s Remaining CPU time: 147.654 s c =============================================================================== c | 0 | 3497 3685 620036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 32.672 s Remaining CPU time: 147.328 s c =============================================================================== c | 0 | 3497 3686 623386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18143 c Elapsed CPU time: 33.015 s Remaining CPU time: 146.985 s c =============================================================================== c | 0 | 3497 3687 626736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18142 c Elapsed CPU time: 33.3639 s Remaining CPU time: 146.636 s c =============================================================================== c | 0 | 3497 3688 630086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18141 c Elapsed CPU time: 33.6889 s Remaining CPU time: 146.311 s c =============================================================================== c | 0 | 3497 3689 633436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18140 c Elapsed CPU time: 34.0228 s Remaining CPU time: 145.977 s c =============================================================================== c | 0 | 3497 3690 636786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18138 c Elapsed CPU time: 34.3488 s Remaining CPU time: 145.651 s c =============================================================================== c | 0 | 3497 3691 640136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18137 c Elapsed CPU time: 34.6977 s Remaining CPU time: 145.302 s c =============================================================================== c | 0 | 3497 3692 643486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18136 c Elapsed CPU time: 35.0447 s Remaining CPU time: 144.955 s c =============================================================================== c | 0 | 3497 3693 646836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18135 c Elapsed CPU time: 35.3936 s Remaining CPU time: 144.606 s c =============================================================================== c | 0 | 3497 3694 650186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18134 c Elapsed CPU time: 35.7356 s Remaining CPU time: 144.264 s c =============================================================================== c | 0 | 3497 3695 653536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 36.0775 s Remaining CPU time: 143.922 s c =============================================================================== c | 0 | 3497 3696 656886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18132 c Elapsed CPU time: 36.4295 s Remaining CPU time: 143.571 s c =============================================================================== c | 0 | 3497 3697 660236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18131 c Elapsed CPU time: 36.7754 s Remaining CPU time: 143.225 s c =============================================================================== c | 0 | 3497 3698 663586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18130 c Elapsed CPU time: 37.1214 s Remaining CPU time: 142.879 s c =============================================================================== c | 0 | 3497 3699 666936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18129 c Elapsed CPU time: 37.4653 s Remaining CPU time: 142.535 s c =============================================================================== c | 0 | 3497 3700 670286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18126 c Elapsed CPU time: 37.8192 s Remaining CPU time: 142.181 s c =============================================================================== c | 0 | 3497 3701 673636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18125 c Elapsed CPU time: 38.1752 s Remaining CPU time: 141.825 s c =============================================================================== c | 0 | 3497 3702 676986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18124 c Elapsed CPU time: 38.5421 s Remaining CPU time: 141.458 s c =============================================================================== c | 0 | 3497 3703 680336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18123 c Elapsed CPU time: 38.8961 s Remaining CPU time: 141.104 s c =============================================================================== c | 0 | 3497 3704 683686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18122 c Elapsed CPU time: 39.252 s Remaining CPU time: 140.748 s c =============================================================================== c | 0 | 3497 3705 687036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18121 c Elapsed CPU time: 39.611 s Remaining CPU time: 140.389 s c =============================================================================== c | 0 | 3497 3706 690386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18120 c Elapsed CPU time: 39.9719 s Remaining CPU time: 140.028 s c =============================================================================== c | 0 | 3497 3707 693736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 40.3329 s Remaining CPU time: 139.667 s c =============================================================================== c | 0 | 3497 3708 697086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18114 c Elapsed CPU time: 40.6938 s Remaining CPU time: 139.306 s c =============================================================================== c | 0 | 3497 3709 700436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18112 c Elapsed CPU time: 41.0578 s Remaining CPU time: 138.942 s c =============================================================================== c | 0 | 3497 3710 703786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18108 c Elapsed CPU time: 41.4217 s Remaining CPU time: 138.578 s c =============================================================================== c | 0 | 3497 3711 707136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 41.7856 s Remaining CPU time: 138.214 s c =============================================================================== c | 0 | 3497 3712 710486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18101 c Elapsed CPU time: 42.1616 s Remaining CPU time: 137.838 s c =============================================================================== c | 0 | 3497 3713 713836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 42.5435 s Remaining CPU time: 137.456 s c =============================================================================== c | 0 | 3497 3714 717186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18099 c Elapsed CPU time: 42.9305 s Remaining CPU time: 137.07 s c =============================================================================== c | 0 | 3497 3715 720536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18098 c Elapsed CPU time: 43.3214 s Remaining CPU time: 136.679 s c =============================================================================== c | 0 | 3497 3716 723886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18097 c Elapsed CPU time: 43.7044 s Remaining CPU time: 136.296 s c =============================================================================== c | 0 | 3497 3717 727236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18096 c Elapsed CPU time: 44.1103 s Remaining CPU time: 135.89 s c =============================================================================== c | 0 | 3497 3718 730586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 44.5052 s Remaining CPU time: 135.495 s c =============================================================================== c | 0 | 3497 3719 733936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 44.9092 s Remaining CPU time: 135.091 s c =============================================================================== c | 0 | 3497 3720 737286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 45.3451 s Remaining CPU time: 134.655 s c =============================================================================== c | 0 | 3497 3721 740636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18092 c Elapsed CPU time: 45.771 s Remaining CPU time: 134.229 s c =============================================================================== c | 0 | 3497 3722 743986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18091 c Elapsed CPU time: 46.188 s Remaining CPU time: 133.812 s c =============================================================================== c | 0 | 3497 3723 747336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18090 c Elapsed CPU time: 46.6089 s Remaining CPU time: 133.391 s c =============================================================================== c | 0 | 3497 3724 750686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18088 c Elapsed CPU time: 47.0538 s Remaining CPU time: 132.946 s c =============================================================================== c | 0 | 3497 3725 754036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18087 c Elapsed CPU time: 47.4908 s Remaining CPU time: 132.509 s c =============================================================================== c | 0 | 3497 3726 757386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18086 c Elapsed CPU time: 47.9317 s Remaining CPU time: 132.068 s c =============================================================================== c | 0 | 3497 3727 760736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 48.3746 s Remaining CPU time: 131.625 s c =============================================================================== c | 0 | 3497 3728 764086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18081 c Elapsed CPU time: 48.8146 s Remaining CPU time: 131.185 s c =============================================================================== c | 0 | 3497 3729 767436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18080 c Elapsed CPU time: 49.2665 s Remaining CPU time: 130.733 s c =============================================================================== c | 0 | 3497 3730 770786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18078 c Elapsed CPU time: 49.7174 s Remaining CPU time: 130.283 s c =============================================================================== c | 0 | 3497 3731 774136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18077 c Elapsed CPU time: 50.1694 s Remaining CPU time: 129.831 s c =============================================================================== c | 0 | 3497 3732 777486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18076 c Elapsed CPU time: 50.6203 s Remaining CPU time: 129.38 s c =============================================================================== c | 0 | 3497 3733 780836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18073 c Elapsed CPU time: 51.0662 s Remaining CPU time: 128.934 s c =============================================================================== c | 0 | 3497 3734 784186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18071 c Elapsed CPU time: 51.5102 s Remaining CPU time: 128.49 s c =============================================================================== c | 0 | 3497 3735 787536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18070 c Elapsed CPU time: 51.9851 s Remaining CPU time: 128.015 s c =============================================================================== c | 0 | 3497 3736 790886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18068 c Elapsed CPU time: 52.447 s Remaining CPU time: 127.553 s c =============================================================================== c | 0 | 3497 3737 794236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 52.915 s Remaining CPU time: 127.085 s c =============================================================================== c | 0 | 3497 3738 797586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18065 c Elapsed CPU time: 53.3719 s Remaining CPU time: 126.628 s c =============================================================================== c | 0 | 3497 3739 800936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 53.8478 s Remaining CPU time: 126.152 s c =============================================================================== c | 0 | 3497 3740 804286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18063 c Elapsed CPU time: 54.3097 s Remaining CPU time: 125.69 s c =============================================================================== c | 0 | 3497 3741 807636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18062 c Elapsed CPU time: 54.7727 s Remaining CPU time: 125.227 s c =============================================================================== c | 0 | 3497 3742 810986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18061 c Elapsed CPU time: 55.2356 s Remaining CPU time: 124.764 s c =============================================================================== c | 0 | 3497 3743 814336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18060 c Elapsed CPU time: 55.6835 s Remaining CPU time: 124.316 s c =============================================================================== c | 0 | 3497 3744 817686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 56.1605 s Remaining CPU time: 123.84 s c =============================================================================== c | 0 | 3497 3745 821036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 56.6424 s Remaining CPU time: 123.358 s c =============================================================================== c | 0 | 3497 3746 824386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18056 c Elapsed CPU time: 57.1133 s Remaining CPU time: 122.887 s c =============================================================================== c | 0 | 3497 3747 827736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 57.5792 s Remaining CPU time: 122.421 s c =============================================================================== c | 0 | 3497 3748 831086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18054 c Elapsed CPU time: 58.0422 s Remaining CPU time: 121.958 s c =============================================================================== c | 0 | 3497 3749 834436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 58.5241 s Remaining CPU time: 121.476 s c =============================================================================== c | 0 | 3497 3750 837786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18052 c Elapsed CPU time: 58.994 s Remaining CPU time: 121.006 s c =============================================================================== c | 0 | 3497 3751 841136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18051 c Elapsed CPU time: 59.475 s Remaining CPU time: 120.525 s c =============================================================================== c | 0 | 3497 3752 844486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 59.9489 s Remaining CPU time: 120.051 s c =============================================================================== c | 0 | 3497 3753 847836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18049 c Elapsed CPU time: 60.4188 s Remaining CPU time: 119.581 s c =============================================================================== c | 0 | 3497 3754 851186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18048 c Elapsed CPU time: 60.8907 s Remaining CPU time: 119.109 s c =============================================================================== c | 0 | 3497 3755 854536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 61.3717 s Remaining CPU time: 118.628 s c =============================================================================== c | 0 | 3497 3756 857886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18044 c Elapsed CPU time: 61.8466 s Remaining CPU time: 118.153 s c =============================================================================== c | 0 | 3497 3757 861236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18042 c Elapsed CPU time: 62.3135 s Remaining CPU time: 117.686 s c =============================================================================== c | 0 | 3497 3758 864586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18041 c Elapsed CPU time: 62.7905 s Remaining CPU time: 117.21 s c =============================================================================== c | 0 | 3497 3759 867936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 63.2524 s Remaining CPU time: 116.748 s c =============================================================================== c | 0 | 3497 3760 871286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18039 c Elapsed CPU time: 63.7273 s Remaining CPU time: 116.273 s c =============================================================================== c | 0 | 3497 3761 874636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18038 c Elapsed CPU time: 64.1952 s Remaining CPU time: 115.805 s c =============================================================================== c | 0 | 3497 3762 877986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18037 c Elapsed CPU time: 64.7282 s Remaining CPU time: 115.272 s c =============================================================================== c | 0 | 3497 3763 881336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18036 c Elapsed CPU time: 65.2421 s Remaining CPU time: 114.758 s c =============================================================================== c | 0 | 3497 3764 884686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 65.753 s Remaining CPU time: 114.247 s c =============================================================================== c | 0 | 3497 3765 888036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18034 c Elapsed CPU time: 66.2569 s Remaining CPU time: 113.743 s c =============================================================================== c | 0 | 3497 3766 891386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18033 c Elapsed CPU time: 66.7529 s Remaining CPU time: 113.247 s c =============================================================================== c | 0 | 3497 3767 894736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18032 c Elapsed CPU time: 67.2748 s Remaining CPU time: 112.725 s c =============================================================================== c | 0 | 3497 3768 898086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 67.7797 s Remaining CPU time: 112.22 s c =============================================================================== c | 0 | 3497 3769 901436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18030 c Elapsed CPU time: 68.3046 s Remaining CPU time: 111.695 s c =============================================================================== c | 0 | 3497 3770 904786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18029 c Elapsed CPU time: 68.8195 s Remaining CPU time: 111.18 s c =============================================================================== c | 0 | 3497 3771 908136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 69.3355 s Remaining CPU time: 110.665 s c =============================================================================== c | 0 | 3497 3772 911486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18027 c Elapsed CPU time: 69.8364 s Remaining CPU time: 110.164 s c =============================================================================== c | 0 | 3497 3773 914836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18026 c Elapsed CPU time: 70.3463 s Remaining CPU time: 109.654 s c =============================================================================== c | 0 | 3497 3774 918186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 70.8602 s Remaining CPU time: 109.14 s c =============================================================================== c | 0 | 3497 3775 921536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 71.3881 s Remaining CPU time: 108.612 s c =============================================================================== c | 0 | 3497 3776 924886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 71.9091 s Remaining CPU time: 108.091 s c =============================================================================== c | 0 | 3497 3777 928236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 72.436 s Remaining CPU time: 107.564 s c =============================================================================== c | 0 | 3497 3778 931586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18020 c Elapsed CPU time: 72.9719 s Remaining CPU time: 107.028 s c =============================================================================== c | 0 | 3497 3779 934936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18019 c Elapsed CPU time: 73.5038 s Remaining CPU time: 106.496 s c =============================================================================== c | 0 | 3497 3780 938286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18018 c Elapsed CPU time: 74.0577 s Remaining CPU time: 105.942 s c =============================================================================== c | 0 | 3497 3781 941636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18017 c Elapsed CPU time: 74.5967 s Remaining CPU time: 105.403 s c =============================================================================== c | 0 | 3497 3782 944986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18016 c Elapsed CPU time: 75.1306 s Remaining CPU time: 104.869 s c =============================================================================== c | 0 | 3497 3783 948336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18015 c Elapsed CPU time: 75.6875 s Remaining CPU time: 104.313 s c =============================================================================== c | 1 | 3497 3784 951686 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18014 c Elapsed CPU time: 76.2224 s Remaining CPU time: 103.778 s c =============================================================================== c | 1 | 3497 3785 955036 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 76.7993 s Remaining CPU time: 103.201 s c =============================================================================== c | 1 | 3497 3786 958386 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 77.3342 s Remaining CPU time: 102.666 s c =============================================================================== c | 1 | 3497 3787 961736 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18011 c Elapsed CPU time: 77.9032 s Remaining CPU time: 102.097 s c =============================================================================== c | 1 | 3497 3788 965086 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18010 c Elapsed CPU time: 78.4491 s Remaining CPU time: 101.551 s c =============================================================================== c | 1 | 3497 3789 968436 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18009 c Elapsed CPU time: 78.993 s Remaining CPU time: 101.007 s c =============================================================================== c | 1 | 3497 3790 971786 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18008 c Elapsed CPU time: 79.5289 s Remaining CPU time: 100.471 s c =============================================================================== c | 1 | 3497 3791 975136 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18007 c Elapsed CPU time: 80.0578 s Remaining CPU time: 99.9422 s c =============================================================================== c | 1 | 3497 3792 978486 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 80.5857 s Remaining CPU time: 99.4143 s c =============================================================================== c | 1 | 3497 3793 981836 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18005 c Elapsed CPU time: 81.1597 s Remaining CPU time: 98.8403 s c =============================================================================== c | 1 | 3497 3794 985186 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18004 c Elapsed CPU time: 81.7296 s Remaining CPU time: 98.2704 s c =============================================================================== c | 1 | 3497 3795 988536 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18003 c Elapsed CPU time: 82.2745 s Remaining CPU time: 97.7255 s c =============================================================================== c | 1 | 3497 3796 991886 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18002 c Elapsed CPU time: 82.8294 s Remaining CPU time: 97.1706 s c =============================================================================== c | 1 | 3497 3797 995236 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18001 c Elapsed CPU time: 83.3863 s Remaining CPU time: 96.6137 s c =============================================================================== c | 1 | 3497 3798 998586 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 84.0002 s Remaining CPU time: 95.9998 s c =============================================================================== c | 1 | 3497 3799 1001936 | 5000 1 3286 | 0.000 % | c =============================================================================== c New solution: 17999 c Elapsed CPU time: 84.5851 s Remaining CPU time: 95.4149 s c =============================================================================== c | 3 | 3497 3800 1005286 | 5000 3 3282 | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 85.1471 s Remaining CPU time: 94.8529 s c =============================================================================== c | 3 | 3497 3801 1008636 | 5000 3 3282 | 0.000 % | c =============================================================================== c New solution: 17997 c Elapsed CPU time: 85.722 s Remaining CPU time: 94.278 s c =============================================================================== c | 3 | 3497 3802 1011986 | 5000 3 3282 | 0.000 % | c =============================================================================== c New solution: 17996 c Elapsed CPU time: 86.3299 s Remaining CPU time: 93.6701 s c =============================================================================== c | 3 | 3497 3803 1015336 | 5000 3 3282 | 0.000 % | c =============================================================================== c New solution: 17995 c Elapsed CPU time: 86.9718 s Remaining CPU time: 93.0282 s c =============================================================================== c | 3 | 3497 3804 1018686 | 5000 3 3282 | 0.000 % | c =============================================================================== c New solution: 17994 c Elapsed CPU time: 87.5867 s Remaining CPU time: 92.4133 s c =============================================================================== c | 3 | 3497 3805 1022036 | 5000 3 3282 | 0.000 % | c =============================================================================== c New solution: 17993 c Elapsed CPU time: 88.1796 s Remaining CPU time: 91.8204 s c =============================================================================== c | 3 | 3497 3806 1025386 | 5000 3 3282 | 0.000 % | c =============================================================================== c New solution: 17992 c Elapsed CPU time: 88.7465 s Remaining CPU time: 91.2535 s c =============================================================================== c | 4 | 3497 3807 1028736 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17991 c Elapsed CPU time: 89.3384 s Remaining CPU time: 90.6616 s c =============================================================================== c | 4 | 3497 3808 1032086 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17990 c Elapsed CPU time: 89.9563 s Remaining CPU time: 90.0437 s c =============================================================================== c | 4 | 3497 3809 1035436 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17989 c Elapsed CPU time: 90.5232 s Remaining CPU time: 89.4768 s c =============================================================================== c | 4 | 3497 3810 1038786 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17988 c Elapsed CPU time: 91.1071 s Remaining CPU time: 88.8929 s c =============================================================================== c | 4 | 3497 3811 1042136 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17987 c Elapsed CPU time: 91.6721 s Remaining CPU time: 88.3279 s c =============================================================================== c | 4 | 3497 3812 1045486 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17986 c Elapsed CPU time: 92.264 s Remaining CPU time: 87.736 s c =============================================================================== c | 4 | 3497 3813 1048836 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17985 c Elapsed CPU time: 92.9669 s Remaining CPU time: 87.0331 s c =============================================================================== c | 4 | 3497 3814 1052186 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17984 c Elapsed CPU time: 93.6608 s Remaining CPU time: 86.3392 s c =============================================================================== c | 4 | 3497 3815 1055536 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17983 c Elapsed CPU time: 94.3537 s Remaining CPU time: 85.6463 s c =============================================================================== c | 4 | 3497 3816 1058886 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17982 c Elapsed CPU time: 94.9816 s Remaining CPU time: 85.0184 s c =============================================================================== c | 4 | 3497 3817 1062236 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17981 c Elapsed CPU time: 95.6765 s Remaining CPU time: 84.3235 s c =============================================================================== c | 4 | 3497 3818 1065586 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 17980 c Elapsed CPU time: 96.3773 s Remaining CPU time: 83.6227 s c =============================================================================== c | 5 | 3497 3819 1068936 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17979 c Elapsed CPU time: 97.0692 s Remaining CPU time: 82.9308 s c =============================================================================== c | 5 | 3497 3820 1072286 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17978 c Elapsed CPU time: 97.6961 s Remaining CPU time: 82.3039 s c =============================================================================== c | 5 | 3497 3821 1075636 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17977 c Elapsed CPU time: 98.361 s Remaining CPU time: 81.639 s c =============================================================================== c | 5 | 3497 3822 1078986 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17976 c Elapsed CPU time: 99.0889 s Remaining CPU time: 80.9111 s c =============================================================================== c | 5 | 3497 3823 1082336 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17975 c Elapsed CPU time: 99.7728 s Remaining CPU time: 80.2272 s c =============================================================================== c | 5 | 3497 3824 1085686 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17974 c Elapsed CPU time: 100.432 s Remaining CPU time: 79.5683 s c =============================================================================== c | 5 | 3497 3825 1089036 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17973 c Elapsed CPU time: 101.04 s Remaining CPU time: 78.9604 s c =============================================================================== c | 5 | 3497 3826 1092386 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17972 c Elapsed CPU time: 101.682 s Remaining CPU time: 78.3185 s c =============================================================================== c | 5 | 3497 3827 1095736 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17971 c Elapsed CPU time: 102.355 s Remaining CPU time: 77.6446 s c =============================================================================== c | 5 | 3497 3828 1099086 | 5000 5 3282 | 0.000 % | c =============================================================================== c New solution: 17970 c Elapsed CPU time: 103.057 s Remaining CPU time: 76.9427 s c =============================================================================== c | 6 | 3497 3829 1102436 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17969 c Elapsed CPU time: 103.718 s Remaining CPU time: 76.2818 s c =============================================================================== c | 6 | 3497 3830 1105786 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17968 c Elapsed CPU time: 104.379 s Remaining CPU time: 75.6209 s c =============================================================================== c | 6 | 3497 3831 1109136 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17967 c Elapsed CPU time: 105.05 s Remaining CPU time: 74.95 s c =============================================================================== c | 6 | 3497 3832 1112486 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17966 c Elapsed CPU time: 105.741 s Remaining CPU time: 74.2591 s c =============================================================================== c | 6 | 3497 3833 1115836 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17965 c Elapsed CPU time: 106.441 s Remaining CPU time: 73.5592 s c =============================================================================== c | 6 | 3497 3834 1119186 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17964 c Elapsed CPU time: 107.168 s Remaining CPU time: 72.8323 s c =============================================================================== c | 6 | 3497 3835 1122536 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17963 c Elapsed CPU time: 107.908 s Remaining CPU time: 72.0924 s c =============================================================================== c | 6 | 3497 3836 1125886 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17962 c Elapsed CPU time: 108.617 s Remaining CPU time: 71.3825 s c =============================================================================== c | 6 | 3497 3837 1129236 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17961 c Elapsed CPU time: 109.283 s Remaining CPU time: 70.7166 s c =============================================================================== c | 6 | 3497 3838 1132586 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17960 c Elapsed CPU time: 109.984 s Remaining CPU time: 70.0157 s c =============================================================================== c | 6 | 3497 3839 1135936 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 17959 c Elapsed CPU time: 110.672 s Remaining CPU time: 69.3278 s c =============================================================================== c | 7 | 3497 3840 1139286 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 111.339 s Remaining CPU time: 68.6609 s c =============================================================================== c | 7 | 3497 3841 1142636 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17957 c Elapsed CPU time: 112.06 s Remaining CPU time: 67.94 s c =============================================================================== c | 7 | 3497 3842 1145986 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17956 c Elapsed CPU time: 112.807 s Remaining CPU time: 67.1932 s c =============================================================================== c | 7 | 3497 3843 1149336 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17955 c Elapsed CPU time: 113.529 s Remaining CPU time: 66.4713 s c =============================================================================== c | 7 | 3497 3844 1152686 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17954 c Elapsed CPU time: 114.25 s Remaining CPU time: 65.7504 s c =============================================================================== c | 7 | 3497 3845 1156036 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17953 c Elapsed CPU time: 115.021 s Remaining CPU time: 64.9795 s c =============================================================================== c | 7 | 3497 3846 1159386 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17952 c Elapsed CPU time: 115.816 s Remaining CPU time: 64.1836 s c =============================================================================== c | 7 | 3497 3847 1162736 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17951 c Elapsed CPU time: 116.566 s Remaining CPU time: 63.4337 s c =============================================================================== c | 7 | 3497 3848 1166086 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17950 c Elapsed CPU time: 117.311 s Remaining CPU time: 62.6888 s c =============================================================================== c | 7 | 3497 3849 1169436 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17949 c Elapsed CPU time: 118.049 s Remaining CPU time: 61.9509 s c =============================================================================== c | 7 | 3497 3850 1172786 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17948 c Elapsed CPU time: 118.81 s Remaining CPU time: 61.1901 s c =============================================================================== c | 7 | 3497 3851 1176136 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17947 c Elapsed CPU time: 119.555 s Remaining CPU time: 60.4452 s c =============================================================================== c | 7 | 3497 3852 1179486 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17946 c Elapsed CPU time: 120.263 s Remaining CPU time: 59.7373 s c =============================================================================== c | 7 | 3497 3853 1182836 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17945 c Elapsed CPU time: 120.977 s Remaining CPU time: 59.0234 s c =============================================================================== c | 7 | 3497 3854 1186186 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17944 c Elapsed CPU time: 121.7 s Remaining CPU time: 58.2995 s c =============================================================================== c | 7 | 3497 3855 1189536 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17943 c Elapsed CPU time: 122.368 s Remaining CPU time: 57.6316 s c =============================================================================== c | 7 | 3497 3856 1192886 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17942 c Elapsed CPU time: 123.078 s Remaining CPU time: 56.9217 s c =============================================================================== c | 7 | 3497 3857 1196236 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17941 c Elapsed CPU time: 123.821 s Remaining CPU time: 56.1788 s c =============================================================================== c | 7 | 3497 3858 1199586 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17940 c Elapsed CPU time: 124.554 s Remaining CPU time: 55.4459 s c =============================================================================== c | 7 | 3497 3859 1202936 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17939 c Elapsed CPU time: 125.235 s Remaining CPU time: 54.765 s c =============================================================================== c | 7 | 3497 3860 1206286 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17938 c Elapsed CPU time: 126.014 s Remaining CPU time: 53.9862 s c =============================================================================== c | 7 | 3497 3861 1209636 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17937 c Elapsed CPU time: 126.77 s Remaining CPU time: 53.2303 s c =============================================================================== c | 7 | 3497 3862 1212986 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17936 c Elapsed CPU time: 127.537 s Remaining CPU time: 52.4634 s c =============================================================================== c | 7 | 3497 3863 1216336 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17935 c Elapsed CPU time: 128.263 s Remaining CPU time: 51.7375 s c =============================================================================== c | 7 | 3497 3864 1219686 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17934 c Elapsed CPU time: 129.059 s Remaining CPU time: 50.9406 s c =============================================================================== c | 7 | 3497 3865 1223036 | 5000 7 3279 | 0.000 % | c =============================================================================== c New solution: 17933 c Elapsed CPU time: 129.845 s Remaining CPU time: 50.1547 s c =============================================================================== c | 8 | 3497 3866 1226386 | 5000 8 3278 | 0.000 % | c =============================================================================== c New solution: 17932 c Elapsed CPU time: 130.56 s Remaining CPU time: 49.4398 s c =============================================================================== c | 9 | 3497 3867 1229736 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17931 c Elapsed CPU time: 131.362 s Remaining CPU time: 48.638 s c =============================================================================== c | 9 | 3497 3868 1233086 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17930 c Elapsed CPU time: 132.147 s Remaining CPU time: 47.8531 s c =============================================================================== c | 9 | 3497 3869 1236436 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17929 c Elapsed CPU time: 132.917 s Remaining CPU time: 47.0832 s c =============================================================================== c | 9 | 3497 3870 1239786 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17928 c Elapsed CPU time: 133.686 s Remaining CPU time: 46.3143 s c =============================================================================== c | 9 | 3497 3871 1243136 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17927 c Elapsed CPU time: 134.441 s Remaining CPU time: 45.5594 s c =============================================================================== c | 9 | 3497 3872 1246486 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17926 c Elapsed CPU time: 135.296 s Remaining CPU time: 44.7036 s c =============================================================================== c | 9 | 3497 3873 1249836 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17925 c Elapsed CPU time: 136.039 s Remaining CPU time: 43.9607 s c =============================================================================== c | 9 | 3497 3874 1253186 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17924 c Elapsed CPU time: 136.806 s Remaining CPU time: 43.1938 s c =============================================================================== c | 9 | 3497 3875 1256536 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 17923 c Elapsed CPU time: 137.667 s Remaining CPU time: 42.3329 s c =============================================================================== c | 10 | 3497 3876 1259886 | 5000 10 3276 | 0.000 % | c =============================================================================== c New solution: 17922 c Elapsed CPU time: 138.426 s Remaining CPU time: 41.574 s c =============================================================================== c | 11 | 3497 3877 1263236 | 5000 11 3275 | 0.000 % | c =============================================================================== c New solution: 17921 c Elapsed CPU time: 139.203 s Remaining CPU time: 40.7972 s c =============================================================================== c | 11 | 3497 3878 1266586 | 5000 11 3275 | 0.000 % | c =============================================================================== c New solution: 17920 c Elapsed CPU time: 139.932 s Remaining CPU time: 40.0683 s c =============================================================================== c | 11 | 3497 3879 1269936 | 5000 11 3275 | 0.000 % | c =============================================================================== c New solution: 17919 c Elapsed CPU time: 140.737 s Remaining CPU time: 39.2634 s c =============================================================================== c | 13 | 3497 3880 1273286 | 5000 13 3273 | 0.000 % | c =============================================================================== c New solution: 17918 c Elapsed CPU time: 141.486 s Remaining CPU time: 38.5135 s c =============================================================================== c | 15 | 3497 3881 1276636 | 5000 15 3271 | 0.000 % | c =============================================================================== c New solution: 17917 c Elapsed CPU time: 142.263 s Remaining CPU time: 37.7366 s c =============================================================================== c | 16 | 3497 3882 1279986 | 5000 16 3067 | 0.000 % | c =============================================================================== c New solution: 17916 c Elapsed CPU time: 142.987 s Remaining CPU time: 37.0127 s c =============================================================================== c | 16 | 3497 3883 1283336 | 5000 16 3067 | 0.000 % | c =============================================================================== c New solution: 17915 c Elapsed CPU time: 143.755 s Remaining CPU time: 36.2449 s c =============================================================================== c | 16 | 3497 3884 1286686 | 5000 16 3067 | 0.000 % | c =============================================================================== c New solution: 17914 c Elapsed CPU time: 144.61 s Remaining CPU time: 35.39 s c =============================================================================== c | 17 | 3497 3885 1290036 | 5000 17 3079 | 0.000 % | c =============================================================================== c New solution: 17913 c Elapsed CPU time: 145.506 s Remaining CPU time: 34.4941 s c =============================================================================== c | 17 | 3497 3886 1293386 | 5000 17 3079 | 0.000 % | c =============================================================================== c New solution: 17912 c Elapsed CPU time: 146.369 s Remaining CPU time: 33.6313 s c =============================================================================== c | 17 | 3497 3887 1296736 | 5000 17 3079 | 0.000 % | c =============================================================================== c New solution: 17911 c Elapsed CPU time: 147.212 s Remaining CPU time: 32.7884 s c =============================================================================== c | 17 | 3497 3888 1300086 | 5000 17 3079 | 0.000 % | c =============================================================================== c New solution: 17910 c Elapsed CPU time: 148.026 s Remaining CPU time: 31.9735 s c =============================================================================== c | 17 | 3497 3889 1303436 | 5000 17 3079 | 0.000 % | c =============================================================================== c New solution: 17909 c Elapsed CPU time: 148.897 s Remaining CPU time: 31.1026 s c =============================================================================== c | 18 | 3497 3890 1306786 | 5000 18 3089 | 0.000 % | c =============================================================================== c New solution: 17908 c Elapsed CPU time: 149.7 s Remaining CPU time: 30.2998 s c =============================================================================== c | 19 | 3497 3891 1310136 | 5000 19 3098 | 0.000 % | c =============================================================================== c New solution: 17907 c Elapsed CPU time: 150.521 s Remaining CPU time: 29.4789 s c =============================================================================== c | 19 | 3497 3892 1313486 | 5000 19 3098 | 0.000 % | c =============================================================================== c New solution: 17906 c Elapsed CPU time: 151.384 s Remaining CPU time: 28.616 s c =============================================================================== c | 19 | 3497 3893 1316836 | 5000 19 3098 | 0.000 % | c =============================================================================== c New solution: 17905 c Elapsed CPU time: 152.183 s Remaining CPU time: 27.8171 s c =============================================================================== c | 20 | 3497 3894 1320186 | 5000 20 3106 | 0.000 % | c =============================================================================== c New solution: 17904 c Elapsed CPU time: 152.981 s Remaining CPU time: 27.0193 s c =============================================================================== c | 23 | 3497 3895 1323536 | 5000 23 3126 | 0.000 % | c =============================================================================== c New solution: 17903 c Elapsed CPU time: 153.869 s Remaining CPU time: 26.1314 s c =============================================================================== c | 29 | 3497 3896 1326886 | 5000 29 3155 | 0.000 % | c =============================================================================== c New solution: 17902 c Elapsed CPU time: 154.694 s Remaining CPU time: 25.3055 s c =============================================================================== c | 29 | 3497 3897 1330236 | 5000 29 3155 | 0.000 % | c =============================================================================== c New solution: 17901 c Elapsed CPU time: 155.639 s Remaining CPU time: 24.3607 s c =============================================================================== c | 35 | 3497 3898 1333586 | 5000 35 3173 | 0.000 % | c =============================================================================== c New solution: 17900 c Elapsed CPU time: 156.432 s Remaining CPU time: 23.5678 s c =============================================================================== c | 35 | 3497 3899 1336936 | 5000 35 3173 | 0.000 % | c =============================================================================== c New solution: 17899 c Elapsed CPU time: 157.214 s Remaining CPU time: 22.7859 s c =============================================================================== c | 35 | 3497 3900 1340286 | 5000 35 3173 | 0.000 % | c =============================================================================== c New solution: 17898 c Elapsed CPU time: 158.004 s Remaining CPU time: 21.996 s c =============================================================================== c | 36 | 3497 3901 1343636 | 5000 36 3176 | 0.000 % | c =============================================================================== c New solution: 17897 c Elapsed CPU time: 158.867 s Remaining CPU time: 21.1332 s c =============================================================================== c | 46 | 3497 3902 1346986 | 5000 46 3194 | 0.000 % | c =============================================================================== c New solution: 17896 c Elapsed CPU time: 159.744 s Remaining CPU time: 20.2563 s c =============================================================================== c | 51 | 3497 3903 1350336 | 5000 51 3200 | 0.000 % | c =============================================================================== c New solution: 17895 c Elapsed CPU time: 160.644 s Remaining CPU time: 19.3564 s c =============================================================================== c | 59 | 3497 3904 1353686 | 5000 59 3208 | 0.000 % | c =============================================================================== c New solution: 17894 c Elapsed CPU time: 161.402 s Remaining CPU time: 18.5975 s c =============================================================================== c | 59 | 3497 3905 1357036 | 5000 59 3208 | 0.000 % | c =============================================================================== c New solution: 17893 c Elapsed CPU time: 162.212 s Remaining CPU time: 17.7877 s c =============================================================================== c | 59 | 3497 3906 1360386 | 5000 59 3208 | 0.000 % | c =============================================================================== c New solution: 17892 c Elapsed CPU time: 163.034 s Remaining CPU time: 16.9658 s c =============================================================================== c | 59 | 3497 3907 1363736 | 5000 59 3208 | 0.000 % | c =============================================================================== c New solution: 17891 c Elapsed CPU time: 163.81 s Remaining CPU time: 16.1899 s c =============================================================================== c | 62 | 3497 3908 1367086 | 5000 62 3211 | 0.000 % | c =============================================================================== c New solution: 17890 c Elapsed CPU time: 164.604 s Remaining CPU time: 15.396 s c =============================================================================== c | 62 | 3497 3909 1370436 | 5000 62 3211 | 0.000 % | c =============================================================================== c New solution: 17889 c Elapsed CPU time: 165.367 s Remaining CPU time: 14.6331 s c =============================================================================== c | 62 | 3497 3910 1373786 | 5000 62 3211 | 0.000 % | c =============================================================================== c New solution: 17888 c Elapsed CPU time: 166.121 s Remaining CPU time: 13.8793 s c =============================================================================== c | 62 | 3497 3911 1377136 | 5000 62 3211 | 0.000 % | c =============================================================================== c New solution: 17887 c Elapsed CPU time: 167.038 s Remaining CPU time: 12.9624 s c =============================================================================== c | 67 | 3497 3912 1380486 | 5000 67 3214 | 0.000 % | c =============================================================================== c New solution: 17886 c Elapsed CPU time: 167.979 s Remaining CPU time: 12.0205 s c =============================================================================== c | 67 | 3497 3913 1383836 | 5000 67 3214 | 0.000 % | c =============================================================================== c New solution: 17885 c Elapsed CPU time: 168.845 s Remaining CPU time: 11.1547 s c =============================================================================== c | 67 | 3497 3914 1387186 | 5000 67 3214 | 0.000 % | c =============================================================================== c New solution: 17884 c Elapsed CPU time: 169.745 s Remaining CPU time: 10.2548 s c =============================================================================== c | 67 | 3497 3915 1390536 | 5000 67 3214 | 0.000 % | c =============================================================================== c New solution: 17883 c Elapsed CPU time: 170.595 s Remaining CPU time: 9.40493 s c =============================================================================== c | 67 | 3497 3916 1393886 | 5000 67 3214 | 0.000 % | c =============================================================================== c New solution: 17882 c Elapsed CPU time: 171.478 s Remaining CPU time: 8.52207 s c =============================================================================== c | 71 | 3497 3917 1397236 | 5000 71 3217 | 0.000 % | c =============================================================================== c New solution: 17881 c Elapsed CPU time: 172.323 s Remaining CPU time: 7.6772 s c =============================================================================== c | 71 | 3497 3918 1400586 | 5000 71 3217 | 0.000 % | c =============================================================================== c New solution: 17880 c Elapsed CPU time: 173.3 s Remaining CPU time: 6.70035 s c =============================================================================== c | 77 | 3497 3919 1403936 | 5000 77 3220 | 0.000 % | c =============================================================================== c New solution: 17879 c Elapsed CPU time: 174.212 s Remaining CPU time: 5.78849 s c =============================================================================== c | 77 | 3497 3920 1407286 | 5000 77 3220 | 0.000 % | c =============================================================================== c New solution: 17878 c Elapsed CPU time: 175.036 s Remaining CPU time: 4.96361 s c =============================================================================== c | 77 | 3497 3921 1410636 | 5000 77 3220 | 0.000 % | c =============================================================================== c New solution: 17877 c Elapsed CPU time: 175.899 s Remaining CPU time: 4.10074 s c =============================================================================== c | 77 | 3497 3922 1413986 | 5000 77 3220 | 0.000 % | c =============================================================================== c New solution: 17876 c Elapsed CPU time: 176.743 s Remaining CPU time: 3.25687 s c =============================================================================== c | 77 | 3497 3923 1417336 | 5000 77 3220 | 0.000 % | c =============================================================================== c New solution: 17875 c Elapsed CPU time: 177.585 s Remaining CPU time: 2.415 s c =============================================================================== c | 77 | 3497 3924 1420686 | 5000 77 3220 | 0.000 % | c =============================================================================== c New solution: 17874 c Elapsed CPU time: 178.459 s Remaining CPU time: 1.54113 s c =============================================================================== c | 82 | 3497 3925 1424036 | 5000 82 3222 | 0.000 % | c =============================================================================== c New solution: 17873 c Elapsed CPU time: 179.326 s Remaining CPU time: 0.674262 s c =============================================================================== c | 84 | 3497 3926 1427386 | 5000 84 3223 | 0.000 % | c =============================================================================== c New solution: 17872 c Elapsed CPU time: 180.122 s Remaining CPU time: -0.121617 s c =============================================================================== c | 84 | 3497 3927 1430736 | 5000 84 3223 | 0.000 % | c There are 3 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 185 7300 10399 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 190 7305 10408 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 196 7310 10417 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 203 7314 10428 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 207 7318 10440 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 214 7324 10448 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 221 7330 10462 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 229 7335 10480 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 237 7342 10499 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 242 7347 10508 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 252 7352 10529 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 260 7359 10543 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 269 7365 10558 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 277 7370 10572 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 284 7376 10580 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 291 7382 10594 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 299 7387 10606 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 307 7392 10618 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 315 7399 10633 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 320 7404 10642 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 328 7411 10651 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 336 7416 10673 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 343 7422 10681 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 350 7428 10695 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 358 7435 10706 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 367 7443 10716 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 375 7450 10735 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 382 7456 10745 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 390 7461 10757 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 402 7472 10776 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 422 7488 10817 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 431 7494 10838 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 444 7502 10860 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 451 7508 10878 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 458 7514 10886 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 466 7519 10906 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 472 7523 10917 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 481 7527 10937 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 489 7534 10950 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 499 7541 10970 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 506 7547 10980 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 515 7553 10999 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 525 7558 11024 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 531 7562 11035 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 538 7567 11049 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 546 7574 11062 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 557 7578 11089 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 566 7586 11099 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 577 7590 11128 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 584 7596 11138 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 592 7601 11160 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 600 7606 11172 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 608 7613 11187 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 619 7617 11210 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 628 7623 11225 | 5000 0 nan | 0.000 % | c ===============================================================================