c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4637 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1551 | c | Number Clauses: 4622 | 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 | 1551 4622 9758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1551 4623 10284 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1551 4624 10810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1551 4625 11336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1551 4626 11862 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1551 4627 12388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1551 4628 12914 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1551 4629 13440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1551 4630 13966 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1551 4631 14492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1551 4632 15018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1551 4633 15544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1551 4634 16070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1551 4635 16596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1551 4636 17122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1551 4637 17648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1551 4638 18174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1551 4639 18700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1551 4640 19226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1551 4641 19752 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1551 4642 20278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1551 4643 20804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1551 4644 21330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1 | 1551 4645 21856 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1551 4646 22382 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1551 4647 22908 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1551 4648 23434 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1551 4649 23960 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 1551 4650 24486 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1551 4651 25012 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 1 | 1551 4652 25538 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1 | 1551 4653 26064 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1 | 1551 4654 26590 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1551 4655 27116 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1551 4656 27642 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1551 4657 28168 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 1551 4658 28694 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 1551 4659 29220 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1551 4660 29746 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 1551 4661 30272 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 1551 4662 30798 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 1551 4663 31324 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 1 | 1551 4664 31850 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 1551 4665 32376 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 1 | 1551 4666 32902 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 1 | 1551 4667 33428 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 1 | 1551 4668 33954 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 1 | 1551 4669 34480 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 1551 4670 35006 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 1 | 1551 4671 35532 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 1 | 1551 4672 36058 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 1 | 1551 4673 36584 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 1 | 1551 4674 37110 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1 | 1551 4675 37636 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 1 | 1551 4676 38162 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 1 | 1551 4677 38688 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 1 | 1551 4678 39214 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 1 | 1551 4679 39740 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 1 | 1551 4680 40266 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 1 | 1551 4681 40792 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 1 | 1551 4682 41318 | 5000 1 506 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 2 | 1551 4683 41844 | 5000 2 255 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 2 | 1551 4684 42370 | 5000 2 255 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 2 | 1551 4685 42896 | 5000 2 255 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 3 | 1551 4686 43422 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 3 | 1551 4687 43948 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 3 | 1551 4688 44474 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 3 | 1551 4689 45000 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 3 | 1551 4690 45526 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 3 | 1551 4691 46052 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 3 | 1551 4692 46578 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 3 | 1551 4693 47104 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 3 | 1551 4694 47630 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 3 | 1551 4695 48156 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 3 | 1551 4696 48682 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 3 | 1551 4697 49208 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 3 | 1551 4698 49734 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 3 | 1551 4699 50260 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 3 | 1551 4700 50786 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 3 | 1551 4701 51312 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 3 | 1551 4702 51838 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 3 | 1551 4703 52364 | 5000 3 325 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 4 | 1551 4704 52890 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 4 | 1551 4705 53416 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 4 | 1551 4706 53942 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 4 | 1551 4707 54468 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 4 | 1551 4708 54994 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 4 | 1551 4709 55520 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 4 | 1551 4710 56046 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s c =============================================================================== c | 4 | 1551 4711 56572 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 4 | 1551 4712 57098 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 4 | 1551 4713 57624 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 4 | 1551 4714 58150 | 5000 4 244 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 5 | 1551 4715 58676 | 5000 5 282 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 5 | 1551 4716 59202 | 5000 5 282 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 5 | 1551 4717 59728 | 5000 5 282 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 6 | 1551 4718 60254 | 5000 6 308 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 8 | 1551 4719 60780 | 5000 8 338 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 14 | 1551 4720 61306 | 5000 14 378 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s c =============================================================================== c | 14 | 1551 4721 61832 | 5000 14 378 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 16 | 1551 4722 62358 | 5000 16 384 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 16 | 1551 4723 62884 | 5000 16 384 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 16 | 1551 4724 63410 | 5000 16 384 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 19 | 1551 4725 63936 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 19 | 1551 4726 64462 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 19 | 1551 4727 64988 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.683896 s Remaining CPU time: 179.316 s c =============================================================================== c | 19 | 1551 4728 65514 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 19 | 1551 4729 66040 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 19 | 1551 4730 66566 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 19 | 1551 4731 67092 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 19 | 1551 4732 67618 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 19 | 1551 4733 68144 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 19 | 1551 4734 68670 | 5000 19 391 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 20 | 1551 4735 69196 | 5000 20 392 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.793879 s Remaining CPU time: 179.206 s c =============================================================================== c | 29 | 1551 4736 69722 | 5000 29 399 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s c =============================================================================== c | 30 | 1551 4737 70248 | 5000 30 399 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s c =============================================================================== c | 34 | 1551 4738 70774 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 34 | 1551 4739 71300 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 34 | 1551 4740 71826 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 34 | 1551 4741 72352 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.881865 s Remaining CPU time: 179.118 s c =============================================================================== c | 34 | 1551 4742 72878 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s c =============================================================================== c | 34 | 1551 4743 73404 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 34 | 1551 4744 73930 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 34 | 1551 4745 74456 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 34 | 1551 4746 74982 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 34 | 1551 4747 75508 | 5000 34 401 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 45 | 1551 4748 76034 | 5000 45 401 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 45 | 1551 4749 76560 | 5000 45 401 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 45 | 1551 4750 77086 | 5000 45 401 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 45 | 1551 4751 77612 | 5000 45 401 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 45 | 1551 4752 78138 | 5000 45 401 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 45 | 1551 4753 78664 | 5000 45 401 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 53 | 1551 4754 79190 | 5000 53 400 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 53 | 1551 4755 79716 | 5000 53 400 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 53 | 1551 4756 80242 | 5000 53 400 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s c =============================================================================== c | 54 | 1551 4757 80768 | 5000 54 400 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 1.14882 s Remaining CPU time: 178.851 s c =============================================================================== c | 54 | 1551 4758 81294 | 5000 54 400 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 54 | 1551 4759 81820 | 5000 54 400 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.18382 s Remaining CPU time: 178.816 s c =============================================================================== c | 55 | 1551 4760 82346 | 5000 55 393 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.20482 s Remaining CPU time: 178.795 s c =============================================================================== c | 64 | 1551 4761 82872 | 5000 64 392 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 65 | 1551 4762 83398 | 5000 65 392 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.24281 s Remaining CPU time: 178.757 s c =============================================================================== c | 65 | 1551 4763 83924 | 5000 65 392 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 65 | 1551 4764 84450 | 5000 65 392 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 73 | 1551 4765 84976 | 5000 73 392 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s c =============================================================================== c | 73 | 1551 4766 85502 | 5000 73 392 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.3258 s Remaining CPU time: 178.674 s c =============================================================================== c | 88 | 1551 4767 86028 | 5000 88 390 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.34479 s Remaining CPU time: 178.655 s c =============================================================================== c | 89 | 1551 4768 86554 | 5000 89 390 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.36779 s Remaining CPU time: 178.632 s c =============================================================================== c | 101 | 1551 4769 87080 | 5000 101 389 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.38879 s Remaining CPU time: 178.611 s c =============================================================================== c | 102 | 1551 4770 87606 | 5000 102 389 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.40779 s Remaining CPU time: 178.592 s c =============================================================================== c | 103 | 1551 4771 88132 | 5000 103 389 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.42878 s Remaining CPU time: 178.571 s c =============================================================================== c | 103 | 1551 4772 88658 | 5000 103 389 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 107 | 1551 4773 89184 | 5000 107 388 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 110 | 1551 4774 89710 | 5000 110 388 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.49477 s Remaining CPU time: 178.505 s c =============================================================================== c | 111 | 1551 4775 90236 | 5000 111 388 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s c =============================================================================== c | 120 | 1551 4776 90762 | 5000 120 387 | 0.000 % | c | 220 | 1551 4776 90762 | 5500 220 381 | 0.000 % | c | 370 | 1551 4776 90762 | 6050 370 378 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.65175 s Remaining CPU time: 178.348 s c =============================================================================== c | 408 | 1551 4777 91288 | 5000 408 378 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.67575 s Remaining CPU time: 178.324 s c =============================================================================== c | 422 | 1551 4778 91814 | 5000 422 377 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 429 | 1551 4779 92340 | 5000 429 377 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.71974 s Remaining CPU time: 178.28 s c =============================================================================== c | 429 | 1551 4780 92866 | 5000 429 377 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 440 | 1551 4781 93392 | 5000 440 377 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.76773 s Remaining CPU time: 178.232 s c =============================================================================== c | 440 | 1551 4782 93918 | 5000 440 377 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.78973 s Remaining CPU time: 178.21 s c =============================================================================== c | 441 | 1551 4783 94444 | 5000 441 377 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.81472 s Remaining CPU time: 178.185 s c =============================================================================== c | 450 | 1551 4784 94970 | 5000 450 377 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 459 | 1551 4785 95496 | 5000 459 377 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.87372 s Remaining CPU time: 178.126 s c =============================================================================== c | 496 | 1551 4786 96022 | 5000 496 376 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 545 | 1551 4787 96548 | 5000 545 375 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.93571 s Remaining CPU time: 178.064 s c =============================================================================== c | 557 | 1551 4788 97074 | 5000 557 374 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.9657 s Remaining CPU time: 178.034 s c =============================================================================== c | 580 | 1551 4789 97600 | 5000 580 374 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.9937 s Remaining CPU time: 178.006 s c =============================================================================== c | 591 | 1551 4790 98126 | 5000 591 374 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 2.02769 s Remaining CPU time: 177.972 s c =============================================================================== c | 625 | 1551 4791 98652 | 5000 625 373 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 2.05469 s Remaining CPU time: 177.945 s c =============================================================================== c | 636 | 1551 4792 99178 | 5000 636 373 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 2.08468 s Remaining CPU time: 177.915 s c =============================================================================== c | 649 | 1551 4793 99704 | 5000 649 372 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 2.11968 s Remaining CPU time: 177.88 s c =============================================================================== c | 672 | 1551 4794 100230 | 5000 672 371 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s c =============================================================================== c | 683 | 1551 4795 100756 | 5000 683 371 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s c =============================================================================== c | 694 | 1551 4796 101282 | 5000 694 371 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 2.20866 s Remaining CPU time: 177.791 s c =============================================================================== c | 705 | 1551 4797 101808 | 5000 705 370 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s c =============================================================================== c | 718 | 1551 4798 102334 | 5000 718 370 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 2.26965 s Remaining CPU time: 177.73 s c =============================================================================== c | 727 | 1551 4799 102860 | 5000 727 370 | 0.000 % | c | 827 | 1551 4799 102860 | 5500 827 367 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 2.34764 s Remaining CPU time: 177.652 s c =============================================================================== c | 841 | 1551 4800 103386 | 5000 841 367 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 2.40163 s Remaining CPU time: 177.598 s c =============================================================================== c | 925 | 1551 4801 103912 | 5000 925 366 | 0.000 % | c | 1025 | 1551 4801 103912 | 5500 1025 364 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 1084 | 1551 4802 104438 | 5000 1084 363 | 0.000 % | c | 1185 | 1551 4802 104438 | 5500 1185 362 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 2.58961 s Remaining CPU time: 177.41 s c =============================================================================== c | 1202 | 1551 4803 104964 | 5000 1202 362 | 0.000 % | c | 1302 | 1551 4803 104964 | 5500 1302 360 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 2.68859 s Remaining CPU time: 177.311 s c =============================================================================== c | 1366 | 1551 4804 105490 | 5000 1366 360 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 2.74158 s Remaining CPU time: 177.258 s c =============================================================================== c | 1462 | 1551 4805 106016 | 5000 1462 359 | 0.000 % | c | 1562 | 1551 4805 106016 | 5500 1562 358 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 2.83157 s Remaining CPU time: 177.168 s c =============================================================================== c | 1589 | 1551 4806 106542 | 5000 1589 358 | 0.000 % | c | 1689 | 1551 4806 106542 | 5500 1689 357 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 2.92156 s Remaining CPU time: 177.078 s c =============================================================================== c | 1699 | 1551 4807 107068 | 5000 1699 357 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 2.97955 s Remaining CPU time: 177.02 s c =============================================================================== c | 1792 | 1551 4808 107594 | 5000 1792 356 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 3.03154 s Remaining CPU time: 176.968 s c =============================================================================== c | 1867 | 1551 4809 108120 | 5000 1867 355 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 3.08553 s Remaining CPU time: 176.914 s c =============================================================================== c | 1951 | 1551 4810 108646 | 5000 1951 355 | 0.000 % | c | 2051 | 1551 4810 108646 | 5500 2051 354 | 0.000 % | c | 2202 | 1551 4810 108646 | 6050 2202 353 | 0.000 % | c | 2427 | 1551 4810 108646 | 6655 2427 352 | 0.000 % | c | 2764 | 1551 4810 108646 | 7320 2764 351 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 3.60845 s Remaining CPU time: 176.392 s c =============================================================================== c | 3175 | 1551 4811 109172 | 5000 3175 349 | 0.000 % | c | 3275 | 1551 4811 109172 | 5500 3275 349 | 0.000 % | c | 3425 | 1551 4811 109172 | 6050 3425 348 | 0.000 % | c | 3652 | 1551 4811 109172 | 6655 3652 348 | 0.000 % | c | 3990 | 1551 4811 109172 | 7320 3990 347 | 0.000 % | c | 4496 | 1551 4811 109172 | 8052 4496 346 | 0.000 % | c | 5255 | 1551 4811 109172 | 8857 5255 345 | 0.000 % | c | 6394 | 1551 4811 109172 | 9743 6394 344 | 0.000 % | c | 8103 | 1551 4811 109172 | 10717 8103 343 | 0.000 % | c | 10665 | 1551 4811 109172 | 11789 10665 342 | 0.000 % | c | 14509 | 1551 4811 109172 | 12968 8444 339 | 0.000 % | c | 20276 | 1551 4811 109172 | 14265 7536 340 | 0.000 % | c | 28926 | 1551 4811 109172 | 15692 8856 340 | 0.000 % | c | 41901 | 1551 4811 109172 | 17261 13804 340 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 22.8915 s Remaining CPU time: 157.108 s c =============================================================================== c | 44609 | 1551 4812 109698 | 5000 16512 340 | 0.000 % | c | 44710 | 1551 4812 109698 | 5500 4229 339 | 0.000 % | c | 44860 | 1551 4812 109698 | 6050 4379 339 | 0.000 % | c | 45086 | 1551 4812 109698 | 6655 4605 339 | 0.000 % | c | 45425 | 1551 4812 109698 | 7320 4944 339 | 0.000 % | c | 45931 | 1551 4812 109698 | 8052 5450 339 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 23.8304 s Remaining CPU time: 156.17 s c =============================================================================== c | 46428 | 1551 4813 110224 | 5000 5947 339 | 0.000 % | c | 46528 | 1551 4813 110224 | 5500 3074 338 | 0.000 % | c | 46678 | 1551 4813 110224 | 6050 3224 338 | 0.000 % | c | 46903 | 1551 4813 110224 | 6655 3449 338 | 0.000 % | c | 47240 | 1551 4813 110224 | 7320 3786 338 | 0.000 % | c | 47746 | 1551 4813 110224 | 8052 4292 338 | 0.000 % | c | 48505 | 1551 4813 110224 | 8857 5051 338 | 0.000 % | c | 49644 | 1551 4813 110224 | 9743 6190 338 | 0.000 % | c | 51352 | 1551 4813 110224 | 10717 7898 338 | 0.000 % | c | 53915 | 1551 4813 110224 | 11789 10461 338 | 0.000 % | c | 57759 | 1551 4813 110224 | 12968 8199 338 | 0.000 % | c | 63525 | 1551 4813 110224 | 14265 7282 338 | 0.000 % | c | 72174 | 1551 4813 110224 | 15692 8622 338 | 0.000 % | c | 85148 | 1551 4813 110224 | 17261 13570 338 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 48.3986 s Remaining CPU time: 131.601 s c =============================================================================== c | 98536 | 1551 4814 110750 | 5000 9322 338 | 0.000 % | c | 98636 | 1551 4814 110750 | 5500 4761 338 | 0.000 % | c | 98786 | 1551 4814 110750 | 6050 4911 338 | 0.000 % | c | 99011 | 1551 4814 110750 | 6655 5136 338 | 0.000 % | c | 99349 | 1551 4814 110750 | 7320 5474 338 | 0.000 % | c | 99855 | 1551 4814 110750 | 8052 5980 338 | 0.000 % | c | 100614 | 1551 4814 110750 | 8857 6739 338 | 0.000 % | c | 101754 | 1551 4814 110750 | 9743 7879 337 | 0.000 % | c | 103462 | 1551 4814 110750 | 10717 9587 337 | 0.000 % | c | 106025 | 1551 4814 110750 | 11789 6617 336 | 0.000 % | c | 109869 | 1551 4814 110750 | 12968 10461 337 | 0.000 % | c | 115636 | 1551 4814 110750 | 14265 9540 336 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 57.9952 s Remaining CPU time: 122.005 s c =============================================================================== c | 118784 | 1551 4815 111276 | 5000 12688 337 | 0.000 % | c | 118884 | 1551 4815 111276 | 5500 3272 336 | 0.000 % | c | 119034 | 1551 4815 111276 | 6050 3422 336 | 0.000 % | c | 119259 | 1551 4815 111276 | 6655 3647 336 | 0.000 % | c | 119596 | 1551 4815 111276 | 7320 3984 336 | 0.000 % | c | 120102 | 1551 4815 111276 | 8052 4490 336 | 0.000 % | c | 120861 | 1551 4815 111276 | 8857 5249 336 | 0.000 % | c | 122000 | 1551 4815 111276 | 9743 6388 336 | 0.000 % | c | 123708 | 1551 4815 111276 | 10717 8096 336 | 0.000 % | c | 126270 | 1551 4815 111276 | 11789 10658 336 | 0.000 % | c | 130114 | 1551 4815 111276 | 12968 8412 336 | 0.000 % | c | 135881 | 1551 4815 111276 | 14265 7516 335 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 66.4249 s Remaining CPU time: 113.575 s c =============================================================================== c | 138525 | 1551 4816 111802 | 5000 10160 336 | 0.000 % | c | 138625 | 1551 4816 111802 | 5500 2640 335 | 0.000 % | c | 138775 | 1551 4816 111802 | 6050 2790 335 | 0.000 % | c | 139000 | 1551 4816 111802 | 6655 3015 335 | 0.000 % | c | 139337 | 1551 4816 111802 | 7320 3352 335 | 0.000 % | c | 139844 | 1551 4816 111802 | 8052 3859 335 | 0.000 % | c | 140603 | 1551 4816 111802 | 8857 4618 335 | 0.000 % | c | 141743 | 1551 4816 111802 | 9743 5758 335 | 0.000 % | c | 143452 | 1551 4816 111802 | 10717 7467 335 | 0.000 % | c | 146014 | 1551 4816 111802 | 11789 10029 335 | 0.000 % | c | 149858 | 1551 4816 111802 | 12968 7773 335 | 0.000 % | c | 155624 | 1551 4816 111802 | 14265 6867 335 | 0.000 % | c | 164273 | 1551 4816 111802 | 15692 8208 335 | 0.000 % | c | 177247 | 1551 4816 111802 | 17261 13137 335 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 91.7041 s Remaining CPU time: 88.2959 s c =============================================================================== c | 193399 | 1551 4817 112328 | 5000 11669 335 | 0.000 % | c | 193500 | 1551 4817 112328 | 5500 3019 335 | 0.000 % | c | 193650 | 1551 4817 112328 | 6050 3169 335 | 0.000 % | c | 193875 | 1551 4817 112328 | 6655 3394 334 | 0.000 % | c | 194213 | 1551 4817 112328 | 7320 3732 334 | 0.000 % | c | 194719 | 1551 4817 112328 | 8052 4238 334 | 0.000 % | c | 195479 | 1551 4817 112328 | 8857 4998 334 | 0.000 % | c | 196619 | 1551 4817 112328 | 9743 6138 334 | 0.000 % | c | 198328 | 1551 4817 112328 | 10717 7847 334 | 0.000 % | c | 200890 | 1551 4817 112328 | 11789 10409 334 | 0.000 % | c | 204734 | 1551 4817 112328 | 12968 8189 333 | 0.000 % | c | 210501 | 1551 4817 112328 | 14265 7281 333 | 0.000 % | c | 219150 | 1551 4817 112328 | 15692 8597 333 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 102.648 s Remaining CPU time: 77.3516 s c =============================================================================== c | 219584 | 1551 4818 112854 | 5000 9031 333 | 0.000 % | c | 219684 | 1551 4818 112854 | 5500 4616 333 | 0.000 % | c | 219834 | 1551 4818 112854 | 6050 4766 333 | 0.000 % | c | 220059 | 1551 4818 112854 | 6655 4991 333 | 0.000 % | c | 220396 | 1551 4818 112854 | 7320 5328 333 | 0.000 % | c | 220902 | 1551 4818 112854 | 8052 5834 333 | 0.000 % | c | 221661 | 1551 4818 112854 | 8857 6593 333 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 103.927 s Remaining CPU time: 76.0728 s c =============================================================================== c | 222654 | 1551 4819 113380 | 5000 7586 333 | 0.000 % | c | 222754 | 1551 4819 113380 | 5500 3893 332 | 0.000 % | c | 222904 | 1551 4819 113380 | 6050 4043 332 | 0.000 % | c | 223129 | 1551 4819 113380 | 6655 4268 332 | 0.000 % | c | 223466 | 1551 4819 113380 | 7320 4605 332 | 0.000 % | c | 223972 | 1551 4819 113380 | 8052 5111 332 | 0.000 % | c | 224732 | 1551 4819 113380 | 8857 5871 332 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 105.115 s Remaining CPU time: 74.885 s c =============================================================================== c | 225608 | 1551 4820 113906 | 5000 6747 332 | 0.000 % | c | 225708 | 1551 4820 113906 | 5500 3474 331 | 0.000 % | c | 225859 | 1551 4820 113906 | 6050 3625 331 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 105.314 s Remaining CPU time: 74.686 s c =============================================================================== c | 225922 | 1551 4821 114432 | 5000 3688 331 | 0.000 % | c | 226022 | 1551 4821 114432 | 5500 3788 331 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 105.41 s Remaining CPU time: 74.59 s c =============================================================================== c | 226067 | 1551 4822 114958 | 5000 3833 331 | 0.000 % | c | 226167 | 1551 4822 114958 | 5500 3933 331 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 105.519 s Remaining CPU time: 74.481 s c =============================================================================== c | 226254 | 1551 4823 115484 | 5000 4020 331 | 0.000 % | c | 226355 | 1551 4823 115484 | 5500 4121 331 | 0.000 % | c | 226505 | 1551 4823 115484 | 6050 4271 330 | 0.000 % | c | 226731 | 1551 4823 115484 | 6655 4497 330 | 0.000 % | c | 227068 | 1551 4823 115484 | 7320 4834 330 | 0.000 % | c | 227575 | 1551 4823 115484 | 8052 5341 330 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 106.21 s Remaining CPU time: 73.7901 s c =============================================================================== c | 227992 | 1551 4824 116010 | 5000 5758 329 | 0.000 % | c | 228092 | 1551 4824 116010 | 5500 2979 327 | 0.000 % | c | 228242 | 1551 4824 116010 | 6050 3129 327 | 0.000 % | c | 228468 | 1551 4824 116010 | 6655 3355 327 | 0.000 % | c | 228805 | 1551 4824 116010 | 7320 3692 327 | 0.000 % | c | 229311 | 1551 4824 116010 | 8052 4198 327 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 106.939 s Remaining CPU time: 73.0613 s c =============================================================================== c | 229697 | 1551 4825 116536 | 5000 4584 327 | 0.000 % | c | 229797 | 1551 4825 116536 | 5500 4684 327 | 0.000 % | c | 229947 | 1551 4825 116536 | 6050 4834 327 | 0.000 % | c | 230172 | 1551 4825 116536 | 6655 5059 327 | 0.000 % | c | 230509 | 1551 4825 116536 | 7320 5396 326 | 0.000 % | c | 231015 | 1551 4825 116536 | 8052 5902 326 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 107.636 s Remaining CPU time: 72.3644 s c =============================================================================== c | 231394 | 1551 4826 117062 | 5000 6281 326 | 0.000 % | c | 231494 | 1551 4826 117062 | 5500 3241 324 | 0.000 % | c | 231644 | 1551 4826 117062 | 6050 3391 324 | 0.000 % | c | 231870 | 1551 4826 117062 | 6655 3617 324 | 0.000 % | c | 232207 | 1551 4826 117062 | 7320 3954 324 | 0.000 % | c | 232713 | 1551 4826 117062 | 8052 4460 324 | 0.000 % | c | 233473 | 1551 4826 117062 | 8857 5220 324 | 0.000 % | c | 234612 | 1551 4826 117062 | 9743 6359 324 | 0.000 % | c | 236320 | 1551 4826 117062 | 10717 8067 324 | 0.000 % | c | 238882 | 1551 4826 117062 | 11789 10629 324 | 0.000 % | c | 242726 | 1551 4826 117062 | 12968 8383 324 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 112.837 s Remaining CPU time: 67.1632 s c =============================================================================== c | 244920 | 1551 4827 117588 | 5000 10577 324 | 0.000 % | c | 245020 | 1551 4827 117588 | 5500 2745 324 | 0.000 % | c | 245170 | 1551 4827 117588 | 6050 2895 324 | 0.000 % | c | 245395 | 1551 4827 117588 | 6655 3120 324 | 0.000 % | c | 245732 | 1551 4827 117588 | 7320 3457 324 | 0.000 % | c | 246238 | 1551 4827 117588 | 8052 3963 323 | 0.000 % | c | 246997 | 1551 4827 117588 | 8857 4722 323 | 0.000 % | c | 248137 | 1551 4827 117588 | 9743 5862 323 | 0.000 % | c | 249845 | 1551 4827 117588 | 10717 7570 323 | 0.000 % | c | 252407 | 1551 4827 117588 | 11789 10132 323 | 0.000 % | c | 256251 | 1551 4827 117588 | 12968 7865 323 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 118.77 s Remaining CPU time: 61.2301 s c =============================================================================== c | 259836 | 1551 4828 118114 | 5000 11450 323 | 0.000 % | c | 259936 | 1551 4828 118114 | 5500 2963 323 | 0.000 % | c | 260086 | 1551 4828 118114 | 6050 3113 323 | 0.000 % | c | 260311 | 1551 4828 118114 | 6655 3338 323 | 0.000 % | c | 260648 | 1551 4828 118114 | 7320 3675 323 | 0.000 % | c | 261154 | 1551 4828 118114 | 8052 4181 323 | 0.000 % | c | 261913 | 1551 4828 118114 | 8857 4940 323 | 0.000 % | c | 263053 | 1551 4828 118114 | 9743 6080 322 | 0.000 % | c | 264761 | 1551 4828 118114 | 10717 7788 322 | 0.000 % | c | 267324 | 1551 4828 118114 | 11789 10351 322 | 0.000 % | c | 271168 | 1551 4828 118114 | 12968 8135 322 | 0.000 % |