c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4696 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1551 | c | Number Clauses: 4682 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1551 4682 9879 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1551 4683 10404 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1551 4684 10929 | 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 | 1551 4685 11454 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1551 4686 11979 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1551 4687 12504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1551 4688 13029 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1551 4689 13554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1551 4690 14079 | 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 | 1551 4691 14604 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1551 4692 15129 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1551 4693 15654 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1551 4694 16179 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1551 4695 16704 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1551 4696 17229 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1551 4697 17754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1551 4698 18279 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1551 4699 18804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1551 4700 19329 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1551 4701 19854 | 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 | 1551 4702 20379 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1551 4703 20904 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1551 4704 21429 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1551 4705 21954 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1551 4706 22479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1551 4707 23004 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1551 4708 23529 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1551 4709 24054 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1551 4710 24579 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 1551 4711 25104 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1551 4712 25629 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1551 4713 26154 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 1551 4714 26679 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 1551 4715 27204 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 1551 4716 27729 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 1551 4717 28254 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1551 4718 28779 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 1551 4719 29304 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 1 | 1551 4720 29829 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 1 | 1551 4721 30354 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 1 | 1551 4722 30879 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 1551 4723 31404 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1 | 1551 4724 31929 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1551 4725 32454 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 1 | 1551 4726 32979 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 1 | 1551 4727 33504 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 1 | 1551 4728 34029 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 1 | 1551 4729 34554 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1 | 1551 4730 35079 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 1 | 1551 4731 35604 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 1 | 1551 4732 36129 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 1 | 1551 4733 36654 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 1 | 1551 4734 37179 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1 | 1551 4735 37704 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 2 | 1551 4736 38229 | 5000 2 482 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 2 | 1551 4737 38754 | 5000 2 482 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 2 | 1551 4738 39279 | 5000 2 482 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 2 | 1551 4739 39804 | 5000 2 482 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 2 | 1551 4740 40329 | 5000 2 482 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 3 | 1551 4741 40854 | 5000 3 478 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 3 | 1551 4742 41379 | 5000 3 478 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 3 | 1551 4743 41904 | 5000 3 478 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 3 | 1551 4744 42429 | 5000 3 478 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 3 | 1551 4745 42954 | 5000 3 478 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 3 | 1551 4746 43479 | 5000 3 478 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 3 | 1551 4747 44004 | 5000 3 478 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 4 | 1551 4748 44529 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 4 | 1551 4749 45054 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 4 | 1551 4750 45579 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 4 | 1551 4751 46104 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 4 | 1551 4752 46629 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 4 | 1551 4753 47154 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 4 | 1551 4754 47679 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 4 | 1551 4755 48204 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 4 | 1551 4756 48729 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 4 | 1551 4757 49254 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 4 | 1551 4758 49779 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 4 | 1551 4759 50304 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 4 | 1551 4760 50829 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 4 | 1551 4761 51354 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 4 | 1551 4762 51879 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 4 | 1551 4763 52404 | 5000 4 474 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 5 | 1551 4764 52929 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 5 | 1551 4765 53454 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 5 | 1551 4766 53979 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 5 | 1551 4767 54504 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 5 | 1551 4768 55029 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 5 | 1551 4769 55554 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 5 | 1551 4770 56079 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 5 | 1551 4771 56604 | 5000 5 468 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 6 | 1551 4772 57129 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 6 | 1551 4773 57654 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 6 | 1551 4774 58179 | 5000 6 462 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 7 | 1551 4775 58704 | 5000 7 458 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 7 | 1551 4776 59229 | 5000 7 458 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 7 | 1551 4777 59754 | 5000 7 458 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s c =============================================================================== c | 8 | 1551 4778 60279 | 5000 8 455 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 8 | 1551 4779 60804 | 5000 8 455 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 8 | 1551 4780 61329 | 5000 8 455 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 9 | 1551 4781 61854 | 5000 9 452 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 9 | 1551 4782 62379 | 5000 9 452 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 10 | 1551 4783 62904 | 5000 10 449 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 11 | 1551 4784 63429 | 5000 11 447 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 11 | 1551 4785 63954 | 5000 11 447 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 11 | 1551 4786 64479 | 5000 11 447 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s c =============================================================================== c | 19 | 1551 4787 65004 | 5000 19 436 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 22 | 1551 4788 65529 | 5000 22 434 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 24 | 1551 4789 66054 | 5000 24 433 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 33 | 1551 4790 66579 | 5000 33 429 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 38 | 1551 4791 67104 | 5000 38 427 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 47 | 1551 4792 67629 | 5000 47 425 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 54 | 1551 4793 68154 | 5000 54 424 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 55 | 1551 4794 68679 | 5000 55 424 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s c =============================================================================== c | 61 | 1551 4795 69204 | 5000 61 423 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s c =============================================================================== c | 65 | 1551 4796 69729 | 5000 65 422 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 71 | 1551 4797 70254 | 5000 71 421 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 75 | 1551 4798 70779 | 5000 75 421 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 83 | 1551 4799 71304 | 5000 83 419 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 91 | 1551 4800 71829 | 5000 91 419 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 96 | 1551 4801 72354 | 5000 96 418 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 99 | 1551 4802 72879 | 5000 99 418 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 109 | 1551 4803 73404 | 5000 109 416 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s c =============================================================================== c | 120 | 1551 4804 73929 | 5000 120 415 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.98185 s Remaining CPU time: 179.018 s c =============================================================================== c | 126 | 1551 4805 74454 | 5000 126 415 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 135 | 1551 4806 74979 | 5000 135 414 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 144 | 1551 4807 75504 | 5000 144 413 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 153 | 1551 4808 76029 | 5000 153 412 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 170 | 1551 4809 76554 | 5000 170 411 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 175 | 1551 4810 77079 | 5000 175 411 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 184 | 1551 4811 77604 | 5000 184 410 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.11783 s Remaining CPU time: 178.882 s c =============================================================================== c | 190 | 1551 4812 78129 | 5000 190 410 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s c =============================================================================== c | 199 | 1551 4813 78654 | 5000 199 409 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 205 | 1551 4814 79179 | 5000 205 409 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 210 | 1551 4815 79704 | 5000 210 408 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.19682 s Remaining CPU time: 178.803 s c =============================================================================== c | 225 | 1551 4816 80229 | 5000 225 407 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.21681 s Remaining CPU time: 178.783 s c =============================================================================== c | 233 | 1551 4817 80754 | 5000 233 407 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.23781 s Remaining CPU time: 178.762 s c =============================================================================== c | 246 | 1551 4818 81279 | 5000 246 406 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 250 | 1551 4819 81804 | 5000 250 406 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 261 | 1551 4820 82329 | 5000 261 405 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 283 | 1551 4821 82854 | 5000 283 402 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.3288 s Remaining CPU time: 178.671 s c =============================================================================== c | 298 | 1551 4822 83379 | 5000 298 401 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 325 | 1551 4823 83904 | 5000 325 400 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.38579 s Remaining CPU time: 178.614 s c =============================================================================== c | 365 | 1551 4824 84429 | 5000 365 398 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 367 | 1551 4825 84954 | 5000 367 398 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 369 | 1551 4826 85479 | 5000 369 398 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s c =============================================================================== c | 402 | 1551 4827 86004 | 5000 402 397 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.47477 s Remaining CPU time: 178.525 s c =============================================================================== c | 404 | 1551 4828 86529 | 5000 404 397 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.49877 s Remaining CPU time: 178.501 s c =============================================================================== c | 418 | 1551 4829 87054 | 5000 418 396 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.52577 s Remaining CPU time: 178.474 s c =============================================================================== c | 451 | 1551 4830 87579 | 5000 451 395 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 453 | 1551 4831 88104 | 5000 453 395 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 456 | 1551 4832 88629 | 5000 456 395 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.59276 s Remaining CPU time: 178.407 s c =============================================================================== c | 470 | 1551 4833 89154 | 5000 470 394 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 475 | 1551 4834 89679 | 5000 475 394 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.63975 s Remaining CPU time: 178.36 s c =============================================================================== c | 485 | 1551 4835 90204 | 5000 485 394 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.67874 s Remaining CPU time: 178.321 s c =============================================================================== c | 559 | 1551 4836 90729 | 5000 559 391 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 566 | 1551 4837 91254 | 5000 566 391 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 599 | 1551 4838 91779 | 5000 599 390 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 607 | 1551 4839 92304 | 5000 607 389 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.77873 s Remaining CPU time: 178.221 s c =============================================================================== c | 616 | 1551 4840 92829 | 5000 616 389 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.81072 s Remaining CPU time: 178.189 s c =============================================================================== c | 662 | 1551 4841 93354 | 5000 662 388 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 741 | 1551 4842 93879 | 5000 741 385 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.87771 s Remaining CPU time: 178.122 s c =============================================================================== c | 762 | 1551 4843 94404 | 5000 762 385 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.90471 s Remaining CPU time: 178.095 s c =============================================================================== c | 786 | 1551 4844 94929 | 5000 786 384 | 0.000 % | c | 886 | 1551 4844 94929 | 5500 886 382 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.9757 s Remaining CPU time: 178.024 s c =============================================================================== c | 899 | 1551 4845 95454 | 5000 899 382 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 2.00769 s Remaining CPU time: 177.992 s c =============================================================================== c | 938 | 1551 4846 95979 | 5000 938 381 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 2.04469 s Remaining CPU time: 177.955 s c =============================================================================== c | 997 | 1551 4847 96504 | 5000 997 380 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 2.07968 s Remaining CPU time: 177.92 s c =============================================================================== c | 1049 | 1551 4848 97029 | 5000 1049 379 | 0.000 % | c | 1150 | 1551 4848 97029 | 5500 1150 377 | 0.000 % | c | 1300 | 1551 4848 97029 | 6050 1300 375 | 0.000 % | c | 1525 | 1551 4848 97029 | 6655 1525 373 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 2.30765 s Remaining CPU time: 177.692 s c =============================================================================== c | 1662 | 1551 4849 97554 | 5000 1662 372 | 0.000 % | c | 1762 | 1551 4849 97554 | 5500 1762 371 | 0.000 % | c | 1912 | 1551 4849 97554 | 6050 1912 370 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 1929 | 1551 4850 98079 | 5000 1929 370 | 0.000 % | c | 2029 | 1551 4850 98079 | 5500 2029 370 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 2.55961 s Remaining CPU time: 177.44 s c =============================================================================== c | 2168 | 1551 4851 98604 | 5000 2168 369 | 0.000 % | c | 2268 | 1551 4851 98604 | 5500 2268 368 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.6466 s Remaining CPU time: 177.353 s c =============================================================================== c | 2351 | 1551 4852 99129 | 5000 2351 368 | 0.000 % | c | 2452 | 1551 4852 99129 | 5500 2452 367 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.75058 s Remaining CPU time: 177.249 s c =============================================================================== c | 2547 | 1551 4853 99654 | 5000 2547 367 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 2.79857 s Remaining CPU time: 177.201 s c =============================================================================== c | 2631 | 1551 4854 100179 | 5000 2631 367 | 0.000 % | c | 2732 | 1551 4854 100179 | 5500 2732 366 | 0.000 % | c | 2883 | 1551 4854 100179 | 6050 2883 365 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 2.93355 s Remaining CPU time: 177.066 s c =============================================================================== c | 2904 | 1551 4855 100704 | 5000 2904 365 | 0.000 % | c | 3004 | 1551 4855 100704 | 5500 3004 365 | 0.000 % | c | 3154 | 1551 4855 100704 | 6050 3154 364 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 3.08653 s Remaining CPU time: 176.913 s c =============================================================================== c | 3200 | 1551 4856 101229 | 5000 3200 364 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 3.13652 s Remaining CPU time: 176.863 s c =============================================================================== c | 3273 | 1551 4857 101754 | 5000 3273 364 | 0.000 % | c | 3374 | 1551 4857 101754 | 5500 3374 364 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 3.24951 s Remaining CPU time: 176.75 s c =============================================================================== c | 3503 | 1551 4858 102279 | 5000 3503 363 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 3.2955 s Remaining CPU time: 176.705 s c =============================================================================== c | 3588 | 1551 4859 102804 | 5000 3588 363 | 0.000 % | c | 3689 | 1551 4859 102804 | 5500 3689 362 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 3.36849 s Remaining CPU time: 176.632 s c =============================================================================== c | 3689 | 1551 4860 103329 | 5000 3689 362 | 0.000 % | c | 3789 | 1551 4860 103329 | 5500 3789 362 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 3.46747 s Remaining CPU time: 176.533 s c =============================================================================== c | 3868 | 1551 4861 103854 | 5000 3868 362 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 3.52246 s Remaining CPU time: 176.478 s c =============================================================================== c | 3953 | 1551 4862 104379 | 5000 3953 361 | 0.000 % | c | 4054 | 1551 4862 104379 | 5500 4054 361 | 0.000 % | c | 4204 | 1551 4862 104379 | 6050 4204 360 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 3.70144 s Remaining CPU time: 176.299 s c =============================================================================== c | 4318 | 1551 4863 104904 | 5000 4318 360 | 0.000 % | c | 4418 | 1551 4863 104904 | 5500 4418 360 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 3.81142 s Remaining CPU time: 176.189 s c =============================================================================== c | 4544 | 1551 4864 105429 | 5000 4544 359 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 3.85541 s Remaining CPU time: 176.145 s c =============================================================================== c | 4598 | 1551 4865 105954 | 5000 4598 359 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 3.89641 s Remaining CPU time: 176.104 s c =============================================================================== c | 4657 | 1551 4866 106479 | 5000 4657 359 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 3.9394 s Remaining CPU time: 176.061 s c =============================================================================== c | 4720 | 1551 4867 107004 | 5000 4720 359 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 3.98539 s Remaining CPU time: 176.015 s c =============================================================================== c | 4793 | 1551 4868 107529 | 5000 4793 358 | 0.000 % | c | 4893 | 1551 4868 107529 | 5500 4893 358 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 4.08638 s Remaining CPU time: 175.914 s c =============================================================================== c | 4962 | 1551 4869 108054 | 5000 4962 358 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 4.12037 s Remaining CPU time: 175.88 s c =============================================================================== c | 4989 | 1551 4870 108579 | 5000 4989 358 | 0.000 % | c | 5090 | 1551 4870 108579 | 5500 5090 357 | 0.000 % | c | 5241 | 1551 4870 108579 | 6050 5241 357 | 0.000 % | c | 5467 | 1551 4870 108579 | 6655 5467 356 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 4.44232 s Remaining CPU time: 175.558 s c =============================================================================== c | 5761 | 1551 4871 109104 | 5000 5761 355 | 0.000 % | c | 5861 | 1551 4871 109104 | 5500 2981 344 | 0.000 % | c | 6012 | 1551 4871 109104 | 6050 3132 344 | 0.000 % | c | 6237 | 1551 4871 109104 | 6655 3357 344 | 0.000 % | c | 6574 | 1551 4871 109104 | 7320 3694 343 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 4.93125 s Remaining CPU time: 175.069 s c =============================================================================== c | 7009 | 1551 4872 109629 | 5000 4129 342 | 0.000 % | c | 7109 | 1551 4872 109629 | 5500 4229 342 | 0.000 % | c | 7260 | 1551 4872 109629 | 6050 4380 342 | 0.000 % | c | 7486 | 1551 4872 109629 | 6655 4606 342 | 0.000 % | c | 7824 | 1551 4872 109629 | 7320 4944 341 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 5.33419 s Remaining CPU time: 174.666 s c =============================================================================== c | 8003 | 1551 4873 110154 | 5000 5123 341 | 0.000 % | c | 8104 | 1551 4873 110154 | 5500 2663 337 | 0.000 % | c | 8254 | 1551 4873 110154 | 6050 2813 337 | 0.000 % | c | 8479 | 1551 4873 110154 | 6655 3038 337 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 5.65214 s Remaining CPU time: 174.348 s c =============================================================================== c | 8689 | 1551 4874 110679 | 5000 3248 337 | 0.000 % | c | 8790 | 1551 4874 110679 | 5500 3349 337 | 0.000 % | c | 8942 | 1551 4874 110679 | 6050 3501 336 | 0.000 % | c | 9167 | 1551 4874 110679 | 6655 3726 336 | 0.000 % | c | 9504 | 1551 4874 110679 | 7320 4063 336 | 0.000 % | c | 10010 | 1551 4874 110679 | 8052 4569 336 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 6.35103 s Remaining CPU time: 173.649 s c =============================================================================== c | 10493 | 1551 4875 111204 | 5000 5052 336 | 0.000 % | c | 10593 | 1551 4875 111204 | 5500 2626 335 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 6.46602 s Remaining CPU time: 173.534 s c =============================================================================== c | 10649 | 1551 4876 111729 | 5000 2682 335 | 0.000 % | c | 10749 | 1551 4876 111729 | 5500 2782 334 | 0.000 % | c | 10899 | 1551 4876 111729 | 6050 2932 334 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 6.64899 s Remaining CPU time: 173.351 s c =============================================================================== c | 10964 | 1551 4877 112254 | 5000 2997 334 | 0.000 % | c | 11065 | 1551 4877 112254 | 5500 3098 334 | 0.000 % | c | 11216 | 1551 4877 112254 | 6050 3249 334 | 0.000 % | c | 11441 | 1551 4877 112254 | 6655 3474 334 | 0.000 % | c | 11778 | 1551 4877 112254 | 7320 3811 334 | 0.000 % | c | 12284 | 1551 4877 112254 | 8052 4317 333 | 0.000 % | c | 13043 | 1551 4877 112254 | 8857 5076 333 | 0.000 % | c | 14183 | 1551 4877 112254 | 9743 6216 333 | 0.000 % | c | 15892 | 1551 4877 112254 | 10717 7925 332 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 8.80666 s Remaining CPU time: 171.193 s c =============================================================================== c | 16481 | 1551 4878 112779 | 5000 8514 332 | 0.000 % | c | 16581 | 1551 4878 112779 | 5500 4357 331 | 0.000 % | c | 16732 | 1551 4878 112779 | 6050 4508 331 | 0.000 % | c | 16957 | 1551 4878 112779 | 6655 4733 331 | 0.000 % | c | 17294 | 1551 4878 112779 | 7320 5070 331 | 0.000 % | c | 17800 | 1551 4878 112779 | 8052 5576 331 | 0.000 % | c | 18559 | 1551 4878 112779 | 8857 6335 331 | 0.000 % | c | 19698 | 1551 4878 112779 | 9743 7474 331 | 0.000 % | c | 21406 | 1551 4878 112779 | 10717 9182 331 | 0.000 % | c | 23968 | 1551 4878 112779 | 11789 6199 330 | 0.000 % | c | 27813 | 1551 4878 112779 | 12968 10044 330 | 0.000 % | c | 33579 | 1551 4878 112779 | 14265 9135 331 | 0.000 % | c | 42228 | 1551 4878 112779 | 15692 10476 331 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 20.0609 s Remaining CPU time: 159.939 s c =============================================================================== c | 42916 | 1551 4879 113304 | 5000 11164 331 | 0.000 % | c | 43017 | 1551 4879 113304 | 5500 2892 330 | 0.000 % | c | 43167 | 1551 4879 113304 | 6050 3042 330 | 0.000 % | c | 43392 | 1551 4879 113304 | 6655 3267 330 | 0.000 % | c | 43729 | 1551 4879 113304 | 7320 3604 330 | 0.000 % | c | 44235 | 1551 4879 113304 | 8052 4110 330 | 0.000 % | c | 44994 | 1551 4879 113304 | 8857 4869 330 | 0.000 % | c | 46133 | 1551 4879 113304 | 9743 6008 330 | 0.000 % | c | 47841 | 1551 4879 113304 | 10717 7716 330 | 0.000 % | c | 50404 | 1551 4879 113304 | 11789 10279 330 | 0.000 % | c | 54248 | 1551 4879 113304 | 12968 8049 330 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 25.2352 s Remaining CPU time: 154.765 s c =============================================================================== c | 56435 | 1551 4880 113829 | 5000 10236 330 | 0.000 % | c | 56535 | 1551 4880 113829 | 5500 2659 330 | 0.000 % | c | 56685 | 1551 4880 113829 | 6050 2809 329 | 0.000 % | c | 56910 | 1551 4880 113829 | 6655 3034 329 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 25.7531 s Remaining CPU time: 154.247 s c =============================================================================== c | 57217 | 1551 4881 114354 | 5000 3341 329 | 0.000 % | c | 57317 | 1551 4881 114354 | 5500 3441 329 | 0.000 % | c | 57467 | 1551 4881 114354 | 6050 3591 329 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 25.9591 s Remaining CPU time: 154.041 s c =============================================================================== c | 57526 | 1551 4882 114879 | 5000 3650 329 | 0.000 % | c | 57627 | 1551 4882 114879 | 5500 3751 329 | 0.000 % | c | 57778 | 1551 4882 114879 | 6050 3902 329 | 0.000 % | c | 58003 | 1551 4882 114879 | 6655 4127 329 | 0.000 % | c | 58341 | 1551 4882 114879 | 7320 4465 329 | 0.000 % | c | 58848 | 1551 4882 114879 | 8052 4972 328 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 26.7329 s Remaining CPU time: 153.267 s c =============================================================================== c | 58864 | 1551 4883 115404 | 5000 4988 328 | 0.000 % | c | 58964 | 1551 4883 115404 | 5500 5088 328 | 0.000 % | c | 59114 | 1551 4883 115404 | 6050 5238 328 | 0.000 % | c | 59340 | 1551 4883 115404 | 6655 5464 328 | 0.000 % | c | 59678 | 1551 4883 115404 | 7320 5802 328 | 0.000 % | c | 60184 | 1551 4883 115404 | 8052 6308 328 | 0.000 % | c | 60943 | 1551 4883 115404 | 8857 7067 328 | 0.000 % | c | 62082 | 1551 4883 115404 | 9743 8206 327 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 28.7226 s Remaining CPU time: 151.277 s c =============================================================================== c | 63456 | 1551 4884 115929 | 5000 9580 327 | 0.000 % | c | 63556 | 1551 4884 115929 | 5500 4890 326 | 0.000 % | c | 63706 | 1551 4884 115929 | 6050 5040 326 | 0.000 % | c | 63931 | 1551 4884 115929 | 6655 5265 326 | 0.000 % | c | 64269 | 1551 4884 115929 | 7320 5603 326 | 0.000 % | c | 64775 | 1551 4884 115929 | 8052 6109 325 | 0.000 % | c | 65534 | 1551 4884 115929 | 8857 6868 325 | 0.000 % | c | 66673 | 1551 4884 115929 | 9743 8007 325 | 0.000 % | c | 68381 | 1551 4884 115929 | 10717 9715 325 | 0.000 % | c | 70943 | 1551 4884 115929 | 11789 6746 325 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 32.0511 s Remaining CPU time: 147.949 s c =============================================================================== c | 71327 | 1551 4885 116454 | 5000 7130 325 | 0.000 % | c | 71427 | 1551 4885 116454 | 5500 3665 324 | 0.000 % | c | 71577 | 1551 4885 116454 | 6050 3815 324 | 0.000 % | c | 71802 | 1551 4885 116454 | 6655 4040 324 | 0.000 % | c | 72139 | 1551 4885 116454 | 7320 4377 324 | 0.000 % | c | 72645 | 1551 4885 116454 | 8052 4883 324 | 0.000 % | c | 73404 | 1551 4885 116454 | 8857 5642 324 | 0.000 % | c | 74543 | 1551 4885 116454 | 9743 6781 324 | 0.000 % | c | 76252 | 1551 4885 116454 | 10717 8490 324 | 0.000 % | c | 78814 | 1551 4885 116454 | 11789 11052 324 | 0.000 % | c | 82658 | 1551 4885 116454 | 12968 8812 324 | 0.000 % | c | 88425 | 1551 4885 116454 | 14265 7905 324 | 0.000 % | c | 97074 | 1551 4885 116454 | 15692 9248 324 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 42.7075 s Remaining CPU time: 137.292 s c =============================================================================== c | 97912 | 1551 4886 116979 | 5000 10086 324 | 0.000 % | c | 98012 | 1551 4886 116979 | 5500 2622 323 | 0.000 % | c | 98162 | 1551 4886 116979 | 6050 2772 323 | 0.000 % | c | 98387 | 1551 4886 116979 | 6655 2997 323 | 0.000 % | c | 98724 | 1551 4886 116979 | 7320 3334 323 | 0.000 % | c | 99231 | 1551 4886 116979 | 8052 3841 323 | 0.000 % | c | 99990 | 1551 4886 116979 | 8857 4600 323 | 0.000 % | c | 101129 | 1551 4886 116979 | 9743 5739 323 | 0.000 % | c | 102838 | 1551 4886 116979 | 10717 7448 323 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 45.2141 s Remaining CPU time: 134.786 s c =============================================================================== c | 104292 | 1551 4887 117504 | 5000 8902 323 | 0.000 % | c | 104392 | 1551 4887 117504 | 5500 4551 323 | 0.000 % | c | 104542 | 1551 4887 117504 | 6050 4701 323 | 0.000 % | c | 104767 | 1551 4887 117504 | 6655 4926 323 | 0.000 % | c | 105104 | 1551 4887 117504 | 7320 5263 323 | 0.000 % | c | 105610 | 1551 4887 117504 | 8052 5769 323 | 0.000 % | c | 106370 | 1551 4887 117504 | 8857 6529 323 | 0.000 % | c | 107509 | 1551 4887 117504 | 9743 7668 323 | 0.000 % | c | 109218 | 1551 4887 117504 | 10717 9377 322 | 0.000 % | c | 111780 | 1551 4887 117504 | 11789 6411 322 | 0.000 % | c | 115624 | 1551 4887 117504 | 12968 10255 322 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 50.7243 s Remaining CPU time: 129.276 s c =============================================================================== c | 118313 | 1551 4888 118029 | 5000 12944 322 | 0.000 % | c | 118414 | 1551 4888 118029 | 5500 3337 322 | 0.000 % | c | 118565 | 1551 4888 118029 | 6050 3488 322 | 0.000 % | c | 118790 | 1551 4888 118029 | 6655 3713 322 | 0.000 % | c | 119127 | 1551 4888 118029 | 7320 4050 322 | 0.000 % | c | 119633 | 1551 4888 118029 | 8052 4556 322 | 0.000 % | c | 120392 | 1551 4888 118029 | 8857 5315 322 | 0.000 % | c | 121532 | 1551 4888 118029 | 9743 6455 321 | 0.000 % | c | 123240 | 1551 4888 118029 | 10717 8163 321 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 52.9999 s Remaining CPU time: 127 s c =============================================================================== c | 124123 | 1551 4889 118554 | 5000 9046 321 | 0.000 % | c | 124223 | 1551 4889 118554 | 5500 4623 321 | 0.000 % | c | 124373 | 1551 4889 118554 | 6050 4773 321 | 0.000 % | c | 124598 | 1551 4889 118554 | 6655 4998 321 | 0.000 % | c | 124935 | 1551 4889 118554 | 7320 5335 321 | 0.000 % | c | 125441 | 1551 4889 118554 | 8052 5841 321 | 0.000 % | c | 126202 | 1551 4889 118554 | 8857 6602 321 | 0.000 % | c | 127341 | 1551 4889 118554 | 9743 7741 321 | 0.000 % | c | 129050 | 1551 4889 118554 | 10717 9450 320 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 55.5666 s Remaining CPU time: 124.433 s c =============================================================================== c | 130383 | 1551 4890 119079 | 5000 10783 320 | 0.000 % | c | 130483 | 1551 4890 119079 | 5500 2796 320 | 0.000 % | c | 130633 | 1551 4890 119079 | 6050 2946 320 | 0.000 % | c | 130858 | 1551 4890 119079 | 6655 3171 320 | 0.000 % | c | 131195 | 1551 4890 119079 | 7320 3508 320 | 0.000 % | c | 131701 | 1551 4890 119079 | 8052 4014 319 | 0.000 % | c | 132460 | 1551 4890 119079 | 8857 4773 319 | 0.000 % | c | 133599 | 1551 4890 119079 | 9743 5912 319 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 57.0653 s Remaining CPU time: 122.935 s c =============================================================================== c | 133878 | 1551 4891 119604 | 5000 6191 319 | 0.000 % | c | 133978 | 1551 4891 119604 | 5500 3196 319 | 0.000 % | c | 134128 | 1551 4891 119604 | 6050 3346 319 | 0.000 % | c | 134353 | 1551 4891 119604 | 6655 3571 319 | 0.000 % | c | 134690 | 1551 4891 119604 | 7320 3908 319 | 0.000 % | c | 135196 | 1551 4891 119604 | 8052 4414 319 | 0.000 % | c | 135955 | 1551 4891 119604 | 8857 5173 319 | 0.000 % | c | 137094 | 1551 4891 119604 | 9743 6312 319 | 0.000 % | c | 138802 | 1551 4891 119604 | 10717 8020 318 | 0.000 % | c | 141364 | 1551 4891 119604 | 11789 10582 318 | 0.000 % | c | 145208 | 1551 4891 119604 | 12968 8354 318 | 0.000 % | c | 150974 | 1551 4891 119604 | 14265 7475 318 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 66.4849 s Remaining CPU time: 113.515 s c =============================================================================== c | 156762 | 1551 4892 120129 | 5000 13263 318 | 0.000 % | c | 156862 | 1551 4892 120129 | 5500 3416 318 | 0.000 % | c | 157012 | 1551 4892 120129 | 6050 3566 318 | 0.000 % | c | 157237 | 1551 4892 120129 | 6655 3791 318 | 0.000 % | c | 157574 | 1551 4892 120129 | 7320 4128 318 | 0.000 % | c | 158080 | 1551 4892 120129 | 8052 4634 318 | 0.000 % | c | 158839 | 1551 4892 120129 | 8857 5393 317 | 0.000 % | c | 159978 | 1551 4892 120129 | 9743 6532 317 | 0.000 % | c | 161686 | 1551 4892 120129 | 10717 8240 317 | 0.000 % | c | 164248 | 1551 4892 120129 | 11789 10802 317 | 0.000 % | c | 168092 | 1551 4892 120129 | 12968 8585 317 | 0.000 % | c | 173858 | 1551 4892 120129 | 14265 7682 317 | 0.000 % | c | 182507 | 1551 4892 120129 | 15692 9020 317 | 0.000 % | c | 195482 | 1551 4892 120129 | 17261 13942 317 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 83.0944 s Remaining CPU time: 96.9056 s c =============================================================================== c | 195704 | 1551 4893 120654 | 5000 14164 317 | 0.000 % | c | 195804 | 1551 4893 120654 | 5500 3641 317 | 0.000 % | c | 195954 | 1551 4893 120654 | 6050 3791 317 | 0.000 % | c | 196179 | 1551 4893 120654 | 6655 4016 317 | 0.000 % | c | 196516 | 1551 4893 120654 | 7320 4353 317 | 0.000 % | c | 197023 | 1551 4893 120654 | 8052 4860 317 | 0.000 % | c | 197783 | 1551 4893 120654 | 8857 5620 317 | 0.000 % | c | 198923 | 1551 4893 120654 | 9743 6760 317 | 0.000 % | c | 200632 | 1551 4893 120654 | 10717 8469 317 | 0.000 % | c | 203194 | 1551 4893 120654 | 11789 11031 316 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 87.1478 s Remaining CPU time: 92.8522 s c =============================================================================== c | 204638 | 1551 4894 121179 | 5000 6416 316 | 0.000 % | c | 204738 | 1551 4894 121179 | 5500 3308 315 | 0.000 % | c | 204889 | 1551 4894 121179 | 6050 3459 315 | 0.000 % | c | 205114 | 1551 4894 121179 | 6655 3684 315 | 0.000 % | c | 205451 | 1551 4894 121179 | 7320 4021 315 | 0.000 % | c | 205957 | 1551 4894 121179 | 8052 4527 315 | 0.000 % | c | 206716 | 1551 4894 121179 | 8857 5286 315 | 0.000 % | c | 207856 | 1551 4894 121179 | 9743 6426 315 | 0.000 % | c | 209564 | 1551 4894 121179 | 10717 8134 315 | 0.000 % | c | 212126 | 1551 4894 121179 | 11789 10696 315 | 0.000 % | c | 215970 | 1551 4894 121179 | 12968 8481 315 | 0.000 % | c | 221736 | 1551 4894 121179 | 14265 7589 315 | 0.000 % | c | 230385 | 1551 4894 121179 | 15692 8939 315 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 101.878 s Remaining CPU time: 78.1225 s c =============================================================================== c | 235851 | 1551 4895 121704 | 5000 14405 315 | 0.000 % | c | 235951 | 1551 4895 121704 | 5500 3702 315 | 0.000 % | c | 236101 | 1551 4895 121704 | 6050 3852 315 | 0.000 % | c | 236326 | 1551 4895 121704 | 6655 4077 315 | 0.000 % | c | 236663 | 1551 4895 121704 | 7320 4414 315 | 0.000 % | c | 237169 | 1551 4895 121704 | 8052 4920 315 | 0.000 % | c | 237928 | 1551 4895 121704 | 8857 5679 315 | 0.000 % | c | 239067 | 1551 4895 121704 | 9743 6818 315 | 0.000 % | c | 240776 | 1551 4895 121704 | 10717 8527 315 | 0.000 % | c | 243338 | 1551 4895 121704 | 11789 5557 314 | 0.000 % | c | 247182 | 1551 4895 121704 | 12968 9401 314 | 0.000 % | c | 252949 | 1551 4895 121704 | 14265 8514 314 | 0.000 % | c | 261598 | 1551 4895 121704 | 15692 9863 314 | 0.000 % | c | 274572 | 1551 4895 121704 | 17261 14806 314 | 0.000 % |