c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4669 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1545 | c | Number Clauses: 4653 | 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 | 1545 4653 9825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1545 4654 10346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1545 4655 10867 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1545 4656 11388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1545 4657 11909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1545 4658 12430 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1545 4659 12951 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1545 4660 13472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1545 4661 13993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1545 4662 14514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1545 4663 15035 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1545 4664 15556 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1545 4665 16077 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1545 4666 16598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1545 4667 17119 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1545 4668 17640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1545 4669 18161 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1545 4670 18682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1545 4671 19203 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1545 4672 19724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1545 4673 20245 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1545 4674 20766 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1545 4675 21287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1545 4676 21808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1545 4677 22329 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1545 4678 22850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1545 4679 23371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1545 4680 23892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1545 4681 24413 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1545 4682 24934 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 1545 4683 25455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 1545 4684 25976 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 1545 4685 26497 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1545 4686 27018 | 5000 1 492 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 2 | 1545 4687 27539 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 2 | 1545 4688 28060 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 2 | 1545 4689 28581 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 2 | 1545 4690 29102 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 2 | 1545 4691 29623 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 2 | 1545 4692 30144 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 2 | 1545 4693 30665 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 2 | 1545 4694 31186 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 2 | 1545 4695 31707 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 2 | 1545 4696 32228 | 5000 2 490 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 3 | 1545 4697 32749 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 3 | 1545 4698 33270 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 3 | 1545 4699 33791 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 3 | 1545 4700 34312 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 3 | 1545 4701 34833 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 3 | 1545 4702 35354 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 3 | 1545 4703 35875 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 3 | 1545 4704 36396 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 3 | 1545 4705 36917 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 3 | 1545 4706 37438 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 3 | 1545 4707 37959 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 3 | 1545 4708 38480 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 3 | 1545 4709 39001 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 3 | 1545 4710 39522 | 5000 3 487 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 4 | 1545 4711 40043 | 5000 4 481 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 6 | 1545 4712 40564 | 5000 6 476 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 6 | 1545 4713 41085 | 5000 6 476 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 6 | 1545 4714 41606 | 5000 6 476 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 6 | 1545 4715 42127 | 5000 6 476 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 6 | 1545 4716 42648 | 5000 6 476 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 10 | 1545 4717 43169 | 5000 10 469 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 10 | 1545 4718 43690 | 5000 10 469 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 10 | 1545 4719 44211 | 5000 10 469 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 10 | 1545 4720 44732 | 5000 10 469 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 10 | 1545 4721 45253 | 5000 10 469 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 10 | 1545 4722 45774 | 5000 10 469 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 14 | 1545 4723 46295 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 14 | 1545 4724 46816 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 14 | 1545 4725 47337 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 14 | 1545 4726 47858 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 14 | 1545 4727 48379 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 14 | 1545 4728 48900 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 14 | 1545 4729 49421 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 14 | 1545 4730 49942 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 14 | 1545 4731 50463 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 14 | 1545 4732 50984 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 14 | 1545 4733 51505 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 14 | 1545 4734 52026 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 21 | 1545 4735 52547 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 21 | 1545 4736 53068 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 21 | 1545 4737 53589 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 21 | 1545 4738 54110 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 21 | 1545 4739 54631 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 21 | 1545 4740 55152 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 21 | 1545 4741 55673 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 21 | 1545 4742 56194 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 21 | 1545 4743 56715 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 21 | 1545 4744 57236 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 21 | 1545 4745 57757 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 21 | 1545 4746 58278 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 21 | 1545 4747 58799 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 21 | 1545 4748 59320 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 21 | 1545 4749 59841 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 21 | 1545 4750 60362 | 5000 21 457 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 22 | 1545 4751 60883 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 22 | 1545 4752 61404 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 22 | 1545 4753 61925 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s c =============================================================================== c | 22 | 1545 4754 62446 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 22 | 1545 4755 62967 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 22 | 1545 4756 63488 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 22 | 1545 4757 64009 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 22 | 1545 4758 64530 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 22 | 1545 4759 65051 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 22 | 1545 4760 65572 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 22 | 1545 4761 66093 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 22 | 1545 4762 66614 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 22 | 1545 4763 67135 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s c =============================================================================== c | 22 | 1545 4764 67656 | 5000 22 436 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 31 | 1545 4765 68177 | 5000 31 429 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s c =============================================================================== c | 31 | 1545 4766 68698 | 5000 31 429 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 31 | 1545 4767 69219 | 5000 31 429 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 32 | 1545 4768 69740 | 5000 32 415 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 32 | 1545 4769 70261 | 5000 32 415 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 32 | 1545 4770 70782 | 5000 32 415 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 32 | 1545 4771 71303 | 5000 32 415 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 32 | 1545 4772 71824 | 5000 32 415 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 32 | 1545 4773 72345 | 5000 32 415 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 47 | 1545 4774 72866 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 47 | 1545 4775 73387 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 47 | 1545 4776 73908 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.938857 s Remaining CPU time: 179.061 s c =============================================================================== c | 47 | 1545 4777 74429 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.954854 s Remaining CPU time: 179.045 s c =============================================================================== c | 47 | 1545 4778 74950 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 47 | 1545 4779 75471 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 47 | 1545 4780 75992 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 47 | 1545 4781 76513 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.02084 s Remaining CPU time: 178.979 s c =============================================================================== c | 47 | 1545 4782 77034 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 47 | 1545 4783 77555 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 47 | 1545 4784 78076 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 47 | 1545 4785 78597 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.08883 s Remaining CPU time: 178.911 s c =============================================================================== c | 47 | 1545 4786 79118 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 47 | 1545 4787 79639 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 47 | 1545 4788 80160 | 5000 47 411 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 60 | 1545 4789 80681 | 5000 60 406 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s c =============================================================================== c | 60 | 1545 4790 81202 | 5000 60 406 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 60 | 1545 4791 81723 | 5000 60 406 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 63 | 1545 4792 82244 | 5000 63 405 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.21881 s Remaining CPU time: 178.781 s c =============================================================================== c | 63 | 1545 4793 82765 | 5000 63 405 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 70 | 1545 4794 83286 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.25581 s Remaining CPU time: 178.744 s c =============================================================================== c | 70 | 1545 4795 83807 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.27581 s Remaining CPU time: 178.724 s c =============================================================================== c | 70 | 1545 4796 84328 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 70 | 1545 4797 84849 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 70 | 1545 4798 85370 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 70 | 1545 4799 85891 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 70 | 1545 4800 86412 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.36879 s Remaining CPU time: 178.631 s c =============================================================================== c | 70 | 1545 4801 86933 | 5000 70 403 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 88 | 1545 4802 87454 | 5000 88 397 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.41778 s Remaining CPU time: 178.582 s c =============================================================================== c | 94 | 1545 4803 87975 | 5000 94 395 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 98 | 1545 4804 88496 | 5000 98 394 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 109 | 1545 4805 89017 | 5000 109 392 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.48477 s Remaining CPU time: 178.515 s c =============================================================================== c | 113 | 1545 4806 89538 | 5000 113 391 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 115 | 1545 4807 90059 | 5000 115 391 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 115 | 1545 4808 90580 | 5000 115 391 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 120 | 1545 4809 91101 | 5000 120 390 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.56776 s Remaining CPU time: 178.432 s c =============================================================================== c | 120 | 1545 4810 91622 | 5000 120 390 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.58876 s Remaining CPU time: 178.411 s c =============================================================================== c | 120 | 1545 4811 92143 | 5000 120 390 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 120 | 1545 4812 92664 | 5000 120 390 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 120 | 1545 4813 93185 | 5000 120 390 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 120 | 1545 4814 93706 | 5000 120 390 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s c =============================================================================== c | 134 | 1545 4815 94227 | 5000 134 387 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 134 | 1545 4816 94748 | 5000 134 387 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s c =============================================================================== c | 143 | 1545 4817 95269 | 5000 143 385 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s c =============================================================================== c | 146 | 1545 4818 95790 | 5000 146 385 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.77273 s Remaining CPU time: 178.227 s c =============================================================================== c | 149 | 1545 4819 96311 | 5000 149 384 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.79473 s Remaining CPU time: 178.205 s c =============================================================================== c | 149 | 1545 4820 96832 | 5000 149 384 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.81572 s Remaining CPU time: 178.184 s c =============================================================================== c | 150 | 1545 4821 97353 | 5000 150 384 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.83872 s Remaining CPU time: 178.161 s c =============================================================================== c | 151 | 1545 4822 97874 | 5000 151 384 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.86272 s Remaining CPU time: 178.137 s c =============================================================================== c | 151 | 1545 4823 98395 | 5000 151 384 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s c =============================================================================== c | 159 | 1545 4824 98916 | 5000 159 382 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 159 | 1545 4825 99437 | 5000 159 382 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 159 | 1545 4826 99958 | 5000 159 382 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.9527 s Remaining CPU time: 178.047 s c =============================================================================== c | 159 | 1545 4827 100479 | 5000 159 382 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 175 | 1545 4828 101000 | 5000 175 379 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 175 | 1545 4829 101521 | 5000 175 379 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.02869 s Remaining CPU time: 177.971 s c =============================================================================== c | 176 | 1545 4830 102042 | 5000 176 379 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.05569 s Remaining CPU time: 177.944 s c =============================================================================== c | 189 | 1545 4831 102563 | 5000 189 376 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 201 | 1545 4832 103084 | 5000 201 374 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.10568 s Remaining CPU time: 177.894 s c =============================================================================== c | 202 | 1545 4833 103605 | 5000 202 374 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 217 | 1545 4834 104126 | 5000 217 372 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 2.18067 s Remaining CPU time: 177.819 s c =============================================================================== c | 295 | 1545 4835 104647 | 5000 295 364 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 2.21266 s Remaining CPU time: 177.787 s c =============================================================================== c | 328 | 1545 4836 105168 | 5000 328 362 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.24966 s Remaining CPU time: 177.75 s c =============================================================================== c | 371 | 1545 4837 105689 | 5000 371 359 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s c =============================================================================== c | 371 | 1545 4838 106210 | 5000 371 359 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.29965 s Remaining CPU time: 177.7 s c =============================================================================== c | 378 | 1545 4839 106731 | 5000 378 358 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.32465 s Remaining CPU time: 177.675 s c =============================================================================== c | 382 | 1545 4840 107252 | 5000 382 358 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.35264 s Remaining CPU time: 177.647 s c =============================================================================== c | 390 | 1545 4841 107773 | 5000 390 358 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 397 | 1545 4842 108294 | 5000 397 357 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.41063 s Remaining CPU time: 177.589 s c =============================================================================== c | 416 | 1545 4843 108815 | 5000 416 356 | 0.000 % | c | 517 | 1545 4843 108815 | 5500 517 351 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.51762 s Remaining CPU time: 177.482 s c =============================================================================== c | 591 | 1545 4844 109336 | 5000 591 349 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.55861 s Remaining CPU time: 177.441 s c =============================================================================== c | 644 | 1545 4845 109857 | 5000 644 348 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 708 | 1545 4846 110378 | 5000 708 346 | 0.000 % | c | 808 | 1545 4846 110378 | 5500 808 344 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.69059 s Remaining CPU time: 177.309 s c =============================================================================== c | 835 | 1545 4847 110899 | 5000 835 343 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s c =============================================================================== c | 842 | 1545 4848 111420 | 5000 842 343 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.74958 s Remaining CPU time: 177.25 s c =============================================================================== c | 851 | 1545 4849 111941 | 5000 851 343 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.78258 s Remaining CPU time: 177.217 s c =============================================================================== c | 867 | 1545 4850 112462 | 5000 867 343 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.81257 s Remaining CPU time: 177.187 s c =============================================================================== c | 882 | 1545 4851 112983 | 5000 882 342 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.84057 s Remaining CPU time: 177.159 s c =============================================================================== c | 887 | 1545 4852 113504 | 5000 887 342 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.87256 s Remaining CPU time: 177.127 s c =============================================================================== c | 905 | 1545 4853 114025 | 5000 905 342 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.90756 s Remaining CPU time: 177.092 s c =============================================================================== c | 929 | 1545 4854 114546 | 5000 929 341 | 0.000 % | c | 1029 | 1545 4854 114546 | 5500 1029 339 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 3.00554 s Remaining CPU time: 176.994 s c =============================================================================== c | 1092 | 1545 4855 115067 | 5000 1092 338 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 3.03854 s Remaining CPU time: 176.961 s c =============================================================================== c | 1105 | 1545 4856 115588 | 5000 1105 338 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 3.07153 s Remaining CPU time: 176.928 s c =============================================================================== c | 1120 | 1545 4857 116109 | 5000 1120 338 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 3.10753 s Remaining CPU time: 176.892 s c =============================================================================== c | 1145 | 1545 4858 116630 | 5000 1145 337 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 3.14052 s Remaining CPU time: 176.859 s c =============================================================================== c | 1160 | 1545 4859 117151 | 5000 1160 337 | 0.000 % | c | 1261 | 1545 4859 117151 | 5500 1261 336 | 0.000 % | c | 1411 | 1545 4859 117151 | 6050 1411 333 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 3.35949 s Remaining CPU time: 176.641 s c =============================================================================== c | 1600 | 1545 4860 117672 | 5000 1600 331 | 0.000 % | c | 1700 | 1545 4860 117672 | 5500 1700 330 | 0.000 % | c | 1850 | 1545 4860 117672 | 6050 1850 329 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 1925 | 1545 4861 118193 | 5000 1925 328 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 3.56746 s Remaining CPU time: 176.433 s c =============================================================================== c | 1928 | 1545 4862 118714 | 5000 1928 328 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 3.60745 s Remaining CPU time: 176.393 s c =============================================================================== c | 1958 | 1545 4863 119235 | 5000 1958 328 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 3.64644 s Remaining CPU time: 176.354 s c =============================================================================== c | 1987 | 1545 4864 119756 | 5000 1987 328 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 3.68444 s Remaining CPU time: 176.316 s c =============================================================================== c | 2014 | 1545 4865 120277 | 5000 2014 328 | 0.000 % | c | 2114 | 1545 4865 120277 | 5500 2114 327 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.79542 s Remaining CPU time: 176.205 s c =============================================================================== c | 2191 | 1545 4866 120798 | 5000 2191 326 | 0.000 % | c | 2293 | 1545 4866 120798 | 5500 2293 326 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.89941 s Remaining CPU time: 176.101 s c =============================================================================== c | 2334 | 1545 4867 121319 | 5000 2334 325 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.9344 s Remaining CPU time: 176.066 s c =============================================================================== c | 2361 | 1545 4868 121840 | 5000 2361 325 | 0.000 % | c | 2461 | 1545 4868 121840 | 5500 2461 324 | 0.000 % | c | 2611 | 1545 4868 121840 | 6050 2611 323 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 4.14737 s Remaining CPU time: 175.853 s c =============================================================================== c | 2808 | 1545 4869 122361 | 5000 2808 322 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 4.21036 s Remaining CPU time: 175.79 s c =============================================================================== c | 2901 | 1545 4870 122882 | 5000 2901 322 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 4.26035 s Remaining CPU time: 175.74 s c =============================================================================== c | 2968 | 1545 4871 123403 | 5000 2968 321 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 4.30835 s Remaining CPU time: 175.692 s c =============================================================================== c | 3024 | 1545 4872 123924 | 5000 3024 321 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 4.34534 s Remaining CPU time: 175.655 s c =============================================================================== c | 3043 | 1545 4873 124445 | 5000 3043 321 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 4.40333 s Remaining CPU time: 175.597 s c =============================================================================== c | 3132 | 1545 4874 124966 | 5000 3132 320 | 0.000 % | c | 3233 | 1545 4874 124966 | 5500 3233 320 | 0.000 % | c | 3383 | 1545 4874 124966 | 6050 3383 319 | 0.000 % | c | 3609 | 1545 4874 124966 | 6655 3609 318 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 4.70428 s Remaining CPU time: 175.296 s c =============================================================================== c | 3738 | 1545 4875 125487 | 5000 3738 317 | 0.000 % | c | 3838 | 1545 4875 125487 | 5500 3838 317 | 0.000 % | c | 3988 | 1545 4875 125487 | 6050 3988 316 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 4.92025 s Remaining CPU time: 175.08 s c =============================================================================== c | 4124 | 1545 4876 126008 | 5000 4124 316 | 0.000 % | c | 4224 | 1545 4876 126008 | 5500 4224 315 | 0.000 % | c | 4374 | 1545 4876 126008 | 6050 4374 315 | 0.000 % | c | 4599 | 1545 4876 126008 | 6655 4599 314 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 5.2602 s Remaining CPU time: 174.74 s c =============================================================================== c | 4723 | 1545 4877 126529 | 5000 4723 314 | 0.000 % | c | 4823 | 1545 4877 126529 | 5500 4823 313 | 0.000 % | c | 4973 | 1545 4877 126529 | 6050 4973 313 | 0.000 % | c | 5198 | 1545 4877 126529 | 6655 5198 312 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 5.53316 s Remaining CPU time: 174.467 s c =============================================================================== c | 5221 | 1545 4878 127050 | 5000 5221 312 | 0.000 % | c | 5321 | 1545 4878 127050 | 5500 2711 300 | 0.000 % | c | 5472 | 1545 4878 127050 | 6050 2862 300 | 0.000 % | c | 5697 | 1545 4878 127050 | 6655 3087 300 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 5.86511 s Remaining CPU time: 174.135 s c =============================================================================== c | 5839 | 1545 4879 127571 | 5000 3229 300 | 0.000 % | c | 5939 | 1545 4879 127571 | 5500 3329 300 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 5.98809 s Remaining CPU time: 174.012 s c =============================================================================== c | 6050 | 1545 4880 128092 | 5000 3440 300 | 0.000 % | c | 6150 | 1545 4880 128092 | 5500 3540 300 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 6.13607 s Remaining CPU time: 173.864 s c =============================================================================== c | 6252 | 1545 4881 128613 | 5000 3642 299 | 0.000 % | c | 6352 | 1545 4881 128613 | 5500 3742 299 | 0.000 % | c | 6502 | 1545 4881 128613 | 6050 3892 299 | 0.000 % | c | 6727 | 1545 4881 128613 | 6655 4117 299 | 0.000 % | c | 7064 | 1545 4881 128613 | 7320 4454 299 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 6.69798 s Remaining CPU time: 173.302 s c =============================================================================== c | 7392 | 1545 4882 129134 | 5000 4782 298 | 0.000 % | c | 7493 | 1545 4882 129134 | 5500 4883 298 | 0.000 % | c | 7643 | 1545 4882 129134 | 6050 5033 298 | 0.000 % | c | 7868 | 1545 4882 129134 | 6655 5258 298 | 0.000 % | c | 8206 | 1545 4882 129134 | 7320 5596 298 | 0.000 % | c | 8712 | 1545 4882 129134 | 8052 6102 297 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 7.60684 s Remaining CPU time: 172.393 s c =============================================================================== c | 9295 | 1545 4883 129655 | 5000 6685 297 | 0.000 % | c | 9397 | 1545 4883 129655 | 5500 3445 294 | 0.000 % | c | 9547 | 1545 4883 129655 | 6050 3595 294 | 0.000 % | c | 9772 | 1545 4883 129655 | 6655 3820 294 | 0.000 % | c | 10109 | 1545 4883 129655 | 7320 4157 294 | 0.000 % | c | 10617 | 1545 4883 129655 | 8052 4665 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 8.41272 s Remaining CPU time: 171.587 s c =============================================================================== c | 10845 | 1545 4884 130176 | 5000 4893 293 | 0.000 % | c | 10945 | 1545 4884 130176 | 5500 4993 293 | 0.000 % | c | 11096 | 1545 4884 130176 | 6050 5144 293 | 0.000 % | c | 11322 | 1545 4884 130176 | 6655 5370 293 | 0.000 % | c | 11659 | 1545 4884 130176 | 7320 5707 293 | 0.000 % | c | 12165 | 1545 4884 130176 | 8052 6213 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 9.2026 s Remaining CPU time: 170.797 s c =============================================================================== c | 12435 | 1545 4885 130697 | 5000 6483 293 | 0.000 % | c | 12535 | 1545 4885 130697 | 5500 3342 292 | 0.000 % | c | 12686 | 1545 4885 130697 | 6050 3493 292 | 0.000 % | c | 12911 | 1545 4885 130697 | 6655 3718 292 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 9.59454 s Remaining CPU time: 170.405 s c =============================================================================== c | 13123 | 1545 4886 131218 | 5000 3930 292 | 0.000 % | c | 13224 | 1545 4886 131218 | 5500 4031 292 | 0.000 % | c | 13374 | 1545 4886 131218 | 6050 4181 291 | 0.000 % | c | 13599 | 1545 4886 131218 | 6655 4406 291 | 0.000 % | c | 13936 | 1545 4886 131218 | 7320 4743 291 | 0.000 % | c | 14442 | 1545 4886 131218 | 8052 5249 291 | 0.000 % | c | 15202 | 1545 4886 131218 | 8857 6009 291 | 0.000 % | c | 16341 | 1545 4886 131218 | 9743 7148 291 | 0.000 % | c | 18049 | 1545 4886 131218 | 10717 8856 291 | 0.000 % | c | 20611 | 1545 4886 131218 | 11789 5891 290 | 0.000 % | c | 24455 | 1545 4886 131218 | 12968 9735 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 15.7536 s Remaining CPU time: 164.246 s c =============================================================================== c | 26485 | 1545 4887 131739 | 5000 11765 290 | 0.000 % | c | 26586 | 1545 4887 131739 | 5500 3043 290 | 0.000 % | c | 26736 | 1545 4887 131739 | 6050 3193 290 | 0.000 % | c | 26961 | 1545 4887 131739 | 6655 3418 290 | 0.000 % | c | 27298 | 1545 4887 131739 | 7320 3755 290 | 0.000 % | c | 27804 | 1545 4887 131739 | 8052 4261 290 | 0.000 % | c | 28563 | 1545 4887 131739 | 8857 5020 290 | 0.000 % | c | 29702 | 1545 4887 131739 | 9743 6159 290 | 0.000 % | c | 31410 | 1545 4887 131739 | 10717 7867 289 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 18.9671 s Remaining CPU time: 161.033 s c =============================================================================== c | 33537 | 1545 4888 132260 | 5000 9994 289 | 0.000 % | c | 33637 | 1545 4888 132260 | 5500 5097 289 | 0.000 % | c | 33787 | 1545 4888 132260 | 6050 5247 289 | 0.000 % | c | 34012 | 1545 4888 132260 | 6655 5472 289 | 0.000 % | c | 34349 | 1545 4888 132260 | 7320 5809 289 | 0.000 % | c | 34855 | 1545 4888 132260 | 8052 6315 289 | 0.000 % | c | 35615 | 1545 4888 132260 | 8857 7075 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 20.6079 s Remaining CPU time: 159.392 s c =============================================================================== c | 36659 | 1545 4889 132781 | 5000 8119 289 | 0.000 % | c | 36759 | 1545 4889 132781 | 5500 4160 288 | 0.000 % | c | 36909 | 1545 4889 132781 | 6050 4310 288 | 0.000 % | c | 37134 | 1545 4889 132781 | 6655 4535 288 | 0.000 % | c | 37471 | 1545 4889 132781 | 7320 4872 288 | 0.000 % | c | 37977 | 1545 4889 132781 | 8052 5378 288 | 0.000 % | c | 38736 | 1545 4889 132781 | 8857 6137 287 | 0.000 % | c | 39875 | 1545 4889 132781 | 9743 7276 287 | 0.000 % | c | 41583 | 1545 4889 132781 | 10717 8984 287 | 0.000 % | c | 44145 | 1545 4889 132781 | 11789 6022 287 | 0.000 % | c | 47990 | 1545 4889 132781 | 12968 9867 287 | 0.000 % | c | 53756 | 1545 4889 132781 | 14265 8974 287 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 30.8463 s Remaining CPU time: 149.154 s c =============================================================================== c | 59428 | 1545 4890 133302 | 5000 7350 287 | 0.000 % | c | 59528 | 1545 4890 133302 | 5500 3775 287 | 0.000 % | c | 59678 | 1545 4890 133302 | 6050 3925 287 | 0.000 % | c | 59903 | 1545 4890 133302 | 6655 4150 287 | 0.000 % | c | 60240 | 1545 4890 133302 | 7320 4487 287 | 0.000 % | c | 60746 | 1545 4890 133302 | 8052 4993 286 | 0.000 % | c | 61505 | 1545 4890 133302 | 8857 5752 286 | 0.000 % | c | 62644 | 1545 4890 133302 | 9743 6891 286 | 0.000 % | c | 64353 | 1545 4890 133302 | 10717 8600 286 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 33.5779 s Remaining CPU time: 146.422 s c =============================================================================== c | 65552 | 1545 4891 133823 | 5000 9799 286 | 0.000 % | c | 65652 | 1545 4891 133823 | 5500 5000 286 | 0.000 % | c | 65802 | 1545 4891 133823 | 6050 5150 286 | 0.000 % | c | 66027 | 1545 4891 133823 | 6655 5375 285 | 0.000 % | c | 66364 | 1545 4891 133823 | 7320 5712 285 | 0.000 % | c | 66870 | 1545 4891 133823 | 8052 6218 285 | 0.000 % | c | 67629 | 1545 4891 133823 | 8857 6977 285 | 0.000 % | c | 68768 | 1545 4891 133823 | 9743 8116 285 | 0.000 % | c | 70476 | 1545 4891 133823 | 10717 9824 285 | 0.000 % | c | 73039 | 1545 4891 133823 | 11789 6870 285 | 0.000 % | c | 76883 | 1545 4891 133823 | 12968 10714 285 | 0.000 % | c | 82649 | 1545 4891 133823 | 14265 9820 285 | 0.000 % | c | 91299 | 1545 4891 133823 | 15692 11175 285 | 0.000 % | c | 104273 | 1545 4891 133823 | 17261 8132 285 | 0.000 % | c | 123734 | 1545 4891 133823 | 18987 9995 285 | 0.000 % | c | 152926 | 1545 4891 133823 | 20886 10216 285 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 81.5416 s Remaining CPU time: 98.4584 s c =============================================================================== c | 161538 | 1545 4892 134344 | 5000 18828 285 | 0.000 % | c | 161639 | 1545 4892 134344 | 5500 4808 285 | 0.000 % | c | 161789 | 1545 4892 134344 | 6050 4958 285 | 0.000 % | c | 162014 | 1545 4892 134344 | 6655 5183 285 | 0.000 % | c | 162351 | 1545 4892 134344 | 7320 5520 285 | 0.000 % | c | 162857 | 1545 4892 134344 | 8052 6026 285 | 0.000 % | c | 163616 | 1545 4892 134344 | 8857 6785 285 | 0.000 % | c | 164755 | 1545 4892 134344 | 9743 7924 285 | 0.000 % | c | 166463 | 1545 4892 134344 | 10717 9632 285 | 0.000 % | c | 169025 | 1545 4892 134344 | 11789 6686 284 | 0.000 % | c | 172870 | 1545 4892 134344 | 12968 10531 284 | 0.000 % | c | 178636 | 1545 4892 134344 | 14265 9650 284 | 0.000 % | c | 187285 | 1545 4892 134344 | 15692 11004 284 | 0.000 % | c | 200260 | 1545 4892 134344 | 17261 15987 284 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 108.796 s Remaining CPU time: 71.2035 s c =============================================================================== c | 215932 | 1545 4893 134865 | 5000 14086 285 | 0.000 % | c | 216032 | 1545 4893 134865 | 5500 3622 284 | 0.000 % | c | 216182 | 1545 4893 134865 | 6050 3772 284 | 0.000 % | c | 216407 | 1545 4893 134865 | 6655 3997 284 | 0.000 % | c | 216745 | 1545 4893 134865 | 7320 4335 284 | 0.000 % | c | 217252 | 1545 4893 134865 | 8052 4842 284 | 0.000 % | c | 218011 | 1545 4893 134865 | 8857 5601 284 | 0.000 % | c | 219150 | 1545 4893 134865 | 9743 6740 284 | 0.000 % | c | 220858 | 1545 4893 134865 | 10717 8448 284 | 0.000 % | c | 223420 | 1545 4893 134865 | 11789 11010 283 | 0.000 % | c | 227264 | 1545 4893 134865 | 12968 8798 283 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 115.454 s Remaining CPU time: 64.5456 s c =============================================================================== c | 230700 | 1545 4894 135386 | 5000 12234 283 | 0.000 % | c | 230800 | 1545 4894 135386 | 5500 3159 283 | 0.000 % | c | 230951 | 1545 4894 135386 | 6050 3310 283 | 0.000 % | c | 231176 | 1545 4894 135386 | 6655 3535 282 | 0.000 % | c | 231513 | 1545 4894 135386 | 7320 3872 282 | 0.000 % | c | 232020 | 1545 4894 135386 | 8052 4379 282 | 0.000 % | c | 232779 | 1545 4894 135386 | 8857 5138 282 | 0.000 % | c | 233918 | 1545 4894 135386 | 9743 6277 282 | 0.000 % | c | 235626 | 1545 4894 135386 | 10717 7985 282 | 0.000 % | c | 238189 | 1545 4894 135386 | 11789 10548 282 | 0.000 % | c | 242034 | 1545 4894 135386 | 12968 8340 282 | 0.000 % | c | 247800 | 1545 4894 135386 | 14265 7470 282 | 0.000 % | c | 256449 | 1545 4894 135386 | 15692 8827 282 | 0.000 % | c | 269423 | 1545 4894 135386 | 17261 13799 282 | 0.000 % | c | 288884 | 1545 4894 135386 | 18987 15694 282 | 0.000 % |