c wbo 1.4 beta - 20100610 c | Number of variables: 71 | c | Number of clauses: 566 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 71 | c | Number Clauses: 495 | 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 | 71 495 990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 56345 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 71 496 1061 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 55528 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 71 497 1132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 55314 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 71 498 1203 | 5000 1 69 | 0.000 % | c =============================================================================== c New solution: 54497 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 71 499 1274 | 5000 1 69 | 0.000 % | c =============================================================================== c New solution: 53774 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 71 500 1345 | 5000 1 69 | 0.000 % | c =============================================================================== c New solution: 53543 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 10 | 71 501 1416 | 5000 10 66 | 0.000 % | c =============================================================================== c New solution: 53298 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 15 | 71 502 1487 | 5000 15 65 | 0.000 % | c =============================================================================== c New solution: 53239 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 19 | 71 503 1558 | 5000 19 65 | 0.000 % | c =============================================================================== c New solution: 53152 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 19 | 71 504 1629 | 5000 19 65 | 0.000 % | c =============================================================================== c New solution: 53113 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 22 | 71 505 1700 | 5000 22 65 | 0.000 % | c =============================================================================== c New solution: 53015 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 28 | 71 506 1771 | 5000 28 64 | 0.000 % | c =============================================================================== c New solution: 52928 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 28 | 71 507 1842 | 5000 28 64 | 0.000 % | c =============================================================================== c New solution: 52827 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 30 | 71 508 1913 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 52626 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 30 | 71 509 1984 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 52539 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 30 | 71 510 2055 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 52493 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 41 | 71 511 2126 | 5000 41 64 | 0.000 % | c =============================================================================== c New solution: 52292 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 41 | 71 512 2197 | 5000 41 64 | 0.000 % | c =============================================================================== c New solution: 52205 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 50 | 71 513 2268 | 5000 50 64 | 0.000 % | c =============================================================================== c New solution: 52150 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 50 | 71 514 2339 | 5000 50 64 | 0.000 % | c =============================================================================== c New solution: 52063 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 50 | 71 515 2410 | 5000 50 64 | 0.000 % | c =============================================================================== c New solution: 51958 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 54 | 71 516 2481 | 5000 54 64 | 0.000 % | c =============================================================================== c New solution: 51954 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 70 | 71 517 2552 | 5000 70 63 | 0.000 % | c =============================================================================== c New solution: 51867 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 71 | 71 518 2623 | 5000 71 63 | 0.000 % | c =============================================================================== c New solution: 51786 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 72 | 71 519 2694 | 5000 72 63 | 0.000 % | c =============================================================================== c New solution: 51620 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 73 | 71 520 2765 | 5000 73 63 | 0.000 % | c =============================================================================== c New solution: 51452 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 75 | 71 521 2836 | 5000 75 63 | 0.000 % | c =============================================================================== c New solution: 51219 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 108 | 71 522 2907 | 5000 108 62 | 0.000 % | c =============================================================================== c New solution: 51156 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 119 | 71 523 2978 | 5000 119 62 | 0.000 % | c =============================================================================== c New solution: 51051 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 120 | 71 524 3049 | 5000 120 62 | 0.000 % | c =============================================================================== c New solution: 50807 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 157 | 71 525 3120 | 5000 157 62 | 0.000 % | c =============================================================================== c New solution: 50803 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 240 | 71 526 3191 | 5000 240 61 | 0.000 % | c =============================================================================== c New solution: 50610 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 261 | 71 527 3262 | 5000 261 61 | 0.000 % | c =============================================================================== c New solution: 50469 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 268 | 71 528 3333 | 5000 268 61 | 0.000 % | c =============================================================================== c New solution: 50438 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 268 | 71 529 3404 | 5000 268 61 | 0.000 % | c =============================================================================== c New solution: 50104 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 268 | 71 530 3475 | 5000 268 61 | 0.000 % | c =============================================================================== c New solution: 49936 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 276 | 71 531 3546 | 5000 276 61 | 0.000 % | c =============================================================================== c New solution: 49912 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 360 | 71 532 3617 | 5000 360 60 | 0.000 % | c =============================================================================== c New solution: 49717 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 361 | 71 533 3688 | 5000 361 60 | 0.000 % | c =============================================================================== c New solution: 49693 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 362 | 71 534 3759 | 5000 362 60 | 0.000 % | c =============================================================================== c New solution: 49328 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 362 | 71 535 3830 | 5000 362 60 | 0.000 % | c | 463 | 71 535 3830 | 5500 463 60 | 0.020 % | c =============================================================================== c New solution: 48994 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 465 | 71 536 3901 | 5000 465 60 | 0.020 % | c | 566 | 71 536 3901 | 5500 566 59 | 0.020 % | c | 716 | 71 536 3901 | 6050 716 59 | 0.020 % | c | 944 | 71 536 3901 | 6655 944 58 | 0.020 % | c =============================================================================== c New solution: 48826 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1089 | 71 537 3972 | 5000 1089 58 | 0.020 % | c | 1191 | 71 537 3972 | 5500 1191 58 | 0.020 % | c =============================================================================== c New solution: 48793 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1211 | 71 538 4043 | 5000 1211 58 | 0.020 % | c | 1311 | 71 538 4043 | 5500 1311 58 | 0.020 % | c | 1463 | 71 538 4043 | 6050 1463 57 | 0.020 % | c =============================================================================== c New solution: 48790 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 1578 | 71 539 4114 | 5000 1578 57 | 0.020 % | c =============================================================================== c New solution: 48685 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 1580 | 71 540 4185 | 5000 1580 57 | 0.020 % | c | 1681 | 71 540 4185 | 5500 1681 57 | 0.020 % | c | 1832 | 71 540 4185 | 6050 1832 57 | 0.020 % | c | 2059 | 71 540 4185 | 6655 2059 57 | 0.020 % | c | 2398 | 71 540 4185 | 7320 2398 56 | 0.020 % | c =============================================================================== c New solution: 48664 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 2706 | 71 541 4256 | 5000 2706 56 | 0.020 % | c =============================================================================== c New solution: 48463 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 2706 | 71 542 4327 | 5000 2706 56 | 0.020 % | c =============================================================================== c New solution: 48322 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 2706 | 71 543 4398 | 5000 2706 56 | 0.020 % | c =============================================================================== c New solution: 48158 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 2724 | 71 544 4469 | 5000 2724 56 | 0.020 % | c | 2826 | 71 544 4469 | 5500 2826 56 | 0.020 % | c | 2977 | 71 544 4469 | 6050 2977 56 | 0.020 % | c | 3202 | 71 544 4469 | 6655 3202 56 | 0.020 % | c =============================================================================== c New solution: 47957 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 3246 | 71 545 4540 | 5000 3246 56 | 0.020 % | c | 3348 | 71 545 4540 | 5500 3348 56 | 0.020 % | c | 3501 | 71 545 4540 | 6050 3501 56 | 0.020 % | c =============================================================================== c New solution: 47930 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 3507 | 71 546 4611 | 5000 3507 56 | 0.020 % | c | 3608 | 71 546 4611 | 5500 3608 56 | 0.020 % | c =============================================================================== c New solution: 47858 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 3688 | 71 547 4682 | 5000 3688 56 | 0.020 % | c | 3789 | 71 547 4682 | 5500 3789 56 | 0.020 % | c | 3942 | 71 547 4682 | 6050 3942 56 | 0.020 % | c =============================================================================== c New solution: 47835 c Elapsed CPU time: 0.815875 s Remaining CPU time: 179.184 s c =============================================================================== c | 3993 | 71 548 4753 | 5000 3993 56 | 0.020 % | c =============================================================================== c New solution: 47748 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 3993 | 71 549 4824 | 5000 3993 56 | 0.020 % | c =============================================================================== c New solution: 47730 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 4000 | 71 550 4895 | 5000 4000 56 | 0.020 % | c =============================================================================== c New solution: 47662 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 4004 | 71 551 4966 | 5000 4004 56 | 0.020 % | c =============================================================================== c New solution: 47616 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 4004 | 71 552 5037 | 5000 4004 56 | 0.020 % | c =============================================================================== c New solution: 47556 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 4004 | 71 553 5108 | 5000 4004 56 | 0.020 % | c =============================================================================== c New solution: 47529 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 4004 | 71 554 5179 | 5000 4004 56 | 0.020 % | c =============================================================================== c New solution: 47513 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 4004 | 71 555 5250 | 5000 4004 56 | 0.020 % | c =============================================================================== c New solution: 47424 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 4024 | 71 556 5321 | 5000 4024 56 | 0.020 % | c =============================================================================== c New solution: 47399 c Elapsed CPU time: 0.828873 s Remaining CPU time: 179.171 s c =============================================================================== c | 4031 | 71 557 5392 | 5000 4031 56 | 0.020 % | c =============================================================================== c New solution: 47312 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 4031 | 71 558 5463 | 5000 4031 56 | 0.020 % | c =============================================================================== c New solution: 47094 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 4031 | 71 559 5534 | 5000 4031 56 | 0.020 % | c =============================================================================== c New solution: 46874 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 4111 | 71 560 5605 | 5000 4111 56 | 0.020 % | c =============================================================================== c New solution: 46673 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 4117 | 71 561 5676 | 5000 4117 56 | 0.020 % | c | 4220 | 71 561 5676 | 5500 4220 56 | 0.020 % | c | 4372 | 71 561 5676 | 6050 4372 55 | 0.020 % | c | 4597 | 71 561 5676 | 6655 4597 55 | 0.020 % | c | 4934 | 71 561 5676 | 7320 4934 55 | 0.020 % | c | 5442 | 71 561 5676 | 8052 5442 55 | 0.020 % | c =============================================================================== c New solution: 46648 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 5965 | 71 562 5747 | 5000 5965 55 | 0.020 % | c =============================================================================== c New solution: 46507 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 5965 | 71 563 5818 | 5000 2983 54 | 0.020 % | c =============================================================================== c New solution: 46343 c Elapsed CPU time: 1.3318 s Remaining CPU time: 178.668 s c =============================================================================== c | 5966 | 71 564 5889 | 5000 2984 54 | 0.020 % | c =============================================================================== c New solution: 46142 c Elapsed CPU time: 1.3328 s Remaining CPU time: 178.667 s c =============================================================================== c | 5966 | 71 565 5960 | 5000 2984 54 | 0.020 % | c =============================================================================== c New solution: 46022 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s c =============================================================================== c | 5967 | 71 566 6031 | 5000 2985 54 | 0.020 % | c =============================================================================== c New solution: 45978 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 5974 | 71 567 6102 | 5000 2992 54 | 0.020 % | c =============================================================================== c New solution: 45950 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 6000 | 71 568 6173 | 5000 3018 54 | 0.020 % | c | 6101 | 71 568 6173 | 5500 3119 54 | 0.020 % | c | 6255 | 71 568 6173 | 6050 3273 54 | 0.020 % | c | 6481 | 71 568 6173 | 6655 3499 54 | 0.020 % | c =============================================================================== c New solution: 45949 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 6618 | 71 569 6244 | 5000 3636 54 | 0.020 % | c | 6718 | 71 569 6244 | 5500 3736 53 | 0.020 % | c =============================================================================== c New solution: 45905 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c | 6728 | 71 570 6315 | 5000 3746 53 | 0.020 % | c =============================================================================== c New solution: 45854 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 6758 | 71 571 6386 | 5000 3776 53 | 0.020 % | c =============================================================================== c New solution: 45748 c Elapsed CPU time: 1.51377 s Remaining CPU time: 178.486 s c =============================================================================== c | 6759 | 71 572 6457 | 5000 3777 53 | 0.020 % | c =============================================================================== c New solution: 45661 c Elapsed CPU time: 1.51677 s Remaining CPU time: 178.483 s c =============================================================================== c | 6768 | 71 573 6528 | 5000 3786 53 | 0.020 % | c =============================================================================== c New solution: 45443 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s c =============================================================================== c | 6779 | 71 574 6599 | 5000 3797 53 | 0.020 % | c =============================================================================== c New solution: 45356 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 6789 | 71 575 6670 | 5000 3807 53 | 0.020 % | c | 6889 | 71 575 6670 | 5500 3907 53 | 0.020 % | c =============================================================================== c New solution: 45286 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 6937 | 71 576 6741 | 5000 3955 53 | 0.020 % | c =============================================================================== c New solution: 45199 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 6937 | 71 577 6812 | 5000 3955 53 | 0.020 % | c =============================================================================== c New solution: 45155 c Elapsed CPU time: 1.55376 s Remaining CPU time: 178.446 s c =============================================================================== c | 6962 | 71 578 6883 | 5000 3980 53 | 0.020 % | c | 7062 | 71 578 6883 | 5500 4080 53 | 0.020 % | c =============================================================================== c New solution: 45094 c Elapsed CPU time: 1.57376 s Remaining CPU time: 178.426 s c =============================================================================== c | 7063 | 71 579 6954 | 5000 4081 53 | 0.020 % | c =============================================================================== c New solution: 45007 c Elapsed CPU time: 1.57476 s Remaining CPU time: 178.425 s c =============================================================================== c | 7063 | 71 580 7025 | 5000 4081 53 | 0.020 % | c | 7163 | 71 580 7025 | 5500 4181 53 | 0.020 % | c | 7314 | 71 580 7025 | 6050 4332 53 | 0.020 % | c =============================================================================== c New solution: 44823 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 7367 | 71 581 7096 | 5000 4385 53 | 0.020 % | c =============================================================================== c New solution: 44736 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 7367 | 71 582 7167 | 5000 4385 53 | 0.020 % | c =============================================================================== c New solution: 44703 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 7367 | 71 583 7238 | 5000 4385 53 | 0.020 % | c =============================================================================== c New solution: 44616 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 7367 | 71 584 7309 | 5000 4385 53 | 0.020 % | c =============================================================================== c New solution: 44588 c Elapsed CPU time: 1.65275 s Remaining CPU time: 178.347 s c =============================================================================== c | 7376 | 71 585 7380 | 5000 4394 53 | 0.020 % | c | 7478 | 71 585 7380 | 5500 4496 53 | 0.020 % | c | 7629 | 71 585 7380 | 6050 4647 53 | 0.020 % | c | 7856 | 71 585 7380 | 6655 4874 53 | 0.020 % | c | 8194 | 71 585 7380 | 7320 5212 53 | 0.020 % | c | 8700 | 71 585 7380 | 8052 5718 53 | 0.020 % | c | 9461 | 71 585 7380 | 8857 6479 53 | 0.020 % | c | 10602 | 71 585 7380 | 9743 7620 52 | 0.020 % | c =============================================================================== c New solution: 44543 c Elapsed CPU time: 3.22751 s Remaining CPU time: 176.772 s c =============================================================================== c | 11675 | 71 586 7451 | 5000 8693 52 | 0.020 % | c =============================================================================== c New solution: 44531 c Elapsed CPU time: 3.33749 s Remaining CPU time: 176.663 s c =============================================================================== c | 11677 | 71 587 7522 | 5000 4349 51 | 0.020 % | c =============================================================================== c New solution: 44504 c Elapsed CPU time: 3.33849 s Remaining CPU time: 176.662 s c =============================================================================== c | 11678 | 71 588 7593 | 5000 4350 51 | 0.020 % | c | 11778 | 71 588 7593 | 5500 4450 51 | 0.020 % | c | 11933 | 71 588 7593 | 6050 4605 51 | 0.020 % | c | 12158 | 71 588 7593 | 6655 4830 51 | 0.020 % | c =============================================================================== c New solution: 44492 c Elapsed CPU time: 3.51546 s Remaining CPU time: 176.485 s c =============================================================================== c | 12191 | 71 589 7664 | 5000 4863 51 | 0.020 % | c | 12294 | 71 589 7664 | 5500 4966 51 | 0.020 % | c | 12445 | 71 589 7664 | 6050 5117 51 | 0.020 % | c | 12671 | 71 589 7664 | 6655 5343 51 | 0.020 % | c | 13009 | 71 589 7664 | 7320 5681 51 | 0.020 % | c | 13515 | 71 589 7664 | 8052 6187 51 | 0.020 % | c | 14274 | 71 589 7664 | 8857 6946 51 | 0.020 % | c | 15414 | 71 589 7664 | 9743 8086 51 | 0.020 % | c | 17122 | 71 589 7664 | 10717 9794 51 | 0.020 % | c | 19686 | 71 589 7664 | 11789 6971 51 | 0.020 % | c =============================================================================== c New solution: 44440 c Elapsed CPU time: 7.85281 s Remaining CPU time: 172.147 s c =============================================================================== c | 21701 | 71 590 7735 | 5000 8986 51 | 0.020 % | c | 21803 | 71 590 7735 | 5500 4595 51 | 0.020 % | c | 21953 | 71 590 7735 | 6050 4745 51 | 0.020 % | c | 22180 | 71 590 7735 | 6655 4972 51 | 0.020 % | c | 22518 | 71 590 7735 | 7320 5310 51 | 0.020 % | c =============================================================================== c New solution: 44416 c Elapsed CPU time: 8.22075 s Remaining CPU time: 171.779 s c =============================================================================== c | 22769 | 71 591 7806 | 5000 5561 51 | 0.020 % | c | 22869 | 71 591 7806 | 5500 2881 51 | 0.020 % | c | 23021 | 71 591 7806 | 6050 3033 51 | 0.020 % | c | 23249 | 71 591 7806 | 6655 3261 51 | 0.020 % | c | 23587 | 71 591 7806 | 7320 3599 51 | 0.020 % | c | 24093 | 71 591 7806 | 8052 4105 51 | 0.020 % | c | 24853 | 71 591 7806 | 8857 4865 51 | 0.020 % | c | 25996 | 71 591 7806 | 9743 6008 51 | 0.020 % | c | 27705 | 71 591 7806 | 10717 7717 51 | 0.020 % | c | 30270 | 71 591 7806 | 11789 10282 51 | 0.020 % | c | 34115 | 71 591 7806 | 12968 8204 51 | 0.020 % | c | 39881 | 71 591 7806 | 14265 7457 51 | 0.020 % | c =============================================================================== c New solution: 44354 c Elapsed CPU time: 17.9323 s Remaining CPU time: 162.068 s c =============================================================================== c | 47630 | 71 592 7877 | 5000 8048 51 | 0.020 % | c =============================================================================== c New solution: 44317 c Elapsed CPU time: 18.0313 s Remaining CPU time: 161.969 s c =============================================================================== c | 47707 | 71 593 7948 | 5000 4101 51 | 0.020 % | c =============================================================================== c New solution: 44230 c Elapsed CPU time: 18.0323 s Remaining CPU time: 161.968 s c =============================================================================== c | 47707 | 71 594 8019 | 5000 4101 51 | 0.020 % | c | 47808 | 71 594 8019 | 5500 4202 51 | 0.020 % | c | 47959 | 71 594 8019 | 6050 4353 51 | 0.020 % | c | 48184 | 71 594 8019 | 6655 4578 51 | 0.020 % | c | 48521 | 71 594 8019 | 7320 4915 51 | 0.020 % | c =============================================================================== c New solution: 44206 c Elapsed CPU time: 18.2532 s Remaining CPU time: 161.747 s c =============================================================================== c | 48897 | 71 595 8090 | 5000 5291 51 | 0.020 % | c =============================================================================== c New solution: 44167 c Elapsed CPU time: 18.3062 s Remaining CPU time: 161.694 s c =============================================================================== c | 48900 | 71 596 8161 | 5000 2649 51 | 0.020 % | c | 49000 | 71 596 8161 | 5500 2749 51 | 0.020 % | c | 49151 | 71 596 8161 | 6050 2900 51 | 0.020 % | c | 49377 | 71 596 8161 | 6655 3126 51 | 0.020 % | c | 49715 | 71 596 8161 | 7320 3464 51 | 0.020 % | c | 50222 | 71 596 8161 | 8052 3971 51 | 0.020 % | c | 50982 | 71 596 8161 | 8857 4731 51 | 0.020 % | c | 52123 | 71 596 8161 | 9743 5872 51 | 0.020 % | c | 53831 | 71 596 8161 | 10717 7580 51 | 0.020 % | c | 56393 | 71 596 8161 | 11789 10142 51 | 0.020 % | c | 60238 | 71 596 8161 | 12968 8068 51 | 0.020 % | c | 66006 | 71 596 8161 | 14265 7327 50 | 0.020 % | c | 74656 | 71 596 8161 | 15692 8818 50 | 0.020 % | c | 87630 | 71 596 8161 | 17261 13919 51 | 0.020 % | c =============================================================================== c New solution: 44103 c Elapsed CPU time: 39.364 s Remaining CPU time: 140.636 s c =============================================================================== c | 96094 | 71 597 8232 | 5000 13725 51 | 0.020 % | c | 96195 | 71 597 8232 | 5500 3533 50 | 0.020 % | c | 96345 | 71 597 8232 | 6050 3683 51 | 0.020 % | c | 96571 | 71 597 8232 | 6655 3909 51 | 0.020 % | c | 96909 | 71 597 8232 | 7320 4247 51 | 0.020 % | c | 97418 | 71 597 8232 | 8052 4756 51 | 0.020 % | c | 98177 | 71 597 8232 | 8857 5515 51 | 0.020 % | c | 99316 | 71 597 8232 | 9743 6654 51 | 0.020 % | c | 101024 | 71 597 8232 | 10717 8362 51 | 0.020 % | c | 103587 | 71 597 8232 | 11789 5538 50 | 0.020 % | c | 107431 | 71 597 8232 | 12968 9382 51 | 0.020 % | c | 113198 | 71 597 8232 | 14265 8636 51 | 0.020 % | c | 121847 | 71 597 8232 | 15692 10130 51 | 0.020 % | c | 134822 | 71 597 8232 | 17261 15231 51 | 0.020 % | c | 154283 | 71 597 8232 | 18987 8720 50 | 0.020 % | c | 183476 | 71 597 8232 | 20886 18872 51 | 0.020 % | c | 227269 | 71 597 8232 | 22974 20803 51 | 0.022 % | c =============================================================================== c Total CPU time: 125.992 s