c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 1000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1000 | c | Number Clauses: 1000 | 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 | 958 1006 2838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4761 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 958 1007 3688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4751 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 958 1008 4538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4747 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 958 1009 5388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4744 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 958 1010 6238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4741 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 958 1011 7088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4738 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 958 1012 7938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4737 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 958 1013 8788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4734 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 958 1014 9638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4731 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 958 1015 10488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4729 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 958 1016 11338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4728 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 958 1017 12188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4726 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 958 1018 13038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4724 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 958 1019 13888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4722 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 958 1020 14738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4721 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 958 1021 15588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4719 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 958 1022 16438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4717 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 958 1023 17288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4716 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 958 1024 18138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4715 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 958 1025 18988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4713 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 958 1026 19838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4711 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 958 1027 20688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4709 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 958 1028 21538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4708 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 958 1029 22388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4706 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 958 1030 23238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4704 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 958 1031 24088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4702 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 958 1032 24938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4700 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 958 1033 25788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4699 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 958 1034 26638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4695 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 958 1035 27488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4694 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 958 1036 28338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4692 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 958 1037 29188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4690 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 958 1038 30038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4687 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 958 1039 30888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4684 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 0 | 958 1040 31738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4681 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 958 1041 32588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4680 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 958 1042 33438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4678 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 0 | 958 1043 34288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4675 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 0 | 958 1044 35138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4674 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 958 1045 35988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4673 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 958 1046 36838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4671 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 958 1047 37688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 958 1048 38538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 958 1049 39388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4667 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 958 1050 40238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4666 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 958 1051 41088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 958 1052 41938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 958 1053 42788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 958 1054 43638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4653 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 0 | 958 1055 44488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4652 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 0 | 958 1056 45338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4648 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 958 1057 46188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4647 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 958 1058 47038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4645 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 0 | 958 1059 47888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4644 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 0 | 958 1060 48738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4642 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 958 1061 49588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4639 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 0 | 958 1062 50438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4636 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 0 | 958 1063 51288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 0 | 958 1064 52138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4632 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 958 1065 52988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4631 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 0 | 958 1066 53838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4628 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 958 1067 54688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4626 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 0 | 958 1068 55538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4625 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 0 | 958 1069 56388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4621 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 0 | 958 1070 57238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4619 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 0 | 958 1071 58088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4618 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 0 | 958 1072 58938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4617 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 0 | 958 1073 59788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4616 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 0 | 958 1074 60638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4614 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 0 | 958 1075 61488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4613 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 0 | 958 1076 62338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4612 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 0 | 958 1077 63188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4611 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 958 1078 64038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4607 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 0 | 958 1079 64888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 958 1080 65738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 0 | 958 1081 66588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4604 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 0 | 958 1082 67438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4603 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 0 | 958 1083 68288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4599 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 0 | 958 1084 69138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 0 | 958 1085 69988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4594 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 0 | 958 1086 70838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4593 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 0 | 958 1087 71688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4591 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 0 | 958 1088 72538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4590 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 0 | 958 1089 73388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4589 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 0 | 958 1090 74238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4588 c Elapsed CPU time: 0.992849 s Remaining CPU time: 179.007 s c =============================================================================== c | 0 | 958 1091 75088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4587 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 0 | 958 1092 75938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4586 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s c =============================================================================== c | 0 | 958 1093 76788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4585 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 958 1094 77638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4584 c Elapsed CPU time: 1.09783 s Remaining CPU time: 178.902 s c =============================================================================== c | 0 | 958 1095 78488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4583 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 0 | 958 1096 79338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4581 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 0 | 958 1097 80188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4580 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 0 | 958 1098 81038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4575 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 0 | 958 1099 81888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4574 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 0 | 958 1100 82738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4573 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 0 | 958 1101 83588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4572 c Elapsed CPU time: 1.2988 s Remaining CPU time: 178.701 s c =============================================================================== c | 0 | 958 1102 84438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4570 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 0 | 958 1103 85288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4568 c Elapsed CPU time: 1.36079 s Remaining CPU time: 178.639 s c =============================================================================== c | 0 | 958 1104 86138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4567 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 0 | 958 1105 86988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4566 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 0 | 958 1106 87838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4565 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s c =============================================================================== c | 0 | 958 1107 88688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 0 | 958 1108 89538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4562 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 0 | 958 1109 90388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4561 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s c =============================================================================== c | 0 | 958 1110 91238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4560 c Elapsed CPU time: 1.59376 s Remaining CPU time: 178.406 s c =============================================================================== c | 0 | 958 1111 92088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4556 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 0 | 958 1112 92938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4552 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 0 | 958 1113 93788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4550 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s c =============================================================================== c | 0 | 958 1114 94638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4549 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 0 | 958 1115 95488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4548 c Elapsed CPU time: 1.78773 s Remaining CPU time: 178.212 s c =============================================================================== c | 0 | 958 1116 96338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4547 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 0 | 958 1117 97188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4546 c Elapsed CPU time: 1.87072 s Remaining CPU time: 178.129 s c =============================================================================== c | 0 | 958 1118 98038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4544 c Elapsed CPU time: 1.91071 s Remaining CPU time: 178.089 s c =============================================================================== c | 0 | 958 1119 98888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4543 c Elapsed CPU time: 1.9537 s Remaining CPU time: 178.046 s c =============================================================================== c | 0 | 958 1120 99738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4540 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 0 | 958 1121 100588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4538 c Elapsed CPU time: 2.03869 s Remaining CPU time: 177.961 s c =============================================================================== c | 0 | 958 1122 101438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4534 c Elapsed CPU time: 2.08068 s Remaining CPU time: 177.919 s c =============================================================================== c | 0 | 958 1123 102288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4531 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 0 | 958 1124 103138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4529 c Elapsed CPU time: 2.16667 s Remaining CPU time: 177.833 s c =============================================================================== c | 0 | 958 1125 103988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4528 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s c =============================================================================== c | 0 | 958 1126 104838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4527 c Elapsed CPU time: 2.25766 s Remaining CPU time: 177.742 s c =============================================================================== c | 0 | 958 1127 105688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4525 c Elapsed CPU time: 2.30665 s Remaining CPU time: 177.693 s c =============================================================================== c | 0 | 958 1128 106538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4524 c Elapsed CPU time: 2.35364 s Remaining CPU time: 177.646 s c =============================================================================== c | 0 | 958 1129 107388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4523 c Elapsed CPU time: 2.40063 s Remaining CPU time: 177.599 s c =============================================================================== c | 0 | 958 1130 108238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4519 c Elapsed CPU time: 2.44863 s Remaining CPU time: 177.551 s c =============================================================================== c | 0 | 958 1131 109088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4518 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 0 | 958 1132 109938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4516 c Elapsed CPU time: 2.54861 s Remaining CPU time: 177.451 s c =============================================================================== c | 0 | 958 1133 110788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4514 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s c =============================================================================== c | 0 | 958 1134 111638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4512 c Elapsed CPU time: 2.6456 s Remaining CPU time: 177.354 s c =============================================================================== c | 0 | 958 1135 112488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4511 c Elapsed CPU time: 2.70059 s Remaining CPU time: 177.299 s c =============================================================================== c | 0 | 958 1136 113338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4510 c Elapsed CPU time: 2.75158 s Remaining CPU time: 177.248 s c =============================================================================== c | 0 | 958 1137 114188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4508 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 0 | 958 1138 115038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4507 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 0 | 958 1139 115888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4506 c Elapsed CPU time: 2.90556 s Remaining CPU time: 177.094 s c =============================================================================== c | 0 | 958 1140 116738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4503 c Elapsed CPU time: 2.96055 s Remaining CPU time: 177.039 s c =============================================================================== c | 0 | 958 1141 117588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4502 c Elapsed CPU time: 3.01454 s Remaining CPU time: 176.985 s c =============================================================================== c | 0 | 958 1142 118438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4501 c Elapsed CPU time: 3.06653 s Remaining CPU time: 176.933 s c =============================================================================== c | 0 | 958 1143 119288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4500 c Elapsed CPU time: 3.12052 s Remaining CPU time: 176.879 s c =============================================================================== c | 0 | 958 1144 120138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4498 c Elapsed CPU time: 3.17152 s Remaining CPU time: 176.828 s c =============================================================================== c | 0 | 958 1145 120988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4497 c Elapsed CPU time: 3.22151 s Remaining CPU time: 176.778 s c =============================================================================== c | 0 | 958 1146 121838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4496 c Elapsed CPU time: 3.2755 s Remaining CPU time: 176.724 s c =============================================================================== c | 0 | 958 1147 122688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4494 c Elapsed CPU time: 3.32849 s Remaining CPU time: 176.672 s c =============================================================================== c | 0 | 958 1148 123538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4493 c Elapsed CPU time: 3.37949 s Remaining CPU time: 176.621 s c =============================================================================== c | 0 | 958 1149 124388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4491 c Elapsed CPU time: 3.43148 s Remaining CPU time: 176.569 s c =============================================================================== c | 0 | 958 1150 125238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4489 c Elapsed CPU time: 3.48547 s Remaining CPU time: 176.515 s c =============================================================================== c | 0 | 958 1151 126088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 3.53946 s Remaining CPU time: 176.461 s c =============================================================================== c | 0 | 958 1152 126938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4487 c Elapsed CPU time: 3.59445 s Remaining CPU time: 176.406 s c =============================================================================== c | 0 | 958 1153 127788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4485 c Elapsed CPU time: 3.64845 s Remaining CPU time: 176.352 s c =============================================================================== c | 0 | 958 1154 128638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4482 c Elapsed CPU time: 3.70344 s Remaining CPU time: 176.297 s c =============================================================================== c | 0 | 958 1155 129488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 3.75843 s Remaining CPU time: 176.242 s c =============================================================================== c | 0 | 958 1156 130338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4475 c Elapsed CPU time: 3.81442 s Remaining CPU time: 176.186 s c =============================================================================== c | 0 | 958 1157 131188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4474 c Elapsed CPU time: 3.87041 s Remaining CPU time: 176.13 s c =============================================================================== c | 0 | 958 1158 132038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4470 c Elapsed CPU time: 3.9284 s Remaining CPU time: 176.072 s c =============================================================================== c | 0 | 958 1159 132888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4469 c Elapsed CPU time: 3.98539 s Remaining CPU time: 176.015 s c =============================================================================== c | 0 | 958 1160 133738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4465 c Elapsed CPU time: 4.04439 s Remaining CPU time: 175.956 s c =============================================================================== c | 0 | 958 1161 134588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4464 c Elapsed CPU time: 4.10338 s Remaining CPU time: 175.897 s c =============================================================================== c | 0 | 958 1162 135438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4463 c Elapsed CPU time: 4.16137 s Remaining CPU time: 175.839 s c =============================================================================== c | 0 | 958 1163 136288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4462 c Elapsed CPU time: 4.22136 s Remaining CPU time: 175.779 s c =============================================================================== c | 0 | 958 1164 137138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4461 c Elapsed CPU time: 4.28435 s Remaining CPU time: 175.716 s c =============================================================================== c | 0 | 958 1165 137988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 4.34634 s Remaining CPU time: 175.654 s c =============================================================================== c | 0 | 958 1166 138838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4456 c Elapsed CPU time: 4.40933 s Remaining CPU time: 175.591 s c =============================================================================== c | 0 | 958 1167 139688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4455 c Elapsed CPU time: 4.47232 s Remaining CPU time: 175.528 s c =============================================================================== c | 0 | 958 1168 140538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4453 c Elapsed CPU time: 4.53431 s Remaining CPU time: 175.466 s c =============================================================================== c | 0 | 958 1169 141388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4452 c Elapsed CPU time: 4.6023 s Remaining CPU time: 175.398 s c =============================================================================== c | 0 | 958 1170 142238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4451 c Elapsed CPU time: 4.66829 s Remaining CPU time: 175.332 s c =============================================================================== c | 0 | 958 1171 143088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4450 c Elapsed CPU time: 4.73328 s Remaining CPU time: 175.267 s c =============================================================================== c | 0 | 958 1172 143938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4447 c Elapsed CPU time: 4.79827 s Remaining CPU time: 175.202 s c =============================================================================== c | 0 | 958 1173 144788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4446 c Elapsed CPU time: 4.86426 s Remaining CPU time: 175.136 s c =============================================================================== c | 0 | 958 1174 145638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4445 c Elapsed CPU time: 4.93125 s Remaining CPU time: 175.069 s c =============================================================================== c | 0 | 958 1175 146488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4443 c Elapsed CPU time: 4.99724 s Remaining CPU time: 175.003 s c =============================================================================== c | 0 | 958 1176 147338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 5.06523 s Remaining CPU time: 174.935 s c =============================================================================== c | 0 | 958 1177 148188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4441 c Elapsed CPU time: 5.13722 s Remaining CPU time: 174.863 s c =============================================================================== c | 0 | 958 1178 149038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4438 c Elapsed CPU time: 5.20821 s Remaining CPU time: 174.792 s c =============================================================================== c | 0 | 958 1179 149888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4437 c Elapsed CPU time: 5.2792 s Remaining CPU time: 174.721 s c =============================================================================== c | 0 | 958 1180 150738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4436 c Elapsed CPU time: 5.34719 s Remaining CPU time: 174.653 s c =============================================================================== c | 0 | 958 1181 151588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4435 c Elapsed CPU time: 5.42117 s Remaining CPU time: 174.579 s c =============================================================================== c | 0 | 958 1182 152438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4434 c Elapsed CPU time: 5.49216 s Remaining CPU time: 174.508 s c =============================================================================== c | 0 | 958 1183 153288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4433 c Elapsed CPU time: 5.56415 s Remaining CPU time: 174.436 s c =============================================================================== c | 0 | 958 1184 154138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 5.63514 s Remaining CPU time: 174.365 s c =============================================================================== c | 0 | 958 1185 154988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 5.70613 s Remaining CPU time: 174.294 s c =============================================================================== c | 0 | 958 1186 155838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4426 c Elapsed CPU time: 5.77712 s Remaining CPU time: 174.223 s c =============================================================================== c | 0 | 958 1187 156688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 5.85111 s Remaining CPU time: 174.149 s c =============================================================================== c | 0 | 958 1188 157538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4421 c Elapsed CPU time: 5.9231 s Remaining CPU time: 174.077 s c =============================================================================== c | 0 | 958 1189 158388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 5.99309 s Remaining CPU time: 174.007 s c =============================================================================== c | 0 | 958 1190 159238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 6.06608 s Remaining CPU time: 173.934 s c =============================================================================== c | 0 | 958 1191 160088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 6.13807 s Remaining CPU time: 173.862 s c =============================================================================== c | 0 | 958 1192 160938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4412 c Elapsed CPU time: 6.21206 s Remaining CPU time: 173.788 s c =============================================================================== c | 0 | 958 1193 161788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4411 c Elapsed CPU time: 6.28504 s Remaining CPU time: 173.715 s c =============================================================================== c | 0 | 958 1194 162638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 6.36303 s Remaining CPU time: 173.637 s c =============================================================================== c | 0 | 958 1195 163488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4408 c Elapsed CPU time: 6.44102 s Remaining CPU time: 173.559 s c =============================================================================== c | 0 | 958 1196 164338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 6.51801 s Remaining CPU time: 173.482 s c =============================================================================== c | 0 | 958 1197 165188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4406 c Elapsed CPU time: 6.595 s Remaining CPU time: 173.405 s c =============================================================================== c | 0 | 958 1198 166038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4405 c Elapsed CPU time: 6.66999 s Remaining CPU time: 173.33 s c =============================================================================== c | 0 | 958 1199 166888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4402 c Elapsed CPU time: 6.75097 s Remaining CPU time: 173.249 s c =============================================================================== c | 0 | 958 1200 167738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 6.82996 s Remaining CPU time: 173.17 s c =============================================================================== c | 0 | 958 1201 168588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 6.90995 s Remaining CPU time: 173.09 s c =============================================================================== c | 0 | 958 1202 169438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4397 c Elapsed CPU time: 6.98994 s Remaining CPU time: 173.01 s c =============================================================================== c | 1 | 958 1203 170288 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4396 c Elapsed CPU time: 7.07492 s Remaining CPU time: 172.925 s c =============================================================================== c | 1 | 958 1204 171138 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4395 c Elapsed CPU time: 7.16191 s Remaining CPU time: 172.838 s c =============================================================================== c | 1 | 958 1205 171988 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4393 c Elapsed CPU time: 7.2489 s Remaining CPU time: 172.751 s c =============================================================================== c | 1 | 958 1206 172838 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4392 c Elapsed CPU time: 7.33688 s Remaining CPU time: 172.663 s c =============================================================================== c | 1 | 958 1207 173688 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4391 c Elapsed CPU time: 7.42087 s Remaining CPU time: 172.579 s c =============================================================================== c | 1 | 958 1208 174538 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4389 c Elapsed CPU time: 7.50586 s Remaining CPU time: 172.494 s c =============================================================================== c | 1 | 958 1209 175388 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 7.59185 s Remaining CPU time: 172.408 s c =============================================================================== c | 1 | 958 1210 176238 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4387 c Elapsed CPU time: 7.68583 s Remaining CPU time: 172.314 s c =============================================================================== c | 1 | 958 1211 177088 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4386 c Elapsed CPU time: 7.77582 s Remaining CPU time: 172.224 s c =============================================================================== c | 1 | 958 1212 177938 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4385 c Elapsed CPU time: 7.8678 s Remaining CPU time: 172.132 s c =============================================================================== c | 1 | 958 1213 178788 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4384 c Elapsed CPU time: 7.95379 s Remaining CPU time: 172.046 s c =============================================================================== c | 1 | 958 1214 179638 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4383 c Elapsed CPU time: 8.04678 s Remaining CPU time: 171.953 s c =============================================================================== c | 1 | 958 1215 180488 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4381 c Elapsed CPU time: 8.13376 s Remaining CPU time: 171.866 s c =============================================================================== c | 1 | 958 1216 181338 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4379 c Elapsed CPU time: 8.22475 s Remaining CPU time: 171.775 s c =============================================================================== c | 1 | 958 1217 182188 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4378 c Elapsed CPU time: 8.31973 s Remaining CPU time: 171.68 s c =============================================================================== c | 1 | 958 1218 183038 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4376 c Elapsed CPU time: 8.41672 s Remaining CPU time: 171.583 s c =============================================================================== c | 1 | 958 1219 183888 | 5000 1 804 | 0.000 % | c =============================================================================== c New solution: 4375 c Elapsed CPU time: 8.5147 s Remaining CPU time: 171.485 s c =============================================================================== c | 2 | 958 1220 184738 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4374 c Elapsed CPU time: 8.60969 s Remaining CPU time: 171.39 s c =============================================================================== c | 2 | 958 1221 185588 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4373 c Elapsed CPU time: 8.70468 s Remaining CPU time: 171.295 s c =============================================================================== c | 2 | 958 1222 186438 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4371 c Elapsed CPU time: 8.79966 s Remaining CPU time: 171.2 s c =============================================================================== c | 2 | 958 1223 187288 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 8.88965 s Remaining CPU time: 171.11 s c =============================================================================== c | 2 | 958 1224 188138 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 8.98763 s Remaining CPU time: 171.012 s c =============================================================================== c | 2 | 958 1225 188988 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4368 c Elapsed CPU time: 9.08462 s Remaining CPU time: 170.915 s c =============================================================================== c | 2 | 958 1226 189838 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 9.1826 s Remaining CPU time: 170.817 s c =============================================================================== c | 2 | 958 1227 190688 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4366 c Elapsed CPU time: 9.28459 s Remaining CPU time: 170.715 s c =============================================================================== c | 2 | 958 1228 191538 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4365 c Elapsed CPU time: 9.37557 s Remaining CPU time: 170.624 s c =============================================================================== c | 2 | 958 1229 192388 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4364 c Elapsed CPU time: 9.47656 s Remaining CPU time: 170.523 s c =============================================================================== c | 2 | 958 1230 193238 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 9.57354 s Remaining CPU time: 170.426 s c =============================================================================== c | 2 | 958 1231 194088 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4362 c Elapsed CPU time: 9.66953 s Remaining CPU time: 170.33 s c =============================================================================== c | 2 | 958 1232 194938 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4361 c Elapsed CPU time: 9.77251 s Remaining CPU time: 170.227 s c =============================================================================== c | 2 | 958 1233 195788 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4360 c Elapsed CPU time: 9.8765 s Remaining CPU time: 170.124 s c =============================================================================== c | 2 | 958 1234 196638 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4359 c Elapsed CPU time: 9.97448 s Remaining CPU time: 170.026 s c =============================================================================== c | 2 | 958 1235 197488 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4358 c Elapsed CPU time: 10.0785 s Remaining CPU time: 169.922 s c =============================================================================== c | 2 | 958 1236 198338 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4357 c Elapsed CPU time: 10.1765 s Remaining CPU time: 169.824 s c =============================================================================== c | 2 | 958 1237 199188 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4356 c Elapsed CPU time: 10.2764 s Remaining CPU time: 169.724 s c =============================================================================== c | 2 | 958 1238 200038 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4355 c Elapsed CPU time: 10.3814 s Remaining CPU time: 169.619 s c =============================================================================== c | 2 | 958 1239 200888 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 10.4834 s Remaining CPU time: 169.517 s c =============================================================================== c | 2 | 958 1240 201738 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4353 c Elapsed CPU time: 10.5874 s Remaining CPU time: 169.413 s c =============================================================================== c | 2 | 958 1241 202588 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4352 c Elapsed CPU time: 10.6854 s Remaining CPU time: 169.315 s c =============================================================================== c | 2 | 958 1242 203438 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4351 c Elapsed CPU time: 10.7894 s Remaining CPU time: 169.211 s c =============================================================================== c | 2 | 958 1243 204288 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 10.9003 s Remaining CPU time: 169.1 s c =============================================================================== c | 2 | 958 1244 205138 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 11.0073 s Remaining CPU time: 168.993 s c =============================================================================== c | 2 | 958 1245 205988 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 11.1143 s Remaining CPU time: 168.886 s c =============================================================================== c | 2 | 958 1246 206838 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 11.2213 s Remaining CPU time: 168.779 s c =============================================================================== c | 2 | 958 1247 207688 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 11.3303 s Remaining CPU time: 168.67 s c =============================================================================== c | 2 | 958 1248 208538 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 11.4443 s Remaining CPU time: 168.556 s c =============================================================================== c | 2 | 958 1249 209388 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 11.5562 s Remaining CPU time: 168.444 s c =============================================================================== c | 2 | 958 1250 210238 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 11.6702 s Remaining CPU time: 168.33 s c =============================================================================== c | 2 | 958 1251 211088 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 11.7832 s Remaining CPU time: 168.217 s c =============================================================================== c | 2 | 958 1252 211938 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 11.8912 s Remaining CPU time: 168.109 s c =============================================================================== c | 2 | 958 1253 212788 | 5000 2 800 | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 12.0032 s Remaining CPU time: 167.997 s c =============================================================================== c | 3 | 958 1254 213638 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 12.1152 s Remaining CPU time: 167.885 s c =============================================================================== c | 3 | 958 1255 214488 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 12.2291 s Remaining CPU time: 167.771 s c =============================================================================== c | 3 | 958 1256 215338 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 12.3431 s Remaining CPU time: 167.657 s c =============================================================================== c | 3 | 958 1257 216188 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 12.4591 s Remaining CPU time: 167.541 s c =============================================================================== c | 3 | 958 1258 217038 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 12.5721 s Remaining CPU time: 167.428 s c =============================================================================== c | 3 | 958 1259 217888 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 12.6881 s Remaining CPU time: 167.312 s c =============================================================================== c | 3 | 958 1260 218738 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 12.8081 s Remaining CPU time: 167.192 s c =============================================================================== c | 3 | 958 1261 219588 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 12.929 s Remaining CPU time: 167.071 s c =============================================================================== c | 3 | 958 1262 220438 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4331 c Elapsed CPU time: 13.048 s Remaining CPU time: 166.952 s c =============================================================================== c | 3 | 958 1263 221288 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 13.164 s Remaining CPU time: 166.836 s c =============================================================================== c | 3 | 958 1264 222138 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 13.283 s Remaining CPU time: 166.717 s c =============================================================================== c | 3 | 958 1265 222988 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4328 c Elapsed CPU time: 13.398 s Remaining CPU time: 166.602 s c =============================================================================== c | 3 | 958 1266 223838 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 13.5149 s Remaining CPU time: 166.485 s c =============================================================================== c | 3 | 958 1267 224688 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 13.6319 s Remaining CPU time: 166.368 s c =============================================================================== c | 3 | 958 1268 225538 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 13.7509 s Remaining CPU time: 166.249 s c =============================================================================== c | 3 | 958 1269 226388 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 13.8729 s Remaining CPU time: 166.127 s c =============================================================================== c | 3 | 958 1270 227238 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 13.9939 s Remaining CPU time: 166.006 s c =============================================================================== c | 3 | 958 1271 228088 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 14.1149 s Remaining CPU time: 165.885 s c =============================================================================== c | 3 | 958 1272 228938 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 14.2348 s Remaining CPU time: 165.765 s c =============================================================================== c | 3 | 958 1273 229788 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 14.3638 s Remaining CPU time: 165.636 s c =============================================================================== c | 3 | 958 1274 230638 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 14.4858 s Remaining CPU time: 165.514 s c =============================================================================== c | 3 | 958 1275 231488 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 14.6078 s Remaining CPU time: 165.392 s c =============================================================================== c | 3 | 958 1276 232338 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 14.7328 s Remaining CPU time: 165.267 s c =============================================================================== c | 3 | 958 1277 233188 | 5000 3 797 | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 14.8627 s Remaining CPU time: 165.137 s c =============================================================================== c | 4 | 958 1278 234038 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 14.9897 s Remaining CPU time: 165.01 s c =============================================================================== c | 4 | 958 1279 234888 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 15.1207 s Remaining CPU time: 164.879 s c =============================================================================== c | 4 | 958 1280 235738 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 15.2447 s Remaining CPU time: 164.755 s c =============================================================================== c | 4 | 958 1281 236588 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 15.3707 s Remaining CPU time: 164.629 s c =============================================================================== c | 4 | 958 1282 237438 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 15.4966 s Remaining CPU time: 164.503 s c =============================================================================== c | 4 | 958 1283 238288 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 15.6196 s Remaining CPU time: 164.38 s c =============================================================================== c | 4 | 958 1284 239138 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 15.7516 s Remaining CPU time: 164.248 s c =============================================================================== c | 4 | 958 1285 239988 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 15.8786 s Remaining CPU time: 164.121 s c =============================================================================== c | 4 | 958 1286 240838 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 16.0096 s Remaining CPU time: 163.99 s c =============================================================================== c | 4 | 958 1287 241688 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 16.1405 s Remaining CPU time: 163.859 s c =============================================================================== c | 4 | 958 1288 242538 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 16.2715 s Remaining CPU time: 163.728 s c =============================================================================== c | 4 | 958 1289 243388 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 16.4045 s Remaining CPU time: 163.595 s c =============================================================================== c | 4 | 958 1290 244238 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 16.5495 s Remaining CPU time: 163.451 s c =============================================================================== c | 4 | 958 1291 245088 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 16.6825 s Remaining CPU time: 163.318 s c =============================================================================== c | 4 | 958 1292 245938 | 5000 4 795 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 16.8114 s Remaining CPU time: 163.189 s c =============================================================================== c | 5 | 958 1293 246788 | 5000 5 793 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 16.9454 s Remaining CPU time: 163.055 s c =============================================================================== c | 5 | 958 1294 247638 | 5000 5 793 | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 17.0764 s Remaining CPU time: 162.924 s c =============================================================================== c | 5 | 958 1295 248488 | 5000 5 793 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 17.2094 s Remaining CPU time: 162.791 s c =============================================================================== c | 5 | 958 1296 249338 | 5000 5 793 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 17.3454 s Remaining CPU time: 162.655 s c =============================================================================== c | 5 | 958 1297 250188 | 5000 5 793 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 17.4783 s Remaining CPU time: 162.522 s c =============================================================================== c | 5 | 958 1298 251038 | 5000 5 793 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 17.6253 s Remaining CPU time: 162.375 s c =============================================================================== c | 6 | 958 1299 251888 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 17.7623 s Remaining CPU time: 162.238 s c =============================================================================== c | 6 | 958 1300 252738 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 17.8953 s Remaining CPU time: 162.105 s c =============================================================================== c | 6 | 958 1301 253588 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 18.0233 s Remaining CPU time: 161.977 s c =============================================================================== c | 6 | 958 1302 254438 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 18.1642 s Remaining CPU time: 161.836 s c =============================================================================== c | 6 | 958 1303 255288 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 18.3062 s Remaining CPU time: 161.694 s c =============================================================================== c | 6 | 958 1304 256138 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 18.4452 s Remaining CPU time: 161.555 s c =============================================================================== c | 6 | 958 1305 256988 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 18.5802 s Remaining CPU time: 161.42 s c =============================================================================== c | 6 | 958 1306 257838 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 18.7142 s Remaining CPU time: 161.286 s c =============================================================================== c | 6 | 958 1307 258688 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 18.8551 s Remaining CPU time: 161.145 s c =============================================================================== c | 6 | 958 1308 259538 | 5000 6 791 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 19.0031 s Remaining CPU time: 160.997 s c =============================================================================== c | 7 | 958 1309 260388 | 5000 7 790 | 0.000 % | c =============================================================================== c New solution: 4283 c Elapsed CPU time: 19.1491 s Remaining CPU time: 160.851 s c =============================================================================== c | 7 | 958 1310 261238 | 5000 7 790 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 19.2931 s Remaining CPU time: 160.707 s c =============================================================================== c | 7 | 958 1311 262088 | 5000 7 790 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 19.437 s Remaining CPU time: 160.563 s c =============================================================================== c | 8 | 958 1312 262938 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 19.587 s Remaining CPU time: 160.413 s c =============================================================================== c | 8 | 958 1313 263788 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 19.73 s Remaining CPU time: 160.27 s c =============================================================================== c | 8 | 958 1314 264638 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 19.879 s Remaining CPU time: 160.121 s c =============================================================================== c | 8 | 958 1315 265488 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 20.028 s Remaining CPU time: 159.972 s c =============================================================================== c | 8 | 958 1316 266338 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 20.1719 s Remaining CPU time: 159.828 s c =============================================================================== c | 8 | 958 1317 267188 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 20.3219 s Remaining CPU time: 159.678 s c =============================================================================== c | 8 | 958 1318 268038 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 20.4699 s Remaining CPU time: 159.53 s c =============================================================================== c | 8 | 958 1319 268888 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 20.6229 s Remaining CPU time: 159.377 s c =============================================================================== c | 8 | 958 1320 269738 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 20.7698 s Remaining CPU time: 159.23 s c =============================================================================== c | 8 | 958 1321 270588 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 20.9188 s Remaining CPU time: 159.081 s c =============================================================================== c | 8 | 958 1322 271438 | 5000 8 788 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 21.0688 s Remaining CPU time: 158.931 s c =============================================================================== c | 9 | 958 1323 272288 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 21.2148 s Remaining CPU time: 158.785 s c =============================================================================== c | 9 | 958 1324 273138 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 21.3668 s Remaining CPU time: 158.633 s c =============================================================================== c | 9 | 958 1325 273988 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 21.5207 s Remaining CPU time: 158.479 s c =============================================================================== c | 9 | 958 1326 274838 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 21.6717 s Remaining CPU time: 158.328 s c =============================================================================== c | 9 | 958 1327 275688 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 21.8207 s Remaining CPU time: 158.179 s c =============================================================================== c | 9 | 958 1328 276538 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 21.9727 s Remaining CPU time: 158.027 s c =============================================================================== c | 9 | 958 1329 277388 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 22.1276 s Remaining CPU time: 157.872 s c =============================================================================== c | 9 | 958 1330 278238 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 22.2846 s Remaining CPU time: 157.715 s c =============================================================================== c | 9 | 958 1331 279088 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 22.4426 s Remaining CPU time: 157.557 s c =============================================================================== c | 9 | 958 1332 279938 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 22.5906 s Remaining CPU time: 157.409 s c =============================================================================== c | 9 | 958 1333 280788 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 22.7455 s Remaining CPU time: 157.254 s c =============================================================================== c | 9 | 958 1334 281638 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 22.9015 s Remaining CPU time: 157.098 s c =============================================================================== c | 9 | 958 1335 282488 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 23.0565 s Remaining CPU time: 156.944 s c =============================================================================== c | 9 | 958 1336 283338 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 23.2075 s Remaining CPU time: 156.793 s c =============================================================================== c | 9 | 958 1337 284188 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 23.3674 s Remaining CPU time: 156.633 s c =============================================================================== c | 9 | 958 1338 285038 | 5000 9 787 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 23.5354 s Remaining CPU time: 156.465 s c =============================================================================== c | 10 | 958 1339 285888 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 23.6994 s Remaining CPU time: 156.301 s c =============================================================================== c | 10 | 958 1340 286738 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 23.8514 s Remaining CPU time: 156.149 s c =============================================================================== c | 10 | 958 1341 287588 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 24.0123 s Remaining CPU time: 155.988 s c =============================================================================== c | 10 | 958 1342 288438 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 24.1733 s Remaining CPU time: 155.827 s c =============================================================================== c | 10 | 958 1343 289288 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 24.3363 s Remaining CPU time: 155.664 s c =============================================================================== c | 10 | 958 1344 290138 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 24.4953 s Remaining CPU time: 155.505 s c =============================================================================== c | 10 | 958 1345 290988 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 24.6712 s Remaining CPU time: 155.329 s c =============================================================================== c | 10 | 958 1346 291838 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 24.8232 s Remaining CPU time: 155.177 s c =============================================================================== c | 10 | 958 1347 292688 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 24.9842 s Remaining CPU time: 155.016 s c =============================================================================== c | 10 | 958 1348 293538 | 5000 10 786 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 25.1732 s Remaining CPU time: 154.827 s c =============================================================================== c | 19 | 958 1349 294388 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 25.3351 s Remaining CPU time: 154.665 s c =============================================================================== c | 19 | 958 1350 295238 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 25.5011 s Remaining CPU time: 154.499 s c =============================================================================== c | 19 | 958 1351 296088 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 25.6601 s Remaining CPU time: 154.34 s c =============================================================================== c | 19 | 958 1352 296938 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 25.8171 s Remaining CPU time: 154.183 s c =============================================================================== c | 19 | 958 1353 297788 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 25.989 s Remaining CPU time: 154.011 s c =============================================================================== c | 19 | 958 1354 298638 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 26.153 s Remaining CPU time: 153.847 s c =============================================================================== c | 19 | 958 1355 299488 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 26.327 s Remaining CPU time: 153.673 s c =============================================================================== c | 19 | 958 1356 300338 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 26.493 s Remaining CPU time: 153.507 s c =============================================================================== c | 19 | 958 1357 301188 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 26.6689 s Remaining CPU time: 153.331 s c =============================================================================== c | 19 | 958 1358 302038 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 26.8349 s Remaining CPU time: 153.165 s c =============================================================================== c | 19 | 958 1359 302888 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 26.9979 s Remaining CPU time: 153.002 s c =============================================================================== c | 19 | 958 1360 303738 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 27.1689 s Remaining CPU time: 152.831 s c =============================================================================== c | 19 | 958 1361 304588 | 5000 19 778 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 27.3548 s Remaining CPU time: 152.645 s c =============================================================================== c | 21 | 958 1362 305438 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 27.5268 s Remaining CPU time: 152.473 s c =============================================================================== c | 21 | 958 1363 306288 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 27.6958 s Remaining CPU time: 152.304 s c =============================================================================== c | 21 | 958 1364 307138 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 27.8668 s Remaining CPU time: 152.133 s c =============================================================================== c | 21 | 958 1365 307988 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 28.0397 s Remaining CPU time: 151.96 s c =============================================================================== c | 21 | 958 1366 308838 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 28.2107 s Remaining CPU time: 151.789 s c =============================================================================== c | 21 | 958 1367 309688 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 28.3887 s Remaining CPU time: 151.611 s c =============================================================================== c | 21 | 958 1368 310538 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 28.5567 s Remaining CPU time: 151.443 s c =============================================================================== c | 21 | 958 1369 311388 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 28.7296 s Remaining CPU time: 151.27 s c =============================================================================== c | 21 | 958 1370 312238 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 28.9126 s Remaining CPU time: 151.087 s c =============================================================================== c | 21 | 958 1371 313088 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 29.0906 s Remaining CPU time: 150.909 s c =============================================================================== c | 21 | 958 1372 313938 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 29.2636 s Remaining CPU time: 150.736 s c =============================================================================== c | 21 | 958 1373 314788 | 5000 21 777 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 29.4445 s Remaining CPU time: 150.555 s c =============================================================================== c | 22 | 958 1374 315638 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 29.6215 s Remaining CPU time: 150.379 s c =============================================================================== c | 22 | 958 1375 316488 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 29.8055 s Remaining CPU time: 150.195 s c =============================================================================== c | 22 | 958 1376 317338 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 29.9954 s Remaining CPU time: 150.005 s c =============================================================================== c | 22 | 958 1377 318188 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 30.1734 s Remaining CPU time: 149.827 s c =============================================================================== c | 22 | 958 1378 319038 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 30.3594 s Remaining CPU time: 149.641 s c =============================================================================== c | 22 | 958 1379 319888 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 30.5344 s Remaining CPU time: 149.466 s c =============================================================================== c | 22 | 958 1380 320738 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 30.7233 s Remaining CPU time: 149.277 s c =============================================================================== c | 22 | 958 1381 321588 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 30.9043 s Remaining CPU time: 149.096 s c =============================================================================== c | 22 | 958 1382 322438 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 31.0923 s Remaining CPU time: 148.908 s c =============================================================================== c | 22 | 958 1383 323288 | 5000 22 776 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 31.2812 s Remaining CPU time: 148.719 s c =============================================================================== c | 23 | 958 1384 324138 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 31.4602 s Remaining CPU time: 148.54 s c =============================================================================== c | 23 | 958 1385 324988 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 31.6462 s Remaining CPU time: 148.354 s c =============================================================================== c | 23 | 958 1386 325838 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 31.8272 s Remaining CPU time: 148.173 s c =============================================================================== c | 23 | 958 1387 326688 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 32.0131 s Remaining CPU time: 147.987 s c =============================================================================== c | 23 | 958 1388 327538 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 32.2091 s Remaining CPU time: 147.791 s c =============================================================================== c | 23 | 958 1389 328388 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 32.4021 s Remaining CPU time: 147.598 s c =============================================================================== c | 23 | 958 1390 329238 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 32.59 s Remaining CPU time: 147.41 s c =============================================================================== c | 23 | 958 1391 330088 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 32.783 s Remaining CPU time: 147.217 s c =============================================================================== c | 23 | 958 1392 330938 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 32.973 s Remaining CPU time: 147.027 s c =============================================================================== c | 23 | 958 1393 331788 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 33.163 s Remaining CPU time: 146.837 s c =============================================================================== c | 23 | 958 1394 332638 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 33.3529 s Remaining CPU time: 146.647 s c =============================================================================== c | 23 | 958 1395 333488 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 33.5459 s Remaining CPU time: 146.454 s c =============================================================================== c | 23 | 958 1396 334338 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 33.7349 s Remaining CPU time: 146.265 s c =============================================================================== c | 23 | 958 1397 335188 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 33.9238 s Remaining CPU time: 146.076 s c =============================================================================== c | 23 | 958 1398 336038 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 34.1108 s Remaining CPU time: 145.889 s c =============================================================================== c | 23 | 958 1399 336888 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 34.3008 s Remaining CPU time: 145.699 s c =============================================================================== c | 23 | 958 1400 337738 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 34.4898 s Remaining CPU time: 145.51 s c =============================================================================== c | 23 | 958 1401 338588 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 34.6877 s Remaining CPU time: 145.312 s c =============================================================================== c | 23 | 958 1402 339438 | 5000 23 775 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 34.8917 s Remaining CPU time: 145.108 s c =============================================================================== c | 24 | 958 1403 340288 | 5000 24 775 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 35.0837 s Remaining CPU time: 144.916 s c =============================================================================== c | 24 | 958 1404 341138 | 5000 24 775 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 35.2836 s Remaining CPU time: 144.716 s c =============================================================================== c | 24 | 958 1405 341988 | 5000 24 775 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 35.4836 s Remaining CPU time: 144.516 s c =============================================================================== c | 24 | 958 1406 342838 | 5000 24 775 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 35.6856 s Remaining CPU time: 144.314 s c =============================================================================== c | 24 | 958 1407 343688 | 5000 24 775 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 35.8795 s Remaining CPU time: 144.12 s c =============================================================================== c | 24 | 958 1408 344538 | 5000 24 775 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 36.0765 s Remaining CPU time: 143.923 s c =============================================================================== c | 26 | 958 1409 345388 | 5000 26 773 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 36.2885 s Remaining CPU time: 143.712 s c =============================================================================== c | 30 | 958 1410 346238 | 5000 30 771 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 36.4805 s Remaining CPU time: 143.52 s c =============================================================================== c | 30 | 958 1411 347088 | 5000 30 771 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 36.6734 s Remaining CPU time: 143.327 s c =============================================================================== c | 30 | 958 1412 347938 | 5000 30 771 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 36.8714 s Remaining CPU time: 143.129 s c =============================================================================== c | 30 | 958 1413 348788 | 5000 30 771 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 37.0614 s Remaining CPU time: 142.939 s c =============================================================================== c | 30 | 958 1414 349638 | 5000 30 771 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 37.2633 s Remaining CPU time: 142.737 s c =============================================================================== c | 32 | 958 1415 350488 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 37.4633 s Remaining CPU time: 142.537 s c =============================================================================== c | 32 | 958 1416 351338 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 37.6583 s Remaining CPU time: 142.342 s c =============================================================================== c | 32 | 958 1417 352188 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 37.8562 s Remaining CPU time: 142.144 s c =============================================================================== c | 32 | 958 1418 353038 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 38.0512 s Remaining CPU time: 141.949 s c =============================================================================== c | 32 | 958 1419 353888 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 38.2512 s Remaining CPU time: 141.749 s c =============================================================================== c | 32 | 958 1420 354738 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 38.4402 s Remaining CPU time: 141.56 s c =============================================================================== c | 32 | 958 1421 355588 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 38.6391 s Remaining CPU time: 141.361 s c =============================================================================== c | 32 | 958 1422 356438 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 38.8381 s Remaining CPU time: 141.162 s c =============================================================================== c | 32 | 958 1423 357288 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 39.0441 s Remaining CPU time: 140.956 s c =============================================================================== c | 32 | 958 1424 358138 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 39.241 s Remaining CPU time: 140.759 s c =============================================================================== c | 32 | 958 1425 358988 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 39.46 s Remaining CPU time: 140.54 s c =============================================================================== c | 32 | 958 1426 359838 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 39.671 s Remaining CPU time: 140.329 s c =============================================================================== c | 32 | 958 1427 360688 | 5000 32 770 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 39.8749 s Remaining CPU time: 140.125 s c =============================================================================== c | 34 | 958 1428 361538 | 5000 34 747 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 40.0709 s Remaining CPU time: 139.929 s c =============================================================================== c | 35 | 958 1429 362388 | 5000 35 747 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 40.2749 s Remaining CPU time: 139.725 s c =============================================================================== c | 35 | 958 1430 363238 | 5000 35 747 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 40.4788 s Remaining CPU time: 139.521 s c =============================================================================== c | 35 | 958 1431 364088 | 5000 35 747 | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 40.6738 s Remaining CPU time: 139.326 s c =============================================================================== c | 36 | 958 1432 364938 | 5000 36 747 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 40.8738 s Remaining CPU time: 139.126 s c =============================================================================== c | 36 | 958 1433 365788 | 5000 36 747 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 41.0738 s Remaining CPU time: 138.926 s c =============================================================================== c | 36 | 958 1434 366638 | 5000 36 747 | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 41.2757 s Remaining CPU time: 138.724 s c =============================================================================== c | 36 | 958 1435 367488 | 5000 36 747 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 41.4827 s Remaining CPU time: 138.517 s c =============================================================================== c | 39 | 958 1436 368338 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 41.6887 s Remaining CPU time: 138.311 s c =============================================================================== c | 39 | 958 1437 369188 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 41.9006 s Remaining CPU time: 138.099 s c =============================================================================== c | 39 | 958 1438 370038 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 42.1086 s Remaining CPU time: 137.891 s c =============================================================================== c | 39 | 958 1439 370888 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 42.3176 s Remaining CPU time: 137.682 s c =============================================================================== c | 39 | 958 1440 371738 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 42.5265 s Remaining CPU time: 137.473 s c =============================================================================== c | 39 | 958 1441 372588 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 42.7355 s Remaining CPU time: 137.264 s c =============================================================================== c | 39 | 958 1442 373438 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 42.9465 s Remaining CPU time: 137.054 s c =============================================================================== c | 39 | 958 1443 374288 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 43.1524 s Remaining CPU time: 136.848 s c =============================================================================== c | 39 | 958 1444 375138 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 43.3664 s Remaining CPU time: 136.634 s c =============================================================================== c | 39 | 958 1445 375988 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 43.5704 s Remaining CPU time: 136.43 s c =============================================================================== c | 39 | 958 1446 376838 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 43.7793 s Remaining CPU time: 136.221 s c =============================================================================== c | 39 | 958 1447 377688 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 43.9893 s Remaining CPU time: 136.011 s c =============================================================================== c | 39 | 958 1448 378538 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 44.2103 s Remaining CPU time: 135.79 s c =============================================================================== c | 39 | 958 1449 379388 | 5000 39 747 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 44.4252 s Remaining CPU time: 135.575 s c =============================================================================== c | 40 | 958 1450 380238 | 5000 40 748 | 0.000 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 44.6362 s Remaining CPU time: 135.364 s c =============================================================================== c | 40 | 958 1451 381088 | 5000 40 748 | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 44.8462 s Remaining CPU time: 135.154 s c =============================================================================== c | 40 | 958 1452 381938 | 5000 40 748 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 45.0651 s Remaining CPU time: 134.935 s c =============================================================================== c | 40 | 958 1453 382788 | 5000 40 748 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 45.2751 s Remaining CPU time: 134.725 s c =============================================================================== c | 41 | 958 1454 383638 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 45.4851 s Remaining CPU time: 134.515 s c =============================================================================== c | 41 | 958 1455 384488 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 45.6981 s Remaining CPU time: 134.302 s c =============================================================================== c | 41 | 958 1456 385338 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 45.915 s Remaining CPU time: 134.085 s c =============================================================================== c | 41 | 958 1457 386188 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 46.126 s Remaining CPU time: 133.874 s c =============================================================================== c | 41 | 958 1458 387038 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 46.346 s Remaining CPU time: 133.654 s c =============================================================================== c | 41 | 958 1459 387888 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 46.5699 s Remaining CPU time: 133.43 s c =============================================================================== c | 41 | 958 1460 388738 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 46.7909 s Remaining CPU time: 133.209 s c =============================================================================== c | 41 | 958 1461 389588 | 5000 41 748 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 47.0069 s Remaining CPU time: 132.993 s c =============================================================================== c | 42 | 958 1462 390438 | 5000 42 747 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 47.2348 s Remaining CPU time: 132.765 s c =============================================================================== c | 43 | 958 1463 391288 | 5000 43 748 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 47.4618 s Remaining CPU time: 132.538 s c =============================================================================== c | 44 | 958 1464 392138 | 5000 44 747 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 47.7177 s Remaining CPU time: 132.282 s c =============================================================================== c | 56 | 958 1465 392988 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 47.9357 s Remaining CPU time: 132.064 s c =============================================================================== c | 56 | 958 1466 393838 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 48.1617 s Remaining CPU time: 131.838 s c =============================================================================== c | 56 | 958 1467 394688 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 48.3846 s Remaining CPU time: 131.615 s c =============================================================================== c | 56 | 958 1468 395538 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 48.6196 s Remaining CPU time: 131.38 s c =============================================================================== c | 56 | 958 1469 396388 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 48.8496 s Remaining CPU time: 131.15 s c =============================================================================== c | 56 | 958 1470 397238 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 49.0745 s Remaining CPU time: 130.925 s c =============================================================================== c | 56 | 958 1471 398088 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 49.2975 s Remaining CPU time: 130.702 s c =============================================================================== c | 56 | 958 1472 398938 | 5000 56 747 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 49.5215 s Remaining CPU time: 130.479 s c =============================================================================== c | 58 | 958 1473 399788 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 49.7514 s Remaining CPU time: 130.249 s c =============================================================================== c | 58 | 958 1474 400638 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 49.9684 s Remaining CPU time: 130.032 s c =============================================================================== c | 58 | 958 1475 401488 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 50.1894 s Remaining CPU time: 129.811 s c =============================================================================== c | 58 | 958 1476 402338 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 50.4143 s Remaining CPU time: 129.586 s c =============================================================================== c | 58 | 958 1477 403188 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 50.6403 s Remaining CPU time: 129.36 s c =============================================================================== c | 58 | 958 1478 404038 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 50.8683 s Remaining CPU time: 129.132 s c =============================================================================== c | 58 | 958 1479 404888 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 51.0982 s Remaining CPU time: 128.902 s c =============================================================================== c | 58 | 958 1480 405738 | 5000 58 747 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 51.3372 s Remaining CPU time: 128.663 s c =============================================================================== c | 60 | 958 1481 406588 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 51.5752 s Remaining CPU time: 128.425 s c =============================================================================== c | 60 | 958 1482 407438 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 51.8021 s Remaining CPU time: 128.198 s c =============================================================================== c | 60 | 958 1483 408288 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 52.0281 s Remaining CPU time: 127.972 s c =============================================================================== c | 60 | 958 1484 409138 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 52.2641 s Remaining CPU time: 127.736 s c =============================================================================== c | 60 | 958 1485 409988 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 52.486 s Remaining CPU time: 127.514 s c =============================================================================== c | 60 | 958 1486 410838 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 52.722 s Remaining CPU time: 127.278 s c =============================================================================== c | 60 | 958 1487 411688 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 52.9509 s Remaining CPU time: 127.049 s c =============================================================================== c | 60 | 958 1488 412538 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 53.1849 s Remaining CPU time: 126.815 s c =============================================================================== c | 60 | 958 1489 413388 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 53.4159 s Remaining CPU time: 126.584 s c =============================================================================== c | 60 | 958 1490 414238 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 53.6488 s Remaining CPU time: 126.351 s c =============================================================================== c | 60 | 958 1491 415088 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 53.8758 s Remaining CPU time: 126.124 s c =============================================================================== c | 60 | 958 1492 415938 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 54.1188 s Remaining CPU time: 125.881 s c =============================================================================== c | 60 | 958 1493 416788 | 5000 60 747 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 54.3607 s Remaining CPU time: 125.639 s c =============================================================================== c | 61 | 958 1494 417638 | 5000 61 747 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 54.5957 s Remaining CPU time: 125.404 s c =============================================================================== c | 61 | 958 1495 418488 | 5000 61 747 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 54.8457 s Remaining CPU time: 125.154 s c =============================================================================== c | 62 | 958 1496 419338 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 55.0786 s Remaining CPU time: 124.921 s c =============================================================================== c | 62 | 958 1497 420188 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 55.3166 s Remaining CPU time: 124.683 s c =============================================================================== c | 62 | 958 1498 421038 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 55.5626 s Remaining CPU time: 124.437 s c =============================================================================== c | 62 | 958 1499 421888 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 55.7935 s Remaining CPU time: 124.206 s c =============================================================================== c | 62 | 958 1500 422738 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 56.0215 s Remaining CPU time: 123.979 s c =============================================================================== c | 62 | 958 1501 423588 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 56.2584 s Remaining CPU time: 123.742 s c =============================================================================== c | 62 | 958 1502 424438 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 56.4934 s Remaining CPU time: 123.507 s c =============================================================================== c | 62 | 958 1503 425288 | 5000 62 747 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 56.7274 s Remaining CPU time: 123.273 s c =============================================================================== c | 65 | 958 1504 426138 | 5000 65 747 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 56.9653 s Remaining CPU time: 123.035 s c =============================================================================== c | 65 | 958 1505 426988 | 5000 65 747 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 57.2163 s Remaining CPU time: 122.784 s c =============================================================================== c | 66 | 958 1506 427838 | 5000 66 747 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 57.4583 s Remaining CPU time: 122.542 s c =============================================================================== c | 66 | 958 1507 428688 | 5000 66 747 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 57.7032 s Remaining CPU time: 122.297 s c =============================================================================== c | 67 | 958 1508 429538 | 5000 67 747 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 57.9372 s Remaining CPU time: 122.063 s c =============================================================================== c | 67 | 958 1509 430388 | 5000 67 747 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 58.1792 s Remaining CPU time: 121.821 s c =============================================================================== c | 68 | 958 1510 431238 | 5000 68 746 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 58.4291 s Remaining CPU time: 121.571 s c =============================================================================== c | 70 | 958 1511 432088 | 5000 70 746 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 58.6911 s Remaining CPU time: 121.309 s c =============================================================================== c | 79 | 958 1512 432938 | 5000 79 746 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 58.931 s Remaining CPU time: 121.069 s c =============================================================================== c | 81 | 958 1513 433788 | 5000 81 746 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 59.18 s Remaining CPU time: 120.82 s c =============================================================================== c | 81 | 958 1514 434638 | 5000 81 746 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 59.421 s Remaining CPU time: 120.579 s c =============================================================================== c | 82 | 958 1515 435488 | 5000 82 745 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 59.6639 s Remaining CPU time: 120.336 s c =============================================================================== c | 82 | 958 1516 436338 | 5000 82 745 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 59.9089 s Remaining CPU time: 120.091 s c =============================================================================== c | 82 | 958 1517 437188 | 5000 82 745 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 60.1449 s Remaining CPU time: 119.855 s c =============================================================================== c | 82 | 958 1518 438038 | 5000 82 745 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 60.3918 s Remaining CPU time: 119.608 s c =============================================================================== c | 83 | 958 1519 438888 | 5000 83 745 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 60.6358 s Remaining CPU time: 119.364 s c =============================================================================== c | 83 | 958 1520 439738 | 5000 83 745 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 60.8737 s Remaining CPU time: 119.126 s c =============================================================================== c | 83 | 958 1521 440588 | 5000 83 745 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 61.2027 s Remaining CPU time: 118.797 s c =============================================================================== c | 104 | 958 1522 441438 | 5000 104 744 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 61.4587 s Remaining CPU time: 118.541 s c =============================================================================== c | 104 | 958 1523 442288 | 5000 104 744 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 61.7016 s Remaining CPU time: 118.298 s c =============================================================================== c | 104 | 958 1524 443138 | 5000 104 744 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 61.9496 s Remaining CPU time: 118.05 s c =============================================================================== c | 104 | 958 1525 443988 | 5000 104 744 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 62.2005 s Remaining CPU time: 117.799 s c =============================================================================== c | 104 | 958 1526 444838 | 5000 104 744 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 62.4805 s Remaining CPU time: 117.519 s c =============================================================================== c | 112 | 958 1527 445688 | 5000 112 744 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 62.7325 s Remaining CPU time: 117.268 s c =============================================================================== c | 112 | 958 1528 446538 | 5000 112 744 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 63.0084 s Remaining CPU time: 116.992 s c =============================================================================== c | 118 | 958 1529 447388 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 63.2544 s Remaining CPU time: 116.746 s c =============================================================================== c | 118 | 958 1530 448238 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 63.5013 s Remaining CPU time: 116.499 s c =============================================================================== c | 118 | 958 1531 449088 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 63.7473 s Remaining CPU time: 116.253 s c =============================================================================== c | 118 | 958 1532 449938 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 63.9983 s Remaining CPU time: 116.002 s c =============================================================================== c | 118 | 958 1533 450788 | 5000 118 744 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 64.2492 s Remaining CPU time: 115.751 s c =============================================================================== c | 119 | 958 1534 451638 | 5000 119 744 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 64.4912 s Remaining CPU time: 115.509 s c =============================================================================== c | 119 | 958 1535 452488 | 5000 119 744 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 64.7482 s Remaining CPU time: 115.252 s c =============================================================================== c | 119 | 958 1536 453338 | 5000 119 744 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 65.0021 s Remaining CPU time: 114.998 s c =============================================================================== c | 119 | 958 1537 454188 | 5000 119 744 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 65.2691 s Remaining CPU time: 114.731 s c =============================================================================== c | 119 | 958 1538 455038 | 5000 119 744 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 65.533 s Remaining CPU time: 114.467 s c =============================================================================== c | 121 | 958 1539 455888 | 5000 121 743 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 65.791 s Remaining CPU time: 114.209 s c =============================================================================== c | 122 | 958 1540 456738 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 66.059 s Remaining CPU time: 113.941 s c =============================================================================== c | 122 | 958 1541 457588 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 66.3159 s Remaining CPU time: 113.684 s c =============================================================================== c | 122 | 958 1542 458438 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 66.5799 s Remaining CPU time: 113.42 s c =============================================================================== c | 122 | 958 1543 459288 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 66.8278 s Remaining CPU time: 113.172 s c =============================================================================== c | 122 | 958 1544 460138 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 67.0828 s Remaining CPU time: 112.917 s c =============================================================================== c | 122 | 958 1545 460988 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 67.3408 s Remaining CPU time: 112.659 s c =============================================================================== c | 122 | 958 1546 461838 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 67.6057 s Remaining CPU time: 112.394 s c =============================================================================== c | 122 | 958 1547 462688 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 67.8627 s Remaining CPU time: 112.137 s c =============================================================================== c | 122 | 958 1548 463538 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 68.1246 s Remaining CPU time: 111.875 s c =============================================================================== c | 122 | 958 1549 464388 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 68.3976 s Remaining CPU time: 111.602 s c =============================================================================== c | 122 | 958 1550 465238 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 68.6536 s Remaining CPU time: 111.346 s c =============================================================================== c | 122 | 958 1551 466088 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 68.9225 s Remaining CPU time: 111.077 s c =============================================================================== c | 122 | 958 1552 466938 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 69.1935 s Remaining CPU time: 110.807 s c =============================================================================== c | 122 | 958 1553 467788 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 69.4604 s Remaining CPU time: 110.54 s c =============================================================================== c | 122 | 958 1554 468638 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 69.7144 s Remaining CPU time: 110.286 s c =============================================================================== c | 122 | 958 1555 469488 | 5000 122 743 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 69.9894 s Remaining CPU time: 110.011 s c =============================================================================== c | 123 | 958 1556 470338 | 5000 123 743 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 70.2633 s Remaining CPU time: 109.737 s c =============================================================================== c | 124 | 958 1557 471188 | 5000 124 743 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 70.5303 s Remaining CPU time: 109.47 s c =============================================================================== c | 124 | 958 1558 472038 | 5000 124 743 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 70.8022 s Remaining CPU time: 109.198 s c =============================================================================== c | 124 | 958 1559 472888 | 5000 124 743 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 71.0912 s Remaining CPU time: 108.909 s c =============================================================================== c | 125 | 958 1560 473738 | 5000 125 743 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 71.3502 s Remaining CPU time: 108.65 s c =============================================================================== c | 125 | 958 1561 474588 | 5000 125 743 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 71.6521 s Remaining CPU time: 108.348 s c =============================================================================== c | 128 | 958 1562 475438 | 5000 128 743 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 71.9291 s Remaining CPU time: 108.071 s c =============================================================================== c | 128 | 958 1563 476288 | 5000 128 743 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 72.216 s Remaining CPU time: 107.784 s c =============================================================================== c | 128 | 958 1564 477138 | 5000 128 743 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 72.518 s Remaining CPU time: 107.482 s c =============================================================================== c | 132 | 958 1565 477988 | 5000 132 743 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 72.8069 s Remaining CPU time: 107.193 s c =============================================================================== c | 134 | 958 1566 478838 | 5000 134 742 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 73.1029 s Remaining CPU time: 106.897 s c =============================================================================== c | 136 | 958 1567 479688 | 5000 136 742 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 73.4138 s Remaining CPU time: 106.586 s c =============================================================================== c | 138 | 958 1568 480538 | 5000 138 742 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 73.7038 s Remaining CPU time: 106.296 s c =============================================================================== c | 139 | 958 1569 481388 | 5000 139 742 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 73.9928 s Remaining CPU time: 106.007 s c =============================================================================== c | 140 | 958 1570 482238 | 5000 140 742 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 74.2547 s Remaining CPU time: 105.745 s c =============================================================================== c | 140 | 958 1571 483088 | 5000 140 742 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 74.5687 s Remaining CPU time: 105.431 s c =============================================================================== c | 142 | 958 1572 483938 | 5000 142 742 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 74.8406 s Remaining CPU time: 105.159 s c =============================================================================== c | 142 | 958 1573 484788 | 5000 142 742 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 75.1226 s Remaining CPU time: 104.877 s c =============================================================================== c | 142 | 958 1574 485638 | 5000 142 742 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 75.4065 s Remaining CPU time: 104.593 s c =============================================================================== c | 143 | 958 1575 486488 | 5000 143 742 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 75.7645 s Remaining CPU time: 104.236 s c =============================================================================== c | 157 | 958 1576 487338 | 5000 157 741 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 76.0444 s Remaining CPU time: 103.956 s c =============================================================================== c | 157 | 958 1577 488188 | 5000 157 741 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 76.3334 s Remaining CPU time: 103.667 s c =============================================================================== c | 157 | 958 1578 489038 | 5000 157 741 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 76.6234 s Remaining CPU time: 103.377 s c =============================================================================== c | 159 | 958 1579 489888 | 5000 159 741 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 76.9303 s Remaining CPU time: 103.07 s c =============================================================================== c | 161 | 958 1580 490738 | 5000 161 740 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 77.2353 s Remaining CPU time: 102.765 s c =============================================================================== c | 163 | 958 1581 491588 | 5000 163 740 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 77.5442 s Remaining CPU time: 102.456 s c =============================================================================== c | 165 | 958 1582 492438 | 5000 165 740 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 77.8452 s Remaining CPU time: 102.155 s c =============================================================================== c | 166 | 958 1583 493288 | 5000 166 740 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 78.1271 s Remaining CPU time: 101.873 s c =============================================================================== c | 166 | 958 1584 494138 | 5000 166 740 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 78.4121 s Remaining CPU time: 101.588 s c =============================================================================== c | 166 | 958 1585 494988 | 5000 166 740 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 78.688 s Remaining CPU time: 101.312 s c =============================================================================== c | 166 | 958 1586 495838 | 5000 166 740 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 78.979 s Remaining CPU time: 101.021 s c =============================================================================== c | 169 | 958 1587 496688 | 5000 169 740 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 79.2679 s Remaining CPU time: 100.732 s c =============================================================================== c | 169 | 958 1588 497538 | 5000 169 740 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 79.6739 s Remaining CPU time: 100.326 s c =============================================================================== c | 177 | 958 1589 498388 | 5000 177 740 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 79.9598 s Remaining CPU time: 100.04 s c =============================================================================== c | 177 | 958 1590 499238 | 5000 177 740 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 80.2518 s Remaining CPU time: 99.7482 s c =============================================================================== c | 177 | 958 1591 500088 | 5000 177 740 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 80.5408 s Remaining CPU time: 99.4592 s c =============================================================================== c | 178 | 958 1592 500938 | 5000 178 739 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 80.8587 s Remaining CPU time: 99.1413 s c =============================================================================== c | 182 | 958 1593 501788 | 5000 182 739 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 81.1497 s Remaining CPU time: 98.8503 s c =============================================================================== c | 182 | 958 1594 502638 | 5000 182 739 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 81.5116 s Remaining CPU time: 98.4884 s c =============================================================================== c | 187 | 958 1595 503488 | 5000 187 739 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 81.8266 s Remaining CPU time: 98.1734 s c =============================================================================== c | 188 | 958 1596 504338 | 5000 188 739 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 82.1245 s Remaining CPU time: 97.8755 s c =============================================================================== c | 190 | 958 1597 505188 | 5000 190 739 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 82.4285 s Remaining CPU time: 97.5715 s c =============================================================================== c | 191 | 958 1598 506038 | 5000 191 739 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 82.7564 s Remaining CPU time: 97.2436 s c =============================================================================== c | 193 | 958 1599 506888 | 5000 193 739 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 83.0474 s Remaining CPU time: 96.9526 s c =============================================================================== c | 193 | 958 1600 507738 | 5000 193 739 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 83.3553 s Remaining CPU time: 96.6447 s c =============================================================================== c | 195 | 958 1601 508588 | 5000 195 738 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 83.6663 s Remaining CPU time: 96.3337 s c =============================================================================== c | 197 | 958 1602 509438 | 5000 197 738 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 83.9612 s Remaining CPU time: 96.0388 s c =============================================================================== c | 197 | 958 1603 510288 | 5000 197 738 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 84.2662 s Remaining CPU time: 95.7338 s c =============================================================================== c | 198 | 958 1604 511138 | 5000 198 738 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 84.5671 s Remaining CPU time: 95.4329 s c =============================================================================== c | 198 | 958 1605 511988 | 5000 198 738 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 84.8571 s Remaining CPU time: 95.1429 s c =============================================================================== c | 198 | 958 1606 512838 | 5000 198 738 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 85.194 s Remaining CPU time: 94.806 s c =============================================================================== c | 204 | 958 1607 513688 | 5000 204 738 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 85.515 s Remaining CPU time: 94.485 s c =============================================================================== c | 205 | 958 1608 514538 | 5000 205 738 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 85.84 s Remaining CPU time: 94.16 s c =============================================================================== c | 206 | 958 1609 515388 | 5000 206 738 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 86.1459 s Remaining CPU time: 93.8541 s c =============================================================================== c | 209 | 958 1610 516238 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 86.4339 s Remaining CPU time: 93.5661 s c =============================================================================== c | 209 | 958 1611 517088 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 86.7198 s Remaining CPU time: 93.2802 s c =============================================================================== c | 209 | 958 1612 517938 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 87.0138 s Remaining CPU time: 92.9862 s c =============================================================================== c | 209 | 958 1613 518788 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 87.2987 s Remaining CPU time: 92.7013 s c =============================================================================== c | 209 | 958 1614 519638 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 87.5967 s Remaining CPU time: 92.4033 s c =============================================================================== c | 209 | 958 1615 520488 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 87.9106 s Remaining CPU time: 92.0894 s c =============================================================================== c | 209 | 958 1616 521338 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 88.2086 s Remaining CPU time: 91.7914 s c =============================================================================== c | 209 | 958 1617 522188 | 5000 209 738 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 88.5325 s Remaining CPU time: 91.4675 s c =============================================================================== c | 217 | 958 1618 523038 | 5000 217 734 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 88.8435 s Remaining CPU time: 91.1565 s c =============================================================================== c | 218 | 958 1619 523888 | 5000 218 734 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 89.1764 s Remaining CPU time: 90.8236 s c =============================================================================== c | 218 | 958 1620 524738 | 5000 218 734 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 89.4804 s Remaining CPU time: 90.5196 s c =============================================================================== c | 218 | 958 1621 525588 | 5000 218 734 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 89.7874 s Remaining CPU time: 90.2126 s c =============================================================================== c | 218 | 958 1622 526438 | 5000 218 734 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 90.1113 s Remaining CPU time: 89.8887 s c =============================================================================== c | 219 | 958 1623 527288 | 5000 219 734 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 90.4153 s Remaining CPU time: 89.5847 s c =============================================================================== c | 220 | 958 1624 528138 | 5000 220 734 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 90.9562 s Remaining CPU time: 89.0438 s c =============================================================================== c | 250 | 958 1625 528988 | 5000 250 732 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 91.2561 s Remaining CPU time: 88.7439 s c =============================================================================== c | 251 | 958 1626 529838 | 5000 251 732 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 91.6371 s Remaining CPU time: 88.3629 s c =============================================================================== c | 256 | 958 1627 530688 | 5000 256 732 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 92.18 s Remaining CPU time: 87.82 s c =============================================================================== c | 284 | 958 1628 531538 | 5000 284 730 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 92.5279 s Remaining CPU time: 87.4721 s c =============================================================================== c | 289 | 958 1629 532388 | 5000 289 730 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 92.9069 s Remaining CPU time: 87.0931 s c =============================================================================== c | 310 | 958 1630 533238 | 5000 310 729 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 93.2208 s Remaining CPU time: 86.7792 s c =============================================================================== c | 314 | 958 1631 534088 | 5000 314 729 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 93.5898 s Remaining CPU time: 86.4102 s c =============================================================================== c | 324 | 958 1632 534938 | 5000 324 729 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 94.0737 s Remaining CPU time: 85.9263 s c =============================================================================== c | 350 | 958 1633 535788 | 5000 350 728 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 94.4136 s Remaining CPU time: 85.5864 s c =============================================================================== c | 356 | 958 1634 536638 | 5000 356 727 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 94.7656 s Remaining CPU time: 85.2344 s c =============================================================================== c | 359 | 958 1635 537488 | 5000 359 727 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 95.0795 s Remaining CPU time: 84.9205 s c =============================================================================== c | 361 | 958 1636 538338 | 5000 361 727 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 95.4135 s Remaining CPU time: 84.5865 s c =============================================================================== c | 362 | 958 1637 539188 | 5000 362 727 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 95.7124 s Remaining CPU time: 84.2876 s c =============================================================================== c | 363 | 958 1638 540038 | 5000 363 727 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 96.0344 s Remaining CPU time: 83.9656 s c =============================================================================== c | 371 | 958 1639 540888 | 5000 371 727 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 96.3773 s Remaining CPU time: 83.6227 s c =============================================================================== c | 382 | 958 1640 541738 | 5000 382 727 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 96.6723 s Remaining CPU time: 83.3277 s c =============================================================================== c | 383 | 958 1641 542588 | 5000 383 727 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 96.9663 s Remaining CPU time: 83.0337 s c =============================================================================== c | 385 | 958 1642 543438 | 5000 385 726 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 97.3062 s Remaining CPU time: 82.6938 s c =============================================================================== c | 391 | 958 1643 544288 | 5000 391 726 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 97.6592 s Remaining CPU time: 82.3408 s c =============================================================================== c | 398 | 958 1644 545138 | 5000 398 726 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 97.9641 s Remaining CPU time: 82.0359 s c =============================================================================== c | 398 | 958 1645 545988 | 5000 398 726 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 98.3151 s Remaining CPU time: 81.6849 s c =============================================================================== c | 403 | 958 1646 546838 | 5000 403 726 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 98.855 s Remaining CPU time: 81.145 s c =============================================================================== c | 439 | 958 1647 547688 | 5000 439 725 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 99.4359 s Remaining CPU time: 80.5641 s c =============================================================================== c | 472 | 958 1648 548538 | 5000 472 724 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 99.9628 s Remaining CPU time: 80.0372 s c =============================================================================== c | 510 | 958 1649 549388 | 5000 510 723 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 100.564 s Remaining CPU time: 79.4363 s c =============================================================================== c | 535 | 958 1650 550238 | 5000 535 723 | 0.000 % | c | 635 | 958 1650 550238 | 5500 635 721 | 4.200 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 102.528 s Remaining CPU time: 77.4716 s c =============================================================================== c | 699 | 958 1651 551088 | 5000 699 721 | 4.200 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 103.244 s Remaining CPU time: 76.7557 s c =============================================================================== c | 753 | 958 1652 551938 | 5000 753 720 | 4.200 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 103.72 s Remaining CPU time: 76.2798 s c =============================================================================== c | 774 | 958 1653 552788 | 5000 774 720 | 4.200 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 104.161 s Remaining CPU time: 75.8388 s c =============================================================================== c | 781 | 958 1654 553638 | 5000 781 720 | 4.200 % | c | 882 | 958 1654 553638 | 5500 882 719 | 4.200 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 105.648 s Remaining CPU time: 74.3521 s c =============================================================================== c | 913 | 958 1655 554488 | 5000 913 719 | 4.200 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 105.988 s Remaining CPU time: 74.0121 s c =============================================================================== c | 918 | 958 1656 555338 | 5000 918 719 | 4.200 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 106.307 s Remaining CPU time: 73.6932 s c =============================================================================== c | 920 | 958 1657 556188 | 5000 920 719 | 4.200 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 106.613 s Remaining CPU time: 73.3872 s c =============================================================================== c | 921 | 958 1658 557038 | 5000 921 719 | 4.200 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 106.939 s Remaining CPU time: 73.0613 s c =============================================================================== c | 925 | 958 1659 557888 | 5000 925 719 | 4.200 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 107.353 s Remaining CPU time: 72.6473 s c =============================================================================== c | 934 | 958 1660 558738 | 5000 934 718 | 4.200 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 107.762 s Remaining CPU time: 72.2384 s c =============================================================================== c | 942 | 958 1661 559588 | 5000 942 718 | 4.200 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 108.068 s Remaining CPU time: 71.9324 s c =============================================================================== c | 942 | 958 1662 560438 | 5000 942 718 | 4.200 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 108.386 s Remaining CPU time: 71.6145 s c =============================================================================== c | 944 | 958 1663 561288 | 5000 944 718 | 4.200 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 108.756 s Remaining CPU time: 71.2435 s c =============================================================================== c | 946 | 958 1664 562138 | 5000 946 718 | 4.200 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 109.055 s Remaining CPU time: 70.9446 s c =============================================================================== c | 946 | 958 1665 562988 | 5000 946 718 | 4.200 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 109.393 s Remaining CPU time: 70.6066 s c =============================================================================== c | 948 | 958 1666 563838 | 5000 948 718 | 4.200 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 109.698 s Remaining CPU time: 70.3017 s c =============================================================================== c | 948 | 958 1667 564688 | 5000 948 718 | 4.200 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 110.224 s Remaining CPU time: 69.7758 s c =============================================================================== c | 994 | 958 1668 565538 | 5000 994 718 | 4.200 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 110.669 s Remaining CPU time: 69.3308 s c =============================================================================== c | 1003 | 958 1669 566388 | 5000 1003 718 | 4.200 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 111.044 s Remaining CPU time: 68.9559 s c =============================================================================== c | 1016 | 958 1670 567238 | 5000 1016 718 | 4.200 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 111.438 s Remaining CPU time: 68.5619 s c =============================================================================== c | 1021 | 958 1671 568088 | 5000 1021 718 | 4.200 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 111.849 s Remaining CPU time: 68.151 s c =============================================================================== c | 1025 | 958 1672 568938 | 5000 1025 718 | 4.200 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 112.245 s Remaining CPU time: 67.7551 s c =============================================================================== c | 1028 | 958 1673 569788 | 5000 1028 718 | 4.200 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 112.607 s Remaining CPU time: 67.3931 s c =============================================================================== c | 1030 | 958 1674 570638 | 5000 1030 718 | 4.200 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 113.026 s Remaining CPU time: 66.9742 s c =============================================================================== c | 1041 | 958 1675 571488 | 5000 1041 717 | 4.200 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 113.372 s Remaining CPU time: 66.6282 s c =============================================================================== c | 1043 | 958 1676 572338 | 5000 1043 717 | 4.200 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 113.695 s Remaining CPU time: 66.3053 s c =============================================================================== c | 1044 | 958 1677 573188 | 5000 1044 717 | 4.200 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 114.207 s Remaining CPU time: 65.7934 s c =============================================================================== c | 1065 | 958 1678 574038 | 5000 1065 717 | 4.200 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 114.524 s Remaining CPU time: 65.4764 s c =============================================================================== c | 1065 | 958 1679 574888 | 5000 1065 717 | 4.200 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 115.118 s Remaining CPU time: 64.8815 s c =============================================================================== c | 1090 | 958 1680 575738 | 5000 1090 717 | 4.200 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 115.498 s Remaining CPU time: 64.5016 s c =============================================================================== c | 1096 | 958 1681 576588 | 5000 1096 717 | 4.200 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 115.85 s Remaining CPU time: 64.1496 s c =============================================================================== c | 1100 | 958 1682 577438 | 5000 1100 717 | 4.200 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 116.225 s Remaining CPU time: 63.7747 s c =============================================================================== c | 1103 | 958 1683 578288 | 5000 1103 717 | 4.200 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 116.626 s Remaining CPU time: 63.3737 s c =============================================================================== c | 1108 | 958 1684 579138 | 5000 1108 717 | 4.200 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 116.949 s Remaining CPU time: 63.0508 s c =============================================================================== c | 1108 | 958 1685 579988 | 5000 1108 717 | 4.200 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 117.436 s Remaining CPU time: 62.5639 s c =============================================================================== c | 1125 | 958 1686 580838 | 5000 1125 717 | 4.200 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 118.016 s Remaining CPU time: 61.9839 s c =============================================================================== c | 1156 | 958 1687 581688 | 5000 1156 716 | 4.200 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 118.851 s Remaining CPU time: 61.1491 s c =============================================================================== c | 1209 | 958 1688 582538 | 5000 1209 716 | 4.200 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 119.286 s Remaining CPU time: 60.7141 s c =============================================================================== c | 1217 | 958 1689 583388 | 5000 1217 716 | 4.200 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 119.618 s Remaining CPU time: 60.3822 s c =============================================================================== c | 1219 | 958 1690 584238 | 5000 1219 716 | 4.200 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 120.049 s Remaining CPU time: 59.9513 s c =============================================================================== c | 1228 | 958 1691 585088 | 5000 1228 716 | 4.200 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 120.379 s Remaining CPU time: 59.6213 s c =============================================================================== c | 1229 | 958 1692 585938 | 5000 1229 716 | 4.200 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 120.755 s Remaining CPU time: 59.2454 s c =============================================================================== c | 1235 | 958 1693 586788 | 5000 1235 716 | 4.200 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 121.159 s Remaining CPU time: 58.8414 s c =============================================================================== c | 1245 | 958 1694 587638 | 5000 1245 715 | 4.200 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 121.997 s Remaining CPU time: 58.0025 s c =============================================================================== c | 1335 | 958 1695 588488 | 5000 1335 715 | 4.200 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 122.436 s Remaining CPU time: 57.5636 s c =============================================================================== c | 1350 | 958 1696 589338 | 5000 1350 715 | 4.200 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 122.779 s Remaining CPU time: 57.2207 s c =============================================================================== c | 1351 | 958 1697 590188 | 5000 1351 715 | 4.200 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 123.116 s Remaining CPU time: 56.8837 s c =============================================================================== c | 1351 | 958 1698 591038 | 5000 1351 715 | 4.200 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 123.497 s Remaining CPU time: 56.5028 s c =============================================================================== c | 1354 | 958 1699 591888 | 5000 1354 715 | 4.200 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 123.832 s Remaining CPU time: 56.1678 s c =============================================================================== c | 1354 | 958 1700 592738 | 5000 1354 715 | 4.200 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 124.403 s Remaining CPU time: 55.5969 s c =============================================================================== c | 1398 | 958 1701 593588 | 5000 1398 714 | 4.200 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 124.95 s Remaining CPU time: 55.05 s c =============================================================================== c | 1442 | 958 1702 594438 | 5000 1442 714 | 4.200 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 125.39 s Remaining CPU time: 54.6101 s c =============================================================================== c | 1452 | 958 1703 595288 | 5000 1452 714 | 4.200 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 126.106 s Remaining CPU time: 53.8942 s c =============================================================================== c | 1521 | 958 1704 596138 | 5000 1521 713 | 4.200 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 126.802 s Remaining CPU time: 53.1983 s c =============================================================================== c | 1570 | 958 1705 596988 | 5000 1570 712 | 4.200 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 127.266 s Remaining CPU time: 52.7343 s c =============================================================================== c | 1586 | 958 1706 597838 | 5000 1586 712 | 4.200 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 127.775 s Remaining CPU time: 52.2254 s c =============================================================================== c | 1626 | 958 1707 598688 | 5000 1626 712 | 4.200 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 128.713 s Remaining CPU time: 51.2866 s c =============================================================================== c | 1694 | 958 1708 599538 | 5000 1694 712 | 4.200 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 129.049 s Remaining CPU time: 50.9506 s c =============================================================================== c | 1696 | 958 1709 600388 | 5000 1696 712 | 4.200 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 129.508 s Remaining CPU time: 50.4917 s c =============================================================================== c | 1706 | 958 1710 601238 | 5000 1706 712 | 4.200 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 130.08 s Remaining CPU time: 49.9198 s c =============================================================================== c | 1729 | 958 1711 602088 | 5000 1729 711 | 4.200 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 130.426 s Remaining CPU time: 49.5738 s c =============================================================================== c | 1731 | 958 1712 602938 | 5000 1731 711 | 4.200 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 130.805 s Remaining CPU time: 49.1949 s c =============================================================================== c | 1734 | 958 1713 603788 | 5000 1734 711 | 4.200 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 131.178 s Remaining CPU time: 48.8219 s c =============================================================================== c | 1742 | 958 1714 604638 | 5000 1742 711 | 4.200 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 132.086 s Remaining CPU time: 47.9141 s c =============================================================================== c | 1831 | 958 1715 605488 | 5000 1831 710 | 4.200 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 132.531 s Remaining CPU time: 47.4691 s c =============================================================================== c | 1838 | 958 1716 606338 | 5000 1838 710 | 4.200 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 132.877 s Remaining CPU time: 47.1232 s c =============================================================================== c | 1840 | 958 1717 607188 | 5000 1840 710 | 4.200 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 133.248 s Remaining CPU time: 46.7523 s c =============================================================================== c | 1845 | 958 1718 608038 | 5000 1845 710 | 4.200 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 133.761 s Remaining CPU time: 46.2393 s c =============================================================================== c | 1865 | 958 1719 608888 | 5000 1865 710 | 4.200 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 134.109 s Remaining CPU time: 45.8914 s c =============================================================================== c | 1865 | 958 1720 609738 | 5000 1865 710 | 4.200 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 134.456 s Remaining CPU time: 45.5444 s c =============================================================================== c | 1868 | 958 1721 610588 | 5000 1868 710 | 4.200 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 135.255 s Remaining CPU time: 44.7446 s c =============================================================================== c | 1926 | 958 1722 611438 | 5000 1926 710 | 4.200 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 135.675 s Remaining CPU time: 44.3246 s c =============================================================================== c | 1933 | 958 1723 612288 | 5000 1933 709 | 4.200 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 136.44 s Remaining CPU time: 43.5597 s c =============================================================================== c | 1984 | 958 1724 613138 | 5000 1984 709 | 4.200 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 136.924 s Remaining CPU time: 43.0758 s c =============================================================================== c | 2001 | 958 1725 613988 | 5000 2001 709 | 4.200 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 137.388 s Remaining CPU time: 42.6119 s c =============================================================================== c | 2018 | 958 1726 614838 | 5000 2018 709 | 4.200 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 137.738 s Remaining CPU time: 42.2619 s c =============================================================================== c | 2020 | 958 1727 615688 | 5000 2020 709 | 4.200 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 138.093 s Remaining CPU time: 41.907 s c =============================================================================== c | 2022 | 958 1728 616538 | 5000 2022 709 | 4.200 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 138.451 s Remaining CPU time: 41.549 s c =============================================================================== c | 2023 | 958 1729 617388 | 5000 2023 709 | 4.200 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 138.808 s Remaining CPU time: 41.1921 s c =============================================================================== c | 2026 | 958 1730 618238 | 5000 2026 709 | 4.200 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 139.577 s Remaining CPU time: 40.4232 s c =============================================================================== c | 2068 | 958 1731 619088 | 5000 2068 709 | 4.200 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 139.987 s Remaining CPU time: 40.0133 s c =============================================================================== c | 2076 | 958 1732 619938 | 5000 2076 709 | 4.200 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 140.692 s Remaining CPU time: 39.3084 s c =============================================================================== c | 2114 | 958 1733 620788 | 5000 2114 708 | 4.200 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 141.307 s Remaining CPU time: 38.6935 s c =============================================================================== c | 2150 | 958 1734 621638 | 5000 2150 708 | 4.200 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 141.637 s Remaining CPU time: 38.3625 s c =============================================================================== c | 2150 | 958 1735 622488 | 5000 2150 708 | 4.200 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 141.971 s Remaining CPU time: 38.0286 s c =============================================================================== c | 2150 | 958 1736 623338 | 5000 2150 708 | 4.200 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 142.433 s Remaining CPU time: 37.5667 s c =============================================================================== c | 2164 | 958 1737 624188 | 5000 2164 708 | 4.200 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 142.777 s Remaining CPU time: 37.2227 s c =============================================================================== c | 2164 | 958 1738 625038 | 5000 2164 708 | 4.200 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 143.13 s Remaining CPU time: 36.8698 s c =============================================================================== c | 2168 | 958 1739 625888 | 5000 2168 708 | 4.200 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 143.498 s Remaining CPU time: 36.5018 s c =============================================================================== c | 2169 | 958 1740 626738 | 5000 2169 708 | 4.200 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 143.877 s Remaining CPU time: 36.1229 s c =============================================================================== c | 2172 | 958 1741 627588 | 5000 2172 708 | 4.200 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 144.234 s Remaining CPU time: 35.7659 s c =============================================================================== c | 2173 | 958 1742 628438 | 5000 2173 708 | 4.200 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 144.58 s Remaining CPU time: 35.42 s c =============================================================================== c | 2173 | 958 1743 629288 | 5000 2173 708 | 4.200 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 144.926 s Remaining CPU time: 35.074 s c =============================================================================== c | 2173 | 958 1744 630138 | 5000 2173 708 | 4.200 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 145.291 s Remaining CPU time: 34.7091 s c =============================================================================== c | 2174 | 958 1745 630988 | 5000 2174 708 | 4.200 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 145.655 s Remaining CPU time: 34.3451 s c =============================================================================== c | 2175 | 958 1746 631838 | 5000 2175 708 | 4.200 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 146.149 s Remaining CPU time: 33.8512 s c =============================================================================== c | 2194 | 958 1747 632688 | 5000 2194 708 | 4.200 % | c | 2294 | 958 1747 632688 | 5500 2294 707 | 4.200 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 147.598 s Remaining CPU time: 32.4024 s c =============================================================================== c | 2304 | 958 1748 633538 | 5000 2304 707 | 4.200 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 148.349 s Remaining CPU time: 31.6506 s c =============================================================================== c | 2366 | 958 1749 634388 | 5000 2366 707 | 4.200 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 149.025 s Remaining CPU time: 30.9747 s c =============================================================================== c | 2405 | 958 1750 635238 | 5000 2405 707 | 4.200 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 149.456 s Remaining CPU time: 30.5437 s c =============================================================================== c | 2414 | 958 1751 636088 | 5000 2414 707 | 4.200 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 149.81 s Remaining CPU time: 30.1898 s c =============================================================================== c | 2416 | 958 1752 636938 | 5000 2416 707 | 4.200 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 150.414 s Remaining CPU time: 29.5859 s c =============================================================================== c | 2440 | 958 1753 637788 | 5000 2440 706 | 4.200 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 150.903 s Remaining CPU time: 29.0969 s c =============================================================================== c | 2455 | 958 1754 638638 | 5000 2455 706 | 4.200 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 151.672 s Remaining CPU time: 28.3281 s c =============================================================================== c | 2506 | 958 1755 639488 | 5000 2506 706 | 4.200 % | c | 2607 | 958 1755 639488 | 5500 2607 706 | 4.200 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 153.318 s Remaining CPU time: 26.6823 s c =============================================================================== c | 2622 | 958 1756 640338 | 5000 2622 706 | 4.200 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 153.663 s Remaining CPU time: 26.3374 s c =============================================================================== c | 2622 | 958 1757 641188 | 5000 2622 706 | 4.200 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 154.186 s Remaining CPU time: 25.8144 s c =============================================================================== c | 2642 | 958 1758 642038 | 5000 2642 705 | 4.200 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 154.776 s Remaining CPU time: 25.2235 s c =============================================================================== c | 2662 | 958 1759 642888 | 5000 2662 705 | 4.200 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 155.117 s Remaining CPU time: 24.8826 s c =============================================================================== c | 2662 | 958 1760 643738 | 5000 2662 705 | 4.200 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 155.48 s Remaining CPU time: 24.5196 s c =============================================================================== c | 2662 | 958 1761 644588 | 5000 2662 705 | 4.200 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 155.841 s Remaining CPU time: 24.1587 s c =============================================================================== c | 2663 | 958 1762 645438 | 5000 2663 705 | 4.200 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 156.203 s Remaining CPU time: 23.7967 s c =============================================================================== c | 2664 | 958 1763 646288 | 5000 2664 705 | 4.200 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 156.682 s Remaining CPU time: 23.3178 s c =============================================================================== c | 2681 | 958 1764 647138 | 5000 2681 705 | 4.200 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 157.317 s Remaining CPU time: 22.6829 s c =============================================================================== c | 2731 | 958 1765 647988 | 5000 2731 705 | 4.200 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 157.82 s Remaining CPU time: 22.18 s c =============================================================================== c | 2741 | 958 1766 648838 | 5000 2741 705 | 4.200 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 158.289 s Remaining CPU time: 21.7111 s c =============================================================================== c | 2752 | 958 1767 649688 | 5000 2752 705 | 4.200 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 158.85 s Remaining CPU time: 21.1501 s c =============================================================================== c | 2765 | 958 1768 650538 | 5000 2765 705 | 4.200 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 159.237 s Remaining CPU time: 20.7632 s c =============================================================================== c | 2773 | 958 1769 651388 | 5000 2773 705 | 4.200 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 159.669 s Remaining CPU time: 20.3313 s c =============================================================================== c | 2782 | 958 1770 652238 | 5000 2782 705 | 4.200 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 160.052 s Remaining CPU time: 19.9483 s c =============================================================================== c | 2784 | 958 1771 653088 | 5000 2784 705 | 4.200 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 160.423 s Remaining CPU time: 19.5774 s c =============================================================================== c | 2785 | 958 1772 653938 | 5000 2785 705 | 4.200 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 160.773 s Remaining CPU time: 19.2274 s c =============================================================================== c | 2785 | 958 1773 654788 | 5000 2785 705 | 4.200 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 161.142 s Remaining CPU time: 18.8585 s c =============================================================================== c | 2786 | 958 1774 655638 | 5000 2786 705 | 4.200 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 161.572 s Remaining CPU time: 18.4276 s c =============================================================================== c | 2790 | 958 1775 656488 | 5000 2790 705 | 4.200 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 161.933 s Remaining CPU time: 18.0666 s c =============================================================================== c | 2790 | 958 1776 657338 | 5000 2790 705 | 4.200 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 162.459 s Remaining CPU time: 17.5407 s c =============================================================================== c | 2802 | 958 1777 658188 | 5000 2802 705 | 4.200 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 162.804 s Remaining CPU time: 17.1958 s c =============================================================================== c | 2802 | 958 1778 659038 | 5000 2802 705 | 4.200 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 163.341 s Remaining CPU time: 16.6588 s c =============================================================================== c | 2825 | 958 1779 659888 | 5000 2825 704 | 4.200 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 163.749 s Remaining CPU time: 16.2509 s c =============================================================================== c | 2827 | 958 1780 660738 | 5000 2827 704 | 4.200 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 164.108 s Remaining CPU time: 15.8919 s c =============================================================================== c | 2827 | 958 1781 661588 | 5000 2827 704 | 4.200 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 164.462 s Remaining CPU time: 15.538 s c =============================================================================== c | 2827 | 958 1782 662438 | 5000 2827 704 | 4.200 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 164.805 s Remaining CPU time: 15.1951 s c =============================================================================== c | 2827 | 958 1783 663288 | 5000 2827 704 | 4.200 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 165.15 s Remaining CPU time: 14.8501 s c =============================================================================== c | 2827 | 958 1784 664138 | 5000 2827 704 | 4.200 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 165.714 s Remaining CPU time: 14.2862 s c =============================================================================== c | 2846 | 958 1785 664988 | 5000 2846 704 | 4.200 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 166.156 s Remaining CPU time: 13.8443 s c =============================================================================== c | 2852 | 958 1786 665838 | 5000 2852 704 | 4.200 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 166.534 s Remaining CPU time: 13.4663 s c =============================================================================== c | 2857 | 958 1787 666688 | 5000 2857 704 | 4.200 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 167.005 s Remaining CPU time: 12.9954 s c =============================================================================== c | 2866 | 958 1788 667538 | 5000 2866 704 | 4.200 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 167.369 s Remaining CPU time: 12.6314 s c =============================================================================== c | 2866 | 958 1789 668388 | 5000 2866 704 | 4.200 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 168.132 s Remaining CPU time: 11.8676 s c =============================================================================== c | 2918 | 958 1790 669238 | 5000 2918 704 | 4.200 % | c | 3019 | 958 1790 669238 | 5500 3019 703 | 4.200 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 169.807 s Remaining CPU time: 10.1928 s c =============================================================================== c | 3057 | 958 1791 670088 | 5000 3057 703 | 4.200 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 170.284 s Remaining CPU time: 9.71589 s c =============================================================================== c | 3072 | 958 1792 670938 | 5000 3072 703 | 4.200 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 170.714 s Remaining CPU time: 9.28595 s c =============================================================================== c | 3082 | 958 1793 671788 | 5000 3082 703 | 4.200 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 171.086 s Remaining CPU time: 8.91401 s c =============================================================================== c | 3082 | 958 1794 672638 | 5000 3082 703 | 4.200 % | c | 3183 | 958 1794 672638 | 5500 3183 702 | 4.200 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 172.644 s Remaining CPU time: 7.35625 s c =============================================================================== c | 3200 | 958 1795 673488 | 5000 3200 702 | 4.200 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 173.257 s Remaining CPU time: 6.74334 s c =============================================================================== c | 3225 | 958 1796 674338 | 5000 3225 702 | 4.200 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 173.752 s Remaining CPU time: 6.24841 s c =============================================================================== c | 3253 | 958 1797 675188 | 5000 3253 702 | 4.200 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 174.286 s Remaining CPU time: 5.7145 s c =============================================================================== c | 3288 | 958 1798 676038 | 5000 3288 702 | 4.200 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 175.203 s Remaining CPU time: 4.79664 s c =============================================================================== c | 3336 | 958 1799 676888 | 5000 3336 701 | 4.200 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 175.761 s Remaining CPU time: 4.23872 s c =============================================================================== c | 3364 | 958 1800 677738 | 5000 3364 701 | 4.200 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 176.427 s Remaining CPU time: 3.57282 s c =============================================================================== c | 3389 | 958 1801 678588 | 5000 3389 701 | 4.200 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 177.009 s Remaining CPU time: 2.99091 s c =============================================================================== c | 3411 | 958 1802 679438 | 5000 3411 701 | 4.200 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 177.497 s Remaining CPU time: 2.50298 s c =============================================================================== c | 3433 | 958 1803 680288 | 5000 3433 701 | 4.200 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 177.876 s Remaining CPU time: 2.12404 s c =============================================================================== c | 3433 | 958 1804 681138 | 5000 3433 701 | 4.200 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 178.415 s Remaining CPU time: 1.58512 s c =============================================================================== c | 3461 | 958 1805 681988 | 5000 3461 701 | 4.200 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 178.917 s Remaining CPU time: 1.0832 s c =============================================================================== c | 3476 | 958 1806 682838 | 5000 3476 701 | 4.200 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 179.294 s Remaining CPU time: 0.706257 s c =============================================================================== c | 3476 | 958 1807 683688 | 5000 3476 701 | 4.200 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 179.747 s Remaining CPU time: 0.253326 s c =============================================================================== c | 3481 | 958 1808 684538 | 5000 3481 701 | 4.200 % | c There are 42 assigned variables. 6 in cost function.