0.59/0.62	c WARNING: for repeatability, setting FPU to use double precision
0.59/0.62	c iter 1 time 0.074988 not-muc 32734 unknown 2147 muc 0
0.59/0.62	c iter 2 time 0.098984 not-muc 32919 unknown 1962 muc 0
0.59/0.62	c iter 3 time 0.12898 not-muc 33047 unknown 1834 muc 0
0.59/0.62	c iter 4 time 0.143978 not-muc 33087 unknown 1794 muc 0
0.59/0.62	c iter 5 time 0.155976 not-muc 33110 unknown 1771 muc 0
0.59/0.62	c iter 6 time 0.158975 not-muc 33111 unknown 1770 muc 0
0.59/0.62	c iter 7 time 0.168974 not-muc 33140 unknown 1741 muc 0
0.59/0.62	c iter 8 time 0.182972 not-muc 33155 unknown 1726 muc 0
0.59/0.62	c iter 9 time 0.19197 not-muc 33162 unknown 1719 muc 0
0.59/0.62	c iter 10 time 0.202969 not-muc 33188 unknown 1693 muc 0
0.59/0.62	c iter 11 time 0.210967 not-muc 33193 unknown 1688 muc 0
0.59/0.62	c iter 12 time 0.216967 not-muc 33194 unknown 1687 muc 0
0.59/0.62	c iter 13 time 0.224965 not-muc 33201 unknown 1680 muc 0
0.59/0.62	c iter 14 time 0.231964 not-muc 33207 unknown 1674 muc 0
0.59/0.62	c iter 15 time 0.237963 not-muc 33210 unknown 1671 muc 0
0.59/0.62	c iter 16 time 0.245962 not-muc 33212 unknown 1669 muc 0
0.59/0.62	c iter 17 time 0.251961 not-muc 33215 unknown 1666 muc 0
0.59/0.62	c iter 18 time 0.25796 not-muc 33218 unknown 1663 muc 0
0.59/0.62	c iter 19 time 0.263959 not-muc 33219 unknown 1662 muc 0
0.59/0.62	c iter 20 time 0.273958 not-muc 33220 unknown 1661 muc 0
0.59/0.62	c iter 21 time 0.285956 not-muc 33260 unknown 1621 muc 0
0.59/0.62	c iter 22 time 0.290955 not-muc 33260 unknown 1620 muc 1
0.59/0.62	c iter 23 time 0.296954 not-muc 33275 unknown 1605 muc 1
0.59/0.62	c iter 24 time 0.299954 not-muc 33298 unknown 1582 muc 1
0.59/0.62	c iter 25 time 0.302953 not-muc 33360 unknown 1520 muc 1
0.59/0.62	c iter 26 time 0.307953 not-muc 33368 unknown 1512 muc 1
0.59/0.62	c iter 27 time 0.310952 not-muc 33368 unknown 1511 muc 2
0.59/0.62	c iter 28 time 0.311952 not-muc 33368 unknown 1510 muc 3
0.59/0.62	c iter 29 time 0.311952 not-muc 33368 unknown 1509 muc 4
0.59/0.62	c iter 30 time 0.313952 not-muc 33368 unknown 1508 muc 5
0.59/0.62	c iter 31 time 0.315951 not-muc 33368 unknown 1507 muc 6
0.59/0.62	c iter 32 time 0.319951 not-muc 33368 unknown 1506 muc 7
0.59/0.62	c iter 33 time 0.321951 not-muc 33368 unknown 1505 muc 8
0.59/0.62	c iter 34 time 0.32295 not-muc 33368 unknown 1504 muc 9
0.59/0.62	c iter 35 time 0.32395 not-muc 33368 unknown 1503 muc 10
0.59/0.62	c iter 36 time 0.32495 not-muc 33368 unknown 1502 muc 11
0.59/0.62	c iter 37 time 0.32595 not-muc 33368 unknown 1501 muc 12
0.59/0.62	c iter 38 time 0.328949 not-muc 33368 unknown 1500 muc 13
0.59/0.62	c iter 39 time 0.332949 not-muc 33371 unknown 1497 muc 13
0.59/0.62	c iter 40 time 0.335948 not-muc 33378 unknown 1490 muc 13
0.59/0.62	c iter 41 time 0.339948 not-muc 33389 unknown 1479 muc 13
0.59/0.62	c iter 42 time 0.343947 not-muc 33400 unknown 1468 muc 13
0.59/0.62	c iter 43 time 0.347947 not-muc 33401 unknown 1467 muc 13
0.59/0.62	c iter 44 time 0.351946 not-muc 33402 unknown 1466 muc 13
0.59/0.62	c iter 45 time 0.356945 not-muc 33408 unknown 1460 muc 13
0.59/0.62	c iter 46 time 0.358945 not-muc 33411 unknown 1457 muc 13
0.59/0.62	c iter 47 time 0.361944 not-muc 33412 unknown 1456 muc 13
0.59/0.62	c iter 48 time 0.363944 not-muc 33413 unknown 1455 muc 13
0.59/0.62	c iter 49 time 0.365944 not-muc 33414 unknown 1454 muc 13
0.59/0.62	c iter 50 time 0.370943 not-muc 33427 unknown 1441 muc 13
0.59/0.62	c iter 51 time 0.377942 not-muc 33429 unknown 1439 muc 13
0.59/0.62	c iter 52 time 0.407937 not-muc 33443 unknown 1425 muc 13
0.59/0.62	c iter 53 time 0.432934 not-muc 33482 unknown 1386 muc 13
0.59/0.62	c iter 54 time 0.435933 not-muc 33482 unknown 1385 muc 14
0.59/0.62	c iter 55 time 0.445932 not-muc 33486 unknown 1381 muc 14
0.59/0.62	c iter 56 time 0.446932 not-muc 33486 unknown 1380 muc 15
0.59/0.62	c iter 57 time 0.462929 not-muc 33491 unknown 1375 muc 15
0.59/0.62	c iter 58 time 0.466929 not-muc 33491 unknown 1374 muc 16
0.59/0.62	c iter 59 time 0.479927 not-muc 33494 unknown 1371 muc 16
0.59/0.62	c iter 60 time 0.483926 not-muc 33494 unknown 1370 muc 17
0.59/0.62	c iter 61 time 0.485926 not-muc 33494 unknown 1369 muc 18
0.59/0.62	c iter 62 time 0.496924 not-muc 33496 unknown 1367 muc 18
0.59/0.62	c iter 63 time 0.501923 not-muc 33496 unknown 1366 muc 19
0.59/0.62	c iter 64 time 0.513921 not-muc 33498 unknown 1364 muc 19
0.59/0.62	c iter 65 time 0.527919 not-muc 33498 unknown 1363 muc 20
0.59/0.62	c iter 66 time 0.552915 not-muc 33504 unknown 1357 muc 20
0.59/0.62	c iter 67 time 0.555915 not-muc 33504 unknown 1356 muc 21
0.59/0.62	c iter 68 time 0.576912 not-muc 33525 unknown 1335 muc 21
0.59/0.62	c iter 69 time 0.59191 not-muc 33569 unknown 1291 muc 21
0.59/0.62	c iter 70 time 0.606907 not-muc 33572 unknown 1288 muc 21
0.59/0.62	c iter 71 time 0.623905 not-muc 33574 unknown 1286 muc 21
1.39/1.48	c iter 72 time 0.647901 not-muc 33576 unknown 1284 muc 21
1.39/1.48	c iter 73 time 0.662899 not-muc 33578 unknown 1282 muc 21
1.39/1.48	c iter 74 time 0.673897 not-muc 33580 unknown 1280 muc 21
1.39/1.48	c iter 75 time 0.683896 not-muc 33582 unknown 1278 muc 21
1.39/1.48	c iter 76 time 0.697893 not-muc 33585 unknown 1275 muc 21
1.39/1.48	c iter 77 time 0.708892 not-muc 33587 unknown 1273 muc 21
1.39/1.48	c iter 78 time 0.72289 not-muc 33589 unknown 1271 muc 21
1.39/1.48	c iter 79 time 0.724889 not-muc 33589 unknown 1270 muc 22
1.39/1.48	c iter 80 time 0.726889 not-muc 33589 unknown 1269 muc 23
1.39/1.48	c iter 81 time 0.729889 not-muc 33589 unknown 1268 muc 24
1.39/1.48	c iter 82 time 0.742887 not-muc 33589 unknown 1267 muc 25
1.39/1.48	c iter 83 time 0.746886 not-muc 33589 unknown 1266 muc 26
1.39/1.48	c iter 84 time 0.748886 not-muc 33589 unknown 1265 muc 27
1.39/1.48	c iter 85 time 0.750885 not-muc 33589 unknown 1264 muc 28
1.39/1.48	c iter 86 time 0.752885 not-muc 33589 unknown 1263 muc 29
1.39/1.48	c iter 87 time 0.754885 not-muc 33589 unknown 1262 muc 30
1.39/1.48	c iter 88 time 0.774882 not-muc 33589 unknown 1261 muc 31
1.39/1.48	c iter 89 time 0.776881 not-muc 33589 unknown 1260 muc 32
1.39/1.48	c iter 90 time 0.779881 not-muc 33589 unknown 1259 muc 33
1.39/1.48	c iter 91 time 0.780881 not-muc 33589 unknown 1258 muc 34
1.39/1.48	c iter 92 time 0.78288 not-muc 33589 unknown 1257 muc 35
1.39/1.48	c iter 93 time 0.857869 not-muc 33619 unknown 1227 muc 35
1.39/1.48	c iter 94 time 0.860869 not-muc 33619 unknown 1226 muc 36
1.39/1.48	c iter 95 time 0.864868 not-muc 33619 unknown 1225 muc 37
1.39/1.48	c iter 96 time 0.867868 not-muc 33619 unknown 1224 muc 38
1.39/1.48	c iter 97 time 0.874867 not-muc 33621 unknown 1222 muc 38
1.39/1.48	c iter 98 time 0.953854 not-muc 33683 unknown 1160 muc 38
1.39/1.48	c iter 99 time 0.957854 not-muc 33683 unknown 1159 muc 39
1.39/1.48	c iter 100 time 0.997848 not-muc 33688 unknown 1154 muc 39
1.39/1.48	c iter 101 time 1.04384 not-muc 33692 unknown 1150 muc 39
1.39/1.48	c iter 102 time 1.08384 not-muc 33696 unknown 1146 muc 39
1.39/1.48	c iter 103 time 1.12383 not-muc 33698 unknown 1144 muc 39
1.39/1.48	c iter 104 time 1.12783 not-muc 33698 unknown 1143 muc 40
1.39/1.48	c iter 105 time 1.14682 not-muc 33701 unknown 1140 muc 40
1.39/1.48	c iter 106 time 1.16982 not-muc 33703 unknown 1138 muc 40
1.39/1.48	c iter 107 time 1.17182 not-muc 33703 unknown 1137 muc 41
1.39/1.48	c iter 108 time 1.17382 not-muc 33703 unknown 1136 muc 42
1.39/1.48	c iter 109 time 1.17682 not-muc 33703 unknown 1135 muc 43
1.39/1.48	c iter 110 time 1.18482 not-muc 33703 unknown 1134 muc 44
1.39/1.48	c iter 111 time 1.18682 not-muc 33703 unknown 1133 muc 45
1.39/1.48	c iter 112 time 1.18782 not-muc 33703 unknown 1132 muc 46
1.39/1.48	c iter 113 time 1.19282 not-muc 33703 unknown 1131 muc 47
1.39/1.48	c iter 114 time 1.19782 not-muc 33703 unknown 1130 muc 48
1.39/1.48	c iter 115 time 1.20182 not-muc 33703 unknown 1129 muc 49
1.39/1.48	c iter 116 time 1.20582 not-muc 33703 unknown 1128 muc 50
1.39/1.48	c iter 117 time 1.20782 not-muc 33703 unknown 1127 muc 51
1.39/1.48	c iter 118 time 1.21081 not-muc 33703 unknown 1126 muc 52
1.39/1.48	c iter 119 time 1.22681 not-muc 33703 unknown 1125 muc 53
1.39/1.48	c iter 120 time 1.22881 not-muc 33703 unknown 1124 muc 54
1.39/1.48	c iter 121 time 1.24781 not-muc 33703 unknown 1123 muc 55
1.39/1.48	c iter 122 time 1.24981 not-muc 33703 unknown 1122 muc 56
1.39/1.48	c iter 123 time 1.26181 not-muc 33703 unknown 1121 muc 57
1.39/1.48	c iter 124 time 1.26881 not-muc 33703 unknown 1120 muc 58
1.39/1.48	c iter 125 time 1.27181 not-muc 33703 unknown 1119 muc 59
1.39/1.48	c iter 126 time 1.27381 not-muc 33703 unknown 1118 muc 60
1.39/1.48	c iter 127 time 1.2768 not-muc 33703 unknown 1117 muc 61
1.39/1.48	c iter 128 time 1.2788 not-muc 33703 unknown 1116 muc 62
1.39/1.48	c iter 129 time 1.37079 not-muc 33704 unknown 1115 muc 62
1.39/1.48	c iter 130 time 1.38179 not-muc 33704 unknown 1114 muc 63
1.39/1.48	c iter 131 time 1.44178 not-muc 33705 unknown 1113 muc 63
1.39/1.48	c iter 132 time 1.44778 not-muc 33705 unknown 1112 muc 64
1.39/1.48	c iter 133 time 1.44878 not-muc 33705 unknown 1111 muc 65
1.39/1.48	c iter 134 time 1.45078 not-muc 33705 unknown 1110 muc 66
1.39/1.48	c iter 135 time 1.46778 not-muc 33705 unknown 1109 muc 67
1.39/1.48	c iter 136 time 1.46978 not-muc 33705 unknown 1108 muc 68
1.39/1.48	c iter 137 time 1.47278 not-muc 33705 unknown 1107 muc 69
1.39/1.48	c iter 138 time 1.47477 not-muc 33705 unknown 1106 muc 70
1.39/1.48	c iter 139 time 1.47578 not-muc 33705 unknown 1105 muc 71
1.39/1.48	c iter 140 time 1.47778 not-muc 33705 unknown 1104 muc 72
1.39/1.48	c iter 141 time 1.47877 not-muc 33705 unknown 1103 muc 73
1.39/1.48	c iter 142 time 1.48077 not-muc 33705 unknown 1102 muc 74
1.79/1.86	c iter 143 time 1.48277 not-muc 33705 unknown 1101 muc 75
1.79/1.86	c iter 144 time 1.48577 not-muc 33705 unknown 1100 muc 76
1.79/1.86	c iter 145 time 1.48677 not-muc 33705 unknown 1099 muc 77
1.79/1.86	c iter 146 time 1.48977 not-muc 33705 unknown 1098 muc 78
1.79/1.86	c iter 147 time 1.49177 not-muc 33705 unknown 1097 muc 79
1.79/1.86	c iter 148 time 1.49277 not-muc 33705 unknown 1096 muc 80
1.79/1.86	c iter 149 time 1.49877 not-muc 33705 unknown 1095 muc 81
1.79/1.86	c iter 150 time 1.50777 not-muc 33705 unknown 1094 muc 82
1.79/1.86	c iter 151 time 1.50877 not-muc 33705 unknown 1093 muc 83
1.79/1.86	c iter 152 time 1.51277 not-muc 33705 unknown 1092 muc 84
1.79/1.86	c iter 153 time 1.51577 not-muc 33705 unknown 1091 muc 85
1.79/1.86	c iter 154 time 1.56276 not-muc 33709 unknown 1087 muc 85
1.79/1.86	c iter 155 time 1.56576 not-muc 33709 unknown 1086 muc 86
1.79/1.86	c iter 156 time 1.62875 not-muc 33711 unknown 1084 muc 86
1.79/1.86	c iter 157 time 1.63275 not-muc 33711 unknown 1083 muc 87
1.79/1.86	c iter 158 time 1.69074 not-muc 33713 unknown 1081 muc 87
1.79/1.86	c iter 159 time 1.69874 not-muc 33713 unknown 1080 muc 88
1.79/1.86	c iter 160 time 1.70074 not-muc 33713 unknown 1079 muc 89
1.79/1.86	c iter 161 time 1.70274 not-muc 33713 unknown 1078 muc 90
1.79/1.86	c iter 162 time 1.70474 not-muc 33713 unknown 1077 muc 91
1.79/1.86	c iter 163 time 1.70674 not-muc 33713 unknown 1076 muc 92
1.79/1.86	c iter 164 time 1.70774 not-muc 33713 unknown 1075 muc 93
1.79/1.86	c iter 165 time 1.70974 not-muc 33713 unknown 1074 muc 94
1.79/1.86	c iter 166 time 1.71274 not-muc 33713 unknown 1073 muc 95
1.79/1.86	c iter 167 time 1.71474 not-muc 33713 unknown 1072 muc 96
1.79/1.86	c iter 168 time 1.71674 not-muc 33713 unknown 1071 muc 97
1.79/1.86	c iter 169 time 1.72074 not-muc 33713 unknown 1070 muc 98
1.79/1.86	c iter 170 time 1.72274 not-muc 33713 unknown 1069 muc 99
1.79/1.86	c iter 171 time 1.72974 not-muc 33713 unknown 1068 muc 100
1.79/1.86	c iter 172 time 1.73174 not-muc 33713 unknown 1067 muc 101
1.79/1.86	c iter 173 time 1.73374 not-muc 33713 unknown 1066 muc 102
1.79/1.86	c iter 174 time 1.73574 not-muc 33713 unknown 1065 muc 103
1.79/1.86	c iter 175 time 1.73774 not-muc 33713 unknown 1064 muc 104
1.79/1.86	c iter 176 time 1.73974 not-muc 33713 unknown 1063 muc 105
1.79/1.86	c iter 177 time 1.74174 not-muc 33713 unknown 1062 muc 106
1.79/1.86	c iter 178 time 1.74373 not-muc 33713 unknown 1061 muc 107
1.79/1.86	c iter 179 time 1.74473 not-muc 33713 unknown 1060 muc 108
1.79/1.86	c iter 180 time 1.74673 not-muc 33713 unknown 1059 muc 109
1.79/1.86	c iter 181 time 1.75273 not-muc 33713 unknown 1058 muc 110
1.79/1.86	c iter 182 time 1.76673 not-muc 33713 unknown 1057 muc 111
1.79/1.86	c iter 183 time 1.77273 not-muc 33713 unknown 1056 muc 112
1.79/1.86	c iter 184 time 1.77573 not-muc 33713 unknown 1055 muc 113
1.79/1.86	c iter 185 time 1.77773 not-muc 33713 unknown 1054 muc 114
1.79/1.86	c iter 186 time 1.78073 not-muc 33713 unknown 1053 muc 115
1.79/1.86	c iter 187 time 1.78573 not-muc 33713 unknown 1052 muc 116
1.79/1.86	c iter 188 time 1.78873 not-muc 33713 unknown 1051 muc 117
1.79/1.86	c iter 189 time 1.79073 not-muc 33713 unknown 1050 muc 118
1.79/1.86	c iter 190 time 1.79273 not-muc 33713 unknown 1049 muc 119
1.79/1.86	c iter 191 time 1.79473 not-muc 33713 unknown 1048 muc 120
1.79/1.86	c iter 192 time 1.79673 not-muc 33713 unknown 1047 muc 121
1.79/1.86	c iter 193 time 1.80173 not-muc 33713 unknown 1046 muc 122
1.79/1.86	c iter 194 time 1.80472 not-muc 33713 unknown 1045 muc 123
1.79/1.86	c iter 195 time 1.80673 not-muc 33713 unknown 1044 muc 124
1.79/1.86	c iter 196 time 1.80872 not-muc 33713 unknown 1043 muc 125
1.79/1.86	c iter 197 time 1.80972 not-muc 33713 unknown 1042 muc 126
1.79/1.86	c iter 198 time 1.81172 not-muc 33713 unknown 1041 muc 127
1.79/1.86	c iter 199 time 1.82172 not-muc 33713 unknown 1040 muc 128
1.79/1.86	c iter 200 time 1.82372 not-muc 33713 unknown 1039 muc 129
1.79/1.86	c iter 201 time 1.83172 not-muc 33713 unknown 1038 muc 130
1.79/1.86	c iter 202 time 1.83472 not-muc 33713 unknown 1037 muc 131
1.79/1.86	c iter 203 time 1.83572 not-muc 33713 unknown 1036 muc 132
1.79/1.86	c iter 204 time 1.83772 not-muc 33713 unknown 1035 muc 133
1.79/1.86	c iter 205 time 1.83872 not-muc 33713 unknown 1034 muc 134
1.79/1.86	c iter 206 time 1.84072 not-muc 33713 unknown 1033 muc 135
1.79/1.86	c iter 207 time 1.84172 not-muc 33713 unknown 1032 muc 136
1.79/1.86	c iter 208 time 1.84472 not-muc 33713 unknown 1031 muc 137
1.79/1.86	c iter 209 time 1.84672 not-muc 33713 unknown 1030 muc 138
1.79/1.86	c iter 210 time 1.85172 not-muc 33713 unknown 1029 muc 139
1.79/1.86	c iter 211 time 1.85272 not-muc 33713 unknown 1028 muc 140
2.09/2.18	c iter 212 time 1.85772 not-muc 33713 unknown 1027 muc 141
2.09/2.18	c iter 213 time 1.85972 not-muc 33713 unknown 1026 muc 142
2.09/2.18	c iter 214 time 1.86272 not-muc 33713 unknown 1025 muc 143
2.09/2.18	c iter 215 time 1.86372 not-muc 33713 unknown 1024 muc 144
2.09/2.18	c iter 216 time 1.86572 not-muc 33713 unknown 1023 muc 145
2.09/2.18	c iter 217 time 1.86772 not-muc 33713 unknown 1022 muc 146
2.09/2.18	c iter 218 time 1.86972 not-muc 33713 unknown 1021 muc 147
2.09/2.18	c iter 219 time 1.87172 not-muc 33713 unknown 1020 muc 148
2.09/2.18	c iter 220 time 1.87372 not-muc 33713 unknown 1019 muc 149
2.09/2.18	c iter 221 time 1.87571 not-muc 33713 unknown 1018 muc 150
2.09/2.18	c iter 222 time 1.87771 not-muc 33713 unknown 1017 muc 151
2.09/2.18	c iter 223 time 1.87971 not-muc 33713 unknown 1016 muc 152
2.09/2.18	c iter 224 time 1.88171 not-muc 33713 unknown 1015 muc 153
2.09/2.18	c iter 225 time 1.88371 not-muc 33713 unknown 1014 muc 154
2.09/2.18	c iter 226 time 1.88571 not-muc 33713 unknown 1013 muc 155
2.09/2.18	c iter 227 time 1.88771 not-muc 33713 unknown 1012 muc 156
2.09/2.18	c iter 228 time 1.88971 not-muc 33713 unknown 1011 muc 157
2.09/2.18	c iter 229 time 1.89171 not-muc 33713 unknown 1010 muc 158
2.09/2.18	c iter 230 time 1.89371 not-muc 33713 unknown 1009 muc 159
2.09/2.18	c iter 231 time 1.89571 not-muc 33713 unknown 1008 muc 160
2.09/2.18	c iter 232 time 1.89771 not-muc 33713 unknown 1007 muc 161
2.09/2.18	c iter 233 time 1.91371 not-muc 33713 unknown 1006 muc 162
2.09/2.18	c iter 234 time 1.91571 not-muc 33713 unknown 1005 muc 163
2.09/2.18	c iter 235 time 1.91771 not-muc 33713 unknown 1004 muc 164
2.09/2.18	c iter 236 time 1.91971 not-muc 33713 unknown 1003 muc 165
2.09/2.18	c iter 237 time 1.92171 not-muc 33713 unknown 1002 muc 166
2.09/2.18	c iter 238 time 1.92371 not-muc 33713 unknown 1001 muc 167
2.09/2.18	c iter 239 time 1.92571 not-muc 33713 unknown 1000 muc 168
2.09/2.18	c iter 240 time 1.92771 not-muc 33713 unknown 999 muc 169
2.09/2.18	c iter 241 time 1.92871 not-muc 33713 unknown 998 muc 170
2.09/2.18	c iter 242 time 1.93071 not-muc 33713 unknown 997 muc 171
2.09/2.18	c iter 243 time 1.93371 not-muc 33713 unknown 996 muc 172
2.09/2.18	c iter 244 time 1.9467 not-muc 33713 unknown 995 muc 173
2.09/2.18	c iter 245 time 1.9507 not-muc 33713 unknown 994 muc 174
2.09/2.18	c iter 246 time 1.9517 not-muc 33713 unknown 993 muc 175
2.09/2.18	c iter 247 time 1.9547 not-muc 33713 unknown 992 muc 176
2.09/2.18	c iter 248 time 1.9557 not-muc 33713 unknown 991 muc 177
2.09/2.18	c iter 249 time 1.9587 not-muc 33713 unknown 990 muc 178
2.09/2.18	c iter 250 time 1.9607 not-muc 33713 unknown 989 muc 179
2.09/2.18	c iter 251 time 1.9627 not-muc 33713 unknown 988 muc 180
2.09/2.18	c iter 252 time 1.9647 not-muc 33713 unknown 987 muc 181
2.09/2.18	c iter 253 time 1.9677 not-muc 33713 unknown 986 muc 182
2.09/2.18	c iter 254 time 1.9707 not-muc 33713 unknown 985 muc 183
2.09/2.18	c iter 255 time 2.03669 not-muc 33716 unknown 982 muc 183
2.09/2.18	c iter 256 time 2.04269 not-muc 33716 unknown 981 muc 184
2.09/2.18	c iter 257 time 2.04469 not-muc 33716 unknown 980 muc 185
2.09/2.18	c iter 258 time 2.04869 not-muc 33716 unknown 979 muc 186
2.09/2.18	c iter 259 time 2.05069 not-muc 33716 unknown 978 muc 187
2.09/2.18	c iter 260 time 2.05269 not-muc 33716 unknown 977 muc 188
2.09/2.18	c iter 261 time 2.05469 not-muc 33716 unknown 976 muc 189
2.09/2.18	c iter 262 time 2.05669 not-muc 33716 unknown 975 muc 190
2.09/2.18	c iter 263 time 2.05869 not-muc 33716 unknown 974 muc 191
2.09/2.18	c iter 264 time 2.06269 not-muc 33716 unknown 973 muc 192
2.09/2.18	c iter 265 time 2.06469 not-muc 33716 unknown 972 muc 193
2.09/2.18	c iter 266 time 2.06669 not-muc 33716 unknown 971 muc 194
2.09/2.18	c iter 267 time 2.06868 not-muc 33716 unknown 970 muc 195
2.09/2.18	c iter 268 time 2.07069 not-muc 33716 unknown 969 muc 196
2.09/2.18	c iter 269 time 2.07268 not-muc 33716 unknown 968 muc 197
2.09/2.18	c iter 270 time 2.07468 not-muc 33716 unknown 967 muc 198
2.09/2.18	c iter 271 time 2.07668 not-muc 33716 unknown 966 muc 199
2.09/2.18	c iter 272 time 2.07868 not-muc 33716 unknown 965 muc 200
2.09/2.18	c iter 273 time 2.08068 not-muc 33716 unknown 964 muc 201
2.09/2.18	c iter 274 time 2.12268 not-muc 33717 unknown 963 muc 201
2.09/2.18	c iter 275 time 2.12668 not-muc 33717 unknown 962 muc 202
2.09/2.18	c iter 276 time 2.12868 not-muc 33717 unknown 961 muc 203
2.09/2.18	c iter 277 time 2.15567 not-muc 33718 unknown 960 muc 203
2.09/2.18	c iter 278 time 2.15967 not-muc 33718 unknown 959 muc 204
2.09/2.18	c iter 279 time 2.16167 not-muc 33718 unknown 958 muc 205
2.09/2.18	c iter 280 time 2.16367 not-muc 33718 unknown 957 muc 206
2.09/2.18	c iter 281 time 2.16567 not-muc 33718 unknown 956 muc 207
2.09/2.18	c iter 282 time 2.17767 not-muc 33718 unknown 955 muc 208
2.58/2.66	c iter 283 time 2.18067 not-muc 33718 unknown 954 muc 209
2.58/2.66	c iter 284 time 2.18267 not-muc 33718 unknown 953 muc 210
2.58/2.66	c iter 285 time 2.18467 not-muc 33718 unknown 952 muc 211
2.58/2.66	c iter 286 time 2.19367 not-muc 33718 unknown 951 muc 212
2.58/2.66	c iter 287 time 2.19567 not-muc 33718 unknown 950 muc 213
2.58/2.66	c iter 288 time 2.19767 not-muc 33718 unknown 949 muc 214
2.58/2.66	c iter 289 time 2.19966 not-muc 33718 unknown 948 muc 215
2.58/2.66	c iter 290 time 2.20167 not-muc 33718 unknown 947 muc 216
2.58/2.66	c iter 291 time 2.20366 not-muc 33718 unknown 946 muc 217
2.58/2.66	c iter 292 time 2.20566 not-muc 33718 unknown 945 muc 218
2.58/2.66	c iter 293 time 2.20766 not-muc 33718 unknown 944 muc 219
2.58/2.66	c iter 294 time 2.20966 not-muc 33718 unknown 943 muc 220
2.58/2.66	c iter 295 time 2.21166 not-muc 33718 unknown 942 muc 221
2.58/2.66	c iter 296 time 2.21366 not-muc 33718 unknown 941 muc 222
2.58/2.66	c iter 297 time 2.21666 not-muc 33718 unknown 940 muc 223
2.58/2.66	c iter 298 time 2.21866 not-muc 33718 unknown 939 muc 224
2.58/2.66	c iter 299 time 2.22166 not-muc 33718 unknown 938 muc 225
2.58/2.66	c iter 300 time 2.22766 not-muc 33718 unknown 937 muc 226
2.58/2.66	c iter 301 time 2.22966 not-muc 33718 unknown 936 muc 227
2.58/2.66	c iter 302 time 2.23366 not-muc 33718 unknown 935 muc 228
2.58/2.66	c iter 303 time 2.23666 not-muc 33718 unknown 934 muc 229
2.58/2.66	c iter 304 time 2.23866 not-muc 33718 unknown 933 muc 230
2.58/2.66	c iter 305 time 2.24066 not-muc 33718 unknown 932 muc 231
2.58/2.66	c iter 306 time 2.26166 not-muc 33718 unknown 931 muc 232
2.58/2.66	c iter 307 time 2.26465 not-muc 33718 unknown 930 muc 233
2.58/2.66	c iter 308 time 2.26666 not-muc 33718 unknown 929 muc 234
2.58/2.66	c iter 309 time 2.26865 not-muc 33718 unknown 928 muc 235
2.58/2.66	c iter 310 time 2.27065 not-muc 33718 unknown 927 muc 236
2.58/2.66	c iter 311 time 2.27365 not-muc 33718 unknown 926 muc 237
2.58/2.66	c iter 312 time 2.27565 not-muc 33718 unknown 925 muc 238
2.58/2.66	c iter 313 time 2.27865 not-muc 33718 unknown 924 muc 239
2.58/2.66	c iter 314 time 2.28165 not-muc 33718 unknown 923 muc 240
2.58/2.66	c iter 315 time 2.28365 not-muc 33718 unknown 922 muc 241
2.58/2.66	c iter 316 time 2.28665 not-muc 33718 unknown 921 muc 242
2.58/2.66	c iter 317 time 2.28865 not-muc 33718 unknown 920 muc 243
2.58/2.66	c iter 318 time 2.29165 not-muc 33718 unknown 919 muc 244
2.58/2.66	c iter 319 time 2.29565 not-muc 33718 unknown 918 muc 245
2.58/2.66	c iter 320 time 2.29765 not-muc 33718 unknown 917 muc 246
2.58/2.66	c iter 321 time 2.30165 not-muc 33718 unknown 916 muc 247
2.58/2.66	c iter 322 time 2.30565 not-muc 33718 unknown 915 muc 248
2.58/2.66	c iter 323 time 2.34564 not-muc 33720 unknown 913 muc 248
2.58/2.66	c iter 324 time 2.35164 not-muc 33720 unknown 912 muc 249
2.58/2.66	c iter 325 time 2.35364 not-muc 33720 unknown 911 muc 250
2.58/2.66	c iter 326 time 2.35564 not-muc 33720 unknown 910 muc 251
2.58/2.66	c iter 327 time 2.35864 not-muc 33720 unknown 909 muc 252
2.58/2.66	c iter 328 time 2.36064 not-muc 33720 unknown 908 muc 253
2.58/2.66	c iter 329 time 2.36264 not-muc 33720 unknown 907 muc 254
2.58/2.66	c iter 330 time 2.39464 not-muc 33721 unknown 906 muc 254
2.58/2.66	c iter 331 time 2.39864 not-muc 33721 unknown 905 muc 255
2.58/2.66	c iter 332 time 2.40063 not-muc 33721 unknown 904 muc 256
2.58/2.66	c iter 333 time 2.47762 not-muc 33722 unknown 903 muc 256
2.58/2.66	c iter 334 time 2.48262 not-muc 33722 unknown 902 muc 257
2.58/2.66	c iter 335 time 2.48462 not-muc 33722 unknown 901 muc 258
2.58/2.66	c iter 336 time 2.54461 not-muc 33723 unknown 900 muc 258
2.58/2.66	c iter 337 time 2.55061 not-muc 33723 unknown 899 muc 259
2.58/2.66	c iter 338 time 2.55361 not-muc 33723 unknown 898 muc 260
2.58/2.66	c iter 339 time 2.56261 not-muc 33723 unknown 897 muc 261
2.58/2.66	c iter 340 time 2.56561 not-muc 33723 unknown 896 muc 262
2.58/2.66	c iter 341 time 2.56861 not-muc 33723 unknown 895 muc 263
2.58/2.66	c iter 342 time 2.57061 not-muc 33723 unknown 894 muc 264
2.58/2.66	c iter 343 time 2.57261 not-muc 33723 unknown 893 muc 265
2.58/2.66	c iter 344 time 2.57561 not-muc 33723 unknown 892 muc 266
2.58/2.66	c iter 345 time 2.58161 not-muc 33723 unknown 891 muc 267
2.58/2.66	c iter 346 time 2.58561 not-muc 33723 unknown 890 muc 268
2.58/2.66	c iter 347 time 2.58761 not-muc 33723 unknown 889 muc 269
2.58/2.66	c iter 348 time 2.58961 not-muc 33723 unknown 888 muc 270
2.58/2.66	c iter 349 time 2.5926 not-muc 33723 unknown 887 muc 271
2.58/2.66	c iter 350 time 2.59461 not-muc 33723 unknown 886 muc 272
2.58/2.66	c iter 351 time 2.6506 not-muc 33724 unknown 885 muc 272
2.58/2.66	c iter 352 time 2.6546 not-muc 33724 unknown 884 muc 273
3.29/3.38	c iter 353 time 2.6616 not-muc 33724 unknown 883 muc 274
3.29/3.38	c iter 354 time 2.67759 not-muc 33724 unknown 882 muc 275
3.29/3.38	c iter 355 time 2.68259 not-muc 33724 unknown 881 muc 276
3.29/3.38	c iter 356 time 2.75858 not-muc 33725 unknown 880 muc 276
3.29/3.38	c iter 357 time 2.76258 not-muc 33725 unknown 879 muc 277
3.29/3.38	c iter 358 time 2.76458 not-muc 33725 unknown 878 muc 278
3.29/3.38	c iter 359 time 2.78858 not-muc 33726 unknown 877 muc 278
3.29/3.38	c iter 360 time 2.79058 not-muc 33726 unknown 876 muc 279
3.29/3.38	c iter 361 time 2.79757 not-muc 33726 unknown 875 muc 280
3.29/3.38	c iter 362 time 2.80057 not-muc 33726 unknown 874 muc 281
3.29/3.38	c iter 363 time 2.80157 not-muc 33726 unknown 873 muc 282
3.29/3.38	c iter 364 time 2.80357 not-muc 33726 unknown 872 muc 283
3.29/3.38	c iter 365 time 2.80457 not-muc 33726 unknown 871 muc 284
3.29/3.38	c iter 366 time 2.83457 not-muc 33727 unknown 870 muc 284
3.29/3.38	c iter 367 time 2.83657 not-muc 33727 unknown 869 muc 285
3.29/3.38	c iter 368 time 2.83857 not-muc 33727 unknown 868 muc 286
3.29/3.38	c iter 369 time 2.87856 not-muc 33729 unknown 866 muc 286
3.29/3.38	c iter 370 time 2.88256 not-muc 33729 unknown 865 muc 287
3.29/3.38	c iter 371 time 2.88456 not-muc 33729 unknown 864 muc 288
3.29/3.38	c iter 372 time 2.92156 not-muc 33730 unknown 863 muc 288
3.29/3.38	c iter 373 time 2.92455 not-muc 33730 unknown 862 muc 289
3.29/3.38	c iter 374 time 2.92755 not-muc 33730 unknown 861 muc 290
3.29/3.38	c iter 375 time 2.98555 not-muc 33731 unknown 860 muc 290
3.29/3.38	c iter 376 time 2.99055 not-muc 33731 unknown 859 muc 291
3.29/3.38	c iter 377 time 2.99354 not-muc 33731 unknown 858 muc 292
3.29/3.38	c iter 378 time 3.03354 not-muc 33732 unknown 857 muc 292
3.29/3.38	c iter 379 time 3.04154 not-muc 33732 unknown 856 muc 293
3.29/3.38	c iter 380 time 3.04354 not-muc 33732 unknown 855 muc 294
3.29/3.38	c iter 381 time 3.04654 not-muc 33732 unknown 854 muc 295
3.29/3.38	c iter 382 time 3.04854 not-muc 33732 unknown 853 muc 296
3.29/3.38	c iter 383 time 3.05154 not-muc 33732 unknown 852 muc 297
3.29/3.38	c iter 384 time 3.05553 not-muc 33732 unknown 851 muc 298
3.29/3.38	c iter 385 time 3.05854 not-muc 33732 unknown 850 muc 299
3.29/3.38	c iter 386 time 3.06153 not-muc 33732 unknown 849 muc 300
3.29/3.38	c iter 387 time 3.06353 not-muc 33732 unknown 848 muc 301
3.29/3.38	c iter 388 time 3.06653 not-muc 33732 unknown 847 muc 302
3.29/3.38	c iter 389 time 3.06953 not-muc 33732 unknown 846 muc 303
3.29/3.38	c iter 390 time 3.07253 not-muc 33732 unknown 845 muc 304
3.29/3.38	c iter 391 time 3.07553 not-muc 33732 unknown 844 muc 305
3.29/3.38	c iter 392 time 3.07853 not-muc 33732 unknown 843 muc 306
3.29/3.38	c iter 393 time 3.08053 not-muc 33732 unknown 842 muc 307
3.29/3.38	c iter 394 time 3.08353 not-muc 33732 unknown 841 muc 308
3.29/3.38	c iter 395 time 3.08753 not-muc 33732 unknown 840 muc 309
3.29/3.38	c iter 396 time 3.08953 not-muc 33732 unknown 839 muc 310
3.29/3.38	c iter 397 time 3.09253 not-muc 33732 unknown 838 muc 311
3.29/3.38	c iter 398 time 3.09553 not-muc 33732 unknown 837 muc 312
3.29/3.38	c iter 399 time 3.18352 not-muc 33733 unknown 836 muc 312
3.29/3.38	c iter 400 time 3.18952 not-muc 33733 unknown 835 muc 313
3.29/3.38	c iter 401 time 3.19151 not-muc 33733 unknown 834 muc 314
3.29/3.38	c iter 402 time 3.23751 not-muc 33735 unknown 832 muc 314
3.29/3.38	c iter 403 time 3.24151 not-muc 33735 unknown 831 muc 315
3.29/3.38	c iter 404 time 3.24351 not-muc 33735 unknown 830 muc 316
3.29/3.38	c iter 405 time 3.24551 not-muc 33735 unknown 829 muc 317
3.29/3.38	c iter 406 time 3.24751 not-muc 33735 unknown 828 muc 318
3.29/3.38	c iter 407 time 3.24951 not-muc 33735 unknown 827 muc 319
3.29/3.38	c iter 408 time 3.2505 not-muc 33735 unknown 826 muc 320
3.29/3.38	c iter 409 time 3.2695 not-muc 33736 unknown 825 muc 320
3.29/3.38	c iter 410 time 3.2725 not-muc 33736 unknown 824 muc 321
3.29/3.38	c iter 411 time 3.2745 not-muc 33736 unknown 823 muc 322
3.29/3.38	c iter 412 time 3.2775 not-muc 33736 unknown 822 muc 323
3.29/3.38	c iter 413 time 3.2815 not-muc 33736 unknown 821 muc 324
3.29/3.38	c iter 414 time 3.2835 not-muc 33736 unknown 820 muc 325
3.29/3.38	c iter 415 time 3.2865 not-muc 33736 unknown 819 muc 326
3.29/3.38	c iter 416 time 3.2895 not-muc 33736 unknown 818 muc 327
3.29/3.38	c iter 417 time 3.2945 not-muc 33736 unknown 817 muc 328
3.29/3.38	c iter 418 time 3.2995 not-muc 33736 unknown 816 muc 329
3.29/3.38	c iter 419 time 3.33849 not-muc 33736 unknown 815 muc 330
3.29/3.38	c iter 420 time 3.34149 not-muc 33736 unknown 814 muc 331
3.29/3.38	c iter 421 time 3.34349 not-muc 33736 unknown 813 muc 332
3.29/3.38	c iter 422 time 3.35449 not-muc 33736 unknown 812 muc 333
3.29/3.38	c iter 423 time 3.37549 not-muc 33736 unknown 811 muc 334
3.58/3.65	c iter 424 time 3.37849 not-muc 33736 unknown 810 muc 335
3.58/3.65	c iter 425 time 3.38149 not-muc 33736 unknown 809 muc 336
3.58/3.65	c iter 426 time 3.38549 not-muc 33736 unknown 808 muc 337
3.58/3.65	c iter 427 time 3.38648 not-muc 33736 unknown 807 muc 338
3.58/3.65	c iter 428 time 3.38948 not-muc 33736 unknown 806 muc 339
3.58/3.65	c iter 429 time 3.39148 not-muc 33736 unknown 805 muc 340
3.58/3.65	c iter 430 time 3.39548 not-muc 33736 unknown 804 muc 341
3.58/3.65	c iter 431 time 3.39848 not-muc 33736 unknown 803 muc 342
3.58/3.65	c iter 432 time 3.39948 not-muc 33736 unknown 802 muc 343
3.58/3.65	c iter 433 time 3.40148 not-muc 33736 unknown 801 muc 344
3.58/3.65	c iter 434 time 3.40348 not-muc 33736 unknown 800 muc 345
3.58/3.65	c iter 435 time 3.40548 not-muc 33736 unknown 799 muc 346
3.58/3.65	c iter 436 time 3.40648 not-muc 33736 unknown 798 muc 347
3.58/3.65	c iter 437 time 3.40848 not-muc 33736 unknown 797 muc 348
3.58/3.65	c iter 438 time 3.41048 not-muc 33736 unknown 796 muc 349
3.58/3.65	c iter 439 time 3.41248 not-muc 33736 unknown 795 muc 350
3.58/3.65	c iter 440 time 3.41548 not-muc 33736 unknown 794 muc 351
3.58/3.65	c iter 441 time 3.41848 not-muc 33736 unknown 793 muc 352
3.58/3.65	c iter 442 time 3.42048 not-muc 33736 unknown 792 muc 353
3.58/3.65	c iter 443 time 3.42248 not-muc 33736 unknown 791 muc 354
3.58/3.65	c iter 444 time 3.42448 not-muc 33736 unknown 790 muc 355
3.58/3.65	c iter 445 time 3.42648 not-muc 33736 unknown 789 muc 356
3.58/3.65	c iter 446 time 3.42848 not-muc 33736 unknown 788 muc 357
3.58/3.65	c iter 447 time 3.43148 not-muc 33736 unknown 787 muc 358
3.58/3.65	c iter 448 time 3.43348 not-muc 33736 unknown 786 muc 359
3.58/3.65	c iter 449 time 3.43748 not-muc 33736 unknown 785 muc 360
3.58/3.65	c iter 450 time 3.44048 not-muc 33736 unknown 784 muc 361
3.58/3.65	c iter 451 time 3.46047 not-muc 33736 unknown 783 muc 362
3.58/3.65	c iter 452 time 3.46247 not-muc 33736 unknown 782 muc 363
3.58/3.65	c iter 453 time 3.46447 not-muc 33736 unknown 781 muc 364
3.58/3.65	c iter 454 time 3.46747 not-muc 33736 unknown 780 muc 365
3.58/3.65	c iter 455 time 3.46947 not-muc 33736 unknown 779 muc 366
3.58/3.65	c iter 456 time 3.47147 not-muc 33736 unknown 778 muc 367
3.58/3.65	c iter 457 time 3.47347 not-muc 33736 unknown 777 muc 368
3.58/3.65	c iter 458 time 3.48247 not-muc 33736 unknown 776 muc 369
3.58/3.65	c iter 459 time 3.48547 not-muc 33736 unknown 775 muc 370
3.58/3.65	c iter 460 time 3.48847 not-muc 33736 unknown 774 muc 371
3.58/3.65	c iter 461 time 3.49047 not-muc 33736 unknown 773 muc 372
3.58/3.65	c iter 462 time 3.49247 not-muc 33736 unknown 772 muc 373
3.58/3.65	c iter 463 time 3.49447 not-muc 33736 unknown 771 muc 374
3.58/3.65	c iter 464 time 3.50647 not-muc 33736 unknown 770 muc 375
3.58/3.65	c iter 465 time 3.50847 not-muc 33736 unknown 769 muc 376
3.58/3.65	c iter 466 time 3.51047 not-muc 33736 unknown 768 muc 377
3.58/3.65	c iter 467 time 3.51247 not-muc 33736 unknown 767 muc 378
3.58/3.65	c iter 468 time 3.52746 not-muc 33736 unknown 766 muc 379
3.58/3.65	c iter 469 time 3.52946 not-muc 33736 unknown 765 muc 380
3.58/3.65	c iter 470 time 3.53146 not-muc 33736 unknown 764 muc 381
3.58/3.65	c iter 471 time 3.53346 not-muc 33736 unknown 763 muc 382
3.58/3.65	c iter 472 time 3.53646 not-muc 33736 unknown 762 muc 383
3.58/3.65	c iter 473 time 3.54046 not-muc 33736 unknown 761 muc 384
3.58/3.65	c iter 474 time 3.54346 not-muc 33736 unknown 760 muc 385
3.58/3.65	c iter 475 time 3.54846 not-muc 33736 unknown 759 muc 386
3.58/3.65	c iter 476 time 3.55246 not-muc 33736 unknown 758 muc 387
3.58/3.65	c iter 477 time 3.55646 not-muc 33736 unknown 757 muc 388
3.58/3.65	c iter 478 time 3.58146 not-muc 33737 unknown 756 muc 388
3.58/3.65	c iter 479 time 3.59145 not-muc 33737 unknown 755 muc 389
3.58/3.65	c iter 480 time 3.59445 not-muc 33737 unknown 754 muc 390
3.58/3.65	c iter 481 time 3.59745 not-muc 33737 unknown 753 muc 391
3.58/3.65	c iter 482 time 3.60045 not-muc 33737 unknown 752 muc 392
3.58/3.65	c iter 483 time 3.60445 not-muc 33737 unknown 751 muc 393
3.58/3.65	c iter 484 time 3.60945 not-muc 33737 unknown 750 muc 394
3.58/3.65	c iter 485 time 3.61345 not-muc 33737 unknown 749 muc 395
3.58/3.65	c iter 486 time 3.61645 not-muc 33737 unknown 748 muc 396
3.58/3.65	c iter 487 time 3.62045 not-muc 33737 unknown 747 muc 397
3.58/3.65	c iter 488 time 3.62445 not-muc 33737 unknown 746 muc 398
3.58/3.65	c iter 489 time 3.62745 not-muc 33737 unknown 745 muc 399
3.58/3.65	c iter 490 time 3.63045 not-muc 33737 unknown 744 muc 400
3.58/3.65	c iter 491 time 3.63345 not-muc 33737 unknown 743 muc 401
3.58/3.65	c iter 492 time 3.63645 not-muc 33737 unknown 742 muc 402
3.58/3.65	c iter 493 time 3.64045 not-muc 33737 unknown 741 muc 403
3.58/3.65	c iter 494 time 3.64345 not-muc 33737 unknown 740 muc 404
3.98/4.02	c iter 495 time 3.64745 not-muc 33737 unknown 739 muc 405
3.98/4.02	c iter 496 time 3.65044 not-muc 33737 unknown 738 muc 406
3.98/4.02	c iter 497 time 3.65844 not-muc 33737 unknown 737 muc 407
3.98/4.02	c iter 498 time 3.66344 not-muc 33737 unknown 736 muc 408
3.98/4.02	c iter 499 time 3.66844 not-muc 33737 unknown 735 muc 409
3.98/4.02	c iter 500 time 3.67644 not-muc 33737 unknown 734 muc 410
3.98/4.02	c iter 501 time 3.68044 not-muc 33737 unknown 733 muc 411
3.98/4.02	c iter 502 time 3.68444 not-muc 33737 unknown 732 muc 412
3.98/4.02	c iter 503 time 3.68744 not-muc 33737 unknown 731 muc 413
3.98/4.02	c iter 504 time 3.69044 not-muc 33737 unknown 730 muc 414
3.98/4.02	c iter 505 time 3.69344 not-muc 33737 unknown 729 muc 415
3.98/4.02	c iter 506 time 3.69644 not-muc 33737 unknown 728 muc 416
3.98/4.02	c iter 507 time 3.69944 not-muc 33737 unknown 727 muc 417
3.98/4.02	c iter 508 time 3.70344 not-muc 33737 unknown 726 muc 418
3.98/4.02	c iter 509 time 3.70744 not-muc 33737 unknown 725 muc 419
3.98/4.02	c iter 510 time 3.71244 not-muc 33737 unknown 724 muc 420
3.98/4.02	c iter 511 time 3.71544 not-muc 33737 unknown 723 muc 421
3.98/4.02	c iter 512 time 3.71843 not-muc 33737 unknown 722 muc 422
3.98/4.02	c iter 513 time 3.72143 not-muc 33737 unknown 721 muc 423
3.98/4.02	c iter 514 time 3.72443 not-muc 33737 unknown 720 muc 424
3.98/4.02	c iter 515 time 3.72943 not-muc 33737 unknown 719 muc 425
3.98/4.02	c iter 516 time 3.73543 not-muc 33737 unknown 718 muc 426
3.98/4.02	c iter 517 time 3.73943 not-muc 33737 unknown 717 muc 427
3.98/4.02	c iter 518 time 3.74343 not-muc 33737 unknown 716 muc 428
3.98/4.02	c iter 519 time 3.74643 not-muc 33737 unknown 715 muc 429
3.98/4.02	c iter 520 time 3.75143 not-muc 33737 unknown 714 muc 430
3.98/4.02	c iter 521 time 3.75443 not-muc 33737 unknown 713 muc 431
3.98/4.02	c iter 522 time 3.75843 not-muc 33737 unknown 712 muc 432
3.98/4.02	c iter 523 time 3.76243 not-muc 33737 unknown 711 muc 433
3.98/4.02	c iter 524 time 3.76643 not-muc 33737 unknown 710 muc 434
3.98/4.02	c iter 525 time 3.77043 not-muc 33737 unknown 709 muc 435
3.98/4.02	c iter 526 time 3.78043 not-muc 33737 unknown 708 muc 436
3.98/4.02	c iter 527 time 3.78542 not-muc 33737 unknown 707 muc 437
3.98/4.02	c iter 528 time 3.78942 not-muc 33737 unknown 706 muc 438
3.98/4.02	c iter 529 time 3.79742 not-muc 33737 unknown 705 muc 439
3.98/4.02	c iter 530 time 3.80442 not-muc 33737 unknown 704 muc 440
3.98/4.02	c iter 531 time 3.81142 not-muc 33737 unknown 703 muc 441
3.98/4.02	c iter 532 time 3.81542 not-muc 33737 unknown 702 muc 442
3.98/4.02	c iter 533 time 3.82042 not-muc 33737 unknown 701 muc 443
3.98/4.02	c iter 534 time 3.82442 not-muc 33737 unknown 700 muc 444
3.98/4.02	c iter 535 time 3.83442 not-muc 33737 unknown 699 muc 445
3.98/4.02	c iter 536 time 3.84142 not-muc 33737 unknown 698 muc 446
3.98/4.02	c iter 537 time 3.84542 not-muc 33737 unknown 697 muc 447
3.98/4.02	c iter 538 time 3.9554 not-muc 33738 unknown 696 muc 447
3.98/4.02	c iter 539 time 3.9644 not-muc 33738 unknown 695 muc 448
3.98/4.02	c iter 540 time 3.9644 not-muc 33738 unknown 694 muc 449
3.98/4.02	c iter 541 time 3.9654 not-muc 33738 unknown 693 muc 450
3.98/4.02	c iter 542 time 3.9674 not-muc 33738 unknown 692 muc 451
3.98/4.02	c iter 543 time 3.9684 not-muc 33738 unknown 691 muc 452
3.98/4.02	c iter 544 time 3.9694 not-muc 33738 unknown 690 muc 453
3.98/4.02	c iter 545 time 3.9714 not-muc 33738 unknown 689 muc 454
3.98/4.02	c iter 546 time 3.9714 not-muc 33738 unknown 688 muc 455
3.98/4.02	c iter 547 time 3.9724 not-muc 33738 unknown 687 muc 456
3.98/4.02	c iter 548 time 3.9734 not-muc 33738 unknown 686 muc 457
3.98/4.02	c iter 549 time 3.9734 not-muc 33738 unknown 685 muc 458
3.98/4.02	c iter 550 time 3.97539 not-muc 33738 unknown 684 muc 459
3.98/4.02	c iter 551 time 3.97539 not-muc 33738 unknown 683 muc 460
3.98/4.02	c iter 552 time 3.9794 not-muc 33738 unknown 682 muc 461
3.98/4.02	c iter 553 time 3.9794 not-muc 33738 unknown 681 muc 462
3.98/4.02	c iter 554 time 3.98339 not-muc 33738 unknown 680 muc 463
3.98/4.02	c iter 555 time 3.98639 not-muc 33738 unknown 679 muc 464
3.98/4.02	c iter 556 time 3.99239 not-muc 33738 unknown 678 muc 465
3.98/4.02	c iter 557 time 3.99739 not-muc 33738 unknown 677 muc 466
3.98/4.02	c iter 558 time 3.99839 not-muc 33738 unknown 676 muc 467
3.98/4.02	c iter 559 time 3.99939 not-muc 33738 unknown 675 muc 468
3.98/4.02	c iter 560 time 4.00139 not-muc 33738 unknown 674 muc 469
3.98/4.02	c iter 561 time 4.00639 not-muc 33738 unknown 673 muc 470
3.98/4.02	c iter 562 time 4.00839 not-muc 33738 unknown 672 muc 471
3.98/4.02	c iter 563 time 4.00939 not-muc 33738 unknown 671 muc 472
3.98/4.02	c iter 564 time 4.01039 not-muc 33738 unknown 670 muc 473
3.98/4.02	c iter 565 time 4.01139 not-muc 33738 unknown 669 muc 474
4.08/4.18	c iter 566 time 4.01239 not-muc 33738 unknown 668 muc 475
4.08/4.18	c iter 567 time 4.01439 not-muc 33738 unknown 667 muc 476
4.08/4.18	c iter 568 time 4.01639 not-muc 33738 unknown 666 muc 477
4.08/4.18	c iter 569 time 4.01739 not-muc 33738 unknown 665 muc 478
4.08/4.18	c iter 570 time 4.01939 not-muc 33738 unknown 664 muc 479
4.08/4.18	c iter 571 time 4.01939 not-muc 33738 unknown 663 muc 480
4.08/4.18	c iter 572 time 4.02339 not-muc 33738 unknown 662 muc 481
4.08/4.18	c iter 573 time 4.02539 not-muc 33738 unknown 661 muc 482
4.08/4.18	c iter 574 time 4.02639 not-muc 33738 unknown 660 muc 483
4.08/4.18	c iter 575 time 4.02739 not-muc 33738 unknown 659 muc 484
4.08/4.18	c iter 576 time 4.02839 not-muc 33738 unknown 658 muc 485
4.08/4.18	c iter 577 time 4.02839 not-muc 33738 unknown 657 muc 486
4.08/4.18	c iter 578 time 4.02939 not-muc 33738 unknown 656 muc 487
4.08/4.18	c iter 579 time 4.03039 not-muc 33738 unknown 655 muc 488
4.08/4.18	c iter 580 time 4.03439 not-muc 33738 unknown 654 muc 489
4.08/4.18	c iter 581 time 4.03539 not-muc 33738 unknown 653 muc 490
4.08/4.18	c iter 582 time 4.03939 not-muc 33738 unknown 652 muc 491
4.08/4.18	c iter 583 time 4.04338 not-muc 33738 unknown 651 muc 492
4.08/4.18	c iter 584 time 4.04439 not-muc 33738 unknown 650 muc 493
4.08/4.18	c iter 585 time 4.04638 not-muc 33738 unknown 649 muc 494
4.08/4.18	c iter 586 time 4.04838 not-muc 33738 unknown 648 muc 495
4.08/4.18	c iter 587 time 4.04938 not-muc 33738 unknown 647 muc 496
4.08/4.18	c iter 588 time 4.05038 not-muc 33738 unknown 646 muc 497
4.08/4.18	c iter 589 time 4.05238 not-muc 33738 unknown 645 muc 498
4.08/4.18	c iter 590 time 4.05738 not-muc 33738 unknown 644 muc 499
4.08/4.18	c iter 591 time 4.05938 not-muc 33738 unknown 643 muc 500
4.08/4.18	c iter 592 time 4.06138 not-muc 33738 unknown 642 muc 501
4.08/4.18	c iter 593 time 4.06238 not-muc 33738 unknown 641 muc 502
4.08/4.18	c iter 594 time 4.06338 not-muc 33738 unknown 640 muc 503
4.08/4.18	c iter 595 time 4.06438 not-muc 33738 unknown 639 muc 504
4.08/4.18	c iter 596 time 4.06638 not-muc 33738 unknown 638 muc 505
4.08/4.18	c iter 597 time 4.06738 not-muc 33738 unknown 637 muc 506
4.08/4.18	c iter 598 time 4.06838 not-muc 33738 unknown 636 muc 507
4.08/4.18	c iter 599 time 4.07438 not-muc 33738 unknown 635 muc 508
4.08/4.18	c iter 600 time 4.07838 not-muc 33738 unknown 634 muc 509
4.08/4.18	c iter 601 time 4.08238 not-muc 33738 unknown 633 muc 510
4.08/4.18	c iter 602 time 4.08338 not-muc 33738 unknown 632 muc 511
4.08/4.18	c iter 603 time 4.08538 not-muc 33738 unknown 631 muc 512
4.08/4.18	c iter 604 time 4.08738 not-muc 33738 unknown 630 muc 513
4.08/4.18	c iter 605 time 4.09038 not-muc 33738 unknown 629 muc 514
4.08/4.18	c iter 606 time 4.09438 not-muc 33738 unknown 628 muc 515
4.08/4.18	c iter 607 time 4.09938 not-muc 33738 unknown 627 muc 516
4.08/4.18	c iter 608 time 4.10138 not-muc 33738 unknown 626 muc 517
4.08/4.18	c iter 609 time 4.10637 not-muc 33738 unknown 625 muc 518
4.08/4.18	c iter 610 time 4.10738 not-muc 33738 unknown 624 muc 519
4.08/4.18	c iter 611 time 4.11137 not-muc 33738 unknown 623 muc 520
4.08/4.18	c iter 612 time 4.11237 not-muc 33738 unknown 622 muc 521
4.08/4.18	c iter 613 time 4.11637 not-muc 33738 unknown 621 muc 522
4.08/4.18	c iter 614 time 4.12037 not-muc 33738 unknown 620 muc 523
4.08/4.18	c iter 615 time 4.12537 not-muc 33738 unknown 619 muc 524
4.08/4.18	c iter 616 time 4.12637 not-muc 33738 unknown 618 muc 525
4.08/4.18	c iter 617 time 4.12937 not-muc 33738 unknown 617 muc 526
4.08/4.18	c iter 618 time 4.13037 not-muc 33738 unknown 616 muc 527
4.08/4.18	c iter 619 time 4.13437 not-muc 33738 unknown 615 muc 528
4.08/4.18	c iter 620 time 4.14237 not-muc 33738 unknown 614 muc 529
4.08/4.18	c iter 621 time 4.14337 not-muc 33738 unknown 613 muc 530
4.08/4.18	c iter 622 time 4.14537 not-muc 33738 unknown 612 muc 531
4.08/4.18	c iter 623 time 4.14637 not-muc 33738 unknown 611 muc 532
4.08/4.18	c iter 624 time 4.15037 not-muc 33738 unknown 610 muc 533
4.08/4.18	c iter 625 time 4.15237 not-muc 33738 unknown 609 muc 534
4.08/4.18	c iter 626 time 4.15437 not-muc 33738 unknown 608 muc 535
4.08/4.18	c iter 627 time 4.15537 not-muc 33738 unknown 607 muc 536
4.08/4.18	c iter 628 time 4.15737 not-muc 33738 unknown 606 muc 537
4.08/4.18	c iter 629 time 4.15837 not-muc 33738 unknown 605 muc 538
4.08/4.18	c iter 630 time 4.16037 not-muc 33738 unknown 604 muc 539
4.08/4.18	c iter 631 time 4.16237 not-muc 33738 unknown 603 muc 540
4.08/4.18	c iter 632 time 4.16337 not-muc 33738 unknown 602 muc 541
4.08/4.18	c iter 633 time 4.16537 not-muc 33738 unknown 601 muc 542
4.08/4.18	c iter 634 time 4.16737 not-muc 33738 unknown 600 muc 543
4.08/4.18	c iter 635 time 4.16837 not-muc 33738 unknown 599 muc 544
4.18/4.29	c iter 636 time 4.17037 not-muc 33738 unknown 598 muc 545
4.18/4.29	c iter 637 time 4.17237 not-muc 33738 unknown 597 muc 546
4.18/4.29	c iter 638 time 4.17337 not-muc 33738 unknown 596 muc 547
4.18/4.29	c iter 639 time 4.17537 not-muc 33738 unknown 595 muc 548
4.18/4.29	c iter 640 time 4.17636 not-muc 33738 unknown 594 muc 549
4.18/4.29	c iter 641 time 4.17736 not-muc 33738 unknown 593 muc 550
4.18/4.29	c iter 642 time 4.17936 not-muc 33738 unknown 592 muc 551
4.18/4.29	c iter 643 time 4.18036 not-muc 33738 unknown 591 muc 552
4.18/4.29	c iter 644 time 4.18236 not-muc 33738 unknown 590 muc 553
4.18/4.29	c iter 645 time 4.18436 not-muc 33738 unknown 589 muc 554
4.18/4.29	c iter 646 time 4.18536 not-muc 33738 unknown 588 muc 555
4.18/4.29	c iter 647 time 4.18636 not-muc 33738 unknown 587 muc 556
4.18/4.29	c iter 648 time 4.18836 not-muc 33738 unknown 586 muc 557
4.18/4.29	c iter 649 time 4.18936 not-muc 33738 unknown 585 muc 558
4.18/4.29	c iter 650 time 4.19136 not-muc 33738 unknown 584 muc 559
4.18/4.29	c iter 651 time 4.19336 not-muc 33738 unknown 583 muc 560
4.18/4.29	c iter 652 time 4.19436 not-muc 33738 unknown 582 muc 561
4.18/4.29	c iter 653 time 4.19636 not-muc 33738 unknown 581 muc 562
4.18/4.29	c iter 654 time 4.19736 not-muc 33738 unknown 580 muc 563
4.18/4.29	c iter 655 time 4.19936 not-muc 33738 unknown 579 muc 564
4.18/4.29	c iter 656 time 4.20036 not-muc 33738 unknown 578 muc 565
4.18/4.29	c iter 657 time 4.20236 not-muc 33738 unknown 577 muc 566
4.18/4.29	c iter 658 time 4.20336 not-muc 33738 unknown 576 muc 567
4.18/4.29	c iter 659 time 4.20536 not-muc 33738 unknown 575 muc 568
4.18/4.29	c iter 660 time 4.20636 not-muc 33738 unknown 574 muc 569
4.18/4.29	c iter 661 time 4.20836 not-muc 33738 unknown 573 muc 570
4.18/4.29	c iter 662 time 4.20936 not-muc 33738 unknown 572 muc 571
4.18/4.29	c iter 663 time 4.21136 not-muc 33738 unknown 571 muc 572
4.18/4.29	c iter 664 time 4.21336 not-muc 33738 unknown 570 muc 573
4.18/4.29	c iter 665 time 4.21436 not-muc 33738 unknown 569 muc 574
4.18/4.29	c iter 666 time 4.21636 not-muc 33738 unknown 568 muc 575
4.18/4.29	c iter 667 time 4.21736 not-muc 33738 unknown 567 muc 576
4.18/4.29	c iter 668 time 4.21936 not-muc 33738 unknown 566 muc 577
4.18/4.29	c iter 669 time 4.22136 not-muc 33738 unknown 565 muc 578
4.18/4.29	c iter 670 time 4.22236 not-muc 33738 unknown 564 muc 579
4.18/4.29	c iter 671 time 4.22436 not-muc 33738 unknown 563 muc 580
4.18/4.29	c iter 672 time 4.22636 not-muc 33738 unknown 562 muc 581
4.18/4.29	c iter 673 time 4.22736 not-muc 33738 unknown 561 muc 582
4.18/4.29	c iter 674 time 4.22936 not-muc 33738 unknown 560 muc 583
4.18/4.29	c iter 675 time 4.23136 not-muc 33738 unknown 559 muc 584
4.18/4.29	c iter 676 time 4.23336 not-muc 33738 unknown 558 muc 585
4.18/4.29	c iter 677 time 4.23436 not-muc 33738 unknown 557 muc 586
4.18/4.29	c iter 678 time 4.23635 not-muc 33738 unknown 556 muc 587
4.18/4.29	c iter 679 time 4.23735 not-muc 33738 unknown 555 muc 588
4.18/4.29	c iter 680 time 4.23935 not-muc 33738 unknown 554 muc 589
4.18/4.29	c iter 681 time 4.24036 not-muc 33738 unknown 553 muc 590
4.18/4.29	c iter 682 time 4.24235 not-muc 33738 unknown 552 muc 591
4.18/4.29	c iter 683 time 4.24335 not-muc 33738 unknown 551 muc 592
4.18/4.29	c iter 684 time 4.24535 not-muc 33738 unknown 550 muc 593
4.18/4.29	c iter 685 time 4.24635 not-muc 33738 unknown 549 muc 594
4.18/4.29	c iter 686 time 4.24735 not-muc 33738 unknown 548 muc 595
4.18/4.29	c iter 687 time 4.24935 not-muc 33738 unknown 547 muc 596
4.18/4.29	c iter 688 time 4.25035 not-muc 33738 unknown 546 muc 597
4.18/4.29	c iter 689 time 4.25235 not-muc 33738 unknown 545 muc 598
4.18/4.29	c iter 690 time 4.25335 not-muc 33738 unknown 544 muc 599
4.18/4.29	c iter 691 time 4.25535 not-muc 33738 unknown 543 muc 600
4.18/4.29	c iter 692 time 4.25635 not-muc 33738 unknown 542 muc 601
4.18/4.29	c iter 693 time 4.25835 not-muc 33738 unknown 541 muc 602
4.18/4.29	c iter 694 time 4.25935 not-muc 33738 unknown 540 muc 603
4.18/4.29	c iter 695 time 4.26135 not-muc 33738 unknown 539 muc 604
4.18/4.29	c iter 696 time 4.26235 not-muc 33738 unknown 538 muc 605
4.18/4.29	c iter 697 time 4.26435 not-muc 33738 unknown 537 muc 606
4.18/4.29	c iter 698 time 4.26535 not-muc 33738 unknown 536 muc 607
4.18/4.29	c iter 699 time 4.26735 not-muc 33738 unknown 535 muc 608
4.18/4.29	c iter 700 time 4.26835 not-muc 33738 unknown 534 muc 609
4.18/4.29	c iter 701 time 4.27035 not-muc 33738 unknown 533 muc 610
4.18/4.29	c iter 702 time 4.27135 not-muc 33738 unknown 532 muc 611
4.18/4.29	c iter 703 time 4.27335 not-muc 33738 unknown 531 muc 612
4.18/4.29	c iter 704 time 4.27435 not-muc 33738 unknown 530 muc 613
4.18/4.29	c iter 705 time 4.27635 not-muc 33738 unknown 529 muc 614
4.18/4.29	c iter 706 time 4.27835 not-muc 33738 unknown 528 muc 615
4.98/5.09	c iter 707 time 4.27935 not-muc 33738 unknown 527 muc 616
4.98/5.09	c iter 708 time 4.28135 not-muc 33738 unknown 526 muc 617
4.98/5.09	c iter 709 time 4.28235 not-muc 33738 unknown 525 muc 618
4.98/5.09	c iter 710 time 4.28435 not-muc 33738 unknown 524 muc 619
4.98/5.09	c iter 711 time 4.28535 not-muc 33738 unknown 523 muc 620
4.98/5.09	c iter 712 time 4.37633 not-muc 33739 unknown 522 muc 620
4.98/5.09	c iter 713 time 4.38133 not-muc 33739 unknown 521 muc 621
4.98/5.09	c iter 714 time 4.47832 not-muc 33740 unknown 520 muc 621
4.98/5.09	c iter 715 time 4.48232 not-muc 33740 unknown 519 muc 622
4.98/5.09	c iter 716 time 4.48332 not-muc 33740 unknown 518 muc 623
4.98/5.09	c iter 717 time 4.55631 not-muc 33741 unknown 517 muc 623
4.98/5.09	c iter 718 time 4.56231 not-muc 33741 unknown 516 muc 624
4.98/5.09	c iter 719 time 4.56331 not-muc 33741 unknown 515 muc 625
4.98/5.09	c iter 720 time 4.5683 not-muc 33741 unknown 514 muc 626
4.98/5.09	c iter 721 time 4.6323 not-muc 33742 unknown 513 muc 626
4.98/5.09	c iter 722 time 4.6363 not-muc 33742 unknown 512 muc 627
4.98/5.09	c iter 723 time 4.63829 not-muc 33742 unknown 511 muc 628
4.98/5.09	c iter 724 time 4.63929 not-muc 33742 unknown 510 muc 629
4.98/5.09	c iter 725 time 4.64129 not-muc 33742 unknown 509 muc 630
4.98/5.09	c iter 726 time 4.69429 not-muc 33743 unknown 508 muc 630
4.98/5.09	c iter 727 time 4.69728 not-muc 33743 unknown 507 muc 631
4.98/5.09	c iter 728 time 4.69829 not-muc 33743 unknown 506 muc 632
4.98/5.09	c iter 729 time 4.70029 not-muc 33743 unknown 505 muc 633
4.98/5.09	c iter 730 time 4.70129 not-muc 33743 unknown 504 muc 634
4.98/5.09	c iter 731 time 4.70328 not-muc 33743 unknown 503 muc 635
4.98/5.09	c iter 732 time 4.75328 not-muc 33744 unknown 502 muc 635
4.98/5.09	c iter 733 time 4.75828 not-muc 33744 unknown 501 muc 636
4.98/5.09	c iter 734 time 4.76028 not-muc 33744 unknown 500 muc 637
4.98/5.09	c iter 735 time 4.76228 not-muc 33744 unknown 499 muc 638
4.98/5.09	c iter 736 time 4.76328 not-muc 33744 unknown 498 muc 639
4.98/5.09	c iter 737 time 4.76527 not-muc 33744 unknown 497 muc 640
4.98/5.09	c iter 738 time 4.76727 not-muc 33744 unknown 496 muc 641
4.98/5.09	c iter 739 time 4.82927 not-muc 33745 unknown 495 muc 641
4.98/5.09	c iter 740 time 4.83326 not-muc 33745 unknown 494 muc 642
4.98/5.09	c iter 741 time 4.83427 not-muc 33745 unknown 493 muc 643
4.98/5.09	c iter 742 time 4.83626 not-muc 33745 unknown 492 muc 644
4.98/5.09	c iter 743 time 4.83726 not-muc 33745 unknown 491 muc 645
4.98/5.09	c iter 744 time 4.83926 not-muc 33745 unknown 490 muc 646
4.98/5.09	c iter 745 time 4.84126 not-muc 33745 unknown 489 muc 647
4.98/5.09	c iter 746 time 4.84226 not-muc 33745 unknown 488 muc 648
4.98/5.09	c iter 747 time 4.90725 not-muc 33746 unknown 487 muc 648
4.98/5.09	c iter 748 time 4.91125 not-muc 33746 unknown 486 muc 649
4.98/5.09	c iter 749 time 4.91225 not-muc 33746 unknown 485 muc 650
4.98/5.09	c iter 750 time 4.91325 not-muc 33746 unknown 484 muc 651
4.98/5.09	c iter 751 time 4.91425 not-muc 33746 unknown 483 muc 652
4.98/5.09	c iter 752 time 4.91525 not-muc 33746 unknown 482 muc 653
4.98/5.09	c iter 753 time 4.91625 not-muc 33746 unknown 481 muc 654
4.98/5.09	c iter 754 time 4.91725 not-muc 33746 unknown 480 muc 655
4.98/5.09	c iter 755 time 4.91925 not-muc 33746 unknown 479 muc 656
4.98/5.09	c iter 756 time 5.00224 not-muc 33747 unknown 478 muc 656
4.98/5.09	c iter 757 time 5.00624 not-muc 33747 unknown 477 muc 657
4.98/5.09	c iter 758 time 5.00824 not-muc 33747 unknown 476 muc 658
4.98/5.09	c iter 759 time 5.01024 not-muc 33747 unknown 475 muc 659
4.98/5.09	c iter 760 time 5.01224 not-muc 33747 unknown 474 muc 660
4.98/5.09	c iter 761 time 5.01424 not-muc 33747 unknown 473 muc 661
4.98/5.09	c iter 762 time 5.01624 not-muc 33747 unknown 472 muc 662
4.98/5.09	c iter 763 time 5.01724 not-muc 33747 unknown 471 muc 663
4.98/5.09	c iter 764 time 5.01924 not-muc 33747 unknown 470 muc 664
4.98/5.09	c iter 765 time 5.02124 not-muc 33747 unknown 469 muc 665
4.98/5.09	c iter 766 time 5.06123 not-muc 33749 unknown 467 muc 665
4.98/5.09	c iter 767 time 5.06523 not-muc 33749 unknown 466 muc 666
4.98/5.09	c iter 768 time 5.06623 not-muc 33749 unknown 465 muc 667
4.98/5.09	c iter 769 time 5.06723 not-muc 33749 unknown 464 muc 668
4.98/5.09	c iter 770 time 5.06823 not-muc 33749 unknown 463 muc 669
4.98/5.09	c iter 771 time 5.06923 not-muc 33749 unknown 462 muc 670
4.98/5.09	c iter 772 time 5.07023 not-muc 33749 unknown 461 muc 671
4.98/5.09	c iter 773 time 5.07123 not-muc 33749 unknown 460 muc 672
4.98/5.09	c iter 774 time 5.07223 not-muc 33749 unknown 459 muc 673
4.98/5.09	c iter 775 time 5.07323 not-muc 33749 unknown 458 muc 674
4.98/5.09	c iter 776 time 5.07423 not-muc 33749 unknown 457 muc 675
4.98/5.09	c iter 777 time 5.07623 not-muc 33749 unknown 456 muc 676
5.18/5.25	c iter 778 time 5.07723 not-muc 33749 unknown 455 muc 677
5.18/5.25	c iter 779 time 5.07823 not-muc 33749 unknown 454 muc 678
5.18/5.25	c iter 780 time 5.07923 not-muc 33749 unknown 453 muc 679
5.18/5.25	c iter 781 time 5.08023 not-muc 33749 unknown 452 muc 680
5.18/5.25	c iter 782 time 5.08123 not-muc 33749 unknown 451 muc 681
5.18/5.25	c iter 783 time 5.08223 not-muc 33749 unknown 450 muc 682
5.18/5.25	c iter 784 time 5.08323 not-muc 33749 unknown 449 muc 683
5.18/5.25	c iter 785 time 5.08423 not-muc 33749 unknown 448 muc 684
5.18/5.25	c iter 786 time 5.08523 not-muc 33749 unknown 447 muc 685
5.18/5.25	c iter 787 time 5.08623 not-muc 33749 unknown 446 muc 686
5.18/5.25	c iter 788 time 5.08723 not-muc 33749 unknown 445 muc 687
5.18/5.25	c iter 789 time 5.09023 not-muc 33750 unknown 444 muc 687
5.18/5.25	c iter 790 time 5.09223 not-muc 33750 unknown 443 muc 688
5.18/5.25	c iter 791 time 5.09323 not-muc 33750 unknown 442 muc 689
5.18/5.25	c iter 792 time 5.09422 not-muc 33750 unknown 441 muc 690
5.18/5.25	c iter 793 time 5.09523 not-muc 33750 unknown 440 muc 691
5.18/5.25	c iter 794 time 5.09623 not-muc 33750 unknown 439 muc 692
5.18/5.25	c iter 795 time 5.09822 not-muc 33750 unknown 438 muc 693
5.18/5.25	c iter 796 time 5.09922 not-muc 33750 unknown 437 muc 694
5.18/5.25	c iter 797 time 5.10022 not-muc 33750 unknown 436 muc 695
5.18/5.25	c iter 798 time 5.10122 not-muc 33750 unknown 435 muc 696
5.18/5.25	c iter 799 time 5.10222 not-muc 33750 unknown 434 muc 697
5.18/5.25	c iter 800 time 5.10322 not-muc 33750 unknown 433 muc 698
5.18/5.25	c iter 801 time 5.10522 not-muc 33750 unknown 432 muc 699
5.18/5.25	c iter 802 time 5.10622 not-muc 33750 unknown 431 muc 700
5.18/5.25	c iter 803 time 5.10922 not-muc 33750 unknown 430 muc 701
5.18/5.25	c iter 804 time 5.11122 not-muc 33750 unknown 429 muc 702
5.18/5.25	c iter 805 time 5.11322 not-muc 33750 unknown 428 muc 703
5.18/5.25	c iter 806 time 5.11422 not-muc 33750 unknown 427 muc 704
5.18/5.25	c iter 807 time 5.11622 not-muc 33750 unknown 426 muc 705
5.18/5.25	c iter 808 time 5.11822 not-muc 33750 unknown 425 muc 706
5.18/5.25	c iter 809 time 5.12022 not-muc 33750 unknown 424 muc 707
5.18/5.25	c iter 810 time 5.12222 not-muc 33750 unknown 423 muc 708
5.18/5.25	c iter 811 time 5.12422 not-muc 33750 unknown 422 muc 709
5.18/5.25	c iter 812 time 5.12622 not-muc 33750 unknown 421 muc 710
5.18/5.25	c iter 813 time 5.12822 not-muc 33750 unknown 420 muc 711
5.18/5.25	c iter 814 time 5.13022 not-muc 33750 unknown 419 muc 712
5.18/5.25	c iter 815 time 5.13122 not-muc 33750 unknown 418 muc 713
5.18/5.25	c iter 816 time 5.13322 not-muc 33750 unknown 417 muc 714
5.18/5.25	c iter 817 time 5.13522 not-muc 33750 unknown 416 muc 715
5.18/5.25	c iter 818 time 5.13722 not-muc 33750 unknown 415 muc 716
5.18/5.25	c iter 819 time 5.13922 not-muc 33750 unknown 414 muc 717
5.18/5.25	c iter 820 time 5.14022 not-muc 33750 unknown 413 muc 718
5.18/5.25	c iter 821 time 5.14222 not-muc 33750 unknown 412 muc 719
5.18/5.25	c iter 822 time 5.14422 not-muc 33750 unknown 411 muc 720
5.18/5.25	c iter 823 time 5.14622 not-muc 33750 unknown 410 muc 721
5.18/5.25	c iter 824 time 5.14822 not-muc 33750 unknown 409 muc 722
5.18/5.25	c iter 825 time 5.15022 not-muc 33750 unknown 408 muc 723
5.18/5.25	c iter 826 time 5.19621 not-muc 33750 unknown 407 muc 724
5.18/5.25	c iter 827 time 5.19921 not-muc 33750 unknown 406 muc 725
5.18/5.25	c iter 828 time 5.20021 not-muc 33750 unknown 405 muc 726
5.18/5.25	c iter 829 time 5.20221 not-muc 33750 unknown 404 muc 727
5.18/5.25	c iter 830 time 5.20421 not-muc 33750 unknown 403 muc 728
5.18/5.25	c iter 831 time 5.20621 not-muc 33750 unknown 402 muc 729
5.18/5.25	c iter 832 time 5.20821 not-muc 33750 unknown 401 muc 730
5.18/5.25	c iter 833 time 5.21021 not-muc 33750 unknown 400 muc 731
5.18/5.25	c iter 834 time 5.21121 not-muc 33750 unknown 399 muc 732
5.18/5.25	c iter 835 time 5.21321 not-muc 33750 unknown 398 muc 733
5.18/5.25	c iter 836 time 5.21621 not-muc 33750 unknown 397 muc 734
5.18/5.25	c iter 837 time 5.21821 not-muc 33750 unknown 396 muc 735
5.18/5.25	c iter 838 time 5.22021 not-muc 33750 unknown 395 muc 736
5.18/5.25	c iter 839 time 5.22121 not-muc 33750 unknown 394 muc 737
5.18/5.25	c iter 840 time 5.22321 not-muc 33750 unknown 393 muc 738
5.18/5.25	c iter 841 time 5.2252 not-muc 33750 unknown 392 muc 739
5.18/5.25	c iter 842 time 5.2272 not-muc 33750 unknown 391 muc 740
5.18/5.25	c iter 843 time 5.2282 not-muc 33750 unknown 390 muc 741
5.18/5.25	c iter 844 time 5.2302 not-muc 33750 unknown 389 muc 742
5.18/5.25	c iter 845 time 5.2322 not-muc 33750 unknown 388 muc 743
5.18/5.25	c iter 846 time 5.2342 not-muc 33750 unknown 387 muc 744
5.18/5.25	c iter 847 time 5.2362 not-muc 33750 unknown 386 muc 745
5.28/5.39	c iter 848 time 5.2382 not-muc 33750 unknown 385 muc 746
5.28/5.39	c iter 849 time 5.2402 not-muc 33750 unknown 384 muc 747
5.28/5.39	c iter 850 time 5.2412 not-muc 33750 unknown 383 muc 748
5.28/5.39	c iter 851 time 5.2432 not-muc 33750 unknown 382 muc 749
5.28/5.39	c iter 852 time 5.2452 not-muc 33750 unknown 381 muc 750
5.28/5.39	c iter 853 time 5.2472 not-muc 33750 unknown 380 muc 751
5.28/5.39	c iter 854 time 5.2492 not-muc 33750 unknown 379 muc 752
5.28/5.39	c iter 855 time 5.2512 not-muc 33750 unknown 378 muc 753
5.28/5.39	c iter 856 time 5.2532 not-muc 33750 unknown 377 muc 754
5.28/5.39	c iter 857 time 5.2542 not-muc 33750 unknown 376 muc 755
5.28/5.39	c iter 858 time 5.2562 not-muc 33750 unknown 375 muc 756
5.28/5.39	c iter 859 time 5.2582 not-muc 33750 unknown 374 muc 757
5.28/5.39	c iter 860 time 5.2602 not-muc 33750 unknown 373 muc 758
5.28/5.39	c iter 861 time 5.2842 not-muc 33750 unknown 372 muc 759
5.28/5.39	c iter 862 time 5.2862 not-muc 33750 unknown 371 muc 760
5.28/5.39	c iter 863 time 5.2882 not-muc 33750 unknown 370 muc 761
5.28/5.39	c iter 864 time 5.29019 not-muc 33750 unknown 369 muc 762
5.28/5.39	c iter 865 time 5.2912 not-muc 33750 unknown 368 muc 763
5.28/5.39	c iter 866 time 5.29319 not-muc 33750 unknown 367 muc 764
5.28/5.39	c iter 867 time 5.29519 not-muc 33750 unknown 366 muc 765
5.28/5.39	c iter 868 time 5.29719 not-muc 33750 unknown 365 muc 766
5.28/5.39	c iter 869 time 5.29819 not-muc 33750 unknown 364 muc 767
5.28/5.39	c iter 870 time 5.30019 not-muc 33750 unknown 363 muc 768
5.28/5.39	c iter 871 time 5.30219 not-muc 33750 unknown 362 muc 769
5.28/5.39	c iter 872 time 5.30419 not-muc 33750 unknown 361 muc 770
5.28/5.39	c iter 873 time 5.30519 not-muc 33750 unknown 360 muc 771
5.28/5.39	c iter 874 time 5.30819 not-muc 33750 unknown 359 muc 772
5.28/5.39	c iter 875 time 5.31019 not-muc 33750 unknown 358 muc 773
5.28/5.39	c iter 876 time 5.31219 not-muc 33750 unknown 357 muc 774
5.28/5.39	c iter 877 time 5.31419 not-muc 33750 unknown 356 muc 775
5.28/5.39	c iter 878 time 5.31619 not-muc 33750 unknown 355 muc 776
5.28/5.39	c iter 879 time 5.31719 not-muc 33750 unknown 354 muc 777
5.28/5.39	c iter 880 time 5.31919 not-muc 33750 unknown 353 muc 778
5.28/5.39	c iter 881 time 5.32119 not-muc 33750 unknown 352 muc 779
5.28/5.39	c iter 882 time 5.32319 not-muc 33750 unknown 351 muc 780
5.28/5.39	c iter 883 time 5.32419 not-muc 33750 unknown 350 muc 781
5.28/5.39	c iter 884 time 5.32619 not-muc 33750 unknown 349 muc 782
5.28/5.39	c iter 885 time 5.32819 not-muc 33750 unknown 348 muc 783
5.28/5.39	c iter 886 time 5.32919 not-muc 33750 unknown 347 muc 784
5.28/5.39	c iter 887 time 5.33119 not-muc 33750 unknown 346 muc 785
5.28/5.39	c iter 888 time 5.33519 not-muc 33750 unknown 345 muc 786
5.28/5.39	c iter 889 time 5.33719 not-muc 33750 unknown 344 muc 787
5.28/5.39	c iter 890 time 5.33819 not-muc 33750 unknown 343 muc 788
5.28/5.39	c iter 891 time 5.34019 not-muc 33750 unknown 342 muc 789
5.28/5.39	c iter 892 time 5.34119 not-muc 33750 unknown 341 muc 790
5.28/5.39	c iter 893 time 5.34319 not-muc 33750 unknown 340 muc 791
5.28/5.39	c iter 894 time 5.34419 not-muc 33750 unknown 339 muc 792
5.28/5.39	c iter 895 time 5.34519 not-muc 33750 unknown 338 muc 793
5.28/5.39	c iter 896 time 5.34719 not-muc 33750 unknown 337 muc 794
5.28/5.39	c iter 897 time 5.34819 not-muc 33750 unknown 336 muc 795
5.28/5.39	c iter 898 time 5.35019 not-muc 33750 unknown 335 muc 796
5.28/5.39	c iter 899 time 5.35119 not-muc 33750 unknown 334 muc 797
5.28/5.39	c iter 900 time 5.35219 not-muc 33750 unknown 333 muc 798
5.28/5.39	c iter 901 time 5.35319 not-muc 33750 unknown 332 muc 799
5.28/5.39	c iter 902 time 5.35518 not-muc 33750 unknown 331 muc 800
5.28/5.39	c iter 903 time 5.35618 not-muc 33750 unknown 330 muc 801
5.28/5.39	c iter 904 time 5.35818 not-muc 33750 unknown 329 muc 802
5.28/5.39	c iter 905 time 5.35919 not-muc 33750 unknown 328 muc 803
5.28/5.39	c iter 906 time 5.36018 not-muc 33750 unknown 327 muc 804
5.28/5.39	c iter 907 time 5.36218 not-muc 33750 unknown 326 muc 805
5.28/5.39	c iter 908 time 5.36318 not-muc 33750 unknown 325 muc 806
5.28/5.39	c iter 909 time 5.36518 not-muc 33750 unknown 324 muc 807
5.28/5.39	c iter 910 time 5.36718 not-muc 33750 unknown 323 muc 808
5.28/5.39	c iter 911 time 5.36818 not-muc 33750 unknown 322 muc 809
5.28/5.39	c iter 912 time 5.36918 not-muc 33750 unknown 321 muc 810
5.28/5.39	c iter 913 time 5.37118 not-muc 33750 unknown 320 muc 811
5.28/5.39	c iter 914 time 5.37218 not-muc 33750 unknown 319 muc 812
5.28/5.39	c iter 915 time 5.37318 not-muc 33750 unknown 318 muc 813
5.28/5.39	c iter 916 time 5.37518 not-muc 33750 unknown 317 muc 814
5.28/5.39	c iter 917 time 5.37718 not-muc 33750 unknown 316 muc 815
5.28/5.39	c iter 918 time 5.37818 not-muc 33750 unknown 315 muc 816
5.68/5.70	c iter 919 time 5.38018 not-muc 33750 unknown 314 muc 817
5.68/5.70	c iter 920 time 5.38118 not-muc 33750 unknown 313 muc 818
5.68/5.70	c iter 921 time 5.38318 not-muc 33750 unknown 312 muc 819
5.68/5.70	c iter 922 time 5.38418 not-muc 33750 unknown 311 muc 820
5.68/5.70	c iter 923 time 5.38618 not-muc 33750 unknown 310 muc 821
5.68/5.70	c iter 924 time 5.38718 not-muc 33750 unknown 309 muc 822
5.68/5.70	c iter 925 time 5.38818 not-muc 33750 unknown 308 muc 823
5.68/5.70	c iter 926 time 5.39018 not-muc 33750 unknown 307 muc 824
5.68/5.70	c iter 927 time 5.39118 not-muc 33750 unknown 306 muc 825
5.68/5.70	c iter 928 time 5.39318 not-muc 33750 unknown 305 muc 826
5.68/5.70	c iter 929 time 5.39418 not-muc 33750 unknown 304 muc 827
5.68/5.70	c iter 930 time 5.39518 not-muc 33750 unknown 303 muc 828
5.68/5.70	c iter 931 time 5.39718 not-muc 33750 unknown 302 muc 829
5.68/5.70	c iter 932 time 5.39818 not-muc 33750 unknown 301 muc 830
5.68/5.70	c iter 933 time 5.39918 not-muc 33750 unknown 300 muc 831
5.68/5.70	c iter 934 time 5.40118 not-muc 33750 unknown 299 muc 832
5.68/5.70	c iter 935 time 5.40218 not-muc 33750 unknown 298 muc 833
5.68/5.70	c iter 936 time 5.40318 not-muc 33750 unknown 297 muc 834
5.68/5.70	c iter 937 time 5.40518 not-muc 33750 unknown 296 muc 835
5.68/5.70	c iter 938 time 5.40618 not-muc 33750 unknown 295 muc 836
5.68/5.70	c iter 939 time 5.40818 not-muc 33750 unknown 294 muc 837
5.68/5.70	c iter 940 time 5.40918 not-muc 33750 unknown 293 muc 838
5.68/5.70	c iter 941 time 5.41018 not-muc 33750 unknown 292 muc 839
5.68/5.70	c iter 942 time 5.41218 not-muc 33750 unknown 291 muc 840
5.68/5.70	c iter 943 time 5.41318 not-muc 33750 unknown 290 muc 841
5.68/5.70	c iter 944 time 5.41518 not-muc 33750 unknown 289 muc 842
5.68/5.70	c iter 945 time 5.41618 not-muc 33750 unknown 288 muc 843
5.68/5.70	c iter 946 time 5.41718 not-muc 33750 unknown 287 muc 844
5.68/5.70	c iter 947 time 5.41918 not-muc 33750 unknown 286 muc 845
5.68/5.70	c iter 948 time 5.42018 not-muc 33750 unknown 285 muc 846
5.68/5.70	c iter 949 time 5.42218 not-muc 33750 unknown 284 muc 847
5.68/5.70	c iter 950 time 5.42317 not-muc 33750 unknown 283 muc 848
5.68/5.70	c iter 951 time 5.42518 not-muc 33750 unknown 282 muc 849
5.68/5.70	c iter 952 time 5.42617 not-muc 33750 unknown 281 muc 850
5.68/5.70	c iter 953 time 5.42717 not-muc 33750 unknown 280 muc 851
5.68/5.70	c iter 954 time 5.42817 not-muc 33750 unknown 279 muc 852
5.68/5.70	c iter 955 time 5.43017 not-muc 33750 unknown 278 muc 853
5.68/5.70	c iter 956 time 5.43117 not-muc 33750 unknown 277 muc 854
5.68/5.70	c iter 957 time 5.43217 not-muc 33750 unknown 276 muc 855
5.68/5.70	c iter 958 time 5.43317 not-muc 33750 unknown 275 muc 856
5.68/5.70	c iter 959 time 5.43517 not-muc 33750 unknown 274 muc 857
5.68/5.70	c iter 960 time 5.43617 not-muc 33750 unknown 273 muc 858
5.68/5.70	c iter 961 time 5.43717 not-muc 33750 unknown 272 muc 859
5.68/5.70	c iter 962 time 5.43817 not-muc 33750 unknown 271 muc 860
5.68/5.70	c iter 963 time 5.44017 not-muc 33750 unknown 270 muc 861
5.68/5.70	c iter 964 time 5.44117 not-muc 33750 unknown 269 muc 862
5.68/5.70	c iter 965 time 5.44217 not-muc 33750 unknown 268 muc 863
5.68/5.70	c iter 966 time 5.44417 not-muc 33750 unknown 267 muc 864
5.68/5.70	c iter 967 time 5.44517 not-muc 33750 unknown 266 muc 865
5.68/5.70	c iter 968 time 5.44617 not-muc 33750 unknown 265 muc 866
5.68/5.70	c iter 969 time 5.44717 not-muc 33750 unknown 264 muc 867
5.68/5.70	c iter 970 time 5.44817 not-muc 33750 unknown 263 muc 868
5.68/5.70	c iter 971 time 5.45017 not-muc 33750 unknown 262 muc 869
5.68/5.70	c iter 972 time 5.45117 not-muc 33750 unknown 261 muc 870
5.68/5.70	c iter 973 time 5.45217 not-muc 33750 unknown 260 muc 871
5.68/5.70	c iter 974 time 5.45317 not-muc 33750 unknown 259 muc 872
5.68/5.70	c iter 975 time 5.45417 not-muc 33750 unknown 258 muc 873
5.68/5.70	c iter 976 time 5.45517 not-muc 33750 unknown 257 muc 874
5.68/5.70	c iter 977 time 5.45717 not-muc 33750 unknown 256 muc 875
5.68/5.70	c iter 978 time 5.45817 not-muc 33750 unknown 255 muc 876
5.68/5.70	c iter 979 time 5.51016 not-muc 33751 unknown 254 muc 876
5.68/5.70	c iter 980 time 5.51816 not-muc 33751 unknown 253 muc 877
5.68/5.70	c iter 981 time 5.56615 not-muc 33752 unknown 252 muc 877
5.68/5.70	c iter 982 time 5.57415 not-muc 33752 unknown 251 muc 878
5.68/5.70	c iter 983 time 5.57615 not-muc 33752 unknown 250 muc 879
5.68/5.70	c iter 984 time 5.62714 not-muc 33753 unknown 249 muc 879
5.68/5.70	c iter 985 time 5.63214 not-muc 33753 unknown 248 muc 880
5.68/5.70	c iter 986 time 5.63414 not-muc 33753 unknown 247 muc 881
5.68/5.70	c iter 987 time 5.63614 not-muc 33753 unknown 246 muc 882
5.68/5.70	c iter 988 time 5.67514 not-muc 33754 unknown 245 muc 882
5.68/5.70	c iter 989 time 5.68614 not-muc 33754 unknown 244 muc 883
6.08/6.15	c iter 990 time 5.68813 not-muc 33754 unknown 243 muc 884
6.08/6.15	c iter 991 time 5.69013 not-muc 33754 unknown 242 muc 885
6.08/6.15	c iter 992 time 5.69213 not-muc 33754 unknown 241 muc 886
6.08/6.15	c iter 993 time 5.75312 not-muc 33755 unknown 240 muc 886
6.08/6.15	c iter 994 time 5.75812 not-muc 33755 unknown 239 muc 887
6.08/6.15	c iter 995 time 5.76012 not-muc 33755 unknown 238 muc 888
6.08/6.15	c iter 996 time 5.76212 not-muc 33755 unknown 237 muc 889
6.08/6.15	c iter 997 time 5.76412 not-muc 33755 unknown 236 muc 890
6.08/6.15	c iter 998 time 5.76512 not-muc 33755 unknown 235 muc 891
6.08/6.15	c iter 999 time 5.83111 not-muc 33756 unknown 234 muc 891
6.08/6.15	c iter 1000 time 5.83611 not-muc 33756 unknown 233 muc 892
6.08/6.15	c iter 1001 time 5.83811 not-muc 33756 unknown 232 muc 893
6.08/6.15	c iter 1002 time 5.83911 not-muc 33756 unknown 231 muc 894
6.08/6.15	c iter 1003 time 5.84111 not-muc 33756 unknown 230 muc 895
6.08/6.15	c iter 1004 time 5.84311 not-muc 33756 unknown 229 muc 896
6.08/6.15	c iter 1005 time 5.84811 not-muc 33756 unknown 228 muc 897
6.08/6.15	c iter 1006 time 5.9121 not-muc 33757 unknown 227 muc 897
6.08/6.15	c iter 1007 time 5.9171 not-muc 33757 unknown 226 muc 898
6.08/6.15	c iter 1008 time 5.9191 not-muc 33757 unknown 225 muc 899
6.08/6.15	c iter 1009 time 5.9211 not-muc 33757 unknown 224 muc 900
6.08/6.15	c iter 1010 time 5.9231 not-muc 33757 unknown 223 muc 901
6.08/6.15	c iter 1011 time 5.9251 not-muc 33757 unknown 222 muc 902
6.08/6.15	c iter 1012 time 5.9281 not-muc 33757 unknown 221 muc 903
6.08/6.15	c iter 1013 time 5.9301 not-muc 33757 unknown 220 muc 904
6.08/6.15	c iter 1014 time 5.9321 not-muc 33757 unknown 219 muc 905
6.08/6.15	c iter 1015 time 5.9341 not-muc 33757 unknown 218 muc 906
6.08/6.15	c iter 1016 time 5.9361 not-muc 33757 unknown 217 muc 907
6.08/6.15	c iter 1017 time 5.9381 not-muc 33757 unknown 216 muc 908
6.08/6.15	c iter 1018 time 5.9391 not-muc 33757 unknown 215 muc 909
6.08/6.15	c iter 1019 time 5.9411 not-muc 33757 unknown 214 muc 910
6.08/6.15	c iter 1020 time 5.9431 not-muc 33757 unknown 213 muc 911
6.08/6.15	c iter 1021 time 5.9451 not-muc 33757 unknown 212 muc 912
6.08/6.15	c iter 1022 time 5.99109 not-muc 33758 unknown 211 muc 912
6.08/6.15	c iter 1023 time 5.99509 not-muc 33758 unknown 210 muc 913
6.08/6.15	c iter 1024 time 5.99709 not-muc 33758 unknown 209 muc 914
6.08/6.15	c iter 1025 time 5.99809 not-muc 33758 unknown 208 muc 915
6.08/6.15	c iter 1026 time 6.00009 not-muc 33758 unknown 207 muc 916
6.08/6.15	c iter 1027 time 6.00209 not-muc 33758 unknown 206 muc 917
6.08/6.15	c iter 1028 time 6.00309 not-muc 33758 unknown 205 muc 918
6.08/6.15	c iter 1029 time 6.00509 not-muc 33758 unknown 204 muc 919
6.08/6.15	c iter 1030 time 6.00709 not-muc 33758 unknown 203 muc 920
6.08/6.15	c iter 1031 time 6.00809 not-muc 33758 unknown 202 muc 921
6.08/6.15	c iter 1032 time 6.05308 not-muc 33759 unknown 201 muc 921
6.08/6.15	c iter 1033 time 6.05708 not-muc 33759 unknown 200 muc 922
6.08/6.15	c iter 1034 time 6.05808 not-muc 33759 unknown 199 muc 923
6.08/6.15	c iter 1035 time 6.06008 not-muc 33759 unknown 198 muc 924
6.08/6.15	c iter 1036 time 6.06208 not-muc 33759 unknown 197 muc 925
6.08/6.15	c iter 1037 time 6.06308 not-muc 33759 unknown 196 muc 926
6.08/6.15	c iter 1038 time 6.06508 not-muc 33759 unknown 195 muc 927
6.08/6.15	c iter 1039 time 6.06608 not-muc 33759 unknown 194 muc 928
6.08/6.15	c iter 1040 time 6.06808 not-muc 33759 unknown 193 muc 929
6.08/6.15	c iter 1041 time 6.07008 not-muc 33759 unknown 192 muc 930
6.08/6.15	c iter 1042 time 6.07108 not-muc 33759 unknown 191 muc 931
6.08/6.15	c iter 1043 time 6.10707 not-muc 33760 unknown 190 muc 931
6.08/6.15	c iter 1044 time 6.11107 not-muc 33760 unknown 189 muc 932
6.08/6.15	c iter 1045 time 6.11207 not-muc 33760 unknown 188 muc 933
6.08/6.15	c iter 1046 time 6.11407 not-muc 33760 unknown 187 muc 934
6.08/6.15	c iter 1047 time 6.11607 not-muc 33760 unknown 186 muc 935
6.08/6.15	c iter 1048 time 6.11707 not-muc 33760 unknown 185 muc 936
6.08/6.15	c iter 1049 time 6.11907 not-muc 33760 unknown 184 muc 937
6.08/6.15	c iter 1050 time 6.12107 not-muc 33760 unknown 183 muc 938
6.08/6.15	c iter 1051 time 6.12207 not-muc 33760 unknown 182 muc 939
6.08/6.15	c iter 1052 time 6.12407 not-muc 33760 unknown 181 muc 940
6.08/6.15	c iter 1053 time 6.12607 not-muc 33760 unknown 180 muc 941
6.08/6.15	c iter 1054 time 6.12807 not-muc 33760 unknown 179 muc 942
6.08/6.15	c iter 1055 time 6.12907 not-muc 33760 unknown 178 muc 943
6.08/6.15	c iter 1056 time 6.13107 not-muc 33760 unknown 177 muc 944
6.08/6.15	c iter 1057 time 6.13307 not-muc 33760 unknown 176 muc 945
6.08/6.15	c iter 1058 time 6.13507 not-muc 33760 unknown 175 muc 946
6.08/6.15	c iter 1059 time 6.13607 not-muc 33760 unknown 174 muc 947
6.18/6.29	c iter 1060 time 6.13807 not-muc 33760 unknown 173 muc 948
6.18/6.29	c iter 1061 time 6.14007 not-muc 33760 unknown 172 muc 949
6.18/6.29	c iter 1062 time 6.14107 not-muc 33760 unknown 171 muc 950
6.18/6.29	c iter 1063 time 6.14307 not-muc 33760 unknown 170 muc 951
6.18/6.29	c iter 1064 time 6.14506 not-muc 33760 unknown 169 muc 952
6.18/6.29	c iter 1065 time 6.14607 not-muc 33760 unknown 168 muc 953
6.18/6.29	c iter 1066 time 6.14806 not-muc 33760 unknown 167 muc 954
6.18/6.29	c iter 1067 time 6.14907 not-muc 33760 unknown 166 muc 955
6.18/6.29	c iter 1068 time 6.15106 not-muc 33760 unknown 165 muc 956
6.18/6.29	c iter 1069 time 6.15306 not-muc 33760 unknown 164 muc 957
6.18/6.29	c iter 1070 time 6.15706 not-muc 33760 unknown 163 muc 958
6.18/6.29	c iter 1071 time 6.15906 not-muc 33760 unknown 162 muc 959
6.18/6.29	c iter 1072 time 6.16106 not-muc 33760 unknown 161 muc 960
6.18/6.29	c iter 1073 time 6.16306 not-muc 33760 unknown 160 muc 961
6.18/6.29	c iter 1074 time 6.16506 not-muc 33760 unknown 159 muc 962
6.18/6.29	c iter 1075 time 6.16606 not-muc 33760 unknown 158 muc 963
6.18/6.29	c iter 1076 time 6.16806 not-muc 33760 unknown 157 muc 964
6.18/6.29	c iter 1077 time 6.17006 not-muc 33760 unknown 156 muc 965
6.18/6.29	c iter 1078 time 6.17406 not-muc 33760 unknown 155 muc 966
6.18/6.29	c iter 1079 time 6.17506 not-muc 33760 unknown 154 muc 967
6.18/6.29	c iter 1080 time 6.17706 not-muc 33760 unknown 153 muc 968
6.18/6.29	c iter 1081 time 6.17906 not-muc 33760 unknown 152 muc 969
6.18/6.29	c iter 1082 time 6.18106 not-muc 33760 unknown 151 muc 970
6.18/6.29	c iter 1083 time 6.18406 not-muc 33760 unknown 150 muc 971
6.18/6.29	c iter 1084 time 6.18606 not-muc 33760 unknown 149 muc 972
6.18/6.29	c iter 1085 time 6.18906 not-muc 33760 unknown 148 muc 973
6.18/6.29	c iter 1086 time 6.19106 not-muc 33760 unknown 147 muc 974
6.18/6.29	c iter 1087 time 6.19306 not-muc 33760 unknown 146 muc 975
6.18/6.29	c iter 1088 time 6.19506 not-muc 33760 unknown 145 muc 976
6.18/6.29	c iter 1089 time 6.19706 not-muc 33760 unknown 144 muc 977
6.18/6.29	c iter 1090 time 6.19906 not-muc 33760 unknown 143 muc 978
6.18/6.29	c iter 1091 time 6.20106 not-muc 33760 unknown 142 muc 979
6.18/6.29	c iter 1092 time 6.20306 not-muc 33760 unknown 141 muc 980
6.18/6.29	c iter 1093 time 6.20506 not-muc 33760 unknown 140 muc 981
6.18/6.29	c iter 1094 time 6.20806 not-muc 33760 unknown 139 muc 982
6.18/6.29	c iter 1095 time 6.21005 not-muc 33760 unknown 138 muc 983
6.18/6.29	c iter 1096 time 6.21206 not-muc 33760 unknown 137 muc 984
6.18/6.29	c iter 1097 time 6.21406 not-muc 33760 unknown 136 muc 985
6.18/6.29	c iter 1098 time 6.21605 not-muc 33760 unknown 135 muc 986
6.18/6.29	c iter 1099 time 6.21805 not-muc 33760 unknown 134 muc 987
6.18/6.29	c iter 1100 time 6.22005 not-muc 33760 unknown 133 muc 988
6.18/6.29	c iter 1101 time 6.22205 not-muc 33760 unknown 132 muc 989
6.18/6.29	c iter 1102 time 6.22405 not-muc 33760 unknown 131 muc 990
6.18/6.29	c iter 1103 time 6.22605 not-muc 33760 unknown 130 muc 991
6.18/6.29	c iter 1104 time 6.22805 not-muc 33760 unknown 129 muc 992
6.18/6.29	c iter 1105 time 6.23005 not-muc 33760 unknown 128 muc 993
6.18/6.29	c iter 1106 time 6.23205 not-muc 33760 unknown 127 muc 994
6.18/6.29	c iter 1107 time 6.23405 not-muc 33760 unknown 126 muc 995
6.18/6.29	c iter 1108 time 6.23605 not-muc 33760 unknown 125 muc 996
6.18/6.29	c iter 1109 time 6.23805 not-muc 33760 unknown 124 muc 997
6.18/6.29	c iter 1110 time 6.24005 not-muc 33760 unknown 123 muc 998
6.18/6.29	c iter 1111 time 6.24205 not-muc 33760 unknown 122 muc 999
6.18/6.29	c iter 1112 time 6.24405 not-muc 33760 unknown 121 muc 1000
6.18/6.29	c iter 1113 time 6.24705 not-muc 33760 unknown 120 muc 1001
6.18/6.29	c iter 1114 time 6.24905 not-muc 33760 unknown 119 muc 1002
6.18/6.29	c iter 1115 time 6.25105 not-muc 33760 unknown 118 muc 1003
6.18/6.29	c iter 1116 time 6.25305 not-muc 33760 unknown 117 muc 1004
6.18/6.29	c iter 1117 time 6.25505 not-muc 33760 unknown 116 muc 1005
6.18/6.29	c iter 1118 time 6.25705 not-muc 33760 unknown 115 muc 1006
6.18/6.29	c iter 1119 time 6.25905 not-muc 33760 unknown 114 muc 1007
6.18/6.29	c iter 1120 time 6.26105 not-muc 33760 unknown 113 muc 1008
6.18/6.29	c iter 1121 time 6.26305 not-muc 33760 unknown 112 muc 1009
6.18/6.29	c iter 1122 time 6.26505 not-muc 33760 unknown 111 muc 1010
6.18/6.29	c iter 1123 time 6.26705 not-muc 33760 unknown 110 muc 1011
6.18/6.29	c iter 1124 time 6.26905 not-muc 33760 unknown 109 muc 1012
6.18/6.29	c iter 1125 time 6.27105 not-muc 33760 unknown 108 muc 1013
6.18/6.29	c iter 1126 time 6.27205 not-muc 33760 unknown 107 muc 1014
6.18/6.29	c iter 1127 time 6.27405 not-muc 33760 unknown 106 muc 1015
6.18/6.29	c iter 1128 time 6.27604 not-muc 33760 unknown 105 muc 1016
6.88/6.94	c iter 1129 time 6.27804 not-muc 33760 unknown 104 muc 1017
6.88/6.94	c iter 1130 time 6.28005 not-muc 33760 unknown 103 muc 1018
6.88/6.94	c iter 1131 time 6.28204 not-muc 33760 unknown 102 muc 1019
6.88/6.94	c iter 1132 time 6.28404 not-muc 33760 unknown 101 muc 1020
6.88/6.94	c iter 1133 time 6.28604 not-muc 33760 unknown 100 muc 1021
6.88/6.94	c iter 1134 time 6.28704 not-muc 33760 unknown 99 muc 1022
6.88/6.94	c iter 1135 time 6.28904 not-muc 33760 unknown 98 muc 1023
6.88/6.94	c iter 1136 time 6.29104 not-muc 33760 unknown 97 muc 1024
6.88/6.94	c iter 1137 time 6.29304 not-muc 33760 unknown 96 muc 1025
6.88/6.94	c iter 1138 time 6.29504 not-muc 33760 unknown 95 muc 1026
6.88/6.94	c iter 1139 time 6.29604 not-muc 33760 unknown 94 muc 1027
6.88/6.94	c iter 1140 time 6.29804 not-muc 33760 unknown 93 muc 1028
6.88/6.94	c iter 1141 time 6.30004 not-muc 33760 unknown 92 muc 1029
6.88/6.94	c iter 1142 time 6.30204 not-muc 33760 unknown 91 muc 1030
6.88/6.94	c iter 1143 time 6.30404 not-muc 33760 unknown 90 muc 1031
6.88/6.94	c iter 1144 time 6.30504 not-muc 33760 unknown 89 muc 1032
6.88/6.94	c iter 1145 time 6.30704 not-muc 33760 unknown 88 muc 1033
6.88/6.94	c iter 1146 time 6.30904 not-muc 33760 unknown 87 muc 1034
6.88/6.94	c iter 1147 time 6.31104 not-muc 33760 unknown 86 muc 1035
6.88/6.94	c iter 1148 time 6.31304 not-muc 33760 unknown 85 muc 1036
6.88/6.94	c iter 1149 time 6.31404 not-muc 33760 unknown 84 muc 1037
6.88/6.94	c iter 1150 time 6.31604 not-muc 33760 unknown 83 muc 1038
6.88/6.94	c iter 1151 time 6.31804 not-muc 33760 unknown 82 muc 1039
6.88/6.94	c iter 1152 time 6.32004 not-muc 33760 unknown 81 muc 1040
6.88/6.94	c iter 1153 time 6.32104 not-muc 33760 unknown 80 muc 1041
6.88/6.94	c iter 1154 time 6.32304 not-muc 33760 unknown 79 muc 1042
6.88/6.94	c iter 1155 time 6.32504 not-muc 33760 unknown 78 muc 1043
6.88/6.94	c iter 1156 time 6.32704 not-muc 33760 unknown 77 muc 1044
6.88/6.94	c iter 1157 time 6.32804 not-muc 33760 unknown 76 muc 1045
6.88/6.94	c iter 1158 time 6.33004 not-muc 33760 unknown 75 muc 1046
6.88/6.94	c iter 1159 time 6.33204 not-muc 33760 unknown 74 muc 1047
6.88/6.94	c iter 1160 time 6.33504 not-muc 33760 unknown 73 muc 1048
6.88/6.94	c iter 1161 time 6.36403 not-muc 33761 unknown 72 muc 1048
6.88/6.94	c iter 1162 time 6.36803 not-muc 33761 unknown 71 muc 1049
6.88/6.94	c iter 1163 time 6.37003 not-muc 33761 unknown 70 muc 1050
6.88/6.94	c iter 1164 time 6.44402 not-muc 33762 unknown 69 muc 1050
6.88/6.94	c iter 1165 time 6.44702 not-muc 33762 unknown 68 muc 1051
6.88/6.94	c iter 1166 time 6.48001 not-muc 33763 unknown 67 muc 1051
6.88/6.94	c iter 1167 time 6.48301 not-muc 33763 unknown 66 muc 1052
6.88/6.94	c iter 1168 time 6.53001 not-muc 33764 unknown 65 muc 1052
6.88/6.94	c iter 1169 time 6.53401 not-muc 33764 unknown 64 muc 1053
6.88/6.94	c iter 1170 time 6.539 not-muc 33764 unknown 63 muc 1054
6.88/6.94	c iter 1171 time 6.573 not-muc 33765 unknown 62 muc 1054
6.88/6.94	c iter 1172 time 6.578 not-muc 33765 unknown 61 muc 1055
6.88/6.94	c iter 1173 time 6.6 not-muc 33766 unknown 60 muc 1055
6.88/6.94	c iter 1174 time 6.602 not-muc 33766 unknown 59 muc 1056
6.88/6.94	c iter 1175 time 6.63199 not-muc 33767 unknown 58 muc 1056
6.88/6.94	c iter 1176 time 6.63399 not-muc 33767 unknown 57 muc 1057
6.88/6.94	c iter 1177 time 6.65199 not-muc 33768 unknown 56 muc 1057
6.88/6.94	c iter 1178 time 6.65799 not-muc 33768 unknown 55 muc 1058
6.88/6.94	c iter 1179 time 6.67399 not-muc 33769 unknown 54 muc 1058
6.88/6.94	c iter 1180 time 6.67798 not-muc 33769 unknown 53 muc 1059
6.88/6.94	c iter 1181 time 6.67998 not-muc 33769 unknown 52 muc 1060
6.88/6.94	c iter 1182 time 6.70698 not-muc 33770 unknown 51 muc 1060
6.88/6.94	c iter 1183 time 6.71498 not-muc 33770 unknown 50 muc 1061
6.88/6.94	c iter 1184 time 6.75297 not-muc 33771 unknown 49 muc 1061
6.88/6.94	c iter 1185 time 6.75897 not-muc 33771 unknown 48 muc 1062
6.88/6.94	c iter 1186 time 6.78797 not-muc 33772 unknown 47 muc 1062
6.88/6.94	c iter 1187 time 6.79197 not-muc 33772 unknown 46 muc 1063
6.88/6.94	c iter 1188 time 6.80996 not-muc 33773 unknown 45 muc 1063
6.88/6.94	c iter 1189 time 6.81496 not-muc 33773 unknown 44 muc 1064
6.88/6.94	c iter 1190 time 6.84396 not-muc 33774 unknown 43 muc 1064
6.88/6.94	c iter 1191 time 6.85196 not-muc 33774 unknown 42 muc 1065
6.88/6.94	c iter 1192 time 6.88895 not-muc 33775 unknown 41 muc 1065
6.88/6.94	c iter 1193 time 6.89195 not-muc 33775 unknown 40 muc 1066
6.88/6.94	c iter 1194 time 6.90995 not-muc 33776 unknown 39 muc 1066
6.88/6.94	c iter 1195 time 6.91295 not-muc 33776 unknown 38 muc 1067
6.88/6.94	c iter 1196 time 6.91495 not-muc 33776 unknown 37 muc 1068
6.88/6.94	c iter 1197 time 6.92495 not-muc 33777 unknown 36 muc 1068
7.29/7.35	c iter 1198 time 6.92695 not-muc 33777 unknown 35 muc 1069
7.29/7.35	c iter 1199 time 6.93694 not-muc 33778 unknown 34 muc 1069
7.29/7.35	c iter 1200 time 6.93895 not-muc 33778 unknown 33 muc 1070
7.29/7.35	c iter 1201 time 6.94494 not-muc 33779 unknown 32 muc 1070
7.29/7.35	c iter 1202 time 6.94894 not-muc 33779 unknown 31 muc 1071
7.29/7.35	c iter 1203 time 6.95694 not-muc 33780 unknown 30 muc 1071
7.29/7.35	c iter 1204 time 6.96194 not-muc 33780 unknown 29 muc 1072
7.29/7.35	c iter 1205 time 6.96394 not-muc 33780 unknown 28 muc 1073
7.29/7.35	c iter 1206 time 6.96494 not-muc 33780 unknown 27 muc 1074
7.29/7.35	c iter 1207 time 6.99094 not-muc 33781 unknown 26 muc 1074
7.29/7.35	c iter 1208 time 6.99594 not-muc 33781 unknown 25 muc 1075
7.29/7.35	c iter 1209 time 7.04293 not-muc 33782 unknown 24 muc 1075
7.29/7.35	c iter 1210 time 7.04593 not-muc 33782 unknown 23 muc 1076
7.29/7.35	c iter 1211 time 7.04693 not-muc 33782 unknown 22 muc 1077
7.29/7.35	c iter 1212 time 7.04893 not-muc 33782 unknown 21 muc 1078
7.29/7.35	c iter 1213 time 7.07292 not-muc 33783 unknown 20 muc 1078
7.29/7.35	c iter 1214 time 7.08092 not-muc 33783 unknown 19 muc 1079
7.29/7.35	c iter 1215 time 7.08192 not-muc 33783 unknown 18 muc 1080
7.29/7.35	c iter 1216 time 7.09092 not-muc 33784 unknown 17 muc 1080
7.29/7.35	c iter 1217 time 7.09492 not-muc 33784 unknown 16 muc 1081
7.29/7.35	c iter 1218 time 7.15391 not-muc 33785 unknown 15 muc 1081
7.29/7.35	c iter 1219 time 7.16691 not-muc 33785 unknown 14 muc 1082
7.29/7.35	c iter 1220 time 7.19291 not-muc 33786 unknown 13 muc 1082
7.29/7.35	c iter 1221 time 7.19591 not-muc 33786 unknown 12 muc 1083
7.29/7.35	c iter 1222 time 7.19691 not-muc 33786 unknown 11 muc 1084
7.29/7.35	c iter 1223 time 7.19791 not-muc 33786 unknown 10 muc 1085
7.29/7.35	c iter 1224 time 7.2219 not-muc 33787 unknown 9 muc 1085
7.29/7.35	c iter 1225 time 7.2249 not-muc 33787 unknown 8 muc 1086
7.29/7.35	c iter 1226 time 7.2499 not-muc 33788 unknown 7 muc 1086
7.29/7.35	c iter 1227 time 7.2519 not-muc 33788 unknown 6 muc 1087
7.29/7.35	c iter 1228 time 7.2529 not-muc 33788 unknown 5 muc 1088
7.29/7.35	c iter 1229 time 7.2539 not-muc 33788 unknown 4 muc 1089
7.29/7.35	c iter 1230 time 7.29589 not-muc 33789 unknown 3 muc 1089
7.29/7.35	c iter 1231 time 7.30089 not-muc 33789 unknown 2 muc 1090
7.29/7.35	c iter 1232 time 7.32988 not-muc 33790 unknown 1 muc 1090
7.29/7.35	c final iter 1233 time 7.33888 not-muc 33790 unknown 0 muc 1091
7.29/7.35	v 56 60 64 66 68 72 76 78 80 84 92 96 102 106 108 110 114 118 120 122 126 130 134 138 140 144 148 152 156 160 164 168 170 174 178 182 186 190 192 196 200 204 206 210 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1734 1735 1736 1737 1738 1739 1740 1741 1742 1744 1745 1746 1747 1748 1749 1750 1751 1753 1754 1755 1756 1757 1758 1759 1761 1762 1763 1764 1765 1766 1768 1769 1770 1771 1772 1774 1775 1776 1777 1779 1780 1781 1783 1784 1786 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2234 2235 2236 2237 2238 2239 2241 2242 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2371 2372 2373 2374 2375 2376 2377 2378 2379 2381 2382 2383 2384 2385 2386 2387 2388 2390 2391 2392 2393 2394 2395 2396 2398 2399 2400 2401 2402 2403 2405 2406 2407 2408 2409 2411 2412 2413 2414 2416 2417 2418 2420 2421 2423 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2971 2973 2974 2975 2976 2977 2978 2979 2980 2986 2987 2988 2989 2990 2991 2992 2993 3011 3012 3013 3014 3015 3021 3022 3023 3024 3025 3026 3031 3032 3033 3034 3035 3040 3041 3042 3043 3048 3049 3050 3055 3056 3061 3127 3329 3412 3456 3522 3523 3524 3594 3675 3680 3681 3685 3698 3699 3700 3702 3703 3745 3761 3762 3781 3782 3783 3784 3804 3828 3842 3845 3909 3912 3916 3919 3948 3951 3954 3958 3961 3975 3994 4000 4003 4004 4021 4022 4035 4038 4041 4042 4044 4045 4046 4050 4053 4054 4055 4057 4058 4059 4060 8788 8791 8794 8797 8800 8803 8806 8809 8812 8815 8818 8821 8824 8827 8830 8966 8967 8969 8970 8972 8973 8975 8976 8978 8979 8981 8982 8984 8985 8987 8988 8990 8991 8993 8994 8996 8997 8999 9000 9002 9003 9005 9006 9008 9009 9012 9014 9015 9017 9018 9020 9021 9023 9024 9026 9027 9029 9030 9032 9033 9035 9036 9038 9039 9041 9042 9044 9045 9047 9048 9050 9051 9053 9056 9059 9062 9063 9065 9066 9068 9069 9071 9072 9074 9075 9077 9078 9080 9081 9083 9084 9086 9087 9089 9090 9092 9093 9095 9096 9098 9099 9101 9102 9104 9105 9107 9108 9110 9111 9113 9114 9116 9117 9119 9120 9122 9123 9125 9126 9128 9129 9131 9132 9134 9135 9137 9138 9140 9141 9143 9144 9146 9147 9149 9150 9152 9153 9155 9156 9158 9159 9161 9162 9164 9165 9167 9168 9170 9171 9173 9174 9176 9177 9179 9180 9182 9183 9185 9186 9188 9189 9551 9552 9554 9555 9557 9558 9560 9561 9563 9564 9566 9567 9569 9570 9572 9573 9575 9576 9578 9579 9581 9582 9584 9585 9587 9588 9590 9591 9593 9594 9596 9597 9599 9602 9603 9605 9606 9608 9609 9611 9612 9614 9615 9617 9618 9620 9621 9623 9624 9626 9627 9629 9630 9632 9633 9635 9636 9638 9639 9686 9687 9689 9690 9692 9693 9695 9696 9698 9699 9701 9702 9704 9705 9707 9708 9710 9711 9713 9714 9716 9717 9719 9720 9722 9723 9725 9726 9728 9729 9731 9732 9734 9735 9737 9738 9740 9741 9743 9744 9746 9747 9749 9750 9752 9753 9755 9756 9758 9759 9761 9762 9764 9765 9767 9768 9770 9771 9773 9774 11531 11534 11537 11540 11541 11543 11544 11546 11547 11549 11550 11552 11553 11555 11556 11558 11559 11561 11562 11564 11565 11568 11571 11574 11575 11581 11587 11590 11593 11596 11599 11602 11605 11608 11611 11614 11617 11620 11626 11629 11983 11989 11995 12001 12004 12010 12016 12022 12304 12307 12310 12313 12316 12319 12322 12325 12328 12331 12334 12337 12567 12570 12573 12575 12576 12578 12579 12581 12582 12584 12585 12587 12588 12590 12591 12593 12594 12596 12597 12599 12600 12602 12603 12605 12608 15191 15192 15193 15194 15195 15196 15197 15198 15199 15200 15201 15202 15203 15204 15205 15270 15286 15302 15318 15334 15478 15494 15526 15542 16181 16182 16184 16186 16187 16188 16189 16190 16191 16192 16193 16194 16195 16196 16197 16200 16201 16327 16329 16331 16333 16334 16336 16338 16340 16441 16442 16443 16444 16445 16446 16447 16448 16449 16450 16451 16452 16550 0
7.29/7.35	s UNSATISFIABLE

OK	1091

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3494254-1307803541/watcher-3494254-1307803541 -o /tmp/evaluation-result-3494254-1307803541/solver-3494254-1307803541 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494254-1307803541.cnf -no-pre 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.95 3.82 2.56 5/189 24712
/proc/meminfo: memFree=25974136/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=20044 CPUtime=0 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 579 0 0 0 0 0 0 0 25 0 1 0 891954533 20525056 512 33554432000 4194304 4337479 140734882193712 18446744073709551615 4258532 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 5011 513 224 35 0 1634 0

[startup+0.0924559 s]
/proc/loadavg: 3.95 3.82 2.56 5/189 24712
/proc/meminfo: memFree=25974136/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=24732 CPUtime=0.08 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 2173 0 0 0 8 0 0 0 25 0 1 0 891954533 25325568 2078 33554432000 4194304 4337479 140734882193712 18446744073709551615 4303656 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 6183 2078 261 35 0 2806 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24732

[startup+0.100443 s]
/proc/loadavg: 3.95 3.82 2.56 5/189 24712
/proc/meminfo: memFree=25974136/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=24732 CPUtime=0.09 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 2200 0 0 0 9 0 0 0 25 0 1 0 891954533 25325568 2105 33554432000 4194304 4337479 140734882193712 18446744073709551615 4267895 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 6183 2105 261 35 0 2806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24732

[startup+0.300417 s]
/proc/loadavg: 3.95 3.82 2.56 5/189 24712
/proc/meminfo: memFree=25974136/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=27192 CPUtime=0.29 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 3126 0 0 0 29 0 0 0 25 0 1 0 891954533 27844608 3023 33554432000 4194304 4337479 140734882193712 18446744073709551615 4258600 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 6798 3023 261 35 0 3421 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27192

[startup+0.700332 s]
/proc/loadavg: 3.95 3.82 2.56 5/189 24712
/proc/meminfo: memFree=25974136/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=27324 CPUtime=0.69 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 3525 0 0 0 69 0 0 0 25 0 1 0 891954533 27979776 3414 33554432000 4194304 4337479 140734882193712 18446744073709551615 4303187 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 6831 3414 261 35 0 3454 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27324

[startup+1.50021 s]
/proc/loadavg: 3.95 3.82 2.56 5/190 24713
/proc/meminfo: memFree=25951708/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=34932 CPUtime=1.49 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 5251 0 0 0 149 0 0 0 25 0 1 0 891954533 35770368 5114 33554432000 4194304 4337479 140734882193712 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 8733 5114 262 35 0 5356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34932

[startup+3.10092 s]
/proc/loadavg: 3.96 3.83 2.56 5/190 24713
/proc/meminfo: memFree=25930008/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=43856 CPUtime=3.08 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 7498 0 0 0 308 0 0 0 25 0 1 0 891954533 44908544 7337 33554432000 4194304 4337479 140734882193712 18446744073709551615 4259848 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 10964 7337 262 35 0 7587 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43856

[startup+6.30034 s]
/proc/loadavg: 3.96 3.83 2.56 5/190 24713
/proc/meminfo: memFree=25892500/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=48280 CPUtime=6.28 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 8607 0 0 0 628 0 0 0 25 0 1 0 891954533 49438720 8446 33554432000 4194304 4337479 140734882193712 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 12070 8446 262 35 0 8693 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48280

Solver just ended. Dumping a history of the last processes samples

[startup+7.10117 s]
/proc/loadavg: 3.96 3.83 2.56 5/190 24713
/proc/meminfo: memFree=25887928/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=48280 CPUtime=7.09 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 8681 0 0 0 708 1 0 0 25 0 1 0 891954533 49438720 8520 33554432000 4194304 4337479 140734882193712 18446744073709551615 4288478 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 12070 8520 262 35 0 8693 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 48280

[startup+7.30114 s]
/proc/loadavg: 3.96 3.83 2.56 5/190 24713
/proc/meminfo: memFree=25887928/32951124 swapFree=67052968/67111528
[pid=24712] ppid=24710 vsize=48280 CPUtime=7.29 cores=4,6
/proc/24712/stat : 24712 (hmuc) R 24710 24712 24151 0 -1 4202496 8698 0 0 0 728 1 0 0 25 0 1 0 891954533 49438720 8537 33554432000 4194304 4337479 140734882193712 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/24712/statm: 12070 8537 262 35 0 8693 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 48280

Child status: 20
Real time (s): 7.35951
CPU time (s): 7.35188
CPU user time (s): 7.33888
CPU system time (s): 0.012998
CPU usage (%): 99.8963
Max. virtual memory (cumulated for all children) (KiB): 48280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.33888
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 36

runsolver used 0.012998 second user time and 0.034994 second system time

The end

Begin job on node104 at 2011-06-11 16:45:41
IDJOB=3494254
IDBENCH=83452
IDSOLVER=1984
FILE ID=node104/3494254-1307803541
RUNJOBID= node104-1307802577-24170
PBS_JOBID= 13551072
Free space on /tmp= 74104 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E03N15.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494254-1307803541/watcher-3494254-1307803541 -o /tmp/evaluation-result-3494254-1307803541/solver-3494254-1307803541 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494254-1307803541.cnf -no-pre

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 5e437ee939aa66499926385ad9d3b182
RANDOM SEED=497299241

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25974680 kB
Buffers:        145028 kB
Cached:         721484 kB
SwapCached:      11076 kB
Active:        6214724 kB
Inactive:       595800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25974680 kB
SwapTotal:    67111528 kB
SwapFree:     67052968 kB
Dirty:            2104 kB
Writeback:           0 kB
AnonPages:     5941464 kB
Mapped:           9696 kB
Slab:            90480 kB
PageTables:      17420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6716552 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74104 MiB
End job on node104 at 2011-06-11 16:45:48