c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4674 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1549 | c | Number Clauses: 4661 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1549 4661 9840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1549 4662 10362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1549 4663 10884 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1549 4664 11406 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1549 4665 11928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1549 4666 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1549 4667 12972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1549 4668 13494 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1549 4669 14016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1549 4670 14538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1549 4671 15060 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1549 4672 15582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1549 4673 16104 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1549 4674 16626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1549 4675 17148 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1549 4676 17670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1549 4677 18192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1549 4678 18714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 1549 4679 19236 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 1 | 1549 4680 19758 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 1549 4681 20280 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 1549 4682 20802 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 1549 4683 21324 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 1549 4684 21846 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 1549 4685 22368 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1549 4686 22890 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 1549 4687 23412 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1549 4688 23934 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1549 4689 24456 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 1549 4690 24978 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1549 4691 25500 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 1549 4692 26022 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1549 4693 26544 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1549 4694 27066 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1549 4695 27588 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 1549 4696 28110 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1549 4697 28632 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1549 4698 29154 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 1549 4699 29676 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 1549 4700 30198 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1549 4701 30720 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 1 | 1549 4702 31242 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1549 4703 31764 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 1 | 1549 4704 32286 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 1 | 1549 4705 32808 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 1 | 1549 4706 33330 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 1 | 1549 4707 33852 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 1549 4708 34374 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 1 | 1549 4709 34896 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 1 | 1549 4710 35418 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 1 | 1549 4711 35940 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 1 | 1549 4712 36462 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 1 | 1549 4713 36984 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 1 | 1549 4714 37506 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 1 | 1549 4715 38028 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 1 | 1549 4716 38550 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 1 | 1549 4717 39072 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 1 | 1549 4718 39594 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 1 | 1549 4719 40116 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 2 | 1549 4720 40638 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 2 | 1549 4721 41160 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 2 | 1549 4722 41682 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 2 | 1549 4723 42204 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 2 | 1549 4724 42726 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 2 | 1549 4725 43248 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 2 | 1549 4726 43770 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 2 | 1549 4727 44292 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 2 | 1549 4728 44814 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 2 | 1549 4729 45336 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 2 | 1549 4730 45858 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 2 | 1549 4731 46380 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 2 | 1549 4732 46902 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 2 | 1549 4733 47424 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 2 | 1549 4734 47946 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 2 | 1549 4735 48468 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 2 | 1549 4736 48990 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 2 | 1549 4737 49512 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 2 | 1549 4738 50034 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 2 | 1549 4739 50556 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 2 | 1549 4740 51078 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 2 | 1549 4741 51600 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 2 | 1549 4742 52122 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 2 | 1549 4743 52644 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 2 | 1549 4744 53166 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 2 | 1549 4745 53688 | 5000 2 486 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 3 | 1549 4746 54210 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 3 | 1549 4747 54732 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 3 | 1549 4748 55254 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 3 | 1549 4749 55776 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 3 | 1549 4750 56298 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 3 | 1549 4751 56820 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 3 | 1549 4752 57342 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 3 | 1549 4753 57864 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 4 | 1549 4754 58386 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 4 | 1549 4755 58908 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 4 | 1549 4756 59430 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 4 | 1549 4757 59952 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 4 | 1549 4758 60474 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 4 | 1549 4759 60996 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 4 | 1549 4760 61518 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 4 | 1549 4761 62040 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 4 | 1549 4762 62562 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 4 | 1549 4763 63084 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 4 | 1549 4764 63606 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 4 | 1549 4765 64128 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 4 | 1549 4766 64650 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 5 | 1549 4767 65172 | 5000 5 365 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 5 | 1549 4768 65694 | 5000 5 365 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 5 | 1549 4769 66216 | 5000 5 365 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 5 | 1549 4770 66738 | 5000 5 365 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 8 | 1549 4771 67260 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 8 | 1549 4772 67782 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 8 | 1549 4773 68304 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 8 | 1549 4774 68826 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 8 | 1549 4775 69348 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 8 | 1549 4776 69870 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 8 | 1549 4777 70392 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 8 | 1549 4778 70914 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 8 | 1549 4779 71436 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 8 | 1549 4780 71958 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 8 | 1549 4781 72480 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 8 | 1549 4782 73002 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 8 | 1549 4783 73524 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 8 | 1549 4784 74046 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 8 | 1549 4785 74568 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 8 | 1549 4786 75090 | 5000 8 383 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s c =============================================================================== c | 21 | 1549 4787 75612 | 5000 21 393 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 21 | 1549 4788 76134 | 5000 21 393 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 26 | 1549 4789 76656 | 5000 26 393 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 26 | 1549 4790 77178 | 5000 26 393 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 26 | 1549 4791 77700 | 5000 26 393 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s c =============================================================================== c | 26 | 1549 4792 78222 | 5000 26 393 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.05984 s Remaining CPU time: 178.94 s c =============================================================================== c | 28 | 1549 4793 78744 | 5000 28 379 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 28 | 1549 4794 79266 | 5000 28 379 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 28 | 1549 4795 79788 | 5000 28 379 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 28 | 1549 4796 80310 | 5000 28 379 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.12783 s Remaining CPU time: 178.872 s c =============================================================================== c | 28 | 1549 4797 80832 | 5000 28 379 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 28 | 1549 4798 81354 | 5000 28 379 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.16382 s Remaining CPU time: 178.836 s c =============================================================================== c | 29 | 1549 4799 81876 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 29 | 1549 4800 82398 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 29 | 1549 4801 82920 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 29 | 1549 4802 83442 | 5000 29 380 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 38 | 1549 4803 83964 | 5000 38 380 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 38 | 1549 4804 84486 | 5000 38 380 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 38 | 1549 4805 85008 | 5000 38 380 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.2948 s Remaining CPU time: 178.705 s c =============================================================================== c | 38 | 1549 4806 85530 | 5000 38 380 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 38 | 1549 4807 86052 | 5000 38 380 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 39 | 1549 4808 86574 | 5000 39 380 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s c =============================================================================== c | 39 | 1549 4809 87096 | 5000 39 380 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.37479 s Remaining CPU time: 178.625 s c =============================================================================== c | 39 | 1549 4810 87618 | 5000 39 380 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 39 | 1549 4811 88140 | 5000 39 380 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.41578 s Remaining CPU time: 178.584 s c =============================================================================== c | 39 | 1549 4812 88662 | 5000 39 380 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.43778 s Remaining CPU time: 178.562 s c =============================================================================== c | 46 | 1549 4813 89184 | 5000 46 379 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 55 | 1549 4814 89706 | 5000 55 378 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 55 | 1549 4815 90228 | 5000 55 378 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 55 | 1549 4816 90750 | 5000 55 378 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 55 | 1549 4817 91272 | 5000 55 378 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.54277 s Remaining CPU time: 178.457 s c =============================================================================== c | 60 | 1549 4818 91794 | 5000 60 377 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 61 | 1549 4819 92316 | 5000 61 377 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.58576 s Remaining CPU time: 178.414 s c =============================================================================== c | 61 | 1549 4820 92838 | 5000 61 377 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.61375 s Remaining CPU time: 178.386 s c =============================================================================== c | 85 | 1549 4821 93360 | 5000 85 373 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s c =============================================================================== c | 85 | 1549 4822 93882 | 5000 85 373 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 89 | 1549 4823 94404 | 5000 89 373 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.67874 s Remaining CPU time: 178.321 s c =============================================================================== c | 89 | 1549 4824 94926 | 5000 89 373 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 89 | 1549 4825 95448 | 5000 89 373 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.72474 s Remaining CPU time: 178.275 s c =============================================================================== c | 92 | 1549 4826 95970 | 5000 92 372 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.74673 s Remaining CPU time: 178.253 s c =============================================================================== c | 92 | 1549 4827 96492 | 5000 92 372 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.76873 s Remaining CPU time: 178.231 s c =============================================================================== c | 92 | 1549 4828 97014 | 5000 92 372 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.79073 s Remaining CPU time: 178.209 s c =============================================================================== c | 92 | 1549 4829 97536 | 5000 92 372 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.81772 s Remaining CPU time: 178.182 s c =============================================================================== c | 110 | 1549 4830 98058 | 5000 110 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 110 | 1549 4831 98580 | 5000 110 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s c =============================================================================== c | 119 | 1549 4832 99102 | 5000 119 368 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 120 | 1549 4833 99624 | 5000 120 368 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 120 | 1549 4834 100146 | 5000 120 368 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.93771 s Remaining CPU time: 178.062 s c =============================================================================== c | 120 | 1549 4835 100668 | 5000 120 368 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 124 | 1549 4836 101190 | 5000 124 368 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 124 | 1549 4837 101712 | 5000 124 368 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.01069 s Remaining CPU time: 177.989 s c =============================================================================== c | 124 | 1549 4838 102234 | 5000 124 368 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 124 | 1549 4839 102756 | 5000 124 368 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.06369 s Remaining CPU time: 177.936 s c =============================================================================== c | 143 | 1549 4840 103278 | 5000 143 365 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.08868 s Remaining CPU time: 177.911 s c =============================================================================== c | 145 | 1549 4841 103800 | 5000 145 364 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.11668 s Remaining CPU time: 177.883 s c =============================================================================== c | 156 | 1549 4842 104322 | 5000 156 363 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 167 | 1549 4843 104844 | 5000 167 361 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.17567 s Remaining CPU time: 177.824 s c =============================================================================== c | 183 | 1549 4844 105366 | 5000 183 360 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 187 | 1549 4845 105888 | 5000 187 359 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.23066 s Remaining CPU time: 177.769 s c =============================================================================== c | 199 | 1549 4846 106410 | 5000 199 358 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.25566 s Remaining CPU time: 177.744 s c =============================================================================== c | 201 | 1549 4847 106932 | 5000 201 358 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.28565 s Remaining CPU time: 177.714 s c =============================================================================== c | 225 | 1549 4848 107454 | 5000 225 356 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.32065 s Remaining CPU time: 177.679 s c =============================================================================== c | 268 | 1549 4849 107976 | 5000 268 353 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.35064 s Remaining CPU time: 177.649 s c =============================================================================== c | 285 | 1549 4850 108498 | 5000 285 352 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.37964 s Remaining CPU time: 177.62 s c =============================================================================== c | 299 | 1549 4851 109020 | 5000 299 351 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.40663 s Remaining CPU time: 177.593 s c =============================================================================== c | 303 | 1549 4852 109542 | 5000 303 350 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.44563 s Remaining CPU time: 177.554 s c =============================================================================== c | 344 | 1549 4853 110064 | 5000 344 348 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.47162 s Remaining CPU time: 177.528 s c =============================================================================== c | 344 | 1549 4854 110586 | 5000 344 348 | 0.000 % | c | 445 | 1549 4854 110586 | 5500 445 344 | 0.000 % | c | 595 | 1549 4854 110586 | 6050 595 341 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.6266 s Remaining CPU time: 177.373 s c =============================================================================== c | 615 | 1549 4855 111108 | 5000 615 341 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.67559 s Remaining CPU time: 177.324 s c =============================================================================== c | 676 | 1549 4856 111630 | 5000 676 340 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.70459 s Remaining CPU time: 177.295 s c =============================================================================== c | 680 | 1549 4857 112152 | 5000 680 340 | 0.000 % | c | 780 | 1549 4857 112152 | 5500 780 338 | 0.000 % | c | 930 | 1549 4857 112152 | 6050 930 337 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.87356 s Remaining CPU time: 177.126 s c =============================================================================== c | 964 | 1549 4858 112674 | 5000 964 336 | 0.000 % | c | 1064 | 1549 4858 112674 | 5500 1064 335 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.97855 s Remaining CPU time: 177.021 s c =============================================================================== c | 1130 | 1549 4859 113196 | 5000 1130 335 | 0.000 % | c | 1231 | 1549 4859 113196 | 5500 1231 334 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s c =============================================================================== c | 1232 | 1549 4860 113718 | 5000 1232 334 | 0.000 % | c | 1332 | 1549 4860 113718 | 5500 1332 334 | 0.000 % | c | 1482 | 1549 4860 113718 | 6050 1482 333 | 0.000 % | c | 1707 | 1549 4860 113718 | 6655 1707 332 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 3.44948 s Remaining CPU time: 176.551 s c =============================================================================== c | 2021 | 1549 4861 114240 | 5000 2021 331 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 3.48847 s Remaining CPU time: 176.512 s c =============================================================================== c | 2042 | 1549 4862 114762 | 5000 2042 331 | 0.000 % | c | 2142 | 1549 4862 114762 | 5500 2142 330 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 2162 | 1549 4863 115284 | 5000 2162 330 | 0.000 % | c | 2263 | 1549 4863 115284 | 5500 2263 330 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s c =============================================================================== c | 2283 | 1549 4864 115806 | 5000 2283 330 | 0.000 % | c | 2384 | 1549 4864 115806 | 5500 2384 329 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 3.78442 s Remaining CPU time: 176.216 s c =============================================================================== c | 2401 | 1549 4865 116328 | 5000 2401 329 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 3.85141 s Remaining CPU time: 176.149 s c =============================================================================== c | 2479 | 1549 4866 116850 | 5000 2479 329 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 3.89141 s Remaining CPU time: 176.109 s c =============================================================================== c | 2505 | 1549 4867 117372 | 5000 2505 329 | 0.000 % | c | 2606 | 1549 4867 117372 | 5500 2606 329 | 0.000 % | c | 2756 | 1549 4867 117372 | 6050 2756 328 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 4.08838 s Remaining CPU time: 175.912 s c =============================================================================== c | 2794 | 1549 4868 117894 | 5000 2794 328 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 4.12637 s Remaining CPU time: 175.874 s c =============================================================================== c | 2809 | 1549 4869 118416 | 5000 2809 328 | 0.000 % | c | 2909 | 1549 4869 118416 | 5500 2909 327 | 0.000 % | c | 3059 | 1549 4869 118416 | 6050 3059 327 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 4.31534 s Remaining CPU time: 175.685 s c =============================================================================== c | 3085 | 1549 4870 118938 | 5000 3085 327 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 4.35434 s Remaining CPU time: 175.646 s c =============================================================================== c | 3110 | 1549 4871 119460 | 5000 3110 327 | 0.000 % | c | 3210 | 1549 4871 119460 | 5500 3210 326 | 0.000 % | c | 3360 | 1549 4871 119460 | 6050 3360 326 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 4.55731 s Remaining CPU time: 175.443 s c =============================================================================== c | 3371 | 1549 4872 119982 | 5000 3371 326 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 4.6183 s Remaining CPU time: 175.382 s c =============================================================================== c | 3451 | 1549 4873 120504 | 5000 3451 325 | 0.000 % | c | 3551 | 1549 4873 120504 | 5500 3551 325 | 0.000 % | c | 3702 | 1549 4873 120504 | 6050 3702 324 | 0.000 % | c | 3927 | 1549 4873 120504 | 6655 3927 324 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 4.93325 s Remaining CPU time: 175.067 s c =============================================================================== c | 3953 | 1549 4874 121026 | 5000 3953 324 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 4.96525 s Remaining CPU time: 175.035 s c =============================================================================== c | 3962 | 1549 4875 121548 | 5000 3962 324 | 0.000 % | c | 4063 | 1549 4875 121548 | 5500 4063 323 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 5.06923 s Remaining CPU time: 174.931 s c =============================================================================== c | 4097 | 1549 4876 122070 | 5000 4097 323 | 0.000 % | c | 4197 | 1549 4876 122070 | 5500 4197 323 | 0.000 % | c | 4347 | 1549 4876 122070 | 6050 4347 322 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 5.37418 s Remaining CPU time: 174.626 s c =============================================================================== c | 4567 | 1549 4877 122592 | 5000 4567 322 | 0.000 % | c | 4667 | 1549 4877 122592 | 5500 4667 321 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 5.48417 s Remaining CPU time: 174.516 s c =============================================================================== c | 4705 | 1549 4878 123114 | 5000 4705 321 | 0.000 % | c | 4805 | 1549 4878 123114 | 5500 4805 321 | 0.000 % | c | 4955 | 1549 4878 123114 | 6050 4955 320 | 0.000 % | c | 5180 | 1549 4878 123114 | 6655 5180 320 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 5.80912 s Remaining CPU time: 174.191 s c =============================================================================== c | 5231 | 1549 4879 123636 | 5000 5231 320 | 0.000 % | c | 5331 | 1549 4879 123636 | 5500 2716 311 | 0.000 % | c | 5481 | 1549 4879 123636 | 6050 2866 310 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 6.05108 s Remaining CPU time: 173.949 s c =============================================================================== c | 5593 | 1549 4880 124158 | 5000 2978 310 | 0.000 % | c | 5693 | 1549 4880 124158 | 5500 3078 310 | 0.000 % | c | 5843 | 1549 4880 124158 | 6050 3228 310 | 0.000 % | c | 6068 | 1549 4880 124158 | 6655 3453 309 | 0.000 % | c | 6405 | 1549 4880 124158 | 7320 3790 309 | 0.000 % | c | 6911 | 1549 4880 124158 | 8052 4296 309 | 0.000 % | c | 7670 | 1549 4880 124158 | 8857 5055 308 | 0.000 % | c | 8809 | 1549 4880 124158 | 9743 6194 308 | 0.000 % | c | 10517 | 1549 4880 124158 | 10717 7902 307 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 8.92664 s Remaining CPU time: 171.073 s c =============================================================================== c | 11903 | 1549 4881 124680 | 5000 9288 307 | 0.000 % | c | 12003 | 1549 4881 124680 | 5500 4744 305 | 0.000 % | c | 12153 | 1549 4881 124680 | 6050 4894 305 | 0.000 % | c | 12378 | 1549 4881 124680 | 6655 5119 305 | 0.000 % | c | 12715 | 1549 4881 124680 | 7320 5456 305 | 0.000 % | c | 13221 | 1549 4881 124680 | 8052 5962 305 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 9.81451 s Remaining CPU time: 170.185 s c =============================================================================== c | 13458 | 1549 4882 125202 | 5000 6199 305 | 0.000 % | c | 13558 | 1549 4882 125202 | 5500 3200 305 | 0.000 % | c | 13708 | 1549 4882 125202 | 6050 3350 305 | 0.000 % | c | 13933 | 1549 4882 125202 | 6655 3575 304 | 0.000 % | c | 14271 | 1549 4882 125202 | 7320 3913 304 | 0.000 % | c | 14777 | 1549 4882 125202 | 8052 4419 304 | 0.000 % | c | 15536 | 1549 4882 125202 | 8857 5178 304 | 0.000 % | c | 16675 | 1549 4882 125202 | 9743 6317 304 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 11.5762 s Remaining CPU time: 168.424 s c =============================================================================== c | 16818 | 1549 4883 125724 | 5000 6460 304 | 0.000 % | c | 16919 | 1549 4883 125724 | 5500 3331 303 | 0.000 % | c | 17069 | 1549 4883 125724 | 6050 3481 303 | 0.000 % | c | 17294 | 1549 4883 125724 | 6655 3706 303 | 0.000 % | c | 17631 | 1549 4883 125724 | 7320 4043 303 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 12.3451 s Remaining CPU time: 167.655 s c =============================================================================== c | 18046 | 1549 4884 126246 | 5000 4458 303 | 0.000 % | c | 18146 | 1549 4884 126246 | 5500 4558 303 | 0.000 % | c | 18297 | 1549 4884 126246 | 6050 4709 303 | 0.000 % | c | 18522 | 1549 4884 126246 | 6655 4934 303 | 0.000 % | c | 18859 | 1549 4884 126246 | 7320 5271 302 | 0.000 % | c | 19366 | 1549 4884 126246 | 8052 5778 302 | 0.000 % | c | 20125 | 1549 4884 126246 | 8857 6537 302 | 0.000 % | c | 21264 | 1549 4884 126246 | 9743 7676 302 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 14.0509 s Remaining CPU time: 165.949 s c =============================================================================== c | 21640 | 1549 4885 126768 | 5000 8052 302 | 0.000 % | c | 21741 | 1549 4885 126768 | 5500 4127 301 | 0.000 % | c | 21891 | 1549 4885 126768 | 6050 4277 301 | 0.000 % | c | 22116 | 1549 4885 126768 | 6655 4502 301 | 0.000 % | c | 22454 | 1549 4885 126768 | 7320 4840 301 | 0.000 % | c | 22960 | 1549 4885 126768 | 8052 5346 301 | 0.000 % | c | 23720 | 1549 4885 126768 | 8857 6106 301 | 0.000 % | c | 24860 | 1549 4885 126768 | 9743 7246 301 | 0.000 % | c | 26569 | 1549 4885 126768 | 10717 8955 300 | 0.000 % | c | 29131 | 1549 4885 126768 | 11789 5988 300 | 0.000 % | c | 32975 | 1549 4885 126768 | 12968 9832 300 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 20.7368 s Remaining CPU time: 159.263 s c =============================================================================== c | 34863 | 1549 4886 127290 | 5000 11720 300 | 0.000 % | c | 34964 | 1549 4886 127290 | 5500 3031 300 | 0.000 % | c | 35114 | 1549 4886 127290 | 6050 3181 300 | 0.000 % | c | 35339 | 1549 4886 127290 | 6655 3406 300 | 0.000 % | c | 35676 | 1549 4886 127290 | 7320 3743 300 | 0.000 % | c | 36182 | 1549 4886 127290 | 8052 4249 300 | 0.000 % | c | 36941 | 1549 4886 127290 | 8857 5008 300 | 0.000 % | c | 38080 | 1549 4886 127290 | 9743 6147 300 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 22.7785 s Remaining CPU time: 157.221 s c =============================================================================== c | 38627 | 1549 4887 127812 | 5000 6694 299 | 0.000 % | c | 38728 | 1549 4887 127812 | 5500 3448 299 | 0.000 % | c | 38878 | 1549 4887 127812 | 6050 3598 299 | 0.000 % | c | 39103 | 1549 4887 127812 | 6655 3823 299 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 23.1585 s Remaining CPU time: 156.842 s c =============================================================================== c | 39210 | 1549 4888 128334 | 5000 3930 299 | 0.000 % | c | 39310 | 1549 4888 128334 | 5500 4030 299 | 0.000 % | c | 39461 | 1549 4888 128334 | 6050 4181 298 | 0.000 % | c | 39686 | 1549 4888 128334 | 6655 4406 298 | 0.000 % | c | 40024 | 1549 4888 128334 | 7320 4744 298 | 0.000 % | c | 40531 | 1549 4888 128334 | 8052 5251 298 | 0.000 % | c | 41290 | 1549 4888 128334 | 8857 6010 298 | 0.000 % | c | 42429 | 1549 4888 128334 | 9743 7149 298 | 0.000 % | c | 44137 | 1549 4888 128334 | 10717 8857 298 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 26.7979 s Remaining CPU time: 153.202 s c =============================================================================== c | 46502 | 1549 4889 128856 | 5000 5677 297 | 0.000 % | c | 46602 | 1549 4889 128856 | 5500 2939 297 | 0.000 % | c | 46752 | 1549 4889 128856 | 6050 3089 297 | 0.000 % | c | 46978 | 1549 4889 128856 | 6655 3315 297 | 0.000 % | c | 47315 | 1549 4889 128856 | 7320 3652 297 | 0.000 % | c | 47821 | 1549 4889 128856 | 8052 4158 296 | 0.000 % | c | 48580 | 1549 4889 128856 | 8857 4917 296 | 0.000 % | c | 49719 | 1549 4889 128856 | 9743 6056 296 | 0.000 % | c | 51428 | 1549 4889 128856 | 10717 7765 296 | 0.000 % | c | 53990 | 1549 4889 128856 | 11789 10327 296 | 0.000 % | c | 57834 | 1549 4889 128856 | 12968 8090 296 | 0.000 % | c | 63601 | 1549 4889 128856 | 14265 7185 296 | 0.000 % | c | 72250 | 1549 4889 128856 | 15692 8515 296 | 0.000 % | c | 85225 | 1549 4889 128856 | 17261 13463 296 | 0.000 % | c | 104686 | 1549 4889 128856 | 18987 15319 296 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 61.6356 s Remaining CPU time: 118.364 s c =============================================================================== c | 112812 | 1549 4890 129378 | 5000 13785 297 | 0.000 % | c | 112912 | 1549 4890 129378 | 5500 3547 297 | 0.000 % | c | 113062 | 1549 4890 129378 | 6050 3697 297 | 0.000 % | c | 113288 | 1549 4890 129378 | 6655 3923 296 | 0.000 % | c | 113626 | 1549 4890 129378 | 7320 4261 296 | 0.000 % | c | 114132 | 1549 4890 129378 | 8052 4767 296 | 0.000 % | c | 114892 | 1549 4890 129378 | 8857 5527 296 | 0.000 % | c | 116031 | 1549 4890 129378 | 9743 6666 296 | 0.000 % | c | 117740 | 1549 4890 129378 | 10717 8375 296 | 0.000 % | c | 120302 | 1549 4890 129378 | 11789 10937 296 | 0.000 % | c | 124146 | 1549 4890 129378 | 12968 8715 295 | 0.000 % | c | 129912 | 1549 4890 129378 | 14265 7824 295 | 0.000 % | c | 138561 | 1549 4890 129378 | 15692 9186 295 | 0.000 % | c | 151535 | 1549 4890 129378 | 17261 14158 295 | 0.000 % | c | 170996 | 1549 4890 129378 | 18987 16048 296 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 102.195 s Remaining CPU time: 77.8045 s c =============================================================================== c | 188228 | 1549 4891 129900 | 5000 13984 296 | 0.000 % | c | 188328 | 1549 4891 129900 | 5500 3596 295 | 0.000 % | c | 188478 | 1549 4891 129900 | 6050 3746 295 | 0.000 % | c | 188703 | 1549 4891 129900 | 6655 3971 295 | 0.000 % | c | 189040 | 1549 4891 129900 | 7320 4308 295 | 0.000 % | c | 189547 | 1549 4891 129900 | 8052 4815 295 | 0.000 % | c | 190306 | 1549 4891 129900 | 8857 5574 295 | 0.000 % | c | 191445 | 1549 4891 129900 | 9743 6713 295 | 0.000 % | c | 193154 | 1549 4891 129900 | 10717 8422 295 | 0.000 % | c | 195716 | 1549 4891 129900 | 11789 10984 295 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 105.874 s Remaining CPU time: 74.1261 s c =============================================================================== c | 196302 | 1549 4892 130422 | 5000 11570 295 | 0.000 % | c | 196402 | 1549 4892 130422 | 5500 2993 294 | 0.000 % | c | 196552 | 1549 4892 130422 | 6050 3143 294 | 0.000 % | c | 196777 | 1549 4892 130422 | 6655 3368 294 | 0.000 % | c | 197114 | 1549 4892 130422 | 7320 3705 294 | 0.000 % | c | 197620 | 1549 4892 130422 | 8052 4211 294 | 0.000 % | c | 198379 | 1549 4892 130422 | 8857 4970 294 | 0.000 % | c | 199519 | 1549 4892 130422 | 9743 6110 294 | 0.000 % | c | 201227 | 1549 4892 130422 | 10717 7818 294 | 0.000 % | c | 203789 | 1549 4892 130422 | 11789 10380 294 | 0.000 % | c | 207633 | 1549 4892 130422 | 12968 8181 294 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 112.525 s Remaining CPU time: 67.4751 s c =============================================================================== c | 211230 | 1549 4893 130944 | 5000 11778 294 | 0.000 % | c | 211330 | 1549 4893 130944 | 5500 3045 294 | 0.000 % | c | 211480 | 1549 4893 130944 | 6050 3195 294 | 0.000 % | c | 211705 | 1549 4893 130944 | 6655 3420 294 | 0.000 % | c | 212042 | 1549 4893 130944 | 7320 3757 294 | 0.000 % | c | 212548 | 1549 4893 130944 | 8052 4263 294 | 0.000 % | c | 213307 | 1549 4893 130944 | 8857 5022 294 | 0.000 % | c | 214446 | 1549 4893 130944 | 9743 6161 294 | 0.000 % | c | 216154 | 1549 4893 130944 | 10717 7869 294 | 0.000 % | c | 218716 | 1549 4893 130944 | 11789 10431 293 | 0.000 % | c | 222560 | 1549 4893 130944 | 12968 8228 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 119.963 s Remaining CPU time: 60.0372 s c =============================================================================== c | 225335 | 1549 4894 131466 | 5000 11003 293 | 0.000 % | c | 225435 | 1549 4894 131466 | 5500 2851 292 | 0.000 % | c | 225585 | 1549 4894 131466 | 6050 3001 292 | 0.000 % | c | 225810 | 1549 4894 131466 | 6655 3226 292 | 0.000 % | c | 226147 | 1549 4894 131466 | 7320 3563 292 | 0.000 % | c | 226653 | 1549 4894 131466 | 8052 4069 292 | 0.000 % | c | 227413 | 1549 4894 131466 | 8857 4829 292 | 0.000 % | c | 228553 | 1549 4894 131466 | 9743 5969 292 | 0.000 % | c | 230261 | 1549 4894 131466 | 10717 7677 292 | 0.000 % | c | 232824 | 1549 4894 131466 | 11789 10240 292 | 0.000 % | c | 236668 | 1549 4894 131466 | 12968 8033 291 | 0.000 % | c | 242434 | 1549 4894 131466 | 14265 7163 292 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 127.429 s Remaining CPU time: 52.5714 s c =============================================================================== c | 242693 | 1549 4895 131988 | 5000 7422 292 | 0.000 % | c | 242793 | 1549 4895 131988 | 5500 3811 291 | 0.000 % | c | 242943 | 1549 4895 131988 | 6050 3961 291 | 0.000 % | c | 243169 | 1549 4895 131988 | 6655 4187 291 | 0.000 % | c | 243506 | 1549 4895 131988 | 7320 4524 291 | 0.000 % | c | 244012 | 1549 4895 131988 | 8052 5030 291 | 0.000 % | c | 244771 | 1549 4895 131988 | 8857 5789 291 | 0.000 % | c | 245911 | 1549 4895 131988 | 9743 6929 291 | 0.000 % | c | 247620 | 1549 4895 131988 | 10717 8638 291 | 0.000 % | c | 250182 | 1549 4895 131988 | 11789 5667 290 | 0.000 % | c | 254027 | 1549 4895 131988 | 12968 9512 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 135.507 s Remaining CPU time: 44.4926 s c =============================================================================== c | 259221 | 1549 4896 132510 | 5000 8051 291 | 0.000 % | c | 259321 | 1549 4896 132510 | 5500 4126 291 | 0.000 % | c | 259471 | 1549 4896 132510 | 6050 4276 291 | 0.000 % | c | 259696 | 1549 4896 132510 | 6655 4501 291 | 0.000 % | c | 260034 | 1549 4896 132510 | 7320 4839 290 | 0.000 % | c | 260540 | 1549 4896 132510 | 8052 5345 290 | 0.000 % | c | 261299 | 1549 4896 132510 | 8857 6104 290 | 0.000 % | c | 262438 | 1549 4896 132510 | 9743 7243 290 | 0.000 % | c | 264147 | 1549 4896 132510 | 10717 8952 290 | 0.000 % | c | 266709 | 1549 4896 132510 | 11789 5985 289 | 0.000 % | c | 270553 | 1549 4896 132510 | 12968 9829 289 | 0.000 % | c | 276319 | 1549 4896 132510 | 14265 8945 289 | 0.000 % | c | 284968 | 1549 4896 132510 | 15692 10298 289 | 0.000 % | c | 297942 | 1549 4896 132510 | 17261 15276 290 | 0.000 % |