c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 600 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 600 | c | Number Clauses: 600 | 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 | 600 600 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 600 601 2800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 600 602 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 600 603 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 604 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 600 605 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 600 606 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 600 607 5800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 600 608 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 600 609 6800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 600 610 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 600 611 7800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 600 612 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 600 613 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 600 614 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 600 615 9800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 600 616 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 600 617 10800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 2 | 600 618 11300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 2 | 600 619 11800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 2 | 600 620 12300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 2 | 600 621 12800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 2 | 600 622 13300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 2 | 600 623 13800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 2 | 600 624 14300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 2 | 600 625 14800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 2 | 600 626 15300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 2 | 600 627 15800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 2 | 600 628 16300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 2 | 600 629 16800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 2 | 600 630 17300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 2 | 600 631 17800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 2 | 600 632 18300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 2 | 600 633 18800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 2 | 600 634 19300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 2 | 600 635 19800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 2 | 600 636 20300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 2 | 600 637 20800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 2 | 600 638 21300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 2 | 600 639 21800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 2 | 600 640 22300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 2 | 600 641 22800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 2 | 600 642 23300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 2 | 600 643 23800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 2 | 600 644 24300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 2 | 600 645 24800 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 2 | 600 646 25300 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 3 | 600 647 25800 | 5000 3 155 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 3 | 600 648 26300 | 5000 3 155 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 3 | 600 649 26800 | 5000 3 155 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 3 | 600 650 27300 | 5000 3 155 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 4 | 600 651 27800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 4 | 600 652 28300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 4 | 600 653 28800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 4 | 600 654 29300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 5 | 600 655 29800 | 5000 5 94 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 6 | 600 656 30300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 6 | 600 657 30800 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 6 | 600 658 31300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 6 | 600 659 31800 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 6 | 600 660 32300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 6 | 600 661 32800 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 6 | 600 662 33300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 7 | 600 663 33800 | 5000 7 69 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 7 | 600 664 34300 | 5000 7 69 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 7 | 600 665 34800 | 5000 7 69 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 7 | 600 666 35300 | 5000 7 69 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 7 | 600 667 35800 | 5000 7 69 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 8 | 600 668 36300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 8 | 600 669 36800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 8 | 600 670 37300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 8 | 600 671 37800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 8 | 600 672 38300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 8 | 600 673 38800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 8 | 600 674 39300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 8 | 600 675 39800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 8 | 600 676 40300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 8 | 600 677 40800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 8 | 600 678 41300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 8 | 600 679 41800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 8 | 600 680 42300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 8 | 600 681 42800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 8 | 600 682 43300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 9 | 600 683 43800 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 9 | 600 684 44300 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 10 | 600 685 44800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 10 | 600 686 45300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 10 | 600 687 45800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 10 | 600 688 46300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 10 | 600 689 46800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 12 | 600 690 47300 | 5000 12 78 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 12 | 600 691 47800 | 5000 12 78 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 12 | 600 692 48300 | 5000 12 78 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 12 | 600 693 48800 | 5000 12 78 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 12 | 600 694 49300 | 5000 12 78 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 12 | 600 695 49800 | 5000 12 78 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 12 | 600 696 50300 | 5000 12 78 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 13 | 600 697 50800 | 5000 13 73 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 13 | 600 698 51300 | 5000 13 73 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 13 | 600 699 51800 | 5000 13 73 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 13 | 600 700 52300 | 5000 13 73 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 13 | 600 701 52800 | 5000 13 73 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 14 | 600 702 53300 | 5000 14 68 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 15 | 600 703 53800 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 15 | 600 704 54300 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 15 | 600 705 54800 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 15 | 600 706 55300 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 15 | 600 707 55800 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 15 | 600 708 56300 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 15 | 600 709 56800 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 15 | 600 710 57300 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 15 | 600 711 57800 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 15 | 600 712 58300 | 5000 15 64 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 16 | 600 713 58800 | 5000 16 60 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 17 | 600 714 59300 | 5000 17 57 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 17 | 600 715 59800 | 5000 17 57 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 17 | 600 716 60300 | 5000 17 57 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 18 | 600 717 60800 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 18 | 600 718 61300 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 18 | 600 719 61800 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 18 | 600 720 62300 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 18 | 600 721 62800 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 18 | 600 722 63300 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 18 | 600 723 63800 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 19 | 600 724 64300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 19 | 600 725 64800 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 19 | 600 726 65300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 19 | 600 727 65800 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 19 | 600 728 66300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 19 | 600 729 66800 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 19 | 600 730 67300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s c =============================================================================== c | 19 | 600 731 67800 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 19 | 600 732 68300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 19 | 600 733 68800 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 19 | 600 734 69300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 19 | 600 735 69800 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 19 | 600 736 70300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.952855 s Remaining CPU time: 179.047 s c =============================================================================== c | 19 | 600 737 70800 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 19 | 600 738 71300 | 5000 19 72 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 20 | 600 739 71800 | 5000 20 69 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 20 | 600 740 72300 | 5000 20 69 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 22 | 600 741 72800 | 5000 22 64 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 23 | 600 742 73300 | 5000 23 77 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 24 | 600 743 73800 | 5000 24 89 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 24 | 600 744 74300 | 5000 24 89 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.08483 s Remaining CPU time: 178.915 s c =============================================================================== c | 24 | 600 745 74800 | 5000 24 89 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 24 | 600 746 75300 | 5000 24 89 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 24 | 600 747 75800 | 5000 24 89 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 25 | 600 748 76300 | 5000 25 99 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 26 | 600 749 76800 | 5000 26 96 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.17082 s Remaining CPU time: 178.829 s c =============================================================================== c | 27 | 600 750 77300 | 5000 27 105 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 28 | 600 751 77800 | 5000 28 114 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 29 | 600 752 78300 | 5000 29 123 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s c =============================================================================== c | 30 | 600 753 78800 | 5000 30 130 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.24381 s Remaining CPU time: 178.756 s c =============================================================================== c | 31 | 600 754 79300 | 5000 31 137 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 32 | 600 755 79800 | 5000 32 144 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 33 | 600 756 80300 | 5000 33 150 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.3018 s Remaining CPU time: 178.698 s c =============================================================================== c | 33 | 600 757 80800 | 5000 33 150 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.3198 s Remaining CPU time: 178.68 s c =============================================================================== c | 33 | 600 758 81300 | 5000 33 150 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 34 | 600 759 81800 | 5000 34 146 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s c =============================================================================== c | 36 | 600 760 82300 | 5000 36 148 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.37879 s Remaining CPU time: 178.621 s c =============================================================================== c | 40 | 600 761 82800 | 5000 40 143 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 40 | 600 762 83300 | 5000 40 143 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 40 | 600 763 83800 | 5000 40 143 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.43978 s Remaining CPU time: 178.56 s c =============================================================================== c | 41 | 600 764 84300 | 5000 41 140 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 42 | 600 765 84800 | 5000 42 136 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 43 | 600 766 85300 | 5000 43 134 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 43 | 600 767 85800 | 5000 43 134 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 44 | 600 768 86300 | 5000 44 131 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 1.54377 s Remaining CPU time: 178.456 s c =============================================================================== c | 44 | 600 769 86800 | 5000 44 131 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 44 | 600 770 87300 | 5000 44 131 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 1.58376 s Remaining CPU time: 178.416 s c =============================================================================== c | 44 | 600 771 87800 | 5000 44 131 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 47 | 600 772 88300 | 5000 47 123 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 1.62575 s Remaining CPU time: 178.374 s c =============================================================================== c | 51 | 600 773 88800 | 5000 51 116 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 52 | 600 774 89300 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 52 | 600 775 89800 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 1.69074 s Remaining CPU time: 178.309 s c =============================================================================== c | 52 | 600 776 90300 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 1.71174 s Remaining CPU time: 178.288 s c =============================================================================== c | 52 | 600 777 90800 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 52 | 600 778 91300 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 52 | 600 779 91800 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 52 | 600 780 92300 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 52 | 600 781 92800 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 1.82072 s Remaining CPU time: 178.179 s c =============================================================================== c | 52 | 600 782 93300 | 5000 52 120 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 1.84472 s Remaining CPU time: 178.155 s c =============================================================================== c | 57 | 600 783 93800 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 1.86672 s Remaining CPU time: 178.133 s c =============================================================================== c | 57 | 600 784 94300 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 57 | 600 785 94800 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 57 | 600 786 95300 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s c =============================================================================== c | 57 | 600 787 95800 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s c =============================================================================== c | 57 | 600 788 96300 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 57 | 600 789 96800 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 57 | 600 790 97300 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 2.02669 s Remaining CPU time: 177.973 s c =============================================================================== c | 57 | 600 791 97800 | 5000 57 138 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 2.05069 s Remaining CPU time: 177.949 s c =============================================================================== c | 59 | 600 792 98300 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 59 | 600 793 98800 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 2.09768 s Remaining CPU time: 177.902 s c =============================================================================== c | 59 | 600 794 99300 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 2.12068 s Remaining CPU time: 177.879 s c =============================================================================== c | 59 | 600 795 99800 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 2.14467 s Remaining CPU time: 177.855 s c =============================================================================== c | 59 | 600 796 100300 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 2.16967 s Remaining CPU time: 177.83 s c =============================================================================== c | 59 | 600 797 100800 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 2.19367 s Remaining CPU time: 177.806 s c =============================================================================== c | 59 | 600 798 101300 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 2.21866 s Remaining CPU time: 177.781 s c =============================================================================== c | 59 | 600 799 101800 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 2.24366 s Remaining CPU time: 177.756 s c =============================================================================== c | 59 | 600 800 102300 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s c =============================================================================== c | 59 | 600 801 102800 | 5000 59 133 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 60 | 600 802 103300 | 5000 60 131 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 2.31765 s Remaining CPU time: 177.682 s c =============================================================================== c | 60 | 600 803 103800 | 5000 60 131 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 2.34364 s Remaining CPU time: 177.656 s c =============================================================================== c | 60 | 600 804 104300 | 5000 60 131 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 2.36864 s Remaining CPU time: 177.631 s c =============================================================================== c | 60 | 600 805 104800 | 5000 60 131 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 2.39464 s Remaining CPU time: 177.605 s c =============================================================================== c | 61 | 600 806 105300 | 5000 61 129 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 2.41863 s Remaining CPU time: 177.581 s c =============================================================================== c | 61 | 600 807 105800 | 5000 61 129 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 2.44463 s Remaining CPU time: 177.555 s c =============================================================================== c | 63 | 600 808 106300 | 5000 63 125 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 2.47162 s Remaining CPU time: 177.528 s c =============================================================================== c | 85 | 600 809 106800 | 5000 85 106 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 2.50762 s Remaining CPU time: 177.492 s c =============================================================================== c | 97 | 600 810 107300 | 5000 97 130 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 2.53561 s Remaining CPU time: 177.464 s c =============================================================================== c | 98 | 600 811 107800 | 5000 98 128 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 2.56361 s Remaining CPU time: 177.436 s c =============================================================================== c | 99 | 600 812 108300 | 5000 99 127 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 101 | 600 813 108800 | 5000 101 125 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.6196 s Remaining CPU time: 177.38 s c =============================================================================== c | 103 | 600 814 109300 | 5000 103 123 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.6486 s Remaining CPU time: 177.351 s c =============================================================================== c | 104 | 600 815 109800 | 5000 104 122 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.67659 s Remaining CPU time: 177.323 s c =============================================================================== c | 105 | 600 816 110300 | 5000 105 121 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.70459 s Remaining CPU time: 177.295 s c =============================================================================== c | 105 | 600 817 110800 | 5000 105 121 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s c =============================================================================== c | 106 | 600 818 111300 | 5000 106 120 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 2.76058 s Remaining CPU time: 177.239 s c =============================================================================== c | 110 | 600 819 111800 | 5000 110 116 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 2.78858 s Remaining CPU time: 177.211 s c =============================================================================== c | 112 | 600 820 112300 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.81757 s Remaining CPU time: 177.182 s c =============================================================================== c | 112 | 600 821 112800 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.84757 s Remaining CPU time: 177.152 s c =============================================================================== c | 112 | 600 822 113300 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.87556 s Remaining CPU time: 177.124 s c =============================================================================== c | 113 | 600 823 113800 | 5000 113 115 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.90556 s Remaining CPU time: 177.094 s c =============================================================================== c | 115 | 600 824 114300 | 5000 115 114 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.93355 s Remaining CPU time: 177.066 s c =============================================================================== c | 119 | 600 825 114800 | 5000 119 119 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 2.96355 s Remaining CPU time: 177.036 s c =============================================================================== c | 120 | 600 826 115300 | 5000 120 118 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 2.99354 s Remaining CPU time: 177.006 s c =============================================================================== c | 121 | 600 827 115800 | 5000 121 118 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 3.02354 s Remaining CPU time: 176.976 s c =============================================================================== c | 123 | 600 828 116300 | 5000 123 116 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 3.05354 s Remaining CPU time: 176.946 s c =============================================================================== c | 125 | 600 829 116800 | 5000 125 114 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 3.08453 s Remaining CPU time: 176.915 s c =============================================================================== c | 128 | 600 830 117300 | 5000 128 118 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 3.11453 s Remaining CPU time: 176.885 s c =============================================================================== c | 128 | 600 831 117800 | 5000 128 118 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 3.14452 s Remaining CPU time: 176.855 s c =============================================================================== c | 128 | 600 832 118300 | 5000 128 118 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 3.17452 s Remaining CPU time: 176.825 s c =============================================================================== c | 129 | 600 833 118800 | 5000 129 119 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 3.20451 s Remaining CPU time: 176.795 s c =============================================================================== c | 129 | 600 834 119300 | 5000 129 119 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 3.23551 s Remaining CPU time: 176.764 s c =============================================================================== c | 133 | 600 835 119800 | 5000 133 116 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s c =============================================================================== c | 133 | 600 836 120300 | 5000 133 116 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 3.2965 s Remaining CPU time: 176.704 s c =============================================================================== c | 134 | 600 837 120800 | 5000 134 117 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 3.32649 s Remaining CPU time: 176.674 s c =============================================================================== c | 134 | 600 838 121300 | 5000 134 117 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 3.35649 s Remaining CPU time: 176.644 s c =============================================================================== c | 135 | 600 839 121800 | 5000 135 117 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 3.38748 s Remaining CPU time: 176.613 s c =============================================================================== c | 136 | 600 840 122300 | 5000 136 118 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 3.41848 s Remaining CPU time: 176.582 s c =============================================================================== c | 152 | 600 841 122800 | 5000 152 108 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 3.49547 s Remaining CPU time: 176.505 s c =============================================================================== c | 234 | 600 842 123300 | 5000 234 164 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 3.52646 s Remaining CPU time: 176.474 s c =============================================================================== c | 234 | 600 843 123800 | 5000 234 164 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 3.55546 s Remaining CPU time: 176.445 s c =============================================================================== c | 254 | 600 844 124300 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 254 | 600 845 124800 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 3.61745 s Remaining CPU time: 176.383 s c =============================================================================== c | 254 | 600 846 125300 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 3.64845 s Remaining CPU time: 176.352 s c =============================================================================== c | 254 | 600 847 125800 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 254 | 600 848 126300 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 3.70844 s Remaining CPU time: 176.292 s c =============================================================================== c | 254 | 600 849 126800 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 3.73843 s Remaining CPU time: 176.262 s c =============================================================================== c | 254 | 600 850 127300 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 3.77043 s Remaining CPU time: 176.23 s c =============================================================================== c | 254 | 600 851 127800 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.80042 s Remaining CPU time: 176.2 s c =============================================================================== c | 254 | 600 852 128300 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 3.83242 s Remaining CPU time: 176.168 s c =============================================================================== c | 254 | 600 853 128800 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 3.86341 s Remaining CPU time: 176.137 s c =============================================================================== c | 254 | 600 854 129300 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 3.89541 s Remaining CPU time: 176.105 s c =============================================================================== c | 254 | 600 855 129800 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 3.9264 s Remaining CPU time: 176.074 s c =============================================================================== c | 254 | 600 856 130300 | 5000 254 152 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 3.9584 s Remaining CPU time: 176.042 s c =============================================================================== c | 255 | 600 857 130800 | 5000 255 153 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 3.98939 s Remaining CPU time: 176.011 s c =============================================================================== c | 255 | 600 858 131300 | 5000 255 153 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 4.02139 s Remaining CPU time: 175.979 s c =============================================================================== c | 255 | 600 859 131800 | 5000 255 153 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 4.05338 s Remaining CPU time: 175.947 s c =============================================================================== c | 255 | 600 860 132300 | 5000 255 153 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 4.08438 s Remaining CPU time: 175.916 s c =============================================================================== c | 255 | 600 861 132800 | 5000 255 153 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 4.11637 s Remaining CPU time: 175.884 s c =============================================================================== c | 257 | 600 862 133300 | 5000 257 152 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 4.14937 s Remaining CPU time: 175.851 s c =============================================================================== c | 257 | 600 863 133800 | 5000 257 152 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 4.18036 s Remaining CPU time: 175.82 s c =============================================================================== c | 257 | 600 864 134300 | 5000 257 152 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 4.21236 s Remaining CPU time: 175.788 s c =============================================================================== c | 257 | 600 865 134800 | 5000 257 152 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 4.24435 s Remaining CPU time: 175.756 s c =============================================================================== c | 257 | 600 866 135300 | 5000 257 152 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 4.27835 s Remaining CPU time: 175.722 s c =============================================================================== c | 265 | 600 867 135800 | 5000 265 154 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 4.31234 s Remaining CPU time: 175.688 s c =============================================================================== c | 288 | 600 868 136300 | 5000 288 144 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 4.37533 s Remaining CPU time: 175.625 s c =============================================================================== c | 315 | 600 869 136800 | 5000 315 151 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 4.40733 s Remaining CPU time: 175.593 s c =============================================================================== c | 319 | 600 870 137300 | 5000 319 149 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 4.43832 s Remaining CPU time: 175.562 s c =============================================================================== c | 331 | 600 871 137800 | 5000 331 145 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 4.46932 s Remaining CPU time: 175.531 s c =============================================================================== c | 334 | 600 872 138300 | 5000 334 144 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 4.50232 s Remaining CPU time: 175.498 s c =============================================================================== c | 340 | 600 873 138800 | 5000 340 144 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 4.53431 s Remaining CPU time: 175.466 s c =============================================================================== c | 341 | 600 874 139300 | 5000 341 143 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 4.5663 s Remaining CPU time: 175.434 s c =============================================================================== c | 343 | 600 875 139800 | 5000 343 144 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 4.5983 s Remaining CPU time: 175.402 s c =============================================================================== c | 349 | 600 876 140300 | 5000 349 142 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 4.63429 s Remaining CPU time: 175.366 s c =============================================================================== c | 361 | 600 877 140800 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 4.66629 s Remaining CPU time: 175.334 s c =============================================================================== c | 361 | 600 878 141300 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 4.69728 s Remaining CPU time: 175.303 s c =============================================================================== c | 361 | 600 879 141800 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 4.72728 s Remaining CPU time: 175.273 s c =============================================================================== c | 361 | 600 880 142300 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 4.75928 s Remaining CPU time: 175.241 s c =============================================================================== c | 361 | 600 881 142800 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 4.79127 s Remaining CPU time: 175.209 s c =============================================================================== c | 361 | 600 882 143300 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 4.82327 s Remaining CPU time: 175.177 s c =============================================================================== c | 361 | 600 883 143800 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 4.85426 s Remaining CPU time: 175.146 s c =============================================================================== c | 361 | 600 884 144300 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 4.88526 s Remaining CPU time: 175.115 s c =============================================================================== c | 361 | 600 885 144800 | 5000 361 144 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 4.91725 s Remaining CPU time: 175.083 s c =============================================================================== c | 362 | 600 886 145300 | 5000 362 144 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 4.95025 s Remaining CPU time: 175.05 s c =============================================================================== c | 375 | 600 887 145800 | 5000 375 140 | 0.000 % | c | 476 | 600 887 145800 | 5500 476 157 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 5.06123 s Remaining CPU time: 174.939 s c =============================================================================== c | 476 | 600 888 146300 | 5000 476 157 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 5.09323 s Remaining CPU time: 174.907 s c =============================================================================== c | 481 | 600 889 146800 | 5000 481 156 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 5.12522 s Remaining CPU time: 174.875 s c =============================================================================== c | 485 | 600 890 147300 | 5000 485 155 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 5.15721 s Remaining CPU time: 174.843 s c =============================================================================== c | 493 | 600 891 147800 | 5000 493 153 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 5.18821 s Remaining CPU time: 174.812 s c =============================================================================== c | 494 | 600 892 148300 | 5000 494 153 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 5.21921 s Remaining CPU time: 174.781 s c =============================================================================== c | 494 | 600 893 148800 | 5000 494 153 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 5.2512 s Remaining CPU time: 174.749 s c =============================================================================== c | 495 | 600 894 149300 | 5000 495 153 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 5.2832 s Remaining CPU time: 174.717 s c =============================================================================== c | 495 | 600 895 149800 | 5000 495 153 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 5.31419 s Remaining CPU time: 174.686 s c =============================================================================== c | 495 | 600 896 150300 | 5000 495 153 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 5.34519 s Remaining CPU time: 174.655 s c =============================================================================== c | 495 | 600 897 150800 | 5000 495 153 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 5.37718 s Remaining CPU time: 174.623 s c =============================================================================== c | 500 | 600 898 151300 | 5000 500 152 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 5.40918 s Remaining CPU time: 174.591 s c =============================================================================== c | 501 | 600 899 151800 | 5000 501 152 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 5.44117 s Remaining CPU time: 174.559 s c =============================================================================== c | 501 | 600 900 152300 | 5000 501 152 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 5.47317 s Remaining CPU time: 174.527 s c =============================================================================== c | 502 | 600 901 152800 | 5000 502 152 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 5.50516 s Remaining CPU time: 174.495 s c =============================================================================== c | 502 | 600 902 153300 | 5000 502 152 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 5.53616 s Remaining CPU time: 174.464 s c =============================================================================== c | 502 | 600 903 153800 | 5000 502 152 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 5.56815 s Remaining CPU time: 174.432 s c =============================================================================== c | 503 | 600 904 154300 | 5000 503 152 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 5.60715 s Remaining CPU time: 174.393 s c =============================================================================== c | 533 | 600 905 154800 | 5000 533 150 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 5.63914 s Remaining CPU time: 174.361 s c =============================================================================== c | 546 | 600 906 155300 | 5000 546 147 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 546 | 600 907 155800 | 5000 546 147 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 5.70413 s Remaining CPU time: 174.296 s c =============================================================================== c | 547 | 600 908 156300 | 5000 547 147 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 5.73613 s Remaining CPU time: 174.264 s c =============================================================================== c | 547 | 600 909 156800 | 5000 547 147 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 5.76712 s Remaining CPU time: 174.233 s c =============================================================================== c | 547 | 600 910 157300 | 5000 547 147 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 5.79912 s Remaining CPU time: 174.201 s c =============================================================================== c | 548 | 600 911 157800 | 5000 548 147 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 5.83211 s Remaining CPU time: 174.168 s c =============================================================================== c | 549 | 600 912 158300 | 5000 549 147 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 5.86311 s Remaining CPU time: 174.137 s c =============================================================================== c | 553 | 600 913 158800 | 5000 553 147 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 5.8941 s Remaining CPU time: 174.106 s c =============================================================================== c | 556 | 600 914 159300 | 5000 556 146 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 5.9261 s Remaining CPU time: 174.074 s c =============================================================================== c | 560 | 600 915 159800 | 5000 560 145 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 5.96009 s Remaining CPU time: 174.04 s c =============================================================================== c | 570 | 600 916 160300 | 5000 570 146 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 5.99309 s Remaining CPU time: 174.007 s c =============================================================================== c | 570 | 600 917 160800 | 5000 570 146 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 6.02508 s Remaining CPU time: 173.975 s c =============================================================================== c | 570 | 600 918 161300 | 5000 570 146 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 6.05608 s Remaining CPU time: 173.944 s c =============================================================================== c | 571 | 600 919 161800 | 5000 571 146 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 6.08807 s Remaining CPU time: 173.912 s c =============================================================================== c | 573 | 600 920 162300 | 5000 573 145 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 6.12007 s Remaining CPU time: 173.88 s c =============================================================================== c | 574 | 600 921 162800 | 5000 574 145 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 6.15006 s Remaining CPU time: 173.85 s c =============================================================================== c | 575 | 600 922 163300 | 5000 575 145 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 6.18206 s Remaining CPU time: 173.818 s c =============================================================================== c | 576 | 600 923 163800 | 5000 576 145 | 0.000 % | c | 676 | 600 923 163800 | 5500 676 150 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 6.27705 s Remaining CPU time: 173.723 s c =============================================================================== c | 678 | 600 924 164300 | 5000 678 149 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 6.30904 s Remaining CPU time: 173.691 s c =============================================================================== c | 681 | 600 925 164800 | 5000 681 149 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 6.34004 s Remaining CPU time: 173.66 s c =============================================================================== c | 688 | 600 926 165300 | 5000 688 148 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 6.37203 s Remaining CPU time: 173.628 s c =============================================================================== c | 688 | 600 927 165800 | 5000 688 148 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 6.40203 s Remaining CPU time: 173.598 s c =============================================================================== c | 688 | 600 928 166300 | 5000 688 148 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 6.43402 s Remaining CPU time: 173.566 s c =============================================================================== c | 689 | 600 929 166800 | 5000 689 147 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 6.46502 s Remaining CPU time: 173.535 s c =============================================================================== c | 690 | 600 930 167300 | 5000 690 147 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 6.49601 s Remaining CPU time: 173.504 s c =============================================================================== c | 691 | 600 931 167800 | 5000 691 147 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 6.52801 s Remaining CPU time: 173.472 s c =============================================================================== c | 691 | 600 932 168300 | 5000 691 147 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 6.56 s Remaining CPU time: 173.44 s c =============================================================================== c | 694 | 600 933 168800 | 5000 694 147 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 6.592 s Remaining CPU time: 173.408 s c =============================================================================== c | 696 | 600 934 169300 | 5000 696 147 | 0.000 % | c | 796 | 600 934 169300 | 5500 796 151 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 6.69598 s Remaining CPU time: 173.304 s c =============================================================================== c | 826 | 600 935 169800 | 5000 826 151 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 6.72798 s Remaining CPU time: 173.272 s c =============================================================================== c | 831 | 600 936 170300 | 5000 831 150 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 6.75997 s Remaining CPU time: 173.24 s c =============================================================================== c | 856 | 600 937 170800 | 5000 856 146 | 0.000 % | c | 956 | 600 937 170800 | 5500 956 149 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 6.91895 s Remaining CPU time: 173.081 s c =============================================================================== c | 1053 | 600 938 171300 | 5000 1053 139 | 0.000 % | c | 1153 | 600 938 171300 | 5500 1153 142 | 0.000 % | c | 1303 | 600 938 171300 | 6050 1303 142 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 7.29889 s Remaining CPU time: 172.701 s c =============================================================================== c | 1491 | 600 939 171800 | 5000 1491 143 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 7.33289 s Remaining CPU time: 172.667 s c =============================================================================== c | 1562 | 600 940 172300 | 5000 1562 138 | 0.000 % | c | 1662 | 600 940 172300 | 5500 1662 140 | 0.000 % | c | 1812 | 600 940 172300 | 6050 1812 138 | 0.000 % | c | 2037 | 600 940 172300 | 6655 2037 127 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 7.75682 s Remaining CPU time: 172.243 s c =============================================================================== c | 2102 | 600 941 172800 | 5000 2102 128 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 7.79082 s Remaining CPU time: 172.209 s c =============================================================================== c | 2162 | 600 942 173300 | 5000 2162 125 | 0.000 % | c | 2262 | 600 942 173300 | 5500 2262 127 | 0.000 % | c | 2412 | 600 942 173300 | 6050 2412 125 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 8.04478 s Remaining CPU time: 171.955 s c =============================================================================== c | 2439 | 600 943 173800 | 5000 2439 124 | 0.000 % | c | 2539 | 600 943 173800 | 5500 2539 125 | 0.000 % | c | 2690 | 600 943 173800 | 6050 2690 120 | 0.000 % | c | 2915 | 600 943 173800 | 6655 2915 124 | 0.000 % | c | 3252 | 600 943 173800 | 7320 3252 125 | 0.000 % | c | 3758 | 600 943 173800 | 8052 3758 116 | 0.000 % | c | 4517 | 600 943 173800 | 8857 4517 123 | 0.000 % | c | 5656 | 600 943 173800 | 9743 5656 126 | 0.000 % | c | 7364 | 600 943 173800 | 10717 7364 133 | 0.000 % | c | 9926 | 600 943 173800 | 11789 9926 139 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 14.0699 s Remaining CPU time: 165.93 s c =============================================================================== c | 11167 | 600 944 174300 | 5000 11167 141 | 0.000 % | c | 11267 | 600 944 174300 | 5500 2892 137 | 0.000 % | c | 11417 | 600 944 174300 | 6050 3042 138 | 0.000 % | c | 11642 | 600 944 174300 | 6655 3267 137 | 0.000 % | c | 11979 | 600 944 174300 | 7320 3604 128 | 0.000 % | c | 12486 | 600 944 174300 | 8052 4111 133 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 15.3907 s Remaining CPU time: 164.609 s c =============================================================================== c | 13208 | 600 945 174800 | 5000 4833 131 | 0.000 % | c | 13308 | 600 945 174800 | 5500 4933 131 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 15.5106 s Remaining CPU time: 164.489 s c =============================================================================== c | 13393 | 600 946 175300 | 5000 5018 130 | 0.000 % | c | 13494 | 600 946 175300 | 5500 2610 112 | 0.000 % | c | 13644 | 600 946 175300 | 6050 2760 108 | 0.000 % | c | 13869 | 600 946 175300 | 6655 2985 112 | 0.000 % | c | 14206 | 600 946 175300 | 7320 3322 114 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 16.2795 s Remaining CPU time: 163.72 s c =============================================================================== c | 14425 | 600 947 175800 | 5000 3541 110 | 0.000 % | c | 14525 | 600 947 175800 | 5500 3641 112 | 0.000 % | c | 14675 | 600 947 175800 | 6050 3791 109 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 16.5265 s Remaining CPU time: 163.474 s c =============================================================================== c | 14724 | 600 948 176300 | 5000 3840 109 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 16.5595 s Remaining CPU time: 163.441 s c =============================================================================== c | 14793 | 600 949 176800 | 5000 3909 108 | 0.000 % | c | 14893 | 600 949 176800 | 5500 4009 109 | 0.000 % | c | 15043 | 600 949 176800 | 6050 4159 107 | 0.000 % | c | 15270 | 600 949 176800 | 6655 4386 109 | 0.000 % | c | 15607 | 600 949 176800 | 7320 4723 109 | 0.000 % | c | 16113 | 600 949 176800 | 8052 5229 112 | 0.000 % | c | 16874 | 600 949 176800 | 8857 5990 114 | 0.000 % | c | 18013 | 600 949 176800 | 9743 7129 119 | 0.000 % | c | 19723 | 600 949 176800 | 10717 8839 127 | 0.000 % | c | 22285 | 600 949 176800 | 11789 5956 147 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 22.5376 s Remaining CPU time: 157.462 s c =============================================================================== c | 22574 | 600 950 177300 | 5000 6245 146 | 0.000 % | c | 22674 | 600 950 177300 | 5500 3223 138 | 0.000 % | c | 22824 | 600 950 177300 | 6050 3373 139 | 0.000 % | c | 23049 | 600 950 177300 | 6655 3598 140 | 0.000 % | c | 23389 | 600 950 177300 | 7320 3938 140 | 0.000 % | c | 23895 | 600 950 177300 | 8052 4444 138 | 0.000 % | c | 24654 | 600 950 177300 | 8857 5203 141 | 0.000 % | c | 25793 | 600 950 177300 | 9743 6342 142 | 0.000 % | c | 27501 | 600 950 177300 | 10717 8050 145 | 0.000 % | c | 30064 | 600 950 177300 | 11789 10613 147 | 0.000 % | c | 33908 | 600 950 177300 | 12968 8474 148 | 0.000 % | c | 39674 | 600 950 177300 | 14265 7671 149 | 0.000 % | c | 48324 | 600 950 177300 | 15692 9094 151 | 0.000 % | c | 61298 | 600 950 177300 | 17261 14134 154 | 0.000 % | c | 80759 | 600 950 177300 | 18987 16151 157 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 83.8972 s Remaining CPU time: 96.1028 s c =============================================================================== c | 105786 | 600 951 177800 | 5000 12436 159 | 0.000 % | c | 105886 | 600 951 177800 | 5500 3209 148 | 0.000 % | c | 106036 | 600 951 177800 | 6050 3359 145 | 0.000 % | c | 106261 | 600 951 177800 | 6655 3584 145 | 0.000 % | c | 106599 | 600 951 177800 | 7320 3922 145 | 0.000 % | c | 107108 | 600 951 177800 | 8052 4431 147 | 0.000 % | c | 107867 | 600 951 177800 | 8857 5190 148 | 0.000 % | c | 109007 | 600 951 177800 | 9743 6330 145 | 0.000 % | c | 110715 | 600 951 177800 | 10717 8038 148 | 0.000 % | c | 113279 | 600 951 177800 | 11789 10602 150 | 0.000 % | c | 117123 | 600 951 177800 | 12968 8468 149 | 0.000 % | c | 122889 | 600 951 177800 | 14265 7665 149 | 0.000 % | c | 131540 | 600 951 177800 | 15692 9106 153 | 0.000 % | c | 144515 | 600 951 177800 | 17261 14149 155 | 0.000 % | c | 163976 | 600 951 177800 | 18987 16171 160 | 0.000 % | c | 193168 | 600 951 177800 | 20886 16621 157 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 145.673 s Remaining CPU time: 34.3271 s c =============================================================================== c | 195971 | 600 952 178300 | 5000 19424 156 | 0.000 % | c | 196071 | 600 952 178300 | 5500 4956 145 | 0.000 % | c | 196221 | 600 952 178300 | 6050 5106 143 | 0.000 % | c | 196446 | 600 952 178300 | 6655 5331 143 | 0.000 % | c | 196783 | 600 952 178300 | 7320 5668 138 | 0.000 % | c | 197289 | 600 952 178300 | 8052 6174 139 | 0.000 % | c | 198048 | 600 952 178300 | 8857 6933 134 | 0.000 % | c | 199189 | 600 952 178300 | 9743 8074 135 | 0.000 % | c | 200897 | 600 952 178300 | 10717 9782 138 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 150.07 s Remaining CPU time: 29.9298 s c =============================================================================== c | 202099 | 600 953 178800 | 5000 5525 132 | 0.000 % | c | 202199 | 600 953 178800 | 5500 2863 131 | 0.000 % | c | 202349 | 600 953 178800 | 6050 3013 132 | 0.000 % | c | 202574 | 600 953 178800 | 6655 3238 127 | 0.000 % | c | 202911 | 600 953 178800 | 7320 3575 130 | 0.000 % | c | 203417 | 600 953 178800 | 8052 4081 132 | 0.000 % | c | 204176 | 600 953 178800 | 8857 4840 130 | 0.000 % | c | 205315 | 600 953 178800 | 9743 5979 134 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 152.987 s Remaining CPU time: 27.0133 s c =============================================================================== c | 206207 | 600 954 179300 | 5000 6871 135 | 0.000 % | c | 206307 | 600 954 179300 | 5500 3536 127 | 0.000 % | c | 206457 | 600 954 179300 | 6050 3686 128 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 153.216 s Remaining CPU time: 26.7843 s c =============================================================================== c | 206565 | 600 955 179800 | 5000 3794 126 | 0.000 % | c | 206666 | 600 955 179800 | 5500 3895 127 | 0.000 % | c | 206816 | 600 955 179800 | 6050 4045 127 | 0.000 % | c | 207041 | 600 955 179800 | 6655 4270 128 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 153.709 s Remaining CPU time: 26.2914 s c =============================================================================== c | 207130 | 600 956 180300 | 5000 4359 126 | 0.000 % | c | 207230 | 600 956 180300 | 5500 4459 127 | 0.000 % | c | 207380 | 600 956 180300 | 6050 4609 125 | 0.000 % | c | 207605 | 600 956 180300 | 6655 4834 121 | 0.000 % | c | 207943 | 600 956 180300 | 7320 5172 123 | 0.000 % | c | 208450 | 600 956 180300 | 8052 5679 124 | 0.000 % | c | 209209 | 600 956 180300 | 8857 6438 126 | 0.000 % | c | 210349 | 600 956 180300 | 9743 7578 126 | 0.000 % | c | 212057 | 600 956 180300 | 10717 9286 128 | 0.000 % | c | 214619 | 600 956 180300 | 11789 6406 137 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 161.702 s Remaining CPU time: 18.2976 s c =============================================================================== c | 218225 | 600 957 180800 | 5000 10012 141 | 0.000 % | c | 218325 | 600 957 180800 | 5500 2603 131 | 0.000 % | c | 218477 | 600 957 180800 | 6050 2755 131 | 0.000 % | c | 218702 | 600 957 180800 | 6655 2980 128 | 0.000 % | c | 219039 | 600 957 180800 | 7320 3317 129 | 0.000 % | c | 219545 | 600 957 180800 | 8052 3823 132 | 0.000 % | c | 220304 | 600 957 180800 | 8857 4582 132 | 0.000 % | c | 221445 | 600 957 180800 | 9743 5723 133 | 0.000 % | c | 223153 | 600 957 180800 | 10717 7431 137 | 0.000 % | c | 225715 | 600 957 180800 | 11789 9993 140 | 0.000 % | c | 229559 | 600 957 180800 | 12968 7858 143 | 0.000 % | c | 235326 | 600 957 180800 | 14265 7051 147 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 175.715 s Remaining CPU time: 4.28471 s c =============================================================================== c | 238556 | 600 958 181300 | 5000 10281 147 | 0.000 % | c | 238656 | 600 958 181300 | 5500 2671 137 | 0.000 % | c | 238806 | 600 958 181300 | 6050 2821 133 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 175.972 s Remaining CPU time: 4.02775 s c =============================================================================== c | 238881 | 600 959 181800 | 5000 2896 133 | 0.000 % | c | 238982 | 600 959 181800 | 5500 2997 130 | 0.000 % | c | 239132 | 600 959 181800 | 6050 3147 131 | 0.000 % | c | 239357 | 600 959 181800 | 6655 3372 127 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 176.351 s Remaining CPU time: 3.64881 s c =============================================================================== c | 239424 | 600 960 182300 | 5000 3439 125 | 0.000 % | c | 239524 | 600 960 182300 | 5500 3539 125 | 0.000 % | c | 239675 | 600 960 182300 | 6050 3690 123 | 0.000 % | c | 239901 | 600 960 182300 | 6655 3916 118 | 0.000 % | c | 240239 | 600 960 182300 | 7320 4254 121 | 0.000 % | c | 240745 | 600 960 182300 | 8052 4760 120 | 0.000 % | c | 241504 | 600 960 182300 | 8857 5519 121 | 0.000 % | c | 242644 | 600 960 182300 | 9743 6659 120 | 0.000 % | c | 244352 | 600 960 182300 | 10717 8367 126 | 0.000 % | c There are 0 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 | 100 1466 2315 | 5000 0 nan | 0.000 % | c | 100 | 100 1466 2315 | 5500 100 36 | 83.334 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 744 1467 94781 | 5000 0 nan | 0.000 % | c | 101 | 744 1467 94781 | 5500 101 37 | 19.306 % | c | 251 | 744 1467 94781 | 6050 251 25 | 19.306 % | c | 476 | 744 1467 94781 | 6655 476 20 | 19.306 % | c | 815 | 744 1467 94781 | 7320 815 18 | 19.306 % | c | 1321 | 744 1467 94781 | 8052 1321 19 | 19.306 % | c | 2080 | 744 1467 94781 | 8857 2080 24 | 19.306 % | c | 3219 | 743 1467 94781 | 9743 2494 25 | 19.414 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1421 1468 184957 | 5000 0 nan | 0.000 % | c | 100 | 1421 1468 184957 | 5500 100 36 | 0.000 % | c | 250 | 1421 1468 184957 | 6050 250 25 | 0.000 % | c | 475 | 1421 1468 184957 | 6655 475 29 | 0.000 % | c | 812 | 1421 1468 184957 | 7320 812 32 | 0.000 % | c | 1318 | 1421 1468 184957 | 8052 1318 32 | 0.000 % | c | 2078 | 1421 1468 184957 | 8857 2078 38 | 0.000 % | c | 3217 | 1421 1468 184957 | 9743 3217 38 | 0.000 % | c | 4926 | 1421 1468 184957 | 10717 4926 31 | 0.000 % | c | 7488 | 1421 1468 184957 | 11789 7488 30 | 0.000 % | c | 11333 | 1421 1468 184957 | 12968 11333 26 | 0.000 % | c | 17099 | 1421 1468 184957 | 14265 10596 19 | 0.000 % | c | 25748 | 1421 1468 184957 | 15692 12102 18 | 0.000 % | c | 38722 | 1421 1468 184957 | 17261 9373 15 | 0.000 % | c | 58183 | 1421 1468 184957 | 18987 11557 14 | 0.000 % | c | 87375 | 1421 1468 184957 | 20886 12234 15 | 0.000 % | c | 131164 | 1416 1468 184957 | 22974 6224 10 | 0.352 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1921 1471 185963 | 5000 0 nan | 0.000 % | c | 101 | 1921 1471 185963 | 5500 101 36 | 0.000 % | c | 252 | 1921 1471 185963 | 6050 252 103 | 0.000 % | c | 477 | 1921 1471 185963 | 6655 477 104 | 0.000 % | c | 814 | 1921 1471 185963 | 7320 814 116 | 0.000 % | c | 1320 | 1921 1471 185963 | 8052 1320 109 | 0.000 % | c | 2079 | 1921 1471 185963 | 8857 2079 115 | 0.000 % | c | 3218 | 1921 1471 185963 | 9743 3218 125 | 0.000 % | c | 4926 | 1921 1471 185963 | 10717 4926 126 | 0.000 % | c | 7488 | 1921 1471 185963 | 11789 7488 131 | 0.000 % | c | 11332 | 1921 1471 185963 | 12968 11332 148 | 0.000 % | c | 17098 | 1921 1471 185963 | 14265 10476 121 | 0.000 % | c | 25748 | 1921 1471 185963 | 15692 11981 53 | 0.000 % | c | 38722 | 1921 1471 185963 | 17261 9209 35 | 0.000 % | c | 58185 | 1921 1471 185963 | 18987 11109 27 | 0.000 % | c | 87378 | 1921 1471 185963 | 20886 11699 26 | 0.000 % | c | 131168 | 1921 1471 185963 | 22974 13664 21 | 0.000 % | c | 196853 | 1921 1471 185963 | 25272 21716 21 | 0.000 % | c | 295380 | 1921 1471 185963 | 27799 16313 24 | 0.000 % | c | 443169 | 1921 1471 185963 | 30579 12682 26 | 0.000 % | c | 664857 | 1921 1471 185963 | 33637 20181 22 | 0.000 % |