c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4604 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1553 | c | Number Clauses: 4597 | 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 | 1553 4597 9714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1553 4598 10234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1553 4599 10754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1553 4600 11274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1553 4601 11794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1553 4602 12314 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1553 4603 12834 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1553 4604 13354 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1553 4605 13874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1553 4606 14394 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1553 4607 14914 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1553 4608 15434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1553 4609 15954 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1553 4610 16474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1553 4611 16994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1553 4612 17514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1553 4613 18034 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1553 4614 18554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1553 4615 19074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1553 4616 19594 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1553 4617 20114 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1553 4618 20634 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1553 4619 21154 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1553 4620 21674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1553 4621 22194 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1553 4622 22714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1553 4623 23234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1553 4624 23754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1553 4625 24274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1553 4626 24794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 1 | 1553 4627 25314 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1 | 1553 4628 25834 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 1553 4629 26354 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1553 4630 26874 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 1553 4631 27394 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 1553 4632 27914 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1553 4633 28434 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1 | 1553 4634 28954 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 1 | 1553 4635 29474 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1553 4636 29994 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1553 4637 30514 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 1553 4638 31034 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 1 | 1553 4639 31554 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1553 4640 32074 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 1553 4641 32594 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 1553 4642 33114 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 1 | 1553 4643 33634 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1 | 1553 4644 34154 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 1 | 1553 4645 34674 | 5000 1 493 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 2 | 1553 4646 35194 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 2 | 1553 4647 35714 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 2 | 1553 4648 36234 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 2 | 1553 4649 36754 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 2 | 1553 4650 37274 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 2 | 1553 4651 37794 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 2 | 1553 4652 38314 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 2 | 1553 4653 38834 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 2 | 1553 4654 39354 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 2 | 1553 4655 39874 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 2 | 1553 4656 40394 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 2 | 1553 4657 40914 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 2 | 1553 4658 41434 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 2 | 1553 4659 41954 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 2 | 1553 4660 42474 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 2 | 1553 4661 42994 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 2 | 1553 4662 43514 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 2 | 1553 4663 44034 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 2 | 1553 4664 44554 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 2 | 1553 4665 45074 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 2 | 1553 4666 45594 | 5000 2 484 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 3 | 1553 4667 46114 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 3 | 1553 4668 46634 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 3 | 1553 4669 47154 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 3 | 1553 4670 47674 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 3 | 1553 4671 48194 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 3 | 1553 4672 48714 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 3 | 1553 4673 49234 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 3 | 1553 4674 49754 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 3 | 1553 4675 50274 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 3 | 1553 4676 50794 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 3 | 1553 4677 51314 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 3 | 1553 4678 51834 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 3 | 1553 4679 52354 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 3 | 1553 4680 52874 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 3 | 1553 4681 53394 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 3 | 1553 4682 53914 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 3 | 1553 4683 54434 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 3 | 1553 4684 54954 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 3 | 1553 4685 55474 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 3 | 1553 4686 55994 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 3 | 1553 4687 56514 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 3 | 1553 4688 57034 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 3 | 1553 4689 57554 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 3 | 1553 4690 58074 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 3 | 1553 4691 58594 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 3 | 1553 4692 59114 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 3 | 1553 4693 59634 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 3 | 1553 4694 60154 | 5000 3 323 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 5 | 1553 4695 60674 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 5 | 1553 4696 61194 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 5 | 1553 4697 61714 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 5 | 1553 4698 62234 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 5 | 1553 4699 62754 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 5 | 1553 4700 63274 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s c =============================================================================== c | 5 | 1553 4701 63794 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 5 | 1553 4702 64314 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 5 | 1553 4703 64834 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 5 | 1553 4704 65354 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 5 | 1553 4705 65874 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 5 | 1553 4706 66394 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 6 | 1553 4707 66914 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 6 | 1553 4708 67434 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 6 | 1553 4709 67954 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 6 | 1553 4710 68474 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 6 | 1553 4711 68994 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 6 | 1553 4712 69514 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 6 | 1553 4713 70034 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 6 | 1553 4714 70554 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 6 | 1553 4715 71074 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 6 | 1553 4716 71594 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 6 | 1553 4717 72114 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 6 | 1553 4718 72634 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 6 | 1553 4719 73154 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 6 | 1553 4720 73674 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 6 | 1553 4721 74194 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 6 | 1553 4722 74714 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 6 | 1553 4723 75234 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 6 | 1553 4724 75754 | 5000 6 372 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 7 | 1553 4725 76274 | 5000 7 320 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 7 | 1553 4726 76794 | 5000 7 320 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 8 | 1553 4727 77314 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s c =============================================================================== c | 8 | 1553 4728 77834 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 8 | 1553 4729 78354 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 8 | 1553 4730 78874 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s c =============================================================================== c | 8 | 1553 4731 79394 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.02084 s Remaining CPU time: 178.979 s c =============================================================================== c | 8 | 1553 4732 79914 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 8 | 1553 4733 80434 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.04884 s Remaining CPU time: 178.951 s c =============================================================================== c | 8 | 1553 4734 80954 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 8 | 1553 4735 81474 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 8 | 1553 4736 81994 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 8 | 1553 4737 82514 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.10883 s Remaining CPU time: 178.891 s c =============================================================================== c | 8 | 1553 4738 83034 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 8 | 1553 4739 83554 | 5000 8 329 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s c =============================================================================== c | 9 | 1553 4740 84074 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.15482 s Remaining CPU time: 178.845 s c =============================================================================== c | 9 | 1553 4741 84594 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 9 | 1553 4742 85114 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 9 | 1553 4743 85634 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 9 | 1553 4744 86154 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 9 | 1553 4745 86674 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.23481 s Remaining CPU time: 178.765 s c =============================================================================== c | 9 | 1553 4746 87194 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 9 | 1553 4747 87714 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 9 | 1553 4748 88234 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 9 | 1553 4749 88754 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.3018 s Remaining CPU time: 178.698 s c =============================================================================== c | 9 | 1553 4750 89274 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.3198 s Remaining CPU time: 178.68 s c =============================================================================== c | 9 | 1553 4751 89794 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 9 | 1553 4752 90314 | 5000 9 293 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 13 | 1553 4753 90834 | 5000 13 315 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s c =============================================================================== c | 13 | 1553 4754 91354 | 5000 13 315 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.39179 s Remaining CPU time: 178.608 s c =============================================================================== c | 14 | 1553 4755 91874 | 5000 14 293 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.41078 s Remaining CPU time: 178.589 s c =============================================================================== c | 17 | 1553 4756 92394 | 5000 17 306 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.42978 s Remaining CPU time: 178.57 s c =============================================================================== c | 17 | 1553 4757 92914 | 5000 17 306 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 19 | 1553 4758 93434 | 5000 19 312 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 22 | 1553 4759 93954 | 5000 22 302 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 23 | 1553 4760 94474 | 5000 23 305 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.50377 s Remaining CPU time: 178.496 s c =============================================================================== c | 23 | 1553 4761 94994 | 5000 23 305 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 24 | 1553 4762 95514 | 5000 24 307 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.53977 s Remaining CPU time: 178.46 s c =============================================================================== c | 24 | 1553 4763 96034 | 5000 24 307 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.55976 s Remaining CPU time: 178.44 s c =============================================================================== c | 25 | 1553 4764 96554 | 5000 25 309 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s c =============================================================================== c | 30 | 1553 4765 97074 | 5000 30 316 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s c =============================================================================== c | 34 | 1553 4766 97594 | 5000 34 321 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.62275 s Remaining CPU time: 178.377 s c =============================================================================== c | 36 | 1553 4767 98114 | 5000 36 322 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.64375 s Remaining CPU time: 178.356 s c =============================================================================== c | 38 | 1553 4768 98634 | 5000 38 324 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.66775 s Remaining CPU time: 178.332 s c =============================================================================== c | 47 | 1553 4769 99154 | 5000 47 329 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.68674 s Remaining CPU time: 178.313 s c =============================================================================== c | 55 | 1553 4770 99674 | 5000 55 332 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.70774 s Remaining CPU time: 178.292 s c =============================================================================== c | 60 | 1553 4771 100194 | 5000 60 333 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 63 | 1553 4772 100714 | 5000 63 334 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.75073 s Remaining CPU time: 178.249 s c =============================================================================== c | 66 | 1553 4773 101234 | 5000 66 329 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.77173 s Remaining CPU time: 178.228 s c =============================================================================== c | 68 | 1553 4774 101754 | 5000 68 330 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.79573 s Remaining CPU time: 178.204 s c =============================================================================== c | 73 | 1553 4775 102274 | 5000 73 331 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.81772 s Remaining CPU time: 178.182 s c =============================================================================== c | 75 | 1553 4776 102794 | 5000 75 331 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 76 | 1553 4777 103314 | 5000 76 331 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.86072 s Remaining CPU time: 178.139 s c =============================================================================== c | 80 | 1553 4778 103834 | 5000 80 331 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.88271 s Remaining CPU time: 178.117 s c =============================================================================== c | 82 | 1553 4779 104354 | 5000 82 332 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 1.90371 s Remaining CPU time: 178.096 s c =============================================================================== c | 83 | 1553 4780 104874 | 5000 83 332 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 1.92571 s Remaining CPU time: 178.074 s c =============================================================================== c | 85 | 1553 4781 105394 | 5000 85 332 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 1.9477 s Remaining CPU time: 178.052 s c =============================================================================== c | 92 | 1553 4782 105914 | 5000 92 332 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 1.9757 s Remaining CPU time: 178.024 s c =============================================================================== c | 116 | 1553 4783 106434 | 5000 116 333 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 119 | 1553 4784 106954 | 5000 119 333 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s c =============================================================================== c | 122 | 1553 4785 107474 | 5000 122 333 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.06069 s Remaining CPU time: 177.939 s c =============================================================================== c | 179 | 1553 4786 107994 | 5000 179 333 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.10068 s Remaining CPU time: 177.899 s c =============================================================================== c | 223 | 1553 4787 108514 | 5000 223 334 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 225 | 1553 4788 109034 | 5000 225 334 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s c =============================================================================== c | 239 | 1553 4789 109554 | 5000 239 333 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 243 | 1553 4790 110074 | 5000 243 333 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.19667 s Remaining CPU time: 177.803 s c =============================================================================== c | 246 | 1553 4791 110594 | 5000 246 333 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 250 | 1553 4792 111114 | 5000 250 332 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.25966 s Remaining CPU time: 177.74 s c =============================================================================== c | 303 | 1553 4793 111634 | 5000 303 331 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.28565 s Remaining CPU time: 177.714 s c =============================================================================== c | 307 | 1553 4794 112154 | 5000 307 331 | 0.000 % | c | 407 | 1553 4794 112154 | 5500 407 329 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.36164 s Remaining CPU time: 177.638 s c =============================================================================== c | 408 | 1553 4795 112674 | 5000 408 329 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.38564 s Remaining CPU time: 177.614 s c =============================================================================== c | 410 | 1553 4796 113194 | 5000 410 329 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.41063 s Remaining CPU time: 177.589 s c =============================================================================== c | 417 | 1553 4797 113714 | 5000 417 329 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.44163 s Remaining CPU time: 177.558 s c =============================================================================== c | 443 | 1553 4798 114234 | 5000 443 329 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.46563 s Remaining CPU time: 177.534 s c =============================================================================== c | 443 | 1553 4799 114754 | 5000 443 329 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 2.48862 s Remaining CPU time: 177.511 s c =============================================================================== c | 443 | 1553 4800 115274 | 5000 443 329 | 0.000 % | c | 543 | 1553 4800 115274 | 5500 543 327 | 0.000 % | c | 693 | 1553 4800 115274 | 6050 693 325 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 2.6406 s Remaining CPU time: 177.359 s c =============================================================================== c | 716 | 1553 4801 115794 | 5000 716 325 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 2.67359 s Remaining CPU time: 177.326 s c =============================================================================== c | 740 | 1553 4802 116314 | 5000 740 324 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s c =============================================================================== c | 781 | 1553 4803 116834 | 5000 781 324 | 0.000 % | c | 881 | 1553 4803 116834 | 5500 881 323 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 2.80757 s Remaining CPU time: 177.192 s c =============================================================================== c | 933 | 1553 4804 117354 | 5000 933 323 | 0.000 % | c | 1033 | 1553 4804 117354 | 5500 1033 322 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 2.90156 s Remaining CPU time: 177.098 s c =============================================================================== c | 1078 | 1553 4805 117874 | 5000 1078 322 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 2.95355 s Remaining CPU time: 177.046 s c =============================================================================== c | 1134 | 1553 4806 118394 | 5000 1134 321 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 2.98754 s Remaining CPU time: 177.012 s c =============================================================================== c | 1166 | 1553 4807 118914 | 5000 1166 321 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 3.01354 s Remaining CPU time: 176.986 s c =============================================================================== c | 1179 | 1553 4808 119434 | 5000 1179 321 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 3.04554 s Remaining CPU time: 176.954 s c =============================================================================== c | 1202 | 1553 4809 119954 | 5000 1202 321 | 0.000 % | c | 1303 | 1553 4809 119954 | 5500 1303 320 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 3.13752 s Remaining CPU time: 176.862 s c =============================================================================== c | 1336 | 1553 4810 120474 | 5000 1336 319 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 3.17352 s Remaining CPU time: 176.826 s c =============================================================================== c | 1362 | 1553 4811 120994 | 5000 1362 319 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 3.20651 s Remaining CPU time: 176.793 s c =============================================================================== c | 1388 | 1553 4812 121514 | 5000 1388 319 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.2625 s Remaining CPU time: 176.737 s c =============================================================================== c | 1458 | 1553 4813 122034 | 5000 1458 318 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 3.2985 s Remaining CPU time: 176.702 s c =============================================================================== c | 1484 | 1553 4814 122554 | 5000 1484 318 | 0.000 % | c | 1584 | 1553 4814 122554 | 5500 1584 317 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 3.38948 s Remaining CPU time: 176.611 s c =============================================================================== c | 1614 | 1553 4815 123074 | 5000 1614 317 | 0.000 % | c | 1714 | 1553 4815 123074 | 5500 1714 316 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 3.49247 s Remaining CPU time: 176.508 s c =============================================================================== c | 1782 | 1553 4816 123594 | 5000 1782 316 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 3.54146 s Remaining CPU time: 176.459 s c =============================================================================== c | 1832 | 1553 4817 124114 | 5000 1832 316 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 3.57246 s Remaining CPU time: 176.428 s c =============================================================================== c | 1853 | 1553 4818 124634 | 5000 1853 315 | 0.000 % | c | 1953 | 1553 4818 124634 | 5500 1953 315 | 0.000 % | c | 2103 | 1553 4818 124634 | 6050 2103 314 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 3.73143 s Remaining CPU time: 176.269 s c =============================================================================== c | 2133 | 1553 4819 125154 | 5000 2133 313 | 0.000 % | c | 2233 | 1553 4819 125154 | 5500 2233 313 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 3.82542 s Remaining CPU time: 176.175 s c =============================================================================== c | 2275 | 1553 4820 125674 | 5000 2275 313 | 0.000 % | c | 2376 | 1553 4820 125674 | 5500 2376 312 | 0.000 % | c | 2526 | 1553 4820 125674 | 6050 2526 311 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 4.00639 s Remaining CPU time: 175.994 s c =============================================================================== c | 2600 | 1553 4821 126194 | 5000 2600 311 | 0.000 % | c | 2700 | 1553 4821 126194 | 5500 2700 310 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 4.13937 s Remaining CPU time: 175.861 s c =============================================================================== c | 2837 | 1553 4822 126714 | 5000 2837 310 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 4.17237 s Remaining CPU time: 175.828 s c =============================================================================== c | 2853 | 1553 4823 127234 | 5000 2853 310 | 0.000 % | c | 2953 | 1553 4823 127234 | 5500 2953 309 | 0.000 % | c | 3103 | 1553 4823 127234 | 6050 3103 309 | 0.000 % | c | 3328 | 1553 4823 127234 | 6655 3328 308 | 0.000 % | c | 3666 | 1553 4823 127234 | 7320 3666 307 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 4.70528 s Remaining CPU time: 175.295 s c =============================================================================== c | 3967 | 1553 4824 127754 | 5000 3967 306 | 0.000 % | c | 4067 | 1553 4824 127754 | 5500 4067 305 | 0.000 % | c | 4217 | 1553 4824 127754 | 6050 4217 305 | 0.000 % | c | 4444 | 1553 4824 127754 | 6655 4444 304 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 4.99624 s Remaining CPU time: 175.004 s c =============================================================================== c | 4577 | 1553 4825 128274 | 5000 4577 304 | 0.000 % | c | 4677 | 1553 4825 128274 | 5500 4677 304 | 0.000 % | c | 4827 | 1553 4825 128274 | 6050 4827 304 | 0.000 % | c | 5052 | 1553 4825 128274 | 6655 5052 303 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 5.2472 s Remaining CPU time: 174.753 s c =============================================================================== c | 5083 | 1553 4826 128794 | 5000 5083 303 | 0.000 % | c | 5183 | 1553 4826 128794 | 5500 2642 295 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 5.38218 s Remaining CPU time: 174.618 s c =============================================================================== c | 5315 | 1553 4827 129314 | 5000 2774 295 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 5.43017 s Remaining CPU time: 174.57 s c =============================================================================== c | 5367 | 1553 4828 129834 | 5000 2826 294 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 5.48817 s Remaining CPU time: 174.512 s c =============================================================================== c | 5448 | 1553 4829 130354 | 5000 2907 294 | 0.000 % | c | 5548 | 1553 4829 130354 | 5500 3007 294 | 0.000 % | c | 5698 | 1553 4829 130354 | 6050 3157 294 | 0.000 % | c | 5924 | 1553 4829 130354 | 6655 3383 294 | 0.000 % | c | 6261 | 1553 4829 130354 | 7320 3720 293 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 5.95809 s Remaining CPU time: 174.042 s c =============================================================================== c | 6427 | 1553 4830 130874 | 5000 3886 293 | 0.000 % | c | 6527 | 1553 4830 130874 | 5500 3986 293 | 0.000 % | c | 6677 | 1553 4830 130874 | 6050 4136 293 | 0.000 % | c | 6902 | 1553 4830 130874 | 6655 4361 293 | 0.000 % | c | 7239 | 1553 4830 130874 | 7320 4698 293 | 0.000 % | c | 7745 | 1553 4830 130874 | 8052 5204 292 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 6.75897 s Remaining CPU time: 173.241 s c =============================================================================== c | 8188 | 1553 4831 131394 | 5000 5647 292 | 0.000 % | c | 8288 | 1553 4831 131394 | 5500 2924 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 6.87495 s Remaining CPU time: 173.125 s c =============================================================================== c | 8379 | 1553 4832 131914 | 5000 3015 289 | 0.000 % | c | 8480 | 1553 4832 131914 | 5500 3116 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 7.00094 s Remaining CPU time: 172.999 s c =============================================================================== c | 8620 | 1553 4833 132434 | 5000 3256 288 | 0.000 % | c | 8720 | 1553 4833 132434 | 5500 3356 288 | 0.000 % | c | 8870 | 1553 4833 132434 | 6050 3506 288 | 0.000 % | c | 9095 | 1553 4833 132434 | 6655 3731 288 | 0.000 % | c | 9432 | 1553 4833 132434 | 7320 4068 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 7.42987 s Remaining CPU time: 172.57 s c =============================================================================== c | 9578 | 1553 4834 132954 | 5000 4214 288 | 0.000 % | c | 9678 | 1553 4834 132954 | 5500 4314 288 | 0.000 % | c | 9829 | 1553 4834 132954 | 6050 4465 288 | 0.000 % | c | 10054 | 1553 4834 132954 | 6655 4690 287 | 0.000 % | c | 10391 | 1553 4834 132954 | 7320 5027 287 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 7.83581 s Remaining CPU time: 172.164 s c =============================================================================== c | 10436 | 1553 4835 133474 | 5000 5072 287 | 0.000 % | c | 10537 | 1553 4835 133474 | 5500 2637 285 | 0.000 % | c | 10687 | 1553 4835 133474 | 6050 2787 285 | 0.000 % | c | 10913 | 1553 4835 133474 | 6655 3013 285 | 0.000 % | c | 11251 | 1553 4835 133474 | 7320 3351 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 8.34473 s Remaining CPU time: 171.655 s c =============================================================================== c | 11521 | 1553 4836 133994 | 5000 3621 285 | 0.000 % | c | 11622 | 1553 4836 133994 | 5500 3722 285 | 0.000 % | c | 11772 | 1553 4836 133994 | 6050 3872 285 | 0.000 % | c | 11998 | 1553 4836 133994 | 6655 4098 284 | 0.000 % | c | 12335 | 1553 4836 133994 | 7320 4435 284 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 8.93964 s Remaining CPU time: 171.06 s c =============================================================================== c | 12758 | 1553 4837 134514 | 5000 4858 284 | 0.000 % | c | 12858 | 1553 4837 134514 | 5500 4958 284 | 0.000 % | c | 13008 | 1553 4837 134514 | 6050 5108 284 | 0.000 % | c | 13233 | 1553 4837 134514 | 6655 5333 284 | 0.000 % | c | 13570 | 1553 4837 134514 | 7320 5670 284 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 9.40457 s Remaining CPU time: 170.595 s c =============================================================================== c | 13769 | 1553 4838 135034 | 5000 5869 284 | 0.000 % | c | 13869 | 1553 4838 135034 | 5500 3035 282 | 0.000 % | c | 14019 | 1553 4838 135034 | 6050 3185 282 | 0.000 % | c | 14244 | 1553 4838 135034 | 6655 3410 282 | 0.000 % | c | 14581 | 1553 4838 135034 | 7320 3747 282 | 0.000 % | c | 15087 | 1553 4838 135034 | 8052 4253 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 10.1745 s Remaining CPU time: 169.826 s c =============================================================================== c | 15572 | 1553 4839 135554 | 5000 4738 281 | 0.000 % | c | 15672 | 1553 4839 135554 | 5500 4838 281 | 0.000 % | c | 15822 | 1553 4839 135554 | 6050 4988 281 | 0.000 % | c | 16047 | 1553 4839 135554 | 6655 5213 281 | 0.000 % | c | 16384 | 1553 4839 135554 | 7320 5550 281 | 0.000 % | c | 16890 | 1553 4839 135554 | 8052 6056 281 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 10.8523 s Remaining CPU time: 169.148 s c =============================================================================== c | 17172 | 1553 4840 136074 | 5000 6338 281 | 0.000 % | c | 17272 | 1553 4840 136074 | 5500 3269 279 | 0.000 % | c | 17422 | 1553 4840 136074 | 6050 3419 279 | 0.000 % | c | 17647 | 1553 4840 136074 | 6655 3644 279 | 0.000 % | c | 17985 | 1553 4840 136074 | 7320 3982 279 | 0.000 % | c | 18491 | 1553 4840 136074 | 8052 4488 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 11.6032 s Remaining CPU time: 168.397 s c =============================================================================== c | 18783 | 1553 4841 136594 | 5000 4780 279 | 0.000 % | c | 18883 | 1553 4841 136594 | 5500 4880 279 | 0.000 % | c | 19034 | 1553 4841 136594 | 6050 5031 279 | 0.000 % | c | 19260 | 1553 4841 136594 | 6655 5257 279 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 11.9532 s Remaining CPU time: 168.047 s c =============================================================================== c | 19480 | 1553 4842 137114 | 5000 5477 279 | 0.000 % | c | 19580 | 1553 4842 137114 | 5500 2839 278 | 0.000 % | c | 19731 | 1553 4842 137114 | 6050 2990 278 | 0.000 % | c | 19956 | 1553 4842 137114 | 6655 3215 277 | 0.000 % | c | 20294 | 1553 4842 137114 | 7320 3553 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 12.3891 s Remaining CPU time: 167.611 s c =============================================================================== c | 20395 | 1553 4843 137634 | 5000 3654 277 | 0.000 % | c | 20495 | 1553 4843 137634 | 5500 3754 277 | 0.000 % | c | 20645 | 1553 4843 137634 | 6050 3904 277 | 0.000 % | c | 20870 | 1553 4843 137634 | 6655 4129 277 | 0.000 % | c | 21207 | 1553 4843 137634 | 7320 4466 277 | 0.000 % | c | 21713 | 1553 4843 137634 | 8052 4972 277 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 13.13 s Remaining CPU time: 166.87 s c =============================================================================== c | 22081 | 1553 4844 138154 | 5000 5340 277 | 0.000 % | c | 22181 | 1553 4844 138154 | 5500 2770 275 | 0.000 % | c | 22332 | 1553 4844 138154 | 6050 2921 275 | 0.000 % | c | 22557 | 1553 4844 138154 | 6655 3146 275 | 0.000 % | c | 22895 | 1553 4844 138154 | 7320 3484 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 13.5939 s Remaining CPU time: 166.406 s c =============================================================================== c | 23030 | 1553 4845 138674 | 5000 3619 275 | 0.000 % | c | 23130 | 1553 4845 138674 | 5500 3719 275 | 0.000 % | c | 23280 | 1553 4845 138674 | 6050 3869 275 | 0.000 % | c | 23505 | 1553 4845 138674 | 6655 4094 275 | 0.000 % | c | 23842 | 1553 4845 138674 | 7320 4431 275 | 0.000 % | c | 24348 | 1553 4845 138674 | 8052 4937 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 14.3888 s Remaining CPU time: 165.611 s c =============================================================================== c | 24948 | 1553 4846 139194 | 5000 5537 275 | 0.000 % | c | 25048 | 1553 4846 139194 | 5500 2869 273 | 0.000 % | c | 25198 | 1553 4846 139194 | 6050 3019 273 | 0.000 % | c | 25424 | 1553 4846 139194 | 6655 3245 273 | 0.000 % | c | 25761 | 1553 4846 139194 | 7320 3582 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 14.8477 s Remaining CPU time: 165.152 s c =============================================================================== c | 25884 | 1553 4847 139714 | 5000 3705 273 | 0.000 % | c | 25985 | 1553 4847 139714 | 5500 3806 273 | 0.000 % | c | 26135 | 1553 4847 139714 | 6050 3956 273 | 0.000 % | c | 26361 | 1553 4847 139714 | 6655 4182 273 | 0.000 % | c | 26698 | 1553 4847 139714 | 7320 4519 273 | 0.000 % | c | 27205 | 1553 4847 139714 | 8052 5026 273 | 0.000 % | c | 27965 | 1553 4847 139714 | 8857 5786 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 15.8506 s Remaining CPU time: 164.149 s c =============================================================================== c | 28237 | 1553 4848 140234 | 5000 6058 273 | 0.000 % | c | 28337 | 1553 4848 140234 | 5500 3129 271 | 0.000 % | c | 28487 | 1553 4848 140234 | 6050 3279 271 | 0.000 % | c | 28713 | 1553 4848 140234 | 6655 3505 271 | 0.000 % | c | 29050 | 1553 4848 140234 | 7320 3842 271 | 0.000 % | c | 29556 | 1553 4848 140234 | 8052 4348 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 16.6905 s Remaining CPU time: 163.31 s c =============================================================================== c | 30050 | 1553 4849 140754 | 5000 4842 271 | 0.000 % | c | 30150 | 1553 4849 140754 | 5500 4942 271 | 0.000 % | c | 30300 | 1553 4849 140754 | 6050 5092 271 | 0.000 % | c | 30525 | 1553 4849 140754 | 6655 5317 271 | 0.000 % | c | 30862 | 1553 4849 140754 | 7320 5654 271 | 0.000 % | c | 31368 | 1553 4849 140754 | 8052 6160 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 17.5933 s Remaining CPU time: 162.407 s c =============================================================================== c | 32048 | 1553 4850 141274 | 5000 6840 271 | 0.000 % | c | 32148 | 1553 4850 141274 | 5500 3520 270 | 0.000 % | c | 32298 | 1553 4850 141274 | 6050 3670 270 | 0.000 % | c | 32523 | 1553 4850 141274 | 6655 3895 270 | 0.000 % | c | 32860 | 1553 4850 141274 | 7320 4232 269 | 0.000 % | c | 33367 | 1553 4850 141274 | 8052 4739 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 18.2272 s Remaining CPU time: 161.773 s c =============================================================================== c | 33451 | 1553 4851 141794 | 5000 4823 269 | 0.000 % | c | 33551 | 1553 4851 141794 | 5500 4923 269 | 0.000 % | c | 33701 | 1553 4851 141794 | 6050 5073 269 | 0.000 % | c | 33927 | 1553 4851 141794 | 6655 5299 269 | 0.000 % | c | 34264 | 1553 4851 141794 | 7320 5636 269 | 0.000 % | c | 34770 | 1553 4851 141794 | 8052 6142 269 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 18.9631 s Remaining CPU time: 161.037 s c =============================================================================== c | 35235 | 1553 4852 142314 | 5000 6607 269 | 0.000 % | c | 35335 | 1553 4852 142314 | 5500 3404 268 | 0.000 % | c | 35486 | 1553 4852 142314 | 6050 3555 268 | 0.000 % | c | 35711 | 1553 4852 142314 | 6655 3780 267 | 0.000 % | c | 36048 | 1553 4852 142314 | 7320 4117 267 | 0.000 % | c | 36554 | 1553 4852 142314 | 8052 4623 267 | 0.000 % | c | 37313 | 1553 4852 142314 | 8857 5382 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 19.998 s Remaining CPU time: 160.002 s c =============================================================================== c | 37725 | 1553 4853 142834 | 5000 5794 267 | 0.000 % | c | 37825 | 1553 4853 142834 | 5500 2997 266 | 0.000 % | c | 37975 | 1553 4853 142834 | 6050 3147 266 | 0.000 % | c | 38201 | 1553 4853 142834 | 6655 3373 266 | 0.000 % | c | 38538 | 1553 4853 142834 | 7320 3710 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 20.4679 s Remaining CPU time: 159.532 s c =============================================================================== c | 38735 | 1553 4854 143354 | 5000 3907 266 | 0.000 % | c | 38835 | 1553 4854 143354 | 5500 4007 266 | 0.000 % | c | 38985 | 1553 4854 143354 | 6050 4157 266 | 0.000 % | c | 39210 | 1553 4854 143354 | 6655 4382 266 | 0.000 % | c | 39547 | 1553 4854 143354 | 7320 4719 266 | 0.000 % | c | 40053 | 1553 4854 143354 | 8052 5225 266 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 21.2548 s Remaining CPU time: 158.745 s c =============================================================================== c | 40664 | 1553 4855 143874 | 5000 5836 266 | 0.000 % | c | 40764 | 1553 4855 143874 | 5500 3018 264 | 0.000 % | c | 40914 | 1553 4855 143874 | 6050 3168 264 | 0.000 % | c | 41140 | 1553 4855 143874 | 6655 3394 264 | 0.000 % | c | 41477 | 1553 4855 143874 | 7320 3731 264 | 0.000 % | c | 41983 | 1553 4855 143874 | 8052 4237 264 | 0.000 % | c | 42742 | 1553 4855 143874 | 8857 4996 264 | 0.000 % | c | 43881 | 1553 4855 143874 | 9743 6135 264 | 0.000 % | c | 45589 | 1553 4855 143874 | 10717 7843 264 | 0.000 % | c | 48151 | 1553 4855 143874 | 11789 10405 264 | 0.000 % | c | 51995 | 1553 4855 143874 | 12968 8195 264 | 0.000 % | c | 57761 | 1553 4855 143874 | 14265 7321 264 | 0.000 % | c | 66410 | 1553 4855 143874 | 15692 8684 264 | 0.000 % | c | 79384 | 1553 4855 143874 | 17261 13647 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 39.685 s Remaining CPU time: 140.315 s c =============================================================================== c | 79401 | 1553 4856 144394 | 5000 13664 264 | 0.000 % | c | 79502 | 1553 4856 144394 | 5500 3517 264 | 0.000 % | c | 79652 | 1553 4856 144394 | 6050 3667 264 | 0.000 % | c | 79877 | 1553 4856 144394 | 6655 3892 264 | 0.000 % | c | 80215 | 1553 4856 144394 | 7320 4230 264 | 0.000 % | c | 80721 | 1553 4856 144394 | 8052 4736 264 | 0.000 % | c | 81480 | 1553 4856 144394 | 8857 5495 263 | 0.000 % | c | 82619 | 1553 4856 144394 | 9743 6634 263 | 0.000 % | c | 84327 | 1553 4856 144394 | 10717 8342 263 | 0.000 % | c | 86889 | 1553 4856 144394 | 11789 10904 263 | 0.000 % | c | 90733 | 1553 4856 144394 | 12968 8705 263 | 0.000 % | c | 96499 | 1553 4856 144394 | 14265 7842 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 50.9643 s Remaining CPU time: 129.036 s c =============================================================================== c | 103286 | 1553 4857 144914 | 5000 7338 263 | 0.000 % | c | 103386 | 1553 4857 144914 | 5500 3769 262 | 0.000 % | c | 103537 | 1553 4857 144914 | 6050 3920 262 | 0.000 % | c | 103762 | 1553 4857 144914 | 6655 4145 262 | 0.000 % | c | 104099 | 1553 4857 144914 | 7320 4482 262 | 0.000 % | c | 104605 | 1553 4857 144914 | 8052 4988 262 | 0.000 % | c | 105364 | 1553 4857 144914 | 8857 5747 262 | 0.000 % | c | 106503 | 1553 4857 144914 | 9743 6886 262 | 0.000 % | c | 108211 | 1553 4857 144914 | 10717 8594 262 | 0.000 % | c | 110775 | 1553 4857 144914 | 11789 5666 262 | 0.000 % | c | 114619 | 1553 4857 144914 | 12968 9510 262 | 0.000 % | c | 120386 | 1553 4857 144914 | 14265 8635 262 | 0.000 % | c | 129035 | 1553 4857 144914 | 15692 10010 262 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 63.9933 s Remaining CPU time: 116.007 s c =============================================================================== c | 132830 | 1553 4858 145434 | 5000 13805 262 | 0.000 % | c | 132930 | 1553 4858 145434 | 5500 3552 261 | 0.000 % | c | 133080 | 1553 4858 145434 | 6050 3702 261 | 0.000 % | c | 133305 | 1553 4858 145434 | 6655 3927 261 | 0.000 % | c | 133642 | 1553 4858 145434 | 7320 4264 261 | 0.000 % | c | 134148 | 1553 4858 145434 | 8052 4770 261 | 0.000 % | c | 134908 | 1553 4858 145434 | 8857 5530 261 | 0.000 % | c | 136047 | 1553 4858 145434 | 9743 6669 261 | 0.000 % | c | 137755 | 1553 4858 145434 | 10717 8377 261 | 0.000 % | c | 140317 | 1553 4858 145434 | 11789 10939 261 | 0.000 % | c | 144161 | 1553 4858 145434 | 12968 8736 261 | 0.000 % | c | 149928 | 1553 4858 145434 | 14265 7869 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 74.0077 s Remaining CPU time: 105.992 s c =============================================================================== c | 153553 | 1553 4859 145954 | 5000 11494 261 | 0.000 % | c | 153653 | 1553 4859 145954 | 5500 2974 260 | 0.000 % | c | 153803 | 1553 4859 145954 | 6050 3124 260 | 0.000 % | c | 154029 | 1553 4859 145954 | 6655 3350 260 | 0.000 % | c | 154366 | 1553 4859 145954 | 7320 3687 260 | 0.000 % | c | 154872 | 1553 4859 145954 | 8052 4193 260 | 0.000 % | c | 155631 | 1553 4859 145954 | 8857 4952 260 | 0.000 % | c | 156770 | 1553 4859 145954 | 9743 6091 260 | 0.000 % | c | 158478 | 1553 4859 145954 | 10717 7799 260 | 0.000 % | c | 161040 | 1553 4859 145954 | 11789 10361 260 | 0.000 % | c | 164884 | 1553 4859 145954 | 12968 8173 260 | 0.000 % | c | 170650 | 1553 4859 145954 | 14265 7308 260 | 0.000 % | c | 179299 | 1553 4859 145954 | 15692 8668 260 | 0.000 % | c | 192273 | 1553 4859 145954 | 17261 13655 260 | 0.000 % | c | 211734 | 1553 4859 145954 | 18987 15553 260 | 0.000 % | c | 240926 | 1553 4859 145954 | 20886 15812 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 139.293 s Remaining CPU time: 40.7072 s c =============================================================================== c | 279711 | 1553 4860 146474 | 5000 12017 261 | 0.000 % | c | 279811 | 1553 4860 146474 | 5500 3105 260 | 0.000 % | c | 279961 | 1553 4860 146474 | 6050 3255 260 | 0.000 % | c | 280186 | 1553 4860 146474 | 6655 3480 260 | 0.000 % | c | 280524 | 1553 4860 146474 | 7320 3818 260 | 0.000 % | c | 281030 | 1553 4860 146474 | 8052 4324 260 | 0.000 % | c | 281791 | 1553 4860 146474 | 8857 5085 260 | 0.000 % | c | 282930 | 1553 4860 146474 | 9743 6224 260 | 0.000 % | c | 284638 | 1553 4860 146474 | 10717 7932 260 | 0.000 % | c | 287200 | 1553 4860 146474 | 11789 10494 260 | 0.000 % | c | 291044 | 1553 4860 146474 | 12968 8298 259 | 0.000 % | c | 296810 | 1553 4860 146474 | 14265 7441 259 | 0.000 % | c | 305459 | 1553 4860 146474 | 15692 8813 260 | 0.000 % | c | 318434 | 1553 4860 146474 | 17261 13789 260 | 0.000 % |