c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4707 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1551 | c | Number Clauses: 4695 | 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 4695 9907 | 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 4696 10430 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1551 4697 10953 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1551 4698 11476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1551 4699 11999 | 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 | 1551 4700 12522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1551 4701 13045 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1551 4702 13568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1551 4703 14091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1551 4704 14614 | 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 4705 15137 | 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 4706 15660 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1551 4707 16183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1551 4708 16706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1551 4709 17229 | 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 4710 17752 | 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 4711 18275 | 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 4712 18798 | 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 4713 19321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1551 4714 19844 | 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 4715 20367 | 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 4716 20890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1551 4717 21413 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1551 4718 21936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1551 4719 22459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 1551 4720 22982 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 1551 4721 23505 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 1551 4722 24028 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 1551 4723 24551 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1551 4724 25074 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 1551 4725 25597 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1551 4726 26120 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 1551 4727 26643 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1551 4728 27166 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1551 4729 27689 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 1551 4730 28212 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 1551 4731 28735 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 1551 4732 29258 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1551 4733 29781 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 1551 4734 30304 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 1 | 1551 4735 30827 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 1551 4736 31350 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 1 | 1551 4737 31873 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1551 4738 32396 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 1 | 1551 4739 32919 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 1 | 1551 4740 33442 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 1 | 1551 4741 33965 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 1 | 1551 4742 34488 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 1551 4743 35011 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1 | 1551 4744 35534 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1 | 1551 4745 36057 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 1 | 1551 4746 36580 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 1 | 1551 4747 37103 | 5000 1 501 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 2 | 1551 4748 37626 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 2 | 1551 4749 38149 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 2 | 1551 4750 38672 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 2 | 1551 4751 39195 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 3 | 1551 4752 39718 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 3 | 1551 4753 40241 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 3 | 1551 4754 40764 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 3 | 1551 4755 41287 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 3 | 1551 4756 41810 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 3 | 1551 4757 42333 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 3 | 1551 4758 42856 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 3 | 1551 4759 43379 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 3 | 1551 4760 43902 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 3 | 1551 4761 44425 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 3 | 1551 4762 44948 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 3 | 1551 4763 45471 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 3 | 1551 4764 45994 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 3 | 1551 4765 46517 | 5000 3 480 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 4 | 1551 4766 47040 | 5000 4 361 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 4 | 1551 4767 47563 | 5000 4 361 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 4 | 1551 4768 48086 | 5000 4 361 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 4 | 1551 4769 48609 | 5000 4 361 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 5 | 1551 4770 49132 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 5 | 1551 4771 49655 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 5 | 1551 4772 50178 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 5 | 1551 4773 50701 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 5 | 1551 4774 51224 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 5 | 1551 4775 51747 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 5 | 1551 4776 52270 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 5 | 1551 4777 52793 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 5 | 1551 4778 53316 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 5 | 1551 4779 53839 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 5 | 1551 4780 54362 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 5 | 1551 4781 54885 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 5 | 1551 4782 55408 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 5 | 1551 4783 55931 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 5 | 1551 4784 56454 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 5 | 1551 4785 56977 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 5 | 1551 4786 57500 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 5 | 1551 4787 58023 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 5 | 1551 4788 58546 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 5 | 1551 4789 59069 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 5 | 1551 4790 59592 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 5 | 1551 4791 60115 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 5 | 1551 4792 60638 | 5000 5 379 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 6 | 1551 4793 61161 | 5000 6 387 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 7 | 1551 4794 61684 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 7 | 1551 4795 62207 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 7 | 1551 4796 62730 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 9 | 1551 4797 63253 | 5000 9 399 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 9 | 1551 4798 63776 | 5000 9 399 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 9 | 1551 4799 64299 | 5000 9 399 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 11 | 1551 4800 64822 | 5000 11 403 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 11 | 1551 4801 65345 | 5000 11 403 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 11 | 1551 4802 65868 | 5000 11 403 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 12 | 1551 4803 66391 | 5000 12 404 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 12 | 1551 4804 66914 | 5000 12 404 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 17 | 1551 4805 67437 | 5000 17 407 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 20 | 1551 4806 67960 | 5000 20 408 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 23 | 1551 4807 68483 | 5000 23 409 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s c =============================================================================== c | 25 | 1551 4808 69006 | 5000 25 409 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 28 | 1551 4809 69529 | 5000 28 409 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 30 | 1551 4810 70052 | 5000 30 409 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 33 | 1551 4811 70575 | 5000 33 397 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 34 | 1551 4812 71098 | 5000 34 397 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 64 | 1551 4813 71621 | 5000 64 402 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 65 | 1551 4814 72144 | 5000 65 402 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 67 | 1551 4815 72667 | 5000 67 402 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 69 | 1551 4816 73190 | 5000 69 402 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 71 | 1551 4817 73713 | 5000 71 402 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 74 | 1551 4818 74236 | 5000 74 402 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 76 | 1551 4819 74759 | 5000 76 402 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 78 | 1551 4820 75282 | 5000 78 402 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 80 | 1551 4821 75805 | 5000 80 402 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s c =============================================================================== c | 82 | 1551 4822 76328 | 5000 82 402 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 83 | 1551 4823 76851 | 5000 83 401 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 98 | 1551 4824 77374 | 5000 98 401 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 98 | 1551 4825 77897 | 5000 98 401 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 98 | 1551 4826 78420 | 5000 98 401 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 101 | 1551 4827 78943 | 5000 101 397 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s c =============================================================================== c | 103 | 1551 4828 79466 | 5000 103 396 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 104 | 1551 4829 79989 | 5000 104 396 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 106 | 1551 4830 80512 | 5000 106 396 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s c =============================================================================== c | 106 | 1551 4831 81035 | 5000 106 396 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s c =============================================================================== c | 107 | 1551 4832 81558 | 5000 107 396 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 108 | 1551 4833 82081 | 5000 108 396 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.05384 s Remaining CPU time: 178.946 s c =============================================================================== c | 109 | 1551 4834 82604 | 5000 109 396 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 121 | 1551 4835 83127 | 5000 121 395 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 130 | 1551 4836 83650 | 5000 130 394 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 134 | 1551 4837 84173 | 5000 134 394 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.12283 s Remaining CPU time: 178.877 s c =============================================================================== c | 138 | 1551 4838 84696 | 5000 138 393 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 141 | 1551 4839 85219 | 5000 141 393 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.15482 s Remaining CPU time: 178.845 s c =============================================================================== c | 145 | 1551 4840 85742 | 5000 145 393 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.17182 s Remaining CPU time: 178.828 s c =============================================================================== c | 147 | 1551 4841 86265 | 5000 147 393 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 171 | 1551 4842 86788 | 5000 171 388 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.20982 s Remaining CPU time: 178.79 s c =============================================================================== c | 171 | 1551 4843 87311 | 5000 171 388 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 189 | 1551 4844 87834 | 5000 189 387 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.24681 s Remaining CPU time: 178.753 s c =============================================================================== c | 191 | 1551 4845 88357 | 5000 191 387 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 192 | 1551 4846 88880 | 5000 192 387 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s c =============================================================================== c | 194 | 1551 4847 89403 | 5000 194 387 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.3008 s Remaining CPU time: 178.699 s c =============================================================================== c | 207 | 1551 4848 89926 | 5000 207 386 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.3198 s Remaining CPU time: 178.68 s c =============================================================================== c | 210 | 1551 4849 90449 | 5000 210 386 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 211 | 1551 4850 90972 | 5000 211 386 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 214 | 1551 4851 91495 | 5000 214 385 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.38079 s Remaining CPU time: 178.619 s c =============================================================================== c | 242 | 1551 4852 92018 | 5000 242 383 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 244 | 1551 4853 92541 | 5000 244 383 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.41878 s Remaining CPU time: 178.581 s c =============================================================================== c | 261 | 1551 4854 93064 | 5000 261 382 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.44178 s Remaining CPU time: 178.558 s c =============================================================================== c | 280 | 1551 4855 93587 | 5000 280 381 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.45978 s Remaining CPU time: 178.54 s c =============================================================================== c | 280 | 1551 4856 94110 | 5000 280 381 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 280 | 1551 4857 94633 | 5000 280 381 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.49677 s Remaining CPU time: 178.503 s c =============================================================================== c | 280 | 1551 4858 95156 | 5000 280 381 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.51677 s Remaining CPU time: 178.483 s c =============================================================================== c | 281 | 1551 4859 95679 | 5000 281 381 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 284 | 1551 4860 96202 | 5000 284 381 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.55476 s Remaining CPU time: 178.445 s c =============================================================================== c | 287 | 1551 4861 96725 | 5000 287 380 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.57376 s Remaining CPU time: 178.426 s c =============================================================================== c | 289 | 1551 4862 97248 | 5000 289 380 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 291 | 1551 4863 97771 | 5000 291 380 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.61076 s Remaining CPU time: 178.389 s c =============================================================================== c | 294 | 1551 4864 98294 | 5000 294 380 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s c =============================================================================== c | 301 | 1551 4865 98817 | 5000 301 379 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.65275 s Remaining CPU time: 178.347 s c =============================================================================== c | 303 | 1551 4866 99340 | 5000 303 378 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 305 | 1551 4867 99863 | 5000 305 378 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 308 | 1551 4868 100386 | 5000 308 377 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 310 | 1551 4869 100909 | 5000 310 377 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.73474 s Remaining CPU time: 178.265 s c =============================================================================== c | 313 | 1551 4870 101432 | 5000 313 377 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 313 | 1551 4871 101955 | 5000 313 377 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.77773 s Remaining CPU time: 178.222 s c =============================================================================== c | 331 | 1551 4872 102478 | 5000 331 375 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 333 | 1551 4873 103001 | 5000 333 375 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.81972 s Remaining CPU time: 178.18 s c =============================================================================== c | 336 | 1551 4874 103524 | 5000 336 375 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 340 | 1551 4875 104047 | 5000 340 375 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.86472 s Remaining CPU time: 178.135 s c =============================================================================== c | 343 | 1551 4876 104570 | 5000 343 374 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s c =============================================================================== c | 346 | 1551 4877 105093 | 5000 346 374 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.90771 s Remaining CPU time: 178.092 s c =============================================================================== c | 348 | 1551 4878 105616 | 5000 348 374 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.92871 s Remaining CPU time: 178.071 s c =============================================================================== c | 352 | 1551 4879 106139 | 5000 352 373 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.9497 s Remaining CPU time: 178.05 s c =============================================================================== c | 353 | 1551 4880 106662 | 5000 353 373 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s c =============================================================================== c | 357 | 1551 4881 107185 | 5000 357 373 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 358 | 1551 4882 107708 | 5000 358 373 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.01669 s Remaining CPU time: 177.983 s c =============================================================================== c | 359 | 1551 4883 108231 | 5000 359 373 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.03769 s Remaining CPU time: 177.962 s c =============================================================================== c | 361 | 1551 4884 108754 | 5000 361 373 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.06069 s Remaining CPU time: 177.939 s c =============================================================================== c | 363 | 1551 4885 109277 | 5000 363 372 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 365 | 1551 4886 109800 | 5000 365 372 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 388 | 1551 4887 110323 | 5000 388 370 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 388 | 1551 4888 110846 | 5000 388 370 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.15567 s Remaining CPU time: 177.844 s c =============================================================================== c | 389 | 1551 4889 111369 | 5000 389 370 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.17767 s Remaining CPU time: 177.822 s c =============================================================================== c | 389 | 1551 4890 111892 | 5000 389 370 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.20167 s Remaining CPU time: 177.798 s c =============================================================================== c | 393 | 1551 4891 112415 | 5000 393 369 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.22766 s Remaining CPU time: 177.772 s c =============================================================================== c | 408 | 1551 4892 112938 | 5000 408 368 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.25866 s Remaining CPU time: 177.741 s c =============================================================================== c | 435 | 1551 4893 113461 | 5000 435 365 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 480 | 1551 4894 113984 | 5000 480 361 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.31965 s Remaining CPU time: 177.68 s c =============================================================================== c | 486 | 1551 4895 114507 | 5000 486 361 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.34464 s Remaining CPU time: 177.655 s c =============================================================================== c | 490 | 1551 4896 115030 | 5000 490 360 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.38764 s Remaining CPU time: 177.612 s c =============================================================================== c | 560 | 1551 4897 115553 | 5000 560 355 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.41563 s Remaining CPU time: 177.584 s c =============================================================================== c | 572 | 1551 4898 116076 | 5000 572 354 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.46062 s Remaining CPU time: 177.539 s c =============================================================================== c | 634 | 1551 4899 116599 | 5000 634 351 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 655 | 1551 4900 117122 | 5000 655 350 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s c =============================================================================== c | 695 | 1551 4901 117645 | 5000 695 348 | 0.000 % | c | 796 | 1551 4901 117645 | 5500 796 345 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 2.6046 s Remaining CPU time: 177.395 s c =============================================================================== c | 813 | 1551 4902 118168 | 5000 813 344 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 2.6376 s Remaining CPU time: 177.362 s c =============================================================================== c | 836 | 1551 4903 118691 | 5000 836 343 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 2.66559 s Remaining CPU time: 177.334 s c =============================================================================== c | 850 | 1551 4904 119214 | 5000 850 343 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 2.69159 s Remaining CPU time: 177.308 s c =============================================================================== c | 857 | 1551 4905 119737 | 5000 857 342 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 876 | 1551 4906 120260 | 5000 876 342 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 2.74958 s Remaining CPU time: 177.25 s c =============================================================================== c | 892 | 1551 4907 120783 | 5000 892 341 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.77858 s Remaining CPU time: 177.221 s c =============================================================================== c | 907 | 1551 4908 121306 | 5000 907 341 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 2.80657 s Remaining CPU time: 177.193 s c =============================================================================== c | 919 | 1551 4909 121829 | 5000 919 340 | 0.000 % | c | 1019 | 1551 4909 121829 | 5500 1019 337 | 0.000 % | c | 1169 | 1551 4909 121829 | 6050 1169 334 | 0.000 % | c | 1394 | 1551 4909 121829 | 6655 1394 330 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.12652 s Remaining CPU time: 176.873 s c =============================================================================== c | 1681 | 1551 4910 122352 | 5000 1681 327 | 0.000 % | c | 1782 | 1551 4910 122352 | 5500 1782 326 | 0.000 % | c | 1933 | 1551 4910 122352 | 6050 1933 324 | 0.000 % | c | 2158 | 1551 4910 122352 | 6655 2158 323 | 0.000 % | c | 2496 | 1551 4910 122352 | 7320 2496 321 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.69744 s Remaining CPU time: 176.303 s c =============================================================================== c | 2962 | 1551 4911 122875 | 5000 2962 319 | 0.000 % | c | 3062 | 1551 4911 122875 | 5500 3062 319 | 0.000 % | c | 3212 | 1551 4911 122875 | 6050 3212 319 | 0.000 % | c | 3437 | 1551 4911 122875 | 6655 3437 318 | 0.000 % | c | 3774 | 1551 4911 122875 | 7320 3774 317 | 0.000 % | c | 4280 | 1551 4911 122875 | 8052 4280 316 | 0.000 % | c | 5039 | 1551 4911 122875 | 8857 5039 315 | 0.000 % | c | 6178 | 1551 4911 122875 | 9743 6178 314 | 0.000 % | c | 7886 | 1551 4911 122875 | 10717 7886 313 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 6.36503 s Remaining CPU time: 173.635 s c =============================================================================== c | 9979 | 1551 4912 123398 | 5000 9979 312 | 0.000 % | c | 10079 | 1551 4912 123398 | 5500 5090 308 | 0.000 % | c | 10229 | 1551 4912 123398 | 6050 5240 308 | 0.000 % | c | 10454 | 1551 4912 123398 | 6655 5465 308 | 0.000 % | c | 10793 | 1551 4912 123398 | 7320 5804 308 | 0.000 % | c | 11299 | 1551 4912 123398 | 8052 6310 308 | 0.000 % | c | 12058 | 1551 4912 123398 | 8857 7069 308 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 7.61684 s Remaining CPU time: 172.383 s c =============================================================================== c | 13027 | 1551 4913 123921 | 5000 8038 308 | 0.000 % | c | 13127 | 1551 4913 123921 | 5500 4119 308 | 0.000 % | c | 13277 | 1551 4913 123921 | 6050 4269 308 | 0.000 % | c | 13502 | 1551 4913 123921 | 6655 4494 308 | 0.000 % | c | 13839 | 1551 4913 123921 | 7320 4831 308 | 0.000 % | c | 14345 | 1551 4913 123921 | 8052 5337 308 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 8.5527 s Remaining CPU time: 171.447 s c =============================================================================== c | 14931 | 1551 4914 124444 | 5000 5923 308 | 0.000 % | c | 15032 | 1551 4914 124444 | 5500 3063 307 | 0.000 % | c | 15182 | 1551 4914 124444 | 6050 3213 307 | 0.000 % | c | 15407 | 1551 4914 124444 | 6655 3438 307 | 0.000 % | c | 15744 | 1551 4914 124444 | 7320 3775 307 | 0.000 % | c | 16250 | 1551 4914 124444 | 8052 4281 307 | 0.000 % | c | 17009 | 1551 4914 124444 | 8857 5040 306 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 9.95749 s Remaining CPU time: 170.043 s c =============================================================================== c | 18108 | 1551 4915 124967 | 5000 6139 306 | 0.000 % | c | 18208 | 1551 4915 124967 | 5500 3170 305 | 0.000 % | c | 18358 | 1551 4915 124967 | 6050 3320 305 | 0.000 % | c | 18583 | 1551 4915 124967 | 6655 3545 305 | 0.000 % | c | 18921 | 1551 4915 124967 | 7320 3883 305 | 0.000 % | c | 19427 | 1551 4915 124967 | 8052 4389 305 | 0.000 % | c | 20186 | 1551 4915 124967 | 8857 5148 305 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 11.2213 s Remaining CPU time: 168.779 s c =============================================================================== c | 21156 | 1551 4916 125490 | 5000 6118 305 | 0.000 % | c | 21256 | 1551 4916 125490 | 5500 3159 304 | 0.000 % | c | 21406 | 1551 4916 125490 | 6050 3309 304 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 11.4613 s Remaining CPU time: 168.539 s c =============================================================================== c | 21586 | 1551 4917 126013 | 5000 3489 304 | 0.000 % | c | 21686 | 1551 4917 126013 | 5500 3589 304 | 0.000 % | c | 21836 | 1551 4917 126013 | 6050 3739 304 | 0.000 % | c | 22061 | 1551 4917 126013 | 6655 3964 304 | 0.000 % | c | 22398 | 1551 4917 126013 | 7320 4301 304 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 11.9182 s Remaining CPU time: 168.082 s c =============================================================================== c | 22654 | 1551 4918 126536 | 5000 4557 303 | 0.000 % | c | 22754 | 1551 4918 126536 | 5500 4657 303 | 0.000 % | c | 22904 | 1551 4918 126536 | 6050 4807 303 | 0.000 % | c | 23129 | 1551 4918 126536 | 6655 5032 303 | 0.000 % | c | 23467 | 1551 4918 126536 | 7320 5370 303 | 0.000 % | c | 23973 | 1551 4918 126536 | 8052 5876 303 | 0.000 % | c | 24733 | 1551 4918 126536 | 8857 6636 303 | 0.000 % | c | 25872 | 1551 4918 126536 | 9743 7775 303 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 13.7499 s Remaining CPU time: 166.25 s c =============================================================================== c | 27547 | 1551 4919 127059 | 5000 9450 303 | 0.000 % | c | 27647 | 1551 4919 127059 | 5500 4825 301 | 0.000 % | c | 27797 | 1551 4919 127059 | 6050 4975 301 | 0.000 % | c | 28022 | 1551 4919 127059 | 6655 5200 301 | 0.000 % | c | 28359 | 1551 4919 127059 | 7320 5537 301 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 14.3608 s Remaining CPU time: 165.639 s c =============================================================================== c | 28794 | 1551 4920 127582 | 5000 5972 301 | 0.000 % | c | 28894 | 1551 4920 127582 | 5500 3086 301 | 0.000 % | c | 29044 | 1551 4920 127582 | 6050 3236 301 | 0.000 % | c | 29269 | 1551 4920 127582 | 6655 3461 300 | 0.000 % | c | 29606 | 1551 4920 127582 | 7320 3798 300 | 0.000 % | c | 30112 | 1551 4920 127582 | 8052 4304 300 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 15.0657 s Remaining CPU time: 164.934 s c =============================================================================== c | 30378 | 1551 4921 128105 | 5000 4570 300 | 0.000 % | c | 30479 | 1551 4921 128105 | 5500 4671 300 | 0.000 % | c | 30629 | 1551 4921 128105 | 6050 4821 300 | 0.000 % | c | 30854 | 1551 4921 128105 | 6655 5046 300 | 0.000 % | c | 31192 | 1551 4921 128105 | 7320 5384 300 | 0.000 % | c | 31698 | 1551 4921 128105 | 8052 5890 300 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 15.7586 s Remaining CPU time: 164.241 s c =============================================================================== c | 32168 | 1551 4922 128628 | 5000 6360 300 | 0.000 % | c | 32269 | 1551 4922 128628 | 5500 3281 298 | 0.000 % | c | 32419 | 1551 4922 128628 | 6050 3431 298 | 0.000 % | c | 32645 | 1551 4922 128628 | 6655 3657 298 | 0.000 % | c | 32982 | 1551 4922 128628 | 7320 3994 298 | 0.000 % | c | 33489 | 1551 4922 128628 | 8052 4501 298 | 0.000 % | c | 34248 | 1551 4922 128628 | 8857 5260 298 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 16.7335 s Remaining CPU time: 163.267 s c =============================================================================== c | 34527 | 1551 4923 129151 | 5000 5539 298 | 0.000 % | c | 34627 | 1551 4923 129151 | 5500 2870 297 | 0.000 % | c | 34778 | 1551 4923 129151 | 6050 3021 297 | 0.000 % | c | 35004 | 1551 4923 129151 | 6655 3247 297 | 0.000 % | c | 35342 | 1551 4923 129151 | 7320 3585 297 | 0.000 % | c | 35848 | 1551 4923 129151 | 8052 4091 297 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 17.4633 s Remaining CPU time: 162.537 s c =============================================================================== c | 36048 | 1551 4924 129674 | 5000 4291 297 | 0.000 % | c | 36149 | 1551 4924 129674 | 5500 4392 297 | 0.000 % | c | 36299 | 1551 4924 129674 | 6050 4542 297 | 0.000 % | c | 36525 | 1551 4924 129674 | 6655 4768 297 | 0.000 % | c | 36863 | 1551 4924 129674 | 7320 5106 297 | 0.000 % | c | 37370 | 1551 4924 129674 | 8052 5613 297 | 0.000 % | c | 38129 | 1551 4924 129674 | 8857 6372 297 | 0.000 % | c | 39268 | 1551 4924 129674 | 9743 7511 296 | 0.000 % | c | 40977 | 1551 4924 129674 | 10717 9220 296 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 19.41 s Remaining CPU time: 160.59 s c =============================================================================== c | 41210 | 1551 4925 130197 | 5000 9453 296 | 0.000 % | c | 41310 | 1551 4925 130197 | 5500 4827 295 | 0.000 % | c | 41460 | 1551 4925 130197 | 6050 4977 295 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 19.633 s Remaining CPU time: 160.367 s c =============================================================================== c | 41552 | 1551 4926 130720 | 5000 5069 295 | 0.000 % | c | 41653 | 1551 4926 130720 | 5500 2636 295 | 0.000 % | c | 41803 | 1551 4926 130720 | 6050 2786 295 | 0.000 % | c | 42028 | 1551 4926 130720 | 6655 3011 295 | 0.000 % | c | 42366 | 1551 4926 130720 | 7320 3349 295 | 0.000 % | c | 42872 | 1551 4926 130720 | 8052 3855 295 | 0.000 % | c | 43631 | 1551 4926 130720 | 8857 4614 294 | 0.000 % | c | 44770 | 1551 4926 130720 | 9743 5753 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 21.3358 s Remaining CPU time: 158.664 s c =============================================================================== c | 46106 | 1551 4927 131243 | 5000 7089 294 | 0.000 % | c | 46206 | 1551 4927 131243 | 5500 3645 293 | 0.000 % | c | 46356 | 1551 4927 131243 | 6050 3795 293 | 0.000 % | c | 46581 | 1551 4927 131243 | 6655 4020 293 | 0.000 % | c | 46918 | 1551 4927 131243 | 7320 4357 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 21.8387 s Remaining CPU time: 158.161 s c =============================================================================== c | 47293 | 1551 4928 131766 | 5000 4732 293 | 0.000 % | c | 47393 | 1551 4928 131766 | 5500 4832 293 | 0.000 % | c | 47544 | 1551 4928 131766 | 6050 4983 293 | 0.000 % | c | 47771 | 1551 4928 131766 | 6655 5210 293 | 0.000 % | c | 48108 | 1551 4928 131766 | 7320 5547 293 | 0.000 % | c | 48614 | 1551 4928 131766 | 8052 6053 293 | 0.000 % | c | 49373 | 1551 4928 131766 | 8857 6812 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 22.8745 s Remaining CPU time: 157.125 s c =============================================================================== c | 49853 | 1551 4929 132289 | 5000 7292 293 | 0.000 % | c | 49953 | 1551 4929 132289 | 5500 3746 292 | 0.000 % | c | 50104 | 1551 4929 132289 | 6050 3897 291 | 0.000 % | c | 50330 | 1551 4929 132289 | 6655 4123 291 | 0.000 % | c | 50667 | 1551 4929 132289 | 7320 4460 291 | 0.000 % | c | 51173 | 1551 4929 132289 | 8052 4966 291 | 0.000 % | c | 51933 | 1551 4929 132289 | 8857 5726 291 | 0.000 % | c | 53072 | 1551 4929 132289 | 9743 6865 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 24.8202 s Remaining CPU time: 155.18 s c =============================================================================== c | 54525 | 1551 4930 132812 | 5000 8318 291 | 0.000 % | c | 54625 | 1551 4930 132812 | 5500 4259 291 | 0.000 % | c | 54775 | 1551 4930 132812 | 6050 4409 291 | 0.000 % | c | 55000 | 1551 4930 132812 | 6655 4634 291 | 0.000 % | c | 55337 | 1551 4930 132812 | 7320 4971 290 | 0.000 % | c | 55844 | 1551 4930 132812 | 8052 5478 290 | 0.000 % | c | 56603 | 1551 4930 132812 | 8857 6237 290 | 0.000 % | c | 57743 | 1551 4930 132812 | 9743 7377 290 | 0.000 % | c | 59452 | 1551 4930 132812 | 10717 9086 290 | 0.000 % | c | 62015 | 1551 4930 132812 | 11789 6122 290 | 0.000 % | c | 65859 | 1551 4930 132812 | 12968 9966 290 | 0.000 % | c | 71625 | 1551 4930 132812 | 14265 9078 290 | 0.000 % | c | 80274 | 1551 4930 132812 | 15692 10440 290 | 0.000 % | c | 93248 | 1551 4930 132812 | 17261 15410 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 42.6945 s Remaining CPU time: 137.305 s c =============================================================================== c | 93296 | 1551 4931 133335 | 5000 15458 290 | 0.000 % | c | 93396 | 1551 4931 133335 | 5500 3965 290 | 0.000 % | c | 93547 | 1551 4931 133335 | 6050 4116 290 | 0.000 % | c | 93772 | 1551 4931 133335 | 6655 4341 290 | 0.000 % | c | 94110 | 1551 4931 133335 | 7320 4679 290 | 0.000 % | c | 94616 | 1551 4931 133335 | 8052 5185 290 | 0.000 % | c | 95375 | 1551 4931 133335 | 8857 5944 290 | 0.000 % | c | 96515 | 1551 4931 133335 | 9743 7084 289 | 0.000 % | c | 98223 | 1551 4931 133335 | 10717 8792 289 | 0.000 % | c | 100785 | 1551 4931 133335 | 11789 5827 289 | 0.000 % | c | 104630 | 1551 4931 133335 | 12968 9672 289 | 0.000 % | c | 110396 | 1551 4931 133335 | 14265 8795 289 | 0.000 % | c | 119045 | 1551 4931 133335 | 15692 10164 289 | 0.000 % | c | 132019 | 1551 4931 133335 | 17261 15127 289 | 0.000 % | c | 151480 | 1551 4931 133335 | 18987 16973 289 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 74.7626 s Remaining CPU time: 105.237 s c =============================================================================== c | 153428 | 1551 4932 133858 | 5000 18921 289 | 0.000 % | c | 153529 | 1551 4932 133858 | 5500 4832 289 | 0.000 % | c | 153679 | 1551 4932 133858 | 6050 4982 289 | 0.000 % | c | 153904 | 1551 4932 133858 | 6655 5207 289 | 0.000 % | c | 154242 | 1551 4932 133858 | 7320 5545 289 | 0.000 % | c | 154749 | 1551 4932 133858 | 8052 6052 289 | 0.000 % | c | 155508 | 1551 4932 133858 | 8857 6811 289 | 0.000 % | c | 156647 | 1551 4932 133858 | 9743 7950 289 | 0.000 % | c | 158355 | 1551 4932 133858 | 10717 9658 289 | 0.000 % | c | 160917 | 1551 4932 133858 | 11789 6705 288 | 0.000 % | c | 164761 | 1551 4932 133858 | 12968 10549 288 | 0.000 % | c | 170527 | 1551 4932 133858 | 14265 9658 288 | 0.000 % | c | 179176 | 1551 4932 133858 | 15692 11021 288 | 0.000 % | c | 192150 | 1551 4932 133858 | 17261 15983 288 | 0.000 % | c | 211611 | 1551 4932 133858 | 18987 9052 288 | 0.000 % | c | 240803 | 1551 4932 133858 | 20886 18923 288 | 0.000 % | c | 284592 | 1551 4932 133858 | 22974 19903 288 | 0.000 % |