c wbo 1.4 beta - 20100610 c | Number of variables: 1040 | c | Number of clauses: 4692 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1549 | c | Number Clauses: 4678 | 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 | 1549 4678 9873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1549 4679 10396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1549 4680 10919 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1549 4681 11442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1549 4682 11965 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1549 4683 12488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1549 4684 13011 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1549 4685 13534 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1549 4686 14057 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1549 4687 14580 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1549 4688 15103 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1549 4689 15626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1549 4690 16149 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1549 4691 16672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1549 4692 17195 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1549 4693 17718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1549 4694 18241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1549 4695 18764 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1549 4696 19287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 2 | 1549 4697 19810 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 2 | 1549 4698 20333 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 2 | 1549 4699 20856 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 2 | 1549 4700 21379 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 2 | 1549 4701 21902 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 2 | 1549 4702 22425 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 2 | 1549 4703 22948 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 2 | 1549 4704 23471 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 2 | 1549 4705 23994 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 2 | 1549 4706 24517 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 2 | 1549 4707 25040 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 2 | 1549 4708 25563 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 2 | 1549 4709 26086 | 5000 2 506 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 3 | 1549 4710 26609 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 3 | 1549 4711 27132 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 3 | 1549 4712 27655 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 3 | 1549 4713 28178 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 3 | 1549 4714 28701 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 3 | 1549 4715 29224 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 3 | 1549 4716 29747 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 3 | 1549 4717 30270 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 3 | 1549 4718 30793 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 3 | 1549 4719 31316 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 3 | 1549 4720 31839 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 3 | 1549 4721 32362 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 3 | 1549 4722 32885 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 3 | 1549 4723 33408 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 3 | 1549 4724 33931 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 3 | 1549 4725 34454 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 3 | 1549 4726 34977 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 3 | 1549 4727 35500 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 3 | 1549 4728 36023 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 3 | 1549 4729 36546 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 3 | 1549 4730 37069 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 3 | 1549 4731 37592 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 3 | 1549 4732 38115 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 3 | 1549 4733 38638 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 3 | 1549 4734 39161 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 3 | 1549 4735 39684 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 3 | 1549 4736 40207 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 3 | 1549 4737 40730 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 3 | 1549 4738 41253 | 5000 3 502 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 4 | 1549 4739 41776 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 4 | 1549 4740 42299 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 4 | 1549 4741 42822 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 4 | 1549 4742 43345 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 4 | 1549 4743 43868 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 4 | 1549 4744 44391 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 4 | 1549 4745 44914 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 4 | 1549 4746 45437 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 4 | 1549 4747 45960 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 4 | 1549 4748 46483 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 4 | 1549 4749 47006 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 4 | 1549 4750 47529 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 4 | 1549 4751 48052 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 4 | 1549 4752 48575 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 4 | 1549 4753 49098 | 5000 4 492 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 8 | 1549 4754 49621 | 5000 8 471 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 10 | 1549 4755 50144 | 5000 10 466 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 10 | 1549 4756 50667 | 5000 10 466 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 10 | 1549 4757 51190 | 5000 10 466 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 10 | 1549 4758 51713 | 5000 10 466 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 15 | 1549 4759 52236 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 15 | 1549 4760 52759 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 15 | 1549 4761 53282 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 15 | 1549 4762 53805 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 15 | 1549 4763 54328 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 15 | 1549 4764 54851 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 15 | 1549 4765 55374 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 15 | 1549 4766 55897 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 15 | 1549 4767 56420 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 15 | 1549 4768 56943 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 15 | 1549 4769 57466 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 15 | 1549 4770 57989 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 15 | 1549 4771 58512 | 5000 15 459 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 16 | 1549 4772 59035 | 5000 16 430 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 24 | 1549 4773 59558 | 5000 24 430 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 25 | 1549 4774 60081 | 5000 25 430 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 25 | 1549 4775 60604 | 5000 25 430 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 31 | 1549 4776 61127 | 5000 31 430 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 31 | 1549 4777 61650 | 5000 31 430 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 31 | 1549 4778 62173 | 5000 31 430 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s c =============================================================================== c | 31 | 1549 4779 62696 | 5000 31 430 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 31 | 1549 4780 63219 | 5000 31 430 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 31 | 1549 4781 63742 | 5000 31 430 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 32 | 1549 4782 64265 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 32 | 1549 4783 64788 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 32 | 1549 4784 65311 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 32 | 1549 4785 65834 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 32 | 1549 4786 66357 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 32 | 1549 4787 66880 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 32 | 1549 4788 67403 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 32 | 1549 4789 67926 | 5000 32 429 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 0.704892 s Remaining CPU time: 179.295 s c =============================================================================== c | 43 | 1549 4790 68449 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 43 | 1549 4791 68972 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 43 | 1549 4792 69495 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s c =============================================================================== c | 43 | 1549 4793 70018 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 43 | 1549 4794 70541 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 43 | 1549 4795 71064 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 43 | 1549 4796 71587 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 43 | 1549 4797 72110 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 43 | 1549 4798 72633 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 43 | 1549 4799 73156 | 5000 43 425 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 54 | 1549 4800 73679 | 5000 54 421 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 54 | 1549 4801 74202 | 5000 54 421 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s c =============================================================================== c | 54 | 1549 4802 74725 | 5000 54 421 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 54 | 1549 4803 75248 | 5000 54 421 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 59 | 1549 4804 75771 | 5000 59 419 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 64 | 1549 4805 76294 | 5000 64 417 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 69 | 1549 4806 76817 | 5000 69 416 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 71 | 1549 4807 77340 | 5000 71 415 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 71 | 1549 4808 77863 | 5000 71 415 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 71 | 1549 4809 78386 | 5000 71 415 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.971852 s Remaining CPU time: 179.028 s c =============================================================================== c | 71 | 1549 4810 78909 | 5000 71 415 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 71 | 1549 4811 79432 | 5000 71 415 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 1.00285 s Remaining CPU time: 178.997 s c =============================================================================== c | 80 | 1549 4812 79955 | 5000 80 412 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 80 | 1549 4813 80478 | 5000 80 412 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 80 | 1549 4814 81001 | 5000 80 412 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 80 | 1549 4815 81524 | 5000 80 412 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 1.06384 s Remaining CPU time: 178.936 s c =============================================================================== c | 80 | 1549 4816 82047 | 5000 80 412 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 80 | 1549 4817 82570 | 5000 80 412 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 80 | 1549 4818 83093 | 5000 80 412 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 90 | 1549 4819 83616 | 5000 90 409 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 1.13283 s Remaining CPU time: 178.867 s c =============================================================================== c | 107 | 1549 4820 84139 | 5000 107 405 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 119 | 1549 4821 84662 | 5000 119 403 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 119 | 1549 4822 85185 | 5000 119 403 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 124 | 1549 4823 85708 | 5000 124 402 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 124 | 1549 4824 86231 | 5000 124 402 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 1.21881 s Remaining CPU time: 178.781 s c =============================================================================== c | 131 | 1549 4825 86754 | 5000 131 401 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 1.23481 s Remaining CPU time: 178.765 s c =============================================================================== c | 131 | 1549 4826 87277 | 5000 131 401 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 131 | 1549 4827 87800 | 5000 131 401 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 1.26881 s Remaining CPU time: 178.731 s c =============================================================================== c | 131 | 1549 4828 88323 | 5000 131 401 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 132 | 1549 4829 88846 | 5000 132 400 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 146 | 1549 4830 89369 | 5000 146 398 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 1.3228 s Remaining CPU time: 178.677 s c =============================================================================== c | 147 | 1549 4831 89892 | 5000 147 398 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 149 | 1549 4832 90415 | 5000 149 397 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 1.35679 s Remaining CPU time: 178.643 s c =============================================================================== c | 151 | 1549 4833 90938 | 5000 151 397 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 161 | 1549 4834 91461 | 5000 161 395 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 165 | 1549 4835 91984 | 5000 165 394 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 1.41278 s Remaining CPU time: 178.587 s c =============================================================================== c | 167 | 1549 4836 92507 | 5000 167 394 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 1.43078 s Remaining CPU time: 178.569 s c =============================================================================== c | 169 | 1549 4837 93030 | 5000 169 394 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 172 | 1549 4838 93553 | 5000 172 393 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 187 | 1549 4839 94076 | 5000 187 391 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 1.49177 s Remaining CPU time: 178.508 s c =============================================================================== c | 188 | 1549 4840 94599 | 5000 188 391 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 1.51077 s Remaining CPU time: 178.489 s c =============================================================================== c | 189 | 1549 4841 95122 | 5000 189 391 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 1.53577 s Remaining CPU time: 178.464 s c =============================================================================== c | 211 | 1549 4842 95645 | 5000 211 388 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 1.55476 s Remaining CPU time: 178.445 s c =============================================================================== c | 213 | 1549 4843 96168 | 5000 213 387 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 1.57576 s Remaining CPU time: 178.424 s c =============================================================================== c | 217 | 1549 4844 96691 | 5000 217 387 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 1.59576 s Remaining CPU time: 178.404 s c =============================================================================== c | 220 | 1549 4845 97214 | 5000 220 386 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 1.62275 s Remaining CPU time: 178.377 s c =============================================================================== c | 243 | 1549 4846 97737 | 5000 243 384 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 262 | 1549 4847 98260 | 5000 262 382 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 1.66775 s Remaining CPU time: 178.332 s c =============================================================================== c | 265 | 1549 4848 98783 | 5000 265 381 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 1.68974 s Remaining CPU time: 178.31 s c =============================================================================== c | 273 | 1549 4849 99306 | 5000 273 381 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 1.70874 s Remaining CPU time: 178.291 s c =============================================================================== c | 273 | 1549 4850 99829 | 5000 273 381 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 1.72774 s Remaining CPU time: 178.272 s c =============================================================================== c | 274 | 1549 4851 100352 | 5000 274 380 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 277 | 1549 4852 100875 | 5000 277 380 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 1.76973 s Remaining CPU time: 178.23 s c =============================================================================== c | 283 | 1549 4853 101398 | 5000 283 379 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 1.79073 s Remaining CPU time: 178.209 s c =============================================================================== c | 297 | 1549 4854 101921 | 5000 297 378 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 297 | 1549 4855 102444 | 5000 297 378 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 1.83472 s Remaining CPU time: 178.165 s c =============================================================================== c | 310 | 1549 4856 102967 | 5000 310 377 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 1.85872 s Remaining CPU time: 178.141 s c =============================================================================== c | 326 | 1549 4857 103490 | 5000 326 375 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 1.87771 s Remaining CPU time: 178.122 s c =============================================================================== c | 328 | 1549 4858 104013 | 5000 328 375 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 331 | 1549 4859 104536 | 5000 331 375 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 1.92271 s Remaining CPU time: 178.077 s c =============================================================================== c | 334 | 1549 4860 105059 | 5000 334 374 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 1.9437 s Remaining CPU time: 178.056 s c =============================================================================== c | 337 | 1549 4861 105582 | 5000 337 374 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 1.9657 s Remaining CPU time: 178.034 s c =============================================================================== c | 341 | 1549 4862 106105 | 5000 341 374 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 1.9937 s Remaining CPU time: 178.006 s c =============================================================================== c | 360 | 1549 4863 106628 | 5000 360 372 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 2.01869 s Remaining CPU time: 177.981 s c =============================================================================== c | 376 | 1549 4864 107151 | 5000 376 370 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 2.04069 s Remaining CPU time: 177.959 s c =============================================================================== c | 377 | 1549 4865 107674 | 5000 377 370 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 2.06369 s Remaining CPU time: 177.936 s c =============================================================================== c | 380 | 1549 4866 108197 | 5000 380 369 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 2.09168 s Remaining CPU time: 177.908 s c =============================================================================== c | 406 | 1549 4867 108720 | 5000 406 367 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 2.12168 s Remaining CPU time: 177.878 s c =============================================================================== c | 436 | 1549 4868 109243 | 5000 436 365 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 2.14667 s Remaining CPU time: 177.853 s c =============================================================================== c | 446 | 1549 4869 109766 | 5000 446 364 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 2.16967 s Remaining CPU time: 177.83 s c =============================================================================== c | 447 | 1549 4870 110289 | 5000 447 364 | 0.000 % | c | 547 | 1549 4870 110289 | 5500 547 359 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 2.24666 s Remaining CPU time: 177.753 s c =============================================================================== c | 556 | 1549 4871 110812 | 5000 556 358 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 2.28065 s Remaining CPU time: 177.719 s c =============================================================================== c | 604 | 1549 4872 111335 | 5000 604 356 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 2.30665 s Remaining CPU time: 177.693 s c =============================================================================== c | 613 | 1549 4873 111858 | 5000 613 356 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 2.32965 s Remaining CPU time: 177.67 s c =============================================================================== c | 615 | 1549 4874 112381 | 5000 615 355 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 2.35764 s Remaining CPU time: 177.642 s c =============================================================================== c | 623 | 1549 4875 112904 | 5000 623 355 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 2.41863 s Remaining CPU time: 177.581 s c =============================================================================== c | 712 | 1549 4876 113427 | 5000 712 352 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 2.44763 s Remaining CPU time: 177.552 s c =============================================================================== c | 729 | 1549 4877 113950 | 5000 729 351 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 2.47562 s Remaining CPU time: 177.524 s c =============================================================================== c | 738 | 1549 4878 114473 | 5000 738 351 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 2.50562 s Remaining CPU time: 177.494 s c =============================================================================== c | 753 | 1549 4879 114996 | 5000 753 350 | 0.000 % | c | 853 | 1549 4879 114996 | 5500 853 347 | 0.000 % | c | 1004 | 1549 4879 114996 | 6050 1004 344 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s c =============================================================================== c | 1041 | 1549 4880 115519 | 5000 1041 343 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.74258 s Remaining CPU time: 177.257 s c =============================================================================== c | 1047 | 1549 4881 116042 | 5000 1047 343 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.77958 s Remaining CPU time: 177.22 s c =============================================================================== c | 1090 | 1549 4882 116565 | 5000 1090 342 | 0.000 % | c | 1190 | 1549 4882 116565 | 5500 1190 340 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 2.88356 s Remaining CPU time: 177.116 s c =============================================================================== c | 1225 | 1549 4883 117088 | 5000 1225 339 | 0.000 % | c | 1325 | 1549 4883 117088 | 5500 1325 337 | 0.000 % | c | 1475 | 1549 4883 117088 | 6050 1475 336 | 0.000 % | c | 1700 | 1549 4883 117088 | 6655 1700 334 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 3.2775 s Remaining CPU time: 176.722 s c =============================================================================== c | 1894 | 1549 4884 117611 | 5000 1894 332 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 3.32549 s Remaining CPU time: 176.675 s c =============================================================================== c | 1957 | 1549 4885 118134 | 5000 1957 332 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 3.37149 s Remaining CPU time: 176.629 s c =============================================================================== c | 2005 | 1549 4886 118657 | 5000 2005 331 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 3.43748 s Remaining CPU time: 176.563 s c =============================================================================== c | 2089 | 1549 4887 119180 | 5000 2089 331 | 0.000 % | c | 2190 | 1549 4887 119180 | 5500 2190 330 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 3.55646 s Remaining CPU time: 176.444 s c =============================================================================== c | 2211 | 1549 4888 119703 | 5000 2211 330 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 3.61145 s Remaining CPU time: 176.389 s c =============================================================================== c | 2266 | 1549 4889 120226 | 5000 2266 329 | 0.000 % | c | 2366 | 1549 4889 120226 | 5500 2366 329 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 3.71544 s Remaining CPU time: 176.285 s c =============================================================================== c | 2381 | 1549 4890 120749 | 5000 2381 329 | 0.000 % | c | 2481 | 1549 4890 120749 | 5500 2481 328 | 0.000 % | c | 2631 | 1549 4890 120749 | 6050 2631 327 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 3.86241 s Remaining CPU time: 176.138 s c =============================================================================== c | 2635 | 1549 4891 121272 | 5000 2635 327 | 0.000 % | c | 2735 | 1549 4891 121272 | 5500 2735 327 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 3.99339 s Remaining CPU time: 176.007 s c =============================================================================== c | 2826 | 1549 4892 121795 | 5000 2826 326 | 0.000 % | c | 2926 | 1549 4892 121795 | 5500 2926 325 | 0.000 % | c | 3077 | 1549 4892 121795 | 6050 3077 325 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 4.23935 s Remaining CPU time: 175.761 s c =============================================================================== c | 3193 | 1549 4893 122318 | 5000 3193 324 | 0.000 % | c | 3293 | 1549 4893 122318 | 5500 3293 324 | 0.000 % | c | 3443 | 1549 4893 122318 | 6050 3443 323 | 0.000 % | c | 3668 | 1549 4893 122318 | 6655 3668 322 | 0.000 % | c | 4005 | 1549 4893 122318 | 7320 4005 321 | 0.000 % | c | 4511 | 1549 4893 122318 | 8052 4511 320 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 4.99224 s Remaining CPU time: 175.008 s c =============================================================================== c | 4527 | 1549 4894 122841 | 5000 4527 320 | 0.000 % | c | 4628 | 1549 4894 122841 | 5500 4628 320 | 0.000 % | c | 4778 | 1549 4894 122841 | 6050 4778 319 | 0.000 % | c | 5004 | 1549 4894 122841 | 6655 5004 319 | 0.000 % | c | 5341 | 1549 4894 122841 | 7320 5341 318 | 0.000 % | c | 5848 | 1549 4894 122841 | 8052 5848 317 | 0.000 % | c | 6607 | 1549 4894 122841 | 8857 6607 316 | 0.000 % | c | 7746 | 1549 4894 122841 | 9743 7746 315 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 7.14691 s Remaining CPU time: 172.853 s c =============================================================================== c | 8602 | 1549 4895 123364 | 5000 8602 315 | 0.000 % | c | 8703 | 1549 4895 123364 | 5500 4402 308 | 0.000 % | c | 8853 | 1549 4895 123364 | 6050 4552 308 | 0.000 % | c | 9078 | 1549 4895 123364 | 6655 4777 308 | 0.000 % | c | 9415 | 1549 4895 123364 | 7320 5114 308 | 0.000 % | c | 9921 | 1549 4895 123364 | 8052 5620 308 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 8.18076 s Remaining CPU time: 171.819 s c =============================================================================== c | 10395 | 1549 4896 123887 | 5000 6094 308 | 0.000 % | c | 10496 | 1549 4896 123887 | 5500 3148 308 | 0.000 % | c | 10647 | 1549 4896 123887 | 6050 3299 308 | 0.000 % | c | 10872 | 1549 4896 123887 | 6655 3524 308 | 0.000 % | c | 11210 | 1549 4896 123887 | 7320 3862 308 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 8.70868 s Remaining CPU time: 171.291 s c =============================================================================== c | 11269 | 1549 4897 124410 | 5000 3921 307 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 8.76667 s Remaining CPU time: 171.233 s c =============================================================================== c | 11326 | 1549 4898 124933 | 5000 3978 307 | 0.000 % | c | 11427 | 1549 4898 124933 | 5500 4079 307 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 8.94064 s Remaining CPU time: 171.059 s c =============================================================================== c | 11542 | 1549 4899 125456 | 5000 4194 307 | 0.000 % | c | 11643 | 1549 4899 125456 | 5500 4295 307 | 0.000 % | c | 11794 | 1549 4899 125456 | 6050 4446 307 | 0.000 % | c | 12019 | 1549 4899 125456 | 6655 4671 307 | 0.000 % | c | 12356 | 1549 4899 125456 | 7320 5008 307 | 0.000 % | c | 12862 | 1549 4899 125456 | 8052 5514 306 | 0.000 % | c | 13621 | 1549 4899 125456 | 8857 6273 306 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 10.4714 s Remaining CPU time: 169.529 s c =============================================================================== c | 14576 | 1549 4900 125979 | 5000 7228 306 | 0.000 % | c | 14676 | 1549 4900 125979 | 5500 3714 304 | 0.000 % | c | 14826 | 1549 4900 125979 | 6050 3864 304 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 10.6994 s Remaining CPU time: 169.301 s c =============================================================================== c | 14926 | 1549 4901 126502 | 5000 3964 304 | 0.000 % | c | 15027 | 1549 4901 126502 | 5500 4065 304 | 0.000 % | c | 15177 | 1549 4901 126502 | 6050 4215 304 | 0.000 % | c | 15403 | 1549 4901 126502 | 6655 4441 304 | 0.000 % | c | 15740 | 1549 4901 126502 | 7320 4778 303 | 0.000 % | c | 16246 | 1549 4901 126502 | 8052 5284 303 | 0.000 % | c | 17005 | 1549 4901 126502 | 8857 6043 303 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 12.0962 s Remaining CPU time: 167.904 s c =============================================================================== c | 17747 | 1549 4902 127025 | 5000 6785 303 | 0.000 % | c | 17847 | 1549 4902 127025 | 5500 3493 302 | 0.000 % | c | 17997 | 1549 4902 127025 | 6050 3643 302 | 0.000 % | c | 18223 | 1549 4902 127025 | 6655 3869 302 | 0.000 % | c | 18560 | 1549 4902 127025 | 7320 4206 302 | 0.000 % | c | 19068 | 1549 4902 127025 | 8052 4714 301 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 12.99 s Remaining CPU time: 167.01 s c =============================================================================== c | 19527 | 1549 4903 127548 | 5000 5173 301 | 0.000 % | c | 19628 | 1549 4903 127548 | 5500 2688 301 | 0.000 % | c | 19778 | 1549 4903 127548 | 6050 2838 301 | 0.000 % | c | 20004 | 1549 4903 127548 | 6655 3064 301 | 0.000 % | c | 20341 | 1549 4903 127548 | 7320 3401 301 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 13.5549 s Remaining CPU time: 166.445 s c =============================================================================== c | 20568 | 1549 4904 128071 | 5000 3628 301 | 0.000 % | c | 20669 | 1549 4904 128071 | 5500 3729 301 | 0.000 % | c | 20819 | 1549 4904 128071 | 6050 3879 301 | 0.000 % | c | 21045 | 1549 4904 128071 | 6655 4105 300 | 0.000 % | c | 21382 | 1549 4904 128071 | 7320 4442 300 | 0.000 % | c | 21888 | 1549 4904 128071 | 8052 4948 300 | 0.000 % | c | 22647 | 1549 4904 128071 | 8857 5707 300 | 0.000 % | c | 23786 | 1549 4904 128071 | 9743 6846 300 | 0.000 % | c | 25494 | 1549 4904 128071 | 10717 8554 300 | 0.000 % | c | 28056 | 1549 4904 128071 | 11789 5584 299 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 16.9874 s Remaining CPU time: 163.013 s c =============================================================================== c | 28484 | 1549 4905 128594 | 5000 6012 299 | 0.000 % | c | 28584 | 1549 4905 128594 | 5500 3106 299 | 0.000 % | c | 28734 | 1549 4905 128594 | 6050 3256 299 | 0.000 % | c | 28959 | 1549 4905 128594 | 6655 3481 299 | 0.000 % | c | 29296 | 1549 4905 128594 | 7320 3818 298 | 0.000 % | c | 29802 | 1549 4905 128594 | 8052 4324 298 | 0.000 % | c | 30561 | 1549 4905 128594 | 8857 5083 298 | 0.000 % | c | 31700 | 1549 4905 128594 | 9743 6222 298 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 18.6262 s Remaining CPU time: 161.374 s c =============================================================================== c | 32032 | 1549 4906 129117 | 5000 6554 298 | 0.000 % | c | 32132 | 1549 4906 129117 | 5500 3377 298 | 0.000 % | c | 32283 | 1549 4906 129117 | 6050 3528 298 | 0.000 % | c | 32508 | 1549 4906 129117 | 6655 3753 298 | 0.000 % | c | 32845 | 1549 4906 129117 | 7320 4090 298 | 0.000 % | c | 33351 | 1549 4906 129117 | 8052 4596 297 | 0.000 % | c | 34110 | 1549 4906 129117 | 8857 5355 297 | 0.000 % | c | 35249 | 1549 4906 129117 | 9743 6494 297 | 0.000 % | c | 36957 | 1549 4906 129117 | 10717 8202 297 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 21.6057 s Remaining CPU time: 158.394 s c =============================================================================== c | 38615 | 1549 4907 129640 | 5000 9860 297 | 0.000 % | c | 38715 | 1549 4907 129640 | 5500 5030 297 | 0.000 % | c | 38865 | 1549 4907 129640 | 6050 5180 297 | 0.000 % | c | 39090 | 1549 4907 129640 | 6655 5405 297 | 0.000 % | c | 39427 | 1549 4907 129640 | 7320 5742 297 | 0.000 % | c | 39933 | 1549 4907 129640 | 8052 6248 297 | 0.000 % | c | 40692 | 1549 4907 129640 | 8857 7007 296 | 0.000 % | c | 41831 | 1549 4907 129640 | 9743 8146 296 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 23.5914 s Remaining CPU time: 156.409 s c =============================================================================== c | 42579 | 1549 4908 130163 | 5000 8894 296 | 0.000 % | c | 42680 | 1549 4908 130163 | 5500 4548 296 | 0.000 % | c | 42830 | 1549 4908 130163 | 6050 4698 296 | 0.000 % | c | 43056 | 1549 4908 130163 | 6655 4924 296 | 0.000 % | c | 43393 | 1549 4908 130163 | 7320 5261 296 | 0.000 % | c | 43899 | 1549 4908 130163 | 8052 5767 296 | 0.000 % | c | 44658 | 1549 4908 130163 | 8857 6526 295 | 0.000 % | c | 45797 | 1549 4908 130163 | 9743 7665 295 | 0.000 % | c | 47506 | 1549 4908 130163 | 10717 9374 295 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 26.6789 s Remaining CPU time: 153.321 s c =============================================================================== c | 48809 | 1549 4909 130686 | 5000 10677 295 | 0.000 % | c | 48909 | 1549 4909 130686 | 5500 2770 295 | 0.000 % | c | 49059 | 1549 4909 130686 | 6050 2920 295 | 0.000 % | c | 49284 | 1549 4909 130686 | 6655 3145 294 | 0.000 % | c | 49621 | 1549 4909 130686 | 7320 3482 294 | 0.000 % | c | 50129 | 1549 4909 130686 | 8052 3990 294 | 0.000 % | c | 50888 | 1549 4909 130686 | 8857 4749 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 28.0527 s Remaining CPU time: 151.947 s c =============================================================================== c | 51757 | 1549 4910 131209 | 5000 5618 294 | 0.000 % | c | 51858 | 1549 4910 131209 | 5500 2910 293 | 0.000 % | c | 52009 | 1549 4910 131209 | 6050 3061 293 | 0.000 % | c | 52234 | 1549 4910 131209 | 6655 3286 293 | 0.000 % | c | 52571 | 1549 4910 131209 | 7320 3623 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 28.6656 s Remaining CPU time: 151.334 s c =============================================================================== c | 52918 | 1549 4911 131732 | 5000 3970 293 | 0.000 % | c | 53018 | 1549 4911 131732 | 5500 4070 293 | 0.000 % | c | 53168 | 1549 4911 131732 | 6050 4220 293 | 0.000 % | c | 53393 | 1549 4911 131732 | 6655 4445 293 | 0.000 % | c | 53731 | 1549 4911 131732 | 7320 4783 293 | 0.000 % | c | 54237 | 1549 4911 131732 | 8052 5289 293 | 0.000 % | c | 54996 | 1549 4911 131732 | 8857 6048 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 29.9624 s Remaining CPU time: 150.038 s c =============================================================================== c | 55598 | 1549 4912 132255 | 5000 6650 293 | 0.000 % | c | 55698 | 1549 4912 132255 | 5500 3425 292 | 0.000 % | c | 55849 | 1549 4912 132255 | 6050 3576 292 | 0.000 % | c | 56074 | 1549 4912 132255 | 6655 3801 292 | 0.000 % | c | 56411 | 1549 4912 132255 | 7320 4138 292 | 0.000 % | c | 56917 | 1549 4912 132255 | 8052 4644 292 | 0.000 % | c | 57676 | 1549 4912 132255 | 8857 5403 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 31.0523 s Remaining CPU time: 148.948 s c =============================================================================== c | 57752 | 1549 4913 132778 | 5000 5479 291 | 0.000 % | c | 57852 | 1549 4913 132778 | 5500 2840 291 | 0.000 % | c | 58004 | 1549 4913 132778 | 6050 2992 291 | 0.000 % | c | 58229 | 1549 4913 132778 | 6655 3217 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 31.3772 s Remaining CPU time: 148.623 s c =============================================================================== c | 58355 | 1549 4914 133301 | 5000 3343 291 | 0.000 % | c | 58455 | 1549 4914 133301 | 5500 3443 290 | 0.000 % | c | 58605 | 1549 4914 133301 | 6050 3593 290 | 0.000 % | c | 58830 | 1549 4914 133301 | 6655 3818 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 31.7542 s Remaining CPU time: 148.246 s c =============================================================================== c | 59064 | 1549 4915 133824 | 5000 4052 290 | 0.000 % | c | 59164 | 1549 4915 133824 | 5500 4152 290 | 0.000 % | c | 59314 | 1549 4915 133824 | 6050 4302 290 | 0.000 % | c | 59540 | 1549 4915 133824 | 6655 4528 290 | 0.000 % | c | 59877 | 1549 4915 133824 | 7320 4865 290 | 0.000 % | c | 60384 | 1549 4915 133824 | 8052 5372 289 | 0.000 % | c | 61143 | 1549 4915 133824 | 8857 6131 289 | 0.000 % | c | 62282 | 1549 4915 133824 | 9743 7270 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 33.3199 s Remaining CPU time: 146.68 s c =============================================================================== c | 62665 | 1549 4916 134347 | 5000 7653 289 | 0.000 % | c | 62765 | 1549 4916 134347 | 5500 3927 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 33.4869 s Remaining CPU time: 146.513 s c =============================================================================== c | 62881 | 1549 4917 134870 | 5000 4043 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 33.5439 s Remaining CPU time: 146.456 s c =============================================================================== c | 62959 | 1549 4918 135393 | 5000 4121 287 | 0.000 % | c | 63059 | 1549 4918 135393 | 5500 4221 287 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 33.6949 s Remaining CPU time: 146.305 s c =============================================================================== c | 63167 | 1549 4919 135916 | 5000 4329 287 | 0.000 % | c | 63269 | 1549 4919 135916 | 5500 4431 287 | 0.000 % | c | 63419 | 1549 4919 135916 | 6050 4581 287 | 0.000 % | c | 63644 | 1549 4919 135916 | 6655 4806 287 | 0.000 % | c | 63981 | 1549 4919 135916 | 7320 5143 287 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 34.3728 s Remaining CPU time: 145.627 s c =============================================================================== c | 64364 | 1549 4920 136439 | 5000 5526 286 | 0.000 % | c | 64464 | 1549 4920 136439 | 5500 2863 285 | 0.000 % | c | 64614 | 1549 4920 136439 | 6050 3013 285 | 0.000 % | c | 64839 | 1549 4920 136439 | 6655 3238 285 | 0.000 % | c | 65176 | 1549 4920 136439 | 7320 3575 285 | 0.000 % | c | 65682 | 1549 4920 136439 | 8052 4081 284 | 0.000 % | c | 66442 | 1549 4920 136439 | 8857 4841 284 | 0.000 % | c | 67581 | 1549 4920 136439 | 9743 5980 284 | 0.000 % | c | 69290 | 1549 4920 136439 | 10717 7689 284 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 36.9934 s Remaining CPU time: 143.007 s c =============================================================================== c | 69982 | 1549 4921 136962 | 5000 8381 283 | 0.000 % | c | 70082 | 1549 4921 136962 | 5500 4291 282 | 0.000 % | c | 70232 | 1549 4921 136962 | 6050 4441 282 | 0.000 % | c | 70457 | 1549 4921 136962 | 6655 4666 282 | 0.000 % | c | 70795 | 1549 4921 136962 | 7320 5004 282 | 0.000 % | c | 71301 | 1549 4921 136962 | 8052 5510 282 | 0.000 % | c | 72060 | 1549 4921 136962 | 8857 6269 282 | 0.000 % | c | 73201 | 1549 4921 136962 | 9743 7410 282 | 0.000 % | c | 74909 | 1549 4921 136962 | 10717 9118 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 39.7919 s Remaining CPU time: 140.208 s c =============================================================================== c | 76367 | 1549 4922 137485 | 5000 10576 282 | 0.000 % | c | 76467 | 1549 4922 137485 | 5500 2744 281 | 0.000 % | c | 76618 | 1549 4922 137485 | 6050 2895 281 | 0.000 % | c | 76844 | 1549 4922 137485 | 6655 3121 281 | 0.000 % | c | 77181 | 1549 4922 137485 | 7320 3458 281 | 0.000 % | c | 77688 | 1549 4922 137485 | 8052 3965 281 | 0.000 % | c | 78447 | 1549 4922 137485 | 8857 4724 281 | 0.000 % | c | 79587 | 1549 4922 137485 | 9743 5864 281 | 0.000 % | c | 81296 | 1549 4922 137485 | 10717 7573 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 42.6645 s Remaining CPU time: 137.335 s c =============================================================================== c | 82956 | 1549 4923 138008 | 5000 9233 281 | 0.000 % | c | 83056 | 1549 4923 138008 | 5500 4717 280 | 0.000 % | c | 83206 | 1549 4923 138008 | 6050 4867 280 | 0.000 % | c | 83432 | 1549 4923 138008 | 6655 5093 280 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 43.0255 s Remaining CPU time: 136.975 s c =============================================================================== c | 83566 | 1549 4924 138531 | 5000 5227 280 | 0.000 % | c | 83667 | 1549 4924 138531 | 5500 2715 280 | 0.000 % | c | 83817 | 1549 4924 138531 | 6050 2865 280 | 0.000 % | c | 84042 | 1549 4924 138531 | 6655 3090 279 | 0.000 % | c | 84379 | 1549 4924 138531 | 7320 3427 279 | 0.000 % | c | 84886 | 1549 4924 138531 | 8052 3934 279 | 0.000 % | c | 85645 | 1549 4924 138531 | 8857 4693 279 | 0.000 % | c | 86784 | 1549 4924 138531 | 9743 5832 279 | 0.000 % | c | 88492 | 1549 4924 138531 | 10717 7540 279 | 0.000 % | c | 91054 | 1549 4924 138531 | 11789 10102 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 46.269 s Remaining CPU time: 133.731 s c =============================================================================== c | 91310 | 1549 4925 139054 | 5000 10358 279 | 0.000 % | c | 91410 | 1549 4925 139054 | 5500 2690 278 | 0.000 % | c | 91560 | 1549 4925 139054 | 6050 2840 278 | 0.000 % | c | 91785 | 1549 4925 139054 | 6655 3065 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 46.8129 s Remaining CPU time: 133.187 s c =============================================================================== c | 92085 | 1549 4926 139577 | 5000 3365 278 | 0.000 % | c | 92186 | 1549 4926 139577 | 5500 3466 278 | 0.000 % | c | 92336 | 1549 4926 139577 | 6050 3616 278 | 0.000 % | c | 92561 | 1549 4926 139577 | 6655 3841 278 | 0.000 % | c | 92899 | 1549 4926 139577 | 7320 4179 278 | 0.000 % | c | 93405 | 1549 4926 139577 | 8052 4685 278 | 0.000 % | c | 94164 | 1549 4926 139577 | 8857 5444 277 | 0.000 % | c | 95303 | 1549 4926 139577 | 9743 6583 277 | 0.000 % | c | 97011 | 1549 4926 139577 | 10717 8291 277 | 0.000 % | c | 99573 | 1549 4926 139577 | 11789 10853 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 50.5023 s Remaining CPU time: 129.498 s c =============================================================================== c | 100231 | 1549 4927 140100 | 5000 11511 277 | 0.000 % | c | 100332 | 1549 4927 140100 | 5500 2979 276 | 0.000 % | c | 100482 | 1549 4927 140100 | 6050 3129 276 | 0.000 % | c | 100707 | 1549 4927 140100 | 6655 3354 276 | 0.000 % | c | 101044 | 1549 4927 140100 | 7320 3691 276 | 0.000 % | c | 101550 | 1549 4927 140100 | 8052 4197 276 | 0.000 % | c | 102310 | 1549 4927 140100 | 8857 4957 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 51.6581 s Remaining CPU time: 128.342 s c =============================================================================== c | 102491 | 1549 4928 140623 | 5000 5138 276 | 0.000 % | c | 102591 | 1549 4928 140623 | 5500 2669 275 | 0.000 % | c | 102741 | 1549 4928 140623 | 6050 2819 275 | 0.000 % | c | 102966 | 1549 4928 140623 | 6655 3044 275 | 0.000 % | c | 103303 | 1549 4928 140623 | 7320 3381 275 | 0.000 % | c | 103811 | 1549 4928 140623 | 8052 3889 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 52.402 s Remaining CPU time: 127.598 s c =============================================================================== c | 103886 | 1549 4929 141146 | 5000 3964 275 | 0.000 % | c | 103987 | 1549 4929 141146 | 5500 4065 275 | 0.000 % | c | 104137 | 1549 4929 141146 | 6050 4215 275 | 0.000 % | c | 104363 | 1549 4929 141146 | 6655 4441 275 | 0.000 % | c | 104700 | 1549 4929 141146 | 7320 4778 274 | 0.000 % | c | 105206 | 1549 4929 141146 | 8052 5284 274 | 0.000 % | c | 105965 | 1549 4929 141146 | 8857 6043 274 | 0.000 % | c | 107104 | 1549 4929 141146 | 9743 7182 274 | 0.000 % | c | 108813 | 1549 4929 141146 | 10717 8891 274 | 0.000 % | c | 111375 | 1549 4929 141146 | 11789 5944 273 | 0.000 % | c | 115219 | 1549 4929 141146 | 12968 9788 273 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 58.8501 s Remaining CPU time: 121.15 s c =============================================================================== c | 117218 | 1549 4930 141669 | 5000 11787 274 | 0.000 % | c | 117318 | 1549 4930 141669 | 5500 3047 273 | 0.000 % | c | 117468 | 1549 4930 141669 | 6050 3197 273 | 0.000 % | c | 117693 | 1549 4930 141669 | 6655 3422 273 | 0.000 % | c | 118030 | 1549 4930 141669 | 7320 3759 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 59.5859 s Remaining CPU time: 120.414 s c =============================================================================== c | 118388 | 1549 4931 142192 | 5000 4117 273 | 0.000 % | c | 118488 | 1549 4931 142192 | 5500 4217 273 | 0.000 % | c | 118639 | 1549 4931 142192 | 6050 4368 273 | 0.000 % | c | 118864 | 1549 4931 142192 | 6655 4593 273 | 0.000 % | c | 119202 | 1549 4931 142192 | 7320 4931 273 | 0.000 % | c | 119709 | 1549 4931 142192 | 8052 5438 273 | 0.000 % | c | 120468 | 1549 4931 142192 | 8857 6197 272 | 0.000 % | c | 121607 | 1549 4931 142192 | 9743 7336 272 | 0.000 % | c | 123315 | 1549 4931 142192 | 10717 9044 272 | 0.000 % | c | 125877 | 1549 4931 142192 | 11789 6090 271 | 0.000 % | c | 129721 | 1549 4931 142192 | 12968 9934 271 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 65.736 s Remaining CPU time: 114.264 s c =============================================================================== c | 133188 | 1549 4932 142715 | 5000 6739 272 | 0.000 % | c | 133288 | 1549 4932 142715 | 5500 3470 271 | 0.000 % | c | 133438 | 1549 4932 142715 | 6050 3620 271 | 0.000 % | c | 133663 | 1549 4932 142715 | 6655 3845 271 | 0.000 % | c | 134000 | 1549 4932 142715 | 7320 4182 271 | 0.000 % | c | 134506 | 1549 4932 142715 | 8052 4688 271 | 0.000 % | c | 135265 | 1549 4932 142715 | 8857 5447 271 | 0.000 % | c | 136405 | 1549 4932 142715 | 9743 6587 271 | 0.000 % | c | 138113 | 1549 4932 142715 | 10717 8295 271 | 0.000 % | c | 140675 | 1549 4932 142715 | 11789 10857 271 | 0.000 % | c | 144519 | 1549 4932 142715 | 12968 8658 270 | 0.000 % | c | 150285 | 1549 4932 142715 | 14265 7794 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 73.3099 s Remaining CPU time: 106.69 s c =============================================================================== c | 151745 | 1549 4933 143238 | 5000 9254 271 | 0.000 % | c | 151845 | 1549 4933 143238 | 5500 4727 271 | 0.000 % | c | 151995 | 1549 4933 143238 | 6050 4877 270 | 0.000 % | c | 152220 | 1549 4933 143238 | 6655 5102 270 | 0.000 % | c | 152557 | 1549 4933 143238 | 7320 5439 270 | 0.000 % | c | 153063 | 1549 4933 143238 | 8052 5945 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 74.0847 s Remaining CPU time: 105.915 s c =============================================================================== c | 153307 | 1549 4934 143761 | 5000 6189 270 | 0.000 % | c | 153408 | 1549 4934 143761 | 5500 3196 269 | 0.000 % | c | 153559 | 1549 4934 143761 | 6050 3347 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 74.3507 s Remaining CPU time: 105.649 s c =============================================================================== c | 153698 | 1549 4935 144284 | 5000 3486 269 | 0.000 % | c | 153798 | 1549 4935 144284 | 5500 3586 269 | 0.000 % | c | 153948 | 1549 4935 144284 | 6050 3736 269 | 0.000 % | c | 154173 | 1549 4935 144284 | 6655 3961 269 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 74.6906 s Remaining CPU time: 105.309 s c =============================================================================== c | 154373 | 1549 4936 144807 | 5000 4161 269 | 0.000 % | c | 154473 | 1549 4936 144807 | 5500 4261 269 | 0.000 % | c | 154624 | 1549 4936 144807 | 6050 4412 269 | 0.000 % | c | 154849 | 1549 4936 144807 | 6655 4637 269 | 0.000 % | c | 155186 | 1549 4936 144807 | 7320 4974 268 | 0.000 % | c | 155692 | 1549 4936 144807 | 8052 5480 268 | 0.000 % | c | 156451 | 1549 4936 144807 | 8857 6239 268 | 0.000 % | c | 157590 | 1549 4936 144807 | 9743 7378 268 | 0.000 % | c | 159299 | 1549 4936 144807 | 10717 9087 267 | 0.000 % | c | 161861 | 1549 4936 144807 | 11789 6151 266 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 78.5861 s Remaining CPU time: 101.414 s c =============================================================================== c | 164760 | 1549 4937 145330 | 5000 9050 266 | 0.000 % | c | 164860 | 1549 4937 145330 | 5500 4625 266 | 0.000 % | c | 165010 | 1549 4937 145330 | 6050 4775 266 | 0.000 % | c | 165235 | 1549 4937 145330 | 6655 5000 266 | 0.000 % | c | 165572 | 1549 4937 145330 | 7320 5337 266 | 0.000 % | c | 166079 | 1549 4937 145330 | 8052 5844 266 | 0.000 % | c | 166839 | 1549 4937 145330 | 8857 6604 266 | 0.000 % | c | 167978 | 1549 4937 145330 | 9743 7743 266 | 0.000 % | c | 169687 | 1549 4937 145330 | 10717 9452 266 | 0.000 % | c | 172249 | 1549 4937 145330 | 11789 6518 265 | 0.000 % | c | 176093 | 1549 4937 145330 | 12968 10362 265 | 0.000 % | c | 181859 | 1549 4937 145330 | 14265 9491 266 | 0.000 % | c | 190508 | 1549 4937 145330 | 15692 10858 266 | 0.000 % | c | 203483 | 1549 4937 145330 | 17261 15831 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 96.6793 s Remaining CPU time: 83.3207 s c =============================================================================== c | 206040 | 1549 4938 145853 | 5000 9577 266 | 0.000 % | c | 206140 | 1549 4938 145853 | 5500 4889 266 | 0.000 % | c | 206290 | 1549 4938 145853 | 6050 5039 266 | 0.000 % | c | 206515 | 1549 4938 145853 | 6655 5264 266 | 0.000 % | c | 206852 | 1549 4938 145853 | 7320 5601 266 | 0.000 % | c | 207358 | 1549 4938 145853 | 8052 6107 266 | 0.000 % | c | 208118 | 1549 4938 145853 | 8857 6867 266 | 0.000 % | c | 209257 | 1549 4938 145853 | 9743 8006 265 | 0.000 % | c | 210965 | 1549 4938 145853 | 10717 9714 265 | 0.000 % | c | 213527 | 1549 4938 145853 | 11789 6775 265 | 0.000 % | c | 217371 | 1549 4938 145853 | 12968 10619 265 | 0.000 % | c | 223138 | 1549 4938 145853 | 14265 9748 265 | 0.000 % | c | 231787 | 1549 4938 145853 | 15692 11094 265 | 0.000 % | c | 244762 | 1549 4938 145853 | 17261 8040 266 | 0.000 % | c | 264223 | 1549 4938 145853 | 18987 9932 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 135.709 s Remaining CPU time: 44.2906 s c =============================================================================== c | 286852 | 1549 4939 146376 | 5000 13271 266 | 0.000 % | c | 286952 | 1549 4939 146376 | 5500 3418 265 | 0.000 % | c | 287103 | 1549 4939 146376 | 6050 3569 265 | 0.000 % | c | 287328 | 1549 4939 146376 | 6655 3794 265 | 0.000 % | c | 287666 | 1549 4939 146376 | 7320 4132 265 | 0.000 % | c | 288172 | 1549 4939 146376 | 8052 4638 265 | 0.000 % | c | 288931 | 1549 4939 146376 | 8857 5397 264 | 0.000 % | c | 290070 | 1549 4939 146376 | 9743 6536 264 | 0.000 % | c | 291778 | 1549 4939 146376 | 10717 8244 264 | 0.000 % | c | 294340 | 1549 4939 146376 | 11789 10806 264 | 0.000 % | c | 298184 | 1549 4939 146376 | 12968 8604 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 141.927 s Remaining CPU time: 38.0726 s c =============================================================================== c | 300655 | 1549 4940 146899 | 5000 11075 264 | 0.000 % | c | 300755 | 1549 4940 146899 | 5500 2869 263 | 0.000 % | c | 300905 | 1549 4940 146899 | 6050 3019 263 | 0.000 % | c | 301130 | 1549 4940 146899 | 6655 3244 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 142.347 s Remaining CPU time: 37.6526 s c =============================================================================== c | 301194 | 1549 4941 147422 | 5000 3308 263 | 0.000 % | c | 301294 | 1549 4941 147422 | 5500 3408 263 | 0.000 % | c | 301445 | 1549 4941 147422 | 6050 3559 263 | 0.000 % | c | 301671 | 1549 4941 147422 | 6655 3785 263 | 0.000 % | c | 302008 | 1549 4941 147422 | 7320 4122 263 | 0.000 % | c | 302514 | 1549 4941 147422 | 8052 4628 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 143.32 s Remaining CPU time: 36.6798 s c =============================================================================== c | 303260 | 1549 4942 147945 | 5000 5374 263 | 0.000 % | c | 303360 | 1549 4942 147945 | 5500 2787 261 | 0.000 % | c | 303510 | 1549 4942 147945 | 6050 2937 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 143.579 s Remaining CPU time: 36.4208 s c =============================================================================== c | 303668 | 1549 4943 148468 | 5000 3095 261 | 0.000 % | c | 303769 | 1549 4943 148468 | 5500 3196 261 | 0.000 % | c | 303919 | 1549 4943 148468 | 6050 3346 261 | 0.000 % | c | 304144 | 1549 4943 148468 | 6655 3571 261 | 0.000 % | c | 304481 | 1549 4943 148468 | 7320 3908 261 | 0.000 % | c | 304987 | 1549 4943 148468 | 8052 4414 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 144.297 s Remaining CPU time: 35.7029 s c =============================================================================== c | 305179 | 1549 4944 148991 | 5000 4606 261 | 0.000 % | c | 305279 | 1549 4944 148991 | 5500 4706 261 | 0.000 % | c | 305429 | 1549 4944 148991 | 6050 4856 261 | 0.000 % | c | 305654 | 1549 4944 148991 | 6655 5081 261 | 0.000 % | c | 305992 | 1549 4944 148991 | 7320 5419 260 | 0.000 % | c | 306498 | 1549 4944 148991 | 8052 5925 260 | 0.000 % | c | 307257 | 1549 4944 148991 | 8857 6684 260 | 0.000 % | c | 308396 | 1549 4944 148991 | 9743 7823 260 | 0.000 % | c | 310105 | 1549 4944 148991 | 10717 9532 260 | 0.000 % | c | 312667 | 1549 4944 148991 | 11789 6590 258 | 0.000 % | c | 316511 | 1549 4944 148991 | 12968 10434 259 | 0.000 % | c | 322278 | 1549 4944 148991 | 14265 9566 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 151.859 s Remaining CPU time: 28.1411 s c =============================================================================== c | 322329 | 1549 4945 149514 | 5000 9617 259 | 0.000 % | c | 322429 | 1549 4945 149514 | 5500 4909 258 | 0.000 % | c | 322579 | 1549 4945 149514 | 6050 5059 258 | 0.000 % | c | 322804 | 1549 4945 149514 | 6655 5284 258 | 0.000 % | c | 323141 | 1549 4945 149514 | 7320 5621 258 | 0.000 % | c | 323647 | 1549 4945 149514 | 8052 6127 258 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 152.71 s Remaining CPU time: 27.2902 s c =============================================================================== c | 324029 | 1549 4946 150037 | 5000 6509 258 | 0.000 % | c | 324129 | 1549 4946 150037 | 5500 3355 257 | 0.000 % | c | 324279 | 1549 4946 150037 | 6050 3505 257 | 0.000 % | c | 324505 | 1549 4946 150037 | 6655 3731 257 | 0.000 % | c | 324842 | 1549 4946 150037 | 7320 4068 257 | 0.000 % |