c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4682 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1546 | c | Number Clauses: 4661 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1546 4661 9835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1546 4662 10362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1546 4663 10889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1546 4664 11416 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1546 4665 11943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1546 4666 12470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1546 4667 12997 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1546 4668 13524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1546 4669 14051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1546 4670 14578 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1546 4671 15105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1546 4672 15632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1546 4673 16159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1546 4674 16686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1546 4675 17213 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1546 4676 17740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1546 4677 18267 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1546 4678 18794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1546 4679 19321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1546 4680 19848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1546 4681 20375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1546 4682 20902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1546 4683 21429 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1546 4684 21956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1546 4685 22483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1546 4686 23010 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1546 4687 23537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1546 4688 24064 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1546 4689 24591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1546 4690 25118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1546 4691 25645 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1546 4692 26172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 1546 4693 26699 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 1546 4694 27226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 1546 4695 27753 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 1546 4696 28280 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 1546 4697 28807 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1546 4698 29334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 1546 4699 29861 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 1546 4700 30388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 1546 4701 30915 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1546 4702 31442 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 1546 4703 31969 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1546 4704 32496 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1546 4705 33023 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 1546 4706 33550 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 1546 4707 34077 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1 | 1546 4708 34604 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1 | 1546 4709 35131 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 1 | 1546 4710 35658 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 1 | 1546 4711 36185 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 1 | 1546 4712 36712 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 1 | 1546 4713 37239 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 1 | 1546 4714 37766 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 1 | 1546 4715 38293 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 1 | 1546 4716 38820 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 1 | 1546 4717 39347 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 1 | 1546 4718 39874 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 1 | 1546 4719 40401 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 1 | 1546 4720 40928 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 1 | 1546 4721 41455 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 1 | 1546 4722 41982 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 1 | 1546 4723 42509 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 1 | 1546 4724 43036 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 1 | 1546 4725 43563 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 1 | 1546 4726 44090 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 1 | 1546 4727 44617 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 1 | 1546 4728 45144 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 1 | 1546 4729 45671 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 1 | 1546 4730 46198 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 1 | 1546 4731 46725 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 1 | 1546 4732 47252 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 1 | 1546 4733 47779 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 1 | 1546 4734 48306 | 5000 1 489 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 4 | 1546 4735 48833 | 5000 4 463 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 5 | 1546 4736 49360 | 5000 5 461 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 10 | 1546 4737 49887 | 5000 10 457 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 50 | 1546 4738 50414 | 5000 50 453 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 50 | 1546 4739 50941 | 5000 50 453 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 55 | 1546 4740 51468 | 5000 55 452 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 59 | 1546 4741 51995 | 5000 59 452 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 67 | 1546 4742 52522 | 5000 67 452 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 77 | 1546 4743 53049 | 5000 77 451 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 82 | 1546 4744 53576 | 5000 82 450 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 91 | 1546 4745 54103 | 5000 91 450 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 100 | 1546 4746 54630 | 5000 100 449 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 109 | 1546 4747 55157 | 5000 109 449 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 115 | 1546 4748 55684 | 5000 115 448 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 124 | 1546 4749 56211 | 5000 124 448 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 130 | 1546 4750 56738 | 5000 130 447 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 135 | 1546 4751 57265 | 5000 135 447 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 143 | 1546 4752 57792 | 5000 143 446 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 154 | 1546 4753 58319 | 5000 154 446 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 159 | 1546 4754 58846 | 5000 159 445 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 182 | 1546 4755 59373 | 5000 182 444 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 195 | 1546 4756 59900 | 5000 195 443 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.621905 s Remaining CPU time: 179.378 s c =============================================================================== c | 207 | 1546 4757 60427 | 5000 207 443 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 207 | 1546 4758 60954 | 5000 207 443 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 212 | 1546 4759 61481 | 5000 212 442 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 218 | 1546 4760 62008 | 5000 218 442 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 237 | 1546 4761 62535 | 5000 237 441 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 237 | 1546 4762 63062 | 5000 237 441 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 248 | 1546 4763 63589 | 5000 248 440 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.72089 s Remaining CPU time: 179.279 s c =============================================================================== c | 252 | 1546 4764 64116 | 5000 252 440 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 258 | 1546 4765 64643 | 5000 258 440 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 262 | 1546 4766 65170 | 5000 262 439 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 266 | 1546 4767 65697 | 5000 266 439 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 273 | 1546 4768 66224 | 5000 273 439 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 278 | 1546 4769 66751 | 5000 278 438 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 283 | 1546 4770 67278 | 5000 283 438 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 347 | 1546 4771 67805 | 5000 347 435 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s c =============================================================================== c | 360 | 1546 4772 68332 | 5000 360 434 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 362 | 1546 4773 68859 | 5000 362 434 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 371 | 1546 4774 69386 | 5000 371 433 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 382 | 1546 4775 69913 | 5000 382 433 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 392 | 1546 4776 70440 | 5000 392 432 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 416 | 1546 4777 70967 | 5000 416 431 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 425 | 1546 4778 71494 | 5000 425 431 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 434 | 1546 4779 72021 | 5000 434 430 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 463 | 1546 4780 72548 | 5000 463 429 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s c =============================================================================== c | 471 | 1546 4781 73075 | 5000 471 429 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 477 | 1546 4782 73602 | 5000 477 428 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 1.06384 s Remaining CPU time: 178.936 s c =============================================================================== c | 484 | 1546 4783 74129 | 5000 484 428 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 495 | 1546 4784 74656 | 5000 495 428 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 505 | 1546 4785 75183 | 5000 505 426 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 510 | 1546 4786 75710 | 5000 510 426 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 520 | 1546 4787 76237 | 5000 520 426 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 1.16782 s Remaining CPU time: 178.832 s c =============================================================================== c | 550 | 1546 4788 76764 | 5000 550 424 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 557 | 1546 4789 77291 | 5000 557 424 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 568 | 1546 4790 77818 | 5000 568 424 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 590 | 1546 4791 78345 | 5000 590 423 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 599 | 1546 4792 78872 | 5000 599 422 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.27081 s Remaining CPU time: 178.729 s c =============================================================================== c | 609 | 1546 4793 79399 | 5000 609 422 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 614 | 1546 4794 79926 | 5000 614 422 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 619 | 1546 4795 80453 | 5000 619 421 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 637 | 1546 4796 80980 | 5000 637 421 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s c =============================================================================== c | 657 | 1546 4797 81507 | 5000 657 420 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.38479 s Remaining CPU time: 178.615 s c =============================================================================== c | 685 | 1546 4798 82034 | 5000 685 419 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s c =============================================================================== c | 690 | 1546 4799 82561 | 5000 690 418 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 739 | 1546 4800 83088 | 5000 739 417 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.47078 s Remaining CPU time: 178.529 s c =============================================================================== c | 785 | 1546 4801 83615 | 5000 785 415 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.49277 s Remaining CPU time: 178.507 s c =============================================================================== c | 795 | 1546 4802 84142 | 5000 795 415 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.51577 s Remaining CPU time: 178.484 s c =============================================================================== c | 805 | 1546 4803 84669 | 5000 805 414 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.53877 s Remaining CPU time: 178.461 s c =============================================================================== c | 823 | 1546 4804 85196 | 5000 823 414 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 837 | 1546 4805 85723 | 5000 837 413 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.58376 s Remaining CPU time: 178.416 s c =============================================================================== c | 838 | 1546 4806 86250 | 5000 838 413 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 857 | 1546 4807 86777 | 5000 857 412 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s c =============================================================================== c | 865 | 1546 4808 87304 | 5000 865 412 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 867 | 1546 4809 87831 | 5000 867 412 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.68074 s Remaining CPU time: 178.319 s c =============================================================================== c | 886 | 1546 4810 88358 | 5000 886 411 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.70374 s Remaining CPU time: 178.296 s c =============================================================================== c | 891 | 1546 4811 88885 | 5000 891 411 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 899 | 1546 4812 89412 | 5000 899 411 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s c =============================================================================== c | 907 | 1546 4813 89939 | 5000 907 411 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.77973 s Remaining CPU time: 178.22 s c =============================================================================== c | 939 | 1546 4814 90466 | 5000 939 409 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.80073 s Remaining CPU time: 178.199 s c =============================================================================== c | 940 | 1546 4815 90993 | 5000 940 409 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.82972 s Remaining CPU time: 178.17 s c =============================================================================== c | 962 | 1546 4816 91520 | 5000 962 409 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.85372 s Remaining CPU time: 178.146 s c =============================================================================== c | 965 | 1546 4817 92047 | 5000 965 408 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.87971 s Remaining CPU time: 178.12 s c =============================================================================== c | 973 | 1546 4818 92574 | 5000 973 408 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 1006 | 1546 4819 93101 | 5000 1006 407 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.93571 s Remaining CPU time: 178.064 s c =============================================================================== c | 1019 | 1546 4820 93628 | 5000 1019 406 | 0.000 % | c | 1120 | 1546 4820 93628 | 5500 1120 403 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 2.01969 s Remaining CPU time: 177.98 s c =============================================================================== c | 1174 | 1546 4821 94155 | 5000 1174 401 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 2.05269 s Remaining CPU time: 177.947 s c =============================================================================== c | 1217 | 1546 4822 94682 | 5000 1217 400 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 1235 | 1546 4823 95209 | 5000 1235 399 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 1251 | 1546 4824 95736 | 5000 1251 399 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 2.13967 s Remaining CPU time: 177.86 s c =============================================================================== c | 1273 | 1546 4825 96263 | 5000 1273 398 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 2.16367 s Remaining CPU time: 177.836 s c =============================================================================== c | 1274 | 1546 4826 96790 | 5000 1274 398 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.19567 s Remaining CPU time: 177.804 s c =============================================================================== c | 1314 | 1546 4827 97317 | 5000 1314 397 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.22166 s Remaining CPU time: 177.778 s c =============================================================================== c | 1319 | 1546 4828 97844 | 5000 1319 397 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.25166 s Remaining CPU time: 177.748 s c =============================================================================== c | 1337 | 1546 4829 98371 | 5000 1337 397 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 2.27765 s Remaining CPU time: 177.722 s c =============================================================================== c | 1338 | 1546 4830 98898 | 5000 1338 397 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.30565 s Remaining CPU time: 177.694 s c =============================================================================== c | 1348 | 1546 4831 99425 | 5000 1348 396 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 1367 | 1546 4832 99952 | 5000 1367 396 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.36264 s Remaining CPU time: 177.637 s c =============================================================================== c | 1375 | 1546 4833 100479 | 5000 1375 396 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.39963 s Remaining CPU time: 177.6 s c =============================================================================== c | 1420 | 1546 4834 101006 | 5000 1420 394 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 2.42763 s Remaining CPU time: 177.572 s c =============================================================================== c | 1426 | 1546 4835 101533 | 5000 1426 394 | 0.000 % | c | 1526 | 1546 4835 101533 | 5500 1526 392 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 2.49762 s Remaining CPU time: 177.502 s c =============================================================================== c | 1526 | 1546 4836 102060 | 5000 1526 392 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 2.54561 s Remaining CPU time: 177.454 s c =============================================================================== c | 1615 | 1546 4837 102587 | 5000 1615 389 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 2.58961 s Remaining CPU time: 177.41 s c =============================================================================== c | 1687 | 1546 4838 103114 | 5000 1687 388 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s c =============================================================================== c | 1719 | 1546 4839 103641 | 5000 1719 387 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 2.6576 s Remaining CPU time: 177.342 s c =============================================================================== c | 1734 | 1546 4840 104168 | 5000 1734 387 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 2.69359 s Remaining CPU time: 177.306 s c =============================================================================== c | 1767 | 1546 4841 104695 | 5000 1767 386 | 0.000 % | c | 1868 | 1546 4841 104695 | 5500 1868 384 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 2.78958 s Remaining CPU time: 177.21 s c =============================================================================== c | 1960 | 1546 4842 105222 | 5000 1960 382 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 1975 | 1546 4843 105749 | 5000 1975 382 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.85757 s Remaining CPU time: 177.142 s c =============================================================================== c | 2013 | 1546 4844 106276 | 5000 2013 381 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.88556 s Remaining CPU time: 177.114 s c =============================================================================== c | 2014 | 1546 4845 106803 | 5000 2014 381 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.92855 s Remaining CPU time: 177.071 s c =============================================================================== c | 2071 | 1546 4846 107330 | 5000 2071 380 | 0.000 % | c | 2171 | 1546 4846 107330 | 5500 2171 379 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 3.02954 s Remaining CPU time: 176.97 s c =============================================================================== c | 2247 | 1546 4847 107857 | 5000 2247 377 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 3.08253 s Remaining CPU time: 176.917 s c =============================================================================== c | 2326 | 1546 4848 108384 | 5000 2326 376 | 0.000 % | c | 2426 | 1546 4848 108384 | 5500 2426 375 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 3.16852 s Remaining CPU time: 176.831 s c =============================================================================== c | 2440 | 1546 4849 108911 | 5000 2440 374 | 0.000 % | c | 2540 | 1546 4849 108911 | 5500 2540 373 | 0.000 % | c | 2691 | 1546 4849 108911 | 6050 2691 371 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 3.34949 s Remaining CPU time: 176.651 s c =============================================================================== c | 2791 | 1546 4850 109438 | 5000 2791 370 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 3.38948 s Remaining CPU time: 176.611 s c =============================================================================== c | 2834 | 1546 4851 109965 | 5000 2834 370 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 3.43448 s Remaining CPU time: 176.566 s c =============================================================================== c | 2886 | 1546 4852 110492 | 5000 2886 369 | 0.000 % | c | 2986 | 1546 4852 110492 | 5500 2986 368 | 0.000 % | c | 3136 | 1546 4852 110492 | 6050 3136 367 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 3.61445 s Remaining CPU time: 176.386 s c =============================================================================== c | 3209 | 1546 4853 111019 | 5000 3209 366 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 3.65344 s Remaining CPU time: 176.347 s c =============================================================================== c | 3250 | 1546 4854 111546 | 5000 3250 365 | 0.000 % | c | 3352 | 1546 4854 111546 | 5500 3352 365 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 3.78342 s Remaining CPU time: 176.217 s c =============================================================================== c | 3445 | 1546 4855 112073 | 5000 3445 364 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 3.83142 s Remaining CPU time: 176.169 s c =============================================================================== c | 3502 | 1546 4856 112600 | 5000 3502 363 | 0.000 % | c | 3602 | 1546 4856 112600 | 5500 3602 362 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 3.9704 s Remaining CPU time: 176.03 s c =============================================================================== c | 3743 | 1546 4857 113127 | 5000 3743 361 | 0.000 % | c | 3844 | 1546 4857 113127 | 5500 3844 361 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 4.07838 s Remaining CPU time: 175.922 s c =============================================================================== c | 3884 | 1546 4858 113654 | 5000 3884 360 | 0.000 % | c | 3984 | 1546 4858 113654 | 5500 3984 359 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 4.17237 s Remaining CPU time: 175.828 s c =============================================================================== c | 4003 | 1546 4859 114181 | 5000 4003 359 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 4.22636 s Remaining CPU time: 175.774 s c =============================================================================== c | 4075 | 1546 4860 114708 | 5000 4075 359 | 0.000 % | c | 4175 | 1546 4860 114708 | 5500 4175 358 | 0.000 % | c | 4325 | 1546 4860 114708 | 6050 4325 357 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 4.42533 s Remaining CPU time: 175.575 s c =============================================================================== c | 4450 | 1546 4861 115235 | 5000 4450 356 | 0.000 % | c | 4550 | 1546 4861 115235 | 5500 4550 356 | 0.000 % | c | 4701 | 1546 4861 115235 | 6050 4701 355 | 0.000 % | c | 4926 | 1546 4861 115235 | 6655 4926 354 | 0.000 % | c | 5263 | 1546 4861 115235 | 7320 5263 352 | 0.000 % | c | 5769 | 1546 4861 115235 | 8052 5769 350 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 5.14722 s Remaining CPU time: 174.853 s c =============================================================================== c | 6027 | 1546 4862 115762 | 5000 6027 349 | 0.000 % | c | 6127 | 1546 4862 115762 | 5500 3114 330 | 0.000 % | c | 6277 | 1546 4862 115762 | 6050 3264 330 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 5.40218 s Remaining CPU time: 174.598 s c =============================================================================== c | 6482 | 1546 4863 116289 | 5000 3469 330 | 0.000 % | c | 6582 | 1546 4863 116289 | 5500 3569 330 | 0.000 % | c | 6732 | 1546 4863 116289 | 6050 3719 329 | 0.000 % | c | 6957 | 1546 4863 116289 | 6655 3944 329 | 0.000 % | c | 7295 | 1546 4863 116289 | 7320 4282 329 | 0.000 % | c | 7801 | 1546 4863 116289 | 8052 4788 329 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 6.17806 s Remaining CPU time: 173.822 s c =============================================================================== c | 8091 | 1546 4864 116816 | 5000 5078 329 | 0.000 % | c | 8191 | 1546 4864 116816 | 5500 2639 326 | 0.000 % | c | 8341 | 1546 4864 116816 | 6050 2789 326 | 0.000 % | c | 8567 | 1546 4864 116816 | 6655 3015 326 | 0.000 % | c | 8904 | 1546 4864 116816 | 7320 3352 326 | 0.000 % | c | 9410 | 1546 4864 116816 | 8052 3858 326 | 0.000 % | c | 10169 | 1546 4864 116816 | 8857 4617 326 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 7.45687 s Remaining CPU time: 172.543 s c =============================================================================== c | 11135 | 1546 4865 117343 | 5000 5583 326 | 0.000 % | c | 11235 | 1546 4865 117343 | 5500 2892 325 | 0.000 % | c | 11386 | 1546 4865 117343 | 6050 3043 325 | 0.000 % | c | 11612 | 1546 4865 117343 | 6655 3269 325 | 0.000 % | c | 11949 | 1546 4865 117343 | 7320 3606 325 | 0.000 % | c | 12455 | 1546 4865 117343 | 8052 4112 325 | 0.000 % | c | 13215 | 1546 4865 117343 | 8857 4872 325 | 0.000 % | c | 14354 | 1546 4865 117343 | 9743 6011 325 | 0.000 % | c | 16062 | 1546 4865 117343 | 10717 7719 325 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 10.2264 s Remaining CPU time: 169.774 s c =============================================================================== c | 17795 | 1546 4866 117870 | 5000 9452 325 | 0.000 % | c | 17895 | 1546 4866 117870 | 5500 4826 325 | 0.000 % | c | 18045 | 1546 4866 117870 | 6050 4976 325 | 0.000 % | c | 18270 | 1546 4866 117870 | 6655 5201 325 | 0.000 % | c | 18608 | 1546 4866 117870 | 7320 5539 324 | 0.000 % | c | 19114 | 1546 4866 117870 | 8052 6045 324 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 11.1323 s Remaining CPU time: 168.868 s c =============================================================================== c | 19538 | 1546 4867 118397 | 5000 6469 324 | 0.000 % | c | 19638 | 1546 4867 118397 | 5500 3335 324 | 0.000 % | c | 19788 | 1546 4867 118397 | 6050 3485 324 | 0.000 % | c | 20013 | 1546 4867 118397 | 6655 3710 324 | 0.000 % | c | 20351 | 1546 4867 118397 | 7320 4048 323 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 11.5852 s Remaining CPU time: 168.415 s c =============================================================================== c | 20433 | 1546 4868 118924 | 5000 4130 323 | 0.000 % | c | 20533 | 1546 4868 118924 | 5500 4230 323 | 0.000 % | c | 20683 | 1546 4868 118924 | 6050 4380 323 | 0.000 % | c | 20909 | 1546 4868 118924 | 6655 4606 323 | 0.000 % | c | 21247 | 1546 4868 118924 | 7320 4944 323 | 0.000 % | c | 21753 | 1546 4868 118924 | 8052 5450 323 | 0.000 % | c | 22512 | 1546 4868 118924 | 8857 6209 323 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 12.6751 s Remaining CPU time: 167.325 s c =============================================================================== c | 22967 | 1546 4869 119451 | 5000 6664 323 | 0.000 % | c | 23067 | 1546 4869 119451 | 5500 3432 321 | 0.000 % | c | 23218 | 1546 4869 119451 | 6050 3583 321 | 0.000 % | c | 23443 | 1546 4869 119451 | 6655 3808 321 | 0.000 % | c | 23780 | 1546 4869 119451 | 7320 4145 321 | 0.000 % | c | 24287 | 1546 4869 119451 | 8052 4652 321 | 0.000 % | c | 25046 | 1546 4869 119451 | 8857 5411 321 | 0.000 % | c | 26185 | 1546 4869 119451 | 9743 6550 321 | 0.000 % | c | 27893 | 1546 4869 119451 | 10717 8258 321 | 0.000 % | c | 30455 | 1546 4869 119451 | 11789 10820 321 | 0.000 % | c | 34300 | 1546 4869 119451 | 12968 8594 321 | 0.000 % | c | 40066 | 1546 4869 119451 | 14265 7687 321 | 0.000 % | c | 48716 | 1546 4869 119451 | 15692 9004 321 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 28.4767 s Remaining CPU time: 151.523 s c =============================================================================== c | 57884 | 1546 4870 119978 | 5000 10155 321 | 0.000 % | c | 57984 | 1546 4870 119978 | 5500 2639 321 | 0.000 % | c | 58134 | 1546 4870 119978 | 6050 2789 321 | 0.000 % | c | 58360 | 1546 4870 119978 | 6655 3015 321 | 0.000 % | c | 58697 | 1546 4870 119978 | 7320 3352 321 | 0.000 % | c | 59203 | 1546 4870 119978 | 8052 3858 321 | 0.000 % | c | 59963 | 1546 4870 119978 | 8857 4618 321 | 0.000 % | c | 61103 | 1546 4870 119978 | 9743 5758 320 | 0.000 % | c | 62811 | 1546 4870 119978 | 10717 7466 320 | 0.000 % | c | 65373 | 1546 4870 119978 | 11789 10028 320 | 0.000 % | c | 69218 | 1546 4870 119978 | 12968 7800 320 | 0.000 % | c | 74985 | 1546 4870 119978 | 14265 6888 320 | 0.000 % | c | 83635 | 1546 4870 119978 | 15692 8227 320 | 0.000 % | c | 96610 | 1546 4870 119978 | 17261 13183 320 | 0.000 % | c | 116071 | 1546 4870 119978 | 18987 15023 320 | 0.000 % | c | 145264 | 1546 4870 119978 | 20886 15196 320 | 0.000 % | c | 189057 | 1546 4870 119978 | 22974 15927 320 | 0.000 % | c | 254741 | 1546 4870 119978 | 25272 17878 320 | 0.000 % |