c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 600 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 600 | c | Number Clauses: 600 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 600 600 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 600 601 2800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 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.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 600 605 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 606 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 600 607 5800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 600 608 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 600 609 6800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 600 610 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 600 611 7800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 600 612 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 600 613 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 600 614 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 600 615 9800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 600 616 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 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.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 600 620 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 600 621 12800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 600 622 13300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 600 623 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 600 624 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 600 625 14800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 600 626 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 600 627 15800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 600 628 16300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 1 | 600 629 16800 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 600 630 17300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 600 631 17800 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 2 | 600 632 18300 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 2 | 600 633 18800 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 2 | 600 634 19300 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 2 | 600 635 19800 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 2 | 600 636 20300 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 2 | 600 637 20800 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 2 | 600 638 21300 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 2 | 600 639 21800 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 2 | 600 640 22300 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 2 | 600 641 22800 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 2 | 600 642 23300 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 2 | 600 643 23800 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 2 | 600 644 24300 | 5000 2 238 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 3 | 600 645 24800 | 5000 3 160 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 3 | 600 646 25300 | 5000 3 160 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 3 | 600 647 25800 | 5000 3 160 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 3 | 600 648 26300 | 5000 3 160 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 4 | 600 649 26800 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 4 | 600 650 27300 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 4 | 600 651 27800 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 4 | 600 652 28300 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 4 | 600 653 28800 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 4 | 600 654 29300 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 4 | 600 655 29800 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 4 | 600 656 30300 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 5 | 600 657 30800 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 5 | 600 658 31300 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 5 | 600 659 31800 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 5 | 600 660 32300 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 5 | 600 661 32800 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 7 | 600 662 33300 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 7 | 600 663 33800 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 7 | 600 664 34300 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 7 | 600 665 34800 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 7 | 600 666 35300 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 7 | 600 667 35800 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 8 | 600 668 36300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 8 | 600 669 36800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 8 | 600 670 37300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 8 | 600 671 37800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 8 | 600 672 38300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 8 | 600 673 38800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 8 | 600 674 39300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 8 | 600 675 39800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 8 | 600 676 40300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 8 | 600 677 40800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 8 | 600 678 41300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 8 | 600 679 41800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 8 | 600 680 42300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 8 | 600 681 42800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 8 | 600 682 43300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 8 | 600 683 43800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 8 | 600 684 44300 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 12 | 600 685 44800 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 12 | 600 686 45300 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 12 | 600 687 45800 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 12 | 600 688 46300 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 12 | 600 689 46800 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 12 | 600 690 47300 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 12 | 600 691 47800 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 12 | 600 692 48300 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 12 | 600 693 48800 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 12 | 600 694 49300 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 12 | 600 695 49800 | 5000 12 182 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 13 | 600 696 50300 | 5000 13 169 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 14 | 600 697 50800 | 5000 14 157 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 14 | 600 698 51300 | 5000 14 157 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 14 | 600 699 51800 | 5000 14 157 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 14 | 600 700 52300 | 5000 14 157 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 14 | 600 701 52800 | 5000 14 157 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 14 | 600 702 53300 | 5000 14 157 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 14 | 600 703 53800 | 5000 14 157 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 16 | 600 704 54300 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 16 | 600 705 54800 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 16 | 600 706 55300 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 16 | 600 707 55800 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 16 | 600 708 56300 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 16 | 600 709 56800 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 17 | 600 710 57300 | 5000 17 130 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s c =============================================================================== c | 18 | 600 711 57800 | 5000 18 123 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 18 | 600 712 58300 | 5000 18 123 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 18 | 600 713 58800 | 5000 18 123 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 18 | 600 714 59300 | 5000 18 123 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 18 | 600 715 59800 | 5000 18 123 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 19 | 600 716 60300 | 5000 19 117 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 19 | 600 717 60800 | 5000 19 117 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 20 | 600 718 61300 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 20 | 600 719 61800 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s c =============================================================================== c | 20 | 600 720 62300 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 20 | 600 721 62800 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s c =============================================================================== c | 20 | 600 722 63300 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 20 | 600 723 63800 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 20 | 600 724 64300 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 20 | 600 725 64800 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 20 | 600 726 65300 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 20 | 600 727 65800 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 20 | 600 728 66300 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 20 | 600 729 66800 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 20 | 600 730 67300 | 5000 20 112 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s c =============================================================================== c | 21 | 600 731 67800 | 5000 21 107 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 21 | 600 732 68300 | 5000 21 107 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 21 | 600 733 68800 | 5000 21 107 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 22 | 600 734 69300 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 22 | 600 735 69800 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 22 | 600 736 70300 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 22 | 600 737 70800 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 22 | 600 738 71300 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 22 | 600 739 71800 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 22 | 600 740 72300 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 22 | 600 741 72800 | 5000 22 102 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 23 | 600 742 73300 | 5000 23 98 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.971852 s Remaining CPU time: 179.028 s c =============================================================================== c | 23 | 600 743 73800 | 5000 23 98 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.98585 s Remaining CPU time: 179.014 s c =============================================================================== c | 24 | 600 744 74300 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 24 | 600 745 74800 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 24 | 600 746 75300 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s c =============================================================================== c | 24 | 600 747 75800 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.03684 s Remaining CPU time: 178.963 s c =============================================================================== c | 24 | 600 748 76300 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 24 | 600 749 76800 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 24 | 600 750 77300 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 24 | 600 751 77800 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 24 | 600 752 78300 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s c =============================================================================== c | 24 | 600 753 78800 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 24 | 600 754 79300 | 5000 24 94 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.13283 s Remaining CPU time: 178.867 s c =============================================================================== c | 25 | 600 755 79800 | 5000 25 91 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 26 | 600 756 80300 | 5000 26 88 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 27 | 600 757 80800 | 5000 27 85 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 27 | 600 758 81300 | 5000 27 85 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 29 | 600 759 81800 | 5000 29 103 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 30 | 600 760 82300 | 5000 30 101 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 31 | 600 761 82800 | 5000 31 98 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 32 | 600 762 83300 | 5000 32 106 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 32 | 600 763 83800 | 5000 32 106 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 32 | 600 764 84300 | 5000 32 106 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 34 | 600 765 84800 | 5000 34 110 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 1.2988 s Remaining CPU time: 178.701 s c =============================================================================== c | 35 | 600 766 85300 | 5000 35 117 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 36 | 600 767 85800 | 5000 36 114 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 36 | 600 768 86300 | 5000 36 114 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 37 | 600 769 86800 | 5000 37 111 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 38 | 600 770 87300 | 5000 38 117 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 38 | 600 771 87800 | 5000 38 117 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 38 | 600 772 88300 | 5000 38 117 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 1.41278 s Remaining CPU time: 178.587 s c =============================================================================== c | 38 | 600 773 88800 | 5000 38 117 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 1.42978 s Remaining CPU time: 178.57 s c =============================================================================== c | 39 | 600 774 89300 | 5000 39 114 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 1.44678 s Remaining CPU time: 178.553 s c =============================================================================== c | 39 | 600 775 89800 | 5000 39 114 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 1.46378 s Remaining CPU time: 178.536 s c =============================================================================== c | 39 | 600 776 90300 | 5000 39 114 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 1.47978 s Remaining CPU time: 178.52 s c =============================================================================== c | 39 | 600 777 90800 | 5000 39 114 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 39 | 600 778 91300 | 5000 39 114 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 1.51577 s Remaining CPU time: 178.484 s c =============================================================================== c | 39 | 600 779 91800 | 5000 39 114 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 1.53277 s Remaining CPU time: 178.467 s c =============================================================================== c | 39 | 600 780 92300 | 5000 39 114 | 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 112 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 1.56776 s Remaining CPU time: 178.432 s c =============================================================================== c | 40 | 600 782 93300 | 5000 40 112 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 1.58476 s Remaining CPU time: 178.415 s c =============================================================================== c | 40 | 600 783 93800 | 5000 40 112 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 41 | 600 784 94300 | 5000 41 109 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 1.62075 s Remaining CPU time: 178.379 s c =============================================================================== c | 41 | 600 785 94800 | 5000 41 109 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 1.63975 s Remaining CPU time: 178.36 s c =============================================================================== c | 42 | 600 786 95300 | 5000 42 107 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 1.65775 s Remaining CPU time: 178.342 s c =============================================================================== c | 42 | 600 787 95800 | 5000 42 107 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 1.67674 s Remaining CPU time: 178.323 s c =============================================================================== c | 42 | 600 788 96300 | 5000 42 107 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s c =============================================================================== c | 43 | 600 789 96800 | 5000 43 105 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 44 | 600 790 97300 | 5000 44 110 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 1.73274 s Remaining CPU time: 178.267 s c =============================================================================== c | 47 | 600 791 97800 | 5000 47 110 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 1.75073 s Remaining CPU time: 178.249 s c =============================================================================== c | 47 | 600 792 98300 | 5000 47 110 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 1.76873 s Remaining CPU time: 178.231 s c =============================================================================== c | 47 | 600 793 98800 | 5000 47 110 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 1.78873 s Remaining CPU time: 178.211 s c =============================================================================== c | 50 | 600 794 99300 | 5000 50 122 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s c =============================================================================== c | 55 | 600 795 99800 | 5000 55 113 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 1.82772 s Remaining CPU time: 178.172 s c =============================================================================== c | 59 | 600 796 100300 | 5000 59 121 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 1.84672 s Remaining CPU time: 178.153 s c =============================================================================== c | 59 | 600 797 100800 | 5000 59 121 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 1.86672 s Remaining CPU time: 178.133 s c =============================================================================== c | 59 | 600 798 101300 | 5000 59 121 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s c =============================================================================== c | 59 | 600 799 101800 | 5000 59 121 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 1.90471 s Remaining CPU time: 178.095 s c =============================================================================== c | 59 | 600 800 102300 | 5000 59 121 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 60 | 600 801 102800 | 5000 60 119 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 1.9437 s Remaining CPU time: 178.056 s c =============================================================================== c | 60 | 600 802 103300 | 5000 60 119 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 1.9637 s Remaining CPU time: 178.036 s c =============================================================================== c | 60 | 600 803 103800 | 5000 60 119 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s c =============================================================================== c | 62 | 600 804 104300 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 62 | 600 805 104800 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 2.02469 s Remaining CPU time: 177.975 s c =============================================================================== c | 62 | 600 806 105300 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 2.04569 s Remaining CPU time: 177.954 s c =============================================================================== c | 62 | 600 807 105800 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 62 | 600 808 106300 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 2.08568 s Remaining CPU time: 177.914 s c =============================================================================== c | 62 | 600 809 106800 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 2.10668 s Remaining CPU time: 177.893 s c =============================================================================== c | 62 | 600 810 107300 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 2.12868 s Remaining CPU time: 177.871 s c =============================================================================== c | 62 | 600 811 107800 | 5000 62 115 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s c =============================================================================== c | 66 | 600 812 108300 | 5000 66 110 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 2.17067 s Remaining CPU time: 177.829 s c =============================================================================== c | 66 | 600 813 108800 | 5000 66 110 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.19267 s Remaining CPU time: 177.807 s c =============================================================================== c | 69 | 600 814 109300 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s c =============================================================================== c | 69 | 600 815 109800 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.23466 s Remaining CPU time: 177.765 s c =============================================================================== c | 69 | 600 816 110300 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.25666 s Remaining CPU time: 177.743 s c =============================================================================== c | 69 | 600 817 110800 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.27765 s Remaining CPU time: 177.722 s c =============================================================================== c | 69 | 600 818 111300 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 2.29965 s Remaining CPU time: 177.7 s c =============================================================================== c | 69 | 600 819 111800 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 2.32065 s Remaining CPU time: 177.679 s c =============================================================================== c | 69 | 600 820 112300 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.34164 s Remaining CPU time: 177.658 s c =============================================================================== c | 69 | 600 821 112800 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.36364 s Remaining CPU time: 177.636 s c =============================================================================== c | 69 | 600 822 113300 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.38564 s Remaining CPU time: 177.614 s c =============================================================================== c | 69 | 600 823 113800 | 5000 69 118 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.40663 s Remaining CPU time: 177.593 s c =============================================================================== c | 70 | 600 824 114300 | 5000 70 116 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.42863 s Remaining CPU time: 177.571 s c =============================================================================== c | 70 | 600 825 114800 | 5000 70 116 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 76 | 600 826 115300 | 5000 76 109 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 2.47862 s Remaining CPU time: 177.521 s c =============================================================================== c | 92 | 600 827 115800 | 5000 92 137 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 94 | 600 828 116300 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 2.52262 s Remaining CPU time: 177.477 s c =============================================================================== c | 94 | 600 829 116800 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 2.54461 s Remaining CPU time: 177.455 s c =============================================================================== c | 94 | 600 830 117300 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 2.56661 s Remaining CPU time: 177.433 s c =============================================================================== c | 94 | 600 831 117800 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 2.58961 s Remaining CPU time: 177.41 s c =============================================================================== c | 94 | 600 832 118300 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 2.6116 s Remaining CPU time: 177.388 s c =============================================================================== c | 94 | 600 833 118800 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 2.6346 s Remaining CPU time: 177.365 s c =============================================================================== c | 94 | 600 834 119300 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 2.6576 s Remaining CPU time: 177.342 s c =============================================================================== c | 94 | 600 835 119800 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 2.68059 s Remaining CPU time: 177.319 s c =============================================================================== c | 94 | 600 836 120300 | 5000 94 134 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 2.70359 s Remaining CPU time: 177.296 s c =============================================================================== c | 100 | 600 837 120800 | 5000 100 127 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 2.72459 s Remaining CPU time: 177.275 s c =============================================================================== c | 101 | 600 838 121300 | 5000 101 126 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 2.74658 s Remaining CPU time: 177.253 s c =============================================================================== c | 101 | 600 839 121800 | 5000 101 126 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 102 | 600 840 122300 | 5000 102 124 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s c =============================================================================== c | 104 | 600 841 122800 | 5000 104 122 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 2.81357 s Remaining CPU time: 177.186 s c =============================================================================== c | 105 | 600 842 123300 | 5000 105 121 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 2.83657 s Remaining CPU time: 177.163 s c =============================================================================== c | 105 | 600 843 123800 | 5000 105 121 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 2.85956 s Remaining CPU time: 177.14 s c =============================================================================== c | 105 | 600 844 124300 | 5000 105 121 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 2.88356 s Remaining CPU time: 177.116 s c =============================================================================== c | 106 | 600 845 124800 | 5000 106 123 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 108 | 600 846 125300 | 5000 108 121 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 2.93055 s Remaining CPU time: 177.069 s c =============================================================================== c | 109 | 600 847 125800 | 5000 109 122 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 2.95355 s Remaining CPU time: 177.046 s c =============================================================================== c | 110 | 600 848 126300 | 5000 110 123 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 2.97655 s Remaining CPU time: 177.023 s c =============================================================================== c | 111 | 600 849 126800 | 5000 111 124 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 3.00054 s Remaining CPU time: 176.999 s c =============================================================================== c | 115 | 600 850 127300 | 5000 115 122 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 3.02454 s Remaining CPU time: 176.975 s c =============================================================================== c | 116 | 600 851 127800 | 5000 116 121 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.04654 s Remaining CPU time: 176.953 s c =============================================================================== c | 116 | 600 852 128300 | 5000 116 121 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s c =============================================================================== c | 117 | 600 853 128800 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 3.09153 s Remaining CPU time: 176.908 s c =============================================================================== c | 117 | 600 854 129300 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 3.11453 s Remaining CPU time: 176.885 s c =============================================================================== c | 117 | 600 855 129800 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 3.13852 s Remaining CPU time: 176.861 s c =============================================================================== c | 117 | 600 856 130300 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 3.16252 s Remaining CPU time: 176.837 s c =============================================================================== c | 117 | 600 857 130800 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 3.18651 s Remaining CPU time: 176.813 s c =============================================================================== c | 117 | 600 858 131300 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 3.21051 s Remaining CPU time: 176.789 s c =============================================================================== c | 117 | 600 859 131800 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 3.23551 s Remaining CPU time: 176.764 s c =============================================================================== c | 117 | 600 860 132300 | 5000 117 123 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 3.2595 s Remaining CPU time: 176.74 s c =============================================================================== c | 118 | 600 861 132800 | 5000 118 124 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 3.2845 s Remaining CPU time: 176.715 s c =============================================================================== c | 119 | 600 862 133300 | 5000 119 125 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 3.3085 s Remaining CPU time: 176.692 s c =============================================================================== c | 119 | 600 863 133800 | 5000 119 125 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 3.33249 s Remaining CPU time: 176.668 s c =============================================================================== c | 119 | 600 864 134300 | 5000 119 125 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 3.35749 s Remaining CPU time: 176.643 s c =============================================================================== c | 124 | 600 865 134800 | 5000 124 122 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 3.38449 s Remaining CPU time: 176.616 s c =============================================================================== c | 133 | 600 866 135300 | 5000 133 120 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 3.40848 s Remaining CPU time: 176.592 s c =============================================================================== c | 133 | 600 867 135800 | 5000 133 120 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 3.43348 s Remaining CPU time: 176.567 s c =============================================================================== c | 133 | 600 868 136300 | 5000 133 120 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 3.45647 s Remaining CPU time: 176.544 s c =============================================================================== c | 134 | 600 869 136800 | 5000 134 120 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 3.48047 s Remaining CPU time: 176.52 s c =============================================================================== c | 134 | 600 870 137300 | 5000 134 120 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 3.50347 s Remaining CPU time: 176.497 s c =============================================================================== c | 135 | 600 871 137800 | 5000 135 119 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 3.52746 s Remaining CPU time: 176.473 s c =============================================================================== c | 139 | 600 872 138300 | 5000 139 116 | 0.000 % | c | 239 | 600 872 138300 | 5500 239 166 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 3.60445 s Remaining CPU time: 176.396 s c =============================================================================== c | 241 | 600 873 138800 | 5000 241 165 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 3.62945 s Remaining CPU time: 176.371 s c =============================================================================== c | 241 | 600 874 139300 | 5000 241 165 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 3.65344 s Remaining CPU time: 176.347 s c =============================================================================== c | 241 | 600 875 139800 | 5000 241 165 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 241 | 600 876 140300 | 5000 241 165 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 3.70244 s Remaining CPU time: 176.298 s c =============================================================================== c | 242 | 600 877 140800 | 5000 242 164 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 3.72743 s Remaining CPU time: 176.273 s c =============================================================================== c | 250 | 600 878 141300 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 3.75243 s Remaining CPU time: 176.248 s c =============================================================================== c | 250 | 600 879 141800 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 3.77743 s Remaining CPU time: 176.223 s c =============================================================================== c | 250 | 600 880 142300 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 3.80242 s Remaining CPU time: 176.198 s c =============================================================================== c | 250 | 600 881 142800 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 3.82642 s Remaining CPU time: 176.174 s c =============================================================================== c | 250 | 600 882 143300 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 3.85141 s Remaining CPU time: 176.149 s c =============================================================================== c | 250 | 600 883 143800 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 3.87641 s Remaining CPU time: 176.124 s c =============================================================================== c | 250 | 600 884 144300 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 3.90141 s Remaining CPU time: 176.099 s c =============================================================================== c | 250 | 600 885 144800 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 3.9264 s Remaining CPU time: 176.074 s c =============================================================================== c | 250 | 600 886 145300 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 3.9514 s Remaining CPU time: 176.049 s c =============================================================================== c | 250 | 600 887 145800 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 3.97439 s Remaining CPU time: 176.026 s c =============================================================================== c | 250 | 600 888 146300 | 5000 250 160 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 4.00139 s Remaining CPU time: 175.999 s c =============================================================================== c | 302 | 600 889 146800 | 5000 302 138 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 4.08238 s Remaining CPU time: 175.918 s c =============================================================================== c | 397 | 600 890 147300 | 5000 397 157 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 4.10837 s Remaining CPU time: 175.892 s c =============================================================================== c | 420 | 600 891 147800 | 5000 420 150 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 4.15037 s Remaining CPU time: 175.85 s c =============================================================================== c | 468 | 600 892 148300 | 5000 468 153 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 4.17436 s Remaining CPU time: 175.826 s c =============================================================================== c | 476 | 600 893 148800 | 5000 476 151 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 4.20036 s Remaining CPU time: 175.8 s c =============================================================================== c | 478 | 600 894 149300 | 5000 478 151 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 4.22836 s Remaining CPU time: 175.772 s c =============================================================================== c | 499 | 600 895 149800 | 5000 499 146 | 0.000 % | c | 599 | 600 895 149800 | 5500 599 157 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 4.32634 s Remaining CPU time: 175.674 s c =============================================================================== c | 620 | 600 896 150300 | 5000 620 153 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 4.35334 s Remaining CPU time: 175.647 s c =============================================================================== c | 630 | 600 897 150800 | 5000 630 154 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 4.38033 s Remaining CPU time: 175.62 s c =============================================================================== c | 636 | 600 898 151300 | 5000 636 153 | 0.000 % | c | 736 | 600 898 151300 | 5500 736 160 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 4.45732 s Remaining CPU time: 175.543 s c =============================================================================== c | 741 | 600 899 151800 | 5000 741 159 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 4.48232 s Remaining CPU time: 175.518 s c =============================================================================== c | 742 | 600 900 152300 | 5000 742 159 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 4.50931 s Remaining CPU time: 175.491 s c =============================================================================== c | 745 | 600 901 152800 | 5000 745 158 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 4.53431 s Remaining CPU time: 175.466 s c =============================================================================== c | 748 | 600 902 153300 | 5000 748 158 | 0.000 % | c | 849 | 600 902 153300 | 5500 849 162 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 4.6233 s Remaining CPU time: 175.377 s c =============================================================================== c | 854 | 600 903 153800 | 5000 854 161 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 4.65029 s Remaining CPU time: 175.35 s c =============================================================================== c | 910 | 600 904 154300 | 5000 910 153 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 4.71828 s Remaining CPU time: 175.282 s c =============================================================================== c | 964 | 600 905 154800 | 5000 964 156 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 4.74428 s Remaining CPU time: 175.256 s c =============================================================================== c | 968 | 600 906 155300 | 5000 968 155 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 4.77127 s Remaining CPU time: 175.229 s c =============================================================================== c | 988 | 600 907 155800 | 5000 988 153 | 0.000 % | c | 1089 | 600 907 155800 | 5500 1089 157 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 4.84426 s Remaining CPU time: 175.156 s c =============================================================================== c | 1128 | 600 908 156300 | 5000 1128 153 | 0.000 % | c | 1229 | 600 908 156300 | 5500 1229 156 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 4.91825 s Remaining CPU time: 175.082 s c =============================================================================== c | 1264 | 600 909 156800 | 5000 1264 153 | 0.000 % | c | 1364 | 600 909 156800 | 5500 1364 156 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 5.01024 s Remaining CPU time: 174.99 s c =============================================================================== c | 1368 | 600 910 157300 | 5000 1368 156 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 5.03823 s Remaining CPU time: 174.962 s c =============================================================================== c | 1400 | 600 911 157800 | 5000 1400 153 | 0.000 % | c | 1500 | 600 911 157800 | 5500 1500 156 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 5.15921 s Remaining CPU time: 174.841 s c =============================================================================== c | 1579 | 600 912 158300 | 5000 1579 149 | 0.000 % | c | 1680 | 600 912 158300 | 5500 1680 152 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 5.2712 s Remaining CPU time: 174.729 s c =============================================================================== c | 1703 | 600 913 158800 | 5000 1703 150 | 0.000 % | c | 1803 | 600 913 158800 | 5500 1803 153 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 5.35719 s Remaining CPU time: 174.643 s c =============================================================================== c | 1821 | 600 914 159300 | 5000 1821 152 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 5.39218 s Remaining CPU time: 174.608 s c =============================================================================== c | 1861 | 600 915 159800 | 5000 1861 152 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 5.42117 s Remaining CPU time: 174.579 s c =============================================================================== c | 1883 | 600 916 160300 | 5000 1883 151 | 0.000 % | c | 1984 | 600 916 160300 | 5500 1984 153 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 5.51816 s Remaining CPU time: 174.482 s c =============================================================================== c | 2029 | 600 917 160800 | 5000 2029 150 | 0.000 % | c | 2129 | 600 917 160800 | 5500 2129 152 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 5.67914 s Remaining CPU time: 174.321 s c =============================================================================== c | 2164 | 600 918 161300 | 5000 2164 150 | 0.000 % | c | 2265 | 600 918 161300 | 5500 2265 152 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 5.84911 s Remaining CPU time: 174.151 s c =============================================================================== c | 2354 | 600 919 161800 | 5000 2354 147 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 5.98509 s Remaining CPU time: 174.015 s c =============================================================================== c | 2452 | 600 920 162300 | 5000 2452 149 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 6.01209 s Remaining CPU time: 173.988 s c =============================================================================== c | 2458 | 600 921 162800 | 5000 2458 149 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 6.03808 s Remaining CPU time: 173.962 s c =============================================================================== c | 2470 | 600 922 163300 | 5000 2470 148 | 0.000 % | c | 2570 | 600 922 163300 | 5500 2570 150 | 0.000 % | c | 2720 | 600 922 163300 | 6050 2720 152 | 0.000 % | c | 2946 | 600 922 163300 | 6655 2946 143 | 0.000 % | c | 3284 | 600 922 163300 | 7320 3284 147 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 6.84096 s Remaining CPU time: 173.159 s c =============================================================================== c | 3627 | 600 923 163800 | 5000 3627 151 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 6.86895 s Remaining CPU time: 173.131 s c =============================================================================== c | 3659 | 600 924 164300 | 5000 3659 150 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 6.94194 s Remaining CPU time: 173.058 s c =============================================================================== c | 3751 | 600 925 164800 | 5000 3751 151 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 6.96994 s Remaining CPU time: 173.03 s c =============================================================================== c | 3790 | 600 926 165300 | 5000 3790 149 | 0.000 % | c | 3890 | 600 926 165300 | 5500 3890 150 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 7.08492 s Remaining CPU time: 172.915 s c =============================================================================== c | 4037 | 600 927 165800 | 5000 4037 146 | 0.000 % | c | 4137 | 600 927 165800 | 5500 4137 147 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 7.2649 s Remaining CPU time: 172.735 s c =============================================================================== c | 4202 | 600 928 166300 | 5000 4202 145 | 0.000 % | c | 4302 | 600 928 166300 | 5500 4302 146 | 0.000 % | c | 4452 | 600 928 166300 | 6050 4452 142 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 7.57985 s Remaining CPU time: 172.42 s c =============================================================================== c | 4525 | 600 929 166800 | 5000 4525 143 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 7.60584 s Remaining CPU time: 172.394 s c =============================================================================== c | 4526 | 600 930 167300 | 5000 4526 143 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 7.63184 s Remaining CPU time: 172.368 s c =============================================================================== c | 4530 | 600 931 167800 | 5000 4530 143 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 7.65584 s Remaining CPU time: 172.344 s c =============================================================================== c | 4540 | 600 932 168300 | 5000 4540 143 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 7.68083 s Remaining CPU time: 172.319 s c =============================================================================== c | 4552 | 600 933 168800 | 5000 4552 142 | 0.000 % | c | 4652 | 600 933 168800 | 5500 4652 143 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 7.76882 s Remaining CPU time: 172.231 s c =============================================================================== c | 4749 | 600 934 169300 | 5000 4749 141 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 7.83181 s Remaining CPU time: 172.168 s c =============================================================================== c | 4777 | 600 935 169800 | 5000 4777 141 | 0.000 % | c | 4877 | 600 935 169800 | 5500 4877 139 | 0.000 % | c | 5027 | 600 935 169800 | 6050 5027 140 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 8.05877 s Remaining CPU time: 171.941 s c =============================================================================== c | 5054 | 600 936 170300 | 5000 5054 139 | 0.000 % | c | 5154 | 600 936 170300 | 5500 2627 123 | 0.000 % | c | 5304 | 600 936 170300 | 6050 2777 121 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 8.24975 s Remaining CPU time: 171.75 s c =============================================================================== c | 5363 | 600 937 170800 | 5000 2836 120 | 0.000 % | c | 5463 | 600 937 170800 | 5500 2936 121 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 8.35973 s Remaining CPU time: 171.64 s c =============================================================================== c | 5582 | 600 938 171300 | 5000 3055 118 | 0.000 % | c | 5684 | 600 938 171300 | 5500 3157 120 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 8.5497 s Remaining CPU time: 171.45 s c =============================================================================== c | 5816 | 600 939 171800 | 5000 3289 116 | 0.000 % | c | 5917 | 600 939 171800 | 5500 3390 118 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 8.66668 s Remaining CPU time: 171.333 s c =============================================================================== c | 5978 | 600 940 172300 | 5000 3451 116 | 0.000 % | c | 6078 | 600 940 172300 | 5500 3551 118 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 8.80966 s Remaining CPU time: 171.19 s c =============================================================================== c | 6097 | 600 941 172800 | 5000 3570 117 | 0.000 % | c | 6197 | 600 941 172800 | 5500 3670 119 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 8.89565 s Remaining CPU time: 171.104 s c =============================================================================== c | 6235 | 600 942 173300 | 5000 3708 118 | 0.000 % | c | 6336 | 600 942 173300 | 5500 3809 119 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 9.07162 s Remaining CPU time: 170.928 s c =============================================================================== c | 6441 | 600 943 173800 | 5000 3914 117 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 9.12561 s Remaining CPU time: 170.874 s c =============================================================================== c | 6472 | 600 944 174300 | 5000 3945 117 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 9.15661 s Remaining CPU time: 170.843 s c =============================================================================== c | 6554 | 600 945 174800 | 5000 4027 116 | 0.000 % | c | 6655 | 600 945 174800 | 5500 4128 117 | 0.000 % | c | 6805 | 600 945 174800 | 6050 4278 115 | 0.000 % | c | 7031 | 600 945 174800 | 6655 4504 117 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 9.56754 s Remaining CPU time: 170.432 s c =============================================================================== c | 7076 | 600 946 175300 | 5000 4549 117 | 0.000 % | c | 7177 | 600 946 175300 | 5500 4650 118 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 9.71252 s Remaining CPU time: 170.287 s c =============================================================================== c | 7292 | 600 947 175800 | 5000 4765 115 | 0.000 % | c | 7393 | 600 947 175800 | 5500 4866 116 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 9.8875 s Remaining CPU time: 170.113 s c =============================================================================== c | 7399 | 600 948 176300 | 5000 4872 116 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 9.91349 s Remaining CPU time: 170.087 s c =============================================================================== c | 7399 | 600 949 176800 | 5000 4872 116 | 0.000 % | c | 7499 | 600 949 176800 | 5500 4972 116 | 0.000 % | c | 7649 | 600 949 176800 | 6050 5122 118 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 10.1095 s Remaining CPU time: 169.891 s c =============================================================================== c | 7762 | 600 950 177300 | 5000 5235 116 | 0.000 % | c | 7862 | 600 950 177300 | 5500 2718 103 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 10.2574 s Remaining CPU time: 169.743 s c =============================================================================== c | 7964 | 600 951 177800 | 5000 2820 101 | 0.000 % | c | 8064 | 600 951 177800 | 5500 2920 103 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 10.3784 s Remaining CPU time: 169.622 s c =============================================================================== c | 8078 | 600 952 178300 | 5000 2934 102 | 0.000 % | c | 8178 | 600 952 178300 | 5500 3034 104 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 10.4704 s Remaining CPU time: 169.53 s c =============================================================================== c | 8202 | 600 953 178800 | 5000 3058 103 | 0.000 % | c | 8303 | 600 953 178800 | 5500 3159 105 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 10.5684 s Remaining CPU time: 169.432 s c =============================================================================== c | 8373 | 600 954 179300 | 5000 3229 103 | 0.000 % | c | 8473 | 600 954 179300 | 5500 3329 105 | 0.000 % | c | 8626 | 600 954 179300 | 6050 3482 102 | 0.000 % | c | 8852 | 600 954 179300 | 6655 3708 105 | 0.000 % | c | 9190 | 600 954 179300 | 7320 4046 107 | 0.000 % | c | 9696 | 600 954 179300 | 8052 4552 112 | 0.000 % | c | 10455 | 600 954 179300 | 8857 5311 109 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 12.2751 s Remaining CPU time: 167.725 s c =============================================================================== c | 11349 | 600 955 179800 | 5000 6205 114 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 12.3101 s Remaining CPU time: 167.69 s c =============================================================================== c | 11370 | 600 956 180300 | 5000 3124 116 | 0.000 % | c | 11471 | 600 956 180300 | 5500 3225 117 | 0.000 % | c | 11622 | 600 956 180300 | 6050 3376 113 | 0.000 % | c | 11848 | 600 956 180300 | 6655 3602 116 | 0.000 % | c | 12185 | 600 956 180300 | 7320 3939 119 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 12.885 s Remaining CPU time: 167.115 s c =============================================================================== c | 12267 | 600 957 180800 | 5000 4021 117 | 0.000 % | c | 12367 | 600 957 180800 | 5500 4121 118 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 12.996 s Remaining CPU time: 167.004 s c =============================================================================== c | 12457 | 600 958 181300 | 5000 4211 116 | 0.000 % | c | 12558 | 600 958 181300 | 5500 4312 117 | 0.000 % | c | 12709 | 600 958 181300 | 6050 4463 114 | 0.000 % | c | 12934 | 600 958 181300 | 6655 4688 115 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 13.372 s Remaining CPU time: 166.628 s c =============================================================================== c | 13077 | 600 959 181800 | 5000 4831 113 | 0.000 % | c | 13177 | 600 959 181800 | 5500 4931 114 | 0.000 % | c | 13328 | 600 959 181800 | 6050 5082 115 | 0.000 % | c | 13553 | 600 959 181800 | 6655 5307 115 | 0.000 % | c | 13890 | 600 959 181800 | 7320 5644 117 | 0.000 % | c | 14396 | 600 959 181800 | 8052 6150 118 | 0.000 % | c | 15155 | 600 959 181800 | 8857 6909 118 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 14.9637 s Remaining CPU time: 165.036 s c =============================================================================== c | 15581 | 600 960 182300 | 5000 7335 119 | 0.000 % | c | 15681 | 600 960 182300 | 5500 3768 112 | 0.000 % | c | 15831 | 600 960 182300 | 6050 3918 113 | 0.000 % | c | 16056 | 600 960 182300 | 6655 4143 115 | 0.000 % | c | 16393 | 600 960 182300 | 7320 4480 117 | 0.000 % | c | 16899 | 600 960 182300 | 8052 4986 118 | 0.000 % | c | 17659 | 600 960 182300 | 8857 5746 120 | 0.000 % | c | 18798 | 600 960 182300 | 9743 6885 122 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 17.6123 s Remaining CPU time: 162.388 s c =============================================================================== c | 19748 | 600 961 182800 | 5000 7835 125 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 17.6523 s Remaining CPU time: 162.348 s c =============================================================================== c | 19756 | 600 962 183300 | 5000 3926 126 | 0.000 % | c | 19856 | 600 962 183300 | 5500 4026 124 | 0.000 % | c | 20006 | 600 962 183300 | 6050 4176 125 | 0.000 % | c | 20232 | 600 962 183300 | 6655 4402 120 | 0.000 % | c | 20569 | 600 962 183300 | 7320 4739 122 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 18.0703 s Remaining CPU time: 161.93 s c =============================================================================== c | 20621 | 600 963 183800 | 5000 4791 121 | 0.000 % | c | 20721 | 600 963 183800 | 5500 4891 121 | 0.000 % | c | 20871 | 600 963 183800 | 6050 5041 119 | 0.000 % | c | 21096 | 600 963 183800 | 6655 5266 120 | 0.000 % | c | 21433 | 600 963 183800 | 7320 5603 116 | 0.000 % | c | 21939 | 600 963 183800 | 8052 6109 117 | 0.000 % | c | 22698 | 600 963 183800 | 8857 6868 120 | 0.000 % | c | 23837 | 600 963 183800 | 9743 8007 123 | 0.000 % | c | 25545 | 600 963 183800 | 10717 9715 125 | 0.000 % | c | 28107 | 600 963 183800 | 11789 6829 133 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 24.2903 s Remaining CPU time: 155.71 s c =============================================================================== c | 29873 | 600 964 184300 | 5000 8595 135 | 0.000 % | c | 29973 | 600 964 184300 | 5500 4398 135 | 0.000 % | c | 30123 | 600 964 184300 | 6050 4548 134 | 0.000 % | c | 30349 | 600 964 184300 | 6655 4774 133 | 0.000 % | c | 30686 | 600 964 184300 | 7320 5111 133 | 0.000 % | c | 31192 | 600 964 184300 | 8052 5617 134 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 25.7611 s Remaining CPU time: 154.239 s c =============================================================================== c | 31898 | 600 965 184800 | 5000 6323 135 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 25.8741 s Remaining CPU time: 154.126 s c =============================================================================== c | 31979 | 600 966 185300 | 5000 3243 123 | 0.000 % | c | 32079 | 600 966 185300 | 5500 3343 123 | 0.000 % | c | 32229 | 600 966 185300 | 6050 3493 123 | 0.000 % | c | 32454 | 600 966 185300 | 6655 3718 124 | 0.000 % | c | 32791 | 600 966 185300 | 7320 4055 122 | 0.000 % | c | 33297 | 600 966 185300 | 8052 4561 122 | 0.000 % | c | 34056 | 600 966 185300 | 8857 5320 124 | 0.000 % | c | 35195 | 600 966 185300 | 9743 6459 125 | 0.000 % | c | 36903 | 600 966 185300 | 10717 8167 128 | 0.000 % | c | 39466 | 600 966 185300 | 11789 10730 130 | 0.000 % | c | 43311 | 600 966 185300 | 12968 8596 134 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 33.4599 s Remaining CPU time: 146.54 s c =============================================================================== c | 43800 | 600 967 185800 | 5000 9085 132 | 0.000 % | c | 43901 | 600 967 185800 | 5500 4644 129 | 0.000 % | c | 44051 | 600 967 185800 | 6050 4794 130 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 33.7009 s Remaining CPU time: 146.299 s c =============================================================================== c | 44086 | 600 968 186300 | 5000 4829 129 | 0.000 % | c | 44186 | 600 968 186300 | 5500 4929 129 | 0.000 % | c | 44336 | 600 968 186300 | 6050 5079 126 | 0.000 % | c | 44562 | 600 968 186300 | 6655 5305 127 | 0.000 % | c | 44901 | 600 968 186300 | 7320 5644 125 | 0.000 % | c | 45407 | 600 968 186300 | 8052 6150 124 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 34.9507 s Remaining CPU time: 145.049 s c =============================================================================== c | 46138 | 600 969 186800 | 5000 6881 124 | 0.000 % | c | 46238 | 600 969 186800 | 5500 3541 109 | 0.000 % | c | 46389 | 600 969 186800 | 6050 3692 110 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 35.1077 s Remaining CPU time: 144.892 s c =============================================================================== c | 46586 | 600 970 187300 | 5000 3889 106 | 0.000 % | c | 46686 | 600 970 187300 | 5500 3989 107 | 0.000 % | c | 46836 | 600 970 187300 | 6050 4139 106 | 0.000 % | c | 47061 | 600 970 187300 | 6655 4364 105 | 0.000 % | c | 47398 | 600 970 187300 | 7320 4701 105 | 0.000 % | c | 47904 | 600 970 187300 | 8052 5207 108 | 0.000 % | c | 48663 | 600 970 187300 | 8857 5966 110 | 0.000 % | c | 49802 | 600 970 187300 | 9743 7105 115 | 0.000 % | c | 51510 | 600 970 187300 | 10717 8813 118 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 39.203 s Remaining CPU time: 140.797 s c =============================================================================== c | 52585 | 600 971 187800 | 5000 9888 120 | 0.000 % | c | 52685 | 600 971 187800 | 5500 5044 127 | 0.000 % | c | 52837 | 600 971 187800 | 6050 5196 126 | 0.000 % | c | 53062 | 600 971 187800 | 6655 5421 127 | 0.000 % | c | 53400 | 600 971 187800 | 7320 5759 128 | 0.000 % | c | 53906 | 600 971 187800 | 8052 6265 128 | 0.000 % | c | 54665 | 600 971 187800 | 8857 7024 129 | 0.000 % | c | 55804 | 600 971 187800 | 9743 8163 130 | 0.000 % | c | 57512 | 600 971 187800 | 10717 9871 131 | 0.000 % | c | 60074 | 600 971 187800 | 11789 7002 130 | 0.000 % | c | 63918 | 600 971 187800 | 12968 10846 132 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 50.0094 s Remaining CPU time: 129.991 s c =============================================================================== c | 66884 | 600 972 188300 | 5000 7247 129 | 0.000 % | c | 66984 | 600 972 188300 | 5500 3724 122 | 0.000 % | c | 67134 | 600 972 188300 | 6050 3874 122 | 0.000 % | c | 67359 | 600 972 188300 | 6655 4099 122 | 0.000 % | c | 67696 | 600 972 188300 | 7320 4436 122 | 0.000 % | c | 68202 | 600 972 188300 | 8052 4942 124 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 51.0332 s Remaining CPU time: 128.967 s c =============================================================================== c | 68216 | 600 973 188800 | 5000 4956 124 | 0.000 % | c | 68316 | 600 973 188800 | 5500 5056 124 | 0.000 % | c | 68466 | 600 973 188800 | 6050 5206 124 | 0.000 % | c | 68691 | 600 973 188800 | 6655 5431 122 | 0.000 % | c | 69029 | 600 973 188800 | 7320 5769 118 | 0.000 % | c | 69536 | 600 973 188800 | 8052 6276 119 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 51.8961 s Remaining CPU time: 128.104 s c =============================================================================== c | 69585 | 600 974 189300 | 5000 6325 118 | 0.000 % | c | 69685 | 600 974 189300 | 5500 3263 104 | 0.000 % | c | 69835 | 600 974 189300 | 6050 3413 100 | 0.000 % | c | 70061 | 600 974 189300 | 6655 3639 102 | 0.000 % | c | 70399 | 600 974 189300 | 7320 3977 101 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 52.52 s Remaining CPU time: 127.48 s c =============================================================================== c | 70461 | 600 975 189800 | 5000 4039 100 | 0.000 % | c | 70561 | 600 975 189800 | 5500 4139 101 | 0.000 % | c | 70712 | 600 975 189800 | 6050 4290 99 | 0.000 % | c | 70937 | 600 975 189800 | 6655 4515 100 | 0.000 % | c | 71274 | 600 975 189800 | 7320 4852 101 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 53.3129 s Remaining CPU time: 126.687 s c =============================================================================== c | 71641 | 600 976 190300 | 5000 5219 100 | 0.000 % | c | 71741 | 600 976 190300 | 5500 2710 89 | 0.000 % | c | 71892 | 600 976 190300 | 6050 2861 91 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 53.4649 s Remaining CPU time: 126.535 s c =============================================================================== c | 71910 | 600 977 190800 | 5000 2879 91 | 0.000 % | c | 72011 | 600 977 190800 | 5500 2980 92 | 0.000 % | c | 72161 | 600 977 190800 | 6050 3130 92 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 53.6338 s Remaining CPU time: 126.366 s c =============================================================================== c | 72196 | 600 978 191300 | 5000 3165 91 | 0.000 % | c | 72296 | 600 978 191300 | 5500 3265 93 | 0.000 % | c | 72446 | 600 978 191300 | 6050 3415 94 | 0.000 % | c | 72671 | 600 978 191300 | 6655 3640 96 | 0.000 % | c | 73010 | 600 978 191300 | 7320 3979 91 | 0.000 % | c | 73516 | 600 978 191300 | 8052 4485 96 | 0.000 % | c | 74275 | 600 978 191300 | 8857 5244 99 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 55.7545 s Remaining CPU time: 124.245 s c =============================================================================== c | 75213 | 600 979 191800 | 5000 6182 102 | 0.000 % | c | 75314 | 600 979 191800 | 5500 3192 102 | 0.000 % | c | 75464 | 600 979 191800 | 6050 3342 103 | 0.000 % | c | 75691 | 600 979 191800 | 6655 3569 99 | 0.000 % | c | 76028 | 600 979 191800 | 7320 3906 101 | 0.000 % | c | 76534 | 600 979 191800 | 8052 4412 103 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 56.6394 s Remaining CPU time: 123.361 s c =============================================================================== c | 76863 | 600 980 192300 | 5000 4741 99 | 0.000 % | c | 76964 | 600 980 192300 | 5500 4842 99 | 0.000 % | c | 77114 | 600 980 192300 | 6050 4992 98 | 0.000 % | c | 77339 | 600 980 192300 | 6655 5217 99 | 0.000 % | c | 77676 | 600 980 192300 | 7320 5554 97 | 0.000 % | c | 78182 | 600 980 192300 | 8052 6060 99 | 0.000 % | c | 78941 | 600 980 192300 | 8857 6819 102 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 58.3951 s Remaining CPU time: 121.605 s c =============================================================================== c | 79634 | 600 981 192800 | 5000 7512 102 | 0.000 % | c | 79735 | 600 981 192800 | 5500 3857 99 | 0.000 % | c | 79885 | 600 981 192800 | 6050 4007 97 | 0.000 % | c | 80112 | 600 981 192800 | 6655 4234 98 | 0.000 % | c | 80449 | 600 981 192800 | 7320 4571 97 | 0.000 % | c | 80955 | 600 981 192800 | 8052 5077 98 | 0.000 % | c | 81714 | 600 981 192800 | 8857 5836 102 | 0.000 % | c | 82854 | 600 981 192800 | 9743 6976 105 | 0.000 % | c | 84562 | 600 981 192800 | 10717 8684 109 | 0.000 % | c | 87125 | 600 981 192800 | 11789 5823 122 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 65.2631 s Remaining CPU time: 114.737 s c =============================================================================== c | 88830 | 600 982 193300 | 5000 7528 123 | 0.000 % | c | 88930 | 600 982 193300 | 5500 3864 119 | 0.000 % | c | 89080 | 600 982 193300 | 6050 4014 119 | 0.000 % | c | 89306 | 600 982 193300 | 6655 4240 119 | 0.000 % | c | 89643 | 600 982 193300 | 7320 4577 120 | 0.000 % | c | 90149 | 600 982 193300 | 8052 5083 120 | 0.000 % | c | 90908 | 600 982 193300 | 8857 5842 121 | 0.000 % | c | 92047 | 600 982 193300 | 9743 6981 122 | 0.000 % | c | 93755 | 600 982 193300 | 10717 8689 123 | 0.000 % | c | 96317 | 600 982 193300 | 11789 5821 117 | 0.000 % | c | 100161 | 600 982 193300 | 12968 9665 122 | 0.000 % | c | 105927 | 600 982 193300 | 14265 8859 121 | 0.000 % | c | 114576 | 600 982 193300 | 15692 10303 126 | 0.000 % | c | 127552 | 600 982 193300 | 17261 15357 125 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 93.9397 s Remaining CPU time: 86.0603 s c =============================================================================== c | 128198 | 600 983 193800 | 5000 16003 125 | 0.000 % | c | 128300 | 600 983 193800 | 5500 4103 116 | 0.000 % | c | 128450 | 600 983 193800 | 6050 4253 116 | 0.000 % | c | 128675 | 600 983 193800 | 6655 4478 117 | 0.000 % | c | 129012 | 600 983 193800 | 7320 4815 117 | 0.000 % | c | 129518 | 600 983 193800 | 8052 5321 118 | 0.000 % | c | 130279 | 600 983 193800 | 8857 6082 119 | 0.000 % | c | 131419 | 600 983 193800 | 9743 7222 121 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 97.8451 s Remaining CPU time: 82.1549 s c =============================================================================== c | 132604 | 600 984 194300 | 5000 8407 122 | 0.000 % | c | 132704 | 600 984 194300 | 5500 4304 117 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 97.9551 s Remaining CPU time: 82.0449 s c =============================================================================== c | 132801 | 600 985 194800 | 5000 4401 115 | 0.000 % | c | 132901 | 600 985 194800 | 5500 4501 115 | 0.000 % | c | 133051 | 600 985 194800 | 6050 4651 114 | 0.000 % | c | 133276 | 600 985 194800 | 6655 4876 113 | 0.000 % | c | 133613 | 600 985 194800 | 7320 5213 110 | 0.000 % | c | 134119 | 600 985 194800 | 8052 5719 111 | 0.000 % | c | 134879 | 600 985 194800 | 8857 6479 112 | 0.000 % | c | 136018 | 600 985 194800 | 9743 7618 113 | 0.000 % | c | 137726 | 600 985 194800 | 10717 9326 115 | 0.000 % | c | 140288 | 600 985 194800 | 11789 6467 115 | 0.000 % | c | 144132 | 600 985 194800 | 12968 10311 118 | 0.000 % | c | 149898 | 600 985 194800 | 14265 9522 120 | 0.000 % | c | 158547 | 600 985 194800 | 15692 10972 120 | 0.000 % | c | 171522 | 600 985 194800 | 17261 8122 120 | 0.000 % | c | 190983 | 600 985 194800 | 18987 10176 122 | 0.000 % | c | 220176 | 600 985 194800 | 20886 10677 122 | 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 1487 2303 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 548 1488 57975 | 5000 0 nan | 0.000 % | c | 101 | 548 1488 57975 | 5500 101 45 | 33.495 % | c | 251 | 548 1488 57975 | 6050 251 27 | 33.495 % | c | 478 | 548 1488 57975 | 6655 478 23 | 33.495 % | c | 815 | 548 1488 57975 | 7320 815 28 | 33.495 % | c | 1323 | 547 1488 57975 | 8052 988 28 | 33.617 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1303 1489 192718 | 5000 0 nan | 0.000 % | c | 101 | 1303 1489 192718 | 5500 101 28 | 0.686 % | c | 253 | 1303 1489 192718 | 6050 253 27 | 0.686 % | c | 479 | 1303 1489 192718 | 6655 479 21 | 0.686 % | c | 819 | 1303 1489 192718 | 7320 819 17 | 0.686 % | c | 1326 | 1303 1489 192718 | 8052 1326 15 | 0.686 % | c | 2085 | 1303 1489 192718 | 8857 2085 14 | 0.686 % | c | 3225 | 1303 1489 192718 | 9743 3225 13 | 0.686 % | c | 4933 | 1303 1489 192718 | 10717 4933 13 | 0.686 % | c | 7495 | 1303 1489 192718 | 11789 7495 13 | 0.686 % | c | 11339 | 1303 1489 192718 | 12968 11339 13 | 0.686 % | c | 17107 | 1303 1489 192718 | 14265 10611 13 | 0.686 % | c | 25758 | 1303 1489 192718 | 15692 12117 13 | 0.686 % | c | 38732 | 1302 1489 192718 | 17261 10846 11 | 0.762 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1812 1490 198227 | 5000 0 nan | 0.000 % | c | 102 | 1812 1490 198227 | 5500 102 49 | 0.000 % | c | 253 | 1812 1490 198227 | 6050 253 91 | 0.000 % | c | 479 | 1812 1490 198227 | 6655 479 83 | 0.000 % | c | 816 | 1812 1490 198227 | 7320 816 99 | 0.000 % | c | 1322 | 1812 1490 198227 | 8052 1322 103 | 0.000 % | c | 2082 | 1812 1490 198227 | 8857 2082 109 | 0.000 % | c | 3221 | 1812 1490 198227 | 9743 3221 103 | 0.000 % | c | 4931 | 1812 1490 198227 | 10717 4931 78 | 0.000 % | c | 7493 | 1812 1490 198227 | 11789 7493 61 | 0.000 % | c | 11339 | 1812 1490 198227 | 12968 11339 57 | 0.000 % | c | 17106 | 1812 1490 198227 | 14265 10611 33 | 0.000 % | c | 25756 | 1812 1490 198227 | 15692 12075 24 | 0.000 % | c | 38731 | 1812 1490 198227 | 17261 9313 25 | 0.000 % | c | 58192 | 1812 1490 198227 | 18987 11488 20 | 0.000 % | c | 87385 | 1812 1490 198227 | 20886 12147 26 | 0.000 % | c | 131176 | 1812 1490 198227 | 22974 14055 19 | 0.000 % | c | 196860 | 1812 1490 198227 | 25272 22244 22 | 0.000 % | c | 295391 | 1812 1490 198227 | 27799 17749 21 | 0.000 % | c | 443182 | 1812 1490 198227 | 30579 14893 19 | 0.000 % | c | 664866 | 1812 1490 198227 | 33637 25724 19 | 0.000 % | c | 997391 | 1812 1490 198227 | 37001 14692 18 | 0.000 % |