c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4601 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1547 | c | Number Clauses: 4583 | 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 4583 9681 | 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 | 1547 4584 10206 | 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 4585 10731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1547 4586 11256 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1547 4587 11781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1547 4588 12306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1547 4589 12831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1547 4590 13356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1547 4591 13881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1547 4592 14406 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1547 4593 14931 | 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 | 1547 4594 15456 | 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 | 1547 4595 15981 | 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 4596 16506 | 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 4597 17031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1547 4598 17556 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1547 4599 18081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1547 4600 18606 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1547 4601 19131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1547 4602 19656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1547 4603 20181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1547 4604 20706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1547 4605 21231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1547 4606 21756 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1547 4607 22281 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1547 4608 22806 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1547 4609 23331 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 1547 4610 23856 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1547 4611 24381 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 1 | 1547 4612 24906 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1547 4613 25431 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 1547 4614 25956 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 1547 4615 26481 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1547 4616 27006 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1547 4617 27531 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1547 4618 28056 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1547 4619 28581 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1547 4620 29106 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 1 | 1547 4621 29631 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 1547 4622 30156 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1547 4623 30681 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 1 | 1547 4624 31206 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 1547 4625 31731 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1547 4626 32256 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1547 4627 32781 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 1547 4628 33306 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 1 | 1547 4629 33831 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 1 | 1547 4630 34356 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1 | 1547 4631 34881 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 1 | 1547 4632 35406 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 1 | 1547 4633 35931 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 1 | 1547 4634 36456 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 1 | 1547 4635 36981 | 5000 1 504 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 2 | 1547 4636 37506 | 5000 2 489 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 2 | 1547 4637 38031 | 5000 2 489 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 2 | 1547 4638 38556 | 5000 2 489 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 3 | 1547 4639 39081 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 3 | 1547 4640 39606 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 3 | 1547 4641 40131 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 3 | 1547 4642 40656 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 3 | 1547 4643 41181 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 3 | 1547 4644 41706 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 3 | 1547 4645 42231 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 3 | 1547 4646 42756 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 3 | 1547 4647 43281 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 3 | 1547 4648 43806 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 3 | 1547 4649 44331 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 3 | 1547 4650 44856 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 3 | 1547 4651 45381 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 3 | 1547 4652 45906 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 3 | 1547 4653 46431 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 3 | 1547 4654 46956 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 3 | 1547 4655 47481 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 3 | 1547 4656 48006 | 5000 3 483 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 4 | 1547 4657 48531 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 4 | 1547 4658 49056 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 4 | 1547 4659 49581 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 4 | 1547 4660 50106 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 4 | 1547 4661 50631 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 4 | 1547 4662 51156 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 4 | 1547 4663 51681 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 4 | 1547 4664 52206 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 4 | 1547 4665 52731 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 4 | 1547 4666 53256 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 4 | 1547 4667 53781 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 4 | 1547 4668 54306 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 4 | 1547 4669 54831 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 4 | 1547 4670 55356 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 4 | 1547 4671 55881 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s c =============================================================================== c | 4 | 1547 4672 56406 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 4 | 1547 4673 56931 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 4 | 1547 4674 57456 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 4 | 1547 4675 57981 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 4 | 1547 4676 58506 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 4 | 1547 4677 59031 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 4 | 1547 4678 59556 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 4 | 1547 4679 60081 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 4 | 1547 4680 60606 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 4 | 1547 4681 61131 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 4 | 1547 4682 61656 | 5000 4 476 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 5 | 1547 4683 62181 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 5 | 1547 4684 62706 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s c =============================================================================== c | 5 | 1547 4685 63231 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 5 | 1547 4686 63756 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 5 | 1547 4687 64281 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 5 | 1547 4688 64806 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.633903 s Remaining CPU time: 179.366 s c =============================================================================== c | 5 | 1547 4689 65331 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 5 | 1547 4690 65856 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 5 | 1547 4691 66381 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 5 | 1547 4692 66906 | 5000 5 466 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 6 | 1547 4693 67431 | 5000 6 389 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 6 | 1547 4694 67956 | 5000 6 389 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s c =============================================================================== c | 7 | 1547 4695 68481 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 7 | 1547 4696 69006 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 7 | 1547 4697 69531 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 7 | 1547 4698 70056 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 7 | 1547 4699 70581 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 7 | 1547 4700 71106 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 7 | 1547 4701 71631 | 5000 7 392 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 10 | 1547 4702 72156 | 5000 10 397 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 10 | 1547 4703 72681 | 5000 10 397 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 10 | 1547 4704 73206 | 5000 10 397 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 10 | 1547 4705 73731 | 5000 10 397 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 10 | 1547 4706 74256 | 5000 10 397 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s c =============================================================================== c | 15 | 1547 4707 74781 | 5000 15 399 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.869867 s Remaining CPU time: 179.13 s c =============================================================================== c | 15 | 1547 4708 75306 | 5000 15 399 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s c =============================================================================== c | 20 | 1547 4709 75831 | 5000 20 400 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s c =============================================================================== c | 20 | 1547 4710 76356 | 5000 20 400 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 20 | 1547 4711 76881 | 5000 20 400 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 26 | 1547 4712 77406 | 5000 26 399 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 26 | 1547 4713 77931 | 5000 26 399 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.952855 s Remaining CPU time: 179.047 s c =============================================================================== c | 26 | 1547 4714 78456 | 5000 26 399 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 26 | 1547 4715 78981 | 5000 26 399 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 26 | 1547 4716 79506 | 5000 26 399 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 26 | 1547 4717 80031 | 5000 26 399 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 33 | 1547 4718 80556 | 5000 33 398 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 38 | 1547 4719 81081 | 5000 38 397 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.03984 s Remaining CPU time: 178.96 s c =============================================================================== c | 38 | 1547 4720 81606 | 5000 38 397 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.05384 s Remaining CPU time: 178.946 s c =============================================================================== c | 38 | 1547 4721 82131 | 5000 38 397 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 38 | 1547 4722 82656 | 5000 38 397 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.08483 s Remaining CPU time: 178.915 s c =============================================================================== c | 38 | 1547 4723 83181 | 5000 38 397 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 45 | 1547 4724 83706 | 5000 45 395 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.11783 s Remaining CPU time: 178.882 s c =============================================================================== c | 45 | 1547 4725 84231 | 5000 45 395 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 53 | 1547 4726 84756 | 5000 53 393 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 53 | 1547 4727 85281 | 5000 53 393 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 53 | 1547 4728 85806 | 5000 53 393 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 53 | 1547 4729 86331 | 5000 53 393 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 53 | 1547 4730 86856 | 5000 53 393 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 53 | 1547 4731 87381 | 5000 53 393 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 63 | 1547 4732 87906 | 5000 63 391 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.25381 s Remaining CPU time: 178.746 s c =============================================================================== c | 65 | 1547 4733 88431 | 5000 65 385 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.27181 s Remaining CPU time: 178.728 s c =============================================================================== c | 66 | 1547 4734 88956 | 5000 66 385 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 79 | 1547 4735 89481 | 5000 79 383 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 82 | 1547 4736 90006 | 5000 82 383 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s c =============================================================================== c | 99 | 1547 4737 90531 | 5000 99 381 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.35379 s Remaining CPU time: 178.646 s c =============================================================================== c | 110 | 1547 4738 91056 | 5000 110 380 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 131 | 1547 4739 91581 | 5000 131 379 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 133 | 1547 4740 92106 | 5000 133 379 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.41578 s Remaining CPU time: 178.584 s c =============================================================================== c | 136 | 1547 4741 92631 | 5000 136 378 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 138 | 1547 4742 93156 | 5000 138 378 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 140 | 1547 4743 93681 | 5000 140 378 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 142 | 1547 4744 94206 | 5000 142 378 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.49077 s Remaining CPU time: 178.509 s c =============================================================================== c | 147 | 1547 4745 94731 | 5000 147 377 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.50977 s Remaining CPU time: 178.49 s c =============================================================================== c | 149 | 1547 4746 95256 | 5000 149 377 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 151 | 1547 4747 95781 | 5000 151 377 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 152 | 1547 4748 96306 | 5000 152 377 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.56676 s Remaining CPU time: 178.433 s c =============================================================================== c | 153 | 1547 4749 96831 | 5000 153 377 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.58576 s Remaining CPU time: 178.414 s c =============================================================================== c | 155 | 1547 4750 97356 | 5000 155 376 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 183 | 1547 4751 97881 | 5000 183 374 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s c =============================================================================== c | 186 | 1547 4752 98406 | 5000 186 374 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.66475 s Remaining CPU time: 178.335 s c =============================================================================== c | 231 | 1547 4753 98931 | 5000 231 370 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 248 | 1547 4754 99456 | 5000 248 369 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.71474 s Remaining CPU time: 178.285 s c =============================================================================== c | 252 | 1547 4755 99981 | 5000 252 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.73874 s Remaining CPU time: 178.261 s c =============================================================================== c | 267 | 1547 4756 100506 | 5000 267 368 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.75973 s Remaining CPU time: 178.24 s c =============================================================================== c | 269 | 1547 4757 101031 | 5000 269 368 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.78673 s Remaining CPU time: 178.213 s c =============================================================================== c | 294 | 1547 4758 101556 | 5000 294 367 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.81072 s Remaining CPU time: 178.189 s c =============================================================================== c | 308 | 1547 4759 102081 | 5000 308 366 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.84172 s Remaining CPU time: 178.158 s c =============================================================================== c | 332 | 1547 4760 102606 | 5000 332 365 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s c =============================================================================== c | 348 | 1547 4761 103131 | 5000 348 364 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 365 | 1547 4762 103656 | 5000 365 363 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 369 | 1547 4763 104181 | 5000 369 363 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.93571 s Remaining CPU time: 178.064 s c =============================================================================== c | 374 | 1547 4764 104706 | 5000 374 363 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 376 | 1547 4765 105231 | 5000 376 363 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s c =============================================================================== c | 392 | 1547 4766 105756 | 5000 392 362 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 392 | 1547 4767 106281 | 5000 392 362 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 402 | 1547 4768 106806 | 5000 402 362 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.05069 s Remaining CPU time: 177.949 s c =============================================================================== c | 404 | 1547 4769 107331 | 5000 404 362 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 408 | 1547 4770 107856 | 5000 408 361 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.09568 s Remaining CPU time: 177.904 s c =============================================================================== c | 412 | 1547 4771 108381 | 5000 412 361 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.13368 s Remaining CPU time: 177.866 s c =============================================================================== c | 471 | 1547 4772 108906 | 5000 471 358 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.16367 s Remaining CPU time: 177.836 s c =============================================================================== c | 497 | 1547 4773 109431 | 5000 497 357 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.19567 s Remaining CPU time: 177.804 s c =============================================================================== c | 535 | 1547 4774 109956 | 5000 535 356 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s c =============================================================================== c | 555 | 1547 4775 110481 | 5000 555 355 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.26565 s Remaining CPU time: 177.734 s c =============================================================================== c | 618 | 1547 4776 111006 | 5000 618 353 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.31465 s Remaining CPU time: 177.685 s c =============================================================================== c | 706 | 1547 4777 111531 | 5000 706 350 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.34064 s Remaining CPU time: 177.659 s c =============================================================================== c | 717 | 1547 4778 112056 | 5000 717 350 | 0.000 % | c | 817 | 1547 4778 112056 | 5500 817 348 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.42363 s Remaining CPU time: 177.576 s c =============================================================================== c | 854 | 1547 4779 112581 | 5000 854 347 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.44663 s Remaining CPU time: 177.553 s c =============================================================================== c | 857 | 1547 4780 113106 | 5000 857 347 | 0.000 % | c | 957 | 1547 4780 113106 | 5500 957 345 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s c =============================================================================== c | 989 | 1547 4781 113631 | 5000 989 345 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.55461 s Remaining CPU time: 177.445 s c =============================================================================== c | 1012 | 1547 4782 114156 | 5000 1012 344 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 1065 | 1547 4783 114681 | 5000 1065 343 | 0.000 % | c | 1165 | 1547 4783 114681 | 5500 1165 342 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.67759 s Remaining CPU time: 177.322 s c =============================================================================== c | 1178 | 1547 4784 115206 | 5000 1178 342 | 0.000 % | c | 1279 | 1547 4784 115206 | 5500 1279 341 | 0.000 % | c | 1429 | 1547 4784 115206 | 6050 1429 339 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.83757 s Remaining CPU time: 177.162 s c =============================================================================== c | 1505 | 1547 4785 115731 | 5000 1505 338 | 0.000 % | c | 1605 | 1547 4785 115731 | 5500 1605 337 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.92656 s Remaining CPU time: 177.073 s c =============================================================================== c | 1650 | 1547 4786 116256 | 5000 1650 337 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.96755 s Remaining CPU time: 177.032 s c =============================================================================== c | 1707 | 1547 4787 116781 | 5000 1707 337 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 3.01854 s Remaining CPU time: 176.981 s c =============================================================================== c | 1790 | 1547 4788 117306 | 5000 1790 336 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 3.06453 s Remaining CPU time: 176.935 s c =============================================================================== c | 1873 | 1547 4789 117831 | 5000 1873 335 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 3.10153 s Remaining CPU time: 176.898 s c =============================================================================== c | 1912 | 1547 4790 118356 | 5000 1912 335 | 0.000 % | c | 2012 | 1547 4790 118356 | 5500 2012 334 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 3.16952 s Remaining CPU time: 176.83 s c =============================================================================== c | 2020 | 1547 4791 118881 | 5000 2020 334 | 0.000 % | c | 2120 | 1547 4791 118881 | 5500 2120 333 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 3.2515 s Remaining CPU time: 176.748 s c =============================================================================== c | 2135 | 1547 4792 119406 | 5000 2135 333 | 0.000 % | c | 2235 | 1547 4792 119406 | 5500 2235 333 | 0.000 % | c | 2386 | 1547 4792 119406 | 6050 2386 332 | 0.000 % | c | 2611 | 1547 4792 119406 | 6655 2611 330 | 0.000 % | c | 2949 | 1547 4792 119406 | 7320 2949 329 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 3.71344 s Remaining CPU time: 176.287 s c =============================================================================== c | 3264 | 1547 4793 119931 | 5000 3264 328 | 0.000 % | c | 3364 | 1547 4793 119931 | 5500 3364 327 | 0.000 % | c | 3514 | 1547 4793 119931 | 6050 3514 327 | 0.000 % | c | 3740 | 1547 4793 119931 | 6655 3740 326 | 0.000 % | c | 4078 | 1547 4793 119931 | 7320 4078 325 | 0.000 % | c | 4584 | 1547 4793 119931 | 8052 4584 325 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 4.32434 s Remaining CPU time: 175.676 s c =============================================================================== c | 4886 | 1547 4794 120456 | 5000 4886 324 | 0.000 % | c | 4986 | 1547 4794 120456 | 5500 4986 324 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 4.41333 s Remaining CPU time: 175.587 s c =============================================================================== c | 5016 | 1547 4795 120981 | 5000 5016 324 | 0.000 % | c | 5117 | 1547 4795 120981 | 5500 2609 317 | 0.000 % | c | 5268 | 1547 4795 120981 | 6050 2760 317 | 0.000 % | c | 5493 | 1547 4795 120981 | 6655 2985 316 | 0.000 % | c | 5830 | 1547 4795 120981 | 7320 3322 316 | 0.000 % | c | 6337 | 1547 4795 120981 | 8052 3829 316 | 0.000 % | c | 7096 | 1547 4795 120981 | 8857 4588 316 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 5.47517 s Remaining CPU time: 174.525 s c =============================================================================== c | 8144 | 1547 4796 121506 | 5000 5636 316 | 0.000 % | c | 8244 | 1547 4796 121506 | 5500 2918 315 | 0.000 % | c | 8394 | 1547 4796 121506 | 6050 3068 315 | 0.000 % | c | 8619 | 1547 4796 121506 | 6655 3293 315 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 5.81312 s Remaining CPU time: 174.187 s c =============================================================================== c | 8878 | 1547 4797 122031 | 5000 3552 315 | 0.000 % | c | 8978 | 1547 4797 122031 | 5500 3652 314 | 0.000 % | c | 9128 | 1547 4797 122031 | 6050 3802 314 | 0.000 % | c | 9353 | 1547 4797 122031 | 6655 4027 314 | 0.000 % | c | 9690 | 1547 4797 122031 | 7320 4364 314 | 0.000 % | c | 10197 | 1547 4797 122031 | 8052 4871 314 | 0.000 % | c | 10956 | 1547 4797 122031 | 8857 5630 314 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 6.81896 s Remaining CPU time: 173.181 s c =============================================================================== c | 11211 | 1547 4798 122556 | 5000 5885 314 | 0.000 % | c | 11311 | 1547 4798 122556 | 5500 3043 313 | 0.000 % | c | 11462 | 1547 4798 122556 | 6050 3194 313 | 0.000 % | c | 11688 | 1547 4798 122556 | 6655 3420 313 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 7.18691 s Remaining CPU time: 172.813 s c =============================================================================== c | 11859 | 1547 4799 123081 | 5000 3591 313 | 0.000 % | c | 11959 | 1547 4799 123081 | 5500 3691 313 | 0.000 % | c | 12109 | 1547 4799 123081 | 6050 3841 312 | 0.000 % | c | 12334 | 1547 4799 123081 | 6655 4066 312 | 0.000 % | c | 12671 | 1547 4799 123081 | 7320 4403 312 | 0.000 % | c | 13177 | 1547 4799 123081 | 8052 4909 312 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 8.13076 s Remaining CPU time: 171.869 s c =============================================================================== c | 13898 | 1547 4800 123606 | 5000 5630 312 | 0.000 % | c | 13999 | 1547 4800 123606 | 5500 2916 311 | 0.000 % | c | 14149 | 1547 4800 123606 | 6050 3066 311 | 0.000 % | c | 14374 | 1547 4800 123606 | 6655 3291 311 | 0.000 % | c | 14711 | 1547 4800 123606 | 7320 3628 311 | 0.000 % | c | 15217 | 1547 4800 123606 | 8052 4134 311 | 0.000 % | c | 15976 | 1547 4800 123606 | 8857 4893 310 | 0.000 % | c | 17115 | 1547 4800 123606 | 9743 6032 310 | 0.000 % | c | 18824 | 1547 4800 123606 | 10717 7741 310 | 0.000 % | c | 21386 | 1547 4800 123606 | 11789 10303 310 | 0.000 % | c | 25230 | 1547 4800 123606 | 12968 8077 310 | 0.000 % | c | 30996 | 1547 4800 123606 | 14265 7176 310 | 0.000 % | c | 39645 | 1547 4800 123606 | 15692 8512 310 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 19.856 s Remaining CPU time: 160.144 s c =============================================================================== c | 41944 | 1547 4801 124131 | 5000 10811 310 | 0.000 % | c | 42044 | 1547 4801 124131 | 5500 2803 310 | 0.000 % | c | 42194 | 1547 4801 124131 | 6050 2953 310 | 0.000 % | c | 42419 | 1547 4801 124131 | 6655 3178 310 | 0.000 % | c | 42756 | 1547 4801 124131 | 7320 3515 310 | 0.000 % | c | 43263 | 1547 4801 124131 | 8052 4022 310 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 20.7059 s Remaining CPU time: 159.294 s c =============================================================================== c | 43870 | 1547 4802 124656 | 5000 4629 309 | 0.000 % | c | 43971 | 1547 4802 124656 | 5500 4730 309 | 0.000 % | c | 44123 | 1547 4802 124656 | 6050 4882 309 | 0.000 % | c | 44348 | 1547 4802 124656 | 6655 5107 309 | 0.000 % | c | 44685 | 1547 4802 124656 | 7320 5444 309 | 0.000 % | c | 45191 | 1547 4802 124656 | 8052 5950 309 | 0.000 % | c | 45951 | 1547 4802 124656 | 8857 6710 309 | 0.000 % | c | 47090 | 1547 4802 124656 | 9743 7849 309 | 0.000 % | c | 48798 | 1547 4802 124656 | 10717 9557 309 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 23.6964 s Remaining CPU time: 156.304 s c =============================================================================== c | 50831 | 1547 4803 125181 | 5000 6071 308 | 0.000 % | c | 50931 | 1547 4803 125181 | 5500 3136 308 | 0.000 % | c | 51081 | 1547 4803 125181 | 6050 3286 308 | 0.000 % | c | 51306 | 1547 4803 125181 | 6655 3511 308 | 0.000 % | c | 51643 | 1547 4803 125181 | 7320 3848 308 | 0.000 % | c | 52150 | 1547 4803 125181 | 8052 4355 307 | 0.000 % | c | 52909 | 1547 4803 125181 | 8857 5114 307 | 0.000 % | c | 54048 | 1547 4803 125181 | 9743 6253 307 | 0.000 % | c | 55756 | 1547 4803 125181 | 10717 7961 307 | 0.000 % | c | 58318 | 1547 4803 125181 | 11789 10523 307 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 27.1879 s Remaining CPU time: 152.812 s c =============================================================================== c | 59217 | 1547 4804 125706 | 5000 11422 307 | 0.000 % | c | 59317 | 1547 4804 125706 | 5500 2956 307 | 0.000 % | c | 59467 | 1547 4804 125706 | 6050 3106 307 | 0.000 % | c | 59692 | 1547 4804 125706 | 6655 3331 306 | 0.000 % | c | 60029 | 1547 4804 125706 | 7320 3668 306 | 0.000 % | c | 60535 | 1547 4804 125706 | 8052 4174 306 | 0.000 % | c | 61294 | 1547 4804 125706 | 8857 4933 306 | 0.000 % | c | 62433 | 1547 4804 125706 | 9743 6072 306 | 0.000 % | c | 64141 | 1547 4804 125706 | 10717 7780 306 | 0.000 % | c | 66703 | 1547 4804 125706 | 11789 10342 306 | 0.000 % | c | 70548 | 1547 4804 125706 | 12968 8107 306 | 0.000 % | c | 76315 | 1547 4804 125706 | 14265 7216 306 | 0.000 % | c | 84964 | 1547 4804 125706 | 15692 8528 306 | 0.000 % | c | 97939 | 1547 4804 125706 | 17261 13487 306 | 0.000 % | c | 117400 | 1547 4804 125706 | 18987 15315 306 | 0.000 % | c | 146593 | 1547 4804 125706 | 20886 15513 306 | 0.000 % | c | 190382 | 1547 4804 125706 | 22974 16373 307 | 0.000 % | c | 256066 | 1547 4804 125706 | 25272 18726 306 | 0.000 % |