c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 600 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 600 | c | Number Clauses: 600 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 600 600 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 600 601 2800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 600 602 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 600 603 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 600 604 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 605 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 600 606 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 600 607 5800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 600 608 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 600 609 6800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 600 610 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 600 611 7800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 600 612 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 600 613 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 600 614 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 600 615 9800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 600 616 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 600 617 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 600 618 11300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 600 619 11800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 600 620 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 600 621 12800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 600 622 13300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 600 623 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 600 624 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 600 625 14800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 600 626 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1 | 600 627 15800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 600 628 16300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 600 629 16800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 600 630 17300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 600 631 17800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 1 | 600 632 18300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 600 633 18800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 600 634 19300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 600 635 19800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 600 636 20300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 600 637 20800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 600 638 21300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 600 639 21800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 600 640 22300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 600 641 22800 | 5000 1 478 | 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 478 | 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 478 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 600 644 24300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 600 645 24800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 600 646 25300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 600 647 25800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 600 648 26300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 600 649 26800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 600 650 27300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1 | 600 651 27800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 1 | 600 652 28300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1 | 600 653 28800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 600 654 29300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 600 655 29800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 1 | 600 656 30300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 1 | 600 657 30800 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 600 658 31300 | 5000 1 478 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 2 | 600 659 31800 | 5000 2 241 | 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 241 | 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 241 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 2 | 600 662 33300 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 2 | 600 663 33800 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 2 | 600 664 34300 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 2 | 600 665 34800 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 2 | 600 666 35300 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 2 | 600 667 35800 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 2 | 600 668 36300 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 2 | 600 669 36800 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 2 | 600 670 37300 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 2 | 600 671 37800 | 5000 2 241 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 3 | 600 672 38300 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 4 | 600 673 38800 | 5000 4 124 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 4 | 600 674 39300 | 5000 4 124 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 4 | 600 675 39800 | 5000 4 124 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 4 | 600 676 40300 | 5000 4 124 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 4 | 600 677 40800 | 5000 4 124 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 5 | 600 678 41300 | 5000 5 186 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 5 | 600 679 41800 | 5000 5 186 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 6 | 600 680 42300 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 6 | 600 681 42800 | 5000 6 156 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 7 | 600 682 43300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 7 | 600 683 43800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 7 | 600 684 44300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 7 | 600 685 44800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 7 | 600 686 45300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 9 | 600 687 45800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 9 | 600 688 46300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 9 | 600 689 46800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 9 | 600 690 47300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 9 | 600 691 47800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 9 | 600 692 48300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 10 | 600 693 48800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 10 | 600 694 49300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 10 | 600 695 49800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 10 | 600 696 50300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 10 | 600 697 50800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 11 | 600 698 51300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 11 | 600 699 51800 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 11 | 600 700 52300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 11 | 600 701 52800 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 11 | 600 702 53300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 11 | 600 703 53800 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 11 | 600 704 54300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 11 | 600 705 54800 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 11 | 600 706 55300 | 5000 11 88 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 13 | 600 707 55800 | 5000 13 76 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 13 | 600 708 56300 | 5000 13 76 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 14 | 600 709 56800 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 14 | 600 710 57300 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 15 | 600 711 57800 | 5000 15 93 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 16 | 600 712 58300 | 5000 16 88 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 16 | 600 713 58800 | 5000 16 88 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 16 | 600 714 59300 | 5000 16 88 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 16 | 600 715 59800 | 5000 16 88 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 19 | 600 716 60300 | 5000 19 116 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 19 | 600 717 60800 | 5000 19 116 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 19 | 600 718 61300 | 5000 19 116 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 19 | 600 719 61800 | 5000 19 116 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 21 | 600 720 62300 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.626904 s Remaining CPU time: 179.373 s c =============================================================================== c | 21 | 600 721 62800 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 21 | 600 722 63300 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 21 | 600 723 63800 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 21 | 600 724 64300 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 21 | 600 725 64800 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 21 | 600 726 65300 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s c =============================================================================== c | 21 | 600 727 65800 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 21 | 600 728 66300 | 5000 21 105 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 23 | 600 729 66800 | 5000 23 97 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 26 | 600 730 67300 | 5000 26 115 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 27 | 600 731 67800 | 5000 27 125 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 27 | 600 732 68300 | 5000 27 125 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 28 | 600 733 68800 | 5000 28 121 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 28 | 600 734 69300 | 5000 28 121 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 29 | 600 735 69800 | 5000 29 117 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 30 | 600 736 70300 | 5000 30 113 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 30 | 600 737 70800 | 5000 30 113 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 30 | 600 738 71300 | 5000 30 113 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.841872 s Remaining CPU time: 179.158 s c =============================================================================== c | 30 | 600 739 71800 | 5000 30 113 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 30 | 600 740 72300 | 5000 30 113 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 31 | 600 741 72800 | 5000 31 121 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 31 | 600 742 73300 | 5000 31 121 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 31 | 600 743 73800 | 5000 31 121 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 32 | 600 744 74300 | 5000 32 129 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 32 | 600 745 74800 | 5000 32 129 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 32 | 600 746 75300 | 5000 32 129 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 32 | 600 747 75800 | 5000 32 129 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 32 | 600 748 76300 | 5000 32 129 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s c =============================================================================== c | 34 | 600 749 76800 | 5000 34 122 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 35 | 600 750 77300 | 5000 35 129 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s c =============================================================================== c | 35 | 600 751 77800 | 5000 35 129 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s c =============================================================================== c | 35 | 600 752 78300 | 5000 35 129 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 35 | 600 753 78800 | 5000 35 129 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 38 | 600 754 79300 | 5000 38 119 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 39 | 600 755 79800 | 5000 39 116 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 40 | 600 756 80300 | 5000 40 114 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 40 | 600 757 80800 | 5000 40 114 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 40 | 600 758 81300 | 5000 40 114 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.12983 s Remaining CPU time: 178.87 s c =============================================================================== c | 40 | 600 759 81800 | 5000 40 114 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 42 | 600 760 82300 | 5000 42 109 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 44 | 600 761 82800 | 5000 44 112 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.17782 s Remaining CPU time: 178.822 s c =============================================================================== c | 46 | 600 762 83300 | 5000 46 122 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 48 | 600 763 83800 | 5000 48 124 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 49 | 600 764 84300 | 5000 49 122 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 50 | 600 765 84800 | 5000 50 120 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 1.24281 s Remaining CPU time: 178.757 s c =============================================================================== c | 50 | 600 766 85300 | 5000 50 120 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 1.25781 s Remaining CPU time: 178.742 s c =============================================================================== c | 50 | 600 767 85800 | 5000 50 120 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 50 | 600 768 86300 | 5000 50 120 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 50 | 600 769 86800 | 5000 50 120 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 1.3068 s Remaining CPU time: 178.693 s c =============================================================================== c | 52 | 600 770 87300 | 5000 52 115 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 52 | 600 771 87800 | 5000 52 115 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 52 | 600 772 88300 | 5000 52 115 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 1.35779 s Remaining CPU time: 178.642 s c =============================================================================== c | 52 | 600 773 88800 | 5000 52 115 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 1.37479 s Remaining CPU time: 178.625 s c =============================================================================== c | 52 | 600 774 89300 | 5000 52 115 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 1.39179 s Remaining CPU time: 178.608 s c =============================================================================== c | 53 | 600 775 89800 | 5000 53 113 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 1.40979 s Remaining CPU time: 178.59 s c =============================================================================== c | 53 | 600 776 90300 | 5000 53 113 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 54 | 600 777 90800 | 5000 54 112 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 54 | 600 778 91300 | 5000 54 112 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 54 | 600 779 91800 | 5000 54 112 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 1.47877 s Remaining CPU time: 178.521 s c =============================================================================== c | 55 | 600 780 92300 | 5000 55 110 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 55 | 600 781 92800 | 5000 55 110 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 1.51377 s Remaining CPU time: 178.486 s c =============================================================================== c | 57 | 600 782 93300 | 5000 57 107 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 1.53177 s Remaining CPU time: 178.468 s c =============================================================================== c | 58 | 600 783 93800 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 1.55076 s Remaining CPU time: 178.449 s c =============================================================================== c | 63 | 600 784 94300 | 5000 63 122 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 1.56976 s Remaining CPU time: 178.43 s c =============================================================================== c | 64 | 600 785 94800 | 5000 64 120 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 65 | 600 786 95300 | 5000 65 119 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 65 | 600 787 95800 | 5000 65 119 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s c =============================================================================== c | 65 | 600 788 96300 | 5000 65 119 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 65 | 600 789 96800 | 5000 65 119 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 1.66175 s Remaining CPU time: 178.338 s c =============================================================================== c | 68 | 600 790 97300 | 5000 68 114 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 1.68074 s Remaining CPU time: 178.319 s c =============================================================================== c | 71 | 600 791 97800 | 5000 71 110 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 1.69774 s Remaining CPU time: 178.302 s c =============================================================================== c | 73 | 600 792 98300 | 5000 73 107 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 1.72674 s Remaining CPU time: 178.273 s c =============================================================================== c | 100 | 600 793 98800 | 5000 100 163 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 1.74473 s Remaining CPU time: 178.255 s c =============================================================================== c | 100 | 600 794 99300 | 5000 100 163 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 1.76373 s Remaining CPU time: 178.236 s c =============================================================================== c | 100 | 600 795 99800 | 5000 100 163 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s c =============================================================================== c | 100 | 600 796 100300 | 5000 100 163 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 102 | 600 797 100800 | 5000 102 160 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 102 | 600 798 101300 | 5000 102 160 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 102 | 600 799 101800 | 5000 102 160 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 1.86172 s Remaining CPU time: 178.138 s c =============================================================================== c | 102 | 600 800 102300 | 5000 102 160 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 1.88071 s Remaining CPU time: 178.119 s c =============================================================================== c | 102 | 600 801 102800 | 5000 102 160 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 102 | 600 802 103300 | 5000 102 160 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 102 | 600 803 103800 | 5000 102 160 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 1.9407 s Remaining CPU time: 178.059 s c =============================================================================== c | 103 | 600 804 104300 | 5000 103 159 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 1.9607 s Remaining CPU time: 178.039 s c =============================================================================== c | 103 | 600 805 104800 | 5000 103 159 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 103 | 600 806 105300 | 5000 103 159 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 2.00069 s Remaining CPU time: 177.999 s c =============================================================================== c | 103 | 600 807 105800 | 5000 103 159 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s c =============================================================================== c | 106 | 600 808 106300 | 5000 106 155 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 2.04169 s Remaining CPU time: 177.958 s c =============================================================================== c | 107 | 600 809 106800 | 5000 107 154 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 2.06169 s Remaining CPU time: 177.938 s c =============================================================================== c | 107 | 600 810 107300 | 5000 107 154 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 113 | 600 811 107800 | 5000 113 147 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 2.10468 s Remaining CPU time: 177.895 s c =============================================================================== c | 114 | 600 812 108300 | 5000 114 148 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 115 | 600 813 108800 | 5000 115 147 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.14767 s Remaining CPU time: 177.852 s c =============================================================================== c | 116 | 600 814 109300 | 5000 116 146 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.16867 s Remaining CPU time: 177.831 s c =============================================================================== c | 119 | 600 815 109800 | 5000 119 142 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.18967 s Remaining CPU time: 177.81 s c =============================================================================== c | 119 | 600 816 110300 | 5000 119 142 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.21166 s Remaining CPU time: 177.788 s c =============================================================================== c | 122 | 600 817 110800 | 5000 122 146 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s c =============================================================================== c | 123 | 600 818 111300 | 5000 123 145 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 2.25566 s Remaining CPU time: 177.744 s c =============================================================================== c | 125 | 600 819 111800 | 5000 125 145 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 2.27765 s Remaining CPU time: 177.722 s c =============================================================================== c | 126 | 600 820 112300 | 5000 126 146 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.29965 s Remaining CPU time: 177.7 s c =============================================================================== c | 129 | 600 821 112800 | 5000 129 145 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.32165 s Remaining CPU time: 177.678 s c =============================================================================== c | 130 | 600 822 113300 | 5000 130 146 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.34364 s Remaining CPU time: 177.656 s c =============================================================================== c | 130 | 600 823 113800 | 5000 130 146 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.36564 s Remaining CPU time: 177.634 s c =============================================================================== c | 130 | 600 824 114300 | 5000 130 146 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.38864 s Remaining CPU time: 177.611 s c =============================================================================== c | 132 | 600 825 114800 | 5000 132 146 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 138 | 600 826 115300 | 5000 138 141 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 2.43263 s Remaining CPU time: 177.567 s c =============================================================================== c | 140 | 600 827 115800 | 5000 140 141 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 141 | 600 828 116300 | 5000 141 142 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 2.47762 s Remaining CPU time: 177.522 s c =============================================================================== c | 142 | 600 829 116800 | 5000 142 141 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 142 | 600 830 117300 | 5000 142 141 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 2.52362 s Remaining CPU time: 177.476 s c =============================================================================== c | 142 | 600 831 117800 | 5000 142 141 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 2.54561 s Remaining CPU time: 177.454 s c =============================================================================== c | 143 | 600 832 118300 | 5000 143 140 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 2.56761 s Remaining CPU time: 177.432 s c =============================================================================== c | 143 | 600 833 118800 | 5000 143 140 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 2.59061 s Remaining CPU time: 177.409 s c =============================================================================== c | 143 | 600 834 119300 | 5000 143 140 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 2.6146 s Remaining CPU time: 177.385 s c =============================================================================== c | 147 | 600 835 119800 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 2.6376 s Remaining CPU time: 177.362 s c =============================================================================== c | 148 | 600 836 120300 | 5000 148 143 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 2.66059 s Remaining CPU time: 177.339 s c =============================================================================== c | 148 | 600 837 120800 | 5000 148 143 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 2.68359 s Remaining CPU time: 177.316 s c =============================================================================== c | 150 | 600 838 121300 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 2.70759 s Remaining CPU time: 177.292 s c =============================================================================== c | 150 | 600 839 121800 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 2.73058 s Remaining CPU time: 177.269 s c =============================================================================== c | 150 | 600 840 122300 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 2.75358 s Remaining CPU time: 177.246 s c =============================================================================== c | 150 | 600 841 122800 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 2.77658 s Remaining CPU time: 177.223 s c =============================================================================== c | 150 | 600 842 123300 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 2.80057 s Remaining CPU time: 177.199 s c =============================================================================== c | 150 | 600 843 123800 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 2.82457 s Remaining CPU time: 177.175 s c =============================================================================== c | 150 | 600 844 124300 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 2.84757 s Remaining CPU time: 177.152 s c =============================================================================== c | 150 | 600 845 124800 | 5000 150 141 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 2.87056 s Remaining CPU time: 177.129 s c =============================================================================== c | 151 | 600 846 125300 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 2.89456 s Remaining CPU time: 177.105 s c =============================================================================== c | 151 | 600 847 125800 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 2.91856 s Remaining CPU time: 177.081 s c =============================================================================== c | 151 | 600 848 126300 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 151 | 600 849 126800 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 2.96455 s Remaining CPU time: 177.035 s c =============================================================================== c | 151 | 600 850 127300 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 2.98855 s Remaining CPU time: 177.011 s c =============================================================================== c | 151 | 600 851 127800 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.01254 s Remaining CPU time: 176.987 s c =============================================================================== c | 151 | 600 852 128300 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 3.03554 s Remaining CPU time: 176.964 s c =============================================================================== c | 151 | 600 853 128800 | 5000 151 140 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 3.05953 s Remaining CPU time: 176.94 s c =============================================================================== c | 154 | 600 854 129300 | 5000 154 138 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 3.08353 s Remaining CPU time: 176.916 s c =============================================================================== c | 155 | 600 855 129800 | 5000 155 137 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 3.10753 s Remaining CPU time: 176.892 s c =============================================================================== c | 155 | 600 856 130300 | 5000 155 137 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 3.13152 s Remaining CPU time: 176.868 s c =============================================================================== c | 156 | 600 857 130800 | 5000 156 136 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 3.15652 s Remaining CPU time: 176.843 s c =============================================================================== c | 158 | 600 858 131300 | 5000 158 136 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 3.18052 s Remaining CPU time: 176.819 s c =============================================================================== c | 158 | 600 859 131800 | 5000 158 136 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 3.20351 s Remaining CPU time: 176.796 s c =============================================================================== c | 158 | 600 860 132300 | 5000 158 136 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 3.22751 s Remaining CPU time: 176.772 s c =============================================================================== c | 159 | 600 861 132800 | 5000 159 135 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 3.25251 s Remaining CPU time: 176.747 s c =============================================================================== c | 171 | 600 862 133300 | 5000 171 143 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 3.2765 s Remaining CPU time: 176.723 s c =============================================================================== c | 183 | 600 863 133800 | 5000 183 136 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 3.3035 s Remaining CPU time: 176.697 s c =============================================================================== c | 189 | 600 864 134300 | 5000 189 139 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 3.32749 s Remaining CPU time: 176.673 s c =============================================================================== c | 201 | 600 865 134800 | 5000 201 132 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 3.35649 s Remaining CPU time: 176.644 s c =============================================================================== c | 207 | 600 866 135300 | 5000 207 135 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 3.38049 s Remaining CPU time: 176.62 s c =============================================================================== c | 207 | 600 867 135800 | 5000 207 135 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s c =============================================================================== c | 209 | 600 868 136300 | 5000 209 134 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 3.42848 s Remaining CPU time: 176.572 s c =============================================================================== c | 209 | 600 869 136800 | 5000 209 134 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s c =============================================================================== c | 210 | 600 870 137300 | 5000 210 134 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 3.47747 s Remaining CPU time: 176.523 s c =============================================================================== c | 210 | 600 871 137800 | 5000 210 134 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 3.50147 s Remaining CPU time: 176.499 s c =============================================================================== c | 210 | 600 872 138300 | 5000 210 134 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 3.52546 s Remaining CPU time: 176.475 s c =============================================================================== c | 210 | 600 873 138800 | 5000 210 134 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 3.55046 s Remaining CPU time: 176.45 s c =============================================================================== c | 210 | 600 874 139300 | 5000 210 134 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 211 | 600 875 139800 | 5000 211 133 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 3.59945 s Remaining CPU time: 176.401 s c =============================================================================== c | 211 | 600 876 140300 | 5000 211 133 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 3.62445 s Remaining CPU time: 176.376 s c =============================================================================== c | 211 | 600 877 140800 | 5000 211 133 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 3.64845 s Remaining CPU time: 176.352 s c =============================================================================== c | 212 | 600 878 141300 | 5000 212 133 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 3.67344 s Remaining CPU time: 176.327 s c =============================================================================== c | 213 | 600 879 141800 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 3.69744 s Remaining CPU time: 176.303 s c =============================================================================== c | 213 | 600 880 142300 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 3.72243 s Remaining CPU time: 176.278 s c =============================================================================== c | 213 | 600 881 142800 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 3.74743 s Remaining CPU time: 176.253 s c =============================================================================== c | 213 | 600 882 143300 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 3.77143 s Remaining CPU time: 176.229 s c =============================================================================== c | 213 | 600 883 143800 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 3.79642 s Remaining CPU time: 176.204 s c =============================================================================== c | 213 | 600 884 144300 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 3.82142 s Remaining CPU time: 176.179 s c =============================================================================== c | 213 | 600 885 144800 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 3.84641 s Remaining CPU time: 176.154 s c =============================================================================== c | 213 | 600 886 145300 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 3.87141 s Remaining CPU time: 176.129 s c =============================================================================== c | 213 | 600 887 145800 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 3.89541 s Remaining CPU time: 176.105 s c =============================================================================== c | 213 | 600 888 146300 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s c =============================================================================== c | 213 | 600 889 146800 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 3.9444 s Remaining CPU time: 176.056 s c =============================================================================== c | 213 | 600 890 147300 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 3.9694 s Remaining CPU time: 176.031 s c =============================================================================== c | 213 | 600 891 147800 | 5000 213 133 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 3.99739 s Remaining CPU time: 176.003 s c =============================================================================== c | 220 | 600 892 148300 | 5000 220 131 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 4.02139 s Remaining CPU time: 175.979 s c =============================================================================== c | 221 | 600 893 148800 | 5000 221 131 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 4.05338 s Remaining CPU time: 175.947 s c =============================================================================== c | 238 | 600 894 149300 | 5000 238 137 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 4.07838 s Remaining CPU time: 175.922 s c =============================================================================== c | 240 | 600 895 149800 | 5000 240 136 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 4.10438 s Remaining CPU time: 175.896 s c =============================================================================== c | 253 | 600 896 150300 | 5000 253 130 | 0.000 % | c | 353 | 600 896 150300 | 5500 353 153 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 4.19036 s Remaining CPU time: 175.81 s c =============================================================================== c | 388 | 600 897 150800 | 5000 388 145 | 0.000 % | c | 488 | 600 897 150800 | 5500 488 158 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 4.29735 s Remaining CPU time: 175.703 s c =============================================================================== c | 505 | 600 898 151300 | 5000 505 154 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 4.32334 s Remaining CPU time: 175.677 s c =============================================================================== c | 506 | 600 899 151800 | 5000 506 153 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 4.34834 s Remaining CPU time: 175.652 s c =============================================================================== c | 507 | 600 900 152300 | 5000 507 153 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 4.37333 s Remaining CPU time: 175.627 s c =============================================================================== c | 508 | 600 901 152800 | 5000 508 153 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 4.39833 s Remaining CPU time: 175.602 s c =============================================================================== c | 508 | 600 902 153300 | 5000 508 153 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 4.42333 s Remaining CPU time: 175.577 s c =============================================================================== c | 508 | 600 903 153800 | 5000 508 153 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 4.44732 s Remaining CPU time: 175.553 s c =============================================================================== c | 508 | 600 904 154300 | 5000 508 153 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 4.47332 s Remaining CPU time: 175.527 s c =============================================================================== c | 508 | 600 905 154800 | 5000 508 153 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 4.50131 s Remaining CPU time: 175.499 s c =============================================================================== c | 515 | 600 906 155300 | 5000 515 152 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 4.52731 s Remaining CPU time: 175.473 s c =============================================================================== c | 515 | 600 907 155800 | 5000 515 152 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 4.55231 s Remaining CPU time: 175.448 s c =============================================================================== c | 515 | 600 908 156300 | 5000 515 152 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 4.5783 s Remaining CPU time: 175.422 s c =============================================================================== c | 515 | 600 909 156800 | 5000 515 152 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 4.6033 s Remaining CPU time: 175.397 s c =============================================================================== c | 515 | 600 910 157300 | 5000 515 152 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 4.6283 s Remaining CPU time: 175.372 s c =============================================================================== c | 515 | 600 911 157800 | 5000 515 152 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 4.65429 s Remaining CPU time: 175.346 s c =============================================================================== c | 516 | 600 912 158300 | 5000 516 152 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 4.68029 s Remaining CPU time: 175.32 s c =============================================================================== c | 517 | 600 913 158800 | 5000 517 152 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 4.70628 s Remaining CPU time: 175.294 s c =============================================================================== c | 518 | 600 914 159300 | 5000 518 152 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 4.73128 s Remaining CPU time: 175.269 s c =============================================================================== c | 518 | 600 915 159800 | 5000 518 152 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 4.75828 s Remaining CPU time: 175.242 s c =============================================================================== c | 518 | 600 916 160300 | 5000 518 152 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 4.78427 s Remaining CPU time: 175.216 s c =============================================================================== c | 518 | 600 917 160800 | 5000 518 152 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 4.81027 s Remaining CPU time: 175.19 s c =============================================================================== c | 520 | 600 918 161300 | 5000 520 152 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 4.83526 s Remaining CPU time: 175.165 s c =============================================================================== c | 520 | 600 919 161800 | 5000 520 152 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 4.86026 s Remaining CPU time: 175.14 s c =============================================================================== c | 523 | 600 920 162300 | 5000 523 151 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 4.89026 s Remaining CPU time: 175.11 s c =============================================================================== c | 532 | 600 921 162800 | 5000 532 150 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 4.92125 s Remaining CPU time: 175.079 s c =============================================================================== c | 558 | 600 922 163300 | 5000 558 152 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 4.94725 s Remaining CPU time: 175.053 s c =============================================================================== c | 558 | 600 923 163800 | 5000 558 152 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 4.97324 s Remaining CPU time: 175.027 s c =============================================================================== c | 589 | 600 924 164300 | 5000 589 146 | 0.000 % | c | 689 | 600 924 164300 | 5500 689 151 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 5.05823 s Remaining CPU time: 174.942 s c =============================================================================== c | 707 | 600 925 164800 | 5000 707 148 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 5.10322 s Remaining CPU time: 174.897 s c =============================================================================== c | 755 | 600 926 165300 | 5000 755 149 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 5.12922 s Remaining CPU time: 174.871 s c =============================================================================== c | 786 | 600 927 165800 | 5000 786 145 | 0.000 % | c | 886 | 600 927 165800 | 5500 886 149 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 5.20921 s Remaining CPU time: 174.791 s c =============================================================================== c | 897 | 600 928 166300 | 5000 897 147 | 0.000 % | c | 997 | 600 928 166300 | 5500 997 136 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 5.2662 s Remaining CPU time: 174.734 s c =============================================================================== c | 1008 | 600 929 166800 | 5000 1008 137 | 0.000 % | c | 1109 | 600 929 166800 | 5500 1109 133 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 5.34619 s Remaining CPU time: 174.654 s c =============================================================================== c | 1163 | 600 930 167300 | 5000 1163 128 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 5.39718 s Remaining CPU time: 174.603 s c =============================================================================== c | 1181 | 600 931 167800 | 5000 1181 129 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 5.42417 s Remaining CPU time: 174.576 s c =============================================================================== c | 1182 | 600 932 168300 | 5000 1182 129 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 5.45517 s Remaining CPU time: 174.545 s c =============================================================================== c | 1278 | 600 933 168800 | 5000 1278 122 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 5.55415 s Remaining CPU time: 174.446 s c =============================================================================== c | 1350 | 600 934 169300 | 5000 1350 125 | 0.000 % | c | 1450 | 600 934 169300 | 5500 1450 119 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 5.70013 s Remaining CPU time: 174.3 s c =============================================================================== c | 1525 | 600 935 169800 | 5000 1525 122 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 5.73013 s Remaining CPU time: 174.27 s c =============================================================================== c | 1615 | 600 936 170300 | 5000 1615 117 | 0.000 % | c | 1716 | 600 936 170300 | 5500 1716 121 | 0.000 % | c | 1866 | 600 936 170300 | 6050 1866 122 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 6.01109 s Remaining CPU time: 173.989 s c =============================================================================== c | 1875 | 600 937 170800 | 5000 1875 122 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 6.03808 s Remaining CPU time: 173.962 s c =============================================================================== c | 1880 | 600 938 171300 | 5000 1880 122 | 0.000 % | c | 1980 | 600 938 171300 | 5500 1980 124 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 6.11707 s Remaining CPU time: 173.883 s c =============================================================================== c | 1980 | 600 939 171800 | 5000 1980 124 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 6.14107 s Remaining CPU time: 173.859 s c =============================================================================== c | 1980 | 600 940 172300 | 5000 1980 124 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 6.16606 s Remaining CPU time: 173.834 s c =============================================================================== c | 1980 | 600 941 172800 | 5000 1980 124 | 0.000 % | c | 2082 | 600 941 172800 | 5500 2082 119 | 0.000 % | c | 2233 | 600 941 172800 | 6050 2233 123 | 0.000 % | c | 2459 | 600 941 172800 | 6655 2459 115 | 0.000 % | c | 2797 | 600 941 172800 | 7320 2797 121 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 6.88095 s Remaining CPU time: 173.119 s c =============================================================================== c | 2893 | 600 942 173300 | 5000 2893 118 | 0.000 % | c | 2993 | 600 942 173300 | 5500 2993 120 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 6.96894 s Remaining CPU time: 173.031 s c =============================================================================== c | 2995 | 600 943 173800 | 5000 2995 120 | 0.000 % | c | 3095 | 600 943 173800 | 5500 3095 117 | 0.000 % | c | 3246 | 600 943 173800 | 6050 3246 120 | 0.000 % | c | 3471 | 600 943 173800 | 6655 3471 122 | 0.000 % | c | 3808 | 600 943 173800 | 7320 3808 126 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 7.50786 s Remaining CPU time: 172.492 s c =============================================================================== c | 3893 | 600 944 174300 | 5000 3893 124 | 0.000 % | c | 3993 | 600 944 174300 | 5500 3993 125 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 7.62384 s Remaining CPU time: 172.376 s c =============================================================================== c | 4049 | 600 945 174800 | 5000 4049 124 | 0.000 % | c | 4149 | 600 945 174800 | 5500 4149 125 | 0.000 % | c | 4299 | 600 945 174800 | 6050 4299 123 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 7.8838 s Remaining CPU time: 172.116 s c =============================================================================== c | 4501 | 600 946 175300 | 5000 4501 120 | 0.000 % | c | 4601 | 600 946 175300 | 5500 4601 120 | 0.000 % | c | 4751 | 600 946 175300 | 6050 4751 121 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 8.16676 s Remaining CPU time: 171.833 s c =============================================================================== c | 4830 | 600 947 175800 | 5000 4830 122 | 0.000 % | c | 4932 | 600 947 175800 | 5500 4932 120 | 0.000 % | c | 5082 | 600 947 175800 | 6050 5082 121 | 0.000 % | c | 5307 | 600 947 175800 | 6655 5307 120 | 0.000 % | c | 5644 | 600 947 175800 | 7320 5644 115 | 0.000 % | c | 6150 | 600 947 175800 | 8052 6150 119 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 9.09062 s Remaining CPU time: 170.909 s c =============================================================================== c | 6351 | 600 948 176300 | 5000 6351 116 | 0.000 % | c | 6451 | 600 948 176300 | 5500 3276 107 | 0.000 % | c | 6601 | 600 948 176300 | 6050 3426 104 | 0.000 % | c | 6826 | 600 948 176300 | 6655 3651 108 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 9.53155 s Remaining CPU time: 170.468 s c =============================================================================== c | 6969 | 600 949 176800 | 5000 3794 105 | 0.000 % | c | 7069 | 600 949 176800 | 5500 3894 107 | 0.000 % | c | 7221 | 600 949 176800 | 6050 4046 104 | 0.000 % | c | 7447 | 600 949 176800 | 6655 4272 107 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 9.8355 s Remaining CPU time: 170.164 s c =============================================================================== c | 7459 | 600 950 177300 | 5000 4284 107 | 0.000 % | c | 7559 | 600 950 177300 | 5500 4384 107 | 0.000 % | c | 7709 | 600 950 177300 | 6050 4534 106 | 0.000 % | c | 7934 | 600 950 177300 | 6655 4759 107 | 0.000 % | c | 8271 | 600 950 177300 | 7320 5096 110 | 0.000 % | c | 8777 | 600 950 177300 | 8052 5602 112 | 0.000 % | c | 9536 | 600 950 177300 | 8857 6361 117 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 11.1413 s Remaining CPU time: 168.859 s c =============================================================================== c | 9700 | 600 951 177800 | 5000 6525 116 | 0.000 % | c | 9800 | 600 951 177800 | 5500 3363 119 | 0.000 % | c | 9950 | 600 951 177800 | 6050 3513 120 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 11.4163 s Remaining CPU time: 168.584 s c =============================================================================== c | 10049 | 600 952 178300 | 5000 3612 120 | 0.000 % | c | 10149 | 600 952 178300 | 5500 3712 120 | 0.000 % | c | 10299 | 600 952 178300 | 6050 3862 121 | 0.000 % | c | 10524 | 600 952 178300 | 6655 4087 122 | 0.000 % | c | 10861 | 600 952 178300 | 7320 4424 124 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 12.2121 s Remaining CPU time: 167.788 s c =============================================================================== c | 11065 | 600 953 178800 | 5000 4628 125 | 0.000 % | c | 11165 | 600 953 178800 | 5500 4728 125 | 0.000 % | c | 11316 | 600 953 178800 | 6050 4879 125 | 0.000 % | c | 11541 | 600 953 178800 | 6655 5104 126 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 12.6501 s Remaining CPU time: 167.35 s c =============================================================================== c | 11637 | 600 954 179300 | 5000 5200 126 | 0.000 % | c | 11737 | 600 954 179300 | 5500 2700 125 | 0.000 % | c | 11887 | 600 954 179300 | 6050 2850 126 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 13.01 s Remaining CPU time: 166.99 s c =============================================================================== c | 12022 | 600 955 179800 | 5000 2985 127 | 0.000 % | c | 12122 | 600 955 179800 | 5500 3085 128 | 0.000 % | c | 12272 | 600 955 179800 | 6050 3235 126 | 0.000 % | c | 12497 | 600 955 179800 | 6655 3460 125 | 0.000 % | c | 12834 | 600 955 179800 | 7320 3797 127 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 13.5489 s Remaining CPU time: 166.451 s c =============================================================================== c | 12950 | 600 956 180300 | 5000 3913 125 | 0.000 % | c | 13050 | 600 956 180300 | 5500 4013 126 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 13.6409 s Remaining CPU time: 166.359 s c =============================================================================== c | 13064 | 600 957 180800 | 5000 4027 125 | 0.000 % | c | 13167 | 600 957 180800 | 5500 4130 126 | 0.000 % | c | 13317 | 600 957 180800 | 6050 4280 123 | 0.000 % | c | 13542 | 600 957 180800 | 6655 4505 125 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 13.9629 s Remaining CPU time: 166.037 s c =============================================================================== c | 13871 | 600 958 181300 | 5000 4834 120 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 13.9909 s Remaining CPU time: 166.009 s c =============================================================================== c | 13928 | 600 959 181800 | 5000 4891 119 | 0.000 % | c | 14028 | 600 959 181800 | 5500 4991 120 | 0.000 % | c | 14178 | 600 959 181800 | 6050 5141 118 | 0.000 % | c | 14403 | 600 959 181800 | 6655 5366 119 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 14.3408 s Remaining CPU time: 165.659 s c =============================================================================== c | 14614 | 600 960 182300 | 5000 5577 116 | 0.000 % | c | 14714 | 600 960 182300 | 5500 2889 92 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 14.4958 s Remaining CPU time: 165.504 s c =============================================================================== c | 14743 | 600 961 182800 | 5000 2918 91 | 0.000 % | c | 14843 | 600 961 182800 | 5500 3018 93 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 14.6008 s Remaining CPU time: 165.399 s c =============================================================================== c | 14882 | 600 962 183300 | 5000 3057 92 | 0.000 % | c | 14982 | 600 962 183300 | 5500 3157 94 | 0.000 % | c | 15132 | 600 962 183300 | 6050 3307 94 | 0.000 % | c | 15357 | 600 962 183300 | 6655 3532 96 | 0.000 % | c | 15694 | 600 962 183300 | 7320 3869 100 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 15.3557 s Remaining CPU time: 164.644 s c =============================================================================== c | 16057 | 600 963 183800 | 5000 4232 100 | 0.000 % | c | 16157 | 600 963 183800 | 5500 4332 100 | 0.000 % | c | 16307 | 600 963 183800 | 6050 4482 101 | 0.000 % | c | 16532 | 600 963 183800 | 6655 4707 102 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 15.8966 s Remaining CPU time: 164.103 s c =============================================================================== c | 16831 | 600 964 184300 | 5000 5006 104 | 0.000 % | c | 16932 | 600 964 184300 | 5500 2604 105 | 0.000 % | c | 17082 | 600 964 184300 | 6050 2754 106 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 16.2375 s Remaining CPU time: 163.762 s c =============================================================================== c | 17211 | 600 965 184800 | 5000 2883 107 | 0.000 % | c | 17311 | 600 965 184800 | 5500 2983 108 | 0.000 % | c | 17461 | 600 965 184800 | 6050 3133 107 | 0.000 % | c | 17686 | 600 965 184800 | 6655 3358 110 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 16.5565 s Remaining CPU time: 163.444 s c =============================================================================== c | 17687 | 600 966 185300 | 5000 3359 110 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 16.5805 s Remaining CPU time: 163.42 s c =============================================================================== c | 17687 | 600 967 185800 | 5000 3359 110 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 16.6055 s Remaining CPU time: 163.395 s c =============================================================================== c | 17687 | 600 968 186300 | 5000 3359 110 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 16.6305 s Remaining CPU time: 163.37 s c =============================================================================== c | 17687 | 600 969 186800 | 5000 3359 110 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 16.6545 s Remaining CPU time: 163.346 s c =============================================================================== c | 17687 | 600 970 187300 | 5000 3359 110 | 0.000 % | c | 17787 | 600 970 187300 | 5500 3459 108 | 0.000 % | c | 17939 | 600 970 187300 | 6050 3611 109 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 16.8614 s Remaining CPU time: 163.139 s c =============================================================================== c | 17974 | 600 971 187800 | 5000 3646 108 | 0.000 % | c | 18075 | 600 971 187800 | 5500 3747 109 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 16.9414 s Remaining CPU time: 163.059 s c =============================================================================== c | 18112 | 600 972 188300 | 5000 3784 108 | 0.000 % | c | 18213 | 600 972 188300 | 5500 3885 109 | 0.000 % | c | 18364 | 600 972 188300 | 6050 4036 108 | 0.000 % | c | 18590 | 600 972 188300 | 6655 4262 104 | 0.000 % | c | 18927 | 600 972 188300 | 7320 4599 107 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 17.5923 s Remaining CPU time: 162.408 s c =============================================================================== c | 19143 | 600 973 188800 | 5000 4815 103 | 0.000 % | c | 19244 | 600 973 188800 | 5500 4916 104 | 0.000 % | c | 19394 | 600 973 188800 | 6050 5066 104 | 0.000 % | c | 19620 | 600 973 188800 | 6655 5292 101 | 0.000 % | c | 19958 | 600 973 188800 | 7320 5630 103 | 0.000 % | c | 20465 | 600 973 188800 | 8052 6137 103 | 0.000 % | c | 21227 | 600 973 188800 | 8857 6899 106 | 0.000 % | c | 22367 | 600 973 188800 | 9743 8039 110 | 0.000 % | c | 24075 | 600 973 188800 | 10717 9747 114 | 0.000 % | c | 26637 | 600 973 188800 | 11789 6868 127 | 0.000 % | c | 30481 | 600 973 188800 | 12968 10712 129 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 28.8596 s Remaining CPU time: 151.14 s c =============================================================================== c | 34628 | 600 974 189300 | 5000 8303 129 | 0.000 % | c | 34728 | 600 974 189300 | 5500 4252 123 | 0.000 % | c | 34878 | 600 974 189300 | 6050 4402 123 | 0.000 % | c | 35103 | 600 974 189300 | 6655 4627 123 | 0.000 % | c | 35442 | 600 974 189300 | 7320 4966 123 | 0.000 % | c | 35948 | 600 974 189300 | 8052 5472 124 | 0.000 % | c | 36707 | 600 974 189300 | 8857 6231 123 | 0.000 % | c | 37846 | 600 974 189300 | 9743 7370 123 | 0.000 % | c | 39554 | 600 974 189300 | 10717 9078 125 | 0.000 % | c | 42116 | 600 974 189300 | 11789 6203 124 | 0.000 % | c | 45960 | 600 974 189300 | 12968 10047 128 | 0.000 % | c | 51726 | 600 974 189300 | 14265 9245 127 | 0.000 % | c | 60375 | 600 974 189300 | 15692 10688 131 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 47.5348 s Remaining CPU time: 132.465 s c =============================================================================== c | 60861 | 600 975 189800 | 5000 11174 131 | 0.000 % | c | 60961 | 600 975 189800 | 5500 2894 121 | 0.000 % | c | 61111 | 600 975 189800 | 6050 3044 122 | 0.000 % | c | 61336 | 600 975 189800 | 6655 3269 121 | 0.000 % | c | 61673 | 600 975 189800 | 7320 3606 122 | 0.000 % | c | 62179 | 600 975 189800 | 8052 4112 123 | 0.000 % | c | 62938 | 600 975 189800 | 8857 4871 124 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 49.0795 s Remaining CPU time: 130.92 s c =============================================================================== c | 63064 | 600 976 190300 | 5000 4997 125 | 0.000 % | c | 63164 | 600 976 190300 | 5500 5097 125 | 0.000 % | c | 63314 | 600 976 190300 | 6050 5247 124 | 0.000 % | c | 63539 | 600 976 190300 | 6655 5472 123 | 0.000 % | c | 63876 | 600 976 190300 | 7320 5809 123 | 0.000 % | c | 64383 | 600 976 190300 | 8052 6316 123 | 0.000 % | c | 65142 | 600 976 190300 | 8857 7075 124 | 0.000 % | c | 66282 | 600 976 190300 | 9743 8215 124 | 0.000 % | c | 67990 | 600 976 190300 | 10717 4976 117 | 0.000 % | c | 70552 | 600 976 190300 | 11789 7538 122 | 0.000 % | c | 74396 | 600 976 190300 | 12968 11382 125 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 58.0762 s Remaining CPU time: 121.924 s c =============================================================================== c | 76863 | 600 977 190800 | 5000 7289 120 | 0.000 % | c | 76963 | 600 977 190800 | 5500 3745 113 | 0.000 % | c | 77113 | 600 977 190800 | 6050 3895 110 | 0.000 % | c | 77338 | 600 977 190800 | 6655 4120 111 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 58.4831 s Remaining CPU time: 121.517 s c =============================================================================== c | 77518 | 600 978 191300 | 5000 4300 108 | 0.000 % | c | 77618 | 600 978 191300 | 5500 4400 109 | 0.000 % | c | 77769 | 600 978 191300 | 6050 4551 107 | 0.000 % | c | 77994 | 600 978 191300 | 6655 4776 107 | 0.000 % | c | 78332 | 600 978 191300 | 7320 5114 108 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 59.058 s Remaining CPU time: 120.942 s c =============================================================================== c | 78493 | 600 979 191800 | 5000 5275 108 | 0.000 % | c | 78594 | 600 979 191800 | 5500 2739 95 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 59.201 s Remaining CPU time: 120.799 s c =============================================================================== c | 78645 | 600 980 192300 | 5000 2790 95 | 0.000 % | c | 78746 | 600 980 192300 | 5500 2891 96 | 0.000 % | c | 78896 | 600 980 192300 | 6050 3041 96 | 0.000 % | c | 79121 | 600 980 192300 | 6655 3266 99 | 0.000 % | c | 79458 | 600 980 192300 | 7320 3603 98 | 0.000 % | c | 79964 | 600 980 192300 | 8052 4109 100 | 0.000 % | c | 80723 | 600 980 192300 | 8857 4868 102 | 0.000 % | c | 81863 | 600 980 192300 | 9743 6008 107 | 0.000 % | c | 83572 | 600 980 192300 | 10717 7717 111 | 0.000 % | c | 86134 | 600 980 192300 | 11789 10279 114 | 0.000 % | c | 89979 | 600 980 192300 | 12968 8158 120 | 0.000 % | c | 95745 | 600 980 192300 | 14265 7371 122 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 75.4215 s Remaining CPU time: 104.578 s c =============================================================================== c | 100403 | 600 981 192800 | 5000 12029 124 | 0.000 % | c | 100505 | 600 981 192800 | 5500 3110 113 | 0.000 % | c | 100655 | 600 981 192800 | 6050 3260 110 | 0.000 % | c | 100881 | 600 981 192800 | 6655 3486 111 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 75.7655 s Remaining CPU time: 104.235 s c =============================================================================== c | 100915 | 600 982 193300 | 5000 3520 110 | 0.000 % | c | 101016 | 600 982 193300 | 5500 3621 110 | 0.000 % | c | 101166 | 600 982 193300 | 6050 3771 108 | 0.000 % | c | 101391 | 600 982 193300 | 6655 3996 109 | 0.000 % | c | 101728 | 600 982 193300 | 7320 4333 110 | 0.000 % | c | 102235 | 600 982 193300 | 8052 4840 111 | 0.000 % | c | 102995 | 600 982 193300 | 8857 5600 113 | 0.000 % | c | 104135 | 600 982 193300 | 9743 6740 115 | 0.000 % | c | 105843 | 600 982 193300 | 10717 8448 116 | 0.000 % | c | 108405 | 600 982 193300 | 11789 5583 120 | 0.000 % | c | 112251 | 600 982 193300 | 12968 9429 122 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 83.5283 s Remaining CPU time: 96.4717 s c =============================================================================== c | 113606 | 600 983 193800 | 5000 10784 123 | 0.000 % | c | 113706 | 600 983 193800 | 5500 2796 116 | 0.000 % | c | 113856 | 600 983 193800 | 6050 2946 116 | 0.000 % | c | 114081 | 600 983 193800 | 6655 3171 114 | 0.000 % | c | 114418 | 600 983 193800 | 7320 3508 115 | 0.000 % | c | 114924 | 600 983 193800 | 8052 4014 116 | 0.000 % | c | 115683 | 600 983 193800 | 8857 4773 117 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 85.1551 s Remaining CPU time: 94.8449 s c =============================================================================== c | 116328 | 600 984 194300 | 5000 5418 117 | 0.000 % | c | 116428 | 600 984 194300 | 5500 2809 109 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 85.251 s Remaining CPU time: 94.749 s c =============================================================================== c | 116549 | 600 985 194800 | 5000 2930 107 | 0.000 % | c | 116651 | 600 985 194800 | 5500 3032 107 | 0.000 % | c | 116801 | 600 985 194800 | 6050 3182 106 | 0.000 % | c | 117026 | 600 985 194800 | 6655 3407 102 | 0.000 % | c | 117364 | 600 985 194800 | 7320 3745 104 | 0.000 % | c | 117870 | 600 985 194800 | 8052 4251 105 | 0.000 % | c | 118629 | 600 985 194800 | 8857 5010 104 | 0.000 % | c | 119768 | 600 985 194800 | 9743 6149 107 | 0.000 % | c | 121476 | 600 985 194800 | 10717 7857 110 | 0.000 % | c | 124038 | 600 985 194800 | 11789 10419 113 | 0.000 % | c | 127882 | 600 985 194800 | 12968 8304 118 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 94.2907 s Remaining CPU time: 85.7093 s c =============================================================================== c | 129192 | 600 986 195300 | 5000 9614 118 | 0.000 % | c | 129292 | 600 986 195300 | 5500 4907 115 | 0.000 % | c | 129442 | 600 986 195300 | 6050 5057 115 | 0.000 % | c | 129667 | 600 986 195300 | 6655 5282 115 | 0.000 % | c | 130004 | 600 986 195300 | 7320 5619 115 | 0.000 % | c | 130511 | 600 986 195300 | 8052 6126 115 | 0.000 % | c | 131270 | 600 986 195300 | 8857 6885 116 | 0.000 % | c | 132409 | 600 986 195300 | 9743 8024 116 | 0.000 % | c | 134117 | 600 986 195300 | 10717 9732 117 | 0.000 % | c | 136679 | 600 986 195300 | 11789 6874 115 | 0.000 % | c | 140524 | 600 986 195300 | 12968 10719 118 | 0.000 % | c | 146292 | 600 986 195300 | 14265 9934 118 | 0.000 % | c | 154941 | 600 986 195300 | 15692 11381 119 | 0.000 % | c | 167915 | 600 986 195300 | 17261 8527 120 | 0.000 % | c | 187376 | 600 986 195300 | 18987 10590 121 | 0.000 % | c | 216568 | 600 986 195300 | 20886 11101 120 | 0.000 % | c | 260357 | 600 986 195300 | 22974 12847 121 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 100 1487 2300 | 5000 0 nan | 0.000 % | c | 100 | 100 1487 2300 | 5500 100 34 | 83.334 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 774 1488 115311 | 5000 0 nan | 0.000 % | c | 100 | 774 1488 115311 | 5500 100 34 | 17.396 % | c | 251 | 774 1488 115311 | 6050 251 22 | 17.396 % | c | 477 | 774 1488 115311 | 6655 477 18 | 17.396 % | c | 814 | 774 1488 115311 | 7320 814 16 | 17.396 % | c | 1322 | 774 1488 115311 | 8052 1322 18 | 17.396 % | c | 2082 | 774 1488 115311 | 8857 2082 19 | 17.396 % | c | 3221 | 774 1488 115311 | 9743 3221 21 | 17.397 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1412 1489 194431 | 5000 0 nan | 0.000 % | c | 100 | 1412 1489 194431 | 5500 100 32 | 0.493 % | c | 250 | 1412 1489 194431 | 6050 250 20 | 0.493 % | c | 475 | 1412 1489 194431 | 6655 475 25 | 0.493 % | c | 817 | 1412 1489 194431 | 7320 817 22 | 0.493 % | c | 1323 | 1412 1489 194431 | 8052 1323 19 | 0.493 % | c | 2083 | 1412 1489 194431 | 8857 2083 17 | 0.493 % | c | 3223 | 1412 1489 194431 | 9743 3223 15 | 0.493 % | c | 4932 | 1412 1489 194431 | 10717 4932 15 | 0.493 % | c | 7494 | 1412 1489 194431 | 11789 7494 14 | 0.493 % | c | 11338 | 1412 1489 194431 | 12968 11338 14 | 0.493 % | c | 17104 | 1412 1489 194431 | 14265 10606 14 | 0.493 % | c | 25753 | 1412 1489 194431 | 15692 12105 14 | 0.493 % | c | 38727 | 1412 1489 194431 | 17261 9355 14 | 0.493 % | c | 58189 | 1412 1489 194431 | 18987 11532 14 | 0.494 % | c | 87382 | 1411 1489 194431 | 20886 11269 12 | 0.564 % | c | 131171 | 1409 1489 194431 | 22974 5168 10 | 0.705 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1919 1490 198938 | 5000 0 nan | 0.000 % | c | 101 | 1919 1490 198938 | 5500 101 37 | 0.000 % | c | 252 | 1919 1490 198938 | 6050 252 87 | 0.000 % | c | 477 | 1919 1490 198938 | 6655 477 86 | 0.000 % | c | 814 | 1919 1490 198938 | 7320 814 95 | 0.000 % | c | 1321 | 1919 1490 198938 | 8052 1321 105 | 0.000 % | c | 2081 | 1919 1490 198938 | 8857 2081 110 | 0.000 % | c | 3220 | 1919 1490 198938 | 9743 3220 114 | 0.000 % | c | 4928 | 1919 1490 198938 | 10717 4928 115 | 0.000 % | c | 7491 | 1919 1490 198938 | 11789 7491 115 | 0.000 % | c | 11335 | 1919 1490 198938 | 12968 11335 117 | 0.000 % | c | 17102 | 1919 1490 198938 | 14265 10539 120 | 0.000 % | c | 25751 | 1919 1490 198938 | 15692 11986 117 | 0.000 % | c | 38725 | 1919 1490 198938 | 17261 9010 124 | 0.000 % | c | 58188 | 1919 1490 198938 | 18987 10914 66 | 0.000 % | c | 87381 | 1919 1490 198938 | 20886 11522 35 | 0.000 % | c | 131170 | 1919 1490 198938 | 22974 13398 28 | 0.000 % | c | 196856 | 1919 1490 198938 | 25272 21520 23 | 0.000 % | c | 295383 | 1919 1490 198938 | 27799 17291 25 | 0.000 % | c | 443172 | 1919 1490 198938 | 30579 14621 23 | 0.000 % | c | 664855 | 1919 1490 198938 | 33637 24751 27 | 0.000 % | c | 997382 | 1919 1490 198938 | 37001 13979 23 | 0.000 % |