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.002999 s Remaining CPU time: 179.997 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.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 600 603 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 600 604 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 600 605 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 600 606 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 607 5800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 608 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 600 609 6800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 600 610 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 600 611 7800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 600 612 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 600 613 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 600 614 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 600 615 9800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 600 616 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 600 617 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 600 618 11300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 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.024996 s Remaining CPU time: 179.975 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.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 600 624 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 600 625 14800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 600 626 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 600 627 15800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 600 628 16300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 600 629 16800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 600 630 17300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 600 631 17800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 600 632 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 600 633 18800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 600 634 19300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 600 635 19800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 600 636 20300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 600 637 20800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 600 638 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 600 639 21800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 600 640 22300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 600 641 22800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 600 642 23300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 600 643 23800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 600 644 24300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 600 645 24800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 600 646 25300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 600 647 25800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 600 648 26300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 600 649 26800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 1 | 600 650 27300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1 | 600 651 27800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 600 652 28300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 2 | 600 653 28800 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 2 | 600 654 29300 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 2 | 600 655 29800 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 2 | 600 656 30300 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 3 | 600 657 30800 | 5000 3 153 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 3 | 600 658 31300 | 5000 3 153 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 3 | 600 659 31800 | 5000 3 153 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 3 | 600 660 32300 | 5000 3 153 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 5 | 600 661 32800 | 5000 5 94 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 6 | 600 662 33300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 6 | 600 663 33800 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 6 | 600 664 34300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 6 | 600 665 34800 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 6 | 600 666 35300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 6 | 600 667 35800 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 6 | 600 668 36300 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 6 | 600 669 36800 | 5000 6 80 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 7 | 600 670 37300 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 7 | 600 671 37800 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 7 | 600 672 38300 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 7 | 600 673 38800 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 7 | 600 674 39300 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 7 | 600 675 39800 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 7 | 600 676 40300 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 7 | 600 677 40800 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 7 | 600 678 41300 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 7 | 600 679 41800 | 5000 7 131 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 8 | 600 680 42300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 8 | 600 681 42800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 8 | 600 682 43300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 8 | 600 683 43800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 8 | 600 684 44300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 8 | 600 685 44800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 8 | 600 686 45300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 8 | 600 687 45800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 8 | 600 688 46300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 8 | 600 689 46800 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 8 | 600 690 47300 | 5000 8 115 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 9 | 600 691 47800 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 9 | 600 692 48300 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 9 | 600 693 48800 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 10 | 600 694 49300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 10 | 600 695 49800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 10 | 600 696 50300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 10 | 600 697 50800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 10 | 600 698 51300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 10 | 600 699 51800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 10 | 600 700 52300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 10 | 600 701 52800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 10 | 600 702 53300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 10 | 600 703 53800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 10 | 600 704 54300 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 10 | 600 705 54800 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 11 | 600 706 55300 | 5000 11 85 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 11 | 600 707 55800 | 5000 11 85 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 11 | 600 708 56300 | 5000 11 85 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 13 | 600 709 56800 | 5000 13 103 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 13 | 600 710 57300 | 5000 13 103 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 13 | 600 711 57800 | 5000 13 103 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 13 | 600 712 58300 | 5000 13 103 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 13 | 600 713 58800 | 5000 13 103 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 13 | 600 714 59300 | 5000 13 103 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 17 | 600 715 59800 | 5000 17 81 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 19 | 600 716 60300 | 5000 19 74 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 20 | 600 717 60800 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 20 | 600 718 61300 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 20 | 600 719 61800 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 20 | 600 720 62300 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 20 | 600 721 62800 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 20 | 600 722 63300 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 20 | 600 723 63800 | 5000 20 90 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 21 | 600 724 64300 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 21 | 600 725 64800 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 21 | 600 726 65300 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 21 | 600 727 65800 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 23 | 600 728 66300 | 5000 23 79 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 23 | 600 729 66800 | 5000 23 79 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 23 | 600 730 67300 | 5000 23 79 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 23 | 600 731 67800 | 5000 23 79 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 23 | 600 732 68300 | 5000 23 79 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 24 | 600 733 68800 | 5000 24 76 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s c =============================================================================== c | 24 | 600 734 69300 | 5000 24 76 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 24 | 600 735 69800 | 5000 24 76 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 25 | 600 736 70300 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 25 | 600 737 70800 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 25 | 600 738 71300 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 25 | 600 739 71800 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 27 | 600 740 72300 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s c =============================================================================== c | 27 | 600 741 72800 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 27 | 600 742 73300 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 27 | 600 743 73800 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 27 | 600 744 74300 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 27 | 600 745 74800 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 27 | 600 746 75300 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 27 | 600 747 75800 | 5000 27 95 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 28 | 600 748 76300 | 5000 28 91 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 28 | 600 749 76800 | 5000 28 91 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s c =============================================================================== c | 28 | 600 750 77300 | 5000 28 91 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 28 | 600 751 77800 | 5000 28 91 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 28 | 600 752 78300 | 5000 28 91 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 28 | 600 753 78800 | 5000 28 91 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 28 | 600 754 79300 | 5000 28 91 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 29 | 600 755 79800 | 5000 29 89 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 30 | 600 756 80300 | 5000 30 86 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.14882 s Remaining CPU time: 178.851 s c =============================================================================== c | 30 | 600 757 80800 | 5000 30 86 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 30 | 600 758 81300 | 5000 30 86 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 30 | 600 759 81800 | 5000 30 86 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 32 | 600 760 82300 | 5000 32 81 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 33 | 600 761 82800 | 5000 33 79 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 33 | 600 762 83300 | 5000 33 79 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.24381 s Remaining CPU time: 178.756 s c =============================================================================== c | 33 | 600 763 83800 | 5000 33 79 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.25981 s Remaining CPU time: 178.74 s c =============================================================================== c | 34 | 600 764 84300 | 5000 34 77 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.27481 s Remaining CPU time: 178.725 s c =============================================================================== c | 34 | 600 765 84800 | 5000 34 77 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 35 | 600 766 85300 | 5000 35 75 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 1.3068 s Remaining CPU time: 178.693 s c =============================================================================== c | 35 | 600 767 85800 | 5000 35 75 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 35 | 600 768 86300 | 5000 35 75 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 36 | 600 769 86800 | 5000 36 82 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 37 | 600 770 87300 | 5000 37 80 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 37 | 600 771 87800 | 5000 37 80 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 38 | 600 772 88300 | 5000 38 87 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 1.40979 s Remaining CPU time: 178.59 s c =============================================================================== c | 38 | 600 773 88800 | 5000 38 87 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 38 | 600 774 89300 | 5000 38 87 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 38 | 600 775 89800 | 5000 38 87 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 38 | 600 776 90300 | 5000 38 87 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 40 | 600 777 90800 | 5000 40 99 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 40 | 600 778 91300 | 5000 40 99 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 40 | 600 779 91800 | 5000 40 99 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 1.53277 s Remaining CPU time: 178.467 s c =============================================================================== c | 40 | 600 780 92300 | 5000 40 99 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 1.55076 s Remaining CPU time: 178.449 s c =============================================================================== c | 40 | 600 781 92800 | 5000 40 99 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 40 | 600 782 93300 | 5000 40 99 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 1.58676 s Remaining CPU time: 178.413 s c =============================================================================== c | 40 | 600 783 93800 | 5000 40 99 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 1.60376 s Remaining CPU time: 178.396 s c =============================================================================== c | 41 | 600 784 94300 | 5000 41 97 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s c =============================================================================== c | 41 | 600 785 94800 | 5000 41 97 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 41 | 600 786 95300 | 5000 41 97 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 1.65875 s Remaining CPU time: 178.341 s c =============================================================================== c | 41 | 600 787 95800 | 5000 41 97 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 1.67774 s Remaining CPU time: 178.322 s c =============================================================================== c | 41 | 600 788 96300 | 5000 41 97 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 1.69774 s Remaining CPU time: 178.302 s c =============================================================================== c | 53 | 600 789 96800 | 5000 53 91 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 1.71874 s Remaining CPU time: 178.281 s c =============================================================================== c | 56 | 600 790 97300 | 5000 56 98 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 1.73774 s Remaining CPU time: 178.262 s c =============================================================================== c | 56 | 600 791 97800 | 5000 56 98 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 1.75773 s Remaining CPU time: 178.242 s c =============================================================================== c | 57 | 600 792 98300 | 5000 57 96 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 57 | 600 793 98800 | 5000 57 96 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 57 | 600 794 99300 | 5000 57 96 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 1.81572 s Remaining CPU time: 178.184 s c =============================================================================== c | 57 | 600 795 99800 | 5000 57 96 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 59 | 600 796 100300 | 5000 59 93 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 1.85572 s Remaining CPU time: 178.144 s c =============================================================================== c | 59 | 600 797 100800 | 5000 59 93 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 59 | 600 798 101300 | 5000 59 93 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 59 | 600 799 101800 | 5000 59 93 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 1.91571 s Remaining CPU time: 178.084 s c =============================================================================== c | 59 | 600 800 102300 | 5000 59 93 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 1.93571 s Remaining CPU time: 178.064 s c =============================================================================== c | 60 | 600 801 102800 | 5000 60 92 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 1.9557 s Remaining CPU time: 178.044 s c =============================================================================== c | 60 | 600 802 103300 | 5000 60 92 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 1.9757 s Remaining CPU time: 178.024 s c =============================================================================== c | 61 | 600 803 103800 | 5000 61 90 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 1.9957 s Remaining CPU time: 178.004 s c =============================================================================== c | 61 | 600 804 104300 | 5000 61 90 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 2.01669 s Remaining CPU time: 177.983 s c =============================================================================== c | 62 | 600 805 104800 | 5000 62 89 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 2.03569 s Remaining CPU time: 177.964 s c =============================================================================== c | 62 | 600 806 105300 | 5000 62 89 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 62 | 600 807 105800 | 5000 62 89 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 2.07768 s Remaining CPU time: 177.922 s c =============================================================================== c | 62 | 600 808 106300 | 5000 62 89 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 2.09868 s Remaining CPU time: 177.901 s c =============================================================================== c | 62 | 600 809 106800 | 5000 62 89 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 2.11868 s Remaining CPU time: 177.881 s c =============================================================================== c | 62 | 600 810 107300 | 5000 62 89 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 2.14067 s Remaining CPU time: 177.859 s c =============================================================================== c | 63 | 600 811 107800 | 5000 63 88 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 2.16267 s Remaining CPU time: 177.837 s c =============================================================================== c | 63 | 600 812 108300 | 5000 63 88 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 2.18367 s Remaining CPU time: 177.816 s c =============================================================================== c | 63 | 600 813 108800 | 5000 63 88 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.20366 s Remaining CPU time: 177.796 s c =============================================================================== c | 63 | 600 814 109300 | 5000 63 88 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.22566 s Remaining CPU time: 177.774 s c =============================================================================== c | 64 | 600 815 109800 | 5000 64 86 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.24766 s Remaining CPU time: 177.752 s c =============================================================================== c | 66 | 600 816 110300 | 5000 66 93 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.26965 s Remaining CPU time: 177.73 s c =============================================================================== c | 72 | 600 817 110800 | 5000 72 90 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 75 | 600 818 111300 | 5000 75 98 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 2.31365 s Remaining CPU time: 177.686 s c =============================================================================== c | 75 | 600 819 111800 | 5000 75 98 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 2.33564 s Remaining CPU time: 177.664 s c =============================================================================== c | 77 | 600 820 112300 | 5000 77 96 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s c =============================================================================== c | 79 | 600 821 112800 | 5000 79 94 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.37864 s Remaining CPU time: 177.621 s c =============================================================================== c | 80 | 600 822 113300 | 5000 80 96 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.40663 s Remaining CPU time: 177.593 s c =============================================================================== c | 90 | 600 823 113800 | 5000 90 111 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.42963 s Remaining CPU time: 177.57 s c =============================================================================== c | 95 | 600 824 114300 | 5000 95 109 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.45363 s Remaining CPU time: 177.546 s c =============================================================================== c | 97 | 600 825 114800 | 5000 97 112 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 2.47562 s Remaining CPU time: 177.524 s c =============================================================================== c | 98 | 600 826 115300 | 5000 98 111 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s c =============================================================================== c | 106 | 600 827 115800 | 5000 106 105 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s c =============================================================================== c | 114 | 600 828 116300 | 5000 114 117 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 2.55061 s Remaining CPU time: 177.449 s c =============================================================================== c | 117 | 600 829 116800 | 5000 117 115 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 2.57861 s Remaining CPU time: 177.421 s c =============================================================================== c | 126 | 600 830 117300 | 5000 126 120 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 2.6046 s Remaining CPU time: 177.395 s c =============================================================================== c | 143 | 600 831 117800 | 5000 143 139 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 2.6276 s Remaining CPU time: 177.372 s c =============================================================================== c | 150 | 600 832 118300 | 5000 150 133 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 2.6506 s Remaining CPU time: 177.349 s c =============================================================================== c | 150 | 600 833 118800 | 5000 150 133 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 2.67459 s Remaining CPU time: 177.325 s c =============================================================================== c | 160 | 600 834 119300 | 5000 160 126 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s c =============================================================================== c | 163 | 600 835 119800 | 5000 163 129 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 166 | 600 836 120300 | 5000 166 131 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 2.74458 s Remaining CPU time: 177.255 s c =============================================================================== c | 166 | 600 837 120800 | 5000 166 131 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 2.76858 s Remaining CPU time: 177.231 s c =============================================================================== c | 168 | 600 838 121300 | 5000 168 133 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s c =============================================================================== c | 180 | 600 839 121800 | 5000 180 126 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 2.81357 s Remaining CPU time: 177.186 s c =============================================================================== c | 181 | 600 840 122300 | 5000 181 126 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 2.83757 s Remaining CPU time: 177.162 s c =============================================================================== c | 182 | 600 841 122800 | 5000 182 125 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 2.86156 s Remaining CPU time: 177.138 s c =============================================================================== c | 184 | 600 842 123300 | 5000 184 127 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 2.88556 s Remaining CPU time: 177.114 s c =============================================================================== c | 184 | 600 843 123800 | 5000 184 127 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 2.91056 s Remaining CPU time: 177.089 s c =============================================================================== c | 188 | 600 844 124300 | 5000 188 130 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 2.93455 s Remaining CPU time: 177.065 s c =============================================================================== c | 188 | 600 845 124800 | 5000 188 130 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 2.95855 s Remaining CPU time: 177.041 s c =============================================================================== c | 188 | 600 846 125300 | 5000 188 130 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 2.99554 s Remaining CPU time: 177.004 s c =============================================================================== c | 236 | 600 847 125800 | 5000 236 156 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 3.02054 s Remaining CPU time: 176.979 s c =============================================================================== c | 270 | 600 848 126300 | 5000 270 140 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 3.04954 s Remaining CPU time: 176.95 s c =============================================================================== c | 283 | 600 849 126800 | 5000 283 145 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 3.07553 s Remaining CPU time: 176.924 s c =============================================================================== c | 289 | 600 850 127300 | 5000 289 143 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 3.10153 s Remaining CPU time: 176.898 s c =============================================================================== c | 293 | 600 851 127800 | 5000 293 143 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.13852 s Remaining CPU time: 176.861 s c =============================================================================== c | 342 | 600 852 128300 | 5000 342 157 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 3.16352 s Remaining CPU time: 176.836 s c =============================================================================== c | 360 | 600 853 128800 | 5000 360 150 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 3.18851 s Remaining CPU time: 176.811 s c =============================================================================== c | 361 | 600 854 129300 | 5000 361 149 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 3.21351 s Remaining CPU time: 176.786 s c =============================================================================== c | 362 | 600 855 129800 | 5000 362 149 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 3.23751 s Remaining CPU time: 176.762 s c =============================================================================== c | 366 | 600 856 130300 | 5000 366 149 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 3.2625 s Remaining CPU time: 176.737 s c =============================================================================== c | 369 | 600 857 130800 | 5000 369 148 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 3.2875 s Remaining CPU time: 176.713 s c =============================================================================== c | 375 | 600 858 131300 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 3.3135 s Remaining CPU time: 176.687 s c =============================================================================== c | 375 | 600 859 131800 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 3.33949 s Remaining CPU time: 176.661 s c =============================================================================== c | 375 | 600 860 132300 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 3.36549 s Remaining CPU time: 176.635 s c =============================================================================== c | 375 | 600 861 132800 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 3.39148 s Remaining CPU time: 176.609 s c =============================================================================== c | 375 | 600 862 133300 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 3.41748 s Remaining CPU time: 176.583 s c =============================================================================== c | 375 | 600 863 133800 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 3.44348 s Remaining CPU time: 176.557 s c =============================================================================== c | 375 | 600 864 134300 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 3.46947 s Remaining CPU time: 176.531 s c =============================================================================== c | 375 | 600 865 134800 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 3.49547 s Remaining CPU time: 176.505 s c =============================================================================== c | 375 | 600 866 135300 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 3.52146 s Remaining CPU time: 176.479 s c =============================================================================== c | 375 | 600 867 135800 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 3.54746 s Remaining CPU time: 176.453 s c =============================================================================== c | 375 | 600 868 136300 | 5000 375 148 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 377 | 600 869 136800 | 5000 377 147 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 3.60145 s Remaining CPU time: 176.399 s c =============================================================================== c | 386 | 600 870 137300 | 5000 386 145 | 0.000 % | c | 487 | 600 870 137300 | 5500 487 164 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 3.69344 s Remaining CPU time: 176.307 s c =============================================================================== c | 511 | 600 871 137800 | 5000 511 157 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 513 | 600 872 138300 | 5000 513 158 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 3.74643 s Remaining CPU time: 176.254 s c =============================================================================== c | 517 | 600 873 138800 | 5000 517 158 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 3.77343 s Remaining CPU time: 176.227 s c =============================================================================== c | 528 | 600 874 139300 | 5000 528 157 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 3.79842 s Remaining CPU time: 176.202 s c =============================================================================== c | 528 | 600 875 139800 | 5000 528 157 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 3.82342 s Remaining CPU time: 176.177 s c =============================================================================== c | 531 | 600 876 140300 | 5000 531 156 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 3.84941 s Remaining CPU time: 176.151 s c =============================================================================== c | 531 | 600 877 140800 | 5000 531 156 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 3.87641 s Remaining CPU time: 176.124 s c =============================================================================== c | 532 | 600 878 141300 | 5000 532 156 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 3.90241 s Remaining CPU time: 176.098 s c =============================================================================== c | 533 | 600 879 141800 | 5000 533 156 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 3.9284 s Remaining CPU time: 176.072 s c =============================================================================== c | 537 | 600 880 142300 | 5000 537 155 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 3.9574 s Remaining CPU time: 176.043 s c =============================================================================== c | 543 | 600 881 142800 | 5000 543 156 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 3.98339 s Remaining CPU time: 176.017 s c =============================================================================== c | 545 | 600 882 143300 | 5000 545 155 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 4.01039 s Remaining CPU time: 175.99 s c =============================================================================== c | 548 | 600 883 143800 | 5000 548 154 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 4.03739 s Remaining CPU time: 175.963 s c =============================================================================== c | 548 | 600 884 144300 | 5000 548 154 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 4.06338 s Remaining CPU time: 175.937 s c =============================================================================== c | 548 | 600 885 144800 | 5000 548 154 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 4.08938 s Remaining CPU time: 175.911 s c =============================================================================== c | 548 | 600 886 145300 | 5000 548 154 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 4.11537 s Remaining CPU time: 175.885 s c =============================================================================== c | 549 | 600 887 145800 | 5000 549 154 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 4.14137 s Remaining CPU time: 175.859 s c =============================================================================== c | 550 | 600 888 146300 | 5000 550 154 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 4.16737 s Remaining CPU time: 175.833 s c =============================================================================== c | 551 | 600 889 146800 | 5000 551 154 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 4.19436 s Remaining CPU time: 175.806 s c =============================================================================== c | 551 | 600 890 147300 | 5000 551 154 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 4.22036 s Remaining CPU time: 175.78 s c =============================================================================== c | 551 | 600 891 147800 | 5000 551 154 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 4.24735 s Remaining CPU time: 175.753 s c =============================================================================== c | 556 | 600 892 148300 | 5000 556 152 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 4.27435 s Remaining CPU time: 175.726 s c =============================================================================== c | 557 | 600 893 148800 | 5000 557 153 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 4.30234 s Remaining CPU time: 175.698 s c =============================================================================== c | 558 | 600 894 149300 | 5000 558 153 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 4.32934 s Remaining CPU time: 175.671 s c =============================================================================== c | 558 | 600 895 149800 | 5000 558 153 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 4.35634 s Remaining CPU time: 175.644 s c =============================================================================== c | 559 | 600 896 150300 | 5000 559 153 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 4.38333 s Remaining CPU time: 175.617 s c =============================================================================== c | 560 | 600 897 150800 | 5000 560 153 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 4.41033 s Remaining CPU time: 175.59 s c =============================================================================== c | 561 | 600 898 151300 | 5000 561 153 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 4.43633 s Remaining CPU time: 175.564 s c =============================================================================== c | 563 | 600 899 151800 | 5000 563 153 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 4.46332 s Remaining CPU time: 175.537 s c =============================================================================== c | 564 | 600 900 152300 | 5000 564 153 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 4.49032 s Remaining CPU time: 175.51 s c =============================================================================== c | 564 | 600 901 152800 | 5000 564 153 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 4.51731 s Remaining CPU time: 175.483 s c =============================================================================== c | 565 | 600 902 153300 | 5000 565 153 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 4.54431 s Remaining CPU time: 175.456 s c =============================================================================== c | 566 | 600 903 153800 | 5000 566 153 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 4.5713 s Remaining CPU time: 175.429 s c =============================================================================== c | 567 | 600 904 154300 | 5000 567 153 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 4.5993 s Remaining CPU time: 175.401 s c =============================================================================== c | 593 | 600 905 154800 | 5000 593 148 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 4.64629 s Remaining CPU time: 175.354 s c =============================================================================== c | 612 | 600 906 155300 | 5000 612 149 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 4.67329 s Remaining CPU time: 175.327 s c =============================================================================== c | 618 | 600 907 155800 | 5000 618 148 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 4.70029 s Remaining CPU time: 175.3 s c =============================================================================== c | 620 | 600 908 156300 | 5000 620 148 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 4.72628 s Remaining CPU time: 175.274 s c =============================================================================== c | 622 | 600 909 156800 | 5000 622 147 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 4.75328 s Remaining CPU time: 175.247 s c =============================================================================== c | 623 | 600 910 157300 | 5000 623 147 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 4.77827 s Remaining CPU time: 175.222 s c =============================================================================== c | 623 | 600 911 157800 | 5000 623 147 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 4.80527 s Remaining CPU time: 175.195 s c =============================================================================== c | 623 | 600 912 158300 | 5000 623 147 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 4.83127 s Remaining CPU time: 175.169 s c =============================================================================== c | 623 | 600 913 158800 | 5000 623 147 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 4.85826 s Remaining CPU time: 175.142 s c =============================================================================== c | 625 | 600 914 159300 | 5000 625 147 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 4.88526 s Remaining CPU time: 175.115 s c =============================================================================== c | 629 | 600 915 159800 | 5000 629 146 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 4.91625 s Remaining CPU time: 175.084 s c =============================================================================== c | 645 | 600 916 160300 | 5000 645 146 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 4.94325 s Remaining CPU time: 175.057 s c =============================================================================== c | 647 | 600 917 160800 | 5000 647 146 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 4.96924 s Remaining CPU time: 175.031 s c =============================================================================== c | 653 | 600 918 161300 | 5000 653 145 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 4.99824 s Remaining CPU time: 175.002 s c =============================================================================== c | 662 | 600 919 161800 | 5000 662 145 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 5.03323 s Remaining CPU time: 174.967 s c =============================================================================== c | 689 | 600 920 162300 | 5000 689 145 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 5.05923 s Remaining CPU time: 174.941 s c =============================================================================== c | 698 | 600 921 162800 | 5000 698 144 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 5.08723 s Remaining CPU time: 174.913 s c =============================================================================== c | 708 | 600 922 163300 | 5000 708 143 | 0.000 % | c | 808 | 600 922 163300 | 5500 808 148 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 5.17121 s Remaining CPU time: 174.829 s c =============================================================================== c | 860 | 600 923 163800 | 5000 860 141 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 5.2882 s Remaining CPU time: 174.712 s c =============================================================================== c | 940 | 600 924 164300 | 5000 940 144 | 0.000 % | c | 1041 | 600 924 164300 | 5500 1041 134 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 5.42417 s Remaining CPU time: 174.576 s c =============================================================================== c | 1166 | 600 925 164800 | 5000 1166 139 | 0.000 % | c | 1267 | 600 925 164800 | 5500 1267 131 | 0.000 % | c | 1418 | 600 925 164800 | 6050 1418 136 | 0.000 % | c | 1643 | 600 925 164800 | 6655 1643 135 | 0.000 % | c | 1980 | 600 925 164800 | 7320 1980 130 | 0.000 % | c | 2486 | 600 925 164800 | 8052 2486 132 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 6.19206 s Remaining CPU time: 173.808 s c =============================================================================== c | 2639 | 600 926 165300 | 5000 2639 128 | 0.000 % | c | 2741 | 600 926 165300 | 5500 2741 130 | 0.000 % | c | 2892 | 600 926 165300 | 6050 2892 125 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 6.602 s Remaining CPU time: 173.398 s c =============================================================================== c | 3068 | 600 927 165800 | 5000 3068 128 | 0.000 % | c | 3170 | 600 927 165800 | 5500 3170 126 | 0.000 % | c | 3322 | 600 927 165800 | 6050 3322 128 | 0.000 % | c | 3547 | 600 927 165800 | 6655 3547 129 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 6.95894 s Remaining CPU time: 173.041 s c =============================================================================== c | 3710 | 600 928 166300 | 5000 3710 125 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 7.03093 s Remaining CPU time: 172.969 s c =============================================================================== c | 3785 | 600 929 166800 | 5000 3785 126 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 7.06093 s Remaining CPU time: 172.939 s c =============================================================================== c | 3834 | 600 930 167300 | 5000 3834 125 | 0.000 % | c | 3935 | 600 930 167300 | 5500 3935 126 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 7.2409 s Remaining CPU time: 172.759 s c =============================================================================== c | 3951 | 600 931 167800 | 5000 3951 126 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 7.27089 s Remaining CPU time: 172.729 s c =============================================================================== c | 3953 | 600 932 168300 | 5000 3953 126 | 0.000 % | c | 4053 | 600 932 168300 | 5500 4053 127 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 7.35788 s Remaining CPU time: 172.642 s c =============================================================================== c | 4086 | 600 933 168800 | 5000 4086 126 | 0.000 % | c | 4188 | 600 933 168800 | 5500 4188 127 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 7.53885 s Remaining CPU time: 172.461 s c =============================================================================== c | 4309 | 600 934 169300 | 5000 4309 125 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 7.64884 s Remaining CPU time: 172.351 s c =============================================================================== c | 4371 | 600 935 169800 | 5000 4371 126 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 7.67683 s Remaining CPU time: 172.323 s c =============================================================================== c | 4392 | 600 936 170300 | 5000 4392 125 | 0.000 % | c | 4492 | 600 936 170300 | 5500 4492 126 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 7.75982 s Remaining CPU time: 172.24 s c =============================================================================== c | 4590 | 600 937 170800 | 5000 4590 124 | 0.000 % | c | 4692 | 600 937 170800 | 5500 4692 125 | 0.000 % | c | 4843 | 600 937 170800 | 6050 4843 123 | 0.000 % | c | 5069 | 600 937 170800 | 6655 5069 125 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 8.45371 s Remaining CPU time: 171.546 s c =============================================================================== c | 5359 | 600 938 171300 | 5000 5359 126 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 8.48871 s Remaining CPU time: 171.511 s c =============================================================================== c | 5396 | 600 939 171800 | 5000 2717 113 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 8.5807 s Remaining CPU time: 171.419 s c =============================================================================== c | 5478 | 600 940 172300 | 5000 2799 114 | 0.000 % | c | 5578 | 600 940 172300 | 5500 2899 112 | 0.000 % | c | 5730 | 600 940 172300 | 6050 3051 115 | 0.000 % | c | 5955 | 600 940 172300 | 6655 3276 109 | 0.000 % | c | 6292 | 600 940 172300 | 7320 3613 115 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 9.45456 s Remaining CPU time: 170.545 s c =============================================================================== c | 6407 | 600 941 172800 | 5000 3728 112 | 0.000 % | c | 6507 | 600 941 172800 | 5500 3828 114 | 0.000 % | c | 6658 | 600 941 172800 | 6050 3979 111 | 0.000 % | c | 6883 | 600 941 172800 | 6655 4204 114 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 9.96448 s Remaining CPU time: 170.036 s c =============================================================================== c | 6964 | 600 942 173300 | 5000 4285 112 | 0.000 % | c | 7065 | 600 942 173300 | 5500 4386 114 | 0.000 % | c | 7215 | 600 942 173300 | 6050 4536 115 | 0.000 % | c | 7443 | 600 942 173300 | 6655 4764 113 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 10.4474 s Remaining CPU time: 169.553 s c =============================================================================== c | 7641 | 600 943 173800 | 5000 4962 112 | 0.000 % | c | 7741 | 600 943 173800 | 5500 5062 112 | 0.000 % | c | 7891 | 600 943 173800 | 6050 5212 110 | 0.000 % | c | 8116 | 600 943 173800 | 6655 5437 112 | 0.000 % | c | 8453 | 600 943 173800 | 7320 5774 115 | 0.000 % | c | 8960 | 600 943 173800 | 8052 6281 116 | 0.000 % | c | 9720 | 600 943 173800 | 8857 7041 116 | 0.000 % | c | 10859 | 600 943 173800 | 9743 8180 122 | 0.000 % | c | 12567 | 600 943 173800 | 10717 9888 127 | 0.000 % | c | 15129 | 600 943 173800 | 11789 7005 145 | 0.000 % | c | 18974 | 600 943 173800 | 12968 10850 151 | 0.000 % | c | 24740 | 600 943 173800 | 14265 10040 157 | 0.000 % | c | 33390 | 600 943 173800 | 15692 11461 158 | 0.000 % | c | 46364 | 600 943 173800 | 17261 8559 159 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 48.4856 s Remaining CPU time: 131.514 s c =============================================================================== c | 62023 | 600 944 174300 | 5000 15492 162 | 0.000 % | c | 62124 | 600 944 174300 | 5500 3974 153 | 0.000 % | c | 62276 | 600 944 174300 | 6050 4126 153 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 48.8496 s Remaining CPU time: 131.15 s c =============================================================================== c | 62396 | 600 945 174800 | 5000 4246 150 | 0.000 % | c | 62497 | 600 945 174800 | 5500 4347 150 | 0.000 % | c | 62647 | 600 945 174800 | 6050 4497 150 | 0.000 % | c | 62876 | 600 945 174800 | 6655 4726 144 | 0.000 % | c | 63213 | 600 945 174800 | 7320 5063 146 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 49.6355 s Remaining CPU time: 130.365 s c =============================================================================== c | 63376 | 600 946 175300 | 5000 5226 142 | 0.000 % | c | 63477 | 600 946 175300 | 5500 2714 123 | 0.000 % | c | 63627 | 600 946 175300 | 6050 2864 124 | 0.000 % | c | 63852 | 600 946 175300 | 6655 3089 122 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 50.0554 s Remaining CPU time: 129.945 s c =============================================================================== c | 63974 | 600 947 175800 | 5000 3211 118 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 50.1954 s Remaining CPU time: 129.805 s c =============================================================================== c | 64071 | 600 948 176300 | 5000 3308 120 | 0.000 % | c | 64175 | 600 948 176300 | 5500 3412 117 | 0.000 % | c | 64327 | 600 948 176300 | 6050 3564 119 | 0.000 % | c | 64552 | 600 948 176300 | 6655 3789 120 | 0.000 % | c | 64889 | 600 948 176300 | 7320 4126 119 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 50.8803 s Remaining CPU time: 129.12 s c =============================================================================== c | 65094 | 600 949 176800 | 5000 4331 119 | 0.000 % | c | 65194 | 600 949 176800 | 5500 4431 118 | 0.000 % | c | 65346 | 600 949 176800 | 6050 4583 119 | 0.000 % | c | 65571 | 600 949 176800 | 6655 4808 120 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 51.2602 s Remaining CPU time: 128.74 s c =============================================================================== c | 65598 | 600 950 177300 | 5000 4835 120 | 0.000 % | c | 65698 | 600 950 177300 | 5500 4935 120 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 51.3872 s Remaining CPU time: 128.613 s c =============================================================================== c | 65801 | 600 951 177800 | 5000 5038 119 | 0.000 % | c | 65901 | 600 951 177800 | 5500 2619 106 | 0.000 % | c | 66051 | 600 951 177800 | 6050 2769 106 | 0.000 % | c | 66277 | 600 951 177800 | 6655 2995 108 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 51.8691 s Remaining CPU time: 128.131 s c =============================================================================== c | 66540 | 600 952 178300 | 5000 3258 112 | 0.000 % | c | 66640 | 600 952 178300 | 5500 3358 111 | 0.000 % | c | 66790 | 600 952 178300 | 6050 3508 112 | 0.000 % | c | 67015 | 600 952 178300 | 6655 3733 112 | 0.000 % | c | 67353 | 600 952 178300 | 7320 4071 112 | 0.000 % | c | 67859 | 600 952 178300 | 8052 4577 116 | 0.000 % | c | 68618 | 600 952 178300 | 8857 5336 119 | 0.000 % | c | 69757 | 600 952 178300 | 9743 6475 125 | 0.000 % | c | 71465 | 600 952 178300 | 10717 8183 130 | 0.000 % | c | 74027 | 600 952 178300 | 11789 10745 136 | 0.000 % | c | 77871 | 600 952 178300 | 12968 8610 146 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 60.4588 s Remaining CPU time: 119.541 s c =============================================================================== c | 79211 | 600 953 178800 | 5000 9950 147 | 0.000 % | c | 79313 | 600 953 178800 | 5500 5077 142 | 0.000 % | c | 79463 | 600 953 178800 | 6050 5227 142 | 0.000 % | c | 79688 | 600 953 178800 | 6655 5452 138 | 0.000 % | c | 80025 | 600 953 178800 | 7320 5789 139 | 0.000 % | c | 80532 | 600 953 178800 | 8052 6296 137 | 0.000 % | c | 81291 | 600 953 178800 | 8857 7055 138 | 0.000 % | c | 82430 | 600 953 178800 | 9743 8194 139 | 0.000 % | c | 84138 | 600 953 178800 | 10717 9902 142 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 63.9413 s Remaining CPU time: 116.059 s c =============================================================================== c | 84238 | 600 954 179300 | 5000 10002 142 | 0.000 % | c | 84339 | 600 954 179300 | 5500 2602 138 | 0.000 % | c | 84489 | 600 954 179300 | 6050 2752 139 | 0.000 % | c | 84714 | 600 954 179300 | 6655 2977 136 | 0.000 % | c | 85051 | 600 954 179300 | 7320 3314 136 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 64.6142 s Remaining CPU time: 115.386 s c =============================================================================== c | 85226 | 600 955 179800 | 5000 3489 134 | 0.000 % | c | 85326 | 600 955 179800 | 5500 3589 134 | 0.000 % | c | 85476 | 600 955 179800 | 6050 3739 131 | 0.000 % | c | 85701 | 600 955 179800 | 6655 3964 132 | 0.000 % | c | 86038 | 600 955 179800 | 7320 4301 130 | 0.000 % | c | 86544 | 600 955 179800 | 8052 4807 124 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 65.2931 s Remaining CPU time: 114.707 s c =============================================================================== c | 86685 | 600 956 180300 | 5000 4948 122 | 0.000 % | c | 86785 | 600 956 180300 | 5500 5048 122 | 0.000 % | c | 86935 | 600 956 180300 | 6050 5198 123 | 0.000 % | c | 87160 | 600 956 180300 | 6655 5423 123 | 0.000 % | c | 87499 | 600 956 180300 | 7320 5762 122 | 0.000 % | c | 88005 | 600 956 180300 | 8052 6268 120 | 0.000 % | c | 88764 | 600 956 180300 | 8857 7027 123 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 67.0228 s Remaining CPU time: 112.977 s c =============================================================================== c | 89623 | 600 957 180800 | 5000 7886 124 | 0.000 % | c | 89723 | 600 957 180800 | 5500 4043 111 | 0.000 % | c | 89873 | 600 957 180800 | 6050 4193 110 | 0.000 % | c | 90098 | 600 957 180800 | 6655 4418 112 | 0.000 % | c | 90435 | 600 957 180800 | 7320 4755 109 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 67.5547 s Remaining CPU time: 112.445 s c =============================================================================== c | 90538 | 600 958 181300 | 5000 4858 110 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 67.6137 s Remaining CPU time: 112.386 s c =============================================================================== c | 90605 | 600 959 181800 | 5000 4925 110 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 67.6417 s Remaining CPU time: 112.358 s c =============================================================================== c | 90629 | 600 960 182300 | 5000 4949 110 | 0.000 % | c | 90730 | 600 960 182300 | 5500 5050 110 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 67.7647 s Remaining CPU time: 112.235 s c =============================================================================== c | 90804 | 600 961 182800 | 5000 5124 109 | 0.000 % | c | 90904 | 600 961 182800 | 5500 2662 109 | 0.000 % | c | 91055 | 600 961 182800 | 6050 2813 105 | 0.000 % | c | 91280 | 600 961 182800 | 6655 3038 108 | 0.000 % | c | 91618 | 600 961 182800 | 7320 3376 101 | 0.000 % | c | 92124 | 600 961 182800 | 8052 3882 108 | 0.000 % | c | 92886 | 600 961 182800 | 8857 4644 112 | 0.000 % | c | 94025 | 600 961 182800 | 9743 5783 115 | 0.000 % | c | 95733 | 600 961 182800 | 10717 7491 122 | 0.000 % | c | 98295 | 600 961 182800 | 11789 10053 128 | 0.000 % | c | 102139 | 600 961 182800 | 12968 7925 141 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 77.9921 s Remaining CPU time: 102.008 s c =============================================================================== c | 104746 | 600 962 183300 | 5000 10532 142 | 0.000 % | c | 104846 | 600 962 183300 | 5500 2733 129 | 0.000 % | c | 104996 | 600 962 183300 | 6050 2883 129 | 0.000 % | c | 105221 | 600 962 183300 | 6655 3108 128 | 0.000 % | c | 105558 | 600 962 183300 | 7320 3445 127 | 0.000 % | c | 106064 | 600 962 183300 | 8052 3951 126 | 0.000 % | c | 106823 | 600 962 183300 | 8857 4710 130 | 0.000 % | c | 107962 | 600 962 183300 | 9743 5849 132 | 0.000 % | c | 109670 | 600 962 183300 | 10717 7557 135 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 83.4263 s Remaining CPU time: 96.5737 s c =============================================================================== c | 111925 | 600 963 183800 | 5000 9812 138 | 0.000 % | c | 112025 | 600 963 183800 | 5500 5006 134 | 0.000 % | c | 112176 | 600 963 183800 | 6050 5157 135 | 0.000 % | c | 112401 | 600 963 183800 | 6655 5382 135 | 0.000 % | c | 112738 | 600 963 183800 | 7320 5719 134 | 0.000 % | c | 113244 | 600 963 183800 | 8052 6225 135 | 0.000 % | c | 114005 | 600 963 183800 | 8857 6986 136 | 0.000 % | c | 115144 | 600 963 183800 | 9743 8125 135 | 0.000 % | c | 116853 | 600 963 183800 | 10717 9834 137 | 0.000 % | c | 119415 | 600 963 183800 | 11789 6960 135 | 0.000 % | c | 123259 | 600 963 183800 | 12968 10804 138 | 0.000 % | c | 129026 | 600 963 183800 | 14265 10013 139 | 0.000 % | c | 137675 | 600 963 183800 | 15692 11451 141 | 0.000 % | c | 150649 | 600 963 183800 | 17261 8573 144 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 118.718 s Remaining CPU time: 61.282 s c =============================================================================== c | 162918 | 600 964 184300 | 5000 12137 142 | 0.000 % | c | 163019 | 600 964 184300 | 5500 3136 135 | 0.000 % | c | 163170 | 600 964 184300 | 6050 3287 135 | 0.000 % | c | 163395 | 600 964 184300 | 6655 3512 133 | 0.000 % | c | 163732 | 600 964 184300 | 7320 3849 128 | 0.000 % | c | 164238 | 600 964 184300 | 8052 4355 129 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 119.905 s Remaining CPU time: 60.0952 s c =============================================================================== c | 164919 | 600 965 184800 | 5000 5036 128 | 0.000 % | c | 165019 | 600 965 184800 | 5500 2618 114 | 0.000 % | c | 165170 | 600 965 184800 | 6050 2769 112 | 0.000 % | c | 165396 | 600 965 184800 | 6655 2995 113 | 0.000 % | c | 165733 | 600 965 184800 | 7320 3332 116 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 120.485 s Remaining CPU time: 59.5153 s c =============================================================================== c | 165860 | 600 966 185300 | 5000 3459 114 | 0.000 % | c | 165960 | 600 966 185300 | 5500 3559 114 | 0.000 % | c | 166110 | 600 966 185300 | 6050 3709 111 | 0.000 % | c | 166335 | 600 966 185300 | 6655 3934 113 | 0.000 % | c | 166672 | 600 966 185300 | 7320 4271 108 | 0.000 % | c | 167178 | 600 966 185300 | 8052 4777 111 | 0.000 % | c | 167938 | 600 966 185300 | 8857 5537 111 | 0.000 % | c | 169077 | 600 966 185300 | 9743 6676 112 | 0.000 % | c | 170785 | 600 966 185300 | 10717 8384 117 | 0.000 % | c | 173347 | 600 966 185300 | 11789 5512 131 | 0.000 % | c | 177193 | 600 966 185300 | 12968 9358 134 | 0.000 % | c | 182959 | 600 966 185300 | 14265 8561 138 | 0.000 % | c | 191608 | 600 966 185300 | 15692 9995 135 | 0.000 % | c | 204582 | 600 966 185300 | 17261 15045 137 | 0.000 % | c | 224044 | 600 966 185300 | 18987 17080 138 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 179.736 s Remaining CPU time: 0.264324 s c =============================================================================== c | 250265 | 600 967 185800 | 5000 14594 140 | 0.000 % | c | 250365 | 600 967 185800 | 5500 3749 134 | 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 1473 2315 | 5000 0 nan | 0.000 % | c | 100 | 100 1473 2315 | 5500 100 37 | 83.334 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 830 1474 119910 | 5000 0 nan | 0.000 % | c | 100 | 830 1474 119910 | 5500 100 46 | 13.990 % | c | 250 | 830 1474 119910 | 6050 250 29 | 13.990 % | c | 476 | 830 1474 119910 | 6655 476 22 | 13.990 % | c | 813 | 830 1474 119910 | 7320 813 21 | 13.990 % | c | 1319 | 830 1474 119910 | 8052 1319 22 | 13.990 % | c | 2079 | 830 1474 119910 | 8857 2079 26 | 13.990 % | c | 3218 | 830 1474 119910 | 9743 3218 27 | 13.990 % | c | 4928 | 829 1474 119910 | 10717 3849 25 | 14.094 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1458 1476 188534 | 5000 0 nan | 0.000 % | c | 100 | 1458 1476 188534 | 5500 100 52 | 0.000 % | c | 250 | 1458 1476 188534 | 6050 250 35 | 0.000 % | c | 477 | 1458 1476 188534 | 6655 477 28 | 0.000 % | c | 816 | 1458 1476 188534 | 7320 816 25 | 0.000 % | c | 1324 | 1458 1476 188534 | 8052 1324 22 | 0.000 % | c | 2084 | 1458 1476 188534 | 8857 2084 23 | 0.000 % | c | 3223 | 1458 1476 188534 | 9743 3223 24 | 0.000 % | c | 4933 | 1458 1476 188534 | 10717 4933 22 | 0.000 % | c | 7495 | 1458 1476 188534 | 11789 7495 21 | 0.000 % | c | 11340 | 1458 1476 188534 | 12968 11340 20 | 0.000 % | c | 17106 | 1458 1476 188534 | 14265 10607 16 | 0.000 % | c | 25755 | 1458 1476 188534 | 15692 12111 15 | 0.000 % | c | 38730 | 1458 1476 188534 | 17261 9362 16 | 0.000 % | c | 58192 | 1457 1476 188534 | 18987 11696 14 | 0.069 % | c | 87384 | 1457 1476 188534 | 20886 12371 15 | 0.069 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1957 1477 189532 | 5000 0 nan | 0.000 % | c | 102 | 1957 1477 189532 | 5500 102 35 | 0.000 % | c | 252 | 1957 1477 189532 | 6050 252 98 | 0.000 % | c | 477 | 1957 1477 189532 | 6655 477 86 | 0.000 % | c | 814 | 1957 1477 189532 | 7320 814 106 | 0.000 % | c | 1320 | 1957 1477 189532 | 8052 1320 119 | 0.000 % | c | 2080 | 1957 1477 189532 | 8857 2080 126 | 0.000 % | c | 3220 | 1957 1477 189532 | 9743 3220 124 | 0.000 % | c | 4928 | 1957 1477 189532 | 10717 4928 129 | 0.000 % | c | 7490 | 1957 1477 189532 | 11789 7490 132 | 0.000 % | c | 11334 | 1957 1477 189532 | 12968 11334 135 | 0.000 % | c | 17100 | 1957 1477 189532 | 14265 10536 137 | 0.000 % | c | 25749 | 1957 1477 189532 | 15692 11970 137 | 0.000 % | c | 38723 | 1957 1477 189532 | 17261 9077 137 | 0.000 % | c | 58184 | 1957 1477 189532 | 18987 11124 138 | 0.000 % | c | 87376 | 1957 1477 189532 | 20886 11601 138 | 0.000 % | c | 131165 | 1957 1477 189532 | 22974 13306 139 | 0.000 % | c | 196850 | 1957 1477 189532 | 25272 18287 138 | 0.000 % | c | 295377 | 1957 1477 189532 | 27799 23983 47 | 0.000 % |