c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 600 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 600 | c | Number Clauses: 600 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 600 600 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 600 601 2800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 600 602 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 600 603 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 604 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 600 605 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 600 606 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 600 607 5800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 1 | 600 608 6300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 1 | 600 609 6800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 600 610 7300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 600 611 7800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 1 | 600 612 8300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 1 | 600 613 8800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 1 | 600 614 9300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 1 | 600 615 9800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 1 | 600 616 10300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 600 617 10800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 600 618 11300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 600 619 11800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 1 | 600 620 12300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 600 621 12800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 600 622 13300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 1 | 600 623 13800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 1 | 600 624 14300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 1 | 600 625 14800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 600 626 15300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 600 627 15800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 600 628 16300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 1 | 600 629 16800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1 | 600 630 17300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 1 | 600 631 17800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 600 632 18300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 600 633 18800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 600 634 19300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 600 635 19800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 600 636 20300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 600 637 20800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 600 638 21300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 600 639 21800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 600 640 22300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 600 641 22800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 600 642 23300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 600 643 23800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 600 644 24300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 600 645 24800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 600 646 25300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 600 647 25800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1 | 600 648 26300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 600 649 26800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 600 650 27300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 600 651 27800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 600 652 28300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 600 653 28800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 600 654 29300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 1 | 600 655 29800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 2 | 600 656 30300 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 2 | 600 657 30800 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 2 | 600 658 31300 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 2 | 600 659 31800 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 2 | 600 660 32300 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 2 | 600 661 32800 | 5000 2 228 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 3 | 600 662 33300 | 5000 3 154 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 4 | 600 663 33800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 4 | 600 664 34300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 4 | 600 665 34800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 4 | 600 666 35300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 4 | 600 667 35800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 4 | 600 668 36300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 4 | 600 669 36800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 4 | 600 670 37300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 4 | 600 671 37800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 4 | 600 672 38300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 4 | 600 673 38800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 4 | 600 674 39300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 4 | 600 675 39800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 4 | 600 676 40300 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 4 | 600 677 40800 | 5000 4 117 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 5 | 600 678 41300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 5 | 600 679 41800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 5 | 600 680 42300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 5 | 600 681 42800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 5 | 600 682 43300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 5 | 600 683 43800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 5 | 600 684 44300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 5 | 600 685 44800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 5 | 600 686 45300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 5 | 600 687 45800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 5 | 600 688 46300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 5 | 600 689 46800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 5 | 600 690 47300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 5 | 600 691 47800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 5 | 600 692 48300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 5 | 600 693 48800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 5 | 600 694 49300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 5 | 600 695 49800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 5 | 600 696 50300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 5 | 600 697 50800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 5 | 600 698 51300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 5 | 600 699 51800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 5 | 600 700 52300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 5 | 600 701 52800 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 5 | 600 702 53300 | 5000 5 179 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 6 | 600 703 53800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 6 | 600 704 54300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 6 | 600 705 54800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 6 | 600 706 55300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 6 | 600 707 55800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 6 | 600 708 56300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 6 | 600 709 56800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 6 | 600 710 57300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 6 | 600 711 57800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 6 | 600 712 58300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 6 | 600 713 58800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 6 | 600 714 59300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 6 | 600 715 59800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 6 | 600 716 60300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s c =============================================================================== c | 6 | 600 717 60800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 6 | 600 718 61300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 6 | 600 719 61800 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 6 | 600 720 62300 | 5000 6 151 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 7 | 600 721 62800 | 5000 7 130 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 7 | 600 722 63300 | 5000 7 130 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 7 | 600 723 63800 | 5000 7 130 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 8 | 600 724 64300 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 8 | 600 725 64800 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 8 | 600 726 65300 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 8 | 600 727 65800 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 9 | 600 728 66300 | 5000 9 104 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 12 | 600 729 66800 | 5000 12 111 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s c =============================================================================== c | 12 | 600 730 67300 | 5000 12 111 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 12 | 600 731 67800 | 5000 12 111 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 12 | 600 732 68300 | 5000 12 111 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.935857 s Remaining CPU time: 179.064 s c =============================================================================== c | 12 | 600 733 68800 | 5000 12 111 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 13 | 600 734 69300 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 13 | 600 735 69800 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 14 | 600 736 70300 | 5000 14 97 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 14 | 600 737 70800 | 5000 14 97 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 14 | 600 738 71300 | 5000 14 97 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.03684 s Remaining CPU time: 178.963 s c =============================================================================== c | 17 | 600 739 71800 | 5000 17 145 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 17 | 600 740 72300 | 5000 17 145 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 18 | 600 741 72800 | 5000 18 137 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 18 | 600 742 73300 | 5000 18 137 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.10983 s Remaining CPU time: 178.89 s c =============================================================================== c | 18 | 600 743 73800 | 5000 18 137 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 18 | 600 744 74300 | 5000 18 137 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 18 | 600 745 74800 | 5000 18 137 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s c =============================================================================== c | 20 | 600 746 75300 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 20 | 600 747 75800 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 20 | 600 748 76300 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 20 | 600 749 76800 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 20 | 600 750 77300 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.25781 s Remaining CPU time: 178.742 s c =============================================================================== c | 20 | 600 751 77800 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 20 | 600 752 78300 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 20 | 600 753 78800 | 5000 20 125 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 22 | 600 754 79300 | 5000 22 115 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 25 | 600 755 79800 | 5000 25 102 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s c =============================================================================== c | 25 | 600 756 80300 | 5000 25 102 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s c =============================================================================== c | 25 | 600 757 80800 | 5000 25 102 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 26 | 600 758 81300 | 5000 26 99 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.41078 s Remaining CPU time: 178.589 s c =============================================================================== c | 27 | 600 759 81800 | 5000 27 108 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.42878 s Remaining CPU time: 178.571 s c =============================================================================== c | 28 | 600 760 82300 | 5000 28 116 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.44678 s Remaining CPU time: 178.553 s c =============================================================================== c | 29 | 600 761 82800 | 5000 29 124 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.46578 s Remaining CPU time: 178.534 s c =============================================================================== c | 29 | 600 762 83300 | 5000 29 124 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 30 | 600 763 83800 | 5000 30 132 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 33 | 600 764 84300 | 5000 33 121 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.52577 s Remaining CPU time: 178.474 s c =============================================================================== c | 36 | 600 765 84800 | 5000 36 121 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 37 | 600 766 85300 | 5000 37 117 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 1.56576 s Remaining CPU time: 178.434 s c =============================================================================== c | 38 | 600 767 85800 | 5000 38 115 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 1.58576 s Remaining CPU time: 178.414 s c =============================================================================== c | 40 | 600 768 86300 | 5000 40 109 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 40 | 600 769 86800 | 5000 40 109 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 1.62475 s Remaining CPU time: 178.375 s c =============================================================================== c | 44 | 600 770 87300 | 5000 44 101 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 1.65075 s Remaining CPU time: 178.349 s c =============================================================================== c | 59 | 600 771 87800 | 5000 59 161 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 60 | 600 772 88300 | 5000 60 158 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 1.69074 s Remaining CPU time: 178.309 s c =============================================================================== c | 61 | 600 773 88800 | 5000 61 156 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 1.71174 s Remaining CPU time: 178.288 s c =============================================================================== c | 61 | 600 774 89300 | 5000 61 156 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 61 | 600 775 89800 | 5000 61 156 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 1.75273 s Remaining CPU time: 178.247 s c =============================================================================== c | 61 | 600 776 90300 | 5000 61 156 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 1.77373 s Remaining CPU time: 178.226 s c =============================================================================== c | 62 | 600 777 90800 | 5000 62 154 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s c =============================================================================== c | 63 | 600 778 91300 | 5000 63 151 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 63 | 600 779 91800 | 5000 63 151 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 64 | 600 780 92300 | 5000 64 149 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 1.85672 s Remaining CPU time: 178.143 s c =============================================================================== c | 64 | 600 781 92800 | 5000 64 149 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 1.87871 s Remaining CPU time: 178.121 s c =============================================================================== c | 64 | 600 782 93300 | 5000 64 149 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 1.90071 s Remaining CPU time: 178.099 s c =============================================================================== c | 64 | 600 783 93800 | 5000 64 149 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 65 | 600 784 94300 | 5000 65 147 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 1.9457 s Remaining CPU time: 178.054 s c =============================================================================== c | 65 | 600 785 94800 | 5000 65 147 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 1.9677 s Remaining CPU time: 178.032 s c =============================================================================== c | 65 | 600 786 95300 | 5000 65 147 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 1.9897 s Remaining CPU time: 178.01 s c =============================================================================== c | 66 | 600 787 95800 | 5000 66 145 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 2.01269 s Remaining CPU time: 177.987 s c =============================================================================== c | 67 | 600 788 96300 | 5000 67 143 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 2.03569 s Remaining CPU time: 177.964 s c =============================================================================== c | 68 | 600 789 96800 | 5000 68 141 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.05969 s Remaining CPU time: 177.94 s c =============================================================================== c | 70 | 600 790 97300 | 5000 70 138 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s c =============================================================================== c | 71 | 600 791 97800 | 5000 71 140 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 2.10668 s Remaining CPU time: 177.893 s c =============================================================================== c | 71 | 600 792 98300 | 5000 71 140 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 2.13068 s Remaining CPU time: 177.869 s c =============================================================================== c | 71 | 600 793 98800 | 5000 71 140 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 71 | 600 794 99300 | 5000 71 140 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s c =============================================================================== c | 73 | 600 795 99800 | 5000 73 145 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 2.20167 s Remaining CPU time: 177.798 s c =============================================================================== c | 73 | 600 796 100300 | 5000 73 145 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 2.22566 s Remaining CPU time: 177.774 s c =============================================================================== c | 73 | 600 797 100800 | 5000 73 145 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 76 | 600 798 101300 | 5000 76 144 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 2.27565 s Remaining CPU time: 177.724 s c =============================================================================== c | 77 | 600 799 101800 | 5000 77 146 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 2.29965 s Remaining CPU time: 177.7 s c =============================================================================== c | 77 | 600 800 102300 | 5000 77 146 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 2.32465 s Remaining CPU time: 177.675 s c =============================================================================== c | 77 | 600 801 102800 | 5000 77 146 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 2.34964 s Remaining CPU time: 177.65 s c =============================================================================== c | 78 | 600 802 103300 | 5000 78 148 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 2.37464 s Remaining CPU time: 177.625 s c =============================================================================== c | 78 | 600 803 103800 | 5000 78 148 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 2.39963 s Remaining CPU time: 177.6 s c =============================================================================== c | 79 | 600 804 104300 | 5000 79 150 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 2.42363 s Remaining CPU time: 177.576 s c =============================================================================== c | 81 | 600 805 104800 | 5000 81 151 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 2.44863 s Remaining CPU time: 177.551 s c =============================================================================== c | 81 | 600 806 105300 | 5000 81 151 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 2.47362 s Remaining CPU time: 177.526 s c =============================================================================== c | 82 | 600 807 105800 | 5000 82 152 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 2.49762 s Remaining CPU time: 177.502 s c =============================================================================== c | 85 | 600 808 106300 | 5000 85 151 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 2.52662 s Remaining CPU time: 177.473 s c =============================================================================== c | 99 | 600 809 106800 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 2.55261 s Remaining CPU time: 177.447 s c =============================================================================== c | 101 | 600 810 107300 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 2.57661 s Remaining CPU time: 177.423 s c =============================================================================== c | 101 | 600 811 107800 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 101 | 600 812 108300 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 2.6266 s Remaining CPU time: 177.373 s c =============================================================================== c | 101 | 600 813 108800 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.6526 s Remaining CPU time: 177.347 s c =============================================================================== c | 101 | 600 814 109300 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.67859 s Remaining CPU time: 177.321 s c =============================================================================== c | 116 | 600 815 109800 | 5000 116 142 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.70459 s Remaining CPU time: 177.295 s c =============================================================================== c | 120 | 600 816 110300 | 5000 120 148 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.74358 s Remaining CPU time: 177.256 s c =============================================================================== c | 161 | 600 817 110800 | 5000 161 175 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 172 | 600 818 111300 | 5000 172 165 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s c =============================================================================== c | 173 | 600 819 111800 | 5000 173 164 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 2.81957 s Remaining CPU time: 177.18 s c =============================================================================== c | 175 | 600 820 112300 | 5000 175 162 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.84457 s Remaining CPU time: 177.155 s c =============================================================================== c | 175 | 600 821 112800 | 5000 175 162 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.87156 s Remaining CPU time: 177.128 s c =============================================================================== c | 175 | 600 822 113300 | 5000 175 162 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.89856 s Remaining CPU time: 177.101 s c =============================================================================== c | 176 | 600 823 113800 | 5000 176 162 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.93255 s Remaining CPU time: 177.067 s c =============================================================================== c | 195 | 600 824 114300 | 5000 195 168 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.95955 s Remaining CPU time: 177.04 s c =============================================================================== c | 196 | 600 825 114800 | 5000 196 167 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s c =============================================================================== c | 202 | 600 826 115300 | 5000 202 163 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 3.01454 s Remaining CPU time: 176.985 s c =============================================================================== c | 205 | 600 827 115800 | 5000 205 162 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 3.04254 s Remaining CPU time: 176.957 s c =============================================================================== c | 206 | 600 828 116300 | 5000 206 163 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 3.07053 s Remaining CPU time: 176.929 s c =============================================================================== c | 208 | 600 829 116800 | 5000 208 161 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 3.09853 s Remaining CPU time: 176.901 s c =============================================================================== c | 209 | 600 830 117300 | 5000 209 162 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 3.12552 s Remaining CPU time: 176.874 s c =============================================================================== c | 209 | 600 831 117800 | 5000 209 162 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 3.15352 s Remaining CPU time: 176.846 s c =============================================================================== c | 211 | 600 832 118300 | 5000 211 162 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 3.18152 s Remaining CPU time: 176.818 s c =============================================================================== c | 213 | 600 833 118800 | 5000 213 162 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 3.20951 s Remaining CPU time: 176.79 s c =============================================================================== c | 213 | 600 834 119300 | 5000 213 162 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 3.23751 s Remaining CPU time: 176.762 s c =============================================================================== c | 216 | 600 835 119800 | 5000 216 161 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s c =============================================================================== c | 218 | 600 836 120300 | 5000 218 162 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 3.2975 s Remaining CPU time: 176.703 s c =============================================================================== c | 230 | 600 837 120800 | 5000 230 161 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 3.32549 s Remaining CPU time: 176.675 s c =============================================================================== c | 230 | 600 838 121300 | 5000 230 161 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s c =============================================================================== c | 230 | 600 839 121800 | 5000 230 161 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 3.38049 s Remaining CPU time: 176.62 s c =============================================================================== c | 232 | 600 840 122300 | 5000 232 160 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 3.40848 s Remaining CPU time: 176.592 s c =============================================================================== c | 234 | 600 841 122800 | 5000 234 160 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 3.43648 s Remaining CPU time: 176.564 s c =============================================================================== c | 234 | 600 842 123300 | 5000 234 160 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 3.46547 s Remaining CPU time: 176.535 s c =============================================================================== c | 234 | 600 843 123800 | 5000 234 160 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 3.49547 s Remaining CPU time: 176.505 s c =============================================================================== c | 265 | 600 844 124300 | 5000 265 145 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 3.55946 s Remaining CPU time: 176.441 s c =============================================================================== c | 316 | 600 845 124800 | 5000 316 164 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 3.58845 s Remaining CPU time: 176.412 s c =============================================================================== c | 329 | 600 846 125300 | 5000 329 159 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 3.61745 s Remaining CPU time: 176.383 s c =============================================================================== c | 331 | 600 847 125800 | 5000 331 158 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 3.64644 s Remaining CPU time: 176.354 s c =============================================================================== c | 354 | 600 848 126300 | 5000 354 149 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 3.68344 s Remaining CPU time: 176.317 s c =============================================================================== c | 363 | 600 849 126800 | 5000 363 152 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 3.71344 s Remaining CPU time: 176.287 s c =============================================================================== c | 367 | 600 850 127300 | 5000 367 150 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 3.74243 s Remaining CPU time: 176.258 s c =============================================================================== c | 373 | 600 851 127800 | 5000 373 148 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.77143 s Remaining CPU time: 176.229 s c =============================================================================== c | 378 | 600 852 128300 | 5000 378 149 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 3.80342 s Remaining CPU time: 176.197 s c =============================================================================== c | 386 | 600 853 128800 | 5000 386 148 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 3.83942 s Remaining CPU time: 176.161 s c =============================================================================== c | 400 | 600 854 129300 | 5000 400 150 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 3.86841 s Remaining CPU time: 176.132 s c =============================================================================== c | 401 | 600 855 129800 | 5000 401 150 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 3.89841 s Remaining CPU time: 176.102 s c =============================================================================== c | 401 | 600 856 130300 | 5000 401 150 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 3.9274 s Remaining CPU time: 176.073 s c =============================================================================== c | 402 | 600 857 130800 | 5000 402 150 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 3.9564 s Remaining CPU time: 176.044 s c =============================================================================== c | 403 | 600 858 131300 | 5000 403 149 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 3.98539 s Remaining CPU time: 176.015 s c =============================================================================== c | 406 | 600 859 131800 | 5000 406 148 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 4.01639 s Remaining CPU time: 175.984 s c =============================================================================== c | 407 | 600 860 132300 | 5000 407 148 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 4.04638 s Remaining CPU time: 175.954 s c =============================================================================== c | 409 | 600 861 132800 | 5000 409 149 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 4.07638 s Remaining CPU time: 175.924 s c =============================================================================== c | 410 | 600 862 133300 | 5000 410 149 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 4.10637 s Remaining CPU time: 175.894 s c =============================================================================== c | 412 | 600 863 133800 | 5000 412 149 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 4.13937 s Remaining CPU time: 175.861 s c =============================================================================== c | 425 | 600 864 134300 | 5000 425 149 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 4.16937 s Remaining CPU time: 175.831 s c =============================================================================== c | 425 | 600 865 134800 | 5000 425 149 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 4.19936 s Remaining CPU time: 175.801 s c =============================================================================== c | 425 | 600 866 135300 | 5000 425 149 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 4.22936 s Remaining CPU time: 175.771 s c =============================================================================== c | 427 | 600 867 135800 | 5000 427 148 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 4.26635 s Remaining CPU time: 175.734 s c =============================================================================== c | 462 | 600 868 136300 | 5000 462 153 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 4.29735 s Remaining CPU time: 175.703 s c =============================================================================== c | 466 | 600 869 136800 | 5000 466 152 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 4.32734 s Remaining CPU time: 175.673 s c =============================================================================== c | 467 | 600 870 137300 | 5000 467 152 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 4.35834 s Remaining CPU time: 175.642 s c =============================================================================== c | 467 | 600 871 137800 | 5000 467 152 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 4.38933 s Remaining CPU time: 175.611 s c =============================================================================== c | 467 | 600 872 138300 | 5000 467 152 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 4.42033 s Remaining CPU time: 175.58 s c =============================================================================== c | 467 | 600 873 138800 | 5000 467 152 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 4.44932 s Remaining CPU time: 175.551 s c =============================================================================== c | 469 | 600 874 139300 | 5000 469 151 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 4.48132 s Remaining CPU time: 175.519 s c =============================================================================== c | 472 | 600 875 139800 | 5000 472 150 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 4.51231 s Remaining CPU time: 175.488 s c =============================================================================== c | 473 | 600 876 140300 | 5000 473 150 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 4.54331 s Remaining CPU time: 175.457 s c =============================================================================== c | 477 | 600 877 140800 | 5000 477 150 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 4.5743 s Remaining CPU time: 175.426 s c =============================================================================== c | 477 | 600 878 141300 | 5000 477 150 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 4.6053 s Remaining CPU time: 175.395 s c =============================================================================== c | 477 | 600 879 141800 | 5000 477 150 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 4.6363 s Remaining CPU time: 175.364 s c =============================================================================== c | 477 | 600 880 142300 | 5000 477 150 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 4.66629 s Remaining CPU time: 175.334 s c =============================================================================== c | 477 | 600 881 142800 | 5000 477 150 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 4.69629 s Remaining CPU time: 175.304 s c =============================================================================== c | 479 | 600 882 143300 | 5000 479 149 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 4.72728 s Remaining CPU time: 175.273 s c =============================================================================== c | 485 | 600 883 143800 | 5000 485 148 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 4.75928 s Remaining CPU time: 175.241 s c =============================================================================== c | 487 | 600 884 144300 | 5000 487 148 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 4.78927 s Remaining CPU time: 175.211 s c =============================================================================== c | 489 | 600 885 144800 | 5000 489 147 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 4.82027 s Remaining CPU time: 175.18 s c =============================================================================== c | 490 | 600 886 145300 | 5000 490 147 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 4.85126 s Remaining CPU time: 175.149 s c =============================================================================== c | 491 | 600 887 145800 | 5000 491 148 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 4.88226 s Remaining CPU time: 175.118 s c =============================================================================== c | 491 | 600 888 146300 | 5000 491 148 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 4.91225 s Remaining CPU time: 175.088 s c =============================================================================== c | 491 | 600 889 146800 | 5000 491 148 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 4.94425 s Remaining CPU time: 175.056 s c =============================================================================== c | 492 | 600 890 147300 | 5000 492 148 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 4.97524 s Remaining CPU time: 175.025 s c =============================================================================== c | 493 | 600 891 147800 | 5000 493 148 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 5.00724 s Remaining CPU time: 174.993 s c =============================================================================== c | 493 | 600 892 148300 | 5000 493 148 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 5.03823 s Remaining CPU time: 174.962 s c =============================================================================== c | 494 | 600 893 148800 | 5000 494 148 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 5.06923 s Remaining CPU time: 174.931 s c =============================================================================== c | 495 | 600 894 149300 | 5000 495 148 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 5.10022 s Remaining CPU time: 174.9 s c =============================================================================== c | 496 | 600 895 149800 | 5000 496 147 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 5.13122 s Remaining CPU time: 174.869 s c =============================================================================== c | 496 | 600 896 150300 | 5000 496 147 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 5.16221 s Remaining CPU time: 174.838 s c =============================================================================== c | 497 | 600 897 150800 | 5000 497 148 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 5.19421 s Remaining CPU time: 174.806 s c =============================================================================== c | 500 | 600 898 151300 | 5000 500 147 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 5.2252 s Remaining CPU time: 174.775 s c =============================================================================== c | 502 | 600 899 151800 | 5000 502 147 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 5.2572 s Remaining CPU time: 174.743 s c =============================================================================== c | 503 | 600 900 152300 | 5000 503 147 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 5.2882 s Remaining CPU time: 174.712 s c =============================================================================== c | 503 | 600 901 152800 | 5000 503 147 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 5.31919 s Remaining CPU time: 174.681 s c =============================================================================== c | 503 | 600 902 153300 | 5000 503 147 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 5.35019 s Remaining CPU time: 174.65 s c =============================================================================== c | 503 | 600 903 153800 | 5000 503 147 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 5.38218 s Remaining CPU time: 174.618 s c =============================================================================== c | 504 | 600 904 154300 | 5000 504 147 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 5.41318 s Remaining CPU time: 174.587 s c =============================================================================== c | 505 | 600 905 154800 | 5000 505 147 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 5.44517 s Remaining CPU time: 174.555 s c =============================================================================== c | 513 | 600 906 155300 | 5000 513 145 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 5.47617 s Remaining CPU time: 174.524 s c =============================================================================== c | 513 | 600 907 155800 | 5000 513 145 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 5.50916 s Remaining CPU time: 174.491 s c =============================================================================== c | 515 | 600 908 156300 | 5000 515 146 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 5.54016 s Remaining CPU time: 174.46 s c =============================================================================== c | 515 | 600 909 156800 | 5000 515 146 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 5.57215 s Remaining CPU time: 174.428 s c =============================================================================== c | 518 | 600 910 157300 | 5000 518 145 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 5.60515 s Remaining CPU time: 174.395 s c =============================================================================== c | 524 | 600 911 157800 | 5000 524 144 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 5.63614 s Remaining CPU time: 174.364 s c =============================================================================== c | 525 | 600 912 158300 | 5000 525 144 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 5.66614 s Remaining CPU time: 174.334 s c =============================================================================== c | 529 | 600 913 158800 | 5000 529 144 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 5.69613 s Remaining CPU time: 174.304 s c =============================================================================== c | 530 | 600 914 159300 | 5000 530 144 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 5.72813 s Remaining CPU time: 174.272 s c =============================================================================== c | 533 | 600 915 159800 | 5000 533 143 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 5.76012 s Remaining CPU time: 174.24 s c =============================================================================== c | 534 | 600 916 160300 | 5000 534 143 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 5.79312 s Remaining CPU time: 174.207 s c =============================================================================== c | 535 | 600 917 160800 | 5000 535 143 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 5.82511 s Remaining CPU time: 174.175 s c =============================================================================== c | 536 | 600 918 161300 | 5000 536 143 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 5.85611 s Remaining CPU time: 174.144 s c =============================================================================== c | 536 | 600 919 161800 | 5000 536 143 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 5.88711 s Remaining CPU time: 174.113 s c =============================================================================== c | 537 | 600 920 162300 | 5000 537 144 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 5.9171 s Remaining CPU time: 174.083 s c =============================================================================== c | 537 | 600 921 162800 | 5000 537 144 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 5.9481 s Remaining CPU time: 174.052 s c =============================================================================== c | 537 | 600 922 163300 | 5000 537 144 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 5.99209 s Remaining CPU time: 174.008 s c =============================================================================== c | 592 | 600 923 163800 | 5000 592 135 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 6.02508 s Remaining CPU time: 173.975 s c =============================================================================== c | 596 | 600 924 164300 | 5000 596 136 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 6.09407 s Remaining CPU time: 173.906 s c =============================================================================== c | 686 | 600 925 164800 | 5000 686 141 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 6.12707 s Remaining CPU time: 173.873 s c =============================================================================== c | 727 | 600 926 165300 | 5000 727 135 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 6.19806 s Remaining CPU time: 173.802 s c =============================================================================== c | 765 | 600 927 165800 | 5000 765 137 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 6.23005 s Remaining CPU time: 173.77 s c =============================================================================== c | 766 | 600 928 166300 | 5000 766 137 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 6.26405 s Remaining CPU time: 173.736 s c =============================================================================== c | 805 | 600 929 166800 | 5000 805 132 | 0.000 % | c | 906 | 600 929 166800 | 5500 906 137 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 6.40902 s Remaining CPU time: 173.591 s c =============================================================================== c | 944 | 600 930 167300 | 5000 944 133 | 0.000 % | c | 1044 | 600 930 167300 | 5500 1044 137 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 6.552 s Remaining CPU time: 173.448 s c =============================================================================== c | 1089 | 600 931 167800 | 5000 1089 133 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 6.63199 s Remaining CPU time: 173.368 s c =============================================================================== c | 1179 | 600 932 168300 | 5000 1179 136 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 6.66499 s Remaining CPU time: 173.335 s c =============================================================================== c | 1268 | 600 933 168800 | 5000 1268 129 | 0.000 % | c | 1369 | 600 933 168800 | 5500 1369 132 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 6.82996 s Remaining CPU time: 173.17 s c =============================================================================== c | 1403 | 600 934 169300 | 5000 1403 130 | 0.000 % | c | 1505 | 600 934 169300 | 5500 1505 133 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 6.98894 s Remaining CPU time: 173.011 s c =============================================================================== c | 1575 | 600 935 169800 | 5000 1575 128 | 0.000 % | c | 1675 | 600 935 169800 | 5500 1675 131 | 0.000 % | c | 1825 | 600 935 169800 | 6050 1825 124 | 0.000 % | c | 2050 | 600 935 169800 | 6655 2050 129 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 7.44987 s Remaining CPU time: 172.55 s c =============================================================================== c | 2126 | 600 936 170300 | 5000 2126 126 | 0.000 % | c | 2226 | 600 936 170300 | 5500 2226 128 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 7.63084 s Remaining CPU time: 172.369 s c =============================================================================== c | 2369 | 600 937 170800 | 5000 2369 122 | 0.000 % | c | 2469 | 600 937 170800 | 5500 2469 124 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 7.85381 s Remaining CPU time: 172.146 s c =============================================================================== c | 2489 | 600 938 171300 | 5000 2489 123 | 0.000 % | c | 2589 | 600 938 171300 | 5500 2589 125 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 7.94679 s Remaining CPU time: 172.053 s c =============================================================================== c | 2711 | 600 939 171800 | 5000 2711 121 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 8.06877 s Remaining CPU time: 171.931 s c =============================================================================== c | 2791 | 600 940 172300 | 5000 2791 122 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 8.10077 s Remaining CPU time: 171.899 s c =============================================================================== c | 2803 | 600 941 172800 | 5000 2803 122 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 8.15876 s Remaining CPU time: 171.841 s c =============================================================================== c | 2872 | 600 942 173300 | 5000 2872 121 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 8.18876 s Remaining CPU time: 171.811 s c =============================================================================== c | 2876 | 600 943 173800 | 5000 2876 121 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 8.24075 s Remaining CPU time: 171.759 s c =============================================================================== c | 2943 | 600 944 174300 | 5000 2943 121 | 0.000 % | c | 3043 | 600 944 174300 | 5500 3043 122 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 8.34773 s Remaining CPU time: 171.652 s c =============================================================================== c | 3129 | 600 945 174800 | 5000 3129 119 | 0.000 % | c | 3230 | 600 945 174800 | 5500 3230 121 | 0.000 % | c | 3381 | 600 945 174800 | 6050 3381 117 | 0.000 % | c | 3606 | 600 945 174800 | 6655 3606 120 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 8.98863 s Remaining CPU time: 171.011 s c =============================================================================== c | 3767 | 600 946 175300 | 5000 3767 116 | 0.000 % | c | 3867 | 600 946 175300 | 5500 3867 118 | 0.000 % | c | 4020 | 600 946 175300 | 6050 4020 114 | 0.000 % | c | 4245 | 600 946 175300 | 6655 4245 117 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 9.45656 s Remaining CPU time: 170.543 s c =============================================================================== c | 4366 | 600 947 175800 | 5000 4366 115 | 0.000 % | c | 4466 | 600 947 175800 | 5500 4466 116 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 9.72352 s Remaining CPU time: 170.276 s c =============================================================================== c | 4558 | 600 948 176300 | 5000 4558 114 | 0.000 % | c | 4658 | 600 948 176300 | 5500 4658 115 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 9.8615 s Remaining CPU time: 170.138 s c =============================================================================== c | 4690 | 600 949 176800 | 5000 4690 115 | 0.000 % | c | 4790 | 600 949 176800 | 5500 4790 115 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 10.0235 s Remaining CPU time: 169.977 s c =============================================================================== c | 4821 | 600 950 177300 | 5000 4821 115 | 0.000 % | c | 4921 | 600 950 177300 | 5500 4921 116 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 10.1495 s Remaining CPU time: 169.851 s c =============================================================================== c | 5011 | 600 951 177800 | 5000 5011 114 | 0.000 % | c | 5111 | 600 951 177800 | 5500 2606 99 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 10.3094 s Remaining CPU time: 169.691 s c =============================================================================== c | 5235 | 600 952 178300 | 5000 2730 96 | 0.000 % | c | 5335 | 600 952 178300 | 5500 2830 98 | 0.000 % | c | 5485 | 600 952 178300 | 6050 2980 95 | 0.000 % | c | 5710 | 600 952 178300 | 6655 3205 99 | 0.000 % | c | 6048 | 600 952 178300 | 7320 3543 96 | 0.000 % | c | 6554 | 600 952 178300 | 8052 4049 100 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 11.1813 s Remaining CPU time: 168.819 s c =============================================================================== c | 6588 | 600 953 178800 | 5000 4083 100 | 0.000 % | c | 6688 | 600 953 178800 | 5500 4183 101 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 11.2843 s Remaining CPU time: 168.716 s c =============================================================================== c | 6738 | 600 954 179300 | 5000 4233 100 | 0.000 % | c | 6838 | 600 954 179300 | 5500 4333 101 | 0.000 % | c | 6988 | 600 954 179300 | 6050 4483 101 | 0.000 % | c | 7214 | 600 954 179300 | 6655 4709 101 | 0.000 % | c | 7551 | 600 954 179300 | 7320 5046 103 | 0.000 % | c | 8059 | 600 954 179300 | 8052 5554 104 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 12.7481 s Remaining CPU time: 167.252 s c =============================================================================== c | 8709 | 600 955 179800 | 5000 6204 108 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 12.7941 s Remaining CPU time: 167.206 s c =============================================================================== c | 8720 | 600 956 180300 | 5000 3113 111 | 0.000 % | c | 8820 | 600 956 180300 | 5500 3213 112 | 0.000 % | c | 8970 | 600 956 180300 | 6050 3363 111 | 0.000 % | c | 9195 | 600 956 180300 | 6655 3588 111 | 0.000 % | c | 9532 | 600 956 180300 | 7320 3925 114 | 0.000 % | c | 10039 | 600 956 180300 | 8052 4432 117 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 13.9879 s Remaining CPU time: 166.012 s c =============================================================================== c | 10446 | 600 957 180800 | 5000 4839 119 | 0.000 % | c | 10546 | 600 957 180800 | 5500 4939 119 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 14.0969 s Remaining CPU time: 165.903 s c =============================================================================== c | 10617 | 600 958 181300 | 5000 5010 118 | 0.000 % | c | 10717 | 600 958 181300 | 5500 2605 118 | 0.000 % | c | 10867 | 600 958 181300 | 6050 2755 116 | 0.000 % | c | 11092 | 600 958 181300 | 6655 2980 110 | 0.000 % | c | 11429 | 600 958 181300 | 7320 3317 114 | 0.000 % | c | 11935 | 600 958 181300 | 8052 3823 114 | 0.000 % | c | 12697 | 600 958 181300 | 8857 4585 117 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 15.5976 s Remaining CPU time: 164.402 s c =============================================================================== c | 12802 | 600 959 181800 | 5000 4690 116 | 0.000 % | c | 12902 | 600 959 181800 | 5500 4790 117 | 0.000 % | c | 13052 | 600 959 181800 | 6050 4940 115 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 16.0666 s Remaining CPU time: 163.933 s c =============================================================================== c | 13245 | 600 960 182300 | 5000 5133 116 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 16.1086 s Remaining CPU time: 163.891 s c =============================================================================== c | 13289 | 600 961 182800 | 5000 2611 103 | 0.000 % | c | 13389 | 600 961 182800 | 5500 2711 105 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 16.2895 s Remaining CPU time: 163.71 s c =============================================================================== c | 13439 | 600 962 183300 | 5000 2761 103 | 0.000 % | c | 13540 | 600 962 183300 | 5500 2862 105 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 16.4195 s Remaining CPU time: 163.58 s c =============================================================================== c | 13583 | 600 963 183800 | 5000 2905 104 | 0.000 % | c | 13684 | 600 963 183800 | 5500 3006 105 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 16.5495 s Remaining CPU time: 163.451 s c =============================================================================== c | 13686 | 600 964 184300 | 5000 3008 105 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 16.5825 s Remaining CPU time: 163.418 s c =============================================================================== c | 13750 | 600 965 184800 | 5000 3072 104 | 0.000 % | c | 13851 | 600 965 184800 | 5500 3173 105 | 0.000 % | c | 14001 | 600 965 184800 | 6050 3323 105 | 0.000 % | c | 14226 | 600 965 184800 | 6655 3548 107 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 17.0774 s Remaining CPU time: 162.923 s c =============================================================================== c | 14310 | 600 966 185300 | 5000 3632 108 | 0.000 % | c | 14411 | 600 966 185300 | 5500 3733 106 | 0.000 % | c | 14561 | 600 966 185300 | 6050 3883 108 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 17.3794 s Remaining CPU time: 162.621 s c =============================================================================== c | 14752 | 600 967 185800 | 5000 4074 104 | 0.000 % | c | 14852 | 600 967 185800 | 5500 4174 105 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 17.5673 s Remaining CPU time: 162.433 s c =============================================================================== c | 14936 | 600 968 186300 | 5000 4258 104 | 0.000 % | c | 15036 | 600 968 186300 | 5500 4358 105 | 0.000 % | c | 15186 | 600 968 186300 | 6050 4508 103 | 0.000 % | c | 15411 | 600 968 186300 | 6655 4733 105 | 0.000 % | c | 15748 | 600 968 186300 | 7320 5070 105 | 0.000 % | c | 16256 | 600 968 186300 | 8052 5578 103 | 0.000 % | c | 17015 | 600 968 186300 | 8857 6337 107 | 0.000 % | c | 18155 | 600 968 186300 | 9743 7477 111 | 0.000 % | c | 19863 | 600 968 186300 | 10717 9185 114 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 21.1358 s Remaining CPU time: 158.864 s c =============================================================================== c | 20191 | 600 969 186800 | 5000 9513 115 | 0.000 % | c | 20291 | 600 969 186800 | 5500 4857 119 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 21.3038 s Remaining CPU time: 158.696 s c =============================================================================== c | 20437 | 600 970 187300 | 5000 5003 120 | 0.000 % | c | 20538 | 600 970 187300 | 5500 2603 112 | 0.000 % | c | 20689 | 600 970 187300 | 6050 2754 113 | 0.000 % | c | 20914 | 600 970 187300 | 6655 2979 114 | 0.000 % | c | 21251 | 600 970 187300 | 7320 3316 113 | 0.000 % | c | 21757 | 600 970 187300 | 8052 3822 114 | 0.000 % | c | 22516 | 600 970 187300 | 8857 4581 118 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 23.1705 s Remaining CPU time: 156.83 s c =============================================================================== c | 22925 | 600 971 187800 | 5000 4990 118 | 0.000 % | c | 23025 | 600 971 187800 | 5500 5090 119 | 0.000 % | c | 23175 | 600 971 187800 | 6050 5240 118 | 0.000 % | c | 23400 | 600 971 187800 | 6655 5465 118 | 0.000 % | c | 23738 | 600 971 187800 | 7320 5803 119 | 0.000 % | c | 24244 | 600 971 187800 | 8052 6309 121 | 0.000 % | c | 25003 | 600 971 187800 | 8857 7068 122 | 0.000 % | c | 26142 | 600 971 187800 | 9743 8207 124 | 0.000 % | c | 27853 | 600 971 187800 | 10717 4975 125 | 0.000 % | c | 30416 | 600 971 187800 | 11789 7538 127 | 0.000 % | c | 34260 | 600 971 187800 | 12968 11382 131 | 0.000 % | c | 40026 | 600 971 187800 | 14265 10583 133 | 0.000 % | c | 48676 | 600 971 187800 | 15692 12018 134 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 52.462 s Remaining CPU time: 127.538 s c =============================================================================== c | 59324 | 600 972 188300 | 5000 14748 135 | 0.000 % | c | 59424 | 600 972 188300 | 5500 3787 128 | 0.000 % | c | 59574 | 600 972 188300 | 6050 3937 128 | 0.000 % | c | 59799 | 600 972 188300 | 6655 4162 124 | 0.000 % | c | 60136 | 600 972 188300 | 7320 4499 124 | 0.000 % | c | 60642 | 600 972 188300 | 8052 5005 123 | 0.000 % | c | 61401 | 600 972 188300 | 8857 5764 125 | 0.000 % | c | 62540 | 600 972 188300 | 9743 6903 126 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 54.2697 s Remaining CPU time: 125.73 s c =============================================================================== c | 62570 | 600 973 188800 | 5000 6933 126 | 0.000 % | c | 62671 | 600 973 188800 | 5500 3568 116 | 0.000 % | c | 62823 | 600 973 188800 | 6050 3720 113 | 0.000 % | c | 63048 | 600 973 188800 | 6655 3945 114 | 0.000 % | c | 63385 | 600 973 188800 | 7320 4282 112 | 0.000 % | c | 63891 | 600 973 188800 | 8052 4788 114 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 55.3126 s Remaining CPU time: 124.687 s c =============================================================================== c | 63919 | 600 974 189300 | 5000 4816 113 | 0.000 % | c | 64020 | 600 974 189300 | 5500 4917 114 | 0.000 % | c | 64171 | 600 974 189300 | 6050 5068 112 | 0.000 % | c | 64396 | 600 974 189300 | 6655 5293 113 | 0.000 % | c | 64733 | 600 974 189300 | 7320 5630 108 | 0.000 % | c | 65239 | 600 974 189300 | 8052 6136 110 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 56.4484 s Remaining CPU time: 123.552 s c =============================================================================== c | 65503 | 600 975 189800 | 5000 6400 107 | 0.000 % | c | 65603 | 600 975 189800 | 5500 3300 97 | 0.000 % | c | 65753 | 600 975 189800 | 6050 3450 95 | 0.000 % | c | 65978 | 600 975 189800 | 6655 3675 94 | 0.000 % | c | 66315 | 600 975 189800 | 7320 4012 92 | 0.000 % | c | 66823 | 600 975 189800 | 8052 4520 96 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 57.4503 s Remaining CPU time: 122.55 s c =============================================================================== c | 67116 | 600 976 190300 | 5000 4813 97 | 0.000 % | c | 67216 | 600 976 190300 | 5500 4913 97 | 0.000 % | c | 67367 | 600 976 190300 | 6050 5064 98 | 0.000 % | c | 67592 | 600 976 190300 | 6655 5289 99 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 57.8022 s Remaining CPU time: 122.198 s c =============================================================================== c | 67678 | 600 977 190800 | 5000 5375 99 | 0.000 % | c | 67780 | 600 977 190800 | 5500 2790 92 | 0.000 % | c | 67931 | 600 977 190800 | 6050 2941 89 | 0.000 % | c | 68157 | 600 977 190800 | 6655 3167 92 | 0.000 % | c | 68494 | 600 977 190800 | 7320 3504 87 | 0.000 % | c | 69000 | 600 977 190800 | 8052 4010 92 | 0.000 % | c | 69759 | 600 977 190800 | 8857 4769 95 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 59.7689 s Remaining CPU time: 120.231 s c =============================================================================== c | 70546 | 600 978 191300 | 5000 5556 99 | 0.000 % | c | 70646 | 600 978 191300 | 5500 2878 101 | 0.000 % | c | 70796 | 600 978 191300 | 6050 3028 102 | 0.000 % | c | 71021 | 600 978 191300 | 6655 3253 100 | 0.000 % | c | 71358 | 600 978 191300 | 7320 3590 101 | 0.000 % | c | 71864 | 600 978 191300 | 8052 4096 104 | 0.000 % | c | 72623 | 600 978 191300 | 8857 4855 104 | 0.000 % | c | 73762 | 600 978 191300 | 9743 5994 108 | 0.000 % | c | 75470 | 600 978 191300 | 10717 7702 113 | 0.000 % | c | 78032 | 600 978 191300 | 11789 10264 117 | 0.000 % | c | 81876 | 600 978 191300 | 12968 8141 121 | 0.000 % | c | 87642 | 600 978 191300 | 14265 7352 127 | 0.000 % | c | 96292 | 600 978 191300 | 15692 8794 127 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 81.7926 s Remaining CPU time: 98.2074 s c =============================================================================== c | 101870 | 600 979 191800 | 5000 14372 126 | 0.000 % | c | 101970 | 600 979 191800 | 5500 3693 115 | 0.000 % | c | 102120 | 600 979 191800 | 6050 3843 114 | 0.000 % | c | 102345 | 600 979 191800 | 6655 4068 114 | 0.000 % | c | 102682 | 600 979 191800 | 7320 4405 113 | 0.000 % | c | 103188 | 600 979 191800 | 8052 4911 115 | 0.000 % | c | 103947 | 600 979 191800 | 8857 5670 116 | 0.000 % | c | 105086 | 600 979 191800 | 9743 6809 117 | 0.000 % | c | 106795 | 600 979 191800 | 10717 8518 119 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 86.7988 s Remaining CPU time: 93.2012 s c =============================================================================== c | 107970 | 600 980 192300 | 5000 9693 120 | 0.000 % | c | 108070 | 600 980 192300 | 5500 4947 114 | 0.000 % | c | 108220 | 600 980 192300 | 6050 5097 113 | 0.000 % | c | 108445 | 600 980 192300 | 6655 5322 114 | 0.000 % | c | 108782 | 600 980 192300 | 7320 5659 115 | 0.000 % | c | 109288 | 600 980 192300 | 8052 6165 113 | 0.000 % | c | 110047 | 600 980 192300 | 8857 6924 114 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 89.0985 s Remaining CPU time: 90.9015 s c =============================================================================== c | 111016 | 600 981 192800 | 5000 7893 116 | 0.000 % | c | 111116 | 600 981 192800 | 5500 4047 105 | 0.000 % | c | 111266 | 600 981 192800 | 6050 4197 106 | 0.000 % | c | 111491 | 600 981 192800 | 6655 4422 104 | 0.000 % | c | 111828 | 600 981 192800 | 7320 4759 101 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 89.7374 s Remaining CPU time: 90.2626 s c =============================================================================== c | 112309 | 600 982 193300 | 5000 5240 101 | 0.000 % | c | 112409 | 600 982 193300 | 5500 2720 93 | 0.000 % | c | 112559 | 600 982 193300 | 6050 2870 90 | 0.000 % | c | 112784 | 600 982 193300 | 6655 3095 93 | 0.000 % | c | 113123 | 600 982 193300 | 7320 3434 95 | 0.000 % | c | 113629 | 600 982 193300 | 8052 3940 94 | 0.000 % | c | 114388 | 600 982 193300 | 8857 4699 99 | 0.000 % | c | 115527 | 600 982 193300 | 9743 5838 103 | 0.000 % | c | 117235 | 600 982 193300 | 10717 7546 107 | 0.000 % | c | 119799 | 600 982 193300 | 11789 10110 111 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 95.3395 s Remaining CPU time: 84.6605 s c =============================================================================== c | 120634 | 600 983 193800 | 5000 10945 112 | 0.000 % | c | 120734 | 600 983 193800 | 5500 2837 108 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 95.4565 s Remaining CPU time: 84.5435 s c =============================================================================== c | 120773 | 600 984 194300 | 5000 2876 107 | 0.000 % | c | 120873 | 600 984 194300 | 5500 2976 108 | 0.000 % | c | 121023 | 600 984 194300 | 6050 3126 108 | 0.000 % | c | 121250 | 600 984 194300 | 6655 3353 108 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 95.8874 s Remaining CPU time: 84.1126 s c =============================================================================== c | 121428 | 600 985 194800 | 5000 3531 104 | 0.000 % | c | 121529 | 600 985 194800 | 5500 3632 105 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 96.0384 s Remaining CPU time: 83.9616 s c =============================================================================== c | 121537 | 600 986 195300 | 5000 3640 105 | 0.000 % | c | 121637 | 600 986 195300 | 5500 3740 105 | 0.000 % | c | 121787 | 600 986 195300 | 6050 3890 102 | 0.000 % | c | 122012 | 600 986 195300 | 6655 4115 103 | 0.000 % | c | 122349 | 600 986 195300 | 7320 4452 103 | 0.000 % | c | 122855 | 600 986 195300 | 8052 4958 99 | 0.000 % | c | 123614 | 600 986 195300 | 8857 5717 101 | 0.000 % | c | 124753 | 600 986 195300 | 9743 6856 104 | 0.000 % | c | 126461 | 600 986 195300 | 10717 8564 107 | 0.000 % | c | 129023 | 600 986 195300 | 11789 5692 115 | 0.000 % | c | 132867 | 600 986 195300 | 12968 9536 117 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 107.503 s Remaining CPU time: 72.4973 s c =============================================================================== c | 135429 | 600 987 195800 | 5000 12098 119 | 0.000 % | c | 135529 | 600 987 195800 | 5500 3125 108 | 0.000 % | c | 135679 | 600 987 195800 | 6050 3275 108 | 0.000 % | c | 135904 | 600 987 195800 | 6655 3500 109 | 0.000 % | c | 136242 | 600 987 195800 | 7320 3838 109 | 0.000 % | c | 136748 | 600 987 195800 | 8052 4344 110 | 0.000 % | c | 137508 | 600 987 195800 | 8857 5104 111 | 0.000 % | c | 138648 | 600 987 195800 | 9743 6244 112 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 110.155 s Remaining CPU time: 69.8447 s c =============================================================================== c | 139399 | 600 988 196300 | 5000 6995 111 | 0.000 % | c | 139499 | 600 988 196300 | 5500 3598 104 | 0.000 % | c | 139649 | 600 988 196300 | 6050 3748 104 | 0.000 % | c | 139874 | 600 988 196300 | 6655 3973 101 | 0.000 % | c | 140211 | 600 988 196300 | 7320 4310 103 | 0.000 % | c | 140717 | 600 988 196300 | 8052 4816 104 | 0.000 % | c | 141477 | 600 988 196300 | 8857 5576 105 | 0.000 % | c | 142616 | 600 988 196300 | 9743 6715 104 | 0.000 % | c | 144324 | 600 988 196300 | 10717 8423 107 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 114.723 s Remaining CPU time: 65.2774 s c =============================================================================== c | 145555 | 600 989 196800 | 5000 9654 108 | 0.000 % | c | 145655 | 600 989 196800 | 5500 4927 109 | 0.000 % | c | 145805 | 600 989 196800 | 6050 5077 109 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 114.95 s Remaining CPU time: 65.0505 s c =============================================================================== c | 145889 | 600 990 197300 | 5000 5161 108 | 0.000 % | c | 145990 | 600 990 197300 | 5500 2682 105 | 0.000 % | c | 146140 | 600 990 197300 | 6050 2832 105 | 0.000 % | c | 146365 | 600 990 197300 | 6655 3057 100 | 0.000 % | c | 146702 | 600 990 197300 | 7320 3394 102 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 115.574 s Remaining CPU time: 64.4256 s c =============================================================================== c | 146812 | 600 991 197800 | 5000 3504 100 | 0.000 % | c | 146912 | 600 991 197800 | 5500 3604 100 | 0.000 % | c | 147062 | 600 991 197800 | 6050 3754 98 | 0.000 % | c | 147287 | 600 991 197800 | 6655 3979 99 | 0.000 % | c | 147625 | 600 991 197800 | 7320 4317 95 | 0.000 % | c | 148131 | 600 991 197800 | 8052 4823 97 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 116.793 s Remaining CPU time: 63.2068 s c =============================================================================== c | 148166 | 600 992 198300 | 5000 4858 97 | 0.000 % | c | 148267 | 600 992 198300 | 5500 4959 97 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 116.996 s Remaining CPU time: 63.0038 s c =============================================================================== c | 148333 | 600 993 198800 | 5000 5025 96 | 0.000 % | c | 148434 | 600 993 198800 | 5500 2614 80 | 0.000 % | c | 148584 | 600 993 198800 | 6050 2764 78 | 0.000 % | c | 148809 | 600 993 198800 | 6655 2989 81 | 0.000 % | c | 149146 | 600 993 198800 | 7320 3326 82 | 0.000 % | c | 149652 | 600 993 198800 | 8052 3832 83 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 118.15 s Remaining CPU time: 61.85 s c =============================================================================== c | 149950 | 600 994 199300 | 5000 4130 84 | 0.000 % | c | 150050 | 600 994 199300 | 5500 4230 85 | 0.000 % | c | 150200 | 600 994 199300 | 6050 4380 86 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 118.456 s Remaining CPU time: 61.544 s c =============================================================================== c | 150240 | 600 995 199800 | 5000 4420 86 | 0.000 % | c | 150341 | 600 995 199800 | 5500 4521 87 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 118.57 s Remaining CPU time: 61.43 s c =============================================================================== c | 150488 | 600 996 200300 | 5000 4668 85 | 0.000 % | c | 150588 | 600 996 200300 | 5500 4768 86 | 0.000 % | c | 150738 | 600 996 200300 | 6050 4918 86 | 0.000 % | c | 150963 | 600 996 200300 | 6655 5143 84 | 0.000 % | c | 151302 | 600 996 200300 | 7320 5482 86 | 0.000 % | c | 151808 | 600 996 200300 | 8052 5988 87 | 0.000 % | c | 152567 | 600 996 200300 | 8857 6747 88 | 0.000 % | c | 153706 | 600 996 200300 | 9743 7886 91 | 0.000 % | c | 155414 | 600 996 200300 | 10717 9594 95 | 0.000 % | c | 157976 | 600 996 200300 | 11789 6731 105 | 0.000 % | c | 161820 | 600 996 200300 | 12968 10575 108 | 0.000 % | c | 167586 | 600 996 200300 | 14265 9796 109 | 0.000 % | c | 176235 | 600 996 200300 | 15692 11253 109 | 0.000 % | c | 189209 | 600 996 200300 | 17261 8413 109 | 0.000 % | c | 208670 | 600 996 200300 | 18987 10487 113 | 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 1497 2300 | 5000 0 nan | 0.000 % | c | 101 | 100 1497 2300 | 5500 101 31 | 83.336 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 800 1498 126850 | 5000 0 nan | 0.000 % | c | 101 | 800 1498 126850 | 5500 101 33 | 15.790 % | c | 253 | 800 1498 126850 | 6050 253 22 | 15.790 % | c | 478 | 800 1498 126850 | 6655 478 19 | 15.790 % | c | 817 | 800 1498 126850 | 7320 817 22 | 15.790 % | c | 1326 | 800 1498 126850 | 8052 1326 22 | 15.790 % | c | 2085 | 800 1498 126850 | 8857 2085 23 | 15.790 % | c | 3225 | 796 1498 126850 | 9743 2859 32 | 16.215 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1436 1499 200976 | 5000 0 nan | 0.000 % | c | 102 | 1436 1499 200976 | 5500 102 33 | 0.278 % | c | 252 | 1436 1499 200976 | 6050 252 22 | 0.278 % | c | 477 | 1436 1499 200976 | 6655 477 16 | 0.278 % | c | 816 | 1436 1499 200976 | 7320 816 15 | 0.278 % | c | 1322 | 1436 1499 200976 | 8052 1322 14 | 0.278 % | c | 2084 | 1436 1499 200976 | 8857 2084 13 | 0.278 % | c | 3225 | 1436 1499 200976 | 9743 3225 13 | 0.278 % | c | 4933 | 1436 1499 200976 | 10717 4933 13 | 0.278 % | c | 7495 | 1436 1499 200976 | 11789 7495 14 | 0.278 % | c | 11339 | 1436 1499 200976 | 12968 11339 13 | 0.278 % | c | 17105 | 1436 1499 200976 | 14265 10609 14 | 0.278 % | c | 25755 | 1436 1499 200976 | 15692 12118 14 | 0.278 % | c | 38729 | 1436 1499 200976 | 17261 9359 14 | 0.278 % | c | 58192 | 1436 1499 200976 | 18987 11537 14 | 0.278 % | c | 87386 | 1435 1499 200976 | 20886 14925 14 | 0.348 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1935 1500 203471 | 5000 0 nan | 0.000 % | c | 100 | 1935 1500 203471 | 5500 100 32 | 0.052 % | c | 251 | 1935 1500 203471 | 6050 251 77 | 0.052 % | c | 476 | 1935 1500 203471 | 6655 476 81 | 0.052 % | c | 813 | 1935 1500 203471 | 7320 813 87 | 0.052 % | c | 1319 | 1935 1500 203471 | 8052 1319 78 | 0.052 % | c | 2079 | 1935 1500 203471 | 8857 2079 62 | 0.052 % | c | 3218 | 1935 1500 203471 | 9743 3218 49 | 0.052 % | c | 4926 | 1935 1500 203471 | 10717 4926 41 | 0.052 % | c | 7489 | 1935 1500 203471 | 11789 7489 34 | 0.052 % | c | 11333 | 1935 1500 203471 | 12968 11333 31 | 0.052 % | c | 17104 | 1935 1500 203471 | 14265 10606 24 | 0.052 % | c | 25753 | 1935 1500 203471 | 15692 12110 25 | 0.052 % | c | 38731 | 1935 1500 203471 | 17261 9361 22 | 0.052 % | c | 58192 | 1935 1500 203471 | 18987 11457 24 | 0.052 % | c | 87385 | 1935 1500 203471 | 20886 12115 22 | 0.052 % | c | 131176 | 1935 1500 203471 | 22974 13967 23 | 0.052 % | c | 196860 | 1935 1500 203471 | 25272 22065 26 | 0.052 % | c | 295388 | 1935 1500 203471 | 27799 16764 25 | 0.052 % | c | 443177 | 1935 1500 203471 | 30579 13944 21 | 0.052 % | c | 664860 | 1935 1500 203471 | 33637 23768 25 | 0.052 % | c | 997385 | 1935 1500 203471 | 37001 32380 27 | 0.052 % |