c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4641 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1552 | c | Number Clauses: 4630 | 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 | 1552 4630 9777 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1552 4631 10300 | 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 | 1552 4632 10823 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1552 4633 11346 | 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 | 1552 4634 11869 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1552 4635 12392 | 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 | 1552 4636 12915 | 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 | 1552 4637 13438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1552 4638 13961 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1552 4639 14484 | 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 | 1552 4640 15007 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1552 4641 15530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1552 4642 16053 | 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 | 1552 4643 16576 | 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 | 1552 4644 17099 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1552 4645 17622 | 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 | 1552 4646 18145 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1552 4647 18668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1552 4648 19191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1552 4649 19714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1552 4650 20237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1552 4651 20760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1552 4652 21283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1552 4653 21806 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1552 4654 22329 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1552 4655 22852 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1552 4656 23375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1552 4657 23898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 1552 4658 24421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1552 4659 24944 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 1552 4660 25467 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1552 4661 25990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1552 4662 26513 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 1552 4663 27036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 1552 4664 27559 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 13 | 1552 4665 28082 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 13 | 1552 4666 28605 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 13 | 1552 4667 29128 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 13 | 1552 4668 29651 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 13 | 1552 4669 30174 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 13 | 1552 4670 30697 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 13 | 1552 4671 31220 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 13 | 1552 4672 31743 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 13 | 1552 4673 32266 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 13 | 1552 4674 32789 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 13 | 1552 4675 33312 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 13 | 1552 4676 33835 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 13 | 1552 4677 34358 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 13 | 1552 4678 34881 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 13 | 1552 4679 35404 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 13 | 1552 4680 35927 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 13 | 1552 4681 36450 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 13 | 1552 4682 36973 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 13 | 1552 4683 37496 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 13 | 1552 4684 38019 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 13 | 1552 4685 38542 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 13 | 1552 4686 39065 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 13 | 1552 4687 39588 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 13 | 1552 4688 40111 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 13 | 1552 4689 40634 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 13 | 1552 4690 41157 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 13 | 1552 4691 41680 | 5000 13 491 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 14 | 1552 4692 42203 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 14 | 1552 4693 42726 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 14 | 1552 4694 43249 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 14 | 1552 4695 43772 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 14 | 1552 4696 44295 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 14 | 1552 4697 44818 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 14 | 1552 4698 45341 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 14 | 1552 4699 45864 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 14 | 1552 4700 46387 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 14 | 1552 4701 46910 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 14 | 1552 4702 47433 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 14 | 1552 4703 47956 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 14 | 1552 4704 48479 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 14 | 1552 4705 49002 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s c =============================================================================== c | 14 | 1552 4706 49525 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 14 | 1552 4707 50048 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 14 | 1552 4708 50571 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 14 | 1552 4709 51094 | 5000 14 457 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 15 | 1552 4710 51617 | 5000 15 456 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 15 | 1552 4711 52140 | 5000 15 456 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 15 | 1552 4712 52663 | 5000 15 456 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 15 | 1552 4713 53186 | 5000 15 456 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 15 | 1552 4714 53709 | 5000 15 456 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 15 | 1552 4715 54232 | 5000 15 456 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 15 | 1552 4716 54755 | 5000 15 456 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 16 | 1552 4717 55278 | 5000 16 455 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 16 | 1552 4718 55801 | 5000 16 455 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 16 | 1552 4719 56324 | 5000 16 455 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 16 | 1552 4720 56847 | 5000 16 455 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 16 | 1552 4721 57370 | 5000 16 455 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 16 | 1552 4722 57893 | 5000 16 455 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 16 | 1552 4723 58416 | 5000 16 455 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 17 | 1552 4724 58939 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 17 | 1552 4725 59462 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 17 | 1552 4726 59985 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 17 | 1552 4727 60508 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 17 | 1552 4728 61031 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 17 | 1552 4729 61554 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 17 | 1552 4730 62077 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 17 | 1552 4731 62600 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.626904 s Remaining CPU time: 179.373 s c =============================================================================== c | 17 | 1552 4732 63123 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 17 | 1552 4733 63646 | 5000 17 453 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 20 | 1552 4734 64169 | 5000 20 448 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 20 | 1552 4735 64692 | 5000 20 448 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 20 | 1552 4736 65215 | 5000 20 448 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 20 | 1552 4737 65738 | 5000 20 448 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.704892 s Remaining CPU time: 179.295 s c =============================================================================== c | 20 | 1552 4738 66261 | 5000 20 448 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 23 | 1552 4739 66784 | 5000 23 444 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 27 | 1552 4740 67307 | 5000 27 440 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 27 | 1552 4741 67830 | 5000 27 440 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 27 | 1552 4742 68353 | 5000 27 440 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s c =============================================================================== c | 27 | 1552 4743 68876 | 5000 27 440 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 28 | 1552 4744 69399 | 5000 28 439 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 28 | 1552 4745 69922 | 5000 28 439 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 28 | 1552 4746 70445 | 5000 28 439 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 32 | 1552 4747 70968 | 5000 32 435 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 32 | 1552 4748 71491 | 5000 32 435 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 32 | 1552 4749 72014 | 5000 32 435 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 32 | 1552 4750 72537 | 5000 32 435 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 32 | 1552 4751 73060 | 5000 32 435 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 32 | 1552 4752 73583 | 5000 32 435 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.929858 s Remaining CPU time: 179.07 s c =============================================================================== c | 32 | 1552 4753 74106 | 5000 32 435 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 33 | 1552 4754 74629 | 5000 33 434 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s c =============================================================================== c | 34 | 1552 4755 75152 | 5000 34 421 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 34 | 1552 4756 75675 | 5000 34 421 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s c =============================================================================== c | 34 | 1552 4757 76198 | 5000 34 421 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s c =============================================================================== c | 34 | 1552 4758 76721 | 5000 34 421 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 34 | 1552 4759 77244 | 5000 34 421 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 34 | 1552 4760 77767 | 5000 34 421 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 41 | 1552 4761 78290 | 5000 41 417 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 41 | 1552 4762 78813 | 5000 41 417 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s c =============================================================================== c | 41 | 1552 4763 79336 | 5000 41 417 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 41 | 1552 4764 79859 | 5000 41 417 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.13283 s Remaining CPU time: 178.867 s c =============================================================================== c | 42 | 1552 4765 80382 | 5000 42 416 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 42 | 1552 4766 80905 | 5000 42 416 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.16982 s Remaining CPU time: 178.83 s c =============================================================================== c | 52 | 1552 4767 81428 | 5000 52 411 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.18882 s Remaining CPU time: 178.811 s c =============================================================================== c | 53 | 1552 4768 81951 | 5000 53 410 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.20882 s Remaining CPU time: 178.791 s c =============================================================================== c | 55 | 1552 4769 82474 | 5000 55 409 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 57 | 1552 4770 82997 | 5000 57 408 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 68 | 1552 4771 83520 | 5000 68 404 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s c =============================================================================== c | 73 | 1552 4772 84043 | 5000 73 403 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 73 | 1552 4773 84566 | 5000 73 403 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 73 | 1552 4774 85089 | 5000 73 403 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.3288 s Remaining CPU time: 178.671 s c =============================================================================== c | 78 | 1552 4775 85612 | 5000 78 401 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 90 | 1552 4776 86135 | 5000 90 398 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.38079 s Remaining CPU time: 178.619 s c =============================================================================== c | 125 | 1552 4777 86658 | 5000 125 393 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.41578 s Remaining CPU time: 178.584 s c =============================================================================== c | 184 | 1552 4778 87181 | 5000 184 388 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 232 | 1552 4779 87704 | 5000 232 386 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 241 | 1552 4780 88227 | 5000 241 385 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.50477 s Remaining CPU time: 178.495 s c =============================================================================== c | 283 | 1552 4781 88750 | 5000 283 383 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 314 | 1552 4782 89273 | 5000 314 382 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.57076 s Remaining CPU time: 178.429 s c =============================================================================== c | 367 | 1552 4783 89796 | 5000 367 381 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 432 | 1552 4784 90319 | 5000 432 380 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.65175 s Remaining CPU time: 178.348 s c =============================================================================== c | 520 | 1552 4785 90842 | 5000 520 378 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.68374 s Remaining CPU time: 178.316 s c =============================================================================== c | 561 | 1552 4786 91365 | 5000 561 377 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.71674 s Remaining CPU time: 178.283 s c =============================================================================== c | 602 | 1552 4787 91888 | 5000 602 377 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.75073 s Remaining CPU time: 178.249 s c =============================================================================== c | 645 | 1552 4788 92411 | 5000 645 376 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.77873 s Remaining CPU time: 178.221 s c =============================================================================== c | 676 | 1552 4789 92934 | 5000 676 376 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 686 | 1552 4790 93457 | 5000 686 375 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.84172 s Remaining CPU time: 178.158 s c =============================================================================== c | 740 | 1552 4791 93980 | 5000 740 375 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 777 | 1552 4792 94503 | 5000 777 374 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.89871 s Remaining CPU time: 178.101 s c =============================================================================== c | 781 | 1552 4793 95026 | 5000 781 374 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.92771 s Remaining CPU time: 178.072 s c =============================================================================== c | 804 | 1552 4794 95549 | 5000 804 374 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 856 | 1552 4795 96072 | 5000 856 373 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 911 | 1552 4796 96595 | 5000 911 372 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 1002 | 1552 4797 97118 | 5000 1002 371 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.09768 s Remaining CPU time: 177.902 s c =============================================================================== c | 1051 | 1552 4798 97641 | 5000 1051 370 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.13468 s Remaining CPU time: 177.865 s c =============================================================================== c | 1098 | 1552 4799 98164 | 5000 1098 370 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 2.17267 s Remaining CPU time: 177.827 s c =============================================================================== c | 1145 | 1552 4800 98687 | 5000 1145 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 2.20966 s Remaining CPU time: 177.79 s c =============================================================================== c | 1190 | 1552 4801 99210 | 5000 1190 368 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 2.24366 s Remaining CPU time: 177.756 s c =============================================================================== c | 1225 | 1552 4802 99733 | 5000 1225 368 | 0.000 % | c | 1325 | 1552 4802 99733 | 5500 1325 367 | 0.000 % | c | 1475 | 1552 4802 99733 | 6050 1475 365 | 0.000 % | c | 1700 | 1552 4802 99733 | 6655 1700 364 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 2.53761 s Remaining CPU time: 177.462 s c =============================================================================== c | 1941 | 1552 4803 100256 | 5000 1941 362 | 0.000 % | c | 2041 | 1552 4803 100256 | 5500 2041 362 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 2.6376 s Remaining CPU time: 177.362 s c =============================================================================== c | 2114 | 1552 4804 100779 | 5000 2114 361 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 2.67559 s Remaining CPU time: 177.324 s c =============================================================================== c | 2148 | 1552 4805 101302 | 5000 2148 361 | 0.000 % | c | 2249 | 1552 4805 101302 | 5500 2249 361 | 0.000 % | c | 2399 | 1552 4805 101302 | 6050 2399 360 | 0.000 % | c | 2624 | 1552 4805 101302 | 6655 2624 359 | 0.000 % | c | 2961 | 1552 4805 101302 | 7320 2961 358 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 3.04154 s Remaining CPU time: 176.958 s c =============================================================================== c | 3068 | 1552 4806 101825 | 5000 3068 358 | 0.000 % | c | 3168 | 1552 4806 101825 | 5500 3168 357 | 0.000 % | c | 3318 | 1552 4806 101825 | 6050 3318 357 | 0.000 % | c | 3544 | 1552 4806 101825 | 6655 3544 357 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 3.37849 s Remaining CPU time: 176.622 s c =============================================================================== c | 3832 | 1552 4807 102348 | 5000 3832 356 | 0.000 % | c | 3933 | 1552 4807 102348 | 5500 3933 356 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 3.49247 s Remaining CPU time: 176.508 s c =============================================================================== c | 4010 | 1552 4808 102871 | 5000 4010 356 | 0.000 % | c | 4110 | 1552 4808 102871 | 5500 4110 355 | 0.000 % | c | 4260 | 1552 4808 102871 | 6050 4260 355 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 3.70844 s Remaining CPU time: 176.292 s c =============================================================================== c | 4414 | 1552 4809 103394 | 5000 4414 355 | 0.000 % | c | 4514 | 1552 4809 103394 | 5500 4514 354 | 0.000 % | c | 4664 | 1552 4809 103394 | 6050 4664 354 | 0.000 % | c | 4889 | 1552 4809 103394 | 6655 4889 354 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 3.99139 s Remaining CPU time: 176.009 s c =============================================================================== c | 5100 | 1552 4810 103917 | 5000 5100 353 | 0.000 % | c | 5200 | 1552 4810 103917 | 5500 2650 347 | 0.000 % | c | 5350 | 1552 4810 103917 | 6050 2800 347 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 4.17136 s Remaining CPU time: 175.829 s c =============================================================================== c | 5462 | 1552 4811 104440 | 5000 2912 347 | 0.000 % | c | 5562 | 1552 4811 104440 | 5500 3012 347 | 0.000 % | c | 5712 | 1552 4811 104440 | 6050 3162 347 | 0.000 % | c | 5937 | 1552 4811 104440 | 6655 3387 346 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 5947 | 1552 4812 104963 | 5000 3397 346 | 0.000 % | c | 6047 | 1552 4812 104963 | 5500 3497 346 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 4.48932 s Remaining CPU time: 175.511 s c =============================================================================== c | 6109 | 1552 4813 105486 | 5000 3559 346 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 4.53131 s Remaining CPU time: 175.469 s c =============================================================================== c | 6157 | 1552 4814 106009 | 5000 3607 346 | 0.000 % | c | 6259 | 1552 4814 106009 | 5500 3709 346 | 0.000 % | c | 6409 | 1552 4814 106009 | 6050 3859 346 | 0.000 % | c | 6635 | 1552 4814 106009 | 6655 4085 346 | 0.000 % | c | 6972 | 1552 4814 106009 | 7320 4422 345 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 4.97924 s Remaining CPU time: 175.021 s c =============================================================================== c | 7233 | 1552 4815 106532 | 5000 4683 345 | 0.000 % | c | 7334 | 1552 4815 106532 | 5500 4784 345 | 0.000 % | c | 7484 | 1552 4815 106532 | 6050 4934 345 | 0.000 % | c | 7710 | 1552 4815 106532 | 6655 5160 344 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 5.31419 s Remaining CPU time: 174.686 s c =============================================================================== c | 8002 | 1552 4816 107055 | 5000 5452 344 | 0.000 % | c | 8103 | 1552 4816 107055 | 5500 2827 341 | 0.000 % | c | 8253 | 1552 4816 107055 | 6050 2977 341 | 0.000 % | c | 8479 | 1552 4816 107055 | 6655 3203 341 | 0.000 % | c | 8817 | 1552 4816 107055 | 7320 3541 341 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 5.71913 s Remaining CPU time: 174.281 s c =============================================================================== c | 8935 | 1552 4817 107578 | 5000 3659 340 | 0.000 % | c | 9036 | 1552 4817 107578 | 5500 3760 340 | 0.000 % | c | 9186 | 1552 4817 107578 | 6050 3910 340 | 0.000 % | c | 9411 | 1552 4817 107578 | 6655 4135 340 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 6.01408 s Remaining CPU time: 173.986 s c =============================================================================== c | 9554 | 1552 4818 108101 | 5000 4278 340 | 0.000 % | c | 9654 | 1552 4818 108101 | 5500 4378 340 | 0.000 % | c | 9804 | 1552 4818 108101 | 6050 4528 340 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 6.18706 s Remaining CPU time: 173.813 s c =============================================================================== c | 9857 | 1552 4819 108624 | 5000 4581 340 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 6.21805 s Remaining CPU time: 173.782 s c =============================================================================== c | 9868 | 1552 4820 109147 | 5000 4592 340 | 0.000 % | c | 9968 | 1552 4820 109147 | 5500 4692 340 | 0.000 % | c | 10118 | 1552 4820 109147 | 6050 4842 340 | 0.000 % | c | 10343 | 1552 4820 109147 | 6655 5067 339 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 6.48001 s Remaining CPU time: 173.52 s c =============================================================================== c | 10383 | 1552 4821 109670 | 5000 5107 339 | 0.000 % | c | 10484 | 1552 4821 109670 | 5500 2655 337 | 0.000 % | c | 10634 | 1552 4821 109670 | 6050 2805 337 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 6.71498 s Remaining CPU time: 173.285 s c =============================================================================== c | 10811 | 1552 4822 110193 | 5000 2982 337 | 0.000 % | c | 10912 | 1552 4822 110193 | 5500 3083 336 | 0.000 % | c | 11062 | 1552 4822 110193 | 6050 3233 336 | 0.000 % | c | 11287 | 1552 4822 110193 | 6655 3458 336 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 6.97994 s Remaining CPU time: 173.02 s c =============================================================================== c | 11309 | 1552 4823 110716 | 5000 3480 336 | 0.000 % | c | 11409 | 1552 4823 110716 | 5500 3580 336 | 0.000 % | c | 11560 | 1552 4823 110716 | 6050 3731 336 | 0.000 % | c | 11785 | 1552 4823 110716 | 6655 3956 336 | 0.000 % | c | 12122 | 1552 4823 110716 | 7320 4293 335 | 0.000 % | c | 12629 | 1552 4823 110716 | 8052 4800 335 | 0.000 % | c | 13389 | 1552 4823 110716 | 8857 5560 334 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 7.8618 s Remaining CPU time: 172.138 s c =============================================================================== c | 13470 | 1552 4824 111239 | 5000 5641 334 | 0.000 % | c | 13570 | 1552 4824 111239 | 5500 2921 332 | 0.000 % | c | 13720 | 1552 4824 111239 | 6050 3071 332 | 0.000 % | c | 13945 | 1552 4824 111239 | 6655 3296 332 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 8.25974 s Remaining CPU time: 171.74 s c =============================================================================== c | 14217 | 1552 4825 111762 | 5000 3568 332 | 0.000 % | c | 14317 | 1552 4825 111762 | 5500 3668 331 | 0.000 % | c | 14467 | 1552 4825 111762 | 6050 3818 331 | 0.000 % | c | 14692 | 1552 4825 111762 | 6655 4043 331 | 0.000 % | c | 15029 | 1552 4825 111762 | 7320 4380 331 | 0.000 % | c | 15537 | 1552 4825 111762 | 8052 4888 331 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 8.99963 s Remaining CPU time: 171 s c =============================================================================== c | 16117 | 1552 4826 112285 | 5000 5468 331 | 0.000 % | c | 16217 | 1552 4826 112285 | 5500 2834 330 | 0.000 % | c | 16367 | 1552 4826 112285 | 6050 2984 330 | 0.000 % | c | 16592 | 1552 4826 112285 | 6655 3209 330 | 0.000 % | c | 16929 | 1552 4826 112285 | 7320 3546 330 | 0.000 % | c | 17435 | 1552 4826 112285 | 8052 4052 329 | 0.000 % | c | 18194 | 1552 4826 112285 | 8857 4811 329 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 9.92249 s Remaining CPU time: 170.078 s c =============================================================================== c | 18340 | 1552 4827 112808 | 5000 4957 329 | 0.000 % | c | 18440 | 1552 4827 112808 | 5500 5057 329 | 0.000 % | c | 18590 | 1552 4827 112808 | 6050 5207 329 | 0.000 % | c | 18815 | 1552 4827 112808 | 6655 5432 329 | 0.000 % | c | 19152 | 1552 4827 112808 | 7320 5769 329 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 10.3364 s Remaining CPU time: 169.664 s c =============================================================================== c | 19240 | 1552 4828 113331 | 5000 5857 329 | 0.000 % | c | 19340 | 1552 4828 113331 | 5500 3029 328 | 0.000 % | c | 19491 | 1552 4828 113331 | 6050 3180 328 | 0.000 % | c | 19716 | 1552 4828 113331 | 6655 3405 328 | 0.000 % | c | 20053 | 1552 4828 113331 | 7320 3742 328 | 0.000 % | c | 20559 | 1552 4828 113331 | 8052 4248 328 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 11.1203 s Remaining CPU time: 168.88 s c =============================================================================== c | 21043 | 1552 4829 113854 | 5000 4732 328 | 0.000 % | c | 21143 | 1552 4829 113854 | 5500 4832 328 | 0.000 % | c | 21294 | 1552 4829 113854 | 6050 4983 327 | 0.000 % | c | 21519 | 1552 4829 113854 | 6655 5208 327 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 11.4393 s Remaining CPU time: 168.561 s c =============================================================================== c | 21781 | 1552 4830 114377 | 5000 5470 327 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 11.4903 s Remaining CPU time: 168.51 s c =============================================================================== c | 21815 | 1552 4831 114900 | 5000 2769 326 | 0.000 % | c | 21916 | 1552 4831 114900 | 5500 2870 326 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 11.5942 s Remaining CPU time: 168.406 s c =============================================================================== c | 21959 | 1552 4832 115423 | 5000 2913 326 | 0.000 % | c | 22059 | 1552 4832 115423 | 5500 3013 326 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 11.7192 s Remaining CPU time: 168.281 s c =============================================================================== c | 22199 | 1552 4833 115946 | 5000 3153 326 | 0.000 % | c | 22299 | 1552 4833 115946 | 5500 3253 326 | 0.000 % | c | 22449 | 1552 4833 115946 | 6050 3403 325 | 0.000 % | c | 22674 | 1552 4833 115946 | 6655 3628 325 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 12.0312 s Remaining CPU time: 167.969 s c =============================================================================== c | 22933 | 1552 4834 116469 | 5000 3887 325 | 0.000 % | c | 23033 | 1552 4834 116469 | 5500 3987 325 | 0.000 % | c | 23183 | 1552 4834 116469 | 6050 4137 325 | 0.000 % | c | 23409 | 1552 4834 116469 | 6655 4363 325 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 12.3581 s Remaining CPU time: 167.642 s c =============================================================================== c | 23611 | 1552 4835 116992 | 5000 4565 324 | 0.000 % | c | 23711 | 1552 4835 116992 | 5500 4665 324 | 0.000 % | c | 23861 | 1552 4835 116992 | 6050 4815 324 | 0.000 % | c | 24087 | 1552 4835 116992 | 6655 5041 324 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 12.6821 s Remaining CPU time: 167.318 s c =============================================================================== c | 24326 | 1552 4836 117515 | 5000 5280 324 | 0.000 % | c | 24426 | 1552 4836 117515 | 5500 2740 321 | 0.000 % | c | 24577 | 1552 4836 117515 | 6050 2891 321 | 0.000 % | c | 24802 | 1552 4836 117515 | 6655 3116 321 | 0.000 % | c | 25139 | 1552 4836 117515 | 7320 3453 320 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 13.087 s Remaining CPU time: 166.913 s c =============================================================================== c | 25157 | 1552 4837 118038 | 5000 3471 320 | 0.000 % | c | 25257 | 1552 4837 118038 | 5500 3571 320 | 0.000 % | c | 25408 | 1552 4837 118038 | 6050 3722 320 | 0.000 % | c | 25633 | 1552 4837 118038 | 6655 3947 320 | 0.000 % | c | 25970 | 1552 4837 118038 | 7320 4284 320 | 0.000 % | c | 26476 | 1552 4837 118038 | 8052 4790 320 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 13.8719 s Remaining CPU time: 166.128 s c =============================================================================== c | 27052 | 1552 4838 118561 | 5000 5366 319 | 0.000 % | c | 27152 | 1552 4838 118561 | 5500 2783 318 | 0.000 % | c | 27303 | 1552 4838 118561 | 6050 2934 318 | 0.000 % | c | 27529 | 1552 4838 118561 | 6655 3160 318 | 0.000 % | c | 27866 | 1552 4838 118561 | 7320 3497 317 | 0.000 % | c | 28373 | 1552 4838 118561 | 8052 4004 317 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 14.5878 s Remaining CPU time: 165.412 s c =============================================================================== c | 28629 | 1552 4839 119084 | 5000 4260 317 | 0.000 % | c | 28730 | 1552 4839 119084 | 5500 4361 317 | 0.000 % | c | 28880 | 1552 4839 119084 | 6050 4511 317 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 14.8457 s Remaining CPU time: 165.154 s c =============================================================================== c | 29103 | 1552 4840 119607 | 5000 4734 317 | 0.000 % | c | 29203 | 1552 4840 119607 | 5500 4834 317 | 0.000 % | c | 29353 | 1552 4840 119607 | 6050 4984 317 | 0.000 % | c | 29578 | 1552 4840 119607 | 6655 5209 317 | 0.000 % | c | 29915 | 1552 4840 119607 | 7320 5546 317 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 15.3497 s Remaining CPU time: 164.65 s c =============================================================================== c | 30030 | 1552 4841 120130 | 5000 5661 317 | 0.000 % | c | 30130 | 1552 4841 120130 | 5500 2931 315 | 0.000 % | c | 30280 | 1552 4841 120130 | 6050 3081 315 | 0.000 % | c | 30505 | 1552 4841 120130 | 6655 3306 315 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 15.7166 s Remaining CPU time: 164.283 s c =============================================================================== c | 30678 | 1552 4842 120653 | 5000 3479 315 | 0.000 % | c | 30779 | 1552 4842 120653 | 5500 3580 315 | 0.000 % | c | 30929 | 1552 4842 120653 | 6050 3730 315 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 15.9616 s Remaining CPU time: 164.038 s c =============================================================================== c | 31088 | 1552 4843 121176 | 5000 3889 315 | 0.000 % | c | 31188 | 1552 4843 121176 | 5500 3989 315 | 0.000 % | c | 31338 | 1552 4843 121176 | 6050 4139 315 | 0.000 % | c | 31564 | 1552 4843 121176 | 6655 4365 314 | 0.000 % | c | 31901 | 1552 4843 121176 | 7320 4702 314 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 16.4735 s Remaining CPU time: 163.527 s c =============================================================================== c | 32172 | 1552 4844 121699 | 5000 4973 314 | 0.000 % | c | 32273 | 1552 4844 121699 | 5500 5074 314 | 0.000 % | c | 32423 | 1552 4844 121699 | 6050 5224 314 | 0.000 % | c | 32648 | 1552 4844 121699 | 6655 5449 314 | 0.000 % | c | 32986 | 1552 4844 121699 | 7320 5787 314 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 17.0824 s Remaining CPU time: 162.918 s c =============================================================================== c | 33254 | 1552 4845 122222 | 5000 6055 313 | 0.000 % | c | 33354 | 1552 4845 122222 | 5500 3128 311 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 17.2264 s Remaining CPU time: 162.774 s c =============================================================================== c | 33427 | 1552 4846 122745 | 5000 3201 311 | 0.000 % | c | 33527 | 1552 4846 122745 | 5500 3301 311 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 17.3574 s Remaining CPU time: 162.643 s c =============================================================================== c | 33612 | 1552 4847 123268 | 5000 3386 311 | 0.000 % | c | 33712 | 1552 4847 123268 | 5500 3486 311 | 0.000 % | c | 33862 | 1552 4847 123268 | 6050 3636 311 | 0.000 % | c | 34087 | 1552 4847 123268 | 6655 3861 311 | 0.000 % | c | 34424 | 1552 4847 123268 | 7320 4198 310 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 17.8133 s Remaining CPU time: 162.187 s c =============================================================================== c | 34458 | 1552 4848 123791 | 5000 4232 310 | 0.000 % | c | 34558 | 1552 4848 123791 | 5500 4332 310 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 17.9303 s Remaining CPU time: 162.07 s c =============================================================================== c | 34607 | 1552 4849 124314 | 5000 4381 310 | 0.000 % | c | 34707 | 1552 4849 124314 | 5500 4481 310 | 0.000 % | c | 34857 | 1552 4849 124314 | 6050 4631 310 | 0.000 % | c | 35082 | 1552 4849 124314 | 6655 4856 310 | 0.000 % | c | 35419 | 1552 4849 124314 | 7320 5193 310 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 18.5072 s Remaining CPU time: 161.493 s c =============================================================================== c | 35862 | 1552 4850 124837 | 5000 5636 309 | 0.000 % | c | 35963 | 1552 4850 124837 | 5500 2919 307 | 0.000 % | c | 36113 | 1552 4850 124837 | 6050 3069 307 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 18.7681 s Remaining CPU time: 161.232 s c =============================================================================== c | 36334 | 1552 4851 125360 | 5000 3290 307 | 0.000 % | c | 36434 | 1552 4851 125360 | 5500 3390 306 | 0.000 % | c | 36584 | 1552 4851 125360 | 6050 3540 306 | 0.000 % | c | 36809 | 1552 4851 125360 | 6655 3765 306 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 19.1031 s Remaining CPU time: 160.897 s c =============================================================================== c | 37009 | 1552 4852 125883 | 5000 3965 306 | 0.000 % | c | 37109 | 1552 4852 125883 | 5500 4065 306 | 0.000 % | c | 37260 | 1552 4852 125883 | 6050 4216 306 | 0.000 % | c | 37485 | 1552 4852 125883 | 6655 4441 306 | 0.000 % | c | 37822 | 1552 4852 125883 | 7320 4778 305 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 19.713 s Remaining CPU time: 160.287 s c =============================================================================== c | 38201 | 1552 4853 126406 | 5000 5157 305 | 0.000 % | c | 38302 | 1552 4853 126406 | 5500 2680 303 | 0.000 % | c | 38452 | 1552 4853 126406 | 6050 2830 303 | 0.000 % | c | 38678 | 1552 4853 126406 | 6655 3056 303 | 0.000 % | c | 39015 | 1552 4853 126406 | 7320 3393 303 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 20.2129 s Remaining CPU time: 159.787 s c =============================================================================== c | 39114 | 1552 4854 126929 | 5000 3492 303 | 0.000 % | c | 39214 | 1552 4854 126929 | 5500 3592 303 | 0.000 % | c | 39364 | 1552 4854 126929 | 6050 3742 303 | 0.000 % | c | 39589 | 1552 4854 126929 | 6655 3967 302 | 0.000 % | c | 39926 | 1552 4854 126929 | 7320 4304 302 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 20.6549 s Remaining CPU time: 159.345 s c =============================================================================== c | 40050 | 1552 4855 127452 | 5000 4428 302 | 0.000 % | c | 40151 | 1552 4855 127452 | 5500 4529 302 | 0.000 % | c | 40301 | 1552 4855 127452 | 6050 4679 302 | 0.000 % | c | 40526 | 1552 4855 127452 | 6655 4904 302 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 21.0198 s Remaining CPU time: 158.98 s c =============================================================================== c | 40635 | 1552 4856 127975 | 5000 5013 302 | 0.000 % | c | 40735 | 1552 4856 127975 | 5500 2607 300 | 0.000 % | c | 40885 | 1552 4856 127975 | 6050 2757 300 | 0.000 % | c | 41110 | 1552 4856 127975 | 6655 2982 300 | 0.000 % | c | 41447 | 1552 4856 127975 | 7320 3319 300 | 0.000 % | c | 41953 | 1552 4856 127975 | 8052 3825 300 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 21.9397 s Remaining CPU time: 158.06 s c =============================================================================== c | 42431 | 1552 4857 128498 | 5000 4303 300 | 0.000 % | c | 42531 | 1552 4857 128498 | 5500 4403 300 | 0.000 % | c | 42681 | 1552 4857 128498 | 6050 4553 300 | 0.000 % | c | 42906 | 1552 4857 128498 | 6655 4778 300 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 22.3396 s Remaining CPU time: 157.66 s c =============================================================================== c | 43103 | 1552 4858 129021 | 5000 4975 300 | 0.000 % | c | 43203 | 1552 4858 129021 | 5500 5075 299 | 0.000 % | c | 43353 | 1552 4858 129021 | 6050 5225 299 | 0.000 % | c | 43578 | 1552 4858 129021 | 6655 5450 299 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 22.7475 s Remaining CPU time: 157.252 s c =============================================================================== c | 43734 | 1552 4859 129544 | 5000 5606 299 | 0.000 % | c | 43835 | 1552 4859 129544 | 5500 2904 298 | 0.000 % | c | 43986 | 1552 4859 129544 | 6050 3055 298 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 22.9835 s Remaining CPU time: 157.016 s c =============================================================================== c | 44026 | 1552 4860 130067 | 5000 3095 298 | 0.000 % | c | 44126 | 1552 4860 130067 | 5500 3195 297 | 0.000 % | c | 44276 | 1552 4860 130067 | 6050 3345 297 | 0.000 % | c | 44501 | 1552 4860 130067 | 6655 3570 297 | 0.000 % | c | 44839 | 1552 4860 130067 | 7320 3908 297 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 23.5314 s Remaining CPU time: 156.469 s c =============================================================================== c | 45043 | 1552 4861 130590 | 5000 4112 297 | 0.000 % | c | 45143 | 1552 4861 130590 | 5500 4212 297 | 0.000 % | c | 45293 | 1552 4861 130590 | 6050 4362 297 | 0.000 % | c | 45518 | 1552 4861 130590 | 6655 4587 297 | 0.000 % | c | 45855 | 1552 4861 130590 | 7320 4924 296 | 0.000 % | c | 46361 | 1552 4861 130590 | 8052 5430 296 | 0.000 % | c | 47120 | 1552 4861 130590 | 8857 6189 296 | 0.000 % | c | 48260 | 1552 4861 130590 | 9743 7329 296 | 0.000 % | c | 49968 | 1552 4861 130590 | 10717 9037 295 | 0.000 % | c | 52530 | 1552 4861 130590 | 11789 6072 294 | 0.000 % | c | 56374 | 1552 4861 130590 | 12968 9916 294 | 0.000 % | c | 62140 | 1552 4861 130590 | 14265 9020 294 | 0.000 % | c | 70789 | 1552 4861 130590 | 15692 10367 295 | 0.000 % | c | 83763 | 1552 4861 130590 | 17261 15313 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 49.0165 s Remaining CPU time: 130.983 s c =============================================================================== c | 89831 | 1552 4862 131113 | 5000 12574 294 | 0.000 % | c | 89931 | 1552 4862 131113 | 5500 3244 294 | 0.000 % | c | 90082 | 1552 4862 131113 | 6050 3395 294 | 0.000 % | c | 90307 | 1552 4862 131113 | 6655 3620 294 | 0.000 % | c | 90644 | 1552 4862 131113 | 7320 3957 294 | 0.000 % | c | 91150 | 1552 4862 131113 | 8052 4463 294 | 0.000 % | c | 91909 | 1552 4862 131113 | 8857 5222 294 | 0.000 % | c | 93048 | 1552 4862 131113 | 9743 6361 294 | 0.000 % | c | 94756 | 1552 4862 131113 | 10717 8069 294 | 0.000 % | c | 97318 | 1552 4862 131113 | 11789 10631 294 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 53.8888 s Remaining CPU time: 126.111 s c =============================================================================== c | 99100 | 1552 4863 131636 | 5000 6332 293 | 0.000 % | c | 99200 | 1552 4863 131636 | 5500 3266 293 | 0.000 % | c | 99350 | 1552 4863 131636 | 6050 3416 293 | 0.000 % | c | 99575 | 1552 4863 131636 | 6655 3641 293 | 0.000 % | c | 99912 | 1552 4863 131636 | 7320 3978 293 | 0.000 % | c | 100418 | 1552 4863 131636 | 8052 4484 293 | 0.000 % | c | 101178 | 1552 4863 131636 | 8857 5244 293 | 0.000 % | c | 102318 | 1552 4863 131636 | 9743 6384 293 | 0.000 % | c | 104027 | 1552 4863 131636 | 10717 8093 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 56.5714 s Remaining CPU time: 123.429 s c =============================================================================== c | 104594 | 1552 4864 132159 | 5000 8660 293 | 0.000 % | c | 104694 | 1552 4864 132159 | 5500 4430 292 | 0.000 % | c | 104844 | 1552 4864 132159 | 6050 4580 292 | 0.000 % | c | 105069 | 1552 4864 132159 | 6655 4805 292 | 0.000 % | c | 105406 | 1552 4864 132159 | 7320 5142 292 | 0.000 % | c | 105912 | 1552 4864 132159 | 8052 5648 292 | 0.000 % | c | 106672 | 1552 4864 132159 | 8857 6408 292 | 0.000 % | c | 107811 | 1552 4864 132159 | 9743 7547 292 | 0.000 % | c | 109519 | 1552 4864 132159 | 10717 9255 292 | 0.000 % | c | 112081 | 1552 4864 132159 | 11789 6291 291 | 0.000 % | c | 115925 | 1552 4864 132159 | 12968 10135 291 | 0.000 % | c | 121692 | 1552 4864 132159 | 14265 9253 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 68.7046 s Remaining CPU time: 111.295 s c =============================================================================== c | 130040 | 1552 4865 132682 | 5000 10296 291 | 0.000 % | c | 130140 | 1552 4865 132682 | 5500 2674 291 | 0.000 % | c | 130290 | 1552 4865 132682 | 6050 2824 291 | 0.000 % | c | 130515 | 1552 4865 132682 | 6655 3049 291 | 0.000 % | c | 130853 | 1552 4865 132682 | 7320 3387 291 | 0.000 % | c | 131359 | 1552 4865 132682 | 8052 3893 291 | 0.000 % | c | 132118 | 1552 4865 132682 | 8857 4652 290 | 0.000 % | c | 133258 | 1552 4865 132682 | 9743 5792 290 | 0.000 % | c | 134966 | 1552 4865 132682 | 10717 7500 290 | 0.000 % | c | 137529 | 1552 4865 132682 | 11789 10063 290 | 0.000 % | c | 141374 | 1552 4865 132682 | 12968 7862 290 | 0.000 % | c | 147141 | 1552 4865 132682 | 14265 6983 290 | 0.000 % | c | 155790 | 1552 4865 132682 | 15692 8320 290 | 0.000 % | c | 168764 | 1552 4865 132682 | 17261 13290 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 87.4857 s Remaining CPU time: 92.5143 s c =============================================================================== c | 170984 | 1552 4866 133205 | 5000 15510 290 | 0.000 % | c | 171085 | 1552 4866 133205 | 5500 3979 290 | 0.000 % | c | 171235 | 1552 4866 133205 | 6050 4129 290 | 0.000 % | c | 171460 | 1552 4866 133205 | 6655 4354 290 | 0.000 % | c | 171797 | 1552 4866 133205 | 7320 4691 290 | 0.000 % | c | 172303 | 1552 4866 133205 | 8052 5197 290 | 0.000 % | c | 173062 | 1552 4866 133205 | 8857 5956 290 | 0.000 % | c | 174201 | 1552 4866 133205 | 9743 7095 290 | 0.000 % | c | 175909 | 1552 4866 133205 | 10717 8803 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 89.7464 s Remaining CPU time: 90.2536 s c =============================================================================== c | 175933 | 1552 4867 133728 | 5000 8827 290 | 0.000 % | c | 176033 | 1552 4867 133728 | 5500 4514 289 | 0.000 % | c | 176184 | 1552 4867 133728 | 6050 4665 289 | 0.000 % | c | 176409 | 1552 4867 133728 | 6655 4890 289 | 0.000 % | c | 176746 | 1552 4867 133728 | 7320 5227 289 | 0.000 % | c | 177252 | 1552 4867 133728 | 8052 5733 289 | 0.000 % | c | 178011 | 1552 4867 133728 | 8857 6492 288 | 0.000 % | c | 179150 | 1552 4867 133728 | 9743 7631 289 | 0.000 % | c | 180858 | 1552 4867 133728 | 10717 9339 289 | 0.000 % | c | 183420 | 1552 4867 133728 | 11789 6372 288 | 0.000 % | c | 187266 | 1552 4867 133728 | 12968 10218 288 | 0.000 % | c | 193032 | 1552 4867 133728 | 14265 9328 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 100.138 s Remaining CPU time: 79.8622 s c =============================================================================== c | 200159 | 1552 4868 134251 | 5000 9157 288 | 0.000 % | c | 200259 | 1552 4868 134251 | 5500 4679 288 | 0.000 % | c | 200409 | 1552 4868 134251 | 6050 4829 288 | 0.000 % | c | 200634 | 1552 4868 134251 | 6655 5054 288 | 0.000 % | c | 200972 | 1552 4868 134251 | 7320 5392 288 | 0.000 % | c | 201478 | 1552 4868 134251 | 8052 5898 288 | 0.000 % | c | 202237 | 1552 4868 134251 | 8857 6657 288 | 0.000 % | c | 203377 | 1552 4868 134251 | 9743 7797 288 | 0.000 % | c | 205086 | 1552 4868 134251 | 10717 9506 288 | 0.000 % | c | 207648 | 1552 4868 134251 | 11789 6561 287 | 0.000 % | c | 211492 | 1552 4868 134251 | 12968 10405 287 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 105.891 s Remaining CPU time: 74.1091 s c =============================================================================== c | 212007 | 1552 4869 134774 | 5000 10920 287 | 0.000 % | c | 212107 | 1552 4869 134774 | 5500 2830 287 | 0.000 % | c | 212258 | 1552 4869 134774 | 6050 2981 287 | 0.000 % | c | 212484 | 1552 4869 134774 | 6655 3207 287 | 0.000 % | c | 212822 | 1552 4869 134774 | 7320 3545 287 | 0.000 % | c | 213328 | 1552 4869 134774 | 8052 4051 287 | 0.000 % | c | 214087 | 1552 4869 134774 | 8857 4810 287 | 0.000 % | c | 215226 | 1552 4869 134774 | 9743 5949 286 | 0.000 % | c | 216935 | 1552 4869 134774 | 10717 7658 286 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 108.091 s Remaining CPU time: 71.9094 s c =============================================================================== c | 217046 | 1552 4870 135297 | 5000 7769 286 | 0.000 % | c | 217147 | 1552 4870 135297 | 5500 3986 286 | 0.000 % | c | 217297 | 1552 4870 135297 | 6050 4136 286 | 0.000 % | c | 217522 | 1552 4870 135297 | 6655 4361 286 | 0.000 % | c | 217859 | 1552 4870 135297 | 7320 4698 286 | 0.000 % | c | 218365 | 1552 4870 135297 | 8052 5204 285 | 0.000 % | c | 219124 | 1552 4870 135297 | 8857 5963 285 | 0.000 % | c | 220264 | 1552 4870 135297 | 9743 7103 285 | 0.000 % | c | 221972 | 1552 4870 135297 | 10717 8811 285 | 0.000 % | c | 224535 | 1552 4870 135297 | 11789 5860 285 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 112.684 s Remaining CPU time: 67.3161 s c =============================================================================== c | 227691 | 1552 4871 135820 | 5000 9016 285 | 0.000 % | c | 227791 | 1552 4871 135820 | 5500 4608 285 | 0.000 % | c | 227941 | 1552 4871 135820 | 6050 4758 285 | 0.000 % | c | 228166 | 1552 4871 135820 | 6655 4983 285 | 0.000 % | c | 228503 | 1552 4871 135820 | 7320 5320 285 | 0.000 % | c | 229009 | 1552 4871 135820 | 8052 5826 285 | 0.000 % | c | 229768 | 1552 4871 135820 | 8857 6585 285 | 0.000 % | c | 230908 | 1552 4871 135820 | 9743 7725 285 | 0.000 % | c | 232616 | 1552 4871 135820 | 10717 9433 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 115.03 s Remaining CPU time: 64.9705 s c =============================================================================== c | 232677 | 1552 4872 136343 | 5000 9494 285 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 115.114 s Remaining CPU time: 64.8855 s c =============================================================================== c | 232712 | 1552 4873 136866 | 5000 4782 284 | 0.000 % | c | 232812 | 1552 4873 136866 | 5500 4882 284 | 0.000 % | c | 232964 | 1552 4873 136866 | 6050 5034 284 | 0.000 % | c | 233189 | 1552 4873 136866 | 6655 5259 284 | 0.000 % | c | 233527 | 1552 4873 136866 | 7320 5597 284 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 115.695 s Remaining CPU time: 64.3046 s c =============================================================================== c | 233810 | 1552 4874 137389 | 5000 5880 284 | 0.000 % | c | 233910 | 1552 4874 137389 | 5500 3040 283 | 0.000 % | c | 234060 | 1552 4874 137389 | 6050 3190 283 | 0.000 % | c | 234285 | 1552 4874 137389 | 6655 3415 283 | 0.000 % | c | 234623 | 1552 4874 137389 | 7320 3753 282 | 0.000 % | c | 235130 | 1552 4874 137389 | 8052 4260 282 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 116.611 s Remaining CPU time: 63.3887 s c =============================================================================== c | 235877 | 1552 4875 137912 | 5000 5007 282 | 0.000 % | c | 235978 | 1552 4875 137912 | 5500 2605 280 | 0.000 % | c | 236128 | 1552 4875 137912 | 6050 2755 280 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 116.863 s Remaining CPU time: 63.1368 s c =============================================================================== c | 236247 | 1552 4876 138435 | 5000 2874 280 | 0.000 % | c | 236347 | 1552 4876 138435 | 5500 2974 280 | 0.000 % | c | 236497 | 1552 4876 138435 | 6050 3124 280 | 0.000 % | c | 236722 | 1552 4876 138435 | 6655 3349 280 | 0.000 % | c | 237059 | 1552 4876 138435 | 7320 3686 280 | 0.000 % | c | 237565 | 1552 4876 138435 | 8052 4192 280 | 0.000 % | c | 238324 | 1552 4876 138435 | 8857 4951 280 | 0.000 % | c | 239463 | 1552 4876 138435 | 9743 6090 280 | 0.000 % | c | 241171 | 1552 4876 138435 | 10717 7798 280 | 0.000 % | c | 243733 | 1552 4876 138435 | 11789 10360 279 | 0.000 % | c | 247577 | 1552 4876 138435 | 12968 8140 279 | 0.000 % | c | 253344 | 1552 4876 138435 | 14265 7269 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 126.072 s Remaining CPU time: 53.9282 s c =============================================================================== c | 257160 | 1552 4877 138958 | 5000 11085 279 | 0.000 % | c | 257261 | 1552 4877 138958 | 5500 2873 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 126.31 s Remaining CPU time: 53.6902 s c =============================================================================== c | 257332 | 1552 4878 139481 | 5000 2944 278 | 0.000 % | c | 257432 | 1552 4878 139481 | 5500 3044 278 | 0.000 % | c | 257582 | 1552 4878 139481 | 6050 3194 278 | 0.000 % | c | 257807 | 1552 4878 139481 | 6655 3419 278 | 0.000 % | c | 258145 | 1552 4878 139481 | 7320 3757 278 | 0.000 % | c | 258651 | 1552 4878 139481 | 8052 4263 278 | 0.000 % | c | 259410 | 1552 4878 139481 | 8857 5022 278 | 0.000 % | c | 260550 | 1552 4878 139481 | 9743 6162 278 | 0.000 % | c | 262258 | 1552 4878 139481 | 10717 7870 278 | 0.000 % | c | 264820 | 1552 4878 139481 | 11789 10432 278 | 0.000 % | c | 268664 | 1552 4878 139481 | 12968 8231 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 131.494 s Remaining CPU time: 48.506 s c =============================================================================== c | 269428 | 1552 4879 140004 | 5000 8995 277 | 0.000 % | c | 269528 | 1552 4879 140004 | 5500 4598 277 | 0.000 % | c | 269678 | 1552 4879 140004 | 6050 4748 277 | 0.000 % | c | 269903 | 1552 4879 140004 | 6655 4973 277 | 0.000 % | c | 270240 | 1552 4879 140004 | 7320 5310 277 | 0.000 % | c | 270746 | 1552 4879 140004 | 8052 5816 277 | 0.000 % | c | 271505 | 1552 4879 140004 | 8857 6575 277 | 0.000 % | c | 272644 | 1552 4879 140004 | 9743 7714 276 | 0.000 % | c | 274352 | 1552 4879 140004 | 10717 9422 276 | 0.000 % | c | 276914 | 1552 4879 140004 | 11789 6454 276 | 0.000 % | c | 280759 | 1552 4879 140004 | 12968 10299 276 | 0.000 % | c | 286525 | 1552 4879 140004 | 14265 9427 276 | 0.000 % | c | 295174 | 1552 4879 140004 | 15692 10764 276 | 0.000 % |