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.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 600 601 2800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 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.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 600 604 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 605 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 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.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 600 610 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 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.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 600 615 9800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 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 | 0 | 600 617 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 600 618 11300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 600 619 11800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 600 620 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 600 621 12800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 600 622 13300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 600 623 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 600 624 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 1 | 600 625 14800 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 600 626 15300 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 600 627 15800 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 600 628 16300 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 600 629 16800 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 1 | 600 630 17300 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 1 | 600 631 17800 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 600 632 18300 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 600 633 18800 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 600 634 19300 | 5000 1 481 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 2 | 600 635 19800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 2 | 600 636 20300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 2 | 600 637 20800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 2 | 600 638 21300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 2 | 600 639 21800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 2 | 600 640 22300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 2 | 600 641 22800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 2 | 600 642 23300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 2 | 600 643 23800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 2 | 600 644 24300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 2 | 600 645 24800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 2 | 600 646 25300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 2 | 600 647 25800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 2 | 600 648 26300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 2 | 600 649 26800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 2 | 600 650 27300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 2 | 600 651 27800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 2 | 600 652 28300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 2 | 600 653 28800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 2 | 600 654 29300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 2 | 600 655 29800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 2 | 600 656 30300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 2 | 600 657 30800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 2 | 600 658 31300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 2 | 600 659 31800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 2 | 600 660 32300 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 2 | 600 661 32800 | 5000 2 242 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 3 | 600 662 33300 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 3 | 600 663 33800 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 3 | 600 664 34300 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 3 | 600 665 34800 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 3 | 600 666 35300 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 3 | 600 667 35800 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 5 | 600 668 36300 | 5000 5 100 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 5 | 600 669 36800 | 5000 5 100 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 5 | 600 670 37300 | 5000 5 100 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 5 | 600 671 37800 | 5000 5 100 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 6 | 600 672 38300 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 6 | 600 673 38800 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 6 | 600 674 39300 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 6 | 600 675 39800 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 6 | 600 676 40300 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 6 | 600 677 40800 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 7 | 600 678 41300 | 5000 7 135 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 8 | 600 679 41800 | 5000 8 118 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 9 | 600 680 42300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 9 | 600 681 42800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 9 | 600 682 43300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 9 | 600 683 43800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 9 | 600 684 44300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 9 | 600 685 44800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 9 | 600 686 45300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 9 | 600 687 45800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 9 | 600 688 46300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 9 | 600 689 46800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 9 | 600 690 47300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 9 | 600 691 47800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 9 | 600 692 48300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 9 | 600 693 48800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 9 | 600 694 49300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 10 | 600 695 49800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 11 | 600 696 50300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 11 | 600 697 50800 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 11 | 600 698 51300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 11 | 600 699 51800 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 11 | 600 700 52300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 12 | 600 701 52800 | 5000 12 114 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 12 | 600 702 53300 | 5000 12 114 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 13 | 600 703 53800 | 5000 13 106 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 14 | 600 704 54300 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 14 | 600 705 54800 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 14 | 600 706 55300 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 14 | 600 707 55800 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 14 | 600 708 56300 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 14 | 600 709 56800 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 14 | 600 710 57300 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 14 | 600 711 57800 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 16 | 600 712 58300 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 16 | 600 713 58800 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 16 | 600 714 59300 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 17 | 600 715 59800 | 5000 17 82 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 18 | 600 716 60300 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 18 | 600 717 60800 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 18 | 600 718 61300 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 18 | 600 719 61800 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 18 | 600 720 62300 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 18 | 600 721 62800 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 18 | 600 722 63300 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 18 | 600 723 63800 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 18 | 600 724 64300 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 18 | 600 725 64800 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 18 | 600 726 65300 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 18 | 600 727 65800 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 18 | 600 728 66300 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 18 | 600 729 66800 | 5000 18 78 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 19 | 600 730 67300 | 5000 19 75 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 20 | 600 731 67800 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 21 | 600 732 68300 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 21 | 600 733 68800 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.78588 s Remaining CPU time: 179.214 s c =============================================================================== c | 21 | 600 734 69300 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s c =============================================================================== c | 21 | 600 735 69800 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 22 | 600 736 70300 | 5000 22 82 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s c =============================================================================== c | 22 | 600 737 70800 | 5000 22 82 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 22 | 600 738 71300 | 5000 22 82 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 23 | 600 739 71800 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 23 | 600 740 72300 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 23 | 600 741 72800 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 23 | 600 742 73300 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 23 | 600 743 73800 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 23 | 600 744 74300 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 23 | 600 745 74800 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 23 | 600 746 75300 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 24 | 600 747 75800 | 5000 24 75 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 24 | 600 748 76300 | 5000 24 75 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 25 | 600 749 76800 | 5000 25 72 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 27 | 600 750 77300 | 5000 27 68 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 27 | 600 751 77800 | 5000 27 68 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.03084 s Remaining CPU time: 178.969 s c =============================================================================== c | 28 | 600 752 78300 | 5000 28 66 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s c =============================================================================== c | 28 | 600 753 78800 | 5000 28 66 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 29 | 600 754 79300 | 5000 29 76 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.07584 s Remaining CPU time: 178.924 s c =============================================================================== c | 29 | 600 755 79800 | 5000 29 76 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.08983 s Remaining CPU time: 178.91 s c =============================================================================== c | 29 | 600 756 80300 | 5000 29 76 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 29 | 600 757 80800 | 5000 29 76 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 29 | 600 758 81300 | 5000 29 76 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 29 | 600 759 81800 | 5000 29 76 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 30 | 600 760 82300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 30 | 600 761 82800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.18382 s Remaining CPU time: 178.816 s c =============================================================================== c | 30 | 600 762 83300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 30 | 600 763 83800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 30 | 600 764 84300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 30 | 600 765 84800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 1.24781 s Remaining CPU time: 178.752 s c =============================================================================== c | 30 | 600 766 85300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 30 | 600 767 85800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 30 | 600 768 86300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 1.2948 s Remaining CPU time: 178.705 s c =============================================================================== c | 30 | 600 769 86800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 1.3118 s Remaining CPU time: 178.688 s c =============================================================================== c | 30 | 600 770 87300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 1.3288 s Remaining CPU time: 178.671 s c =============================================================================== c | 30 | 600 771 87800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 1.3458 s Remaining CPU time: 178.654 s c =============================================================================== c | 30 | 600 772 88300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 1.36279 s Remaining CPU time: 178.637 s c =============================================================================== c | 30 | 600 773 88800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 30 | 600 774 89300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 30 | 600 775 89800 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 1.41478 s Remaining CPU time: 178.585 s c =============================================================================== c | 30 | 600 776 90300 | 5000 30 73 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 1.43278 s Remaining CPU time: 178.567 s c =============================================================================== c | 31 | 600 777 90800 | 5000 31 71 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 31 | 600 778 91300 | 5000 31 71 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 32 | 600 779 91800 | 5000 32 69 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 32 | 600 780 92300 | 5000 32 69 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 32 | 600 781 92800 | 5000 32 69 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 33 | 600 782 93300 | 5000 33 67 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 1.53877 s Remaining CPU time: 178.461 s c =============================================================================== c | 33 | 600 783 93800 | 5000 33 67 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 1.55676 s Remaining CPU time: 178.443 s c =============================================================================== c | 34 | 600 784 94300 | 5000 34 65 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 1.57476 s Remaining CPU time: 178.425 s c =============================================================================== c | 34 | 600 785 94800 | 5000 34 65 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 1.59176 s Remaining CPU time: 178.408 s c =============================================================================== c | 34 | 600 786 95300 | 5000 34 65 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 1.61076 s Remaining CPU time: 178.389 s c =============================================================================== c | 34 | 600 787 95800 | 5000 34 65 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 1.62875 s Remaining CPU time: 178.371 s c =============================================================================== c | 36 | 600 788 96300 | 5000 36 71 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 36 | 600 789 96800 | 5000 36 71 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 1.66675 s Remaining CPU time: 178.333 s c =============================================================================== c | 36 | 600 790 97300 | 5000 36 71 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 1.68574 s Remaining CPU time: 178.314 s c =============================================================================== c | 36 | 600 791 97800 | 5000 36 71 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 1.70474 s Remaining CPU time: 178.295 s c =============================================================================== c | 36 | 600 792 98300 | 5000 36 71 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 37 | 600 793 98800 | 5000 37 69 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 1.74274 s Remaining CPU time: 178.257 s c =============================================================================== c | 37 | 600 794 99300 | 5000 37 69 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 1.76273 s Remaining CPU time: 178.237 s c =============================================================================== c | 38 | 600 795 99800 | 5000 38 76 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 1.78173 s Remaining CPU time: 178.218 s c =============================================================================== c | 39 | 600 796 100300 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 1.80073 s Remaining CPU time: 178.199 s c =============================================================================== c | 39 | 600 797 100800 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 1.82072 s Remaining CPU time: 178.179 s c =============================================================================== c | 39 | 600 798 101300 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 39 | 600 799 101800 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 1.86072 s Remaining CPU time: 178.139 s c =============================================================================== c | 39 | 600 800 102300 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 1.88071 s Remaining CPU time: 178.119 s c =============================================================================== c | 39 | 600 801 102800 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 39 | 600 802 103300 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 1.91871 s Remaining CPU time: 178.081 s c =============================================================================== c | 39 | 600 803 103800 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 1.93771 s Remaining CPU time: 178.062 s c =============================================================================== c | 39 | 600 804 104300 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 39 | 600 805 104800 | 5000 39 74 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 1.9787 s Remaining CPU time: 178.021 s c =============================================================================== c | 41 | 600 806 105300 | 5000 41 71 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 41 | 600 807 105800 | 5000 41 71 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 2.01969 s Remaining CPU time: 177.98 s c =============================================================================== c | 41 | 600 808 106300 | 5000 41 71 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 2.03969 s Remaining CPU time: 177.96 s c =============================================================================== c | 41 | 600 809 106800 | 5000 41 71 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 2.06069 s Remaining CPU time: 177.939 s c =============================================================================== c | 41 | 600 810 107300 | 5000 41 71 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 41 | 600 811 107800 | 5000 41 71 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 44 | 600 812 108300 | 5000 44 73 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 54 | 600 813 108800 | 5000 54 104 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.14667 s Remaining CPU time: 177.853 s c =============================================================================== c | 55 | 600 814 109300 | 5000 55 102 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.16667 s Remaining CPU time: 177.833 s c =============================================================================== c | 57 | 600 815 109800 | 5000 57 99 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.18767 s Remaining CPU time: 177.812 s c =============================================================================== c | 58 | 600 816 110300 | 5000 58 97 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.20866 s Remaining CPU time: 177.791 s c =============================================================================== c | 58 | 600 817 110800 | 5000 58 97 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 59 | 600 818 111300 | 5000 59 96 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 59 | 600 819 111800 | 5000 59 96 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s c =============================================================================== c | 59 | 600 820 112300 | 5000 59 96 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 59 | 600 821 112800 | 5000 59 96 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.31565 s Remaining CPU time: 177.684 s c =============================================================================== c | 59 | 600 822 113300 | 5000 59 96 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.33664 s Remaining CPU time: 177.663 s c =============================================================================== c | 60 | 600 823 113800 | 5000 60 95 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.35864 s Remaining CPU time: 177.641 s c =============================================================================== c | 60 | 600 824 114300 | 5000 60 95 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 61 | 600 825 114800 | 5000 61 93 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 2.40263 s Remaining CPU time: 177.597 s c =============================================================================== c | 62 | 600 826 115300 | 5000 62 92 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 2.42463 s Remaining CPU time: 177.575 s c =============================================================================== c | 62 | 600 827 115800 | 5000 62 92 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 2.44663 s Remaining CPU time: 177.553 s c =============================================================================== c | 62 | 600 828 116300 | 5000 62 92 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 2.46962 s Remaining CPU time: 177.53 s c =============================================================================== c | 73 | 600 829 116800 | 5000 73 85 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 2.49562 s Remaining CPU time: 177.504 s c =============================================================================== c | 85 | 600 830 117300 | 5000 85 112 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 2.51862 s Remaining CPU time: 177.481 s c =============================================================================== c | 85 | 600 831 117800 | 5000 85 112 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 2.53961 s Remaining CPU time: 177.46 s c =============================================================================== c | 85 | 600 832 118300 | 5000 85 112 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 2.56261 s Remaining CPU time: 177.437 s c =============================================================================== c | 86 | 600 833 118800 | 5000 86 110 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 2.58461 s Remaining CPU time: 177.415 s c =============================================================================== c | 86 | 600 834 119300 | 5000 86 110 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 2.6066 s Remaining CPU time: 177.393 s c =============================================================================== c | 86 | 600 835 119800 | 5000 86 110 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 2.6296 s Remaining CPU time: 177.37 s c =============================================================================== c | 87 | 600 836 120300 | 5000 87 109 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 2.6526 s Remaining CPU time: 177.347 s c =============================================================================== c | 88 | 600 837 120800 | 5000 88 108 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 2.67459 s Remaining CPU time: 177.325 s c =============================================================================== c | 89 | 600 838 121300 | 5000 89 107 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 2.69759 s Remaining CPU time: 177.302 s c =============================================================================== c | 89 | 600 839 121800 | 5000 89 107 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 2.72059 s Remaining CPU time: 177.279 s c =============================================================================== c | 91 | 600 840 122300 | 5000 91 105 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 2.74358 s Remaining CPU time: 177.256 s c =============================================================================== c | 91 | 600 841 122800 | 5000 91 105 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 2.76458 s Remaining CPU time: 177.235 s c =============================================================================== c | 91 | 600 842 123300 | 5000 91 105 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 2.78758 s Remaining CPU time: 177.212 s c =============================================================================== c | 92 | 600 843 123800 | 5000 92 104 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 2.81057 s Remaining CPU time: 177.189 s c =============================================================================== c | 92 | 600 844 124300 | 5000 92 104 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 2.83457 s Remaining CPU time: 177.165 s c =============================================================================== c | 92 | 600 845 124800 | 5000 92 104 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 2.85757 s Remaining CPU time: 177.142 s c =============================================================================== c | 92 | 600 846 125300 | 5000 92 104 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 2.88256 s Remaining CPU time: 177.117 s c =============================================================================== c | 103 | 600 847 125800 | 5000 103 97 | 0.000 % | c | 203 | 600 847 125800 | 5500 203 178 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 2.95055 s Remaining CPU time: 177.049 s c =============================================================================== c | 207 | 600 848 126300 | 5000 207 175 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 2.97355 s Remaining CPU time: 177.026 s c =============================================================================== c | 219 | 600 849 126800 | 5000 219 167 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 2.99754 s Remaining CPU time: 177.002 s c =============================================================================== c | 223 | 600 850 127300 | 5000 223 164 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 3.04854 s Remaining CPU time: 176.951 s c =============================================================================== c | 279 | 600 851 127800 | 5000 279 183 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.07153 s Remaining CPU time: 176.928 s c =============================================================================== c | 300 | 600 852 128300 | 5000 300 172 | 0.000 % | c | 400 | 600 852 128300 | 5500 400 193 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 3.13952 s Remaining CPU time: 176.86 s c =============================================================================== c | 409 | 600 853 128800 | 5000 409 189 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 3.16352 s Remaining CPU time: 176.836 s c =============================================================================== c | 413 | 600 854 129300 | 5000 413 187 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 3.18751 s Remaining CPU time: 176.812 s c =============================================================================== c | 418 | 600 855 129800 | 5000 418 185 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 3.21251 s Remaining CPU time: 176.787 s c =============================================================================== c | 433 | 600 856 130300 | 5000 433 180 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 3.25351 s Remaining CPU time: 176.746 s c =============================================================================== c | 458 | 600 857 130800 | 5000 458 184 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 3.2785 s Remaining CPU time: 176.721 s c =============================================================================== c | 459 | 600 858 131300 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 3.3035 s Remaining CPU time: 176.697 s c =============================================================================== c | 459 | 600 859 131800 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 3.32749 s Remaining CPU time: 176.673 s c =============================================================================== c | 459 | 600 860 132300 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 3.35249 s Remaining CPU time: 176.648 s c =============================================================================== c | 459 | 600 861 132800 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 3.37649 s Remaining CPU time: 176.624 s c =============================================================================== c | 459 | 600 862 133300 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 3.40048 s Remaining CPU time: 176.6 s c =============================================================================== c | 459 | 600 863 133800 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 3.42548 s Remaining CPU time: 176.575 s c =============================================================================== c | 459 | 600 864 134300 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 3.45047 s Remaining CPU time: 176.55 s c =============================================================================== c | 459 | 600 865 134800 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 3.47547 s Remaining CPU time: 176.525 s c =============================================================================== c | 459 | 600 866 135300 | 5000 459 183 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 3.50047 s Remaining CPU time: 176.5 s c =============================================================================== c | 469 | 600 867 135800 | 5000 469 180 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 3.52646 s Remaining CPU time: 176.474 s c =============================================================================== c | 470 | 600 868 136300 | 5000 470 179 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 3.55246 s Remaining CPU time: 176.448 s c =============================================================================== c | 470 | 600 869 136800 | 5000 470 179 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 3.57746 s Remaining CPU time: 176.423 s c =============================================================================== c | 470 | 600 870 137300 | 5000 470 179 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 3.60245 s Remaining CPU time: 176.398 s c =============================================================================== c | 473 | 600 871 137800 | 5000 473 178 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 3.62845 s Remaining CPU time: 176.372 s c =============================================================================== c | 476 | 600 872 138300 | 5000 476 179 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 3.65344 s Remaining CPU time: 176.347 s c =============================================================================== c | 482 | 600 873 138800 | 5000 482 177 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 3.68144 s Remaining CPU time: 176.319 s c =============================================================================== c | 492 | 600 874 139300 | 5000 492 178 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 3.70744 s Remaining CPU time: 176.293 s c =============================================================================== c | 498 | 600 875 139800 | 5000 498 176 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 3.76543 s Remaining CPU time: 176.235 s c =============================================================================== c | 586 | 600 876 140300 | 5000 586 185 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 3.78942 s Remaining CPU time: 176.211 s c =============================================================================== c | 586 | 600 877 140800 | 5000 586 185 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 3.81442 s Remaining CPU time: 176.186 s c =============================================================================== c | 588 | 600 878 141300 | 5000 588 184 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 3.84042 s Remaining CPU time: 176.16 s c =============================================================================== c | 596 | 600 879 141800 | 5000 596 182 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 3.86541 s Remaining CPU time: 176.135 s c =============================================================================== c | 596 | 600 880 142300 | 5000 596 182 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 3.89041 s Remaining CPU time: 176.11 s c =============================================================================== c | 598 | 600 881 142800 | 5000 598 181 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 3.9154 s Remaining CPU time: 176.085 s c =============================================================================== c | 598 | 600 882 143300 | 5000 598 181 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 3.9414 s Remaining CPU time: 176.059 s c =============================================================================== c | 598 | 600 883 143800 | 5000 598 181 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 3.9664 s Remaining CPU time: 176.034 s c =============================================================================== c | 598 | 600 884 144300 | 5000 598 181 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 3.99239 s Remaining CPU time: 176.008 s c =============================================================================== c | 598 | 600 885 144800 | 5000 598 181 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 4.01839 s Remaining CPU time: 175.982 s c =============================================================================== c | 599 | 600 886 145300 | 5000 599 181 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 4.04439 s Remaining CPU time: 175.956 s c =============================================================================== c | 599 | 600 887 145800 | 5000 599 181 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 4.06938 s Remaining CPU time: 175.931 s c =============================================================================== c | 599 | 600 888 146300 | 5000 599 181 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 4.09538 s Remaining CPU time: 175.905 s c =============================================================================== c | 599 | 600 889 146800 | 5000 599 181 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 4.12137 s Remaining CPU time: 175.879 s c =============================================================================== c | 600 | 600 890 147300 | 5000 600 181 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 4.14737 s Remaining CPU time: 175.853 s c =============================================================================== c | 603 | 600 891 147800 | 5000 603 180 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 4.17237 s Remaining CPU time: 175.828 s c =============================================================================== c | 607 | 600 892 148300 | 5000 607 179 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 4.20036 s Remaining CPU time: 175.8 s c =============================================================================== c | 613 | 600 893 148800 | 5000 613 179 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 4.23036 s Remaining CPU time: 175.77 s c =============================================================================== c | 619 | 600 894 149300 | 5000 619 179 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 4.25635 s Remaining CPU time: 175.744 s c =============================================================================== c | 619 | 600 895 149800 | 5000 619 179 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 4.28235 s Remaining CPU time: 175.718 s c =============================================================================== c | 619 | 600 896 150300 | 5000 619 179 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 4.30835 s Remaining CPU time: 175.692 s c =============================================================================== c | 619 | 600 897 150800 | 5000 619 179 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 4.33534 s Remaining CPU time: 175.665 s c =============================================================================== c | 621 | 600 898 151300 | 5000 621 179 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 4.36134 s Remaining CPU time: 175.639 s c =============================================================================== c | 622 | 600 899 151800 | 5000 622 179 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 4.38633 s Remaining CPU time: 175.614 s c =============================================================================== c | 622 | 600 900 152300 | 5000 622 179 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 4.41233 s Remaining CPU time: 175.588 s c =============================================================================== c | 624 | 600 901 152800 | 5000 624 179 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 4.43933 s Remaining CPU time: 175.561 s c =============================================================================== c | 624 | 600 902 153300 | 5000 624 179 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 4.46532 s Remaining CPU time: 175.535 s c =============================================================================== c | 624 | 600 903 153800 | 5000 624 179 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 4.49132 s Remaining CPU time: 175.509 s c =============================================================================== c | 624 | 600 904 154300 | 5000 624 179 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 4.51531 s Remaining CPU time: 175.485 s c =============================================================================== c | 624 | 600 905 154800 | 5000 624 179 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 4.54131 s Remaining CPU time: 175.459 s c =============================================================================== c | 624 | 600 906 155300 | 5000 624 179 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 4.56731 s Remaining CPU time: 175.433 s c =============================================================================== c | 628 | 600 907 155800 | 5000 628 178 | 0.000 % | c | 729 | 600 907 155800 | 5500 729 181 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 4.64629 s Remaining CPU time: 175.354 s c =============================================================================== c | 733 | 600 908 156300 | 5000 733 180 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 4.67229 s Remaining CPU time: 175.328 s c =============================================================================== c | 736 | 600 909 156800 | 5000 736 179 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 4.69829 s Remaining CPU time: 175.302 s c =============================================================================== c | 740 | 600 910 157300 | 5000 740 178 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 4.72428 s Remaining CPU time: 175.276 s c =============================================================================== c | 741 | 600 911 157800 | 5000 741 178 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 4.75028 s Remaining CPU time: 175.25 s c =============================================================================== c | 741 | 600 912 158300 | 5000 741 178 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 4.77627 s Remaining CPU time: 175.224 s c =============================================================================== c | 742 | 600 913 158800 | 5000 742 178 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 4.80227 s Remaining CPU time: 175.198 s c =============================================================================== c | 742 | 600 914 159300 | 5000 742 178 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 4.82827 s Remaining CPU time: 175.172 s c =============================================================================== c | 743 | 600 915 159800 | 5000 743 178 | 0.000 % | c | 843 | 600 915 159800 | 5500 843 177 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 4.90725 s Remaining CPU time: 175.093 s c =============================================================================== c | 844 | 600 916 160300 | 5000 844 177 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 4.93425 s Remaining CPU time: 175.066 s c =============================================================================== c | 855 | 600 917 160800 | 5000 855 175 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 4.96924 s Remaining CPU time: 175.031 s c =============================================================================== c | 884 | 600 918 161300 | 5000 884 174 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 5.03223 s Remaining CPU time: 174.968 s c =============================================================================== c | 976 | 600 919 161800 | 5000 976 174 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 5.05923 s Remaining CPU time: 174.941 s c =============================================================================== c | 995 | 600 920 162300 | 5000 995 171 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 5.09523 s Remaining CPU time: 174.905 s c =============================================================================== c | 1023 | 600 921 162800 | 5000 1023 171 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 5.12422 s Remaining CPU time: 174.876 s c =============================================================================== c | 1098 | 600 922 163300 | 5000 1098 162 | 0.000 % | c | 1198 | 600 922 163300 | 5500 1198 164 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 5.32419 s Remaining CPU time: 174.676 s c =============================================================================== c | 1219 | 600 923 163800 | 5000 1219 162 | 0.000 % | c | 1320 | 600 923 163800 | 5500 1320 164 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 5.45017 s Remaining CPU time: 174.55 s c =============================================================================== c | 1458 | 600 924 164300 | 5000 1458 158 | 0.000 % | c | 1559 | 600 924 164300 | 5500 1559 150 | 0.000 % | c | 1712 | 600 924 164300 | 6050 1712 153 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 5.73413 s Remaining CPU time: 174.266 s c =============================================================================== c | 1743 | 600 925 164800 | 5000 1743 151 | 0.000 % | c | 1843 | 600 925 164800 | 5500 1843 153 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 5.82811 s Remaining CPU time: 174.172 s c =============================================================================== c | 1869 | 600 926 165300 | 5000 1869 151 | 0.000 % | c | 1970 | 600 926 165300 | 5500 1970 152 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 5.9361 s Remaining CPU time: 174.064 s c =============================================================================== c | 1970 | 600 927 165800 | 5000 1970 152 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 5.96209 s Remaining CPU time: 174.038 s c =============================================================================== c | 1976 | 600 928 166300 | 5000 1976 152 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 5.98809 s Remaining CPU time: 174.012 s c =============================================================================== c | 1985 | 600 929 166800 | 5000 1985 151 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 6.01309 s Remaining CPU time: 173.987 s c =============================================================================== c | 1989 | 600 930 167300 | 5000 1989 151 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 6.07008 s Remaining CPU time: 173.93 s c =============================================================================== c | 2058 | 600 931 167800 | 5000 2058 152 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 6.09607 s Remaining CPU time: 173.904 s c =============================================================================== c | 2087 | 600 932 168300 | 5000 2087 150 | 0.000 % | c | 2189 | 600 932 168300 | 5500 2189 151 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 6.18106 s Remaining CPU time: 173.819 s c =============================================================================== c | 2213 | 600 933 168800 | 5000 2213 150 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 6.21105 s Remaining CPU time: 173.789 s c =============================================================================== c | 2215 | 600 934 169300 | 5000 2215 150 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 6.23905 s Remaining CPU time: 173.761 s c =============================================================================== c | 2216 | 600 935 169800 | 5000 2216 150 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 6.26805 s Remaining CPU time: 173.732 s c =============================================================================== c | 2219 | 600 936 170300 | 5000 2219 150 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 6.29504 s Remaining CPU time: 173.705 s c =============================================================================== c | 2219 | 600 937 170800 | 5000 2219 150 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 6.32204 s Remaining CPU time: 173.678 s c =============================================================================== c | 2219 | 600 938 171300 | 5000 2219 150 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 6.35103 s Remaining CPU time: 173.649 s c =============================================================================== c | 2234 | 600 939 171800 | 5000 2234 149 | 0.000 % | c | 2334 | 600 939 171800 | 5500 2334 150 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 6.43902 s Remaining CPU time: 173.561 s c =============================================================================== c | 2339 | 600 940 172300 | 5000 2339 150 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 6.46702 s Remaining CPU time: 173.533 s c =============================================================================== c | 2350 | 600 941 172800 | 5000 2350 149 | 0.000 % | c | 2450 | 600 941 172800 | 5500 2450 150 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 6.563 s Remaining CPU time: 173.437 s c =============================================================================== c | 2479 | 600 942 173300 | 5000 2479 148 | 0.000 % | c | 2579 | 600 942 173300 | 5500 2579 149 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 6.65899 s Remaining CPU time: 173.341 s c =============================================================================== c | 2584 | 600 943 173800 | 5000 2584 149 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 6.68598 s Remaining CPU time: 173.314 s c =============================================================================== c | 2587 | 600 944 174300 | 5000 2587 148 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 6.71398 s Remaining CPU time: 173.286 s c =============================================================================== c | 2600 | 600 945 174800 | 5000 2600 148 | 0.000 % | c | 2700 | 600 945 174800 | 5500 2700 148 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 6.79297 s Remaining CPU time: 173.207 s c =============================================================================== c | 2701 | 600 946 175300 | 5000 2701 148 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 6.81896 s Remaining CPU time: 173.181 s c =============================================================================== c | 2701 | 600 947 175800 | 5000 2701 148 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 6.84796 s Remaining CPU time: 173.152 s c =============================================================================== c | 2748 | 600 948 176300 | 5000 2748 146 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 6.98694 s Remaining CPU time: 173.013 s c =============================================================================== c | 2812 | 600 949 176800 | 5000 2812 147 | 0.000 % | c | 2914 | 600 949 176800 | 5500 2914 143 | 0.000 % | c | 3065 | 600 949 176800 | 6050 3065 144 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 7.2579 s Remaining CPU time: 172.742 s c =============================================================================== c | 3097 | 600 950 177300 | 5000 3097 142 | 0.000 % | c | 3198 | 600 950 177300 | 5500 3198 143 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 7.33188 s Remaining CPU time: 172.668 s c =============================================================================== c | 3206 | 600 951 177800 | 5000 3206 142 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 7.35788 s Remaining CPU time: 172.642 s c =============================================================================== c | 3213 | 600 952 178300 | 5000 3213 142 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 7.38388 s Remaining CPU time: 172.616 s c =============================================================================== c | 3226 | 600 953 178800 | 5000 3226 142 | 0.000 % | c | 3326 | 600 953 178800 | 5500 3326 142 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 7.45787 s Remaining CPU time: 172.542 s c =============================================================================== c | 3332 | 600 954 179300 | 5000 3332 142 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 7.48386 s Remaining CPU time: 172.516 s c =============================================================================== c | 3352 | 600 955 179800 | 5000 3352 141 | 0.000 % | c | 3453 | 600 955 179800 | 5500 3453 141 | 0.000 % | c | 3603 | 600 955 179800 | 6050 3603 141 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 7.63784 s Remaining CPU time: 172.362 s c =============================================================================== c | 3620 | 600 956 180300 | 5000 3620 140 | 0.000 % | c | 3720 | 600 956 180300 | 5500 3720 141 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 7.71783 s Remaining CPU time: 172.282 s c =============================================================================== c | 3788 | 600 957 180800 | 5000 3788 139 | 0.000 % | c | 3888 | 600 957 180800 | 5500 3888 139 | 0.000 % | c | 4040 | 600 957 180800 | 6050 4040 135 | 0.000 % | c | 4266 | 600 957 180800 | 6655 4266 136 | 0.000 % | c | 4603 | 600 957 180800 | 7320 4603 130 | 0.000 % | c | 5109 | 600 957 180800 | 8052 5109 131 | 0.000 % | c | 5868 | 600 957 180800 | 8857 5868 133 | 0.000 % | c | 7007 | 600 957 180800 | 9743 7007 133 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 10.1275 s Remaining CPU time: 169.873 s c =============================================================================== c | 7850 | 600 958 181300 | 5000 7850 133 | 0.000 % | c | 7950 | 600 958 181300 | 5500 4025 125 | 0.000 % | c | 8100 | 600 958 181300 | 6050 4175 125 | 0.000 % | c | 8325 | 600 958 181300 | 6655 4400 125 | 0.000 % | c | 8662 | 600 958 181300 | 7320 4737 127 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 10.9853 s Remaining CPU time: 169.015 s c =============================================================================== c | 9112 | 600 959 181800 | 5000 5187 128 | 0.000 % | c | 9212 | 600 959 181800 | 5500 2694 119 | 0.000 % | c | 9363 | 600 959 181800 | 6050 2845 120 | 0.000 % | c | 9588 | 600 959 181800 | 6655 3070 121 | 0.000 % | c | 9927 | 600 959 181800 | 7320 3409 122 | 0.000 % | c | 10433 | 600 959 181800 | 8052 3915 123 | 0.000 % | c | 11192 | 600 959 181800 | 8857 4674 126 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 12.6731 s Remaining CPU time: 167.327 s c =============================================================================== c | 11738 | 600 960 182300 | 5000 5220 128 | 0.000 % | c | 11838 | 600 960 182300 | 5500 2710 120 | 0.000 % | c | 11988 | 600 960 182300 | 6050 2860 122 | 0.000 % | c | 12213 | 600 960 182300 | 6655 3085 122 | 0.000 % | c | 12550 | 600 960 182300 | 7320 3422 124 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 13.212 s Remaining CPU time: 166.788 s c =============================================================================== c | 12593 | 600 961 182800 | 5000 3465 123 | 0.000 % | c | 12693 | 600 961 182800 | 5500 3565 124 | 0.000 % | c | 12843 | 600 961 182800 | 6050 3715 120 | 0.000 % | c | 13068 | 600 961 182800 | 6655 3940 121 | 0.000 % | c | 13405 | 600 961 182800 | 7320 4277 117 | 0.000 % | c | 13911 | 600 961 182800 | 8052 4783 119 | 0.000 % | c | 14670 | 600 961 182800 | 8857 5542 122 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 15.1787 s Remaining CPU time: 164.821 s c =============================================================================== c | 15647 | 600 962 183300 | 5000 6519 125 | 0.000 % | c | 15748 | 600 962 183300 | 5500 3361 117 | 0.000 % | c | 15898 | 600 962 183300 | 6050 3511 117 | 0.000 % | c | 16124 | 600 962 183300 | 6655 3737 118 | 0.000 % | c | 16461 | 600 962 183300 | 7320 4074 121 | 0.000 % | c | 16967 | 600 962 183300 | 8052 4580 122 | 0.000 % | c | 17726 | 600 962 183300 | 8857 5339 125 | 0.000 % | c | 18865 | 600 962 183300 | 9743 6478 128 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 18.2312 s Remaining CPU time: 161.769 s c =============================================================================== c | 19841 | 600 963 183800 | 5000 7454 130 | 0.000 % | c | 19941 | 600 963 183800 | 5500 3827 127 | 0.000 % | c | 20091 | 600 963 183800 | 6050 3977 128 | 0.000 % | c | 20316 | 600 963 183800 | 6655 4202 126 | 0.000 % | c | 20653 | 600 963 183800 | 7320 4539 125 | 0.000 % | c | 21159 | 600 963 183800 | 8052 5045 124 | 0.000 % | c | 21920 | 600 963 183800 | 8857 5806 126 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 19.868 s Remaining CPU time: 160.132 s c =============================================================================== c | 22378 | 600 964 184300 | 5000 6264 126 | 0.000 % | c | 22478 | 600 964 184300 | 5500 3232 115 | 0.000 % | c | 22628 | 600 964 184300 | 6050 3382 116 | 0.000 % | c | 22853 | 600 964 184300 | 6655 3607 117 | 0.000 % | c | 23190 | 600 964 184300 | 7320 3944 116 | 0.000 % | c | 23697 | 600 964 184300 | 8052 4451 118 | 0.000 % | c | 24458 | 600 964 184300 | 8857 5212 120 | 0.000 % | c | 25597 | 600 964 184300 | 9743 6351 123 | 0.000 % | c | 27305 | 600 964 184300 | 10717 8059 126 | 0.000 % | c | 29868 | 600 964 184300 | 11789 10622 130 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 26.439 s Remaining CPU time: 153.561 s c =============================================================================== c | 32053 | 600 965 184800 | 5000 6834 136 | 0.000 % | c | 32153 | 600 965 184800 | 5500 3517 134 | 0.000 % | c | 32303 | 600 965 184800 | 6050 3667 134 | 0.000 % | c | 32528 | 600 965 184800 | 6655 3892 128 | 0.000 % | c | 32865 | 600 965 184800 | 7320 4229 129 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 26.9629 s Remaining CPU time: 153.037 s c =============================================================================== c | 32923 | 600 966 185300 | 5000 4287 128 | 0.000 % | c | 33024 | 600 966 185300 | 5500 4388 128 | 0.000 % | c | 33174 | 600 966 185300 | 6050 4538 128 | 0.000 % | c | 33399 | 600 966 185300 | 6655 4763 128 | 0.000 % | c | 33736 | 600 966 185300 | 7320 5100 128 | 0.000 % | c | 34242 | 600 966 185300 | 8052 5606 127 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 28.2197 s Remaining CPU time: 151.78 s c =============================================================================== c | 34898 | 600 967 185800 | 5000 6262 126 | 0.000 % | c | 34998 | 600 967 185800 | 5500 3231 110 | 0.000 % | c | 35148 | 600 967 185800 | 6050 3381 111 | 0.000 % | c | 35373 | 600 967 185800 | 6655 3606 113 | 0.000 % | c | 35710 | 600 967 185800 | 7320 3943 114 | 0.000 % | c | 36216 | 600 967 185800 | 8052 4449 116 | 0.000 % | c | 36975 | 600 967 185800 | 8857 5208 119 | 0.000 % | c | 38114 | 600 967 185800 | 9743 6347 122 | 0.000 % | c | 39822 | 600 967 185800 | 10717 8055 126 | 0.000 % | c | 42385 | 600 967 185800 | 11789 10618 129 | 0.000 % | c | 46229 | 600 967 185800 | 12968 8488 134 | 0.000 % | c | 51995 | 600 967 185800 | 14265 7688 135 | 0.000 % | c | 60644 | 600 967 185800 | 15692 9116 137 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 48.9006 s Remaining CPU time: 131.099 s c =============================================================================== c | 64462 | 600 968 186300 | 5000 12934 138 | 0.000 % | c | 64562 | 600 968 186300 | 5500 3334 123 | 0.000 % | c | 64712 | 600 968 186300 | 6050 3484 124 | 0.000 % | c | 64937 | 600 968 186300 | 6655 3709 126 | 0.000 % | c | 65274 | 600 968 186300 | 7320 4046 127 | 0.000 % | c | 65780 | 600 968 186300 | 8052 4552 128 | 0.000 % | c | 66539 | 600 968 186300 | 8857 5311 130 | 0.000 % | c | 67678 | 600 968 186300 | 9743 6450 132 | 0.000 % | c | 69386 | 600 968 186300 | 10717 8158 133 | 0.000 % | c | 71948 | 600 968 186300 | 11789 10720 135 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 56.9543 s Remaining CPU time: 123.046 s c =============================================================================== c | 75676 | 600 969 186800 | 5000 8476 137 | 0.000 % | c | 75776 | 600 969 186800 | 5500 4338 134 | 0.000 % | c | 75926 | 600 969 186800 | 6050 4488 134 | 0.000 % | c | 76152 | 600 969 186800 | 6655 4714 134 | 0.000 % | c | 76490 | 600 969 186800 | 7320 5052 134 | 0.000 % | c | 76996 | 600 969 186800 | 8052 5558 134 | 0.000 % | c | 77755 | 600 969 186800 | 8857 6317 135 | 0.000 % | c | 78894 | 600 969 186800 | 9743 7456 135 | 0.000 % | c | 80602 | 600 969 186800 | 10717 9164 137 | 0.000 % | c | 83164 | 600 969 186800 | 11789 6293 132 | 0.000 % | c | 87008 | 600 969 186800 | 12968 10137 138 | 0.000 % | c | 92774 | 600 969 186800 | 14265 9327 138 | 0.000 % | c | 101423 | 600 969 186800 | 15692 10766 136 | 0.000 % | c | 114398 | 600 969 186800 | 17261 15815 140 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 89.8233 s Remaining CPU time: 90.1767 s c =============================================================================== c | 123291 | 600 970 187300 | 5000 16005 140 | 0.000 % | c | 123391 | 600 970 187300 | 5500 4102 137 | 0.000 % | c | 123541 | 600 970 187300 | 6050 4252 136 | 0.000 % | c | 123766 | 600 970 187300 | 6655 4477 136 | 0.000 % | c | 124104 | 600 970 187300 | 7320 4815 136 | 0.000 % | c | 124610 | 600 970 187300 | 8052 5321 136 | 0.000 % | c | 125369 | 600 970 187300 | 8857 6080 135 | 0.000 % | c | 126508 | 600 970 187300 | 9743 7219 134 | 0.000 % | c | 128216 | 600 970 187300 | 10717 8927 135 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 94.5826 s Remaining CPU time: 85.4174 s c =============================================================================== c | 129917 | 600 971 187800 | 5000 10628 135 | 0.000 % | c | 130017 | 600 971 187800 | 5500 2757 120 | 0.000 % | c | 130167 | 600 971 187800 | 6050 2907 122 | 0.000 % | c | 130392 | 600 971 187800 | 6655 3132 123 | 0.000 % | c | 130729 | 600 971 187800 | 7320 3469 124 | 0.000 % | c | 131235 | 600 971 187800 | 8052 3975 124 | 0.000 % | c | 131994 | 600 971 187800 | 8857 4734 124 | 0.000 % | c | 133133 | 600 971 187800 | 9743 5873 126 | 0.000 % | c | 134841 | 600 971 187800 | 10717 7581 128 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 97.8581 s Remaining CPU time: 82.1419 s c =============================================================================== c | 135035 | 600 972 188300 | 5000 7775 128 | 0.000 % | c | 135135 | 600 972 188300 | 5500 3988 122 | 0.000 % | c | 135285 | 600 972 188300 | 6050 4138 121 | 0.000 % | c | 135510 | 600 972 188300 | 6655 4363 121 | 0.000 % | c | 135847 | 600 972 188300 | 7320 4700 123 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 98.493 s Remaining CPU time: 81.507 s c =============================================================================== c | 135989 | 600 973 188800 | 5000 4842 121 | 0.000 % | c | 136089 | 600 973 188800 | 5500 4942 121 | 0.000 % | c | 136239 | 600 973 188800 | 6050 5092 121 | 0.000 % | c | 136464 | 600 973 188800 | 6655 5317 122 | 0.000 % | c | 136801 | 600 973 188800 | 7320 5654 122 | 0.000 % | c | 137307 | 600 973 188800 | 8052 6160 123 | 0.000 % | c | 138066 | 600 973 188800 | 8857 6919 123 | 0.000 % | c | 139205 | 600 973 188800 | 9743 8058 125 | 0.000 % | c | 140913 | 600 973 188800 | 10717 9766 126 | 0.000 % | c | 143475 | 600 973 188800 | 11789 6888 126 | 0.000 % | c | 147319 | 600 973 188800 | 12968 10732 130 | 0.000 % | c | 153085 | 600 973 188800 | 14265 9933 133 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 114.676 s Remaining CPU time: 65.3244 s c =============================================================================== c | 158723 | 600 974 189300 | 5000 8365 129 | 0.000 % | c | 158823 | 600 974 189300 | 5500 4283 124 | 0.000 % | c | 158973 | 600 974 189300 | 6050 4433 124 | 0.000 % | c | 159198 | 600 974 189300 | 6655 4658 124 | 0.000 % | c | 159535 | 600 974 189300 | 7320 4995 124 | 0.000 % | c | 160041 | 600 974 189300 | 8052 5501 125 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 116.107 s Remaining CPU time: 63.8927 s c =============================================================================== c | 160479 | 600 975 189800 | 5000 5939 126 | 0.000 % | c | 160579 | 600 975 189800 | 5500 3070 121 | 0.000 % | c | 160729 | 600 975 189800 | 6050 3220 121 | 0.000 % | c | 160954 | 600 975 189800 | 6655 3445 121 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 116.731 s Remaining CPU time: 63.2687 s c =============================================================================== c | 161184 | 600 976 190300 | 5000 3675 122 | 0.000 % | c | 161284 | 600 976 190300 | 5500 3775 122 | 0.000 % | c | 161437 | 600 976 190300 | 6050 3928 123 | 0.000 % | c | 161662 | 600 976 190300 | 6655 4153 123 | 0.000 % | c | 161999 | 600 976 190300 | 7320 4490 124 | 0.000 % | c | 162505 | 600 976 190300 | 8052 4996 125 | 0.000 % | c | 163264 | 600 976 190300 | 8857 5755 126 | 0.000 % | c | 164403 | 600 976 190300 | 9743 6894 127 | 0.000 % | c | 166111 | 600 976 190300 | 10717 8602 128 | 0.000 % | c | 168673 | 600 976 190300 | 11789 5735 125 | 0.000 % | c | 172518 | 600 976 190300 | 12968 9580 128 | 0.000 % | c | 178284 | 600 976 190300 | 14265 8793 128 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 131.038 s Remaining CPU time: 48.9619 s c =============================================================================== c | 181172 | 600 977 190800 | 5000 11681 129 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 131.154 s Remaining CPU time: 48.8459 s c =============================================================================== c | 181240 | 600 978 191300 | 5000 2989 119 | 0.000 % | c | 181341 | 600 978 191300 | 5500 3090 117 | 0.000 % | c | 181492 | 600 978 191300 | 6050 3241 118 | 0.000 % | c | 181718 | 600 978 191300 | 6655 3467 114 | 0.000 % | c | 182056 | 600 978 191300 | 7320 3805 113 | 0.000 % | c | 182562 | 600 978 191300 | 8052 4311 111 | 0.000 % | c | 183323 | 600 978 191300 | 8857 5072 113 | 0.000 % | c | 184462 | 600 978 191300 | 9743 6211 117 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 134.087 s Remaining CPU time: 45.9134 s c =============================================================================== c | 185461 | 600 979 191800 | 5000 7210 117 | 0.000 % | c | 185562 | 600 979 191800 | 5500 3706 115 | 0.000 % | c | 185712 | 600 979 191800 | 6050 3856 115 | 0.000 % | c | 185939 | 600 979 191800 | 6655 4083 115 | 0.000 % | c | 186277 | 600 979 191800 | 7320 4421 115 | 0.000 % | c | 186783 | 600 979 191800 | 8052 4927 114 | 0.000 % | c | 187542 | 600 979 191800 | 8857 5686 115 | 0.000 % | c | 188682 | 600 979 191800 | 9743 6826 117 | 0.000 % | c | 190390 | 600 979 191800 | 10717 8534 119 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 138.408 s Remaining CPU time: 41.592 s c =============================================================================== c | 192425 | 600 980 192300 | 5000 10569 121 | 0.000 % | c | 192525 | 600 980 192300 | 5500 2743 117 | 0.000 % | c | 192675 | 600 980 192300 | 6050 2893 118 | 0.000 % | c | 192900 | 600 980 192300 | 6655 3118 119 | 0.000 % | c | 193237 | 600 980 192300 | 7320 3455 119 | 0.000 % | c | 193743 | 600 980 192300 | 8052 3961 120 | 0.000 % | c | 194502 | 600 980 192300 | 8857 4720 120 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 140.361 s Remaining CPU time: 39.6393 s c =============================================================================== c | 195155 | 600 981 192800 | 5000 5373 121 | 0.000 % | c | 195255 | 600 981 192800 | 5500 2787 113 | 0.000 % | c | 195405 | 600 981 192800 | 6050 2937 114 | 0.000 % | c | 195630 | 600 981 192800 | 6655 3162 114 | 0.000 % | c | 195967 | 600 981 192800 | 7320 3499 116 | 0.000 % | c | 196473 | 600 981 192800 | 8052 4005 117 | 0.000 % | c | 197232 | 600 981 192800 | 8857 4764 118 | 0.000 % | c | 198371 | 600 981 192800 | 9743 5903 120 | 0.000 % | c | 200079 | 600 981 192800 | 10717 7611 122 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 144.181 s Remaining CPU time: 35.8189 s c =============================================================================== c | 200357 | 600 982 193300 | 5000 7889 122 | 0.000 % | c | 200457 | 600 982 193300 | 5500 4045 117 | 0.000 % | c | 200607 | 600 982 193300 | 6050 4195 117 | 0.000 % | c | 200832 | 600 982 193300 | 6655 4420 118 | 0.000 % | c | 201169 | 600 982 193300 | 7320 4757 118 | 0.000 % | c | 201677 | 600 982 193300 | 8052 5265 118 | 0.000 % | c | 202436 | 600 982 193300 | 8857 6024 118 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 146.028 s Remaining CPU time: 33.9722 s c =============================================================================== c | 202861 | 600 983 193800 | 5000 6449 119 | 0.000 % | c | 202961 | 600 983 193800 | 5500 3325 111 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 146.259 s Remaining CPU time: 33.7412 s c =============================================================================== c | 203060 | 600 984 194300 | 5000 3424 112 | 0.000 % | c | 203160 | 600 984 194300 | 5500 3524 112 | 0.000 % | c | 203312 | 600 984 194300 | 6050 3676 112 | 0.000 % | c | 203537 | 600 984 194300 | 6655 3901 112 | 0.000 % | c | 203874 | 600 984 194300 | 7320 4238 113 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 147.062 s Remaining CPU time: 32.9384 s c =============================================================================== c | 204093 | 600 985 194800 | 5000 4457 113 | 0.000 % | c | 204193 | 600 985 194800 | 5500 4557 113 | 0.000 % | c | 204343 | 600 985 194800 | 6050 4707 113 | 0.000 % | c | 204568 | 600 985 194800 | 6655 4932 114 | 0.000 % | c | 204905 | 600 985 194800 | 7320 5269 114 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 148.112 s Remaining CPU time: 31.8875 s c =============================================================================== c | 205297 | 600 986 195300 | 5000 5661 115 | 0.000 % | c | 205397 | 600 986 195300 | 5500 2931 110 | 0.000 % | c | 205547 | 600 986 195300 | 6050 3081 110 | 0.000 % | c | 205772 | 600 986 195300 | 6655 3306 111 | 0.000 % | c | 206109 | 600 986 195300 | 7320 3643 112 | 0.000 % | c | 206615 | 600 986 195300 | 8052 4149 114 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 149.182 s Remaining CPU time: 30.8177 s c =============================================================================== c | 206627 | 600 987 195800 | 5000 4161 114 | 0.000 % | c | 206727 | 600 987 195800 | 5500 4261 114 | 0.000 % | c | 206877 | 600 987 195800 | 6050 4411 114 | 0.000 % | c | 207102 | 600 987 195800 | 6655 4636 113 | 0.000 % | c | 207439 | 600 987 195800 | 7320 4973 113 | 0.000 % | c | 207945 | 600 987 195800 | 8052 5479 114 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 150.696 s Remaining CPU time: 29.3039 s c =============================================================================== c | 208695 | 600 988 196300 | 5000 6229 114 | 0.000 % | c | 208795 | 600 988 196300 | 5500 3215 105 | 0.000 % | c | 208946 | 600 988 196300 | 6050 3366 105 | 0.000 % | c | 209171 | 600 988 196300 | 6655 3591 105 | 0.000 % | c | 209508 | 600 988 196300 | 7320 3928 106 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 151.264 s Remaining CPU time: 28.736 s c =============================================================================== c | 209535 | 600 989 196800 | 5000 3955 106 | 0.000 % | c | 209635 | 600 989 196800 | 5500 4055 106 | 0.000 % | c | 209785 | 600 989 196800 | 6050 4205 105 | 0.000 % | c | 210010 | 600 989 196800 | 6655 4430 104 | 0.000 % | c | 210347 | 600 989 196800 | 7320 4767 104 | 0.000 % | c | 210853 | 600 989 196800 | 8052 5273 106 | 0.000 % | c | 211612 | 600 989 196800 | 8857 6032 106 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 152.514 s Remaining CPU time: 27.4862 s c =============================================================================== c | 211612 | 600 990 197300 | 5000 6032 106 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 152.547 s Remaining CPU time: 27.4532 s c =============================================================================== c | 211613 | 600 991 197800 | 5000 3017 97 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 152.571 s Remaining CPU time: 27.4292 s c =============================================================================== c | 211613 | 600 992 198300 | 5000 3017 97 | 0.000 % | c | 211713 | 600 992 198300 | 5500 3117 96 | 0.000 % | c | 211863 | 600 992 198300 | 6050 3267 97 | 0.000 % | c | 212088 | 600 992 198300 | 6655 3492 93 | 0.000 % | c | 212425 | 600 992 198300 | 7320 3829 95 | 0.000 % | c | 212931 | 600 992 198300 | 8052 4335 94 | 0.000 % | c | 213690 | 600 992 198300 | 8857 5094 97 | 0.000 % | c | 214830 | 600 992 198300 | 9743 6234 100 | 0.000 % | c | 216540 | 600 992 198300 | 10717 7944 103 | 0.000 % | c | 219102 | 600 992 198300 | 11789 10506 106 | 0.000 % | c | 222948 | 600 992 198300 | 12968 8388 111 | 0.000 % | c | 228714 | 600 992 198300 | 14265 7606 111 | 0.000 % | c | 237363 | 600 992 198300 | 15692 9057 114 | 0.000 % | c | 250337 | 600 992 198300 | 17261 14119 115 | 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 1499 2318 | 5000 0 nan | 0.000 % | c | 101 | 98 1499 2318 | 5500 101 33 | 83.833 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 614 1500 78089 | 5000 0 nan | 0.000 % | c | 102 | 614 1500 78089 | 5500 102 56 | 28.355 % | c | 252 | 614 1500 78089 | 6050 252 34 | 28.355 % | c | 478 | 614 1500 78089 | 6655 478 26 | 28.355 % | c | 815 | 614 1500 78089 | 7320 815 23 | 28.355 % | c | 1321 | 614 1500 78089 | 8052 1321 23 | 28.355 % | c | 2080 | 614 1500 78089 | 8857 2080 25 | 28.355 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1333 1502 195298 | 5000 0 nan | 0.000 % | c | 100 | 1333 1502 195298 | 5500 100 54 | 0.819 % | c | 250 | 1333 1502 195298 | 6050 250 38 | 0.819 % | c | 477 | 1333 1502 195298 | 6655 477 27 | 0.819 % | c | 814 | 1333 1502 195298 | 7320 814 21 | 0.819 % | c | 1322 | 1333 1502 195298 | 8052 1322 19 | 0.819 % | c | 2083 | 1333 1502 195298 | 8857 2083 16 | 0.819 % | c | 3222 | 1333 1502 195298 | 9743 3222 16 | 0.819 % | c | 4930 | 1333 1502 195298 | 10717 4930 15 | 0.819 % | c | 7492 | 1333 1502 195298 | 11789 7492 14 | 0.819 % | c | 11336 | 1333 1502 195298 | 12968 11336 14 | 0.819 % | c | 17103 | 1333 1502 195298 | 14265 10595 15 | 0.819 % | c | 25752 | 1333 1502 195298 | 15692 12096 15 | 0.819 % | c | 38726 | 1333 1502 195298 | 17261 9339 13 | 0.819 % | c | 58187 | 1332 1502 195298 | 18987 14507 12 | 0.893 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1836 1503 200296 | 5000 0 nan | 0.000 % | c | 100 | 1836 1503 200296 | 5500 100 50 | 0.163 % | c | 251 | 1836 1503 200296 | 6050 251 89 | 0.163 % | c | 476 | 1836 1503 200296 | 6655 476 84 | 0.163 % | c | 813 | 1836 1503 200296 | 7320 813 96 | 0.163 % | c | 1319 | 1836 1503 200296 | 8052 1319 90 | 0.163 % | c | 2081 | 1836 1503 200296 | 8857 2081 99 | 0.163 % | c | 3220 | 1836 1503 200296 | 9743 3220 104 | 0.163 % | c | 4928 | 1836 1503 200296 | 10717 4928 108 | 0.163 % | c | 7492 | 1836 1503 200296 | 11789 7492 110 | 0.163 % | c | 11336 | 1836 1503 200296 | 12968 11336 112 | 0.163 % | c | 17104 | 1836 1503 200296 | 14265 10554 113 | 0.163 % | c | 25753 | 1836 1503 200296 | 15692 12008 113 | 0.163 % | c | 38727 | 1836 1503 200296 | 17261 9148 111 | 0.163 % | c | 58188 | 1836 1503 200296 | 18987 11204 111 | 0.163 % | c | 87381 | 1836 1503 200296 | 20886 11702 113 | 0.163 % | c | 131170 | 1836 1503 200296 | 22974 13458 114 | 0.163 % | c | 196854 | 1836 1503 200296 | 25272 20131 114 | 0.163 % | c | 295383 | 1836 1503 200296 | 27799 20547 115 | 0.163 % | c | 443172 | 1836 1503 200296 | 30579 26581 25 | 0.163 % | c Memory used : 367.27 MB c CPU time : 1800 s c c Total CPU time: 1800 s