c wbo 1.4 beta - 20100610 c | Number of variables: 70 | c | Number of clauses: 598 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 70 | c | Number Clauses: 528 | 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 | 70 528 1056 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 63339 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 70 529 1126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 62437 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 70 530 1196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 62248 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 70 531 1266 | 5000 1 68 | 0.000 % | c =============================================================================== c New solution: 62175 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 70 532 1336 | 5000 3 67 | 0.000 % | c =============================================================================== c New solution: 62070 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 70 533 1406 | 5000 3 67 | 0.000 % | c =============================================================================== c New solution: 61832 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 70 534 1476 | 5000 3 67 | 0.000 % | c =============================================================================== c New solution: 61808 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 4 | 70 535 1546 | 5000 4 67 | 0.000 % | c =============================================================================== c New solution: 61657 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 4 | 70 536 1616 | 5000 4 67 | 0.000 % | c =============================================================================== c New solution: 61422 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 6 | 70 537 1686 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 61292 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 6 | 70 538 1756 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 61200 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 6 | 70 539 1826 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 61011 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 6 | 70 540 1896 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 60831 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 6 | 70 541 1966 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 60680 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 6 | 70 542 2036 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 60647 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 6 | 70 543 2106 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 60498 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 6 | 70 544 2176 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 60334 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 6 | 70 545 2246 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 59966 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 8 | 70 546 2316 | 5000 8 66 | 0.000 % | c =============================================================================== c New solution: 59831 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 11 | 70 547 2386 | 5000 11 65 | 0.000 % | c =============================================================================== c New solution: 59699 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 12 | 70 548 2456 | 5000 12 65 | 0.000 % | c =============================================================================== c New solution: 59671 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 12 | 70 549 2526 | 5000 12 65 | 0.000 % | c =============================================================================== c New solution: 59496 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 15 | 70 550 2596 | 5000 15 65 | 0.000 % | c =============================================================================== c New solution: 58952 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 29 | 70 551 2666 | 5000 29 63 | 0.000 % | c =============================================================================== c New solution: 58763 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 29 | 70 552 2736 | 5000 29 63 | 0.000 % | c =============================================================================== c New solution: 58548 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 30 | 70 553 2806 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 58385 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 36 | 70 554 2876 | 5000 36 63 | 0.000 % | c =============================================================================== c New solution: 57893 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 39 | 70 555 2946 | 5000 39 63 | 0.000 % | c =============================================================================== c New solution: 57718 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 39 | 70 556 3016 | 5000 39 63 | 0.000 % | c =============================================================================== c New solution: 57704 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 39 | 70 557 3086 | 5000 39 63 | 0.000 % | c =============================================================================== c New solution: 57489 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 40 | 70 558 3156 | 5000 40 63 | 0.000 % | c =============================================================================== c New solution: 57442 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 41 | 70 559 3226 | 5000 41 63 | 0.000 % | c =============================================================================== c New solution: 57253 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 41 | 70 560 3296 | 5000 41 63 | 0.000 % | c =============================================================================== c New solution: 56878 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 45 | 70 561 3366 | 5000 45 62 | 0.000 % | c =============================================================================== c New solution: 56759 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 46 | 70 562 3436 | 5000 46 62 | 0.000 % | c =============================================================================== c New solution: 56581 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 47 | 70 563 3506 | 5000 47 62 | 0.000 % | c =============================================================================== c New solution: 56534 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 62 | 70 564 3576 | 5000 62 61 | 0.000 % | c =============================================================================== c New solution: 56410 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 68 | 70 565 3646 | 5000 68 61 | 0.000 % | c =============================================================================== c New solution: 56362 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 74 | 70 566 3716 | 5000 74 61 | 0.000 % | c =============================================================================== c New solution: 56187 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 74 | 70 567 3786 | 5000 74 61 | 0.000 % | c =============================================================================== c New solution: 56173 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 74 | 70 568 3856 | 5000 74 61 | 0.000 % | c =============================================================================== c New solution: 56126 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 75 | 70 569 3926 | 5000 75 61 | 0.000 % | c =============================================================================== c New solution: 55937 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 75 | 70 570 3996 | 5000 75 61 | 0.000 % | c =============================================================================== c New solution: 55879 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 78 | 70 571 4066 | 5000 78 61 | 0.000 % | c =============================================================================== c New solution: 55848 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 80 | 70 572 4136 | 5000 80 60 | 0.000 % | c =============================================================================== c New solution: 55801 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 81 | 70 573 4206 | 5000 81 60 | 0.000 % | c =============================================================================== c New solution: 55612 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 81 | 70 574 4276 | 5000 81 60 | 0.000 % | c =============================================================================== c New solution: 55454 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 84 | 70 575 4346 | 5000 84 60 | 0.000 % | c =============================================================================== c New solution: 55439 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 145 | 70 576 4416 | 5000 145 59 | 0.000 % | c =============================================================================== c New solution: 55264 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 145 | 70 577 4486 | 5000 145 59 | 0.000 % | c =============================================================================== c New solution: 55250 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 145 | 70 578 4556 | 5000 145 59 | 0.000 % | c =============================================================================== c New solution: 55203 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 150 | 70 579 4626 | 5000 150 59 | 0.000 % | c =============================================================================== c New solution: 55184 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 210 | 70 580 4696 | 5000 210 58 | 0.000 % | c =============================================================================== c New solution: 54958 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 215 | 70 581 4766 | 5000 215 58 | 0.000 % | c =============================================================================== c New solution: 54914 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 220 | 70 582 4836 | 5000 220 58 | 0.000 % | c =============================================================================== c New solution: 54801 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 224 | 70 583 4906 | 5000 224 58 | 0.000 % | c =============================================================================== c New solution: 54778 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 226 | 70 584 4976 | 5000 226 58 | 0.000 % | c =============================================================================== c New solution: 54731 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 226 | 70 585 5046 | 5000 226 58 | 0.000 % | c =============================================================================== c New solution: 54474 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 227 | 70 586 5116 | 5000 227 58 | 0.000 % | c =============================================================================== c New solution: 54285 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 233 | 70 587 5186 | 5000 233 58 | 0.000 % | c =============================================================================== c New solution: 54193 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 233 | 70 588 5256 | 5000 233 58 | 0.000 % | c =============================================================================== c New solution: 53899 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 233 | 70 589 5326 | 5000 233 58 | 0.000 % | c =============================================================================== c New solution: 53710 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 233 | 70 590 5396 | 5000 233 58 | 0.000 % | c =============================================================================== c New solution: 53663 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 258 | 70 591 5466 | 5000 258 58 | 0.000 % | c =============================================================================== c New solution: 53474 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 258 | 70 592 5536 | 5000 258 58 | 0.000 % | c =============================================================================== c New solution: 53356 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 354 | 70 593 5606 | 5000 354 57 | 0.000 % | c =============================================================================== c New solution: 53308 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 437 | 70 594 5676 | 5000 437 56 | 0.000 % | c =============================================================================== c New solution: 53294 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 437 | 70 595 5746 | 5000 437 56 | 0.000 % | c =============================================================================== c New solution: 53247 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 442 | 70 596 5816 | 5000 442 56 | 0.000 % | c =============================================================================== c New solution: 53146 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 501 | 70 597 5886 | 5000 501 56 | 0.000 % | c =============================================================================== c New solution: 53132 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 501 | 70 598 5956 | 5000 501 56 | 0.000 % | c =============================================================================== c New solution: 53085 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 518 | 70 599 6026 | 5000 518 56 | 0.000 % | c =============================================================================== c New solution: 52910 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 520 | 70 600 6096 | 5000 520 56 | 0.000 % | c =============================================================================== c New solution: 52896 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 520 | 70 601 6166 | 5000 520 56 | 0.000 % | c =============================================================================== c New solution: 52887 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 527 | 70 602 6236 | 5000 527 56 | 0.000 % | c =============================================================================== c New solution: 52712 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 531 | 70 603 6306 | 5000 531 56 | 0.000 % | c =============================================================================== c New solution: 52698 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 531 | 70 604 6376 | 5000 531 56 | 0.000 % | c =============================================================================== c New solution: 52545 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 556 | 70 605 6446 | 5000 556 56 | 0.000 % | c =============================================================================== c New solution: 52506 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 565 | 70 606 6516 | 5000 565 56 | 0.000 % | c =============================================================================== c New solution: 52492 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 567 | 70 607 6586 | 5000 567 56 | 0.000 % | c =============================================================================== c New solution: 52362 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 594 | 70 608 6656 | 5000 594 56 | 0.000 % | c =============================================================================== c New solution: 52348 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 594 | 70 609 6726 | 5000 594 56 | 0.000 % | c =============================================================================== c New solution: 52270 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 596 | 70 610 6796 | 5000 596 56 | 0.000 % | c =============================================================================== c New solution: 52256 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 596 | 70 611 6866 | 5000 596 56 | 0.000 % | c =============================================================================== c New solution: 52198 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 597 | 70 612 6936 | 5000 597 56 | 0.000 % | c =============================================================================== c New solution: 52158 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 696 | 70 613 7006 | 5000 696 55 | 0.000 % | c =============================================================================== c New solution: 51922 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 696 | 70 614 7076 | 5000 696 55 | 0.000 % | c | 798 | 70 614 7076 | 5500 798 55 | 0.021 % | c =============================================================================== c New solution: 51914 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 843 | 70 615 7146 | 5000 843 55 | 0.021 % | c =============================================================================== c New solution: 51900 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 853 | 70 616 7216 | 5000 853 55 | 0.021 % | c =============================================================================== c New solution: 51747 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 908 | 70 617 7286 | 5000 908 55 | 0.021 % | c =============================================================================== c New solution: 51733 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 908 | 70 618 7356 | 5000 908 55 | 0.021 % | c | 1009 | 70 618 7356 | 5500 1009 54 | 0.021 % | c | 1159 | 70 618 7356 | 6050 1159 54 | 0.021 % | c =============================================================================== c New solution: 51731 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 1159 | 70 619 7426 | 5000 1159 54 | 0.021 % | c | 1259 | 70 619 7426 | 5500 1259 54 | 0.021 % | c =============================================================================== c New solution: 51647 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 1273 | 70 620 7496 | 5000 1273 54 | 0.021 % | c =============================================================================== c New solution: 51633 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 1274 | 70 621 7566 | 5000 1274 54 | 0.021 % | c =============================================================================== c New solution: 51586 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 1283 | 70 622 7636 | 5000 1283 54 | 0.021 % | c =============================================================================== c New solution: 51397 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 1283 | 70 623 7706 | 5000 1283 54 | 0.021 % | c =============================================================================== c New solution: 51214 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 1286 | 70 624 7776 | 5000 1286 54 | 0.021 % | c =============================================================================== c New solution: 51064 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 1287 | 70 625 7846 | 5000 1287 54 | 0.021 % | c =============================================================================== c New solution: 50828 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 1287 | 70 626 7916 | 5000 1287 54 | 0.021 % | c =============================================================================== c New solution: 50639 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 1287 | 70 627 7986 | 5000 1287 54 | 0.021 % | c =============================================================================== c New solution: 50599 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 1298 | 70 628 8056 | 5000 1298 54 | 0.021 % | c | 1398 | 70 628 8056 | 5500 1398 54 | 0.021 % | c | 1548 | 70 628 8056 | 6050 1548 54 | 0.021 % | c | 1774 | 70 628 8056 | 6655 1774 53 | 0.021 % | c | 2112 | 70 628 8056 | 7320 2112 53 | 0.021 % | c | 2621 | 70 628 8056 | 8052 2621 52 | 0.021 % | c | 3380 | 70 628 8056 | 8857 3380 52 | 0.021 % | c =============================================================================== c New solution: 50532 c Elapsed CPU time: 0.857869 s Remaining CPU time: 179.142 s c =============================================================================== c | 3829 | 70 629 8126 | 5000 3829 52 | 0.021 % | c =============================================================================== c New solution: 50343 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 3829 | 70 630 8196 | 5000 3829 52 | 0.021 % | c | 3931 | 70 630 8196 | 5500 3931 52 | 0.021 % | c | 4083 | 70 630 8196 | 6050 4083 52 | 0.021 % | c | 4308 | 70 630 8196 | 6655 4308 52 | 0.021 % | c =============================================================================== c New solution: 50314 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 4441 | 70 631 8266 | 5000 4441 52 | 0.021 % | c | 4543 | 70 631 8266 | 5500 4543 52 | 0.021 % | c | 4693 | 70 631 8266 | 6050 4693 52 | 0.021 % | c | 4920 | 70 631 8266 | 6655 4920 52 | 0.021 % | c | 5259 | 70 631 8266 | 7320 5259 52 | 0.021 % | c | 5765 | 70 631 8266 | 8052 5765 52 | 0.021 % | c | 6526 | 70 631 8266 | 8857 6526 51 | 0.021 % | c | 7666 | 70 631 8266 | 9743 7666 51 | 0.021 % | c | 9375 | 70 631 8266 | 10717 9375 51 | 0.021 % | c | 11937 | 70 631 8266 | 11789 6549 51 | 0.021 % | c =============================================================================== c New solution: 50249 c Elapsed CPU time: 4.23336 s Remaining CPU time: 175.767 s c =============================================================================== c | 12588 | 70 632 8336 | 5000 7200 51 | 0.021 % | c =============================================================================== c New solution: 50180 c Elapsed CPU time: 4.31134 s Remaining CPU time: 175.689 s c =============================================================================== c | 12589 | 70 633 8406 | 5000 3601 51 | 0.021 % | c =============================================================================== c New solution: 50013 c Elapsed CPU time: 4.31234 s Remaining CPU time: 175.688 s c =============================================================================== c | 12589 | 70 634 8476 | 5000 3601 51 | 0.021 % | c | 12691 | 70 634 8476 | 5500 3703 51 | 0.021 % | c | 12844 | 70 634 8476 | 6050 3856 51 | 0.021 % | c | 13069 | 70 634 8476 | 6655 4081 51 | 0.021 % | c | 13408 | 70 634 8476 | 7320 4420 51 | 0.021 % | c | 13916 | 70 634 8476 | 8052 4928 51 | 0.021 % | c | 14679 | 70 634 8476 | 8857 5691 51 | 0.021 % | c | 15818 | 70 634 8476 | 9743 6830 51 | 0.021 % | c =============================================================================== c New solution: 49925 c Elapsed CPU time: 5.14422 s Remaining CPU time: 174.856 s c =============================================================================== c | 15851 | 70 635 8546 | 5000 6863 51 | 0.021 % | c =============================================================================== c New solution: 49911 c Elapsed CPU time: 5.21521 s Remaining CPU time: 174.785 s c =============================================================================== c | 15851 | 70 636 8616 | 5000 3432 51 | 0.021 % | c =============================================================================== c New solution: 49864 c Elapsed CPU time: 5.21621 s Remaining CPU time: 174.784 s c =============================================================================== c | 15852 | 70 637 8686 | 5000 3433 51 | 0.021 % | c =============================================================================== c New solution: 49689 c Elapsed CPU time: 5.21721 s Remaining CPU time: 174.783 s c =============================================================================== c | 15852 | 70 638 8756 | 5000 3433 51 | 0.021 % | c =============================================================================== c New solution: 49675 c Elapsed CPU time: 5.21821 s Remaining CPU time: 174.782 s c =============================================================================== c | 15852 | 70 639 8826 | 5000 3433 51 | 0.021 % | c | 15952 | 70 639 8826 | 5500 3533 51 | 0.021 % | c | 16102 | 70 639 8826 | 6050 3683 51 | 0.021 % | c | 16328 | 70 639 8826 | 6655 3909 51 | 0.021 % | c | 16668 | 70 639 8826 | 7320 4249 50 | 0.021 % | c | 17174 | 70 639 8826 | 8052 4755 50 | 0.021 % | c | 17937 | 70 639 8826 | 8857 5518 50 | 0.021 % | c | 19079 | 70 639 8826 | 9743 6660 50 | 0.021 % | c | 20787 | 70 639 8826 | 10717 8368 50 | 0.021 % | c | 23350 | 70 639 8826 | 11789 5547 50 | 0.021 % | c | 27194 | 70 639 8826 | 12968 9391 50 | 0.021 % | c =============================================================================== c New solution: 49667 c Elapsed CPU time: 10.6204 s Remaining CPU time: 169.38 s c =============================================================================== c | 29224 | 70 640 8896 | 5000 11421 50 | 0.021 % | c | 29326 | 70 640 8896 | 5500 2958 50 | 0.021 % | c | 29477 | 70 640 8896 | 6050 3109 50 | 0.021 % | c | 29702 | 70 640 8896 | 6655 3334 50 | 0.021 % | c | 30041 | 70 640 8896 | 7320 3673 50 | 0.021 % | c | 30549 | 70 640 8896 | 8052 4181 50 | 0.021 % | c | 31308 | 70 640 8896 | 8857 4940 50 | 0.021 % | c =============================================================================== c New solution: 49576 c Elapsed CPU time: 11.5822 s Remaining CPU time: 168.418 s c =============================================================================== c | 32134 | 70 641 8966 | 5000 5766 50 | 0.021 % | c =============================================================================== c New solution: 49562 c Elapsed CPU time: 11.6202 s Remaining CPU time: 168.38 s c =============================================================================== c | 32134 | 70 642 9036 | 5000 2883 51 | 0.021 % | c | 32234 | 70 642 9036 | 5500 2983 51 | 0.021 % | c | 32384 | 70 642 9036 | 6050 3133 51 | 0.021 % | c | 32609 | 70 642 9036 | 6655 3358 51 | 0.021 % | c | 32946 | 70 642 9036 | 7320 3695 51 | 0.021 % | c =============================================================================== c New solution: 49512 c Elapsed CPU time: 11.9072 s Remaining CPU time: 168.093 s c =============================================================================== c | 33127 | 70 643 9106 | 5000 3876 51 | 0.021 % | c =============================================================================== c New solution: 49407 c Elapsed CPU time: 11.9092 s Remaining CPU time: 168.091 s c =============================================================================== c | 33127 | 70 644 9176 | 5000 3876 51 | 0.021 % | c =============================================================================== c New solution: 49276 c Elapsed CPU time: 11.9332 s Remaining CPU time: 168.067 s c =============================================================================== c | 33213 | 70 645 9246 | 5000 3962 51 | 0.021 % | c | 33313 | 70 645 9246 | 5500 4062 51 | 0.021 % | c | 33464 | 70 645 9246 | 6050 4213 51 | 0.021 % | c =============================================================================== c New solution: 49185 c Elapsed CPU time: 12.0012 s Remaining CPU time: 167.999 s c =============================================================================== c | 33467 | 70 646 9316 | 5000 4216 51 | 0.021 % | c =============================================================================== c New solution: 49171 c Elapsed CPU time: 12.0192 s Remaining CPU time: 167.981 s c =============================================================================== c | 33531 | 70 647 9386 | 5000 4280 51 | 0.021 % | c | 33632 | 70 647 9386 | 5500 4381 51 | 0.021 % | c | 33783 | 70 647 9386 | 6050 4532 51 | 0.021 % | c | 34011 | 70 647 9386 | 6655 4760 51 | 0.021 % | c | 34348 | 70 647 9386 | 7320 5097 50 | 0.021 % | c | 34856 | 70 647 9386 | 8052 5605 50 | 0.021 % | c | 35616 | 70 647 9386 | 8857 6365 50 | 0.021 % | c | 36756 | 70 647 9386 | 9743 7505 50 | 0.021 % | c | 38465 | 70 647 9386 | 10717 9214 50 | 0.021 % | c | 41028 | 70 647 9386 | 11789 6391 49 | 0.021 % | c | 44872 | 70 647 9386 | 12968 10235 49 | 0.021 % | c | 50640 | 70 647 9386 | 14265 9491 49 | 0.021 % | c | 59290 | 70 647 9386 | 15692 10981 49 | 0.021 % | c =============================================================================== c New solution: 49014 c Elapsed CPU time: 29.8995 s Remaining CPU time: 150.101 s c =============================================================================== c | 71121 | 70 648 9456 | 5000 14938 49 | 0.021 % | c =============================================================================== c New solution: 49000 c Elapsed CPU time: 30.1924 s Remaining CPU time: 149.808 s c =============================================================================== c | 71121 | 70 649 9526 | 5000 3735 49 | 0.021 % | c | 71222 | 70 649 9526 | 5500 3836 49 | 0.021 % | c | 71373 | 70 649 9526 | 6050 3987 49 | 0.021 % | c | 71599 | 70 649 9526 | 6655 4213 49 | 0.021 % | c | 71937 | 70 649 9526 | 7320 4551 49 | 0.021 % | c | 72446 | 70 649 9526 | 8052 5060 49 | 0.021 % | c | 73205 | 70 649 9526 | 8857 5819 49 | 0.021 % | c | 74346 | 70 649 9526 | 9743 6960 49 | 0.021 % | c | 76055 | 70 649 9526 | 10717 8669 49 | 0.021 % | c | 78619 | 70 649 9526 | 11789 5847 49 | 0.021 % | c | 82466 | 70 649 9526 | 12968 9694 49 | 0.021 % | c | 88233 | 70 649 9526 | 14265 8949 49 | 0.021 % | c | 96882 | 70 649 9526 | 15692 10441 49 | 0.021 % | c | 109856 | 70 649 9526 | 17261 15540 49 | 0.021 % | c =============================================================================== c New solution: 48903 c Elapsed CPU time: 57.1913 s Remaining CPU time: 122.809 s c =============================================================================== c | 126404 | 70 650 9596 | 5000 14770 49 | 0.021 % | c =============================================================================== c New solution: 48728 c Elapsed CPU time: 57.4543 s Remaining CPU time: 122.546 s c =============================================================================== c | 126404 | 70 651 9666 | 5000 3693 49 | 0.021 % | c =============================================================================== c New solution: 48714 c Elapsed CPU time: 57.4563 s Remaining CPU time: 122.544 s c =============================================================================== c | 126404 | 70 652 9736 | 5000 3693 49 | 0.021 % | c | 126505 | 70 652 9736 | 5500 3794 49 | 0.021 % | c | 126656 | 70 652 9736 | 6050 3945 49 | 0.021 % | c =============================================================================== c New solution: 48623 c Elapsed CPU time: 57.6142 s Remaining CPU time: 122.386 s c =============================================================================== c | 126879 | 70 653 9806 | 5000 4168 49 | 0.021 % | c | 126980 | 70 653 9806 | 5500 4269 49 | 0.021 % | c | 127132 | 70 653 9806 | 6050 4421 49 | 0.021 % | c =============================================================================== c New solution: 48609 c Elapsed CPU time: 57.7562 s Remaining CPU time: 122.244 s c =============================================================================== c | 127279 | 70 654 9876 | 5000 4568 49 | 0.021 % | c | 127380 | 70 654 9876 | 5500 4669 49 | 0.021 % | c | 127530 | 70 654 9876 | 6050 4819 49 | 0.021 % | c | 127757 | 70 654 9876 | 6655 5046 49 | 0.021 % | c | 128097 | 70 654 9876 | 7320 5386 49 | 0.021 % | c | 128603 | 70 654 9876 | 8052 5892 49 | 0.021 % | c | 129362 | 70 654 9876 | 8857 6651 49 | 0.021 % | c | 130502 | 70 654 9876 | 9743 7791 49 | 0.021 % | c | 132210 | 70 654 9876 | 10717 9499 49 | 0.021 % | c | 134772 | 70 654 9876 | 11789 6676 48 | 0.021 % | c | 138618 | 70 654 9876 | 12968 10522 49 | 0.021 % | c | 144384 | 70 654 9876 | 14265 9777 49 | 0.021 % | c | 153034 | 70 654 9876 | 15692 11268 48 | 0.021 % | c | 166010 | 70 654 9876 | 17261 8499 49 | 0.021 % | c =============================================================================== c Total CPU time: 89.2104 s