c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4682 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1546 | c | Number Clauses: 4662 | 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 | 1546 4662 9838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1546 4663 10364 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1546 4664 10890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1546 4665 11416 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1546 4666 11942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1546 4667 12468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1546 4668 12994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1546 4669 13520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1546 4670 14046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1546 4671 14572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1546 4672 15098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1546 4673 15624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1546 4674 16150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1546 4675 16676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1546 4676 17202 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1546 4677 17728 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1546 4678 18254 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1546 4679 18780 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1546 4680 19306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1546 4681 19832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1546 4682 20358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1546 4683 20884 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1546 4684 21410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1546 4685 21936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1546 4686 22462 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1546 4687 22988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1546 4688 23514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1546 4689 24040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 1546 4690 24566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1546 4691 25092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 1546 4692 25618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 1546 4693 26144 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1546 4694 26670 | 5000 1 496 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1546 4695 27196 | 5000 1 496 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 2 | 1546 4696 27722 | 5000 2 494 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 2 | 1546 4697 28248 | 5000 2 494 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 3 | 1546 4698 28774 | 5000 3 493 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 3 | 1546 4699 29300 | 5000 3 493 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 4 | 1546 4700 29826 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 4 | 1546 4701 30352 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 5 | 1546 4702 30878 | 5000 5 491 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 5 | 1546 4703 31404 | 5000 5 491 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 6 | 1546 4704 31930 | 5000 6 490 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 6 | 1546 4705 32456 | 5000 6 490 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 7 | 1546 4706 32982 | 5000 7 489 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 7 | 1546 4707 33508 | 5000 7 489 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 8 | 1546 4708 34034 | 5000 8 488 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 8 | 1546 4709 34560 | 5000 8 488 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 9 | 1546 4710 35086 | 5000 9 487 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 9 | 1546 4711 35612 | 5000 9 487 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 10 | 1546 4712 36138 | 5000 10 486 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 10 | 1546 4713 36664 | 5000 10 486 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 11 | 1546 4714 37190 | 5000 11 485 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 11 | 1546 4715 37716 | 5000 11 485 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 12 | 1546 4716 38242 | 5000 12 484 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 12 | 1546 4717 38768 | 5000 12 484 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 20 | 1546 4718 39294 | 5000 20 479 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 21 | 1546 4719 39820 | 5000 21 479 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 23 | 1546 4720 40346 | 5000 23 478 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 25 | 1546 4721 40872 | 5000 25 477 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 26 | 1546 4722 41398 | 5000 26 477 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 29 | 1546 4723 41924 | 5000 29 476 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 38 | 1546 4724 42450 | 5000 38 474 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 38 | 1546 4725 42976 | 5000 38 474 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 40 | 1546 4726 43502 | 5000 40 473 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 41 | 1546 4727 44028 | 5000 41 473 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 43 | 1546 4728 44554 | 5000 43 472 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 43 | 1546 4729 45080 | 5000 43 472 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 44 | 1546 4730 45606 | 5000 44 472 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 45 | 1546 4731 46132 | 5000 45 472 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 46 | 1546 4732 46658 | 5000 46 471 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 48 | 1546 4733 47184 | 5000 48 471 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 49 | 1546 4734 47710 | 5000 49 470 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 51 | 1546 4735 48236 | 5000 51 470 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 52 | 1546 4736 48762 | 5000 52 469 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 53 | 1546 4737 49288 | 5000 53 469 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 54 | 1546 4738 49814 | 5000 54 469 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 55 | 1546 4739 50340 | 5000 55 468 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 59 | 1546 4740 50866 | 5000 59 467 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 71 | 1546 4741 51392 | 5000 71 464 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 71 | 1546 4742 51918 | 5000 71 464 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 71 | 1546 4743 52444 | 5000 71 464 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 75 | 1546 4744 52970 | 5000 75 463 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 76 | 1546 4745 53496 | 5000 76 463 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 82 | 1546 4746 54022 | 5000 82 461 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s c =============================================================================== c | 91 | 1546 4747 54548 | 5000 91 459 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 96 | 1546 4748 55074 | 5000 96 458 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 107 | 1546 4749 55600 | 5000 107 457 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 108 | 1546 4750 56126 | 5000 108 456 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 113 | 1546 4751 56652 | 5000 113 456 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 123 | 1546 4752 57178 | 5000 123 454 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 124 | 1546 4753 57704 | 5000 124 454 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 129 | 1546 4754 58230 | 5000 129 453 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 133 | 1546 4755 58756 | 5000 133 453 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 156 | 1546 4756 59282 | 5000 156 450 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 157 | 1546 4757 59808 | 5000 157 450 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 166 | 1546 4758 60334 | 5000 166 449 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 176 | 1546 4759 60860 | 5000 176 448 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 180 | 1546 4760 61386 | 5000 180 447 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 184 | 1546 4761 61912 | 5000 184 447 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 189 | 1546 4762 62438 | 5000 189 446 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 194 | 1546 4763 62964 | 5000 194 446 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 201 | 1546 4764 63490 | 5000 201 445 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 205 | 1546 4765 64016 | 5000 205 445 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 209 | 1546 4766 64542 | 5000 209 444 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 215 | 1546 4767 65068 | 5000 215 444 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 219 | 1546 4768 65594 | 5000 219 443 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 224 | 1546 4769 66120 | 5000 224 443 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 258 | 1546 4770 66646 | 5000 258 440 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s c =============================================================================== c | 265 | 1546 4771 67172 | 5000 265 439 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 266 | 1546 4772 67698 | 5000 266 439 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 295 | 1546 4773 68224 | 5000 295 437 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 299 | 1546 4774 68750 | 5000 299 437 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 305 | 1546 4775 69276 | 5000 305 436 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 316 | 1546 4776 69802 | 5000 316 435 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 321 | 1546 4777 70328 | 5000 321 435 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 332 | 1546 4778 70854 | 5000 332 434 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 336 | 1546 4779 71380 | 5000 336 434 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 343 | 1546 4780 71906 | 5000 343 434 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 344 | 1546 4781 72432 | 5000 344 433 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s c =============================================================================== c | 353 | 1546 4782 72958 | 5000 353 433 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.973851 s Remaining CPU time: 179.026 s c =============================================================================== c | 358 | 1546 4783 73484 | 5000 358 432 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 365 | 1546 4784 74010 | 5000 365 432 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s c =============================================================================== c | 373 | 1546 4785 74536 | 5000 373 431 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 377 | 1546 4786 75062 | 5000 377 431 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 1.03684 s Remaining CPU time: 178.963 s c =============================================================================== c | 383 | 1546 4787 75588 | 5000 383 431 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 383 | 1546 4788 76114 | 5000 383 431 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 389 | 1546 4789 76640 | 5000 389 430 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s c =============================================================================== c | 395 | 1546 4790 77166 | 5000 395 430 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 396 | 1546 4791 77692 | 5000 396 430 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 400 | 1546 4792 78218 | 5000 400 429 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 403 | 1546 4793 78744 | 5000 403 429 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.15382 s Remaining CPU time: 178.846 s c =============================================================================== c | 414 | 1546 4794 79270 | 5000 414 428 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.17082 s Remaining CPU time: 178.829 s c =============================================================================== c | 427 | 1546 4795 79796 | 5000 427 427 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.18882 s Remaining CPU time: 178.811 s c =============================================================================== c | 437 | 1546 4796 80322 | 5000 437 426 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 439 | 1546 4797 80848 | 5000 439 426 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 444 | 1546 4798 81374 | 5000 444 426 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 454 | 1546 4799 81900 | 5000 454 425 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 457 | 1546 4800 82426 | 5000 457 425 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s c =============================================================================== c | 478 | 1546 4801 82952 | 5000 478 423 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.3018 s Remaining CPU time: 178.698 s c =============================================================================== c | 498 | 1546 4802 83478 | 5000 498 422 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.3198 s Remaining CPU time: 178.68 s c =============================================================================== c | 507 | 1546 4803 84004 | 5000 507 420 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 512 | 1546 4804 84530 | 5000 512 420 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.36179 s Remaining CPU time: 178.638 s c =============================================================================== c | 536 | 1546 4805 85056 | 5000 536 418 | 0.000 % | c | 636 | 1546 4805 85056 | 5500 636 413 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 636 | 1546 4806 85582 | 5000 636 413 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 643 | 1546 4807 86108 | 5000 643 413 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 676 | 1546 4808 86634 | 5000 676 411 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.49677 s Remaining CPU time: 178.503 s c =============================================================================== c | 699 | 1546 4809 87160 | 5000 699 410 | 0.000 % | c | 799 | 1546 4809 87160 | 5500 799 406 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.55576 s Remaining CPU time: 178.444 s c =============================================================================== c | 801 | 1546 4810 87686 | 5000 801 406 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s c =============================================================================== c | 829 | 1546 4811 88212 | 5000 829 405 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 852 | 1546 4812 88738 | 5000 852 405 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 879 | 1546 4813 89264 | 5000 879 404 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.65775 s Remaining CPU time: 178.342 s c =============================================================================== c | 906 | 1546 4814 89790 | 5000 906 403 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.69074 s Remaining CPU time: 178.309 s c =============================================================================== c | 957 | 1546 4815 90316 | 5000 957 402 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.71774 s Remaining CPU time: 178.282 s c =============================================================================== c | 993 | 1546 4816 90842 | 5000 993 401 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s c =============================================================================== c | 1042 | 1546 4817 91368 | 5000 1042 399 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s c =============================================================================== c | 1092 | 1546 4818 91894 | 5000 1092 398 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 1142 | 1546 4819 92420 | 5000 1142 397 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.84372 s Remaining CPU time: 178.156 s c =============================================================================== c | 1183 | 1546 4820 92946 | 5000 1183 396 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 1234 | 1546 4821 93472 | 5000 1234 395 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 1243 | 1546 4822 93998 | 5000 1243 395 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.92171 s Remaining CPU time: 178.078 s c =============================================================================== c | 1266 | 1546 4823 94524 | 5000 1266 394 | 0.000 % | c | 1367 | 1546 4823 94524 | 5500 1367 392 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 2.01469 s Remaining CPU time: 177.985 s c =============================================================================== c | 1464 | 1546 4824 95050 | 5000 1464 390 | 0.000 % | c | 1564 | 1546 4824 95050 | 5500 1564 389 | 0.000 % | c | 1714 | 1546 4824 95050 | 6050 1714 387 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 2.20366 s Remaining CPU time: 177.796 s c =============================================================================== c | 1928 | 1546 4825 95576 | 5000 1928 384 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 2.23266 s Remaining CPU time: 177.767 s c =============================================================================== c | 1958 | 1546 4826 96102 | 5000 1958 384 | 0.000 % | c | 2059 | 1546 4826 96102 | 5500 2059 383 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.30865 s Remaining CPU time: 177.691 s c =============================================================================== c | 2107 | 1546 4827 96628 | 5000 2107 383 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.33264 s Remaining CPU time: 177.667 s c =============================================================================== c | 2113 | 1546 4828 97154 | 5000 2113 382 | 0.000 % | c | 2213 | 1546 4828 97154 | 5500 2213 381 | 0.000 % | c | 2364 | 1546 4828 97154 | 6050 2364 380 | 0.000 % | c | 2590 | 1546 4828 97154 | 6655 2590 379 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s c =============================================================================== c | 2723 | 1546 4829 97680 | 5000 2723 378 | 0.000 % | c | 2823 | 1546 4829 97680 | 5500 2823 377 | 0.000 % | c | 2973 | 1546 4829 97680 | 6050 2973 376 | 0.000 % | c | 3198 | 1546 4829 97680 | 6655 3198 375 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 2.84457 s Remaining CPU time: 177.155 s c =============================================================================== c | 3378 | 1546 4830 98206 | 5000 3378 374 | 0.000 % | c | 3478 | 1546 4830 98206 | 5500 3478 374 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.95855 s Remaining CPU time: 177.041 s c =============================================================================== c | 3606 | 1546 4831 98732 | 5000 3606 373 | 0.000 % | c | 3706 | 1546 4831 98732 | 5500 3706 373 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 3.02954 s Remaining CPU time: 176.97 s c =============================================================================== c | 3726 | 1546 4832 99258 | 5000 3726 373 | 0.000 % | c | 3827 | 1546 4832 99258 | 5500 3827 373 | 0.000 % | c | 3977 | 1546 4832 99258 | 6050 3977 372 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 3.17252 s Remaining CPU time: 176.827 s c =============================================================================== c | 4039 | 1546 4833 99784 | 5000 4039 372 | 0.000 % | c | 4139 | 1546 4833 99784 | 5500 4139 371 | 0.000 % | c | 4290 | 1546 4833 99784 | 6050 4290 371 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 3.36949 s Remaining CPU time: 176.631 s c =============================================================================== c | 4475 | 1546 4834 100310 | 5000 4475 370 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 3.41948 s Remaining CPU time: 176.581 s c =============================================================================== c | 4568 | 1546 4835 100836 | 5000 4568 370 | 0.000 % | c | 4669 | 1546 4835 100836 | 5500 4669 370 | 0.000 % | c | 4819 | 1546 4835 100836 | 6050 4819 369 | 0.000 % | c | 5044 | 1546 4835 100836 | 6655 5044 368 | 0.000 % | c | 5381 | 1546 4835 100836 | 7320 5381 368 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 3.88941 s Remaining CPU time: 176.111 s c =============================================================================== c | 5714 | 1546 4836 101362 | 5000 5714 367 | 0.000 % | c | 5814 | 1546 4836 101362 | 5500 2957 357 | 0.000 % | c | 5964 | 1546 4836 101362 | 6050 3107 356 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 4.04738 s Remaining CPU time: 175.953 s c =============================================================================== c | 5997 | 1546 4837 101888 | 5000 3140 356 | 0.000 % | c | 6098 | 1546 4837 101888 | 5500 3241 356 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 4.12237 s Remaining CPU time: 175.878 s c =============================================================================== c | 6115 | 1546 4838 102414 | 5000 3258 356 | 0.000 % | c | 6215 | 1546 4838 102414 | 5500 3358 356 | 0.000 % | c | 6365 | 1546 4838 102414 | 6050 3508 356 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 4.26535 s Remaining CPU time: 175.735 s c =============================================================================== c | 6368 | 1546 4839 102940 | 5000 3511 356 | 0.000 % | c | 6468 | 1546 4839 102940 | 5500 3611 356 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 4.37233 s Remaining CPU time: 175.628 s c =============================================================================== c | 6607 | 1546 4840 103466 | 5000 3750 356 | 0.000 % | c | 6707 | 1546 4840 103466 | 5500 3850 355 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 4.45032 s Remaining CPU time: 175.55 s c =============================================================================== c | 6719 | 1546 4841 103992 | 5000 3862 355 | 0.000 % | c | 6820 | 1546 4841 103992 | 5500 3963 355 | 0.000 % | c | 6970 | 1546 4841 103992 | 6050 4113 355 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 4.6293 s Remaining CPU time: 175.371 s c =============================================================================== c | 7149 | 1546 4842 104518 | 5000 4292 355 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 4.66029 s Remaining CPU time: 175.34 s c =============================================================================== c | 7162 | 1546 4843 105044 | 5000 4305 355 | 0.000 % | c | 7262 | 1546 4843 105044 | 5500 4405 354 | 0.000 % | c | 7412 | 1546 4843 105044 | 6050 4555 354 | 0.000 % | c | 7637 | 1546 4843 105044 | 6655 4780 354 | 0.000 % | c | 7975 | 1546 4843 105044 | 7320 5118 353 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 5.13522 s Remaining CPU time: 174.865 s c =============================================================================== c | 8444 | 1546 4844 105570 | 5000 5587 353 | 0.000 % | c | 8544 | 1546 4844 105570 | 5500 2894 349 | 0.000 % | c | 8695 | 1546 4844 105570 | 6050 3045 348 | 0.000 % | c | 8920 | 1546 4844 105570 | 6655 3270 348 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 5.40618 s Remaining CPU time: 174.594 s c =============================================================================== c | 8987 | 1546 4845 106096 | 5000 3337 348 | 0.000 % | c | 9087 | 1546 4845 106096 | 5500 3437 348 | 0.000 % | c | 9237 | 1546 4845 106096 | 6050 3587 348 | 0.000 % | c | 9462 | 1546 4845 106096 | 6655 3812 348 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 5.67814 s Remaining CPU time: 174.322 s c =============================================================================== c | 9522 | 1546 4846 106622 | 5000 3872 348 | 0.000 % | c | 9622 | 1546 4846 106622 | 5500 3972 348 | 0.000 % | c | 9772 | 1546 4846 106622 | 6050 4122 347 | 0.000 % | c | 9997 | 1546 4846 106622 | 6655 4347 347 | 0.000 % | c | 10334 | 1546 4846 106622 | 7320 4684 347 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 6.07308 s Remaining CPU time: 173.927 s c =============================================================================== c | 10454 | 1546 4847 107148 | 5000 4804 347 | 0.000 % | c | 10554 | 1546 4847 107148 | 5500 4904 347 | 0.000 % | c | 10705 | 1546 4847 107148 | 6050 5055 347 | 0.000 % | c | 10931 | 1546 4847 107148 | 6655 5281 346 | 0.000 % | c | 11268 | 1546 4847 107148 | 7320 5618 346 | 0.000 % | c | 11774 | 1546 4847 107148 | 8052 6124 346 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 6.82096 s Remaining CPU time: 173.179 s c =============================================================================== c | 12412 | 1546 4848 107674 | 5000 6762 346 | 0.000 % | c | 12512 | 1546 4848 107674 | 5500 3481 343 | 0.000 % | c | 12663 | 1546 4848 107674 | 6050 3632 343 | 0.000 % | c | 12888 | 1546 4848 107674 | 6655 3857 343 | 0.000 % | c | 13226 | 1546 4848 107674 | 7320 4195 343 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 7.2179 s Remaining CPU time: 172.782 s c =============================================================================== c | 13266 | 1546 4849 108200 | 5000 4235 343 | 0.000 % | c | 13367 | 1546 4849 108200 | 5500 4336 343 | 0.000 % | c | 13517 | 1546 4849 108200 | 6050 4486 343 | 0.000 % | c | 13742 | 1546 4849 108200 | 6655 4711 343 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 7.54985 s Remaining CPU time: 172.45 s c =============================================================================== c | 14006 | 1546 4850 108726 | 5000 4975 342 | 0.000 % | c | 14106 | 1546 4850 108726 | 5500 5075 342 | 0.000 % | c | 14257 | 1546 4850 108726 | 6050 5226 342 | 0.000 % | c | 14482 | 1546 4850 108726 | 6655 5451 342 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 7.80381 s Remaining CPU time: 172.196 s c =============================================================================== c | 14582 | 1546 4851 109252 | 5000 5551 342 | 0.000 % | c | 14682 | 1546 4851 109252 | 5500 2876 341 | 0.000 % | c | 14832 | 1546 4851 109252 | 6050 3026 341 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 8.03578 s Remaining CPU time: 171.964 s c =============================================================================== c | 15051 | 1546 4852 109778 | 5000 3245 341 | 0.000 % | c | 15151 | 1546 4852 109778 | 5500 3345 341 | 0.000 % | c | 15301 | 1546 4852 109778 | 6050 3495 340 | 0.000 % | c | 15526 | 1546 4852 109778 | 6655 3720 340 | 0.000 % | c | 15863 | 1546 4852 109778 | 7320 4057 340 | 0.000 % | c | 16369 | 1546 4852 109778 | 8052 4563 340 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 8.70268 s Remaining CPU time: 171.297 s c =============================================================================== c | 16662 | 1546 4853 110304 | 5000 4856 340 | 0.000 % | c | 16763 | 1546 4853 110304 | 5500 4957 340 | 0.000 % | c | 16913 | 1546 4853 110304 | 6050 5107 339 | 0.000 % | c | 17139 | 1546 4853 110304 | 6655 5333 339 | 0.000 % | c | 17477 | 1546 4853 110304 | 7320 5671 339 | 0.000 % | c | 17983 | 1546 4853 110304 | 8052 6177 339 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 9.45356 s Remaining CPU time: 170.546 s c =============================================================================== c | 18307 | 1546 4854 110830 | 5000 6501 339 | 0.000 % | c | 18408 | 1546 4854 110830 | 5500 3352 337 | 0.000 % | c | 18559 | 1546 4854 110830 | 6050 3503 337 | 0.000 % | c | 18784 | 1546 4854 110830 | 6655 3728 337 | 0.000 % | c | 19121 | 1546 4854 110830 | 7320 4065 337 | 0.000 % | c | 19627 | 1546 4854 110830 | 8052 4571 337 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 10.0725 s Remaining CPU time: 169.928 s c =============================================================================== c | 19734 | 1546 4855 111356 | 5000 4678 337 | 0.000 % | c | 19834 | 1546 4855 111356 | 5500 4778 336 | 0.000 % | c | 19984 | 1546 4855 111356 | 6050 4928 336 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 10.2594 s Remaining CPU time: 169.741 s c =============================================================================== c | 20078 | 1546 4856 111882 | 5000 5022 336 | 0.000 % | c | 20178 | 1546 4856 111882 | 5500 2611 335 | 0.000 % | c | 20329 | 1546 4856 111882 | 6050 2762 335 | 0.000 % | c | 20555 | 1546 4856 111882 | 6655 2988 335 | 0.000 % | c | 20892 | 1546 4856 111882 | 7320 3325 335 | 0.000 % | c | 21399 | 1546 4856 111882 | 8052 3832 335 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 10.9653 s Remaining CPU time: 169.035 s c =============================================================================== c | 21916 | 1546 4857 112408 | 5000 4349 335 | 0.000 % | c | 22016 | 1546 4857 112408 | 5500 4449 335 | 0.000 % | c | 22167 | 1546 4857 112408 | 6050 4600 335 | 0.000 % | c | 22393 | 1546 4857 112408 | 6655 4826 334 | 0.000 % | c | 22730 | 1546 4857 112408 | 7320 5163 334 | 0.000 % | c | 23237 | 1546 4857 112408 | 8052 5670 334 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 11.6152 s Remaining CPU time: 168.385 s c =============================================================================== c | 23567 | 1546 4858 112934 | 5000 6000 334 | 0.000 % | c | 23668 | 1546 4858 112934 | 5500 3101 333 | 0.000 % | c | 23818 | 1546 4858 112934 | 6050 3251 333 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 11.8512 s Remaining CPU time: 168.149 s c =============================================================================== c | 24009 | 1546 4859 113460 | 5000 3442 333 | 0.000 % | c | 24109 | 1546 4859 113460 | 5500 3542 333 | 0.000 % | c | 24260 | 1546 4859 113460 | 6050 3693 332 | 0.000 % | c | 24487 | 1546 4859 113460 | 6655 3920 332 | 0.000 % | c | 24824 | 1546 4859 113460 | 7320 4257 332 | 0.000 % | c | 25330 | 1546 4859 113460 | 8052 4763 332 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 12.5721 s Remaining CPU time: 167.428 s c =============================================================================== c | 25695 | 1546 4860 113986 | 5000 5128 332 | 0.000 % | c | 25795 | 1546 4860 113986 | 5500 2664 331 | 0.000 % | c | 25945 | 1546 4860 113986 | 6050 2814 331 | 0.000 % | c | 26171 | 1546 4860 113986 | 6655 3040 331 | 0.000 % | c | 26510 | 1546 4860 113986 | 7320 3379 331 | 0.000 % | c | 27016 | 1546 4860 113986 | 8052 3885 330 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 13.312 s Remaining CPU time: 166.688 s c =============================================================================== c | 27484 | 1546 4861 114512 | 5000 4353 330 | 0.000 % | c | 27584 | 1546 4861 114512 | 5500 4453 330 | 0.000 % | c | 27734 | 1546 4861 114512 | 6050 4603 330 | 0.000 % | c | 27959 | 1546 4861 114512 | 6655 4828 330 | 0.000 % | c | 28296 | 1546 4861 114512 | 7320 5165 330 | 0.000 % | c | 28803 | 1546 4861 114512 | 8052 5672 330 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 14.1289 s Remaining CPU time: 165.871 s c =============================================================================== c | 29397 | 1546 4862 115038 | 5000 6266 330 | 0.000 % | c | 29498 | 1546 4862 115038 | 5500 3234 329 | 0.000 % | c | 29648 | 1546 4862 115038 | 6050 3384 329 | 0.000 % | c | 29873 | 1546 4862 115038 | 6655 3609 328 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 14.4828 s Remaining CPU time: 165.517 s c =============================================================================== c | 30039 | 1546 4863 115564 | 5000 3775 328 | 0.000 % | c | 30139 | 1546 4863 115564 | 5500 3875 328 | 0.000 % | c | 30289 | 1546 4863 115564 | 6050 4025 328 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 14.6638 s Remaining CPU time: 165.336 s c =============================================================================== c | 30391 | 1546 4864 116090 | 5000 4127 328 | 0.000 % | c | 30492 | 1546 4864 116090 | 5500 4228 328 | 0.000 % | c | 30643 | 1546 4864 116090 | 6050 4379 328 | 0.000 % | c | 30869 | 1546 4864 116090 | 6655 4605 328 | 0.000 % | c | 31206 | 1546 4864 116090 | 7320 4942 328 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 15.1237 s Remaining CPU time: 164.876 s c =============================================================================== c | 31543 | 1546 4865 116616 | 5000 5279 328 | 0.000 % | c | 31644 | 1546 4865 116616 | 5500 2741 326 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 15.2507 s Remaining CPU time: 164.749 s c =============================================================================== c | 31739 | 1546 4866 117142 | 5000 2836 326 | 0.000 % | c | 31840 | 1546 4866 117142 | 5500 2937 326 | 0.000 % | c | 31990 | 1546 4866 117142 | 6050 3087 326 | 0.000 % | c | 32215 | 1546 4866 117142 | 6655 3312 326 | 0.000 % | c | 32552 | 1546 4866 117142 | 7320 3649 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 15.6616 s Remaining CPU time: 164.338 s c =============================================================================== c | 32677 | 1546 4867 117668 | 5000 3774 325 | 0.000 % | c | 32777 | 1546 4867 117668 | 5500 3874 325 | 0.000 % | c | 32927 | 1546 4867 117668 | 6050 4024 325 | 0.000 % | c | 33152 | 1546 4867 117668 | 6655 4249 325 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 15.9776 s Remaining CPU time: 164.022 s c =============================================================================== c | 33358 | 1546 4868 118194 | 5000 4455 325 | 0.000 % | c | 33458 | 1546 4868 118194 | 5500 4555 325 | 0.000 % | c | 33608 | 1546 4868 118194 | 6050 4705 325 | 0.000 % | c | 33833 | 1546 4868 118194 | 6655 4930 325 | 0.000 % | c | 34170 | 1546 4868 118194 | 7320 5267 324 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 16.3905 s Remaining CPU time: 163.609 s c =============================================================================== c | 34295 | 1546 4869 118720 | 5000 5392 324 | 0.000 % | c | 34396 | 1546 4869 118720 | 5500 2797 322 | 0.000 % | c | 34546 | 1546 4869 118720 | 6050 2947 322 | 0.000 % | c | 34771 | 1546 4869 118720 | 6655 3172 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 16.7375 s Remaining CPU time: 163.263 s c =============================================================================== c | 35068 | 1546 4870 119246 | 5000 3469 322 | 0.000 % | c | 35169 | 1546 4870 119246 | 5500 3570 322 | 0.000 % | c | 35319 | 1546 4870 119246 | 6050 3720 322 | 0.000 % | c | 35544 | 1546 4870 119246 | 6655 3945 321 | 0.000 % | c | 35881 | 1546 4870 119246 | 7320 4282 321 | 0.000 % | c | 36387 | 1546 4870 119246 | 8052 4788 321 | 0.000 % | c | 37146 | 1546 4870 119246 | 8857 5547 321 | 0.000 % | c | 38285 | 1546 4870 119246 | 9743 6686 321 | 0.000 % | c | 39993 | 1546 4870 119246 | 10717 8394 320 | 0.000 % | c | 42555 | 1546 4870 119246 | 11789 10956 320 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 20.6459 s Remaining CPU time: 159.354 s c =============================================================================== c | 44725 | 1546 4871 119772 | 5000 7052 320 | 0.000 % | c | 44825 | 1546 4871 119772 | 5500 3626 320 | 0.000 % | c | 44975 | 1546 4871 119772 | 6050 3776 320 | 0.000 % | c | 45200 | 1546 4871 119772 | 6655 4001 320 | 0.000 % | c | 45538 | 1546 4871 119772 | 7320 4339 319 | 0.000 % | c | 46044 | 1546 4871 119772 | 8052 4845 319 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 21.5257 s Remaining CPU time: 158.474 s c =============================================================================== c | 46676 | 1546 4872 120298 | 5000 5477 319 | 0.000 % | c | 46777 | 1546 4872 120298 | 5500 2840 319 | 0.000 % | c | 46927 | 1546 4872 120298 | 6050 2990 319 | 0.000 % | c | 47153 | 1546 4872 120298 | 6655 3216 319 | 0.000 % | c | 47490 | 1546 4872 120298 | 7320 3553 318 | 0.000 % | c | 47997 | 1546 4872 120298 | 8052 4060 318 | 0.000 % | c | 48756 | 1546 4872 120298 | 8857 4819 318 | 0.000 % | c | 49895 | 1546 4872 120298 | 9743 5958 318 | 0.000 % | c | 51603 | 1546 4872 120298 | 10717 7666 318 | 0.000 % | c | 54165 | 1546 4872 120298 | 11789 10228 318 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 24.7652 s Remaining CPU time: 155.235 s c =============================================================================== c | 55193 | 1546 4873 120824 | 5000 11256 318 | 0.000 % | c | 55294 | 1546 4873 120824 | 5500 2915 318 | 0.000 % | c | 55444 | 1546 4873 120824 | 6050 3065 318 | 0.000 % | c | 55670 | 1546 4873 120824 | 6655 3291 318 | 0.000 % | c | 56007 | 1546 4873 120824 | 7320 3628 317 | 0.000 % | c | 56514 | 1546 4873 120824 | 8052 4135 317 | 0.000 % | c | 57273 | 1546 4873 120824 | 8857 4894 317 | 0.000 % | c | 58414 | 1546 4873 120824 | 9743 6035 317 | 0.000 % | c | 60122 | 1546 4873 120824 | 10717 7743 317 | 0.000 % | c | 62684 | 1546 4873 120824 | 11789 10305 317 | 0.000 % | c | 66528 | 1546 4873 120824 | 12968 8086 316 | 0.000 % | c | 72294 | 1546 4873 120824 | 14265 7195 317 | 0.000 % | c | 80943 | 1546 4873 120824 | 15692 8514 317 | 0.000 % | c | 93917 | 1546 4873 120824 | 17261 13450 317 | 0.000 % | c | 113379 | 1546 4873 120824 | 18987 15288 317 | 0.000 % | c | 142571 | 1546 4873 120824 | 20886 15446 317 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 80.2838 s Remaining CPU time: 99.7162 s c =============================================================================== c | 169602 | 1546 4874 121350 | 5000 21078 317 | 0.000 % | c | 169702 | 1546 4874 121350 | 5500 2729 317 | 0.000 % | c | 169852 | 1546 4874 121350 | 6050 2879 317 | 0.000 % | c | 170077 | 1546 4874 121350 | 6655 3104 317 | 0.000 % | c | 170414 | 1546 4874 121350 | 7320 3441 317 | 0.000 % | c | 170920 | 1546 4874 121350 | 8052 3947 317 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 81.3836 s Remaining CPU time: 98.6164 s c =============================================================================== c | 171317 | 1546 4875 121876 | 5000 4344 317 | 0.000 % | c | 171417 | 1546 4875 121876 | 5500 4444 317 | 0.000 % | c | 171567 | 1546 4875 121876 | 6050 4594 317 | 0.000 % | c | 171792 | 1546 4875 121876 | 6655 4819 316 | 0.000 % | c | 172129 | 1546 4875 121876 | 7320 5156 316 | 0.000 % | c | 172635 | 1546 4875 121876 | 8052 5662 316 | 0.000 % | c | 173394 | 1546 4875 121876 | 8857 6421 316 | 0.000 % | c | 174534 | 1546 4875 121876 | 9743 7561 316 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 82.9754 s Remaining CPU time: 97.0246 s c =============================================================================== c | 174973 | 1546 4876 122402 | 5000 8000 316 | 0.000 % | c | 175073 | 1546 4876 122402 | 5500 4100 315 | 0.000 % | c | 175223 | 1546 4876 122402 | 6050 4250 315 | 0.000 % | c | 175448 | 1546 4876 122402 | 6655 4475 315 | 0.000 % | c | 175786 | 1546 4876 122402 | 7320 4813 315 | 0.000 % | c | 176293 | 1546 4876 122402 | 8052 5320 314 | 0.000 % | c | 177052 | 1546 4876 122402 | 8857 6079 314 | 0.000 % | c | 178191 | 1546 4876 122402 | 9743 7218 314 | 0.000 % | c | 179899 | 1546 4876 122402 | 10717 8926 314 | 0.000 % | c | 182461 | 1546 4876 122402 | 11789 5960 313 | 0.000 % | c | 186306 | 1546 4876 122402 | 12968 9805 313 | 0.000 % | c | 192072 | 1546 4876 122402 | 14265 8912 314 | 0.000 % | c | 200721 | 1546 4876 122402 | 15692 10251 314 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 96.7863 s Remaining CPU time: 83.2137 s c =============================================================================== c | 204886 | 1546 4877 122928 | 5000 14416 314 | 0.000 % | c | 204986 | 1546 4877 122928 | 5500 3704 314 | 0.000 % | c | 205136 | 1546 4877 122928 | 6050 3854 314 | 0.000 % | c | 205361 | 1546 4877 122928 | 6655 4079 314 | 0.000 % | c | 205698 | 1546 4877 122928 | 7320 4416 314 | 0.000 % | c | 206205 | 1546 4877 122928 | 8052 4923 313 | 0.000 % | c | 206964 | 1546 4877 122928 | 8857 5682 313 | 0.000 % | c | 208104 | 1546 4877 122928 | 9743 6822 313 | 0.000 % | c | 209812 | 1546 4877 122928 | 10717 8530 313 | 0.000 % | c | 212374 | 1546 4877 122928 | 11789 5554 313 | 0.000 % | c | 216218 | 1546 4877 122928 | 12968 9398 313 | 0.000 % | c | 221985 | 1546 4877 122928 | 14265 8513 313 | 0.000 % | c | 230634 | 1546 4877 122928 | 15692 9857 313 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 112.949 s Remaining CPU time: 67.0512 s c =============================================================================== c | 237887 | 1546 4878 123454 | 5000 9088 313 | 0.000 % | c | 237987 | 1546 4878 123454 | 5500 4644 313 | 0.000 % | c | 238137 | 1546 4878 123454 | 6050 4794 313 | 0.000 % | c | 238362 | 1546 4878 123454 | 6655 5019 313 | 0.000 % | c | 238699 | 1546 4878 123454 | 7320 5356 312 | 0.000 % | c | 239205 | 1546 4878 123454 | 8052 5862 312 | 0.000 % | c | 239964 | 1546 4878 123454 | 8857 6621 312 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 114.346 s Remaining CPU time: 65.6544 s c =============================================================================== c | 240007 | 1546 4879 123980 | 5000 6664 312 | 0.000 % | c | 240107 | 1546 4879 123980 | 5500 3432 312 | 0.000 % | c | 240257 | 1546 4879 123980 | 6050 3582 312 | 0.000 % | c | 240482 | 1546 4879 123980 | 6655 3807 312 | 0.000 % | c | 240820 | 1546 4879 123980 | 7320 4145 312 | 0.000 % | c | 241326 | 1546 4879 123980 | 8052 4651 311 | 0.000 % | c | 242085 | 1546 4879 123980 | 8857 5410 311 | 0.000 % | c | 243225 | 1546 4879 123980 | 9743 6550 311 | 0.000 % | c | 244934 | 1546 4879 123980 | 10717 8259 311 | 0.000 % | c | 247496 | 1546 4879 123980 | 11789 10821 311 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 119.699 s Remaining CPU time: 60.3012 s c =============================================================================== c | 251059 | 1546 4880 124506 | 5000 8332 311 | 0.000 % | c | 251159 | 1546 4880 124506 | 5500 4266 311 | 0.000 % | c | 251309 | 1546 4880 124506 | 6050 4416 311 | 0.000 % | c | 251534 | 1546 4880 124506 | 6655 4641 311 | 0.000 % | c | 251871 | 1546 4880 124506 | 7320 4978 311 | 0.000 % | c | 252378 | 1546 4880 124506 | 8052 5485 310 | 0.000 % | c | 253137 | 1546 4880 124506 | 8857 6244 310 | 0.000 % | c | 254276 | 1546 4880 124506 | 9743 7383 310 | 0.000 % | c | 255985 | 1546 4880 124506 | 10717 9092 310 | 0.000 % | c | 258547 | 1546 4880 124506 | 11789 6119 309 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 123.348 s Remaining CPU time: 56.6518 s c =============================================================================== c | 259400 | 1546 4881 125032 | 5000 6972 310 | 0.000 % | c | 259500 | 1546 4881 125032 | 5500 3586 310 | 0.000 % | c | 259651 | 1546 4881 125032 | 6050 3737 309 | 0.000 % | c | 259876 | 1546 4881 125032 | 6655 3962 309 | 0.000 % | c | 260214 | 1546 4881 125032 | 7320 4300 309 | 0.000 % | c | 260720 | 1546 4881 125032 | 8052 4806 309 | 0.000 % | c | 261479 | 1546 4881 125032 | 8857 5565 309 | 0.000 % | c | 262618 | 1546 4881 125032 | 9743 6704 309 | 0.000 % | c | 264326 | 1546 4881 125032 | 10717 8412 309 | 0.000 % | c | 266888 | 1546 4881 125032 | 11789 10974 309 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 128.339 s Remaining CPU time: 51.6605 s c =============================================================================== c | 270389 | 1546 4882 125558 | 5000 8419 309 | 0.000 % | c | 270489 | 1546 4882 125558 | 5500 4310 308 | 0.000 % | c | 270640 | 1546 4882 125558 | 6050 4461 308 | 0.000 % | c | 270865 | 1546 4882 125558 | 6655 4686 308 | 0.000 % | c | 271202 | 1546 4882 125558 | 7320 5023 308 | 0.000 % | c | 271708 | 1546 4882 125558 | 8052 5529 308 | 0.000 % | c | 272468 | 1546 4882 125558 | 8857 6289 308 | 0.000 % | c | 273607 | 1546 4882 125558 | 9743 7428 308 | 0.000 % | c | 275315 | 1546 4882 125558 | 10717 9136 308 | 0.000 % | c | 277877 | 1546 4882 125558 | 11789 6178 307 | 0.000 % | c | 281721 | 1546 4882 125558 | 12968 10022 308 | 0.000 % |