c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4684 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1547 | c | Number Clauses: 4667 | 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 | 1547 4667 9850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1547 4668 10374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1547 4669 10898 | 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 | 1547 4670 11422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1547 4671 11946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1547 4672 12470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1547 4673 12994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1547 4674 13518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1547 4675 14042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1547 4676 14566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1547 4677 15090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1547 4678 15614 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1547 4679 16138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1547 4680 16662 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1547 4681 17186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1547 4682 17710 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1547 4683 18234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1547 4684 18758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1547 4685 19282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1547 4686 19806 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1547 4687 20330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1547 4688 20854 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1547 4689 21378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1547 4690 21902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1547 4691 22426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1547 4692 22950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1547 4693 23474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1547 4694 23998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1547 4695 24522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1547 4696 25046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1547 4697 25570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1547 4698 26094 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 1547 4699 26618 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 1547 4700 27142 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 1547 4701 27666 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 1547 4702 28190 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1547 4703 28714 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 1547 4704 29238 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 1 | 1547 4705 29762 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 1 | 1547 4706 30286 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 1547 4707 30810 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1547 4708 31334 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1547 4709 31858 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1547 4710 32382 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 1 | 1547 4711 32906 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1547 4712 33430 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 1547 4713 33954 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 1 | 1547 4714 34478 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 1 | 1547 4715 35002 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1 | 1547 4716 35526 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1 | 1547 4717 36050 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 1 | 1547 4718 36574 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 1 | 1547 4719 37098 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1 | 1547 4720 37622 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 1 | 1547 4721 38146 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1 | 1547 4722 38670 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 1 | 1547 4723 39194 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 1 | 1547 4724 39718 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 1 | 1547 4725 40242 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 1 | 1547 4726 40766 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 1 | 1547 4727 41290 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 1 | 1547 4728 41814 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 1 | 1547 4729 42338 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 1 | 1547 4730 42862 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 1 | 1547 4731 43386 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 1 | 1547 4732 43910 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 1 | 1547 4733 44434 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 1 | 1547 4734 44958 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 1 | 1547 4735 45482 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 1 | 1547 4736 46006 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 1 | 1547 4737 46530 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 1 | 1547 4738 47054 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 1 | 1547 4739 47578 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 1 | 1547 4740 48102 | 5000 1 495 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 2 | 1547 4741 48626 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 2 | 1547 4742 49150 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 2 | 1547 4743 49674 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 2 | 1547 4744 50198 | 5000 2 473 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 3 | 1547 4745 50722 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 3 | 1547 4746 51246 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 3 | 1547 4747 51770 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 3 | 1547 4748 52294 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 3 | 1547 4749 52818 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 3 | 1547 4750 53342 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 3 | 1547 4751 53866 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 3 | 1547 4752 54390 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 3 | 1547 4753 54914 | 5000 3 465 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 4 | 1547 4754 55438 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 4 | 1547 4755 55962 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 4 | 1547 4756 56486 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 4 | 1547 4757 57010 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 4 | 1547 4758 57534 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 4 | 1547 4759 58058 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 4 | 1547 4760 58582 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 4 | 1547 4761 59106 | 5000 4 458 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 5 | 1547 4762 59630 | 5000 5 453 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 5 | 1547 4763 60154 | 5000 5 453 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 5 | 1547 4764 60678 | 5000 5 453 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 5 | 1547 4765 61202 | 5000 5 453 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 5 | 1547 4766 61726 | 5000 5 453 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 5 | 1547 4767 62250 | 5000 5 453 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 6 | 1547 4768 62774 | 5000 6 448 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 6 | 1547 4769 63298 | 5000 6 448 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 6 | 1547 4770 63822 | 5000 6 448 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 6 | 1547 4771 64346 | 5000 6 448 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 12 | 1547 4772 64870 | 5000 12 434 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 12 | 1547 4773 65394 | 5000 12 434 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 12 | 1547 4774 65918 | 5000 12 434 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 14 | 1547 4775 66442 | 5000 14 432 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 15 | 1547 4776 66966 | 5000 15 431 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 17 | 1547 4777 67490 | 5000 17 429 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 18 | 1547 4778 68014 | 5000 18 428 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 31 | 1547 4779 68538 | 5000 31 409 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 40 | 1547 4780 69062 | 5000 40 410 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 82 | 1547 4781 69586 | 5000 82 411 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 83 | 1547 4782 70110 | 5000 83 411 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 92 | 1547 4783 70634 | 5000 92 411 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 102 | 1547 4784 71158 | 5000 102 411 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 110 | 1547 4785 71682 | 5000 110 411 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 112 | 1547 4786 72206 | 5000 112 411 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 120 | 1547 4787 72730 | 5000 120 410 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s c =============================================================================== c | 128 | 1547 4788 73254 | 5000 128 410 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 137 | 1547 4789 73778 | 5000 137 410 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 148 | 1547 4790 74302 | 5000 148 409 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.869867 s Remaining CPU time: 179.13 s c =============================================================================== c | 157 | 1547 4791 74826 | 5000 157 409 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 166 | 1547 4792 75350 | 5000 166 408 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 174 | 1547 4793 75874 | 5000 174 408 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 191 | 1547 4794 76398 | 5000 191 407 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 191 | 1547 4795 76922 | 5000 191 407 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 216 | 1547 4796 77446 | 5000 216 406 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 225 | 1547 4797 77970 | 5000 225 405 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 234 | 1547 4798 78494 | 5000 234 405 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 252 | 1547 4799 79018 | 5000 252 404 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 253 | 1547 4800 79542 | 5000 253 404 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 263 | 1547 4801 80066 | 5000 263 402 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 271 | 1547 4802 80590 | 5000 271 402 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 274 | 1547 4803 81114 | 5000 274 402 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 282 | 1547 4804 81638 | 5000 282 401 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 292 | 1547 4805 82162 | 5000 292 401 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 301 | 1547 4806 82686 | 5000 301 401 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 301 | 1547 4807 83210 | 5000 301 401 | 0.000 % | c | 401 | 1547 4807 83210 | 5500 401 397 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.18382 s Remaining CPU time: 178.816 s c =============================================================================== c | 401 | 1547 4808 83734 | 5000 401 397 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 409 | 1547 4809 84258 | 5000 409 397 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 418 | 1547 4810 84782 | 5000 418 396 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.23781 s Remaining CPU time: 178.762 s c =============================================================================== c | 427 | 1547 4811 85306 | 5000 427 396 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 440 | 1547 4812 85830 | 5000 440 396 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 486 | 1547 4813 86354 | 5000 486 394 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.2988 s Remaining CPU time: 178.701 s c =============================================================================== c | 487 | 1547 4814 86878 | 5000 487 394 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 496 | 1547 4815 87402 | 5000 496 394 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 505 | 1547 4816 87926 | 5000 505 394 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 513 | 1547 4817 88450 | 5000 513 393 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 553 | 1547 4818 88974 | 5000 553 392 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 566 | 1547 4819 89498 | 5000 566 392 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 566 | 1547 4820 90022 | 5000 566 392 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.44078 s Remaining CPU time: 178.559 s c =============================================================================== c | 576 | 1547 4821 90546 | 5000 576 391 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 587 | 1547 4822 91070 | 5000 587 391 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.49277 s Remaining CPU time: 178.507 s c =============================================================================== c | 644 | 1547 4823 91594 | 5000 644 389 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 710 | 1547 4824 92118 | 5000 710 387 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.55676 s Remaining CPU time: 178.443 s c =============================================================================== c | 775 | 1547 4825 92642 | 5000 775 386 | 0.000 % | c | 875 | 1547 4825 92642 | 5500 875 384 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.62575 s Remaining CPU time: 178.374 s c =============================================================================== c | 938 | 1547 4826 93166 | 5000 938 383 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 1001 | 1547 4827 93690 | 5000 1001 382 | 0.000 % | c | 1101 | 1547 4827 93690 | 5500 1101 380 | 0.000 % | c | 1251 | 1547 4827 93690 | 6050 1251 378 | 0.000 % | c | 1476 | 1547 4827 93690 | 6655 1476 377 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 1544 | 1547 4828 94214 | 5000 1544 376 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.87472 s Remaining CPU time: 178.125 s c =============================================================================== c | 1611 | 1547 4829 94738 | 5000 1611 376 | 0.000 % | c | 1711 | 1547 4829 94738 | 5500 1711 375 | 0.000 % | c | 1862 | 1547 4829 94738 | 6050 1862 374 | 0.000 % | c | 2088 | 1547 4829 94738 | 6655 2088 373 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.10068 s Remaining CPU time: 177.899 s c =============================================================================== c | 2248 | 1547 4830 95262 | 5000 2248 372 | 0.000 % | c | 2348 | 1547 4830 95262 | 5500 2348 372 | 0.000 % | c | 2498 | 1547 4830 95262 | 6050 2498 371 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s c =============================================================================== c | 2601 | 1547 4831 95786 | 5000 2601 371 | 0.000 % | c | 2701 | 1547 4831 95786 | 5500 2701 371 | 0.000 % | c | 2851 | 1547 4831 95786 | 6050 2851 370 | 0.000 % | c | 3076 | 1547 4831 95786 | 6655 3076 370 | 0.000 % | c | 3413 | 1547 4831 95786 | 7320 3413 369 | 0.000 % | c | 3919 | 1547 4831 95786 | 8052 3919 368 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.78758 s Remaining CPU time: 177.212 s c =============================================================================== c | 4225 | 1547 4832 96310 | 5000 4225 368 | 0.000 % | c | 4325 | 1547 4832 96310 | 5500 4325 367 | 0.000 % | c | 4476 | 1547 4832 96310 | 6050 4476 367 | 0.000 % | c | 4701 | 1547 4832 96310 | 6655 4701 367 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 3.05154 s Remaining CPU time: 176.948 s c =============================================================================== c | 4824 | 1547 4833 96834 | 5000 4824 367 | 0.000 % | c | 4924 | 1547 4833 96834 | 5500 4924 367 | 0.000 % | c | 5074 | 1547 4833 96834 | 6050 5074 366 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 3.19651 s Remaining CPU time: 176.803 s c =============================================================================== c | 5180 | 1547 4834 97358 | 5000 5180 366 | 0.000 % | c | 5280 | 1547 4834 97358 | 5500 2690 361 | 0.000 % | c | 5430 | 1547 4834 97358 | 6050 2840 361 | 0.000 % | c | 5656 | 1547 4834 97358 | 6655 3066 361 | 0.000 % | c | 5994 | 1547 4834 97358 | 7320 3404 361 | 0.000 % | c | 6500 | 1547 4834 97358 | 8052 3910 360 | 0.000 % | c | 7260 | 1547 4834 97358 | 8857 4670 360 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 3.97439 s Remaining CPU time: 176.026 s c =============================================================================== c | 7554 | 1547 4835 97882 | 5000 4964 360 | 0.000 % | c | 7656 | 1547 4835 97882 | 5500 5066 360 | 0.000 % | c | 7806 | 1547 4835 97882 | 6050 5216 360 | 0.000 % | c | 8031 | 1547 4835 97882 | 6655 5441 360 | 0.000 % | c | 8368 | 1547 4835 97882 | 7320 5778 360 | 0.000 % | c | 8875 | 1547 4835 97882 | 8052 6285 360 | 0.000 % | c | 9634 | 1547 4835 97882 | 8857 7044 359 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 4.81827 s Remaining CPU time: 175.182 s c =============================================================================== c | 9929 | 1547 4836 98406 | 5000 7339 359 | 0.000 % | c | 10029 | 1547 4836 98406 | 5500 3770 358 | 0.000 % | c | 10180 | 1547 4836 98406 | 6050 3921 358 | 0.000 % | c | 10405 | 1547 4836 98406 | 6655 4146 358 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 5.06223 s Remaining CPU time: 174.938 s c =============================================================================== c | 10449 | 1547 4837 98930 | 5000 4190 358 | 0.000 % | c | 10549 | 1547 4837 98930 | 5500 4290 358 | 0.000 % | c | 10699 | 1547 4837 98930 | 6050 4440 358 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 5.21221 s Remaining CPU time: 174.788 s c =============================================================================== c | 10822 | 1547 4838 99454 | 5000 4563 358 | 0.000 % | c | 10922 | 1547 4838 99454 | 5500 4663 358 | 0.000 % | c | 11073 | 1547 4838 99454 | 6050 4814 357 | 0.000 % | c | 11298 | 1547 4838 99454 | 6655 5039 357 | 0.000 % | c | 11635 | 1547 4838 99454 | 7320 5376 357 | 0.000 % | c | 12142 | 1547 4838 99454 | 8052 5883 357 | 0.000 % | c | 12901 | 1547 4838 99454 | 8857 6642 357 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 6.16506 s Remaining CPU time: 173.835 s c =============================================================================== c | 13514 | 1547 4839 99978 | 5000 7255 357 | 0.000 % | c | 13614 | 1547 4839 99978 | 5500 3728 355 | 0.000 % | c | 13764 | 1547 4839 99978 | 6050 3878 355 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 6.35303 s Remaining CPU time: 173.647 s c =============================================================================== c | 13841 | 1547 4840 100502 | 5000 3955 355 | 0.000 % | c | 13941 | 1547 4840 100502 | 5500 4055 355 | 0.000 % | c | 14091 | 1547 4840 100502 | 6050 4205 355 | 0.000 % | c | 14316 | 1547 4840 100502 | 6655 4430 355 | 0.000 % | c | 14653 | 1547 4840 100502 | 7320 4767 355 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 6.71798 s Remaining CPU time: 173.282 s c =============================================================================== c | 14870 | 1547 4841 101026 | 5000 4984 355 | 0.000 % | c | 14971 | 1547 4841 101026 | 5500 5085 354 | 0.000 % | c | 15122 | 1547 4841 101026 | 6050 5236 354 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 6.90095 s Remaining CPU time: 173.099 s c =============================================================================== c | 15339 | 1547 4842 101550 | 5000 5453 354 | 0.000 % | c | 15439 | 1547 4842 101550 | 5500 2827 353 | 0.000 % | c | 15590 | 1547 4842 101550 | 6050 2978 353 | 0.000 % | c | 15815 | 1547 4842 101550 | 6655 3203 353 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 7.2179 s Remaining CPU time: 172.782 s c =============================================================================== c | 16006 | 1547 4843 102074 | 5000 3394 353 | 0.000 % | c | 16106 | 1547 4843 102074 | 5500 3494 353 | 0.000 % | c | 16256 | 1547 4843 102074 | 6050 3644 352 | 0.000 % | c | 16481 | 1547 4843 102074 | 6655 3869 352 | 0.000 % | c | 16818 | 1547 4843 102074 | 7320 4206 352 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 7.65784 s Remaining CPU time: 172.342 s c =============================================================================== c | 17196 | 1547 4844 102598 | 5000 4584 352 | 0.000 % | c | 17296 | 1547 4844 102598 | 5500 4684 352 | 0.000 % | c | 17447 | 1547 4844 102598 | 6050 4835 352 | 0.000 % | c | 17673 | 1547 4844 102598 | 6655 5061 352 | 0.000 % | c | 18011 | 1547 4844 102598 | 7320 5399 351 | 0.000 % | c | 18517 | 1547 4844 102598 | 8052 5905 351 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 8.36673 s Remaining CPU time: 171.633 s c =============================================================================== c | 19125 | 1547 4845 103122 | 5000 6513 351 | 0.000 % | c | 19225 | 1547 4845 103122 | 5500 3357 349 | 0.000 % | c | 19375 | 1547 4845 103122 | 6050 3507 349 | 0.000 % | c | 19600 | 1547 4845 103122 | 6655 3732 349 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 8.65468 s Remaining CPU time: 171.345 s c =============================================================================== c | 19844 | 1547 4846 103646 | 5000 3976 349 | 0.000 % | c | 19944 | 1547 4846 103646 | 5500 4076 349 | 0.000 % | c | 20094 | 1547 4846 103646 | 6050 4226 349 | 0.000 % | c | 20319 | 1547 4846 103646 | 6655 4451 349 | 0.000 % | c | 20656 | 1547 4846 103646 | 7320 4788 348 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 9.06162 s Remaining CPU time: 170.938 s c =============================================================================== c | 20850 | 1547 4847 104170 | 5000 4982 348 | 0.000 % | c | 20950 | 1547 4847 104170 | 5500 5082 348 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 9.16461 s Remaining CPU time: 170.835 s c =============================================================================== c | 21034 | 1547 4848 104694 | 5000 5166 348 | 0.000 % | c | 21135 | 1547 4848 104694 | 5500 2684 347 | 0.000 % | c | 21285 | 1547 4848 104694 | 6050 2834 347 | 0.000 % | c | 21510 | 1547 4848 104694 | 6655 3059 347 | 0.000 % | c | 21847 | 1547 4848 104694 | 7320 3396 347 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 9.67953 s Remaining CPU time: 170.32 s c =============================================================================== c | 22295 | 1547 4849 105218 | 5000 3844 346 | 0.000 % | c | 22395 | 1547 4849 105218 | 5500 3944 346 | 0.000 % | c | 22545 | 1547 4849 105218 | 6050 4094 346 | 0.000 % | c | 22770 | 1547 4849 105218 | 6655 4319 346 | 0.000 % | c | 23107 | 1547 4849 105218 | 7320 4656 346 | 0.000 % | c | 23613 | 1547 4849 105218 | 8052 5162 346 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 10.5194 s Remaining CPU time: 169.481 s c =============================================================================== c | 24241 | 1547 4850 105742 | 5000 5790 346 | 0.000 % | c | 24342 | 1547 4850 105742 | 5500 2996 344 | 0.000 % | c | 24492 | 1547 4850 105742 | 6050 3146 344 | 0.000 % | c | 24717 | 1547 4850 105742 | 6655 3371 344 | 0.000 % | c | 25054 | 1547 4850 105742 | 7320 3708 344 | 0.000 % | c | 25560 | 1547 4850 105742 | 8052 4214 344 | 0.000 % | c | 26319 | 1547 4850 105742 | 8857 4973 343 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 11.5762 s Remaining CPU time: 168.424 s c =============================================================================== c | 27249 | 1547 4851 106266 | 5000 5903 343 | 0.000 % | c | 27349 | 1547 4851 106266 | 5500 3052 342 | 0.000 % | c | 27499 | 1547 4851 106266 | 6050 3202 342 | 0.000 % | c | 27724 | 1547 4851 106266 | 6655 3427 342 | 0.000 % | c | 28061 | 1547 4851 106266 | 7320 3764 342 | 0.000 % | c | 28567 | 1547 4851 106266 | 8052 4270 342 | 0.000 % | c | 29326 | 1547 4851 106266 | 8857 5029 342 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 12.5791 s Remaining CPU time: 167.421 s c =============================================================================== c | 30376 | 1547 4852 106790 | 5000 6079 342 | 0.000 % | c | 30477 | 1547 4852 106790 | 5500 3141 341 | 0.000 % | c | 30627 | 1547 4852 106790 | 6050 3291 341 | 0.000 % | c | 30852 | 1547 4852 106790 | 6655 3516 341 | 0.000 % | c | 31189 | 1547 4852 106790 | 7320 3853 341 | 0.000 % | c | 31696 | 1547 4852 106790 | 8052 4360 341 | 0.000 % | c | 32456 | 1547 4852 106790 | 8857 5120 341 | 0.000 % | c | 33595 | 1547 4852 106790 | 9743 6259 341 | 0.000 % | c | 35303 | 1547 4852 106790 | 10717 7967 341 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 15.4447 s Remaining CPU time: 164.555 s c =============================================================================== c | 37615 | 1547 4853 107314 | 5000 10279 341 | 0.000 % | c | 37715 | 1547 4853 107314 | 5500 2670 340 | 0.000 % | c | 37865 | 1547 4853 107314 | 6050 2820 340 | 0.000 % | c | 38091 | 1547 4853 107314 | 6655 3046 340 | 0.000 % | c | 38428 | 1547 4853 107314 | 7320 3383 340 | 0.000 % | c | 38934 | 1547 4853 107314 | 8052 3889 340 | 0.000 % | c | 39693 | 1547 4853 107314 | 8857 4648 340 | 0.000 % | c | 40832 | 1547 4853 107314 | 9743 5787 340 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 16.9454 s Remaining CPU time: 163.055 s c =============================================================================== c | 41526 | 1547 4854 107838 | 5000 6481 340 | 0.000 % | c | 41626 | 1547 4854 107838 | 5500 3341 339 | 0.000 % | c | 41776 | 1547 4854 107838 | 6050 3491 339 | 0.000 % | c | 42002 | 1547 4854 107838 | 6655 3717 339 | 0.000 % | c | 42339 | 1547 4854 107838 | 7320 4054 339 | 0.000 % | c | 42845 | 1547 4854 107838 | 8052 4560 339 | 0.000 % | c | 43604 | 1547 4854 107838 | 8857 5319 339 | 0.000 % | c | 44743 | 1547 4854 107838 | 9743 6458 339 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 18.1392 s Remaining CPU time: 161.861 s c =============================================================================== c | 44939 | 1547 4855 108362 | 5000 6654 339 | 0.000 % | c | 45039 | 1547 4855 108362 | 5500 3427 338 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 18.2942 s Remaining CPU time: 161.706 s c =============================================================================== c | 45182 | 1547 4856 108886 | 5000 3570 338 | 0.000 % | c | 45283 | 1547 4856 108886 | 5500 3671 338 | 0.000 % | c | 45433 | 1547 4856 108886 | 6050 3821 338 | 0.000 % | c | 45658 | 1547 4856 108886 | 6655 4046 338 | 0.000 % | c | 45995 | 1547 4856 108886 | 7320 4383 338 | 0.000 % | c | 46501 | 1547 4856 108886 | 8052 4889 338 | 0.000 % | c | 47260 | 1547 4856 108886 | 8857 5648 338 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 19.2081 s Remaining CPU time: 160.792 s c =============================================================================== c | 47862 | 1547 4857 109410 | 5000 6250 338 | 0.000 % | c | 47962 | 1547 4857 109410 | 5500 3225 336 | 0.000 % | c | 48112 | 1547 4857 109410 | 6050 3375 336 | 0.000 % | c | 48338 | 1547 4857 109410 | 6655 3601 336 | 0.000 % | c | 48675 | 1547 4857 109410 | 7320 3938 336 | 0.000 % | c | 49181 | 1547 4857 109410 | 8052 4444 336 | 0.000 % | c | 49940 | 1547 4857 109410 | 8857 5203 336 | 0.000 % | c | 51079 | 1547 4857 109410 | 9743 6342 336 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 20.8348 s Remaining CPU time: 159.165 s c =============================================================================== c | 52667 | 1547 4858 109934 | 5000 7930 336 | 0.000 % | c | 52767 | 1547 4858 109934 | 5500 4065 335 | 0.000 % | c | 52918 | 1547 4858 109934 | 6050 4216 335 | 0.000 % | c | 53143 | 1547 4858 109934 | 6655 4441 335 | 0.000 % | c | 53481 | 1547 4858 109934 | 7320 4779 335 | 0.000 % | c | 53988 | 1547 4858 109934 | 8052 5286 335 | 0.000 % | c | 54747 | 1547 4858 109934 | 8857 6045 335 | 0.000 % | c | 55887 | 1547 4858 109934 | 9743 7185 335 | 0.000 % | c | 57595 | 1547 4858 109934 | 10717 8893 335 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 22.5046 s Remaining CPU time: 157.495 s c =============================================================================== c | 57638 | 1547 4859 110458 | 5000 8936 335 | 0.000 % | c | 57739 | 1547 4859 110458 | 5500 4569 334 | 0.000 % | c | 57889 | 1547 4859 110458 | 6050 4719 334 | 0.000 % | c | 58114 | 1547 4859 110458 | 6655 4944 334 | 0.000 % | c | 58451 | 1547 4859 110458 | 7320 5281 334 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 23.0295 s Remaining CPU time: 156.971 s c =============================================================================== c | 58740 | 1547 4860 110982 | 5000 5570 334 | 0.000 % | c | 58840 | 1547 4860 110982 | 5500 2885 334 | 0.000 % | c | 58990 | 1547 4860 110982 | 6050 3035 334 | 0.000 % | c | 59216 | 1547 4860 110982 | 6655 3261 334 | 0.000 % | c | 59553 | 1547 4860 110982 | 7320 3598 333 | 0.000 % | c | 60059 | 1547 4860 110982 | 8052 4104 333 | 0.000 % | c | 60818 | 1547 4860 110982 | 8857 4863 333 | 0.000 % | c | 61957 | 1547 4860 110982 | 9743 6002 333 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 24.4073 s Remaining CPU time: 155.593 s c =============================================================================== c | 62316 | 1547 4861 111506 | 5000 6361 333 | 0.000 % | c | 62416 | 1547 4861 111506 | 5500 3281 332 | 0.000 % | c | 62566 | 1547 4861 111506 | 6050 3431 332 | 0.000 % | c | 62792 | 1547 4861 111506 | 6655 3657 332 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 24.7252 s Remaining CPU time: 155.275 s c =============================================================================== c | 63007 | 1547 4862 112030 | 5000 3872 332 | 0.000 % | c | 63107 | 1547 4862 112030 | 5500 3972 332 | 0.000 % | c | 63257 | 1547 4862 112030 | 6050 4122 332 | 0.000 % | c | 63482 | 1547 4862 112030 | 6655 4347 332 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 24.9822 s Remaining CPU time: 155.018 s c =============================================================================== c | 63550 | 1547 4863 112554 | 5000 4415 332 | 0.000 % | c | 63650 | 1547 4863 112554 | 5500 4515 332 | 0.000 % | c | 63800 | 1547 4863 112554 | 6050 4665 332 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 25.1892 s Remaining CPU time: 154.811 s c =============================================================================== c | 63990 | 1547 4864 113078 | 5000 4855 332 | 0.000 % | c | 64091 | 1547 4864 113078 | 5500 4956 332 | 0.000 % | c | 64241 | 1547 4864 113078 | 6050 5106 331 | 0.000 % | c | 64466 | 1547 4864 113078 | 6655 5331 331 | 0.000 % | c | 64804 | 1547 4864 113078 | 7320 5669 331 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 25.6411 s Remaining CPU time: 154.359 s c =============================================================================== c | 65137 | 1547 4865 113602 | 5000 6002 331 | 0.000 % | c | 65238 | 1547 4865 113602 | 5500 3102 329 | 0.000 % | c | 65389 | 1547 4865 113602 | 6050 3253 329 | 0.000 % | c | 65614 | 1547 4865 113602 | 6655 3478 329 | 0.000 % | c | 65951 | 1547 4865 113602 | 7320 3815 329 | 0.000 % | c | 66457 | 1547 4865 113602 | 8052 4321 329 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 26.376 s Remaining CPU time: 153.624 s c =============================================================================== c | 66976 | 1547 4866 114126 | 5000 4840 329 | 0.000 % | c | 67076 | 1547 4866 114126 | 5500 4940 329 | 0.000 % | c | 67226 | 1547 4866 114126 | 6050 5090 329 | 0.000 % | c | 67451 | 1547 4866 114126 | 6655 5315 328 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 26.7059 s Remaining CPU time: 153.294 s c =============================================================================== c | 67784 | 1547 4867 114650 | 5000 5648 328 | 0.000 % | c | 67884 | 1547 4867 114650 | 5500 2924 327 | 0.000 % | c | 68034 | 1547 4867 114650 | 6050 3074 327 | 0.000 % | c | 68260 | 1547 4867 114650 | 6655 3300 327 | 0.000 % | c | 68597 | 1547 4867 114650 | 7320 3637 326 | 0.000 % | c | 69103 | 1547 4867 114650 | 8052 4143 326 | 0.000 % | c | 69862 | 1547 4867 114650 | 8857 4902 326 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 27.5688 s Remaining CPU time: 152.431 s c =============================================================================== c | 70057 | 1547 4868 115174 | 5000 5097 326 | 0.000 % | c | 70157 | 1547 4868 115174 | 5500 2649 325 | 0.000 % | c | 70307 | 1547 4868 115174 | 6050 2799 325 | 0.000 % | c | 70532 | 1547 4868 115174 | 6655 3024 325 | 0.000 % | c | 70869 | 1547 4868 115174 | 7320 3361 325 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 27.9408 s Remaining CPU time: 152.059 s c =============================================================================== c | 70905 | 1547 4869 115698 | 5000 3397 325 | 0.000 % | c | 71005 | 1547 4869 115698 | 5500 3497 325 | 0.000 % | c | 71155 | 1547 4869 115698 | 6050 3647 325 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 28.1337 s Remaining CPU time: 151.866 s c =============================================================================== c | 71306 | 1547 4870 116222 | 5000 3798 325 | 0.000 % | c | 71406 | 1547 4870 116222 | 5500 3898 325 | 0.000 % | c | 71556 | 1547 4870 116222 | 6050 4048 325 | 0.000 % | c | 71782 | 1547 4870 116222 | 6655 4274 325 | 0.000 % | c | 72119 | 1547 4870 116222 | 7320 4611 325 | 0.000 % | c | 72626 | 1547 4870 116222 | 8052 5118 324 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 28.8186 s Remaining CPU time: 151.181 s c =============================================================================== c | 73061 | 1547 4871 116746 | 5000 5553 324 | 0.000 % | c | 73161 | 1547 4871 116746 | 5500 2877 323 | 0.000 % | c | 73311 | 1547 4871 116746 | 6050 3027 323 | 0.000 % | c | 73536 | 1547 4871 116746 | 6655 3252 322 | 0.000 % | c | 73873 | 1547 4871 116746 | 7320 3589 322 | 0.000 % | c | 74379 | 1547 4871 116746 | 8052 4095 322 | 0.000 % | c | 75139 | 1547 4871 116746 | 8857 4855 322 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 29.6335 s Remaining CPU time: 150.367 s c =============================================================================== c | 75259 | 1547 4872 117270 | 5000 4975 322 | 0.000 % | c | 75359 | 1547 4872 117270 | 5500 5075 322 | 0.000 % | c | 75511 | 1547 4872 117270 | 6050 5227 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 29.8195 s Remaining CPU time: 150.181 s c =============================================================================== c | 75663 | 1547 4873 117794 | 5000 5379 322 | 0.000 % | c | 75764 | 1547 4873 117794 | 5500 2791 321 | 0.000 % | c | 75915 | 1547 4873 117794 | 6050 2942 321 | 0.000 % | c | 76141 | 1547 4873 117794 | 6655 3168 321 | 0.000 % | c | 76479 | 1547 4873 117794 | 7320 3506 321 | 0.000 % | c | 76985 | 1547 4873 117794 | 8052 4012 321 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 30.4764 s Remaining CPU time: 149.524 s c =============================================================================== c | 77315 | 1547 4874 118318 | 5000 4342 320 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 30.5264 s Remaining CPU time: 149.474 s c =============================================================================== c | 77392 | 1547 4875 118842 | 5000 4419 320 | 0.000 % | c | 77492 | 1547 4875 118842 | 5500 4519 320 | 0.000 % | c | 77642 | 1547 4875 118842 | 6050 4669 320 | 0.000 % | c | 77867 | 1547 4875 118842 | 6655 4894 320 | 0.000 % | c | 78205 | 1547 4875 118842 | 7320 5232 320 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 30.9403 s Remaining CPU time: 149.06 s c =============================================================================== c | 78435 | 1547 4876 119366 | 5000 5462 320 | 0.000 % | c | 78535 | 1547 4876 119366 | 5500 2831 318 | 0.000 % | c | 78685 | 1547 4876 119366 | 6050 2981 318 | 0.000 % | c | 78910 | 1547 4876 119366 | 6655 3206 318 | 0.000 % | c | 79247 | 1547 4876 119366 | 7320 3543 318 | 0.000 % | c | 79754 | 1547 4876 119366 | 8052 4050 318 | 0.000 % | c | 80513 | 1547 4876 119366 | 8857 4809 318 | 0.000 % | c | 81653 | 1547 4876 119366 | 9743 5949 317 | 0.000 % | c | 83361 | 1547 4876 119366 | 10717 7657 317 | 0.000 % | c | 85923 | 1547 4876 119366 | 11789 10219 317 | 0.000 % | c | 89767 | 1547 4876 119366 | 12968 7974 317 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 36.9504 s Remaining CPU time: 143.05 s c =============================================================================== c | 94673 | 1547 4877 119890 | 5000 12880 317 | 0.000 % | c | 94773 | 1547 4877 119890 | 5500 3320 316 | 0.000 % | c | 94923 | 1547 4877 119890 | 6050 3470 316 | 0.000 % | c | 95149 | 1547 4877 119890 | 6655 3696 316 | 0.000 % | c | 95486 | 1547 4877 119890 | 7320 4033 316 | 0.000 % | c | 95993 | 1547 4877 119890 | 8052 4540 316 | 0.000 % | c | 96753 | 1547 4877 119890 | 8857 5300 316 | 0.000 % | c | 97892 | 1547 4877 119890 | 9743 6439 316 | 0.000 % | c | 99600 | 1547 4877 119890 | 10717 8147 316 | 0.000 % | c | 102162 | 1547 4877 119890 | 11789 10709 316 | 0.000 % | c | 106006 | 1547 4877 119890 | 12968 8482 316 | 0.000 % | c | 111773 | 1547 4877 119890 | 14265 7603 316 | 0.000 % | c | 120422 | 1547 4877 119890 | 15692 8937 316 | 0.000 % | c | 133396 | 1547 4877 119890 | 17261 13885 316 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 55.2046 s Remaining CPU time: 124.795 s c =============================================================================== c | 135255 | 1547 4878 120414 | 5000 15744 316 | 0.000 % | c | 135355 | 1547 4878 120414 | 5500 4036 316 | 0.000 % | c | 135506 | 1547 4878 120414 | 6050 4187 316 | 0.000 % | c | 135731 | 1547 4878 120414 | 6655 4412 316 | 0.000 % | c | 136068 | 1547 4878 120414 | 7320 4749 316 | 0.000 % | c | 136574 | 1547 4878 120414 | 8052 5255 316 | 0.000 % | c | 137333 | 1547 4878 120414 | 8857 6014 316 | 0.000 % | c | 138473 | 1547 4878 120414 | 9743 7154 316 | 0.000 % | c | 140181 | 1547 4878 120414 | 10717 8862 315 | 0.000 % | c | 142743 | 1547 4878 120414 | 11789 5886 315 | 0.000 % | c | 146588 | 1547 4878 120414 | 12968 9731 315 | 0.000 % | c | 152354 | 1547 4878 120414 | 14265 8833 315 | 0.000 % | c | 161003 | 1547 4878 120414 | 15692 10169 315 | 0.000 % | c | 173978 | 1547 4878 120414 | 17261 15114 315 | 0.000 % | c | 193440 | 1547 4878 120414 | 18987 16949 315 | 0.000 % | c | 222632 | 1547 4878 120414 | 20886 17135 315 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 100.391 s Remaining CPU time: 79.6093 s c =============================================================================== c | 223348 | 1547 4879 120938 | 5000 17851 315 | 0.000 % | c | 223448 | 1547 4879 120938 | 5500 4563 316 | 0.000 % | c | 223598 | 1547 4879 120938 | 6050 4713 315 | 0.000 % | c | 223823 | 1547 4879 120938 | 6655 4938 315 | 0.000 % | c | 224160 | 1547 4879 120938 | 7320 5275 315 | 0.000 % | c | 224666 | 1547 4879 120938 | 8052 5781 315 | 0.000 % | c | 225426 | 1547 4879 120938 | 8857 6541 315 | 0.000 % | c | 226565 | 1547 4879 120938 | 9743 7680 315 | 0.000 % | c | 228273 | 1547 4879 120938 | 10717 9388 315 | 0.000 % | c | 230835 | 1547 4879 120938 | 11789 6426 314 | 0.000 % | c | 234679 | 1547 4879 120938 | 12968 10270 314 | 0.000 % | c | 240446 | 1547 4879 120938 | 14265 9371 314 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 111.305 s Remaining CPU time: 68.6949 s c =============================================================================== c | 246653 | 1547 4880 121462 | 5000 8259 314 | 0.000 % | c | 246753 | 1547 4880 121462 | 5500 4230 314 | 0.000 % | c | 246903 | 1547 4880 121462 | 6050 4380 314 | 0.000 % | c | 247128 | 1547 4880 121462 | 6655 4605 314 | 0.000 % | c | 247465 | 1547 4880 121462 | 7320 4942 314 | 0.000 % | c | 247971 | 1547 4880 121462 | 8052 5448 314 | 0.000 % | c | 248730 | 1547 4880 121462 | 8857 6207 314 | 0.000 % | c | 249869 | 1547 4880 121462 | 9743 7346 313 | 0.000 % | c | 251577 | 1547 4880 121462 | 10717 9054 313 | 0.000 % | c | 254139 | 1547 4880 121462 | 11789 6070 313 | 0.000 % | c | 257983 | 1547 4880 121462 | 12968 9914 313 | 0.000 % | c | 263749 | 1547 4880 121462 | 14265 9020 313 | 0.000 % | c | 272399 | 1547 4880 121462 | 15692 10376 313 | 0.000 % |