c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4671 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1550 | c | Number Clauses: 4657 | 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 | 1550 4657 9830 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1550 4658 10354 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1550 4659 10878 | 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 | 1550 4660 11402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1550 4661 11926 | 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 | 1550 4662 12450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1550 4663 12974 | 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 | 1550 4664 13498 | 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 | 1550 4665 14022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1550 4666 14546 | 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 | 1550 4667 15070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1550 4668 15594 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1550 4669 16118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1550 4670 16642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1550 4671 17166 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1550 4672 17690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1550 4673 18214 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1550 4674 18738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1550 4675 19262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 1550 4676 19786 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 1550 4677 20310 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 1 | 1550 4678 20834 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 1550 4679 21358 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 1550 4680 21882 | 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 | 1550 4681 22406 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 1550 4682 22930 | 5000 1 507 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1550 4683 23454 | 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 | 2 | 1550 4684 23978 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 2 | 1550 4685 24502 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 2 | 1550 4686 25026 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 2 | 1550 4687 25550 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 2 | 1550 4688 26074 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 2 | 1550 4689 26598 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 2 | 1550 4690 27122 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 2 | 1550 4691 27646 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 2 | 1550 4692 28170 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 2 | 1550 4693 28694 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 2 | 1550 4694 29218 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 2 | 1550 4695 29742 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 2 | 1550 4696 30266 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 2 | 1550 4697 30790 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 2 | 1550 4698 31314 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 2 | 1550 4699 31838 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 2 | 1550 4700 32362 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 2 | 1550 4701 32886 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 2 | 1550 4702 33410 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 2 | 1550 4703 33934 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 2 | 1550 4704 34458 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 2 | 1550 4705 34982 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 2 | 1550 4706 35506 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 2 | 1550 4707 36030 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 2 | 1550 4708 36554 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 2 | 1550 4709 37078 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 2 | 1550 4710 37602 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 2 | 1550 4711 38126 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 2 | 1550 4712 38650 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 2 | 1550 4713 39174 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 2 | 1550 4714 39698 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 2 | 1550 4715 40222 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 2 | 1550 4716 40746 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 2 | 1550 4717 41270 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 2 | 1550 4718 41794 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 2 | 1550 4719 42318 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 2 | 1550 4720 42842 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 2 | 1550 4721 43366 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 2 | 1550 4722 43890 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 2 | 1550 4723 44414 | 5000 2 503 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 3 | 1550 4724 44938 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 3 | 1550 4725 45462 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 3 | 1550 4726 45986 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 3 | 1550 4727 46510 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 3 | 1550 4728 47034 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 3 | 1550 4729 47558 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 3 | 1550 4730 48082 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 3 | 1550 4731 48606 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 3 | 1550 4732 49130 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 3 | 1550 4733 49654 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 3 | 1550 4734 50178 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 3 | 1550 4735 50702 | 5000 3 488 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 4 | 1550 4736 51226 | 5000 4 478 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 4 | 1550 4737 51750 | 5000 4 478 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 5 | 1550 4738 52274 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 5 | 1550 4739 52798 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 5 | 1550 4740 53322 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 5 | 1550 4741 53846 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 5 | 1550 4742 54370 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 5 | 1550 4743 54894 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 5 | 1550 4744 55418 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 5 | 1550 4745 55942 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 5 | 1550 4746 56466 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 5 | 1550 4747 56990 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 5 | 1550 4748 57514 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 5 | 1550 4749 58038 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 5 | 1550 4750 58562 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 5 | 1550 4751 59086 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 5 | 1550 4752 59610 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 5 | 1550 4753 60134 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 5 | 1550 4754 60658 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 5 | 1550 4755 61182 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 5 | 1550 4756 61706 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 5 | 1550 4757 62230 | 5000 5 471 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 8 | 1550 4758 62754 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 8 | 1550 4759 63278 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 8 | 1550 4760 63802 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 8 | 1550 4761 64326 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 8 | 1550 4762 64850 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 8 | 1550 4763 65374 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 8 | 1550 4764 65898 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 8 | 1550 4765 66422 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 8 | 1550 4766 66946 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 8 | 1550 4767 67470 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 8 | 1550 4768 67994 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 8 | 1550 4769 68518 | 5000 8 454 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 9 | 1550 4770 69042 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 9 | 1550 4771 69566 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 9 | 1550 4772 70090 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 9 | 1550 4773 70614 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 9 | 1550 4774 71138 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 9 | 1550 4775 71662 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 9 | 1550 4776 72186 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 9 | 1550 4777 72710 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 9 | 1550 4778 73234 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 9 | 1550 4779 73758 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 9 | 1550 4780 74282 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 9 | 1550 4781 74806 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 9 | 1550 4782 75330 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 9 | 1550 4783 75854 | 5000 9 450 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 11 | 1550 4784 76378 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 11 | 1550 4785 76902 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 11 | 1550 4786 77426 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s c =============================================================================== c | 11 | 1550 4787 77950 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 11 | 1550 4788 78474 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 11 | 1550 4789 78998 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 11 | 1550 4790 79522 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.973851 s Remaining CPU time: 179.026 s c =============================================================================== c | 11 | 1550 4791 80046 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.987849 s Remaining CPU time: 179.012 s c =============================================================================== c | 11 | 1550 4792 80570 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.00285 s Remaining CPU time: 178.997 s c =============================================================================== c | 11 | 1550 4793 81094 | 5000 11 440 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 18 | 1550 4794 81618 | 5000 18 420 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 18 | 1550 4795 82142 | 5000 18 420 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 18 | 1550 4796 82666 | 5000 18 420 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 18 | 1550 4797 83190 | 5000 18 420 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 18 | 1550 4798 83714 | 5000 18 420 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 18 | 1550 4799 84238 | 5000 18 420 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.10883 s Remaining CPU time: 178.891 s c =============================================================================== c | 18 | 1550 4800 84762 | 5000 18 420 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 24 | 1550 4801 85286 | 5000 24 411 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 24 | 1550 4802 85810 | 5000 24 411 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 24 | 1550 4803 86334 | 5000 24 411 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.17282 s Remaining CPU time: 178.827 s c =============================================================================== c | 24 | 1550 4804 86858 | 5000 24 411 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.18982 s Remaining CPU time: 178.81 s c =============================================================================== c | 25 | 1550 4805 87382 | 5000 25 395 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.20682 s Remaining CPU time: 178.793 s c =============================================================================== c | 25 | 1550 4806 87906 | 5000 25 395 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 25 | 1550 4807 88430 | 5000 25 395 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 25 | 1550 4808 88954 | 5000 25 395 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 25 | 1550 4809 89478 | 5000 25 395 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 33 | 1550 4810 90002 | 5000 33 389 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 33 | 1550 4811 90526 | 5000 33 389 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.3078 s Remaining CPU time: 178.692 s c =============================================================================== c | 33 | 1550 4812 91050 | 5000 33 389 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 34 | 1550 4813 91574 | 5000 34 389 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 38 | 1550 4814 92098 | 5000 38 387 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.36079 s Remaining CPU time: 178.639 s c =============================================================================== c | 38 | 1550 4815 92622 | 5000 38 387 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 45 | 1550 4816 93146 | 5000 45 384 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 45 | 1550 4817 93670 | 5000 45 384 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.41578 s Remaining CPU time: 178.584 s c =============================================================================== c | 45 | 1550 4818 94194 | 5000 45 384 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.43578 s Remaining CPU time: 178.564 s c =============================================================================== c | 52 | 1550 4819 94718 | 5000 52 381 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 52 | 1550 4820 95242 | 5000 52 381 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.47378 s Remaining CPU time: 178.526 s c =============================================================================== c | 56 | 1550 4821 95766 | 5000 56 380 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.49177 s Remaining CPU time: 178.508 s c =============================================================================== c | 56 | 1550 4822 96290 | 5000 56 380 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 64 | 1550 4823 96814 | 5000 64 377 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 79 | 1550 4824 97338 | 5000 79 374 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 79 | 1550 4825 97862 | 5000 79 374 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.57076 s Remaining CPU time: 178.429 s c =============================================================================== c | 79 | 1550 4826 98386 | 5000 79 374 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 79 | 1550 4827 98910 | 5000 79 374 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.61375 s Remaining CPU time: 178.386 s c =============================================================================== c | 98 | 1550 4828 99434 | 5000 98 367 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s c =============================================================================== c | 111 | 1550 4829 99958 | 5000 111 365 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 117 | 1550 4830 100482 | 5000 117 365 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 117 | 1550 4831 101006 | 5000 117 365 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s c =============================================================================== c | 117 | 1550 4832 101530 | 5000 117 365 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.71574 s Remaining CPU time: 178.284 s c =============================================================================== c | 117 | 1550 4833 102054 | 5000 117 365 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.73574 s Remaining CPU time: 178.264 s c =============================================================================== c | 117 | 1550 4834 102578 | 5000 117 365 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.75773 s Remaining CPU time: 178.242 s c =============================================================================== c | 124 | 1550 4835 103102 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.77873 s Remaining CPU time: 178.221 s c =============================================================================== c | 124 | 1550 4836 103626 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 124 | 1550 4837 104150 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.81972 s Remaining CPU time: 178.18 s c =============================================================================== c | 124 | 1550 4838 104674 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 124 | 1550 4839 105198 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.86072 s Remaining CPU time: 178.139 s c =============================================================================== c | 124 | 1550 4840 105722 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.88171 s Remaining CPU time: 178.118 s c =============================================================================== c | 124 | 1550 4841 106246 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.90371 s Remaining CPU time: 178.096 s c =============================================================================== c | 124 | 1550 4842 106770 | 5000 124 364 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 131 | 1550 4843 107294 | 5000 131 362 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.9457 s Remaining CPU time: 178.054 s c =============================================================================== c | 131 | 1550 4844 107818 | 5000 131 362 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.9677 s Remaining CPU time: 178.032 s c =============================================================================== c | 132 | 1550 4845 108342 | 5000 132 362 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.9897 s Remaining CPU time: 178.01 s c =============================================================================== c | 144 | 1550 4846 108866 | 5000 144 360 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.01169 s Remaining CPU time: 177.988 s c =============================================================================== c | 144 | 1550 4847 109390 | 5000 144 360 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.03369 s Remaining CPU time: 177.966 s c =============================================================================== c | 144 | 1550 4848 109914 | 5000 144 360 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 144 | 1550 4849 110438 | 5000 144 360 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 148 | 1550 4850 110962 | 5000 148 359 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.10068 s Remaining CPU time: 177.899 s c =============================================================================== c | 148 | 1550 4851 111486 | 5000 148 359 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 148 | 1550 4852 112010 | 5000 148 359 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 148 | 1550 4853 112534 | 5000 148 359 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 148 | 1550 4854 113058 | 5000 148 359 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.18967 s Remaining CPU time: 177.81 s c =============================================================================== c | 148 | 1550 4855 113582 | 5000 148 359 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.21566 s Remaining CPU time: 177.784 s c =============================================================================== c | 162 | 1550 4856 114106 | 5000 162 357 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.24766 s Remaining CPU time: 177.752 s c =============================================================================== c | 192 | 1550 4857 114630 | 5000 192 352 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s c =============================================================================== c | 211 | 1550 4858 115154 | 5000 211 349 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.30065 s Remaining CPU time: 177.699 s c =============================================================================== c | 223 | 1550 4859 115678 | 5000 223 348 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s c =============================================================================== c | 234 | 1550 4860 116202 | 5000 234 347 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.35264 s Remaining CPU time: 177.647 s c =============================================================================== c | 242 | 1550 4861 116726 | 5000 242 346 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.37964 s Remaining CPU time: 177.62 s c =============================================================================== c | 255 | 1550 4862 117250 | 5000 255 345 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.40363 s Remaining CPU time: 177.596 s c =============================================================================== c | 256 | 1550 4863 117774 | 5000 256 345 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 2.43363 s Remaining CPU time: 177.566 s c =============================================================================== c | 286 | 1550 4864 118298 | 5000 286 342 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 2.46263 s Remaining CPU time: 177.537 s c =============================================================================== c | 305 | 1550 4865 118822 | 5000 305 340 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 2.52362 s Remaining CPU time: 177.476 s c =============================================================================== c | 378 | 1550 4866 119346 | 5000 378 336 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 2.56261 s Remaining CPU time: 177.437 s c =============================================================================== c | 430 | 1550 4867 119870 | 5000 430 334 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 441 | 1550 4868 120394 | 5000 441 333 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 2.6366 s Remaining CPU time: 177.363 s c =============================================================================== c | 506 | 1550 4869 120918 | 5000 506 331 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 2.66659 s Remaining CPU time: 177.333 s c =============================================================================== c | 529 | 1550 4870 121442 | 5000 529 330 | 0.000 % | c | 629 | 1550 4870 121442 | 5500 629 327 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.75358 s Remaining CPU time: 177.246 s c =============================================================================== c | 676 | 1550 4871 121966 | 5000 676 326 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 2.78158 s Remaining CPU time: 177.218 s c =============================================================================== c | 690 | 1550 4872 122490 | 5000 690 326 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 2.83957 s Remaining CPU time: 177.16 s c =============================================================================== c | 768 | 1550 4873 123014 | 5000 768 324 | 0.000 % | c | 868 | 1550 4873 123014 | 5500 868 323 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 2.94555 s Remaining CPU time: 177.054 s c =============================================================================== c | 911 | 1550 4874 123538 | 5000 911 322 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 2.97355 s Remaining CPU time: 177.026 s c =============================================================================== c | 917 | 1550 4875 124062 | 5000 917 322 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 3.00454 s Remaining CPU time: 176.995 s c =============================================================================== c | 933 | 1550 4876 124586 | 5000 933 322 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.05953 s Remaining CPU time: 176.94 s c =============================================================================== c | 1003 | 1550 4877 125110 | 5000 1003 321 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s c =============================================================================== c | 1015 | 1550 4878 125634 | 5000 1015 320 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 3.12352 s Remaining CPU time: 176.876 s c =============================================================================== c | 1048 | 1550 4879 126158 | 5000 1048 320 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 3.15552 s Remaining CPU time: 176.844 s c =============================================================================== c | 1069 | 1550 4880 126682 | 5000 1069 319 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 3.18052 s Remaining CPU time: 176.819 s c =============================================================================== c | 1076 | 1550 4881 127206 | 5000 1076 319 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 3.21051 s Remaining CPU time: 176.789 s c =============================================================================== c | 1089 | 1550 4882 127730 | 5000 1089 319 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 3.2625 s Remaining CPU time: 176.737 s c =============================================================================== c | 1151 | 1550 4883 128254 | 5000 1151 318 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 3.3015 s Remaining CPU time: 176.699 s c =============================================================================== c | 1178 | 1550 4884 128778 | 5000 1178 318 | 0.000 % | c | 1278 | 1550 4884 128778 | 5500 1278 316 | 0.000 % | c | 1429 | 1550 4884 128778 | 6050 1429 314 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 3.47847 s Remaining CPU time: 176.522 s c =============================================================================== c | 1469 | 1550 4885 129302 | 5000 1469 314 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 3.51347 s Remaining CPU time: 176.487 s c =============================================================================== c | 1486 | 1550 4886 129826 | 5000 1486 314 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 3.54546 s Remaining CPU time: 176.455 s c =============================================================================== c | 1500 | 1550 4887 130350 | 5000 1500 313 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 3.58245 s Remaining CPU time: 176.418 s c =============================================================================== c | 1517 | 1550 4888 130874 | 5000 1517 313 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 3.63045 s Remaining CPU time: 176.37 s c =============================================================================== c | 1554 | 1550 4889 131398 | 5000 1554 313 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 3.68244 s Remaining CPU time: 176.318 s c =============================================================================== c | 1616 | 1550 4890 131922 | 5000 1616 312 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 3.71244 s Remaining CPU time: 176.288 s c =============================================================================== c | 1627 | 1550 4891 132446 | 5000 1627 312 | 0.000 % | c | 1727 | 1550 4891 132446 | 5500 1727 311 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 3.80142 s Remaining CPU time: 176.199 s c =============================================================================== c | 1742 | 1550 4892 132970 | 5000 1742 311 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 3.83342 s Remaining CPU time: 176.167 s c =============================================================================== c | 1751 | 1550 4893 133494 | 5000 1751 310 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 3.86741 s Remaining CPU time: 176.133 s c =============================================================================== c | 1767 | 1550 4894 134018 | 5000 1767 310 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 3.89941 s Remaining CPU time: 176.101 s c =============================================================================== c | 1784 | 1550 4895 134542 | 5000 1784 310 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 3.9304 s Remaining CPU time: 176.07 s c =============================================================================== c | 1797 | 1550 4896 135066 | 5000 1797 310 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 3.9644 s Remaining CPU time: 176.036 s c =============================================================================== c | 1827 | 1550 4897 135590 | 5000 1827 309 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 3.99039 s Remaining CPU time: 176.01 s c =============================================================================== c | 1828 | 1550 4898 136114 | 5000 1828 309 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 4.01839 s Remaining CPU time: 175.982 s c =============================================================================== c | 1830 | 1550 4899 136638 | 5000 1830 309 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 4.04738 s Remaining CPU time: 175.953 s c =============================================================================== c | 1840 | 1550 4900 137162 | 5000 1840 309 | 0.000 % | c | 1940 | 1550 4900 137162 | 5500 1940 308 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 4.19636 s Remaining CPU time: 175.804 s c =============================================================================== c | 2065 | 1550 4901 137686 | 5000 2065 306 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 4.22736 s Remaining CPU time: 175.773 s c =============================================================================== c | 2071 | 1550 4902 138210 | 5000 2071 306 | 0.000 % | c | 2172 | 1550 4902 138210 | 5500 2172 305 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 4.39933 s Remaining CPU time: 175.601 s c =============================================================================== c | 2302 | 1550 4903 138734 | 5000 2302 303 | 0.000 % | c | 2403 | 1550 4903 138734 | 5500 2403 302 | 0.000 % | c | 2553 | 1550 4903 138734 | 6050 2553 301 | 0.000 % | c | 2778 | 1550 4903 138734 | 6655 2778 299 | 0.000 % | c | 3115 | 1550 4903 138734 | 7320 3115 297 | 0.000 % | c | 3621 | 1550 4903 138734 | 8052 3621 295 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 5.47917 s Remaining CPU time: 174.521 s c =============================================================================== c | 4295 | 1550 4904 139258 | 5000 4295 292 | 0.000 % | c | 4395 | 1550 4904 139258 | 5500 4395 292 | 0.000 % | c | 4545 | 1550 4904 139258 | 6050 4545 292 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 5.75012 s Remaining CPU time: 174.25 s c =============================================================================== c | 4763 | 1550 4905 139782 | 5000 4763 291 | 0.000 % | c | 4863 | 1550 4905 139782 | 5500 4863 291 | 0.000 % | c | 5013 | 1550 4905 139782 | 6050 5013 290 | 0.000 % | c | 5238 | 1550 4905 139782 | 6655 5238 290 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 6.08207 s Remaining CPU time: 173.918 s c =============================================================================== c | 5330 | 1550 4906 140306 | 5000 5330 290 | 0.000 % | c | 5430 | 1550 4906 140306 | 5500 2765 278 | 0.000 % | c | 5580 | 1550 4906 140306 | 6050 2915 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 6.35203 s Remaining CPU time: 173.648 s c =============================================================================== c | 5799 | 1550 4907 140830 | 5000 3134 278 | 0.000 % | c | 5899 | 1550 4907 140830 | 5500 3234 278 | 0.000 % | c | 6049 | 1550 4907 140830 | 6050 3384 278 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 6.60999 s Remaining CPU time: 173.39 s c =============================================================================== c | 6155 | 1550 4908 141354 | 5000 3490 278 | 0.000 % | c | 6255 | 1550 4908 141354 | 5500 3590 278 | 0.000 % | c | 6405 | 1550 4908 141354 | 6050 3740 278 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 6.85296 s Remaining CPU time: 173.147 s c =============================================================================== c | 6556 | 1550 4909 141878 | 5000 3891 278 | 0.000 % | c | 6656 | 1550 4909 141878 | 5500 3991 277 | 0.000 % | c | 6806 | 1550 4909 141878 | 6050 4141 277 | 0.000 % | c | 7031 | 1550 4909 141878 | 6655 4366 277 | 0.000 % | c | 7368 | 1550 4909 141878 | 7320 4703 277 | 0.000 % | c | 7874 | 1550 4909 141878 | 8052 5209 277 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 7.63584 s Remaining CPU time: 172.364 s c =============================================================================== c | 8011 | 1550 4910 142402 | 5000 5346 277 | 0.000 % | c | 8111 | 1550 4910 142402 | 5500 2773 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 7.77282 s Remaining CPU time: 172.227 s c =============================================================================== c | 8178 | 1550 4911 142926 | 5000 2840 274 | 0.000 % | c | 8278 | 1550 4911 142926 | 5500 2940 274 | 0.000 % | c | 8429 | 1550 4911 142926 | 6050 3091 274 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 8.02178 s Remaining CPU time: 171.978 s c =============================================================================== c | 8547 | 1550 4912 143450 | 5000 3209 274 | 0.000 % | c | 8647 | 1550 4912 143450 | 5500 3309 274 | 0.000 % | c | 8797 | 1550 4912 143450 | 6050 3459 273 | 0.000 % | c | 9022 | 1550 4912 143450 | 6655 3684 273 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 8.40772 s Remaining CPU time: 171.592 s c =============================================================================== c | 9172 | 1550 4913 143974 | 5000 3834 273 | 0.000 % | c | 9272 | 1550 4913 143974 | 5500 3934 273 | 0.000 % | c | 9422 | 1550 4913 143974 | 6050 4084 273 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 8.66468 s Remaining CPU time: 171.335 s c =============================================================================== c | 9612 | 1550 4914 144498 | 5000 4274 273 | 0.000 % | c | 9712 | 1550 4914 144498 | 5500 4374 273 | 0.000 % | c | 9862 | 1550 4914 144498 | 6050 4524 273 | 0.000 % | c | 10088 | 1550 4914 144498 | 6655 4750 272 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 9.05362 s Remaining CPU time: 170.946 s c =============================================================================== c | 10295 | 1550 4915 145022 | 5000 4957 272 | 0.000 % | c | 10395 | 1550 4915 145022 | 5500 5057 272 | 0.000 % | c | 10545 | 1550 4915 145022 | 6050 5207 272 | 0.000 % | c | 10771 | 1550 4915 145022 | 6655 5433 272 | 0.000 % | c | 11109 | 1550 4915 145022 | 7320 5771 272 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 9.52855 s Remaining CPU time: 170.471 s c =============================================================================== c | 11151 | 1550 4916 145546 | 5000 5813 271 | 0.000 % | c | 11251 | 1550 4916 145546 | 5500 3007 269 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 9.66353 s Remaining CPU time: 170.336 s c =============================================================================== c | 11302 | 1550 4917 146070 | 5000 3058 269 | 0.000 % | c | 11403 | 1550 4917 146070 | 5500 3159 268 | 0.000 % | c | 11553 | 1550 4917 146070 | 6050 3309 268 | 0.000 % | c | 11778 | 1550 4917 146070 | 6655 3534 268 | 0.000 % | c | 12115 | 1550 4917 146070 | 7320 3871 268 | 0.000 % | c | 12622 | 1550 4917 146070 | 8052 4378 268 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 10.3494 s Remaining CPU time: 169.651 s c =============================================================================== c | 12693 | 1550 4918 146594 | 5000 4449 268 | 0.000 % | c | 12793 | 1550 4918 146594 | 5500 4549 268 | 0.000 % | c | 12943 | 1550 4918 146594 | 6050 4699 267 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 10.6354 s Remaining CPU time: 169.365 s c =============================================================================== c | 13151 | 1550 4919 147118 | 5000 4907 267 | 0.000 % | c | 13251 | 1550 4919 147118 | 5500 5007 267 | 0.000 % | c | 13401 | 1550 4919 147118 | 6050 5157 267 | 0.000 % | c | 13626 | 1550 4919 147118 | 6655 5382 267 | 0.000 % | c | 13965 | 1550 4919 147118 | 7320 5721 267 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 11.2923 s Remaining CPU time: 168.708 s c =============================================================================== c | 14362 | 1550 4920 147642 | 5000 6118 267 | 0.000 % | c | 14462 | 1550 4920 147642 | 5500 3159 264 | 0.000 % | c | 14613 | 1550 4920 147642 | 6050 3310 264 | 0.000 % | c | 14838 | 1550 4920 147642 | 6655 3535 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 11.6082 s Remaining CPU time: 168.392 s c =============================================================================== c | 14841 | 1550 4921 148166 | 5000 3538 264 | 0.000 % | c | 14941 | 1550 4921 148166 | 5500 3638 264 | 0.000 % | c | 15091 | 1550 4921 148166 | 6050 3788 264 | 0.000 % | c | 15317 | 1550 4921 148166 | 6655 4014 264 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 11.9562 s Remaining CPU time: 168.044 s c =============================================================================== c | 15473 | 1550 4922 148690 | 5000 4170 264 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 12.0032 s Remaining CPU time: 167.997 s c =============================================================================== c | 15513 | 1550 4923 149214 | 5000 4210 264 | 0.000 % | c | 15614 | 1550 4923 149214 | 5500 4311 263 | 0.000 % | c | 15764 | 1550 4923 149214 | 6050 4461 263 | 0.000 % | c | 15989 | 1550 4923 149214 | 6655 4686 263 | 0.000 % | c | 16326 | 1550 4923 149214 | 7320 5023 263 | 0.000 % | c | 16832 | 1550 4923 149214 | 8052 5529 263 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 12.847 s Remaining CPU time: 167.153 s c =============================================================================== c | 17215 | 1550 4924 149738 | 5000 5912 262 | 0.000 % | c | 17315 | 1550 4924 149738 | 5500 3056 260 | 0.000 % | c | 17466 | 1550 4924 149738 | 6050 3207 260 | 0.000 % | c | 17691 | 1550 4924 149738 | 6655 3432 260 | 0.000 % | c | 18028 | 1550 4924 149738 | 7320 3769 260 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 13.4789 s Remaining CPU time: 166.521 s c =============================================================================== c | 18436 | 1550 4925 150262 | 5000 4177 260 | 0.000 % | c | 18536 | 1550 4925 150262 | 5500 4277 260 | 0.000 % | c | 18686 | 1550 4925 150262 | 6050 4427 259 | 0.000 % | c | 18911 | 1550 4925 150262 | 6655 4652 259 | 0.000 % | c | 19248 | 1550 4925 150262 | 7320 4989 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 14.1199 s Remaining CPU time: 165.88 s c =============================================================================== c | 19523 | 1550 4926 150786 | 5000 5264 259 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 14.1598 s Remaining CPU time: 165.84 s c =============================================================================== c | 19530 | 1550 4927 151310 | 5000 2639 258 | 0.000 % | c | 19630 | 1550 4927 151310 | 5500 2739 258 | 0.000 % | c | 19781 | 1550 4927 151310 | 6050 2890 257 | 0.000 % | c | 20006 | 1550 4927 151310 | 6655 3115 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 14.6488 s Remaining CPU time: 165.351 s c =============================================================================== c | 20325 | 1550 4928 151834 | 5000 3434 257 | 0.000 % | c | 20426 | 1550 4928 151834 | 5500 3535 257 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 14.7658 s Remaining CPU time: 165.234 s c =============================================================================== c | 20492 | 1550 4929 152358 | 5000 3601 257 | 0.000 % | c | 20593 | 1550 4929 152358 | 5500 3702 257 | 0.000 % | c | 20744 | 1550 4929 152358 | 6050 3853 257 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 14.9917 s Remaining CPU time: 165.008 s c =============================================================================== c | 20926 | 1550 4930 152882 | 5000 4035 257 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 15.0427 s Remaining CPU time: 164.957 s c =============================================================================== c | 20979 | 1550 4931 153406 | 5000 4088 256 | 0.000 % | c | 21079 | 1550 4931 153406 | 5500 4188 256 | 0.000 % | c | 21229 | 1550 4931 153406 | 6050 4338 256 | 0.000 % | c | 21454 | 1550 4931 153406 | 6655 4563 256 | 0.000 % | c | 21791 | 1550 4931 153406 | 7320 4900 256 | 0.000 % | c | 22299 | 1550 4931 153406 | 8052 5408 255 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 16.0216 s Remaining CPU time: 163.978 s c =============================================================================== c | 22955 | 1550 4932 153930 | 5000 6064 255 | 0.000 % | c | 23055 | 1550 4932 153930 | 5500 3132 252 | 0.000 % | c | 23205 | 1550 4932 153930 | 6050 3282 252 | 0.000 % | c | 23430 | 1550 4932 153930 | 6655 3507 252 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 16.3925 s Remaining CPU time: 163.607 s c =============================================================================== c | 23680 | 1550 4933 154454 | 5000 3757 252 | 0.000 % | c | 23780 | 1550 4933 154454 | 5500 3857 252 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 16.5265 s Remaining CPU time: 163.474 s c =============================================================================== c | 23921 | 1550 4934 154978 | 5000 3998 252 | 0.000 % | c | 24021 | 1550 4934 154978 | 5500 4098 251 | 0.000 % | c | 24171 | 1550 4934 154978 | 6050 4248 251 | 0.000 % | c | 24396 | 1550 4934 154978 | 6655 4473 251 | 0.000 % | c | 24733 | 1550 4934 154978 | 7320 4810 251 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 17.1444 s Remaining CPU time: 162.856 s c =============================================================================== c | 25143 | 1550 4935 155502 | 5000 5220 251 | 0.000 % | c | 25244 | 1550 4935 155502 | 5500 2711 249 | 0.000 % | c | 25394 | 1550 4935 155502 | 6050 2861 249 | 0.000 % | c | 25619 | 1550 4935 155502 | 6655 3086 249 | 0.000 % | c | 25956 | 1550 4935 155502 | 7320 3423 249 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 17.6083 s Remaining CPU time: 162.392 s c =============================================================================== c | 26020 | 1550 4936 156026 | 5000 3487 249 | 0.000 % | c | 26121 | 1550 4936 156026 | 5500 3588 249 | 0.000 % | c | 26271 | 1550 4936 156026 | 6050 3738 249 | 0.000 % | c | 26496 | 1550 4936 156026 | 6655 3963 248 | 0.000 % | c | 26833 | 1550 4936 156026 | 7320 4300 248 | 0.000 % | c | 27340 | 1550 4936 156026 | 8052 4807 248 | 0.000 % | c | 28099 | 1550 4936 156026 | 8857 5566 248 | 0.000 % | c | 29239 | 1550 4936 156026 | 9743 6706 248 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 19.47 s Remaining CPU time: 160.53 s c =============================================================================== c | 30112 | 1550 4937 156550 | 5000 7579 247 | 0.000 % | c | 30212 | 1550 4937 156550 | 5500 3890 246 | 0.000 % | c | 30363 | 1550 4937 156550 | 6050 4041 246 | 0.000 % | c | 30588 | 1550 4937 156550 | 6655 4266 246 | 0.000 % | c | 30926 | 1550 4937 156550 | 7320 4604 246 | 0.000 % | c | 31432 | 1550 4937 156550 | 8052 5110 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 20.4189 s Remaining CPU time: 159.581 s c =============================================================================== c | 32102 | 1550 4938 157074 | 5000 5780 246 | 0.000 % | c | 32202 | 1550 4938 157074 | 5500 2990 245 | 0.000 % | c | 32353 | 1550 4938 157074 | 6050 3141 245 | 0.000 % | c | 32578 | 1550 4938 157074 | 6655 3366 245 | 0.000 % | c | 32915 | 1550 4938 157074 | 7320 3703 245 | 0.000 % | c | 33421 | 1550 4938 157074 | 8052 4209 245 | 0.000 % | c | 34180 | 1550 4938 157074 | 8857 4968 245 | 0.000 % | c | 35319 | 1550 4938 157074 | 9743 6107 245 | 0.000 % | c | 37027 | 1550 4938 157074 | 10717 7815 245 | 0.000 % | c | 39589 | 1550 4938 157074 | 11789 10377 245 | 0.000 % | c | 43434 | 1550 4938 157074 | 12968 8196 245 | 0.000 % | c | 49200 | 1550 4938 157074 | 14265 7324 245 | 0.000 % | c | 57849 | 1550 4938 157074 | 15692 8682 245 | 0.000 % | c | 70823 | 1550 4938 157074 | 17261 13646 245 | 0.000 % | c | 90284 | 1550 4938 157074 | 18987 15561 245 | 0.000 % | c | 119476 | 1550 4938 157074 | 20886 15861 245 | 0.000 % | c | 163265 | 1550 4938 157074 | 22974 16913 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 122.605 s Remaining CPU time: 57.3946 s c =============================================================================== c | 225945 | 1550 4939 157598 | 5000 16368 245 | 0.000 % | c | 226046 | 1550 4939 157598 | 5500 4193 245 | 0.000 % | c | 226197 | 1550 4939 157598 | 6050 4344 245 | 0.000 % | c | 226422 | 1550 4939 157598 | 6655 4569 245 | 0.000 % | c | 226759 | 1550 4939 157598 | 7320 4906 245 | 0.000 % | c | 227265 | 1550 4939 157598 | 8052 5412 245 | 0.000 % | c | 228025 | 1550 4939 157598 | 8857 6172 245 | 0.000 % | c | 229164 | 1550 4939 157598 | 9743 7311 244 | 0.000 % | c | 230872 | 1550 4939 157598 | 10717 9019 244 | 0.000 % | c | 233434 | 1550 4939 157598 | 11789 6096 243 | 0.000 % | c | 237279 | 1550 4939 157598 | 12968 9941 244 | 0.000 % | c | 243045 | 1550 4939 157598 | 14265 9070 244 | 0.000 % | c | 251694 | 1550 4939 157598 | 15692 10439 244 | 0.000 % | c | 264668 | 1550 4939 157598 | 17261 15408 244 | 0.000 % | c | 284130 | 1550 4939 157598 | 18987 17311 244 | 0.000 % | c | 313322 | 1550 4939 157598 | 20886 17617 244 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 179.851 s Remaining CPU time: 0.149342 s c =============================================================================== c | 348648 | 1550 4940 158122 | 5000 20972 244 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1260 5481 10193 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1284 5482 10230 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1298 5483 10251 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1318 5484 10281 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1350 5485 10329 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1370 5486 10359 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1390 5487 10389 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1421 5488 10437 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1445 5490 10475 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1474 5492 10523 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1524 5493 10605 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1614 5494 23338 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1661 5495 34415 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1722 5496 48135 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1789 5497 59775 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1934 5499 77850 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2043 5503 90628 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2167 5505 100816 | 5000 0 nan | 0.000 % | c | 100 | 2166 5505 100816 | 5500 100 18 | 5.291 % | c | 251 | 2166 5505 100816 | 6050 251 20 | 5.291 % | c | 477 | 2165 5505 100816 | 6655 475 22 | 5.335 % | c | 815 | 2165 5505 100816 | 7320 813 24 | 5.335 % | c | 1322 | 2165 5505 100816 | 8052 1320 30 | 5.335 % | c | 2082 | 2164 5505 100816 | 8857 2079 38 | 5.378 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2579 5506 129882 | 5000 0 nan | 0.000 % | c | 102 | 2579 5506 129882 | 5500 102 25 | 2.495 % | c | 253 | 2579 5506 129882 | 6050 253 33 | 2.495 % | c | 480 | 2579 5506 129882 | 6655 480 36 | 2.495 % | c | 817 | 2579 5506 129882 | 7320 817 35 | 2.495 % | c | 1323 | 2579 5506 129882 | 8052 1323 40 | 2.495 % | c | 2084 | 2579 5506 129882 | 8857 2084 41 | 2.495 % | c | 3233 | 2579 5506 129882 | 9743 3233 55 | 2.495 % | c | 4948 | 2579 5506 129882 | 10717 4948 62 | 2.495 % | c | 7510 | 2574 5506 129882 | 11789 7456 66 | 2.684 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3017 5510 142273 | 5000 0 nan | 0.000 % | c | 101 | 3017 5510 142273 | 5500 101 65 | 1.437 % | c | 254 | 3017 5510 142273 | 6050 254 44 | 1.437 % | c | 479 | 3017 5510 142273 | 6655 479 56 | 1.437 % | c | 818 | 3017 5510 142273 | 7320 818 78 | 1.437 % | c | 1326 | 3016 5510 142273 | 8052 1325 64 | 1.470 % | c | 2086 | 3016 5510 142273 | 8857 2085 64 | 1.470 % | c | 3225 | 3016 5510 142273 | 9743 3224 68 | 1.470 % | c | 4933 | 3016 5510 142273 | 10717 4932 101 | 1.470 % | c | 7495 | 3016 5510 142273 | 11789 7494 113 | 1.470 % |