c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4698 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1551 | c | Number Clauses: 4685 | 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 | 1551 4685 9886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1551 4686 10410 | 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 | 1551 4687 10934 | 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 | 1551 4688 11458 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1551 4689 11982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1551 4690 12506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1551 4691 13030 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1551 4692 13554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1551 4693 14078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1551 4694 14602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1551 4695 15126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1551 4696 15650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1551 4697 16174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1551 4698 16698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1551 4699 17222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1551 4700 17746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1551 4701 18270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1551 4702 18794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1551 4703 19318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1551 4704 19842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1551 4705 20366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1551 4706 20890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1551 4707 21414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1551 4708 21938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1551 4709 22462 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1551 4710 22986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 1551 4711 23510 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1551 4712 24034 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 1551 4713 24558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1551 4714 25082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1551 4715 25606 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1551 4716 26130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1551 4717 26654 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 1551 4718 27178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 1551 4719 27702 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1551 4720 28226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1 | 1551 4721 28750 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1551 4722 29274 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 1551 4723 29798 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 1551 4724 30322 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 1551 4725 30846 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1551 4726 31370 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 1551 4727 31894 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 1 | 1551 4728 32418 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 1 | 1551 4729 32942 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 1 | 1551 4730 33466 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 1 | 1551 4731 33990 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 1 | 1551 4732 34514 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 1 | 1551 4733 35038 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 1 | 1551 4734 35562 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 1 | 1551 4735 36086 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 1 | 1551 4736 36610 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1 | 1551 4737 37134 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 1 | 1551 4738 37658 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 1 | 1551 4739 38182 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 1 | 1551 4740 38706 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 1 | 1551 4741 39230 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 1 | 1551 4742 39754 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 1 | 1551 4743 40278 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 1 | 1551 4744 40802 | 5000 1 491 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 2 | 1551 4745 41326 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 2 | 1551 4746 41850 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 2 | 1551 4747 42374 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 2 | 1551 4748 42898 | 5000 2 478 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 3 | 1551 4749 43422 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 3 | 1551 4750 43946 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 3 | 1551 4751 44470 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 3 | 1551 4752 44994 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 3 | 1551 4753 45518 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 3 | 1551 4754 46042 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 3 | 1551 4755 46566 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 3 | 1551 4756 47090 | 5000 3 473 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 5 | 1551 4757 47614 | 5000 5 465 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 5 | 1551 4758 48138 | 5000 5 465 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 5 | 1551 4759 48662 | 5000 5 465 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 5 | 1551 4760 49186 | 5000 5 465 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 5 | 1551 4761 49710 | 5000 5 465 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 5 | 1551 4762 50234 | 5000 5 465 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 6 | 1551 4763 50758 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 6 | 1551 4764 51282 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 6 | 1551 4765 51806 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 6 | 1551 4766 52330 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 6 | 1551 4767 52854 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 6 | 1551 4768 53378 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 6 | 1551 4769 53902 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 6 | 1551 4770 54426 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 6 | 1551 4771 54950 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 6 | 1551 4772 55474 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 6 | 1551 4773 55998 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 6 | 1551 4774 56522 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 6 | 1551 4775 57046 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 6 | 1551 4776 57570 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 6 | 1551 4777 58094 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 7 | 1551 4778 58618 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 7 | 1551 4779 59142 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 7 | 1551 4780 59666 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 7 | 1551 4781 60190 | 5000 7 397 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 11 | 1551 4782 60714 | 5000 11 409 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 11 | 1551 4783 61238 | 5000 11 409 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 11 | 1551 4784 61762 | 5000 11 409 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 11 | 1551 4785 62286 | 5000 11 409 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s c =============================================================================== c | 11 | 1551 4786 62810 | 5000 11 409 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 15 | 1551 4787 63334 | 5000 15 413 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 15 | 1551 4788 63858 | 5000 15 413 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 15 | 1551 4789 64382 | 5000 15 413 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 15 | 1551 4790 64906 | 5000 15 413 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 15 | 1551 4791 65430 | 5000 15 413 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 16 | 1551 4792 65954 | 5000 16 413 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 16 | 1551 4793 66478 | 5000 16 413 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 16 | 1551 4794 67002 | 5000 16 413 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.683896 s Remaining CPU time: 179.316 s c =============================================================================== c | 19 | 1551 4795 67526 | 5000 19 413 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 19 | 1551 4796 68050 | 5000 19 413 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 19 | 1551 4797 68574 | 5000 19 413 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 19 | 1551 4798 69098 | 5000 19 413 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 19 | 1551 4799 69622 | 5000 19 413 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 19 | 1551 4800 70146 | 5000 19 413 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 20 | 1551 4801 70670 | 5000 20 413 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 20 | 1551 4802 71194 | 5000 20 413 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 20 | 1551 4803 71718 | 5000 20 413 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 20 | 1551 4804 72242 | 5000 20 413 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 20 | 1551 4805 72766 | 5000 20 413 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s c =============================================================================== c | 20 | 1551 4806 73290 | 5000 20 413 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 23 | 1551 4807 73814 | 5000 23 412 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 23 | 1551 4808 74338 | 5000 23 412 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 23 | 1551 4809 74862 | 5000 23 412 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 23 | 1551 4810 75386 | 5000 23 412 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 23 | 1551 4811 75910 | 5000 23 412 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 31 | 1551 4812 76434 | 5000 31 409 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 31 | 1551 4813 76958 | 5000 31 409 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 31 | 1551 4814 77482 | 5000 31 409 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 31 | 1551 4815 78006 | 5000 31 409 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 32 | 1551 4816 78530 | 5000 32 408 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 32 | 1551 4817 79054 | 5000 32 408 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 45 | 1551 4818 79578 | 5000 45 404 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s c =============================================================================== c | 45 | 1551 4819 80102 | 5000 45 404 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 49 | 1551 4820 80626 | 5000 49 403 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 50 | 1551 4821 81150 | 5000 50 403 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 52 | 1551 4822 81674 | 5000 52 402 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 55 | 1551 4823 82198 | 5000 55 401 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 58 | 1551 4824 82722 | 5000 58 400 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.10983 s Remaining CPU time: 178.89 s c =============================================================================== c | 60 | 1551 4825 83246 | 5000 60 400 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 62 | 1551 4826 83770 | 5000 62 399 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.14183 s Remaining CPU time: 178.858 s c =============================================================================== c | 64 | 1551 4827 84294 | 5000 64 399 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 72 | 1551 4828 84818 | 5000 72 397 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 73 | 1551 4829 85342 | 5000 73 397 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 100 | 1551 4830 85866 | 5000 100 393 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 101 | 1551 4831 86390 | 5000 101 392 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 119 | 1551 4832 86914 | 5000 119 390 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.25781 s Remaining CPU time: 178.742 s c =============================================================================== c | 124 | 1551 4833 87438 | 5000 124 390 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.2768 s Remaining CPU time: 178.723 s c =============================================================================== c | 128 | 1551 4834 87962 | 5000 128 390 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 131 | 1551 4835 88486 | 5000 131 389 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 133 | 1551 4836 89010 | 5000 133 389 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 223 | 1551 4837 89534 | 5000 223 383 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s c =============================================================================== c | 255 | 1551 4838 90058 | 5000 255 382 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.39379 s Remaining CPU time: 178.606 s c =============================================================================== c | 270 | 1551 4839 90582 | 5000 270 381 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 279 | 1551 4840 91106 | 5000 279 381 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 288 | 1551 4841 91630 | 5000 288 381 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s c =============================================================================== c | 301 | 1551 4842 92154 | 5000 301 380 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 323 | 1551 4843 92678 | 5000 323 379 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 334 | 1551 4844 93202 | 5000 334 379 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 343 | 1551 4845 93726 | 5000 343 379 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.54476 s Remaining CPU time: 178.455 s c =============================================================================== c | 360 | 1551 4846 94250 | 5000 360 378 | 0.000 % | c | 461 | 1551 4846 94250 | 5500 461 375 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.61875 s Remaining CPU time: 178.381 s c =============================================================================== c | 508 | 1551 4847 94774 | 5000 508 374 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 556 | 1551 4848 95298 | 5000 556 373 | 0.000 % | c | 656 | 1551 4848 95298 | 5500 656 372 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.72174 s Remaining CPU time: 178.278 s c =============================================================================== c | 694 | 1551 4849 95822 | 5000 694 371 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.75373 s Remaining CPU time: 178.246 s c =============================================================================== c | 726 | 1551 4850 96346 | 5000 726 371 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s c =============================================================================== c | 774 | 1551 4851 96870 | 5000 774 370 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.81272 s Remaining CPU time: 178.187 s c =============================================================================== c | 794 | 1551 4852 97394 | 5000 794 370 | 0.000 % | c | 896 | 1551 4852 97394 | 5500 896 368 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.91171 s Remaining CPU time: 178.088 s c =============================================================================== c | 1042 | 1551 4853 97918 | 5000 1042 367 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.9507 s Remaining CPU time: 178.049 s c =============================================================================== c | 1123 | 1551 4854 98442 | 5000 1123 366 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.9857 s Remaining CPU time: 178.014 s c =============================================================================== c | 1181 | 1551 4855 98966 | 5000 1181 366 | 0.000 % | c | 1281 | 1551 4855 98966 | 5500 1281 365 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 1410 | 1551 4856 99490 | 5000 1410 364 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 1476 | 1551 4857 100014 | 5000 1476 364 | 0.000 % | c | 1577 | 1551 4857 100014 | 5500 1577 363 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 2.19167 s Remaining CPU time: 177.808 s c =============================================================================== c | 1586 | 1551 4858 100538 | 5000 1586 363 | 0.000 % | c | 1686 | 1551 4858 100538 | 5500 1686 362 | 0.000 % | c | 1837 | 1551 4858 100538 | 6050 1837 362 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s c =============================================================================== c | 1872 | 1551 4859 101062 | 5000 1872 361 | 0.000 % | c | 1973 | 1551 4859 101062 | 5500 1973 361 | 0.000 % | c | 2123 | 1551 4859 101062 | 6050 2123 360 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 2.47162 s Remaining CPU time: 177.528 s c =============================================================================== c | 2176 | 1551 4860 101586 | 5000 2176 360 | 0.000 % | c | 2276 | 1551 4860 101586 | 5500 2276 360 | 0.000 % | c | 2426 | 1551 4860 101586 | 6050 2426 359 | 0.000 % | c | 2651 | 1551 4860 101586 | 6655 2651 358 | 0.000 % | c | 2988 | 1551 4860 101586 | 7320 2988 358 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 2.80657 s Remaining CPU time: 177.193 s c =============================================================================== c | 2989 | 1551 4861 102110 | 5000 2989 358 | 0.000 % | c | 3089 | 1551 4861 102110 | 5500 3089 357 | 0.000 % | c | 3239 | 1551 4861 102110 | 6050 3239 357 | 0.000 % | c | 3464 | 1551 4861 102110 | 6655 3464 356 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 3.08053 s Remaining CPU time: 176.919 s c =============================================================================== c | 3675 | 1551 4862 102634 | 5000 3675 356 | 0.000 % | c | 3775 | 1551 4862 102634 | 5500 3775 356 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 3.15852 s Remaining CPU time: 176.841 s c =============================================================================== c | 3816 | 1551 4863 103158 | 5000 3816 356 | 0.000 % | c | 3916 | 1551 4863 103158 | 5500 3916 356 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 3.22951 s Remaining CPU time: 176.77 s c =============================================================================== c | 3922 | 1551 4864 103682 | 5000 3922 356 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 3.2645 s Remaining CPU time: 176.735 s c =============================================================================== c | 3964 | 1551 4865 104206 | 5000 3964 355 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 3.2935 s Remaining CPU time: 176.707 s c =============================================================================== c | 3988 | 1551 4866 104730 | 5000 3988 355 | 0.000 % | c | 4088 | 1551 4866 104730 | 5500 4088 355 | 0.000 % | c | 4238 | 1551 4866 104730 | 6050 4238 355 | 0.000 % | c | 4463 | 1551 4866 104730 | 6655 4463 354 | 0.000 % | c | 4802 | 1551 4866 104730 | 7320 4802 354 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 3.69344 s Remaining CPU time: 176.307 s c =============================================================================== c | 4948 | 1551 4867 105254 | 5000 4948 353 | 0.000 % | c | 5049 | 1551 4867 105254 | 5500 5049 353 | 0.000 % | c | 5199 | 1551 4867 105254 | 6050 5199 353 | 0.000 % | c | 5424 | 1551 4867 105254 | 6655 5424 353 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 3.98539 s Remaining CPU time: 176.015 s c =============================================================================== c | 5568 | 1551 4868 105778 | 5000 5568 352 | 0.000 % | c | 5668 | 1551 4868 105778 | 5500 2884 346 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 4.11237 s Remaining CPU time: 175.888 s c =============================================================================== c | 5762 | 1551 4869 106302 | 5000 2978 346 | 0.000 % | c | 5864 | 1551 4869 106302 | 5500 3080 346 | 0.000 % | c | 6014 | 1551 4869 106302 | 6050 3230 346 | 0.000 % | c | 6239 | 1551 4869 106302 | 6655 3455 346 | 0.000 % | c | 6576 | 1551 4869 106302 | 7320 3792 345 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 4.6093 s Remaining CPU time: 175.391 s c =============================================================================== c | 6994 | 1551 4870 106826 | 5000 4210 345 | 0.000 % | c | 7094 | 1551 4870 106826 | 5500 4310 345 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 4.71228 s Remaining CPU time: 175.288 s c =============================================================================== c | 7155 | 1551 4871 107350 | 5000 4371 345 | 0.000 % | c | 7256 | 1551 4871 107350 | 5500 4472 345 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 4.81027 s Remaining CPU time: 175.19 s c =============================================================================== c | 7326 | 1551 4872 107874 | 5000 4542 345 | 0.000 % | c | 7426 | 1551 4872 107874 | 5500 4642 344 | 0.000 % | c | 7576 | 1551 4872 107874 | 6050 4792 344 | 0.000 % | c | 7801 | 1551 4872 107874 | 6655 5017 344 | 0.000 % | c | 8138 | 1551 4872 107874 | 7320 5354 344 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 5.17021 s Remaining CPU time: 174.83 s c =============================================================================== c | 8151 | 1551 4873 108398 | 5000 5367 344 | 0.000 % | c | 8251 | 1551 4873 108398 | 5500 2784 340 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 5.2542 s Remaining CPU time: 174.746 s c =============================================================================== c | 8256 | 1551 4874 108922 | 5000 2789 340 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 5.2872 s Remaining CPU time: 174.713 s c =============================================================================== c | 8295 | 1551 4875 109446 | 5000 2828 340 | 0.000 % | c | 8396 | 1551 4875 109446 | 5500 2929 340 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 5.40218 s Remaining CPU time: 174.598 s c =============================================================================== c | 8505 | 1551 4876 109970 | 5000 3038 340 | 0.000 % | c | 8605 | 1551 4876 109970 | 5500 3138 340 | 0.000 % | c | 8755 | 1551 4876 109970 | 6050 3288 340 | 0.000 % | c | 8980 | 1551 4876 109970 | 6655 3513 339 | 0.000 % | c | 9317 | 1551 4876 109970 | 7320 3850 339 | 0.000 % | c | 9824 | 1551 4876 109970 | 8052 4357 339 | 0.000 % | c | 10583 | 1551 4876 109970 | 8857 5116 338 | 0.000 % | c | 11723 | 1551 4876 109970 | 9743 6256 337 | 0.000 % | c | 13431 | 1551 4876 109970 | 10717 7964 337 | 0.000 % | c | 15994 | 1551 4876 109970 | 11789 10527 337 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 8.36073 s Remaining CPU time: 171.639 s c =============================================================================== c | 16554 | 1551 4877 110494 | 5000 11087 336 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 8.46571 s Remaining CPU time: 171.534 s c =============================================================================== c | 16636 | 1551 4878 111018 | 5000 2854 335 | 0.000 % | c | 16736 | 1551 4878 111018 | 5500 2954 335 | 0.000 % | c | 16886 | 1551 4878 111018 | 6050 3104 335 | 0.000 % | c | 17111 | 1551 4878 111018 | 6655 3329 335 | 0.000 % | c | 17448 | 1551 4878 111018 | 7320 3666 334 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 8.90165 s Remaining CPU time: 171.098 s c =============================================================================== c | 17687 | 1551 4879 111542 | 5000 3905 334 | 0.000 % | c | 17787 | 1551 4879 111542 | 5500 4005 334 | 0.000 % | c | 17937 | 1551 4879 111542 | 6050 4155 334 | 0.000 % | c | 18162 | 1551 4879 111542 | 6655 4380 334 | 0.000 % | c | 18499 | 1551 4879 111542 | 7320 4717 334 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 9.33858 s Remaining CPU time: 170.661 s c =============================================================================== c | 18786 | 1551 4880 112066 | 5000 5004 334 | 0.000 % | c | 18886 | 1551 4880 112066 | 5500 2602 332 | 0.000 % | c | 19036 | 1551 4880 112066 | 6050 2752 332 | 0.000 % | c | 19261 | 1551 4880 112066 | 6655 2977 332 | 0.000 % | c | 19598 | 1551 4880 112066 | 7320 3314 332 | 0.000 % | c | 20105 | 1551 4880 112066 | 8052 3821 332 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 9.96648 s Remaining CPU time: 170.034 s c =============================================================================== c | 20541 | 1551 4881 112590 | 5000 4257 332 | 0.000 % | c | 20641 | 1551 4881 112590 | 5500 4357 332 | 0.000 % | c | 20791 | 1551 4881 112590 | 6050 4507 332 | 0.000 % | c | 21016 | 1551 4881 112590 | 6655 4732 332 | 0.000 % | c | 21353 | 1551 4881 112590 | 7320 5069 332 | 0.000 % | c | 21860 | 1551 4881 112590 | 8052 5576 331 | 0.000 % | c | 22619 | 1551 4881 112590 | 8857 6335 331 | 0.000 % | c | 23758 | 1551 4881 112590 | 9743 7474 331 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 11.2593 s Remaining CPU time: 168.741 s c =============================================================================== c | 24048 | 1551 4882 113114 | 5000 7764 331 | 0.000 % | c | 24148 | 1551 4882 113114 | 5500 3982 330 | 0.000 % | c | 24299 | 1551 4882 113114 | 6050 4133 330 | 0.000 % | c | 24525 | 1551 4882 113114 | 6655 4359 330 | 0.000 % | c | 24862 | 1551 4882 113114 | 7320 4696 330 | 0.000 % | c | 25368 | 1551 4882 113114 | 8052 5202 330 | 0.000 % | c | 26128 | 1551 4882 113114 | 8857 5962 330 | 0.000 % | c | 27269 | 1551 4882 113114 | 9743 7103 330 | 0.000 % | c | 28977 | 1551 4882 113114 | 10717 8811 330 | 0.000 % | c | 31540 | 1551 4882 113114 | 11789 5847 329 | 0.000 % | c | 35384 | 1551 4882 113114 | 12968 9691 329 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 18.3372 s Remaining CPU time: 161.663 s c =============================================================================== c | 39880 | 1551 4883 113638 | 5000 7529 329 | 0.000 % | c | 39981 | 1551 4883 113638 | 5500 3866 329 | 0.000 % | c | 40131 | 1551 4883 113638 | 6050 4016 329 | 0.000 % | c | 40356 | 1551 4883 113638 | 6655 4241 329 | 0.000 % | c | 40693 | 1551 4883 113638 | 7320 4578 329 | 0.000 % | c | 41199 | 1551 4883 113638 | 8052 5084 329 | 0.000 % | c | 41958 | 1551 4883 113638 | 8857 5843 329 | 0.000 % | c | 43098 | 1551 4883 113638 | 9743 6983 329 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 20.2659 s Remaining CPU time: 159.734 s c =============================================================================== c | 43982 | 1551 4884 114162 | 5000 7867 328 | 0.000 % | c | 44082 | 1551 4884 114162 | 5500 4034 328 | 0.000 % | c | 44232 | 1551 4884 114162 | 6050 4184 328 | 0.000 % | c | 44457 | 1551 4884 114162 | 6655 4409 328 | 0.000 % | c | 44795 | 1551 4884 114162 | 7320 4747 327 | 0.000 % | c | 45301 | 1551 4884 114162 | 8052 5253 327 | 0.000 % | c | 46060 | 1551 4884 114162 | 8857 6012 327 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 21.3588 s Remaining CPU time: 158.641 s c =============================================================================== c | 46462 | 1551 4885 114686 | 5000 6414 327 | 0.000 % | c | 46562 | 1551 4885 114686 | 5500 3307 327 | 0.000 % | c | 46712 | 1551 4885 114686 | 6050 3457 327 | 0.000 % | c | 46937 | 1551 4885 114686 | 6655 3682 327 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 21.7337 s Remaining CPU time: 158.266 s c =============================================================================== c | 47249 | 1551 4886 115210 | 5000 3994 326 | 0.000 % | c | 47349 | 1551 4886 115210 | 5500 4094 326 | 0.000 % | c | 47499 | 1551 4886 115210 | 6050 4244 326 | 0.000 % | c | 47724 | 1551 4886 115210 | 6655 4469 326 | 0.000 % | c | 48061 | 1551 4886 115210 | 7320 4806 326 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 22.2696 s Remaining CPU time: 157.73 s c =============================================================================== c | 48529 | 1551 4887 115734 | 5000 5274 326 | 0.000 % | c | 48629 | 1551 4887 115734 | 5500 2737 325 | 0.000 % | c | 48780 | 1551 4887 115734 | 6050 2888 325 | 0.000 % | c | 49005 | 1551 4887 115734 | 6655 3113 325 | 0.000 % | c | 49342 | 1551 4887 115734 | 7320 3450 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 22.7165 s Remaining CPU time: 157.283 s c =============================================================================== c | 49651 | 1551 4888 116258 | 5000 3759 324 | 0.000 % | c | 49751 | 1551 4888 116258 | 5500 3859 324 | 0.000 % | c | 49901 | 1551 4888 116258 | 6050 4009 324 | 0.000 % | c | 50126 | 1551 4888 116258 | 6655 4234 324 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 23.0285 s Remaining CPU time: 156.972 s c =============================================================================== c | 50407 | 1551 4889 116782 | 5000 4515 324 | 0.000 % | c | 50507 | 1551 4889 116782 | 5500 4615 324 | 0.000 % | c | 50657 | 1551 4889 116782 | 6050 4765 324 | 0.000 % | c | 50882 | 1551 4889 116782 | 6655 4990 324 | 0.000 % | c | 51220 | 1551 4889 116782 | 7320 5328 324 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 23.4434 s Remaining CPU time: 156.557 s c =============================================================================== c | 51369 | 1551 4890 117306 | 5000 5477 324 | 0.000 % | c | 51470 | 1551 4890 117306 | 5500 2840 322 | 0.000 % | c | 51621 | 1551 4890 117306 | 6050 2991 322 | 0.000 % | c | 51847 | 1551 4890 117306 | 6655 3217 322 | 0.000 % | c | 52184 | 1551 4890 117306 | 7320 3554 322 | 0.000 % | c | 52690 | 1551 4890 117306 | 8052 4060 322 | 0.000 % | c | 53449 | 1551 4890 117306 | 8857 4819 322 | 0.000 % | c | 54589 | 1551 4890 117306 | 9743 5959 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 25.2032 s Remaining CPU time: 154.797 s c =============================================================================== c | 55990 | 1551 4891 117830 | 5000 7360 322 | 0.000 % | c | 56090 | 1551 4891 117830 | 5500 3780 321 | 0.000 % | c | 56240 | 1551 4891 117830 | 6050 3930 321 | 0.000 % | c | 56466 | 1551 4891 117830 | 6655 4156 321 | 0.000 % | c | 56803 | 1551 4891 117830 | 7320 4493 321 | 0.000 % | c | 57309 | 1551 4891 117830 | 8052 4999 321 | 0.000 % | c | 58068 | 1551 4891 117830 | 8857 5758 321 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 26.093 s Remaining CPU time: 153.907 s c =============================================================================== c | 58146 | 1551 4892 118354 | 5000 5836 321 | 0.000 % | c | 58247 | 1551 4892 118354 | 5500 3019 320 | 0.000 % | c | 58398 | 1551 4892 118354 | 6050 3170 320 | 0.000 % | c | 58623 | 1551 4892 118354 | 6655 3395 320 | 0.000 % | c | 58960 | 1551 4892 118354 | 7320 3732 320 | 0.000 % | c | 59466 | 1551 4892 118354 | 8052 4238 320 | 0.000 % | c | 60225 | 1551 4892 118354 | 8857 4997 320 | 0.000 % | c | 61364 | 1551 4892 118354 | 9743 6136 319 | 0.000 % | c | 63072 | 1551 4892 118354 | 10717 7844 319 | 0.000 % | c | 65634 | 1551 4892 118354 | 11789 10406 319 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 29.9234 s Remaining CPU time: 150.077 s c =============================================================================== c | 69050 | 1551 4893 118878 | 5000 7744 319 | 0.000 % | c | 69151 | 1551 4893 118878 | 5500 3973 319 | 0.000 % | c | 69302 | 1551 4893 118878 | 6050 4124 319 | 0.000 % | c | 69527 | 1551 4893 118878 | 6655 4349 319 | 0.000 % | c | 69864 | 1551 4893 118878 | 7320 4686 319 | 0.000 % | c | 70370 | 1551 4893 118878 | 8052 5192 319 | 0.000 % | c | 71129 | 1551 4893 118878 | 8857 5951 318 | 0.000 % | c | 72268 | 1551 4893 118878 | 9743 7090 318 | 0.000 % | c | 73976 | 1551 4893 118878 | 10717 8798 318 | 0.000 % | c | 76539 | 1551 4893 118878 | 11789 5827 318 | 0.000 % | c | 80383 | 1551 4893 118878 | 12968 9671 318 | 0.000 % | c | 86149 | 1551 4893 118878 | 14265 8777 318 | 0.000 % | c | 94798 | 1551 4893 118878 | 15692 10113 318 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 40.5568 s Remaining CPU time: 139.443 s c =============================================================================== c | 95799 | 1551 4894 119402 | 5000 11114 318 | 0.000 % | c | 95899 | 1551 4894 119402 | 5500 2879 318 | 0.000 % | c | 96050 | 1551 4894 119402 | 6050 3030 318 | 0.000 % | c | 96275 | 1551 4894 119402 | 6655 3255 318 | 0.000 % | c | 96613 | 1551 4894 119402 | 7320 3593 318 | 0.000 % | c | 97119 | 1551 4894 119402 | 8052 4099 318 | 0.000 % | c | 97878 | 1551 4894 119402 | 8857 4858 318 | 0.000 % | c | 99017 | 1551 4894 119402 | 9743 5997 317 | 0.000 % | c | 100725 | 1551 4894 119402 | 10717 7705 317 | 0.000 % | c | 103287 | 1551 4894 119402 | 11789 10267 317 | 0.000 % | c | 107132 | 1551 4894 119402 | 12968 8039 317 | 0.000 % | c | 112898 | 1551 4894 119402 | 14265 7131 317 | 0.000 % | c | 121547 | 1551 4894 119402 | 15692 8477 317 | 0.000 % | c | 134521 | 1551 4894 119402 | 17261 13424 317 | 0.000 % | c | 153982 | 1551 4894 119402 | 18987 15257 318 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 68.2546 s Remaining CPU time: 111.745 s c =============================================================================== c | 156860 | 1551 4895 119926 | 5000 18135 318 | 0.000 % | c | 156960 | 1551 4895 119926 | 5500 4634 317 | 0.000 % | c | 157110 | 1551 4895 119926 | 6050 4784 317 | 0.000 % | c | 157335 | 1551 4895 119926 | 6655 5009 317 | 0.000 % | c | 157673 | 1551 4895 119926 | 7320 5347 317 | 0.000 % | c | 158179 | 1551 4895 119926 | 8052 5853 317 | 0.000 % | c | 158938 | 1551 4895 119926 | 8857 6612 317 | 0.000 % | c | 160077 | 1551 4895 119926 | 9743 7751 317 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 70.7492 s Remaining CPU time: 109.251 s c =============================================================================== c | 161277 | 1551 4896 120450 | 5000 8951 317 | 0.000 % | c | 161378 | 1551 4896 120450 | 5500 4577 316 | 0.000 % | c | 161528 | 1551 4896 120450 | 6050 4727 316 | 0.000 % | c | 161753 | 1551 4896 120450 | 6655 4952 316 | 0.000 % | c | 162091 | 1551 4896 120450 | 7320 5290 316 | 0.000 % | c | 162597 | 1551 4896 120450 | 8052 5796 316 | 0.000 % | c | 163356 | 1551 4896 120450 | 8857 6555 316 | 0.000 % | c | 164496 | 1551 4896 120450 | 9743 7695 315 | 0.000 % | c | 166204 | 1551 4896 120450 | 10717 9403 315 | 0.000 % | c | 168767 | 1551 4896 120450 | 11789 6434 315 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 74.2837 s Remaining CPU time: 105.716 s c =============================================================================== c | 170702 | 1551 4897 120974 | 5000 8369 315 | 0.000 % | c | 170803 | 1551 4897 120974 | 5500 4286 315 | 0.000 % | c | 170953 | 1551 4897 120974 | 6050 4436 315 | 0.000 % | c | 171178 | 1551 4897 120974 | 6655 4661 315 | 0.000 % | c | 171515 | 1551 4897 120974 | 7320 4998 315 | 0.000 % | c | 172022 | 1551 4897 120974 | 8052 5505 315 | 0.000 % | c | 172781 | 1551 4897 120974 | 8857 6264 314 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 75.3245 s Remaining CPU time: 104.675 s c =============================================================================== c | 173009 | 1551 4898 121498 | 5000 6492 314 | 0.000 % | c | 173109 | 1551 4898 121498 | 5500 3346 314 | 0.000 % | c | 173259 | 1551 4898 121498 | 6050 3496 314 | 0.000 % | c | 173484 | 1551 4898 121498 | 6655 3721 314 | 0.000 % | c | 173821 | 1551 4898 121498 | 7320 4058 314 | 0.000 % | c | 174327 | 1551 4898 121498 | 8052 4564 313 | 0.000 % | c | 175088 | 1551 4898 121498 | 8857 5325 313 | 0.000 % | c | 176227 | 1551 4898 121498 | 9743 6464 313 | 0.000 % | c | 177935 | 1551 4898 121498 | 10717 8172 313 | 0.000 % | c | 180498 | 1551 4898 121498 | 11789 10735 313 | 0.000 % | c | 184343 | 1551 4898 121498 | 12968 8503 313 | 0.000 % | c | 190109 | 1551 4898 121498 | 14265 7600 313 | 0.000 % | c | 198758 | 1551 4898 121498 | 15692 8914 313 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 86.1599 s Remaining CPU time: 93.8401 s c =============================================================================== c | 199924 | 1551 4899 122022 | 5000 10080 313 | 0.000 % | c | 200024 | 1551 4899 122022 | 5500 2620 312 | 0.000 % | c | 200174 | 1551 4899 122022 | 6050 2770 312 | 0.000 % | c | 200399 | 1551 4899 122022 | 6655 2995 312 | 0.000 % | c | 200736 | 1551 4899 122022 | 7320 3332 312 | 0.000 % | c | 201242 | 1551 4899 122022 | 8052 3838 312 | 0.000 % | c | 202001 | 1551 4899 122022 | 8857 4597 312 | 0.000 % | c | 203140 | 1551 4899 122022 | 9743 5736 312 | 0.000 % | c | 204848 | 1551 4899 122022 | 10717 7444 312 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 88.8605 s Remaining CPU time: 91.1395 s c =============================================================================== c | 206552 | 1551 4900 122546 | 5000 9148 312 | 0.000 % | c | 206652 | 1551 4900 122546 | 5500 4674 312 | 0.000 % | c | 206802 | 1551 4900 122546 | 6050 4824 312 | 0.000 % | c | 207027 | 1551 4900 122546 | 6655 5049 312 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 89.2394 s Remaining CPU time: 90.7606 s c =============================================================================== c | 207299 | 1551 4901 123070 | 5000 5321 312 | 0.000 % | c | 207399 | 1551 4901 123070 | 5500 2761 311 | 0.000 % | c | 207550 | 1551 4901 123070 | 6050 2912 311 | 0.000 % | c | 207776 | 1551 4901 123070 | 6655 3138 311 | 0.000 % | c | 208113 | 1551 4901 123070 | 7320 3475 311 | 0.000 % | c | 208619 | 1551 4901 123070 | 8052 3981 311 | 0.000 % | c | 209378 | 1551 4901 123070 | 8857 4740 311 | 0.000 % | c | 210518 | 1551 4901 123070 | 9743 5880 311 | 0.000 % | c | 212226 | 1551 4901 123070 | 10717 7588 310 | 0.000 % | c | 214788 | 1551 4901 123070 | 11789 10150 310 | 0.000 % | c | 218632 | 1551 4901 123070 | 12968 7933 310 | 0.000 % | c | 224399 | 1551 4901 123070 | 14265 7047 310 | 0.000 % | c | 233048 | 1551 4901 123070 | 15692 8401 310 | 0.000 % | c | 246023 | 1551 4901 123070 | 17261 13350 310 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 110.524 s Remaining CPU time: 69.4758 s c =============================================================================== c | 254702 | 1551 4902 123594 | 5000 13219 310 | 0.000 % | c | 254802 | 1551 4902 123594 | 5500 3405 310 | 0.000 % | c | 254952 | 1551 4902 123594 | 6050 3555 310 | 0.000 % | c | 255177 | 1551 4902 123594 | 6655 3780 310 | 0.000 % | c | 255514 | 1551 4902 123594 | 7320 4117 310 | 0.000 % | c | 256020 | 1551 4902 123594 | 8052 4623 310 | 0.000 % | c | 256779 | 1551 4902 123594 | 8857 5382 310 | 0.000 % | c | 257918 | 1551 4902 123594 | 9743 6521 309 | 0.000 % | c | 259626 | 1551 4902 123594 | 10717 8229 309 | 0.000 % | c | 262188 | 1551 4902 123594 | 11789 10791 309 | 0.000 % | c | 266032 | 1551 4902 123594 | 12968 8556 309 | 0.000 % | c | 271798 | 1551 4902 123594 | 14265 7666 309 | 0.000 % | c | 280447 | 1551 4902 123594 | 15692 9023 309 | 0.000 % |