c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4721 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1548 | c | Number Clauses: 4702 | 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 | 1548 4702 9917 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1548 4703 10444 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1548 4704 10971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1548 4705 11498 | 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 | 1548 4706 12025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1548 4707 12552 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1548 4708 13079 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1548 4709 13606 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1548 4710 14133 | 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 | 1548 4711 14660 | 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 | 1548 4712 15187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1548 4713 15714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1548 4714 16241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1548 4715 16768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1548 4716 17295 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1548 4717 17822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1548 4718 18349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1548 4719 18876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1548 4720 19403 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1548 4721 19930 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1548 4722 20457 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1548 4723 20984 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1 | 1548 4724 21511 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1548 4725 22038 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1548 4726 22565 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 1548 4727 23092 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 1548 4728 23619 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1548 4729 24146 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 1548 4730 24673 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1548 4731 25200 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 1548 4732 25727 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1548 4733 26254 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 1548 4734 26781 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1 | 1548 4735 27308 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1548 4736 27835 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 1548 4737 28362 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1548 4738 28889 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 1548 4739 29416 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 1 | 1548 4740 29943 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1548 4741 30470 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 1 | 1548 4742 30997 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 1 | 1548 4743 31524 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 1548 4744 32051 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 1 | 1548 4745 32578 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 1 | 1548 4746 33105 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1 | 1548 4747 33632 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 1 | 1548 4748 34159 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 1 | 1548 4749 34686 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 1 | 1548 4750 35213 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1 | 1548 4751 35740 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 1 | 1548 4752 36267 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 1 | 1548 4753 36794 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 1 | 1548 4754 37321 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 1 | 1548 4755 37848 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 1 | 1548 4756 38375 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 1 | 1548 4757 38902 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 1 | 1548 4758 39429 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 1 | 1548 4759 39956 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 1 | 1548 4760 40483 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 1 | 1548 4761 41010 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 1 | 1548 4762 41537 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 1 | 1548 4763 42064 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 1 | 1548 4764 42591 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 1 | 1548 4765 43118 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 1 | 1548 4766 43645 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 1 | 1548 4767 44172 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 1 | 1548 4768 44699 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 1 | 1548 4769 45226 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 1 | 1548 4770 45753 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 1 | 1548 4771 46280 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 1 | 1548 4772 46807 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 1 | 1548 4773 47334 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 1 | 1548 4774 47861 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 1 | 1548 4775 48388 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 1 | 1548 4776 48915 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 1 | 1548 4777 49442 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 1 | 1548 4778 49969 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 1 | 1548 4779 50496 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 1 | 1548 4780 51023 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 1 | 1548 4781 51550 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 2 | 1548 4782 52077 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 2 | 1548 4783 52604 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 2 | 1548 4784 53131 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 2 | 1548 4785 53658 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 2 | 1548 4786 54185 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 3 | 1548 4787 54712 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 3 | 1548 4788 55239 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 3 | 1548 4789 55766 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 3 | 1548 4790 56293 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 3 | 1548 4791 56820 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 3 | 1548 4792 57347 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 3 | 1548 4793 57874 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 3 | 1548 4794 58401 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 3 | 1548 4795 58928 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 3 | 1548 4796 59455 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 3 | 1548 4797 59982 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 3 | 1548 4798 60509 | 5000 3 467 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 4 | 1548 4799 61036 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 4 | 1548 4800 61563 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 4 | 1548 4801 62090 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 4 | 1548 4802 62617 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 4 | 1548 4803 63144 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 4 | 1548 4804 63671 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 8 | 1548 4805 64198 | 5000 8 388 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 8 | 1548 4806 64725 | 5000 8 388 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 8 | 1548 4807 65252 | 5000 8 388 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 11 | 1548 4808 65779 | 5000 11 398 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s c =============================================================================== c | 14 | 1548 4809 66306 | 5000 14 403 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s c =============================================================================== c | 14 | 1548 4810 66833 | 5000 14 403 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 14 | 1548 4811 67360 | 5000 14 403 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 14 | 1548 4812 67887 | 5000 14 403 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 14 | 1548 4813 68414 | 5000 14 403 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 14 | 1548 4814 68941 | 5000 14 403 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 14 | 1548 4815 69468 | 5000 14 403 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 18 | 1548 4816 69995 | 5000 18 406 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 18 | 1548 4817 70522 | 5000 18 406 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 18 | 1548 4818 71049 | 5000 18 406 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 19 | 1548 4819 71576 | 5000 19 406 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 19 | 1548 4820 72103 | 5000 19 406 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 19 | 1548 4821 72630 | 5000 19 406 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 26 | 1548 4822 73157 | 5000 26 407 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 26 | 1548 4823 73684 | 5000 26 407 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 26 | 1548 4824 74211 | 5000 26 407 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 26 | 1548 4825 74738 | 5000 26 407 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 33 | 1548 4826 75265 | 5000 33 406 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 33 | 1548 4827 75792 | 5000 33 406 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s c =============================================================================== c | 40 | 1548 4828 76319 | 5000 40 406 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 40 | 1548 4829 76846 | 5000 40 406 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 45 | 1548 4830 77373 | 5000 45 405 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 50 | 1548 4831 77900 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.05984 s Remaining CPU time: 178.94 s c =============================================================================== c | 50 | 1548 4832 78427 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 50 | 1548 4833 78954 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 50 | 1548 4834 79481 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 50 | 1548 4835 80008 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.12283 s Remaining CPU time: 178.877 s c =============================================================================== c | 50 | 1548 4836 80535 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 50 | 1548 4837 81062 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 50 | 1548 4838 81589 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.16782 s Remaining CPU time: 178.832 s c =============================================================================== c | 50 | 1548 4839 82116 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 50 | 1548 4840 82643 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.19882 s Remaining CPU time: 178.801 s c =============================================================================== c | 50 | 1548 4841 83170 | 5000 50 405 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s c =============================================================================== c | 51 | 1548 4842 83697 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.23281 s Remaining CPU time: 178.767 s c =============================================================================== c | 51 | 1548 4843 84224 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 51 | 1548 4844 84751 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 51 | 1548 4845 85278 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 51 | 1548 4846 85805 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.3008 s Remaining CPU time: 178.699 s c =============================================================================== c | 51 | 1548 4847 86332 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 51 | 1548 4848 86859 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 51 | 1548 4849 87386 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.35379 s Remaining CPU time: 178.646 s c =============================================================================== c | 51 | 1548 4850 87913 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.37279 s Remaining CPU time: 178.627 s c =============================================================================== c | 51 | 1548 4851 88440 | 5000 51 405 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 62 | 1548 4852 88967 | 5000 62 400 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.41078 s Remaining CPU time: 178.589 s c =============================================================================== c | 62 | 1548 4853 89494 | 5000 62 400 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.42978 s Remaining CPU time: 178.57 s c =============================================================================== c | 71 | 1548 4854 90021 | 5000 71 397 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 71 | 1548 4855 90548 | 5000 71 397 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 71 | 1548 4856 91075 | 5000 71 397 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.48877 s Remaining CPU time: 178.511 s c =============================================================================== c | 78 | 1548 4857 91602 | 5000 78 395 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.50877 s Remaining CPU time: 178.491 s c =============================================================================== c | 83 | 1548 4858 92129 | 5000 83 394 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 83 | 1548 4859 92656 | 5000 83 394 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.54576 s Remaining CPU time: 178.454 s c =============================================================================== c | 83 | 1548 4860 93183 | 5000 83 394 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 83 | 1548 4861 93710 | 5000 83 394 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.58476 s Remaining CPU time: 178.415 s c =============================================================================== c | 83 | 1548 4862 94237 | 5000 83 394 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 104 | 1548 4863 94764 | 5000 104 389 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.62675 s Remaining CPU time: 178.373 s c =============================================================================== c | 109 | 1548 4864 95291 | 5000 109 388 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 109 | 1548 4865 95818 | 5000 109 388 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.66675 s Remaining CPU time: 178.333 s c =============================================================================== c | 109 | 1548 4866 96345 | 5000 109 388 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.68774 s Remaining CPU time: 178.312 s c =============================================================================== c | 109 | 1548 4867 96872 | 5000 109 388 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.70474 s Remaining CPU time: 178.295 s c =============================================================================== c | 110 | 1548 4868 97399 | 5000 110 387 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s c =============================================================================== c | 117 | 1548 4869 97926 | 5000 117 386 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.74673 s Remaining CPU time: 178.253 s c =============================================================================== c | 117 | 1548 4870 98453 | 5000 117 386 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.76773 s Remaining CPU time: 178.232 s c =============================================================================== c | 117 | 1548 4871 98980 | 5000 117 386 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.78873 s Remaining CPU time: 178.211 s c =============================================================================== c | 117 | 1548 4872 99507 | 5000 117 386 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.80972 s Remaining CPU time: 178.19 s c =============================================================================== c | 118 | 1548 4873 100034 | 5000 118 386 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.83172 s Remaining CPU time: 178.168 s c =============================================================================== c | 118 | 1548 4874 100561 | 5000 118 386 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.85472 s Remaining CPU time: 178.145 s c =============================================================================== c | 128 | 1548 4875 101088 | 5000 128 383 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 128 | 1548 4876 101615 | 5000 128 383 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.89871 s Remaining CPU time: 178.101 s c =============================================================================== c | 129 | 1548 4877 102142 | 5000 129 380 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.92071 s Remaining CPU time: 178.079 s c =============================================================================== c | 129 | 1548 4878 102669 | 5000 129 380 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 129 | 1548 4879 103196 | 5000 129 380 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 138 | 1548 4880 103723 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.9887 s Remaining CPU time: 178.011 s c =============================================================================== c | 138 | 1548 4881 104250 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 2.01169 s Remaining CPU time: 177.988 s c =============================================================================== c | 138 | 1548 4882 104777 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 138 | 1548 4883 105304 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 138 | 1548 4884 105831 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 138 | 1548 4885 106358 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.10168 s Remaining CPU time: 177.898 s c =============================================================================== c | 138 | 1548 4886 106885 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.12468 s Remaining CPU time: 177.875 s c =============================================================================== c | 138 | 1548 4887 107412 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.15067 s Remaining CPU time: 177.849 s c =============================================================================== c | 150 | 1548 4888 107939 | 5000 150 373 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 158 | 1548 4889 108466 | 5000 158 372 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.19767 s Remaining CPU time: 177.802 s c =============================================================================== c | 158 | 1548 4890 108993 | 5000 158 372 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.22166 s Remaining CPU time: 177.778 s c =============================================================================== c | 158 | 1548 4891 109520 | 5000 158 372 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.24366 s Remaining CPU time: 177.756 s c =============================================================================== c | 158 | 1548 4892 110047 | 5000 158 372 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s c =============================================================================== c | 165 | 1548 4893 110574 | 5000 165 370 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 171 | 1548 4894 111101 | 5000 171 369 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.31865 s Remaining CPU time: 177.681 s c =============================================================================== c | 177 | 1548 4895 111628 | 5000 177 368 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 177 | 1548 4896 112155 | 5000 177 368 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 186 | 1548 4897 112682 | 5000 186 365 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.39064 s Remaining CPU time: 177.609 s c =============================================================================== c | 186 | 1548 4898 113209 | 5000 186 365 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.41563 s Remaining CPU time: 177.584 s c =============================================================================== c | 187 | 1548 4899 113736 | 5000 187 364 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.43963 s Remaining CPU time: 177.56 s c =============================================================================== c | 187 | 1548 4900 114263 | 5000 187 364 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.46362 s Remaining CPU time: 177.536 s c =============================================================================== c | 188 | 1548 4901 114790 | 5000 188 364 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.48862 s Remaining CPU time: 177.511 s c =============================================================================== c | 188 | 1548 4902 115317 | 5000 188 364 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.51362 s Remaining CPU time: 177.486 s c =============================================================================== c | 188 | 1548 4903 115844 | 5000 188 364 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.53761 s Remaining CPU time: 177.462 s c =============================================================================== c | 188 | 1548 4904 116371 | 5000 188 364 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s c =============================================================================== c | 188 | 1548 4905 116898 | 5000 188 364 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.58761 s Remaining CPU time: 177.412 s c =============================================================================== c | 189 | 1548 4906 117425 | 5000 189 364 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s c =============================================================================== c | 220 | 1548 4907 117952 | 5000 220 358 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.6476 s Remaining CPU time: 177.352 s c =============================================================================== c | 227 | 1548 4908 118479 | 5000 227 357 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.67359 s Remaining CPU time: 177.326 s c =============================================================================== c | 234 | 1548 4909 119006 | 5000 234 356 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.69759 s Remaining CPU time: 177.302 s c =============================================================================== c | 234 | 1548 4910 119533 | 5000 234 356 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.72358 s Remaining CPU time: 177.276 s c =============================================================================== c | 239 | 1548 4911 120060 | 5000 239 356 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 2.75158 s Remaining CPU time: 177.248 s c =============================================================================== c | 248 | 1548 4912 120587 | 5000 248 354 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 2.77858 s Remaining CPU time: 177.221 s c =============================================================================== c | 249 | 1548 4913 121114 | 5000 249 354 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 250 | 1548 4914 121641 | 5000 250 354 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 2.82957 s Remaining CPU time: 177.17 s c =============================================================================== c | 251 | 1548 4915 122168 | 5000 251 354 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 2.85857 s Remaining CPU time: 177.141 s c =============================================================================== c | 266 | 1548 4916 122695 | 5000 266 352 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 2.88456 s Remaining CPU time: 177.115 s c =============================================================================== c | 266 | 1548 4917 123222 | 5000 266 352 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 2.91056 s Remaining CPU time: 177.089 s c =============================================================================== c | 266 | 1548 4918 123749 | 5000 266 352 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.93955 s Remaining CPU time: 177.06 s c =============================================================================== c | 276 | 1548 4919 124276 | 5000 276 350 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 2.97055 s Remaining CPU time: 177.029 s c =============================================================================== c | 288 | 1548 4920 124803 | 5000 288 347 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.02554 s Remaining CPU time: 176.974 s c =============================================================================== c | 377 | 1548 4921 125330 | 5000 377 339 | 0.000 % | c | 477 | 1548 4921 125330 | 5500 477 333 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.10153 s Remaining CPU time: 176.898 s c =============================================================================== c | 478 | 1548 4922 125857 | 5000 478 333 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.13352 s Remaining CPU time: 176.866 s c =============================================================================== c | 491 | 1548 4923 126384 | 5000 491 332 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 3.16752 s Remaining CPU time: 176.832 s c =============================================================================== c | 511 | 1548 4924 126911 | 5000 511 331 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.19951 s Remaining CPU time: 176.8 s c =============================================================================== c | 531 | 1548 4925 127438 | 5000 531 330 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 3.23451 s Remaining CPU time: 176.765 s c =============================================================================== c | 557 | 1548 4926 127965 | 5000 557 329 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s c =============================================================================== c | 568 | 1548 4927 128492 | 5000 568 328 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 3.2975 s Remaining CPU time: 176.703 s c =============================================================================== c | 587 | 1548 4928 129019 | 5000 587 328 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 3.32949 s Remaining CPU time: 176.671 s c =============================================================================== c | 599 | 1548 4929 129546 | 5000 599 327 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 3.36249 s Remaining CPU time: 176.638 s c =============================================================================== c | 612 | 1548 4930 130073 | 5000 612 326 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 3.38948 s Remaining CPU time: 176.611 s c =============================================================================== c | 612 | 1548 4931 130600 | 5000 612 326 | 0.000 % | c | 712 | 1548 4931 130600 | 5500 712 323 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 3.47347 s Remaining CPU time: 176.527 s c =============================================================================== c | 713 | 1548 4932 131127 | 5000 713 323 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 3.50147 s Remaining CPU time: 176.499 s c =============================================================================== c | 716 | 1548 4933 131654 | 5000 716 322 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 3.53246 s Remaining CPU time: 176.468 s c =============================================================================== c | 731 | 1548 4934 132181 | 5000 731 322 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 3.57346 s Remaining CPU time: 176.427 s c =============================================================================== c | 766 | 1548 4935 132708 | 5000 766 320 | 0.000 % | c | 866 | 1548 4935 132708 | 5500 866 318 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 3.65844 s Remaining CPU time: 176.342 s c =============================================================================== c | 879 | 1548 4936 133235 | 5000 879 317 | 0.000 % | c | 979 | 1548 4936 133235 | 5500 979 315 | 0.000 % | c | 1129 | 1548 4936 133235 | 6050 1129 312 | 0.000 % | c | 1354 | 1548 4936 133235 | 6655 1354 309 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 3.9284 s Remaining CPU time: 176.072 s c =============================================================================== c | 1436 | 1548 4937 133762 | 5000 1436 309 | 0.000 % | c | 1537 | 1548 4937 133762 | 5500 1537 308 | 0.000 % | c | 1687 | 1548 4937 133762 | 6050 1687 306 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 4.09238 s Remaining CPU time: 175.908 s c =============================================================================== c | 1700 | 1548 4938 134289 | 5000 1700 306 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 4.12137 s Remaining CPU time: 175.879 s c =============================================================================== c | 1703 | 1548 4939 134816 | 5000 1703 306 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 4.18136 s Remaining CPU time: 175.819 s c =============================================================================== c | 1796 | 1548 4940 135343 | 5000 1796 305 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 4.23836 s Remaining CPU time: 175.762 s c =============================================================================== c | 1880 | 1548 4941 135870 | 5000 1880 305 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 4.26935 s Remaining CPU time: 175.731 s c =============================================================================== c | 1885 | 1548 4942 136397 | 5000 1885 305 | 0.000 % | c | 1986 | 1548 4942 136397 | 5500 1986 304 | 0.000 % | c | 2136 | 1548 4942 136397 | 6050 2136 303 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 4.44832 s Remaining CPU time: 175.552 s c =============================================================================== c | 2205 | 1548 4943 136924 | 5000 2205 302 | 0.000 % | c | 2305 | 1548 4943 136924 | 5500 2305 302 | 0.000 % | c | 2455 | 1548 4943 136924 | 6050 2455 301 | 0.000 % | c | 2680 | 1548 4943 136924 | 6655 2680 300 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 4.76328 s Remaining CPU time: 175.237 s c =============================================================================== c | 2864 | 1548 4944 137451 | 5000 2864 299 | 0.000 % | c | 2964 | 1548 4944 137451 | 5500 2964 299 | 0.000 % | c | 3115 | 1548 4944 137451 | 6050 3115 298 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 4.94025 s Remaining CPU time: 175.06 s c =============================================================================== c | 3168 | 1548 4945 137978 | 5000 3168 298 | 0.000 % | c | 3268 | 1548 4945 137978 | 5500 3268 297 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 5.05823 s Remaining CPU time: 174.942 s c =============================================================================== c | 3364 | 1548 4946 138505 | 5000 3364 297 | 0.000 % | c | 3464 | 1548 4946 138505 | 5500 3464 297 | 0.000 % | c | 3615 | 1548 4946 138505 | 6050 3615 296 | 0.000 % | c | 3840 | 1548 4946 138505 | 6655 3840 295 | 0.000 % | c | 4177 | 1548 4946 138505 | 7320 4177 295 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 5.54216 s Remaining CPU time: 174.458 s c =============================================================================== c | 4454 | 1548 4947 139032 | 5000 4454 294 | 0.000 % | c | 4554 | 1548 4947 139032 | 5500 4554 294 | 0.000 % | c | 4705 | 1548 4947 139032 | 6050 4705 293 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 5.71113 s Remaining CPU time: 174.289 s c =============================================================================== c | 4713 | 1548 4948 139559 | 5000 4713 293 | 0.000 % | c | 4813 | 1548 4948 139559 | 5500 4813 293 | 0.000 % | c | 4963 | 1548 4948 139559 | 6050 4963 293 | 0.000 % | c | 5188 | 1548 4948 139559 | 6655 5188 292 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 6.01109 s Remaining CPU time: 173.989 s c =============================================================================== c | 5279 | 1548 4949 140086 | 5000 5279 292 | 0.000 % | c | 5380 | 1548 4949 140086 | 5500 2741 284 | 0.000 % | c | 5530 | 1548 4949 140086 | 6050 2891 284 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 6.19706 s Remaining CPU time: 173.803 s c =============================================================================== c | 5582 | 1548 4950 140613 | 5000 2943 284 | 0.000 % | c | 5682 | 1548 4950 140613 | 5500 3043 284 | 0.000 % | c | 5832 | 1548 4950 140613 | 6050 3193 284 | 0.000 % | c | 6057 | 1548 4950 140613 | 6655 3418 284 | 0.000 % | c | 6394 | 1548 4950 140613 | 7320 3755 283 | 0.000 % | c | 6900 | 1548 4950 140613 | 8052 4261 283 | 0.000 % | c | 7659 | 1548 4950 140613 | 8857 5020 283 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 7.2429 s Remaining CPU time: 172.757 s c =============================================================================== c | 8233 | 1548 4951 141140 | 5000 5594 283 | 0.000 % | c | 8333 | 1548 4951 141140 | 5500 2897 281 | 0.000 % | c | 8483 | 1548 4951 141140 | 6050 3047 280 | 0.000 % | c | 8708 | 1548 4951 141140 | 6655 3272 280 | 0.000 % | c | 9046 | 1548 4951 141140 | 7320 3610 280 | 0.000 % | c | 9552 | 1548 4951 141140 | 8052 4116 280 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 7.94979 s Remaining CPU time: 172.05 s c =============================================================================== c | 9834 | 1548 4952 141667 | 5000 4398 280 | 0.000 % | c | 9934 | 1548 4952 141667 | 5500 4498 280 | 0.000 % | c | 10084 | 1548 4952 141667 | 6050 4648 280 | 0.000 % | c | 10309 | 1548 4952 141667 | 6655 4873 280 | 0.000 % | c | 10646 | 1548 4952 141667 | 7320 5210 280 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 8.5277 s Remaining CPU time: 171.472 s c =============================================================================== c | 10992 | 1548 4953 142194 | 5000 5556 280 | 0.000 % | c | 11092 | 1548 4953 142194 | 5500 2878 279 | 0.000 % | c | 11242 | 1548 4953 142194 | 6050 3028 279 | 0.000 % | c | 11467 | 1548 4953 142194 | 6655 3253 279 | 0.000 % | c | 11804 | 1548 4953 142194 | 7320 3590 279 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 9.09962 s Remaining CPU time: 170.9 s c =============================================================================== c | 12101 | 1548 4954 142721 | 5000 3887 279 | 0.000 % | c | 12201 | 1548 4954 142721 | 5500 3987 279 | 0.000 % | c | 12351 | 1548 4954 142721 | 6050 4137 279 | 0.000 % | c | 12577 | 1548 4954 142721 | 6655 4363 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 9.38557 s Remaining CPU time: 170.614 s c =============================================================================== c | 12663 | 1548 4955 143248 | 5000 4449 278 | 0.000 % | c | 12763 | 1548 4955 143248 | 5500 4549 278 | 0.000 % | c | 12913 | 1548 4955 143248 | 6050 4699 278 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 9.59354 s Remaining CPU time: 170.406 s c =============================================================================== c | 13034 | 1548 4956 143775 | 5000 4820 278 | 0.000 % | c | 13134 | 1548 4956 143775 | 5500 4920 278 | 0.000 % | c | 13285 | 1548 4956 143775 | 6050 5071 278 | 0.000 % | c | 13510 | 1548 4956 143775 | 6655 5296 278 | 0.000 % | c | 13847 | 1548 4956 143775 | 7320 5633 278 | 0.000 % | c | 14353 | 1548 4956 143775 | 8052 6139 277 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 10.3324 s Remaining CPU time: 169.668 s c =============================================================================== c | 14770 | 1548 4957 144302 | 5000 6556 277 | 0.000 % | c | 14871 | 1548 4957 144302 | 5500 3379 275 | 0.000 % | c | 15021 | 1548 4957 144302 | 6050 3529 275 | 0.000 % | c | 15247 | 1548 4957 144302 | 6655 3755 275 | 0.000 % | c | 15584 | 1548 4957 144302 | 7320 4092 275 | 0.000 % | c | 16090 | 1548 4957 144302 | 8052 4598 275 | 0.000 % | c | 16849 | 1548 4957 144302 | 8857 5357 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 11.6032 s Remaining CPU time: 168.397 s c =============================================================================== c | 17619 | 1548 4958 144829 | 5000 6127 275 | 0.000 % | c | 17719 | 1548 4958 144829 | 5500 3164 274 | 0.000 % | c | 17870 | 1548 4958 144829 | 6050 3315 273 | 0.000 % | c | 18095 | 1548 4958 144829 | 6655 3540 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 12.0172 s Remaining CPU time: 167.983 s c =============================================================================== c | 18334 | 1548 4959 145356 | 5000 3779 273 | 0.000 % | c | 18435 | 1548 4959 145356 | 5500 3880 273 | 0.000 % | c | 18585 | 1548 4959 145356 | 6050 4030 273 | 0.000 % | c | 18810 | 1548 4959 145356 | 6655 4255 273 | 0.000 % | c | 19147 | 1548 4959 145356 | 7320 4592 273 | 0.000 % | c | 19653 | 1548 4959 145356 | 8052 5098 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 12.7231 s Remaining CPU time: 167.277 s c =============================================================================== c | 19735 | 1548 4960 145883 | 5000 5180 273 | 0.000 % | c | 19835 | 1548 4960 145883 | 5500 2690 272 | 0.000 % | c | 19985 | 1548 4960 145883 | 6050 2840 272 | 0.000 % | c | 20210 | 1548 4960 145883 | 6655 3065 272 | 0.000 % | c | 20548 | 1548 4960 145883 | 7320 3403 272 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 13.253 s Remaining CPU time: 166.747 s c =============================================================================== c | 20903 | 1548 4961 146410 | 5000 3758 271 | 0.000 % | c | 21003 | 1548 4961 146410 | 5500 3858 271 | 0.000 % | c | 21154 | 1548 4961 146410 | 6050 4009 271 | 0.000 % | c | 21379 | 1548 4961 146410 | 6655 4234 271 | 0.000 % | c | 21716 | 1548 4961 146410 | 7320 4571 271 | 0.000 % | c | 22222 | 1548 4961 146410 | 8052 5077 271 | 0.000 % | c | 22981 | 1548 4961 146410 | 8857 5836 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 14.2428 s Remaining CPU time: 165.757 s c =============================================================================== c | 23133 | 1548 4962 146937 | 5000 5988 271 | 0.000 % | c | 23233 | 1548 4962 146937 | 5500 3094 270 | 0.000 % | c | 23383 | 1548 4962 146937 | 6050 3244 270 | 0.000 % | c | 23608 | 1548 4962 146937 | 6655 3469 270 | 0.000 % | c | 23945 | 1548 4962 146937 | 7320 3806 269 | 0.000 % | c | 24452 | 1548 4962 146937 | 8052 4313 269 | 0.000 % | c | 25211 | 1548 4962 146937 | 8857 5072 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 15.3257 s Remaining CPU time: 164.674 s c =============================================================================== c | 25730 | 1548 4963 147464 | 5000 5591 269 | 0.000 % | c | 25830 | 1548 4963 147464 | 5500 2896 269 | 0.000 % | c | 25980 | 1548 4963 147464 | 6050 3046 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 15.5686 s Remaining CPU time: 164.431 s c =============================================================================== c | 26174 | 1548 4964 147991 | 5000 3240 268 | 0.000 % | c | 26274 | 1548 4964 147991 | 5500 3340 268 | 0.000 % | c | 26424 | 1548 4964 147991 | 6050 3490 268 | 0.000 % | c | 26649 | 1548 4964 147991 | 6655 3715 268 | 0.000 % | c | 26986 | 1548 4964 147991 | 7320 4052 268 | 0.000 % | c | 27493 | 1548 4964 147991 | 8052 4559 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 16.4365 s Remaining CPU time: 163.563 s c =============================================================================== c | 28005 | 1548 4965 148518 | 5000 5071 268 | 0.000 % | c | 28105 | 1548 4965 148518 | 5500 2636 267 | 0.000 % | c | 28255 | 1548 4965 148518 | 6050 2786 267 | 0.000 % | c | 28482 | 1548 4965 148518 | 6655 3013 266 | 0.000 % | c | 28819 | 1548 4965 148518 | 7320 3350 266 | 0.000 % | c | 29325 | 1548 4965 148518 | 8052 3856 266 | 0.000 % | c | 30084 | 1548 4965 148518 | 8857 4615 266 | 0.000 % | c | 31224 | 1548 4965 148518 | 9743 5755 266 | 0.000 % | c | 32933 | 1548 4965 148518 | 10717 7464 266 | 0.000 % | c | 35495 | 1548 4965 148518 | 11789 10026 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 20.3019 s Remaining CPU time: 159.698 s c =============================================================================== c | 37849 | 1548 4966 149045 | 5000 6340 266 | 0.000 % | c | 37949 | 1548 4966 149045 | 5500 3270 265 | 0.000 % | c | 38100 | 1548 4966 149045 | 6050 3421 265 | 0.000 % | c | 38325 | 1548 4966 149045 | 6655 3646 265 | 0.000 % | c | 38662 | 1548 4966 149045 | 7320 3983 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 20.8608 s Remaining CPU time: 159.139 s c =============================================================================== c | 38994 | 1548 4967 149572 | 5000 4315 265 | 0.000 % | c | 39094 | 1548 4967 149572 | 5500 4415 265 | 0.000 % | c | 39244 | 1548 4967 149572 | 6050 4565 265 | 0.000 % | c | 39469 | 1548 4967 149572 | 6655 4790 265 | 0.000 % | c | 39807 | 1548 4967 149572 | 7320 5128 265 | 0.000 % | c | 40314 | 1548 4967 149572 | 8052 5635 265 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 21.5537 s Remaining CPU time: 158.446 s c =============================================================================== c | 40583 | 1548 4968 150099 | 5000 5904 265 | 0.000 % | c | 40683 | 1548 4968 150099 | 5500 3052 264 | 0.000 % | c | 40833 | 1548 4968 150099 | 6050 3202 264 | 0.000 % | c | 41058 | 1548 4968 150099 | 6655 3427 264 | 0.000 % | c | 41395 | 1548 4968 150099 | 7320 3764 264 | 0.000 % | c | 41901 | 1548 4968 150099 | 8052 4270 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 22.3476 s Remaining CPU time: 157.652 s c =============================================================================== c | 42167 | 1548 4969 150626 | 5000 4536 263 | 0.000 % | c | 42268 | 1548 4969 150626 | 5500 4637 263 | 0.000 % | c | 42418 | 1548 4969 150626 | 6050 4787 263 | 0.000 % | c | 42643 | 1548 4969 150626 | 6655 5012 263 | 0.000 % | c | 42980 | 1548 4969 150626 | 7320 5349 263 | 0.000 % | c | 43487 | 1548 4969 150626 | 8052 5856 263 | 0.000 % | c | 44246 | 1548 4969 150626 | 8857 6615 263 | 0.000 % | c | 45385 | 1548 4969 150626 | 9743 7754 263 | 0.000 % | c | 47093 | 1548 4969 150626 | 10717 9462 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 25.4691 s Remaining CPU time: 154.531 s c =============================================================================== c | 49490 | 1548 4970 151153 | 5000 6354 262 | 0.000 % | c | 49590 | 1548 4970 151153 | 5500 3277 262 | 0.000 % | c | 49740 | 1548 4970 151153 | 6050 3427 262 | 0.000 % | c | 49965 | 1548 4970 151153 | 6655 3652 261 | 0.000 % | c | 50302 | 1548 4970 151153 | 7320 3989 261 | 0.000 % | c | 50809 | 1548 4970 151153 | 8052 4496 261 | 0.000 % | c | 51568 | 1548 4970 151153 | 8857 5255 261 | 0.000 % | c | 52707 | 1548 4970 151153 | 9743 6394 261 | 0.000 % | c | 54415 | 1548 4970 151153 | 10717 8102 261 | 0.000 % | c | 56977 | 1548 4970 151153 | 11789 10664 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 30.1444 s Remaining CPU time: 149.856 s c =============================================================================== c | 59563 | 1548 4971 151680 | 5000 7219 261 | 0.000 % | c | 59663 | 1548 4971 151680 | 5500 3710 261 | 0.000 % | c | 59813 | 1548 4971 151680 | 6050 3860 261 | 0.000 % | c | 60038 | 1548 4971 151680 | 6655 4085 260 | 0.000 % | c | 60375 | 1548 4971 151680 | 7320 4422 260 | 0.000 % | c | 60881 | 1548 4971 151680 | 8052 4928 260 | 0.000 % | c | 61640 | 1548 4971 151680 | 8857 5687 260 | 0.000 % | c | 62779 | 1548 4971 151680 | 9743 6826 260 | 0.000 % | c | 64487 | 1548 4971 151680 | 10717 8534 260 | 0.000 % | c | 67050 | 1548 4971 151680 | 11789 5591 260 | 0.000 % | c | 70895 | 1548 4971 151680 | 12968 9436 260 | 0.000 % | c | 76661 | 1548 4971 151680 | 14265 8559 260 | 0.000 % | c | 85310 | 1548 4971 151680 | 15692 9921 259 | 0.000 % | c | 98284 | 1548 4971 151680 | 17261 14917 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 52.1631 s Remaining CPU time: 127.837 s c =============================================================================== c | 105701 | 1548 4972 152207 | 5000 13564 260 | 0.000 % | c | 105801 | 1548 4972 152207 | 5500 3491 260 | 0.000 % | c | 105951 | 1548 4972 152207 | 6050 3641 260 | 0.000 % | c | 106176 | 1548 4972 152207 | 6655 3866 260 | 0.000 % | c | 106514 | 1548 4972 152207 | 7320 4204 260 | 0.000 % | c | 107020 | 1548 4972 152207 | 8052 4710 260 | 0.000 % | c | 107779 | 1548 4972 152207 | 8857 5469 259 | 0.000 % | c | 108918 | 1548 4972 152207 | 9743 6608 259 | 0.000 % | c | 110627 | 1548 4972 152207 | 10717 8317 259 | 0.000 % | c | 113189 | 1548 4972 152207 | 11789 10879 259 | 0.000 % | c | 117033 | 1548 4972 152207 | 12968 8675 259 | 0.000 % | c | 122800 | 1548 4972 152207 | 14265 7801 259 | 0.000 % | c | 131450 | 1548 4972 152207 | 15692 9185 259 | 0.000 % | c | 144424 | 1548 4972 152207 | 17261 14160 259 | 0.000 % | c | 163885 | 1548 4972 152207 | 18987 16075 259 | 0.000 % | c | 193077 | 1548 4972 152207 | 20886 16331 259 | 0.000 % | c | 236866 | 1548 4972 152207 | 22974 17478 259 | 0.000 % | c | 302550 | 1548 4972 152207 | 25272 19718 259 | 0.000 % |