1.69/1.75	c WARNING: for repeatability, setting FPU to use double precision
1.69/1.75	c iter 1 time 0.345947 not-muc 749412 unknown 1293 muc 0
1.69/1.75	c iter 2 time 0.595909 not-muc 749412 unknown 1292 muc 1
1.69/1.75	c iter 3 time 0.611906 not-muc 749412 unknown 1291 muc 2
1.69/1.75	c iter 4 time 0.627904 not-muc 749412 unknown 1290 muc 3
1.69/1.75	c iter 5 time 0.643902 not-muc 749412 unknown 1289 muc 4
1.69/1.75	c iter 6 time 0.659899 not-muc 749412 unknown 1288 muc 5
1.69/1.75	c iter 7 time 0.674897 not-muc 749412 unknown 1287 muc 6
1.69/1.75	c iter 8 time 0.690894 not-muc 749412 unknown 1286 muc 7
1.69/1.75	c iter 9 time 0.706892 not-muc 749412 unknown 1285 muc 8
1.69/1.75	c iter 10 time 0.72289 not-muc 749412 unknown 1284 muc 9
1.69/1.75	c iter 11 time 0.738887 not-muc 749412 unknown 1283 muc 10
1.69/1.75	c iter 12 time 0.754885 not-muc 749412 unknown 1282 muc 11
1.69/1.75	c iter 13 time 0.770882 not-muc 749412 unknown 1281 muc 12
1.69/1.75	c iter 14 time 0.78688 not-muc 749412 unknown 1280 muc 13
1.69/1.75	c iter 15 time 0.802877 not-muc 749412 unknown 1279 muc 14
1.69/1.75	c iter 16 time 0.818875 not-muc 749412 unknown 1278 muc 15
1.69/1.75	c iter 17 time 0.834873 not-muc 749412 unknown 1277 muc 16
1.69/1.75	c iter 18 time 0.85087 not-muc 749412 unknown 1276 muc 17
1.69/1.75	c iter 19 time 0.866868 not-muc 749412 unknown 1275 muc 18
1.69/1.75	c iter 20 time 0.882865 not-muc 749412 unknown 1274 muc 19
1.69/1.75	c iter 21 time 0.898863 not-muc 749412 unknown 1273 muc 20
1.69/1.75	c iter 22 time 0.91486 not-muc 749412 unknown 1272 muc 21
1.69/1.75	c iter 23 time 0.930858 not-muc 749412 unknown 1271 muc 22
1.69/1.75	c iter 24 time 0.946856 not-muc 749412 unknown 1270 muc 23
1.69/1.75	c iter 25 time 0.962853 not-muc 749412 unknown 1269 muc 24
1.69/1.75	c iter 26 time 0.978851 not-muc 749412 unknown 1268 muc 25
1.69/1.75	c iter 27 time 0.994848 not-muc 749412 unknown 1267 muc 26
1.69/1.75	c iter 28 time 1.01085 not-muc 749412 unknown 1266 muc 27
1.69/1.75	c iter 29 time 1.02684 not-muc 749412 unknown 1265 muc 28
1.69/1.75	c iter 30 time 1.04284 not-muc 749412 unknown 1264 muc 29
1.69/1.75	c iter 31 time 1.05884 not-muc 749412 unknown 1263 muc 30
1.69/1.75	c iter 32 time 1.07484 not-muc 749412 unknown 1262 muc 31
1.69/1.75	c iter 33 time 1.09083 not-muc 749412 unknown 1261 muc 32
1.69/1.75	c iter 34 time 1.10683 not-muc 749412 unknown 1260 muc 33
1.69/1.75	c iter 35 time 1.12283 not-muc 749412 unknown 1259 muc 34
1.69/1.75	c iter 36 time 1.13883 not-muc 749412 unknown 1258 muc 35
1.69/1.75	c iter 37 time 1.15482 not-muc 749412 unknown 1257 muc 36
1.69/1.75	c iter 38 time 1.17082 not-muc 749412 unknown 1256 muc 37
1.69/1.75	c iter 39 time 1.18782 not-muc 749412 unknown 1255 muc 38
1.69/1.75	c iter 40 time 1.20382 not-muc 749412 unknown 1254 muc 39
1.69/1.75	c iter 41 time 1.21981 not-muc 749412 unknown 1253 muc 40
1.69/1.75	c iter 42 time 1.23581 not-muc 749412 unknown 1252 muc 41
1.69/1.75	c iter 43 time 1.25181 not-muc 749412 unknown 1251 muc 42
1.69/1.75	c iter 44 time 1.26781 not-muc 749412 unknown 1250 muc 43
1.69/1.75	c iter 45 time 1.2838 not-muc 749412 unknown 1249 muc 44
1.69/1.75	c iter 46 time 1.2998 not-muc 749412 unknown 1248 muc 45
1.69/1.75	c iter 47 time 1.3168 not-muc 749412 unknown 1247 muc 46
1.69/1.75	c iter 48 time 1.3328 not-muc 749412 unknown 1246 muc 47
1.69/1.75	c iter 49 time 1.35779 not-muc 749412 unknown 1245 muc 48
1.69/1.75	c iter 50 time 1.37379 not-muc 749412 unknown 1244 muc 49
1.69/1.75	c iter 51 time 1.38979 not-muc 749412 unknown 1243 muc 50
1.69/1.75	c iter 52 time 1.40579 not-muc 749412 unknown 1242 muc 51
1.69/1.75	c iter 53 time 1.42178 not-muc 749412 unknown 1241 muc 52
1.69/1.75	c iter 54 time 1.43678 not-muc 749412 unknown 1240 muc 53
1.69/1.75	c iter 55 time 1.45278 not-muc 749412 unknown 1239 muc 54
1.69/1.75	c iter 56 time 1.46878 not-muc 749412 unknown 1238 muc 55
1.69/1.75	c iter 57 time 1.48477 not-muc 749412 unknown 1237 muc 56
1.69/1.75	c iter 58 time 1.50077 not-muc 749412 unknown 1236 muc 57
1.69/1.75	c iter 59 time 1.51677 not-muc 749412 unknown 1235 muc 58
1.69/1.75	c iter 60 time 1.53277 not-muc 749412 unknown 1234 muc 59
1.69/1.75	c iter 61 time 1.54876 not-muc 749412 unknown 1233 muc 60
1.69/1.75	c iter 62 time 1.56476 not-muc 749412 unknown 1232 muc 61
1.69/1.75	c iter 63 time 1.58076 not-muc 749412 unknown 1231 muc 62
1.69/1.75	c iter 64 time 1.59676 not-muc 749412 unknown 1230 muc 63
1.69/1.75	c iter 65 time 1.61275 not-muc 749412 unknown 1229 muc 64
1.69/1.75	c iter 66 time 1.62875 not-muc 749412 unknown 1228 muc 65
1.69/1.75	c iter 67 time 1.64475 not-muc 749412 unknown 1227 muc 66
1.69/1.75	c iter 68 time 1.66075 not-muc 749412 unknown 1226 muc 67
1.69/1.75	c iter 69 time 1.67674 not-muc 749412 unknown 1225 muc 68
1.69/1.75	c iter 70 time 1.69274 not-muc 749412 unknown 1224 muc 69
2.79/2.87	c iter 71 time 1.71074 not-muc 749412 unknown 1223 muc 70
2.79/2.87	c iter 72 time 1.72974 not-muc 749412 unknown 1222 muc 71
2.79/2.87	c iter 73 time 1.74573 not-muc 749412 unknown 1221 muc 72
2.79/2.87	c iter 74 time 1.76173 not-muc 749412 unknown 1220 muc 73
2.79/2.87	c iter 75 time 1.77773 not-muc 749412 unknown 1219 muc 74
2.79/2.87	c iter 76 time 1.79373 not-muc 749412 unknown 1218 muc 75
2.79/2.87	c iter 77 time 1.80872 not-muc 749412 unknown 1217 muc 76
2.79/2.87	c iter 78 time 1.82472 not-muc 749412 unknown 1216 muc 77
2.79/2.87	c iter 79 time 1.84072 not-muc 749412 unknown 1215 muc 78
2.79/2.87	c iter 80 time 1.85672 not-muc 749412 unknown 1214 muc 79
2.79/2.87	c iter 81 time 1.87271 not-muc 749412 unknown 1213 muc 80
2.79/2.87	c iter 82 time 1.88871 not-muc 749412 unknown 1212 muc 81
2.79/2.87	c iter 83 time 1.90471 not-muc 749412 unknown 1211 muc 82
2.79/2.87	c iter 84 time 1.92071 not-muc 749412 unknown 1210 muc 83
2.79/2.87	c iter 85 time 1.9367 not-muc 749412 unknown 1209 muc 84
2.79/2.87	c iter 86 time 1.9527 not-muc 749412 unknown 1208 muc 85
2.79/2.87	c iter 87 time 1.9687 not-muc 749412 unknown 1207 muc 86
2.79/2.87	c iter 88 time 1.9847 not-muc 749412 unknown 1206 muc 87
2.79/2.87	c iter 89 time 2.00069 not-muc 749412 unknown 1205 muc 88
2.79/2.87	c iter 90 time 2.01669 not-muc 749412 unknown 1204 muc 89
2.79/2.87	c iter 91 time 2.03269 not-muc 749412 unknown 1203 muc 90
2.79/2.87	c iter 92 time 2.04869 not-muc 749412 unknown 1202 muc 91
2.79/2.87	c iter 93 time 2.06469 not-muc 749412 unknown 1201 muc 92
2.79/2.87	c iter 94 time 2.08268 not-muc 749412 unknown 1200 muc 93
2.79/2.87	c iter 95 time 2.10168 not-muc 749412 unknown 1199 muc 94
2.79/2.87	c iter 96 time 2.11768 not-muc 749412 unknown 1198 muc 95
2.79/2.87	c iter 97 time 2.13368 not-muc 749412 unknown 1197 muc 96
2.79/2.87	c iter 98 time 2.14967 not-muc 749412 unknown 1196 muc 97
2.79/2.87	c iter 99 time 2.16467 not-muc 749412 unknown 1195 muc 98
2.79/2.87	c iter 100 time 2.18067 not-muc 749412 unknown 1194 muc 99
2.79/2.87	c iter 101 time 2.19667 not-muc 749412 unknown 1193 muc 100
2.79/2.87	c iter 102 time 2.21266 not-muc 749412 unknown 1192 muc 101
2.79/2.87	c iter 103 time 2.22866 not-muc 749412 unknown 1191 muc 102
2.79/2.87	c iter 104 time 2.24466 not-muc 749412 unknown 1190 muc 103
2.79/2.87	c iter 105 time 2.26066 not-muc 749412 unknown 1189 muc 104
2.79/2.87	c iter 106 time 2.27665 not-muc 749412 unknown 1188 muc 105
2.79/2.87	c iter 107 time 2.29265 not-muc 749412 unknown 1187 muc 106
2.79/2.87	c iter 108 time 2.30865 not-muc 749412 unknown 1186 muc 107
2.79/2.87	c iter 109 time 2.32465 not-muc 749412 unknown 1185 muc 108
2.79/2.87	c iter 110 time 2.33964 not-muc 749412 unknown 1184 muc 109
2.79/2.87	c iter 111 time 2.35564 not-muc 749412 unknown 1183 muc 110
2.79/2.87	c iter 112 time 2.37164 not-muc 749412 unknown 1182 muc 111
2.79/2.87	c iter 113 time 2.38764 not-muc 749412 unknown 1181 muc 112
2.79/2.87	c iter 114 time 2.40363 not-muc 749412 unknown 1180 muc 113
2.79/2.87	c iter 115 time 2.41963 not-muc 749412 unknown 1179 muc 114
2.79/2.87	c iter 116 time 2.43563 not-muc 749412 unknown 1178 muc 115
2.79/2.87	c iter 117 time 2.45163 not-muc 749412 unknown 1177 muc 116
2.79/2.87	c iter 118 time 2.47062 not-muc 749412 unknown 1176 muc 117
2.79/2.87	c iter 119 time 2.48962 not-muc 749412 unknown 1175 muc 118
2.79/2.87	c iter 120 time 2.50462 not-muc 749412 unknown 1174 muc 119
2.79/2.87	c iter 121 time 2.52062 not-muc 749412 unknown 1173 muc 120
2.79/2.87	c iter 122 time 2.53661 not-muc 749412 unknown 1172 muc 121
2.79/2.87	c iter 123 time 2.55261 not-muc 749412 unknown 1171 muc 122
2.79/2.87	c iter 124 time 2.56861 not-muc 749412 unknown 1170 muc 123
2.79/2.87	c iter 125 time 2.58461 not-muc 749412 unknown 1169 muc 124
2.79/2.87	c iter 126 time 2.6006 not-muc 749412 unknown 1168 muc 125
2.79/2.87	c iter 127 time 2.6166 not-muc 749412 unknown 1167 muc 126
2.79/2.87	c iter 128 time 2.6326 not-muc 749412 unknown 1166 muc 127
2.79/2.87	c iter 129 time 2.6476 not-muc 749412 unknown 1165 muc 128
2.79/2.87	c iter 130 time 2.66359 not-muc 749412 unknown 1164 muc 129
2.79/2.87	c iter 131 time 2.67959 not-muc 749412 unknown 1163 muc 130
2.79/2.87	c iter 132 time 2.69559 not-muc 749412 unknown 1162 muc 131
2.79/2.87	c iter 133 time 2.71159 not-muc 749412 unknown 1161 muc 132
2.79/2.87	c iter 134 time 2.72758 not-muc 749412 unknown 1160 muc 133
2.79/2.87	c iter 135 time 2.74358 not-muc 749412 unknown 1159 muc 134
2.79/2.87	c iter 136 time 2.75958 not-muc 749412 unknown 1158 muc 135
2.79/2.87	c iter 137 time 2.77558 not-muc 749412 unknown 1157 muc 136
2.79/2.87	c iter 138 time 2.79157 not-muc 749412 unknown 1156 muc 137
2.79/2.87	c iter 139 time 2.80757 not-muc 749412 unknown 1155 muc 138
3.89/3.98	c iter 140 time 2.82357 not-muc 749412 unknown 1154 muc 139
3.89/3.98	c iter 141 time 2.83957 not-muc 749412 unknown 1153 muc 140
3.89/3.98	c iter 142 time 2.85556 not-muc 749412 unknown 1152 muc 141
3.89/3.98	c iter 143 time 2.87156 not-muc 749412 unknown 1151 muc 142
3.89/3.98	c iter 144 time 2.88756 not-muc 749412 unknown 1150 muc 143
3.89/3.98	c iter 145 time 2.90356 not-muc 749412 unknown 1149 muc 144
3.89/3.98	c iter 146 time 2.91956 not-muc 749412 unknown 1148 muc 145
3.89/3.98	c iter 147 time 2.93555 not-muc 749412 unknown 1147 muc 146
3.89/3.98	c iter 148 time 2.95155 not-muc 749412 unknown 1146 muc 147
3.89/3.98	c iter 149 time 2.96755 not-muc 749412 unknown 1145 muc 148
3.89/3.98	c iter 150 time 2.98355 not-muc 749412 unknown 1144 muc 149
3.89/3.98	c iter 151 time 3.00254 not-muc 749412 unknown 1143 muc 150
3.89/3.98	c iter 152 time 3.02154 not-muc 749412 unknown 1142 muc 151
3.89/3.98	c iter 153 time 3.03654 not-muc 749412 unknown 1141 muc 152
3.89/3.98	c iter 154 time 3.05253 not-muc 749412 unknown 1140 muc 153
3.89/3.98	c iter 155 time 3.06853 not-muc 749412 unknown 1139 muc 154
3.89/3.98	c iter 156 time 3.08453 not-muc 749412 unknown 1138 muc 155
3.89/3.98	c iter 157 time 3.10053 not-muc 749412 unknown 1137 muc 156
3.89/3.98	c iter 158 time 3.11653 not-muc 749412 unknown 1136 muc 157
3.89/3.98	c iter 159 time 3.13252 not-muc 749412 unknown 1135 muc 158
3.89/3.98	c iter 160 time 3.14852 not-muc 749412 unknown 1134 muc 159
3.89/3.98	c iter 161 time 3.16452 not-muc 749412 unknown 1133 muc 160
3.89/3.98	c iter 162 time 3.18052 not-muc 749412 unknown 1132 muc 161
3.89/3.98	c iter 163 time 3.19551 not-muc 749412 unknown 1131 muc 162
3.89/3.98	c iter 164 time 3.21151 not-muc 749412 unknown 1130 muc 163
3.89/3.98	c iter 165 time 3.22751 not-muc 749412 unknown 1129 muc 164
3.89/3.98	c iter 166 time 3.24351 not-muc 749412 unknown 1128 muc 165
3.89/3.98	c iter 167 time 3.2595 not-muc 749412 unknown 1127 muc 166
3.89/3.98	c iter 168 time 3.2755 not-muc 749412 unknown 1126 muc 167
3.89/3.98	c iter 169 time 3.2915 not-muc 749412 unknown 1125 muc 168
3.89/3.98	c iter 170 time 3.3075 not-muc 749412 unknown 1124 muc 169
3.89/3.98	c iter 171 time 3.32349 not-muc 749412 unknown 1123 muc 170
3.89/3.98	c iter 172 time 3.33949 not-muc 749412 unknown 1122 muc 171
3.89/3.98	c iter 173 time 3.35549 not-muc 749412 unknown 1121 muc 172
3.89/3.98	c iter 174 time 3.37149 not-muc 749412 unknown 1120 muc 173
3.89/3.98	c iter 175 time 3.38748 not-muc 749412 unknown 1119 muc 174
3.89/3.98	c iter 176 time 3.40348 not-muc 749412 unknown 1118 muc 175
3.89/3.98	c iter 177 time 3.41948 not-muc 749412 unknown 1117 muc 176
3.89/3.98	c iter 178 time 3.43548 not-muc 749412 unknown 1116 muc 177
3.89/3.98	c iter 179 time 3.45147 not-muc 749412 unknown 1115 muc 178
3.89/3.98	c iter 180 time 3.46747 not-muc 749412 unknown 1114 muc 179
3.89/3.98	c iter 181 time 3.48347 not-muc 749412 unknown 1113 muc 180
3.89/3.98	c iter 182 time 3.49947 not-muc 749412 unknown 1112 muc 181
3.89/3.98	c iter 183 time 3.51546 not-muc 749412 unknown 1111 muc 182
3.89/3.98	c iter 184 time 3.53146 not-muc 749412 unknown 1110 muc 183
3.89/3.98	c iter 185 time 3.54746 not-muc 749412 unknown 1109 muc 184
3.89/3.98	c iter 186 time 3.56346 not-muc 749412 unknown 1108 muc 185
3.89/3.98	c iter 187 time 3.57946 not-muc 749412 unknown 1107 muc 186
3.89/3.98	c iter 188 time 3.59545 not-muc 749412 unknown 1106 muc 187
3.89/3.98	c iter 189 time 3.61145 not-muc 749412 unknown 1105 muc 188
3.89/3.98	c iter 190 time 3.62845 not-muc 749412 unknown 1104 muc 189
3.89/3.98	c iter 191 time 3.64445 not-muc 749412 unknown 1103 muc 190
3.89/3.98	c iter 192 time 3.66044 not-muc 749412 unknown 1102 muc 191
3.89/3.98	c iter 193 time 3.67644 not-muc 749412 unknown 1101 muc 192
3.89/3.98	c iter 194 time 3.69244 not-muc 749412 unknown 1100 muc 193
3.89/3.98	c iter 195 time 3.70844 not-muc 749412 unknown 1099 muc 194
3.89/3.98	c iter 196 time 3.72443 not-muc 749412 unknown 1098 muc 195
3.89/3.98	c iter 197 time 3.74043 not-muc 749412 unknown 1097 muc 196
3.89/3.98	c iter 198 time 3.75743 not-muc 749412 unknown 1096 muc 197
3.89/3.98	c iter 199 time 3.77343 not-muc 749412 unknown 1095 muc 198
3.89/3.98	c iter 200 time 3.78942 not-muc 749412 unknown 1094 muc 199
3.89/3.98	c iter 201 time 3.80542 not-muc 749412 unknown 1093 muc 200
3.89/3.98	c iter 202 time 3.82142 not-muc 749412 unknown 1092 muc 201
3.89/3.98	c iter 203 time 3.83742 not-muc 749412 unknown 1091 muc 202
3.89/3.98	c iter 204 time 3.85341 not-muc 749412 unknown 1090 muc 203
3.89/3.98	c iter 205 time 3.87041 not-muc 749412 unknown 1089 muc 204
3.89/3.98	c iter 206 time 3.88641 not-muc 749412 unknown 1088 muc 205
3.89/3.98	c iter 207 time 3.90241 not-muc 749412 unknown 1087 muc 206
3.89/3.98	c iter 208 time 3.9184 not-muc 749412 unknown 1086 muc 207
4.99/5.09	c iter 209 time 3.9354 not-muc 749412 unknown 1085 muc 208
4.99/5.09	c iter 210 time 3.9514 not-muc 749412 unknown 1084 muc 209
4.99/5.09	c iter 211 time 3.9674 not-muc 749412 unknown 1083 muc 210
4.99/5.09	c iter 212 time 3.98339 not-muc 749412 unknown 1082 muc 211
4.99/5.09	c iter 213 time 4.00039 not-muc 749412 unknown 1081 muc 212
4.99/5.09	c iter 214 time 4.01639 not-muc 749412 unknown 1080 muc 213
4.99/5.09	c iter 215 time 4.03239 not-muc 749412 unknown 1079 muc 214
4.99/5.09	c iter 216 time 4.04938 not-muc 749412 unknown 1078 muc 215
4.99/5.09	c iter 217 time 4.06538 not-muc 749412 unknown 1077 muc 216
4.99/5.09	c iter 218 time 4.08138 not-muc 749412 unknown 1076 muc 217
4.99/5.09	c iter 219 time 4.09738 not-muc 749412 unknown 1075 muc 218
4.99/5.09	c iter 220 time 4.11437 not-muc 749412 unknown 1074 muc 219
4.99/5.09	c iter 221 time 4.13037 not-muc 749412 unknown 1073 muc 220
4.99/5.09	c iter 222 time 4.14737 not-muc 749412 unknown 1072 muc 221
4.99/5.09	c iter 223 time 4.16337 not-muc 749412 unknown 1071 muc 222
4.99/5.09	c iter 224 time 4.17936 not-muc 749412 unknown 1070 muc 223
4.99/5.09	c iter 225 time 4.19636 not-muc 749412 unknown 1069 muc 224
4.99/5.09	c iter 226 time 4.21236 not-muc 749412 unknown 1068 muc 225
4.99/5.09	c iter 227 time 4.22936 not-muc 749412 unknown 1067 muc 226
4.99/5.09	c iter 228 time 4.24735 not-muc 749412 unknown 1066 muc 227
4.99/5.09	c iter 229 time 4.26635 not-muc 749412 unknown 1065 muc 228
4.99/5.09	c iter 230 time 4.28235 not-muc 749412 unknown 1064 muc 229
4.99/5.09	c iter 231 time 4.29835 not-muc 749412 unknown 1063 muc 230
4.99/5.09	c iter 232 time 4.31434 not-muc 749412 unknown 1062 muc 231
4.99/5.09	c iter 233 time 4.33034 not-muc 749412 unknown 1061 muc 232
4.99/5.09	c iter 234 time 4.34634 not-muc 749412 unknown 1060 muc 233
4.99/5.09	c iter 235 time 4.36234 not-muc 749412 unknown 1059 muc 234
4.99/5.09	c iter 236 time 4.37833 not-muc 749412 unknown 1058 muc 235
4.99/5.09	c iter 237 time 4.39433 not-muc 749412 unknown 1057 muc 236
4.99/5.09	c iter 238 time 4.41033 not-muc 749412 unknown 1056 muc 237
4.99/5.09	c iter 239 time 4.42633 not-muc 749412 unknown 1055 muc 238
4.99/5.09	c iter 240 time 4.44232 not-muc 749412 unknown 1054 muc 239
4.99/5.09	c iter 241 time 4.45932 not-muc 749412 unknown 1053 muc 240
4.99/5.09	c iter 242 time 4.47532 not-muc 749412 unknown 1052 muc 241
4.99/5.09	c iter 243 time 4.49132 not-muc 749412 unknown 1051 muc 242
4.99/5.09	c iter 244 time 4.50731 not-muc 749412 unknown 1050 muc 243
4.99/5.09	c iter 245 time 4.52331 not-muc 749412 unknown 1049 muc 244
4.99/5.09	c iter 246 time 4.53931 not-muc 749412 unknown 1048 muc 245
4.99/5.09	c iter 247 time 4.55531 not-muc 749412 unknown 1047 muc 246
4.99/5.09	c iter 248 time 4.5713 not-muc 749412 unknown 1046 muc 247
4.99/5.09	c iter 249 time 4.5883 not-muc 749412 unknown 1045 muc 248
4.99/5.09	c iter 250 time 4.6043 not-muc 749412 unknown 1044 muc 249
4.99/5.09	c iter 251 time 4.6203 not-muc 749412 unknown 1043 muc 250
4.99/5.09	c iter 252 time 4.6363 not-muc 749412 unknown 1042 muc 251
4.99/5.09	c iter 253 time 4.65229 not-muc 749412 unknown 1041 muc 252
4.99/5.09	c iter 254 time 4.66929 not-muc 749412 unknown 1040 muc 253
4.99/5.09	c iter 255 time 4.68529 not-muc 749412 unknown 1039 muc 254
4.99/5.09	c iter 256 time 4.70129 not-muc 749412 unknown 1038 muc 255
4.99/5.09	c iter 257 time 4.71828 not-muc 749412 unknown 1037 muc 256
4.99/5.09	c iter 258 time 4.73428 not-muc 749412 unknown 1036 muc 257
4.99/5.09	c iter 259 time 4.75028 not-muc 749412 unknown 1035 muc 258
4.99/5.09	c iter 260 time 4.76628 not-muc 749412 unknown 1034 muc 259
4.99/5.09	c iter 261 time 4.78327 not-muc 749412 unknown 1033 muc 260
4.99/5.09	c iter 262 time 4.79927 not-muc 749412 unknown 1032 muc 261
4.99/5.09	c iter 263 time 4.81627 not-muc 749412 unknown 1031 muc 262
4.99/5.09	c iter 264 time 4.83226 not-muc 749412 unknown 1030 muc 263
4.99/5.09	c iter 265 time 4.84826 not-muc 749412 unknown 1029 muc 264
4.99/5.09	c iter 266 time 4.86526 not-muc 749412 unknown 1028 muc 265
4.99/5.09	c iter 267 time 4.88126 not-muc 749412 unknown 1027 muc 266
4.99/5.09	c iter 268 time 4.89726 not-muc 749412 unknown 1026 muc 267
4.99/5.09	c iter 269 time 4.91425 not-muc 749412 unknown 1025 muc 268
4.99/5.09	c iter 270 time 4.93025 not-muc 749412 unknown 1024 muc 269
4.99/5.09	c iter 271 time 4.94725 not-muc 749412 unknown 1023 muc 270
4.99/5.09	c iter 272 time 4.96324 not-muc 749412 unknown 1022 muc 271
4.99/5.09	c iter 273 time 4.98024 not-muc 749412 unknown 1021 muc 272
4.99/5.09	c iter 274 time 4.99624 not-muc 749412 unknown 1020 muc 273
4.99/5.09	c iter 275 time 5.01324 not-muc 749412 unknown 1019 muc 274
4.99/5.09	c iter 276 time 5.02923 not-muc 749412 unknown 1018 muc 275
6.19/6.26	c iter 277 time 5.04623 not-muc 749412 unknown 1017 muc 276
6.19/6.26	c iter 278 time 5.06223 not-muc 749412 unknown 1016 muc 277
6.19/6.26	c iter 279 time 5.07923 not-muc 749412 unknown 1015 muc 278
6.19/6.26	c iter 280 time 5.09523 not-muc 749412 unknown 1014 muc 279
6.19/6.26	c iter 281 time 5.11222 not-muc 749412 unknown 1013 muc 280
6.19/6.26	c iter 282 time 5.12922 not-muc 749412 unknown 1012 muc 281
6.19/6.26	c iter 283 time 5.14522 not-muc 749412 unknown 1011 muc 282
6.19/6.26	c iter 284 time 5.16221 not-muc 749412 unknown 1010 muc 283
6.19/6.26	c iter 285 time 5.17821 not-muc 749412 unknown 1009 muc 284
6.19/6.26	c iter 286 time 5.19521 not-muc 749412 unknown 1008 muc 285
6.19/6.26	c iter 287 time 5.21221 not-muc 749412 unknown 1007 muc 286
6.19/6.26	c iter 288 time 5.2282 not-muc 749412 unknown 1006 muc 287
6.19/6.26	c iter 289 time 5.2452 not-muc 749412 unknown 1005 muc 288
6.19/6.26	c iter 290 time 5.2622 not-muc 749412 unknown 1004 muc 289
6.19/6.26	c iter 291 time 5.2782 not-muc 749412 unknown 1003 muc 290
6.19/6.26	c iter 292 time 5.29519 not-muc 749412 unknown 1002 muc 291
6.19/6.26	c iter 293 time 5.31219 not-muc 749412 unknown 1001 muc 292
6.19/6.26	c iter 294 time 5.32819 not-muc 749412 unknown 1000 muc 293
6.19/6.26	c iter 295 time 5.34519 not-muc 749412 unknown 999 muc 294
6.19/6.26	c iter 296 time 5.36218 not-muc 749412 unknown 998 muc 295
6.19/6.26	c iter 297 time 5.37918 not-muc 749412 unknown 997 muc 296
6.19/6.26	c iter 298 time 5.39618 not-muc 749412 unknown 996 muc 297
6.19/6.26	c iter 299 time 5.41218 not-muc 749412 unknown 995 muc 298
6.19/6.26	c iter 300 time 5.42917 not-muc 749412 unknown 994 muc 299
6.19/6.26	c iter 301 time 5.44617 not-muc 749412 unknown 993 muc 300
6.19/6.26	c iter 302 time 5.46317 not-muc 749412 unknown 992 muc 301
6.19/6.26	c iter 303 time 5.47917 not-muc 749412 unknown 991 muc 302
6.19/6.26	c iter 304 time 5.49616 not-muc 749412 unknown 990 muc 303
6.19/6.26	c iter 305 time 5.51316 not-muc 749412 unknown 989 muc 304
6.19/6.26	c iter 306 time 5.53016 not-muc 749412 unknown 988 muc 305
6.19/6.26	c iter 307 time 5.54716 not-muc 749412 unknown 987 muc 306
6.19/6.26	c iter 308 time 5.56415 not-muc 749412 unknown 986 muc 307
6.19/6.26	c iter 309 time 5.58015 not-muc 749412 unknown 985 muc 308
6.19/6.26	c iter 310 time 5.59715 not-muc 749412 unknown 984 muc 309
6.19/6.26	c iter 311 time 5.61415 not-muc 749412 unknown 983 muc 310
6.19/6.26	c iter 312 time 5.63114 not-muc 749412 unknown 982 muc 311
6.19/6.26	c iter 313 time 5.64814 not-muc 749412 unknown 981 muc 312
6.19/6.26	c iter 314 time 5.66514 not-muc 749412 unknown 980 muc 313
6.19/6.26	c iter 315 time 5.68214 not-muc 749412 unknown 979 muc 314
6.19/6.26	c iter 316 time 5.69913 not-muc 749412 unknown 978 muc 315
6.19/6.26	c iter 317 time 5.71613 not-muc 749412 unknown 977 muc 316
6.19/6.26	c iter 318 time 5.73313 not-muc 749412 unknown 976 muc 317
6.19/6.26	c iter 319 time 5.75012 not-muc 749412 unknown 975 muc 318
6.19/6.26	c iter 320 time 5.76712 not-muc 749412 unknown 974 muc 319
6.19/6.26	c iter 321 time 5.78412 not-muc 749412 unknown 973 muc 320
6.19/6.26	c iter 322 time 5.80112 not-muc 749412 unknown 972 muc 321
6.19/6.26	c iter 323 time 5.81811 not-muc 749412 unknown 971 muc 322
6.19/6.26	c iter 324 time 5.83511 not-muc 749412 unknown 970 muc 323
6.19/6.26	c iter 325 time 5.85211 not-muc 749412 unknown 969 muc 324
6.19/6.26	c iter 326 time 5.86911 not-muc 749412 unknown 968 muc 325
6.19/6.26	c iter 327 time 5.88711 not-muc 749412 unknown 967 muc 326
6.19/6.26	c iter 328 time 5.9041 not-muc 749412 unknown 966 muc 327
6.19/6.26	c iter 329 time 5.9211 not-muc 749412 unknown 965 muc 328
6.19/6.26	c iter 330 time 5.9381 not-muc 749412 unknown 964 muc 329
6.19/6.26	c iter 331 time 5.95509 not-muc 749412 unknown 963 muc 330
6.19/6.26	c iter 332 time 5.97309 not-muc 749412 unknown 962 muc 331
6.19/6.26	c iter 333 time 5.99009 not-muc 749412 unknown 961 muc 332
6.19/6.26	c iter 334 time 6.00709 not-muc 749412 unknown 960 muc 333
6.19/6.26	c iter 335 time 6.02408 not-muc 749412 unknown 959 muc 334
6.19/6.26	c iter 336 time 6.04208 not-muc 749412 unknown 958 muc 335
6.19/6.26	c iter 337 time 6.05908 not-muc 749412 unknown 957 muc 336
6.19/6.26	c iter 338 time 6.07608 not-muc 749412 unknown 956 muc 337
6.19/6.26	c iter 339 time 6.09407 not-muc 749412 unknown 955 muc 338
6.19/6.26	c iter 340 time 6.11107 not-muc 749412 unknown 954 muc 339
6.19/6.26	c iter 341 time 6.12907 not-muc 749412 unknown 953 muc 340
6.19/6.26	c iter 342 time 6.14607 not-muc 749412 unknown 952 muc 341
6.19/6.26	c iter 343 time 6.16406 not-muc 749412 unknown 951 muc 342
6.19/6.26	c iter 344 time 6.18106 not-muc 749412 unknown 950 muc 343
6.19/6.26	c iter 345 time 6.19806 not-muc 749412 unknown 949 muc 344
7.39/7.43	c iter 346 time 6.21605 not-muc 749412 unknown 948 muc 345
7.39/7.43	c iter 347 time 6.23305 not-muc 749412 unknown 947 muc 346
7.39/7.43	c iter 348 time 6.25105 not-muc 749412 unknown 946 muc 347
7.39/7.43	c iter 349 time 6.26805 not-muc 749412 unknown 945 muc 348
7.39/7.43	c iter 350 time 6.28604 not-muc 749412 unknown 944 muc 349
7.39/7.43	c iter 351 time 6.30404 not-muc 749412 unknown 943 muc 350
7.39/7.43	c iter 352 time 6.32504 not-muc 749412 unknown 942 muc 351
7.39/7.43	c iter 353 time 6.34403 not-muc 749412 unknown 941 muc 352
7.39/7.43	c iter 354 time 6.36003 not-muc 749412 unknown 940 muc 353
7.39/7.43	c iter 355 time 6.37603 not-muc 749412 unknown 939 muc 354
7.39/7.43	c iter 356 time 6.39203 not-muc 749412 unknown 938 muc 355
7.39/7.43	c iter 357 time 6.40803 not-muc 749412 unknown 937 muc 356
7.39/7.43	c iter 358 time 6.42402 not-muc 749412 unknown 936 muc 357
7.39/7.43	c iter 359 time 6.44102 not-muc 749412 unknown 935 muc 358
7.39/7.43	c iter 360 time 6.45702 not-muc 749412 unknown 934 muc 359
7.39/7.43	c iter 361 time 6.47302 not-muc 749412 unknown 933 muc 360
7.39/7.43	c iter 362 time 6.49001 not-muc 749412 unknown 932 muc 361
7.39/7.43	c iter 363 time 6.50601 not-muc 749412 unknown 931 muc 362
7.39/7.43	c iter 364 time 6.52201 not-muc 749412 unknown 930 muc 363
7.39/7.43	c iter 365 time 6.53801 not-muc 749412 unknown 929 muc 364
7.39/7.43	c iter 366 time 6.555 not-muc 749412 unknown 928 muc 365
7.39/7.43	c iter 367 time 6.571 not-muc 749412 unknown 927 muc 366
7.39/7.43	c iter 368 time 6.587 not-muc 749412 unknown 926 muc 367
7.39/7.43	c iter 369 time 6.604 not-muc 749412 unknown 925 muc 368
7.39/7.43	c iter 370 time 6.61999 not-muc 749412 unknown 924 muc 369
7.39/7.43	c iter 371 time 6.63699 not-muc 749412 unknown 923 muc 370
7.39/7.43	c iter 372 time 6.65299 not-muc 749412 unknown 922 muc 371
7.39/7.43	c iter 373 time 6.66999 not-muc 749412 unknown 921 muc 372
7.39/7.43	c iter 374 time 6.68598 not-muc 749412 unknown 920 muc 373
7.39/7.43	c iter 375 time 6.70298 not-muc 749412 unknown 919 muc 374
7.39/7.43	c iter 376 time 6.71898 not-muc 749412 unknown 918 muc 375
7.39/7.43	c iter 377 time 6.73498 not-muc 749412 unknown 917 muc 376
7.39/7.43	c iter 378 time 6.75197 not-muc 749412 unknown 916 muc 377
7.39/7.43	c iter 379 time 6.76897 not-muc 749412 unknown 915 muc 378
7.39/7.43	c iter 380 time 6.78497 not-muc 749412 unknown 914 muc 379
7.39/7.43	c iter 381 time 6.80197 not-muc 749412 unknown 913 muc 380
7.39/7.43	c iter 382 time 6.81796 not-muc 749412 unknown 912 muc 381
7.39/7.43	c iter 383 time 6.83496 not-muc 749412 unknown 911 muc 382
7.39/7.43	c iter 384 time 6.85196 not-muc 749412 unknown 910 muc 383
7.39/7.43	c iter 385 time 6.86796 not-muc 749412 unknown 909 muc 384
7.39/7.43	c iter 386 time 6.88495 not-muc 749412 unknown 908 muc 385
7.39/7.43	c iter 387 time 6.90195 not-muc 749412 unknown 907 muc 386
7.39/7.43	c iter 388 time 6.91795 not-muc 749412 unknown 906 muc 387
7.39/7.43	c iter 389 time 6.93494 not-muc 749412 unknown 905 muc 388
7.39/7.43	c iter 390 time 6.95194 not-muc 749412 unknown 904 muc 389
7.39/7.43	c iter 391 time 6.96894 not-muc 749412 unknown 903 muc 390
7.39/7.43	c iter 392 time 6.98494 not-muc 749412 unknown 902 muc 391
7.39/7.43	c iter 393 time 7.00193 not-muc 749412 unknown 901 muc 392
7.39/7.43	c iter 394 time 7.01893 not-muc 749412 unknown 900 muc 393
7.39/7.43	c iter 395 time 7.03593 not-muc 749412 unknown 899 muc 394
7.39/7.43	c iter 396 time 7.05293 not-muc 749412 unknown 898 muc 395
7.39/7.43	c iter 397 time 7.06893 not-muc 749412 unknown 897 muc 396
7.39/7.43	c iter 398 time 7.08592 not-muc 749412 unknown 896 muc 397
7.39/7.43	c iter 399 time 7.10292 not-muc 749412 unknown 895 muc 398
7.39/7.43	c iter 400 time 7.11992 not-muc 749412 unknown 894 muc 399
7.39/7.43	c iter 401 time 7.13692 not-muc 749412 unknown 893 muc 400
7.39/7.43	c iter 402 time 7.15391 not-muc 749412 unknown 892 muc 401
7.39/7.43	c iter 403 time 7.17091 not-muc 749412 unknown 891 muc 402
7.39/7.43	c iter 404 time 7.18791 not-muc 749412 unknown 890 muc 403
7.39/7.43	c iter 405 time 7.2049 not-muc 749412 unknown 889 muc 404
7.39/7.43	c iter 406 time 7.2219 not-muc 749412 unknown 888 muc 405
7.39/7.43	c iter 407 time 7.2389 not-muc 749412 unknown 887 muc 406
7.39/7.43	c iter 408 time 7.2559 not-muc 749412 unknown 886 muc 407
7.39/7.43	c iter 409 time 7.27289 not-muc 749412 unknown 885 muc 408
7.39/7.43	c iter 410 time 7.28989 not-muc 749412 unknown 884 muc 409
7.39/7.43	c iter 411 time 7.30689 not-muc 749412 unknown 883 muc 410
7.39/7.43	c iter 412 time 7.32389 not-muc 749412 unknown 882 muc 411
7.39/7.43	c iter 413 time 7.34088 not-muc 749412 unknown 881 muc 412
7.39/7.43	c iter 414 time 7.35788 not-muc 749412 unknown 880 muc 413
7.39/7.43	c iter 415 time 7.37588 not-muc 749412 unknown 879 muc 414
8.59/8.69	c iter 416 time 7.39288 not-muc 749412 unknown 878 muc 415
8.59/8.69	c iter 417 time 7.40987 not-muc 749412 unknown 877 muc 416
8.59/8.69	c iter 418 time 7.42787 not-muc 749412 unknown 876 muc 417
8.59/8.69	c iter 419 time 7.44487 not-muc 749412 unknown 875 muc 418
8.59/8.69	c iter 420 time 7.46187 not-muc 749412 unknown 874 muc 419
8.59/8.69	c iter 421 time 7.47886 not-muc 749412 unknown 873 muc 420
8.59/8.69	c iter 422 time 7.49686 not-muc 749412 unknown 872 muc 421
8.59/8.69	c iter 423 time 7.51386 not-muc 749412 unknown 871 muc 422
8.59/8.69	c iter 424 time 7.53085 not-muc 749412 unknown 870 muc 423
8.59/8.69	c iter 425 time 7.54885 not-muc 749412 unknown 869 muc 424
8.59/8.69	c iter 426 time 7.56585 not-muc 749412 unknown 868 muc 425
8.59/8.69	c iter 427 time 7.58285 not-muc 749412 unknown 867 muc 426
8.59/8.69	c iter 428 time 7.60084 not-muc 749412 unknown 866 muc 427
8.59/8.69	c iter 429 time 7.61784 not-muc 749412 unknown 865 muc 428
8.59/8.69	c iter 430 time 7.63584 not-muc 749412 unknown 864 muc 429
8.59/8.69	c iter 431 time 7.65284 not-muc 749412 unknown 863 muc 430
8.59/8.69	c iter 432 time 7.67083 not-muc 749412 unknown 862 muc 431
8.59/8.69	c iter 433 time 7.68783 not-muc 749412 unknown 861 muc 432
8.59/8.69	c iter 434 time 7.70583 not-muc 749412 unknown 860 muc 433
8.59/8.69	c iter 435 time 7.72283 not-muc 749412 unknown 859 muc 434
8.59/8.69	c iter 436 time 7.74082 not-muc 749412 unknown 858 muc 435
8.59/8.69	c iter 437 time 7.75882 not-muc 749412 unknown 857 muc 436
8.59/8.69	c iter 438 time 7.77582 not-muc 749412 unknown 856 muc 437
8.59/8.69	c iter 439 time 7.79382 not-muc 749412 unknown 855 muc 438
8.59/8.69	c iter 440 time 7.81181 not-muc 749412 unknown 854 muc 439
8.59/8.69	c iter 441 time 7.82981 not-muc 749412 unknown 853 muc 440
8.59/8.69	c iter 442 time 7.84681 not-muc 749412 unknown 852 muc 441
8.59/8.69	c iter 443 time 7.8648 not-muc 749412 unknown 851 muc 442
8.59/8.69	c iter 444 time 7.8828 not-muc 749412 unknown 850 muc 443
8.59/8.69	c iter 445 time 7.9008 not-muc 749412 unknown 849 muc 444
8.59/8.69	c iter 446 time 7.9178 not-muc 749412 unknown 848 muc 445
8.59/8.69	c iter 447 time 7.93579 not-muc 749412 unknown 847 muc 446
8.59/8.69	c iter 448 time 7.95379 not-muc 749412 unknown 846 muc 447
8.59/8.69	c iter 449 time 7.97179 not-muc 749412 unknown 845 muc 448
8.59/8.69	c iter 450 time 7.98879 not-muc 749412 unknown 844 muc 449
8.59/8.69	c iter 451 time 8.00678 not-muc 749412 unknown 843 muc 450
8.59/8.69	c iter 452 time 8.02478 not-muc 749412 unknown 842 muc 451
8.59/8.69	c iter 453 time 8.04278 not-muc 749412 unknown 841 muc 452
8.59/8.69	c iter 454 time 8.06077 not-muc 749412 unknown 840 muc 453
8.59/8.69	c iter 455 time 8.07877 not-muc 749412 unknown 839 muc 454
8.59/8.69	c iter 456 time 8.09677 not-muc 749412 unknown 838 muc 455
8.59/8.69	c iter 457 time 8.11477 not-muc 749412 unknown 837 muc 456
8.59/8.69	c iter 458 time 8.13276 not-muc 749412 unknown 836 muc 457
8.59/8.69	c iter 459 time 8.15076 not-muc 749412 unknown 835 muc 458
8.59/8.69	c iter 460 time 8.16876 not-muc 749412 unknown 834 muc 459
8.59/8.69	c iter 461 time 8.18675 not-muc 749412 unknown 833 muc 460
8.59/8.69	c iter 462 time 8.20475 not-muc 749412 unknown 832 muc 461
8.59/8.69	c iter 463 time 8.22375 not-muc 749412 unknown 831 muc 462
8.59/8.69	c iter 464 time 8.24175 not-muc 749412 unknown 830 muc 463
8.59/8.69	c iter 465 time 8.25974 not-muc 749412 unknown 829 muc 464
8.59/8.69	c iter 466 time 8.27774 not-muc 749412 unknown 828 muc 465
8.59/8.69	c iter 467 time 8.29574 not-muc 749412 unknown 827 muc 466
8.59/8.69	c iter 468 time 8.31474 not-muc 749412 unknown 826 muc 467
8.59/8.69	c iter 469 time 8.33273 not-muc 749412 unknown 825 muc 468
8.59/8.69	c iter 470 time 8.35073 not-muc 749412 unknown 824 muc 469
8.59/8.69	c iter 471 time 8.36873 not-muc 749412 unknown 823 muc 470
8.59/8.69	c iter 472 time 8.38772 not-muc 749412 unknown 822 muc 471
8.59/8.69	c iter 473 time 8.40572 not-muc 749412 unknown 821 muc 472
8.59/8.69	c iter 474 time 8.42472 not-muc 749412 unknown 820 muc 473
8.59/8.69	c iter 475 time 8.44272 not-muc 749412 unknown 819 muc 474
8.59/8.69	c iter 476 time 8.46171 not-muc 749412 unknown 818 muc 475
8.59/8.69	c iter 477 time 8.47971 not-muc 749412 unknown 817 muc 476
8.59/8.69	c iter 478 time 8.49871 not-muc 749412 unknown 816 muc 477
8.59/8.69	c iter 479 time 8.5167 not-muc 749412 unknown 815 muc 478
8.59/8.69	c iter 480 time 8.5357 not-muc 749412 unknown 814 muc 479
8.59/8.69	c iter 481 time 8.5547 not-muc 749412 unknown 813 muc 480
8.59/8.69	c iter 482 time 8.5727 not-muc 749412 unknown 812 muc 481
8.59/8.69	c iter 483 time 8.59169 not-muc 749412 unknown 811 muc 482
8.59/8.69	c iter 484 time 8.61069 not-muc 749412 unknown 810 muc 483
8.59/8.69	c iter 485 time 8.62869 not-muc 749412 unknown 809 muc 484
9.90/9.99	c iter 486 time 8.64768 not-muc 749412 unknown 808 muc 485
9.90/9.99	c iter 487 time 8.66668 not-muc 749412 unknown 807 muc 486
9.90/9.99	c iter 488 time 8.68568 not-muc 749412 unknown 806 muc 487
9.90/9.99	c iter 489 time 8.70368 not-muc 749412 unknown 805 muc 488
9.90/9.99	c iter 490 time 8.72267 not-muc 749412 unknown 804 muc 489
9.90/9.99	c iter 491 time 8.74167 not-muc 749412 unknown 803 muc 490
9.90/9.99	c iter 492 time 8.76067 not-muc 749412 unknown 802 muc 491
9.90/9.99	c iter 493 time 8.77966 not-muc 749412 unknown 801 muc 492
9.90/9.99	c iter 494 time 8.79866 not-muc 749412 unknown 800 muc 493
9.90/9.99	c iter 495 time 8.81766 not-muc 749412 unknown 799 muc 494
9.90/9.99	c iter 496 time 8.83666 not-muc 749412 unknown 798 muc 495
9.90/9.99	c iter 497 time 8.85565 not-muc 749412 unknown 797 muc 496
9.90/9.99	c iter 498 time 8.87465 not-muc 749412 unknown 796 muc 497
9.90/9.99	c iter 499 time 8.89365 not-muc 749412 unknown 795 muc 498
9.90/9.99	c iter 500 time 8.91264 not-muc 749412 unknown 794 muc 499
9.90/9.99	c iter 501 time 8.93164 not-muc 749412 unknown 793 muc 500
9.90/9.99	c iter 502 time 8.95064 not-muc 749412 unknown 792 muc 501
9.90/9.99	c iter 503 time 8.97064 not-muc 749412 unknown 791 muc 502
9.90/9.99	c iter 504 time 8.98963 not-muc 749412 unknown 790 muc 503
9.90/9.99	c iter 505 time 9.00863 not-muc 749412 unknown 789 muc 504
9.90/9.99	c iter 506 time 9.02763 not-muc 749412 unknown 788 muc 505
9.90/9.99	c iter 507 time 9.04662 not-muc 749412 unknown 787 muc 506
9.90/9.99	c iter 508 time 9.06662 not-muc 749412 unknown 786 muc 507
9.90/9.99	c iter 509 time 9.08562 not-muc 749412 unknown 785 muc 508
9.90/9.99	c iter 510 time 9.10562 not-muc 749412 unknown 784 muc 509
9.90/9.99	c iter 511 time 9.12461 not-muc 749412 unknown 783 muc 510
9.90/9.99	c iter 512 time 9.14361 not-muc 749412 unknown 782 muc 511
9.90/9.99	c iter 513 time 9.16361 not-muc 749412 unknown 781 muc 512
9.90/9.99	c iter 514 time 9.1836 not-muc 749412 unknown 780 muc 513
9.90/9.99	c iter 515 time 9.2026 not-muc 749412 unknown 779 muc 514
9.90/9.99	c iter 516 time 9.2226 not-muc 749412 unknown 778 muc 515
9.90/9.99	c iter 517 time 9.24259 not-muc 749412 unknown 777 muc 516
9.90/9.99	c iter 518 time 9.26159 not-muc 749412 unknown 776 muc 517
9.90/9.99	c iter 519 time 9.28159 not-muc 749412 unknown 775 muc 518
9.90/9.99	c iter 520 time 9.30158 not-muc 749412 unknown 774 muc 519
9.90/9.99	c iter 521 time 9.32158 not-muc 749412 unknown 773 muc 520
9.90/9.99	c iter 522 time 9.34158 not-muc 749412 unknown 772 muc 521
9.90/9.99	c iter 523 time 9.36158 not-muc 749412 unknown 771 muc 522
9.90/9.99	c iter 524 time 9.38157 not-muc 749412 unknown 770 muc 523
9.90/9.99	c iter 525 time 9.40157 not-muc 749412 unknown 769 muc 524
9.90/9.99	c iter 526 time 9.42157 not-muc 749412 unknown 768 muc 525
9.90/9.99	c iter 527 time 9.44156 not-muc 749412 unknown 767 muc 526
9.90/9.99	c iter 528 time 9.46156 not-muc 749412 unknown 766 muc 527
9.90/9.99	c iter 529 time 9.48156 not-muc 749412 unknown 765 muc 528
9.90/9.99	c iter 530 time 9.50155 not-muc 749412 unknown 764 muc 529
9.90/9.99	c iter 531 time 9.52155 not-muc 749412 unknown 763 muc 530
9.90/9.99	c iter 532 time 9.54155 not-muc 749412 unknown 762 muc 531
9.90/9.99	c iter 533 time 9.56155 not-muc 749412 unknown 761 muc 532
9.90/9.99	c iter 534 time 9.58254 not-muc 749412 unknown 760 muc 533
9.90/9.99	c iter 535 time 9.60254 not-muc 749412 unknown 759 muc 534
9.90/9.99	c iter 536 time 9.62254 not-muc 749412 unknown 758 muc 535
9.90/9.99	c iter 537 time 9.64253 not-muc 749412 unknown 757 muc 536
9.90/9.99	c iter 538 time 9.66353 not-muc 749412 unknown 756 muc 537
9.90/9.99	c iter 539 time 9.68353 not-muc 749412 unknown 755 muc 538
9.90/9.99	c iter 540 time 9.70252 not-muc 749412 unknown 754 muc 539
9.90/9.99	c iter 541 time 9.72152 not-muc 749412 unknown 753 muc 540
9.90/9.99	c iter 542 time 9.73752 not-muc 749412 unknown 752 muc 541
9.90/9.99	c iter 543 time 9.75352 not-muc 749412 unknown 751 muc 542
9.90/9.99	c iter 544 time 9.77051 not-muc 749412 unknown 750 muc 543
9.90/9.99	c iter 545 time 9.78651 not-muc 749412 unknown 749 muc 544
9.90/9.99	c iter 546 time 9.80351 not-muc 749412 unknown 748 muc 545
9.90/9.99	c iter 547 time 9.81951 not-muc 749412 unknown 747 muc 546
9.90/9.99	c iter 548 time 9.8365 not-muc 749412 unknown 746 muc 547
9.90/9.99	c iter 549 time 9.8525 not-muc 749412 unknown 745 muc 548
9.90/9.99	c iter 550 time 9.8685 not-muc 749412 unknown 744 muc 549
9.90/9.99	c iter 551 time 9.8855 not-muc 749412 unknown 743 muc 550
9.90/9.99	c iter 552 time 9.90249 not-muc 749412 unknown 742 muc 551
9.90/9.99	c iter 553 time 9.91849 not-muc 749412 unknown 741 muc 552
9.90/9.99	c iter 554 time 9.93549 not-muc 749412 unknown 740 muc 553
11.19/11.22	c iter 555 time 9.95249 not-muc 749412 unknown 739 muc 554
11.19/11.22	c iter 556 time 9.96948 not-muc 749412 unknown 738 muc 555
11.19/11.22	c iter 557 time 9.98548 not-muc 749412 unknown 737 muc 556
11.19/11.22	c iter 558 time 10.0025 not-muc 749412 unknown 736 muc 557
11.19/11.22	c iter 559 time 10.0195 not-muc 749412 unknown 735 muc 558
11.19/11.22	c iter 560 time 10.0365 not-muc 749412 unknown 734 muc 559
11.19/11.22	c iter 561 time 10.0525 not-muc 749412 unknown 733 muc 560
11.19/11.22	c iter 562 time 10.0695 not-muc 749412 unknown 732 muc 561
11.19/11.22	c iter 563 time 10.0865 not-muc 749412 unknown 731 muc 562
11.19/11.22	c iter 564 time 10.1035 not-muc 749412 unknown 730 muc 563
11.19/11.22	c iter 565 time 10.1205 not-muc 749412 unknown 729 muc 564
11.19/11.22	c iter 566 time 10.1375 not-muc 749412 unknown 728 muc 565
11.19/11.22	c iter 567 time 10.1545 not-muc 749412 unknown 727 muc 566
11.19/11.22	c iter 568 time 10.1715 not-muc 749412 unknown 726 muc 567
11.19/11.22	c iter 569 time 10.1885 not-muc 749412 unknown 725 muc 568
11.19/11.22	c iter 570 time 10.2054 not-muc 749412 unknown 724 muc 569
11.19/11.22	c iter 571 time 10.2224 not-muc 749412 unknown 723 muc 570
11.19/11.22	c iter 572 time 10.2394 not-muc 749412 unknown 722 muc 571
11.19/11.22	c iter 573 time 10.2564 not-muc 749412 unknown 721 muc 572
11.19/11.22	c iter 574 time 10.2734 not-muc 749412 unknown 720 muc 573
11.19/11.22	c iter 575 time 10.2904 not-muc 749412 unknown 719 muc 574
11.19/11.22	c iter 576 time 10.3084 not-muc 749412 unknown 718 muc 575
11.19/11.22	c iter 577 time 10.3254 not-muc 749412 unknown 717 muc 576
11.19/11.22	c iter 578 time 10.3424 not-muc 749412 unknown 716 muc 577
11.19/11.22	c iter 579 time 10.3604 not-muc 749412 unknown 715 muc 578
11.19/11.22	c iter 580 time 10.3774 not-muc 749412 unknown 714 muc 579
11.19/11.22	c iter 581 time 10.3944 not-muc 749412 unknown 713 muc 580
11.19/11.22	c iter 582 time 10.4124 not-muc 749412 unknown 712 muc 581
11.19/11.22	c iter 583 time 10.4294 not-muc 749412 unknown 711 muc 582
11.19/11.22	c iter 584 time 10.4474 not-muc 749412 unknown 710 muc 583
11.19/11.22	c iter 585 time 10.4644 not-muc 749412 unknown 709 muc 584
11.19/11.22	c iter 586 time 10.4824 not-muc 749412 unknown 708 muc 585
11.19/11.22	c iter 587 time 10.4994 not-muc 749412 unknown 707 muc 586
11.19/11.22	c iter 588 time 10.5174 not-muc 749412 unknown 706 muc 587
11.19/11.22	c iter 589 time 10.5344 not-muc 749412 unknown 705 muc 588
11.19/11.22	c iter 590 time 10.5524 not-muc 749412 unknown 704 muc 589
11.19/11.22	c iter 591 time 10.5704 not-muc 749412 unknown 703 muc 590
11.19/11.22	c iter 592 time 10.5874 not-muc 749412 unknown 702 muc 591
11.19/11.22	c iter 593 time 10.6054 not-muc 749412 unknown 701 muc 592
11.19/11.22	c iter 594 time 10.6234 not-muc 749412 unknown 700 muc 593
11.19/11.22	c iter 595 time 10.6404 not-muc 749412 unknown 699 muc 594
11.19/11.22	c iter 596 time 10.6584 not-muc 749412 unknown 698 muc 595
11.19/11.22	c iter 597 time 10.6764 not-muc 749412 unknown 697 muc 596
11.19/11.22	c iter 598 time 10.6944 not-muc 749412 unknown 696 muc 597
11.19/11.22	c iter 599 time 10.7124 not-muc 749412 unknown 695 muc 598
11.19/11.22	c iter 600 time 10.7304 not-muc 749412 unknown 694 muc 599
11.19/11.22	c iter 601 time 10.7484 not-muc 749412 unknown 693 muc 600
11.19/11.22	c iter 602 time 10.7664 not-muc 749412 unknown 692 muc 601
11.19/11.22	c iter 603 time 10.7834 not-muc 749412 unknown 691 muc 602
11.19/11.22	c iter 604 time 10.8014 not-muc 749412 unknown 690 muc 603
11.19/11.22	c iter 605 time 10.8194 not-muc 749412 unknown 689 muc 604
11.19/11.22	c iter 606 time 10.8374 not-muc 749412 unknown 688 muc 605
11.19/11.22	c iter 607 time 10.8553 not-muc 749412 unknown 687 muc 606
11.19/11.22	c iter 608 time 10.8733 not-muc 749412 unknown 686 muc 607
11.19/11.22	c iter 609 time 10.8923 not-muc 749412 unknown 685 muc 608
11.19/11.22	c iter 610 time 10.9103 not-muc 749412 unknown 684 muc 609
11.19/11.22	c iter 611 time 10.9283 not-muc 749412 unknown 683 muc 610
11.19/11.22	c iter 612 time 10.9463 not-muc 749412 unknown 682 muc 611
11.19/11.22	c iter 613 time 10.9643 not-muc 749412 unknown 681 muc 612
11.19/11.22	c iter 614 time 10.9823 not-muc 749412 unknown 680 muc 613
11.19/11.22	c iter 615 time 11.0003 not-muc 749412 unknown 679 muc 614
11.19/11.22	c iter 616 time 11.0183 not-muc 749412 unknown 678 muc 615
11.19/11.22	c iter 617 time 11.0363 not-muc 749412 unknown 677 muc 616
11.19/11.22	c iter 618 time 11.0543 not-muc 749412 unknown 676 muc 617
11.19/11.22	c iter 619 time 11.0733 not-muc 749412 unknown 675 muc 618
11.19/11.22	c iter 620 time 11.0913 not-muc 749412 unknown 674 muc 619
11.19/11.22	c iter 621 time 11.1103 not-muc 749412 unknown 673 muc 620
11.19/11.22	c iter 622 time 11.1283 not-muc 749412 unknown 672 muc 621
11.19/11.22	c iter 623 time 11.1473 not-muc 749412 unknown 671 muc 622
11.19/11.22	c iter 624 time 11.1653 not-muc 749412 unknown 670 muc 623
12.49/12.58	c iter 625 time 11.1833 not-muc 749412 unknown 669 muc 624
12.49/12.58	c iter 626 time 11.2023 not-muc 749412 unknown 668 muc 625
12.49/12.58	c iter 627 time 11.2203 not-muc 749412 unknown 667 muc 626
12.49/12.58	c iter 628 time 11.2393 not-muc 749412 unknown 666 muc 627
12.49/12.58	c iter 629 time 11.2583 not-muc 749412 unknown 665 muc 628
12.49/12.58	c iter 630 time 11.2763 not-muc 749412 unknown 664 muc 629
12.49/12.58	c iter 631 time 11.2953 not-muc 749412 unknown 663 muc 630
12.49/12.58	c iter 632 time 11.3143 not-muc 749412 unknown 662 muc 631
12.49/12.58	c iter 633 time 11.3333 not-muc 749412 unknown 661 muc 632
12.49/12.58	c iter 634 time 11.3513 not-muc 749412 unknown 660 muc 633
12.49/12.58	c iter 635 time 11.3703 not-muc 749412 unknown 659 muc 634
12.49/12.58	c iter 636 time 11.3893 not-muc 749412 unknown 658 muc 635
12.49/12.58	c iter 637 time 11.4083 not-muc 749412 unknown 657 muc 636
12.49/12.58	c iter 638 time 11.4273 not-muc 749412 unknown 656 muc 637
12.49/12.58	c iter 639 time 11.4463 not-muc 749412 unknown 655 muc 638
12.49/12.58	c iter 640 time 11.4643 not-muc 749412 unknown 654 muc 639
12.49/12.58	c iter 641 time 11.4833 not-muc 749412 unknown 653 muc 640
12.49/12.58	c iter 642 time 11.5023 not-muc 749412 unknown 652 muc 641
12.49/12.58	c iter 643 time 11.5212 not-muc 749412 unknown 651 muc 642
12.49/12.58	c iter 644 time 11.5402 not-muc 749412 unknown 650 muc 643
12.49/12.58	c iter 645 time 11.5602 not-muc 749412 unknown 649 muc 644
12.49/12.58	c iter 646 time 11.5792 not-muc 749412 unknown 648 muc 645
12.49/12.58	c iter 647 time 11.5982 not-muc 749412 unknown 647 muc 646
12.49/12.58	c iter 648 time 11.6172 not-muc 749412 unknown 646 muc 647
12.49/12.58	c iter 649 time 11.6372 not-muc 749412 unknown 645 muc 648
12.49/12.58	c iter 650 time 11.6562 not-muc 749412 unknown 644 muc 649
12.49/12.58	c iter 651 time 11.6752 not-muc 749412 unknown 643 muc 650
12.49/12.58	c iter 652 time 11.6952 not-muc 749412 unknown 642 muc 651
12.49/12.58	c iter 653 time 11.7142 not-muc 749412 unknown 641 muc 652
12.49/12.58	c iter 654 time 11.7342 not-muc 749412 unknown 640 muc 653
12.49/12.58	c iter 655 time 11.7532 not-muc 749412 unknown 639 muc 654
12.49/12.58	c iter 656 time 11.7732 not-muc 749412 unknown 638 muc 655
12.49/12.58	c iter 657 time 11.7922 not-muc 749412 unknown 637 muc 656
12.49/12.58	c iter 658 time 11.8122 not-muc 749412 unknown 636 muc 657
12.49/12.58	c iter 659 time 11.8312 not-muc 749412 unknown 635 muc 658
12.49/12.58	c iter 660 time 11.8512 not-muc 749412 unknown 634 muc 659
12.49/12.58	c iter 661 time 11.8712 not-muc 749412 unknown 633 muc 660
12.49/12.58	c iter 662 time 11.8912 not-muc 749412 unknown 632 muc 661
12.49/12.58	c iter 663 time 11.9102 not-muc 749412 unknown 631 muc 662
12.49/12.58	c iter 664 time 11.9302 not-muc 749412 unknown 630 muc 663
12.49/12.58	c iter 665 time 11.9502 not-muc 749412 unknown 629 muc 664
12.49/12.58	c iter 666 time 11.9702 not-muc 749412 unknown 628 muc 665
12.49/12.58	c iter 667 time 11.9902 not-muc 749412 unknown 627 muc 666
12.49/12.58	c iter 668 time 12.0092 not-muc 749412 unknown 626 muc 667
12.49/12.58	c iter 669 time 12.0292 not-muc 749412 unknown 625 muc 668
12.49/12.58	c iter 670 time 12.0492 not-muc 749412 unknown 624 muc 669
12.49/12.58	c iter 671 time 12.0692 not-muc 749412 unknown 623 muc 670
12.49/12.58	c iter 672 time 12.0902 not-muc 749412 unknown 622 muc 671
12.49/12.58	c iter 673 time 12.1102 not-muc 749412 unknown 621 muc 672
12.49/12.58	c iter 674 time 12.1302 not-muc 749412 unknown 620 muc 673
12.49/12.58	c iter 675 time 12.1502 not-muc 749412 unknown 619 muc 674
12.49/12.58	c iter 676 time 12.1701 not-muc 749412 unknown 618 muc 675
12.49/12.58	c iter 677 time 12.1901 not-muc 749412 unknown 617 muc 676
12.49/12.58	c iter 678 time 12.2101 not-muc 749412 unknown 616 muc 677
12.49/12.58	c iter 679 time 12.2301 not-muc 749412 unknown 615 muc 678
12.49/12.58	c iter 680 time 12.2511 not-muc 749412 unknown 614 muc 679
12.49/12.58	c iter 681 time 12.2711 not-muc 749412 unknown 613 muc 680
12.49/12.58	c iter 682 time 12.2921 not-muc 749412 unknown 612 muc 681
12.49/12.58	c iter 683 time 12.3121 not-muc 749412 unknown 611 muc 682
12.49/12.58	c iter 684 time 12.3321 not-muc 749412 unknown 610 muc 683
12.49/12.58	c iter 685 time 12.3531 not-muc 749412 unknown 609 muc 684
12.49/12.58	c iter 686 time 12.3731 not-muc 749412 unknown 608 muc 685
12.49/12.58	c iter 687 time 12.3941 not-muc 749412 unknown 607 muc 686
12.49/12.58	c iter 688 time 12.4141 not-muc 749412 unknown 606 muc 687
12.49/12.58	c iter 689 time 12.4351 not-muc 749412 unknown 605 muc 688
12.49/12.58	c iter 690 time 12.4561 not-muc 749412 unknown 604 muc 689
12.49/12.58	c iter 691 time 12.4761 not-muc 749412 unknown 603 muc 690
12.49/12.58	c iter 692 time 12.4971 not-muc 749412 unknown 602 muc 691
12.49/12.58	c iter 693 time 12.5181 not-muc 749412 unknown 601 muc 692
14.09/14.10	c iter 694 time 12.5381 not-muc 749412 unknown 600 muc 693
14.09/14.10	c iter 695 time 12.5591 not-muc 749412 unknown 599 muc 694
14.09/14.10	c iter 696 time 12.5801 not-muc 749412 unknown 598 muc 695
14.09/14.10	c iter 697 time 12.6011 not-muc 749412 unknown 597 muc 696
14.09/14.10	c iter 698 time 12.6211 not-muc 749412 unknown 596 muc 697
14.09/14.10	c iter 699 time 12.6421 not-muc 749412 unknown 595 muc 698
14.09/14.10	c iter 700 time 12.6631 not-muc 749412 unknown 594 muc 699
14.09/14.10	c iter 701 time 12.6831 not-muc 749412 unknown 593 muc 700
14.09/14.10	c iter 702 time 12.7041 not-muc 749412 unknown 592 muc 701
14.09/14.10	c iter 703 time 12.7251 not-muc 749412 unknown 591 muc 702
14.09/14.10	c iter 704 time 12.7461 not-muc 749412 unknown 590 muc 703
14.09/14.10	c iter 705 time 12.7671 not-muc 749412 unknown 589 muc 704
14.09/14.10	c iter 706 time 12.7881 not-muc 749412 unknown 588 muc 705
14.09/14.10	c iter 707 time 12.8091 not-muc 749412 unknown 587 muc 706
14.09/14.10	c iter 708 time 12.83 not-muc 749412 unknown 586 muc 707
14.09/14.10	c iter 709 time 12.851 not-muc 749412 unknown 585 muc 708
14.09/14.10	c iter 710 time 12.873 not-muc 749412 unknown 584 muc 709
14.09/14.10	c iter 711 time 12.894 not-muc 749412 unknown 583 muc 710
14.09/14.10	c iter 712 time 12.915 not-muc 749412 unknown 582 muc 711
14.09/14.10	c iter 713 time 12.937 not-muc 749412 unknown 581 muc 712
14.09/14.10	c iter 714 time 12.958 not-muc 749412 unknown 580 muc 713
14.09/14.10	c iter 715 time 12.979 not-muc 749412 unknown 579 muc 714
14.09/14.10	c iter 716 time 13.001 not-muc 749412 unknown 578 muc 715
14.09/14.10	c iter 717 time 13.022 not-muc 749412 unknown 577 muc 716
14.09/14.10	c iter 718 time 13.043 not-muc 749412 unknown 576 muc 717
14.09/14.10	c iter 719 time 13.065 not-muc 749412 unknown 575 muc 718
14.09/14.10	c iter 720 time 13.087 not-muc 749412 unknown 574 muc 719
14.09/14.10	c iter 721 time 13.108 not-muc 749412 unknown 573 muc 720
14.09/14.10	c iter 722 time 13.13 not-muc 749412 unknown 572 muc 721
14.09/14.10	c iter 723 time 13.151 not-muc 749412 unknown 571 muc 722
14.09/14.10	c iter 724 time 13.173 not-muc 749412 unknown 570 muc 723
14.09/14.10	c iter 725 time 13.194 not-muc 749412 unknown 569 muc 724
14.09/14.10	c iter 726 time 13.216 not-muc 749412 unknown 568 muc 725
14.09/14.10	c iter 727 time 13.237 not-muc 749412 unknown 567 muc 726
14.09/14.10	c iter 728 time 13.259 not-muc 749412 unknown 566 muc 727
14.09/14.10	c iter 729 time 13.281 not-muc 749412 unknown 565 muc 728
14.09/14.10	c iter 730 time 13.303 not-muc 749412 unknown 564 muc 729
14.09/14.10	c iter 731 time 13.326 not-muc 749412 unknown 563 muc 730
14.09/14.10	c iter 732 time 13.349 not-muc 749412 unknown 562 muc 731
14.09/14.10	c iter 733 time 13.371 not-muc 749412 unknown 561 muc 732
14.09/14.10	c iter 734 time 13.393 not-muc 749412 unknown 560 muc 733
14.09/14.10	c iter 735 time 13.415 not-muc 749412 unknown 559 muc 734
14.09/14.10	c iter 736 time 13.437 not-muc 749412 unknown 558 muc 735
14.09/14.10	c iter 737 time 13.459 not-muc 749412 unknown 557 muc 736
14.09/14.10	c iter 738 time 13.4809 not-muc 749412 unknown 556 muc 737
14.09/14.10	c iter 739 time 13.5029 not-muc 749412 unknown 555 muc 738
14.09/14.10	c iter 740 time 13.5249 not-muc 749412 unknown 554 muc 739
14.09/14.10	c iter 741 time 13.5469 not-muc 749412 unknown 553 muc 740
14.09/14.10	c iter 742 time 13.5689 not-muc 749412 unknown 552 muc 741
14.09/14.10	c iter 743 time 13.5909 not-muc 749412 unknown 551 muc 742
14.09/14.10	c iter 744 time 13.6129 not-muc 749412 unknown 550 muc 743
14.09/14.10	c iter 745 time 13.6349 not-muc 749412 unknown 549 muc 744
14.09/14.10	c iter 746 time 13.6569 not-muc 749412 unknown 548 muc 745
14.09/14.10	c iter 747 time 13.6789 not-muc 749412 unknown 547 muc 746
14.09/14.10	c iter 748 time 13.7019 not-muc 749412 unknown 546 muc 747
14.09/14.10	c iter 749 time 13.7239 not-muc 749412 unknown 545 muc 748
14.09/14.10	c iter 750 time 13.7459 not-muc 749412 unknown 544 muc 749
14.09/14.10	c iter 751 time 13.7689 not-muc 749412 unknown 543 muc 750
14.09/14.10	c iter 752 time 13.7909 not-muc 749412 unknown 542 muc 751
14.09/14.10	c iter 753 time 13.8129 not-muc 749412 unknown 541 muc 752
14.09/14.10	c iter 754 time 13.8359 not-muc 749412 unknown 540 muc 753
14.09/14.10	c iter 755 time 13.8579 not-muc 749412 unknown 539 muc 754
14.09/14.10	c iter 756 time 13.8809 not-muc 749412 unknown 538 muc 755
14.09/14.10	c iter 757 time 13.9029 not-muc 749412 unknown 537 muc 756
14.09/14.10	c iter 758 time 13.9259 not-muc 749412 unknown 536 muc 757
14.09/14.10	c iter 759 time 13.9479 not-muc 749412 unknown 535 muc 758
14.09/14.10	c iter 760 time 13.9709 not-muc 749412 unknown 534 muc 759
14.09/14.10	c iter 761 time 13.9939 not-muc 749412 unknown 533 muc 760
14.09/14.10	c iter 762 time 14.0159 not-muc 749412 unknown 532 muc 761
14.09/14.10	c iter 763 time 14.0389 not-muc 749412 unknown 531 muc 762
15.40/15.47	c iter 764 time 14.0619 not-muc 749412 unknown 530 muc 763
15.40/15.47	c iter 765 time 14.0849 not-muc 749412 unknown 529 muc 764
15.40/15.47	c iter 766 time 14.1079 not-muc 749412 unknown 528 muc 765
15.40/15.47	c iter 767 time 14.1309 not-muc 749412 unknown 527 muc 766
15.40/15.47	c iter 768 time 14.1528 not-muc 749412 unknown 526 muc 767
15.40/15.47	c iter 769 time 14.1758 not-muc 749412 unknown 525 muc 768
15.40/15.47	c iter 770 time 14.1988 not-muc 749412 unknown 524 muc 769
15.40/15.47	c iter 771 time 14.2218 not-muc 749412 unknown 523 muc 770
15.40/15.47	c iter 772 time 14.2448 not-muc 749412 unknown 522 muc 771
15.40/15.47	c iter 773 time 14.2678 not-muc 749412 unknown 521 muc 772
15.40/15.47	c iter 774 time 14.2908 not-muc 749412 unknown 520 muc 773
15.40/15.47	c iter 775 time 14.3138 not-muc 749412 unknown 519 muc 774
15.40/15.47	c iter 776 time 14.3378 not-muc 749412 unknown 518 muc 775
15.40/15.47	c iter 777 time 14.3608 not-muc 749412 unknown 517 muc 776
15.40/15.47	c iter 778 time 14.3838 not-muc 749412 unknown 516 muc 777
15.40/15.47	c iter 779 time 14.4068 not-muc 749412 unknown 515 muc 778
15.40/15.47	c iter 780 time 14.4298 not-muc 749412 unknown 514 muc 779
15.40/15.47	c iter 781 time 14.4538 not-muc 749412 unknown 513 muc 780
15.40/15.47	c iter 782 time 14.4768 not-muc 749412 unknown 512 muc 781
15.40/15.47	c iter 783 time 14.4998 not-muc 749412 unknown 511 muc 782
15.40/15.47	c iter 784 time 14.5238 not-muc 749412 unknown 510 muc 783
15.40/15.47	c iter 785 time 14.5468 not-muc 749412 unknown 509 muc 784
15.40/15.47	c iter 786 time 14.5708 not-muc 749412 unknown 508 muc 785
15.40/15.47	c iter 787 time 14.5938 not-muc 749412 unknown 507 muc 786
15.40/15.47	c iter 788 time 14.6168 not-muc 749412 unknown 506 muc 787
15.40/15.47	c iter 789 time 14.6398 not-muc 749412 unknown 505 muc 788
15.40/15.47	c iter 790 time 14.6638 not-muc 749412 unknown 504 muc 789
15.40/15.47	c iter 791 time 14.6868 not-muc 749412 unknown 503 muc 790
15.40/15.47	c iter 792 time 14.7108 not-muc 749412 unknown 502 muc 791
15.40/15.47	c iter 793 time 14.7338 not-muc 749412 unknown 501 muc 792
15.40/15.47	c iter 794 time 14.7568 not-muc 749412 unknown 500 muc 793
15.40/15.47	c iter 795 time 14.7808 not-muc 749412 unknown 499 muc 794
15.40/15.47	c iter 796 time 14.8047 not-muc 749412 unknown 498 muc 795
15.40/15.47	c iter 797 time 14.8257 not-muc 749412 unknown 497 muc 796
15.40/15.47	c iter 798 time 14.8427 not-muc 749412 unknown 496 muc 797
15.40/15.47	c iter 799 time 14.8587 not-muc 749412 unknown 495 muc 798
15.40/15.47	c iter 800 time 14.8747 not-muc 749412 unknown 494 muc 799
15.40/15.47	c iter 801 time 14.8917 not-muc 749412 unknown 493 muc 800
15.40/15.47	c iter 802 time 14.9077 not-muc 749412 unknown 492 muc 801
15.40/15.47	c iter 803 time 14.9247 not-muc 749412 unknown 491 muc 802
15.40/15.47	c iter 804 time 14.9407 not-muc 749412 unknown 490 muc 803
15.40/15.47	c iter 805 time 14.9577 not-muc 749412 unknown 489 muc 804
15.40/15.47	c iter 806 time 14.9747 not-muc 749412 unknown 488 muc 805
15.40/15.47	c iter 807 time 14.9937 not-muc 749412 unknown 487 muc 806
15.40/15.47	c iter 808 time 15.0097 not-muc 749412 unknown 486 muc 807
15.40/15.47	c iter 809 time 15.0267 not-muc 749412 unknown 485 muc 808
15.40/15.47	c iter 810 time 15.0427 not-muc 749412 unknown 484 muc 809
15.40/15.47	c iter 811 time 15.0587 not-muc 749412 unknown 483 muc 810
15.40/15.47	c iter 812 time 15.0757 not-muc 749412 unknown 482 muc 811
15.40/15.47	c iter 813 time 15.0917 not-muc 749412 unknown 481 muc 812
15.40/15.47	c iter 814 time 15.1087 not-muc 749412 unknown 480 muc 813
15.40/15.47	c iter 815 time 15.1257 not-muc 749412 unknown 479 muc 814
15.40/15.47	c iter 816 time 15.1417 not-muc 749412 unknown 478 muc 815
15.40/15.47	c iter 817 time 15.1587 not-muc 749412 unknown 477 muc 816
15.40/15.47	c iter 818 time 15.1747 not-muc 749412 unknown 476 muc 817
15.40/15.47	c iter 819 time 15.1917 not-muc 749412 unknown 475 muc 818
15.40/15.47	c iter 820 time 15.2087 not-muc 749412 unknown 474 muc 819
15.40/15.47	c iter 821 time 15.2257 not-muc 749412 unknown 473 muc 820
15.40/15.47	c iter 822 time 15.2417 not-muc 749412 unknown 472 muc 821
15.40/15.47	c iter 823 time 15.2587 not-muc 749412 unknown 471 muc 822
15.40/15.47	c iter 824 time 15.2757 not-muc 749412 unknown 470 muc 823
15.40/15.47	c iter 825 time 15.2927 not-muc 749412 unknown 469 muc 824
15.40/15.47	c iter 826 time 15.3097 not-muc 749412 unknown 468 muc 825
15.40/15.47	c iter 827 time 15.3267 not-muc 749412 unknown 467 muc 826
15.40/15.47	c iter 828 time 15.3437 not-muc 749412 unknown 466 muc 827
15.40/15.47	c iter 829 time 15.3607 not-muc 749412 unknown 465 muc 828
15.40/15.47	c iter 830 time 15.3777 not-muc 749412 unknown 464 muc 829
15.40/15.47	c iter 831 time 15.3947 not-muc 749412 unknown 463 muc 830
15.40/15.47	c iter 832 time 15.4117 not-muc 749412 unknown 462 muc 831
16.69/16.75	c iter 833 time 15.4287 not-muc 749412 unknown 461 muc 832
16.69/16.75	c iter 834 time 15.4457 not-muc 749412 unknown 460 muc 833
16.69/16.75	c iter 835 time 15.4636 not-muc 749412 unknown 459 muc 834
16.69/16.75	c iter 836 time 15.4806 not-muc 749412 unknown 458 muc 835
16.69/16.75	c iter 837 time 15.4976 not-muc 749412 unknown 457 muc 836
16.69/16.75	c iter 838 time 15.5146 not-muc 749412 unknown 456 muc 837
16.69/16.75	c iter 839 time 15.5326 not-muc 749412 unknown 455 muc 838
16.69/16.75	c iter 840 time 15.5496 not-muc 749412 unknown 454 muc 839
16.69/16.75	c iter 841 time 15.5666 not-muc 749412 unknown 453 muc 840
16.69/16.75	c iter 842 time 15.5846 not-muc 749412 unknown 452 muc 841
16.69/16.75	c iter 843 time 15.6016 not-muc 749412 unknown 451 muc 842
16.69/16.75	c iter 844 time 15.6196 not-muc 749412 unknown 450 muc 843
16.69/16.75	c iter 845 time 15.6366 not-muc 749412 unknown 449 muc 844
16.69/16.75	c iter 846 time 15.6546 not-muc 749412 unknown 448 muc 845
16.69/16.75	c iter 847 time 15.6716 not-muc 749412 unknown 447 muc 846
16.69/16.75	c iter 848 time 15.6896 not-muc 749412 unknown 446 muc 847
16.69/16.75	c iter 849 time 15.7066 not-muc 749412 unknown 445 muc 848
16.69/16.75	c iter 850 time 15.7246 not-muc 749412 unknown 444 muc 849
16.69/16.75	c iter 851 time 15.7426 not-muc 749412 unknown 443 muc 850
16.69/16.75	c iter 852 time 15.7596 not-muc 749412 unknown 442 muc 851
16.69/16.75	c iter 853 time 15.7776 not-muc 749412 unknown 441 muc 852
16.69/16.75	c iter 854 time 15.7956 not-muc 749412 unknown 440 muc 853
16.69/16.75	c iter 855 time 15.8136 not-muc 749412 unknown 439 muc 854
16.69/16.75	c iter 856 time 15.8306 not-muc 749412 unknown 438 muc 855
16.69/16.75	c iter 857 time 15.8486 not-muc 749412 unknown 437 muc 856
16.69/16.75	c iter 858 time 15.8666 not-muc 749412 unknown 436 muc 857
16.69/16.75	c iter 859 time 15.8846 not-muc 749412 unknown 435 muc 858
16.69/16.75	c iter 860 time 15.9026 not-muc 749412 unknown 434 muc 859
16.69/16.75	c iter 861 time 15.9206 not-muc 749412 unknown 433 muc 860
16.69/16.75	c iter 862 time 15.9386 not-muc 749412 unknown 432 muc 861
16.69/16.75	c iter 863 time 15.9566 not-muc 749412 unknown 431 muc 862
16.69/16.75	c iter 864 time 15.9746 not-muc 749412 unknown 430 muc 863
16.69/16.75	c iter 865 time 15.9926 not-muc 749412 unknown 429 muc 864
16.69/16.75	c iter 866 time 16.0106 not-muc 749412 unknown 428 muc 865
16.69/16.75	c iter 867 time 16.0286 not-muc 749412 unknown 427 muc 866
16.69/16.75	c iter 868 time 16.0476 not-muc 749412 unknown 426 muc 867
16.69/16.75	c iter 869 time 16.0656 not-muc 749412 unknown 425 muc 868
16.69/16.75	c iter 870 time 16.0836 not-muc 749412 unknown 424 muc 869
16.69/16.75	c iter 871 time 16.1026 not-muc 749412 unknown 423 muc 870
16.69/16.75	c iter 872 time 16.1205 not-muc 749412 unknown 422 muc 871
16.69/16.75	c iter 873 time 16.1385 not-muc 749412 unknown 421 muc 872
16.69/16.75	c iter 874 time 16.1575 not-muc 749412 unknown 420 muc 873
16.69/16.75	c iter 875 time 16.1755 not-muc 749412 unknown 419 muc 874
16.69/16.75	c iter 876 time 16.1945 not-muc 749412 unknown 418 muc 875
16.69/16.75	c iter 877 time 16.2125 not-muc 749412 unknown 417 muc 876
16.69/16.75	c iter 878 time 16.2315 not-muc 749412 unknown 416 muc 877
16.69/16.75	c iter 879 time 16.2495 not-muc 749412 unknown 415 muc 878
16.69/16.75	c iter 880 time 16.2685 not-muc 749412 unknown 414 muc 879
16.69/16.75	c iter 881 time 16.2875 not-muc 749412 unknown 413 muc 880
16.69/16.75	c iter 882 time 16.3065 not-muc 749412 unknown 412 muc 881
16.69/16.75	c iter 883 time 16.3245 not-muc 749412 unknown 411 muc 882
16.69/16.75	c iter 884 time 16.3435 not-muc 749412 unknown 410 muc 883
16.69/16.75	c iter 885 time 16.3625 not-muc 749412 unknown 409 muc 884
16.69/16.75	c iter 886 time 16.3815 not-muc 749412 unknown 408 muc 885
16.69/16.75	c iter 887 time 16.4005 not-muc 749412 unknown 407 muc 886
16.69/16.75	c iter 888 time 16.4195 not-muc 749412 unknown 406 muc 887
16.69/16.75	c iter 889 time 16.4385 not-muc 749412 unknown 405 muc 888
16.69/16.75	c iter 890 time 16.4575 not-muc 749412 unknown 404 muc 889
16.69/16.75	c iter 891 time 16.4765 not-muc 749412 unknown 403 muc 890
16.69/16.75	c iter 892 time 16.4955 not-muc 749412 unknown 402 muc 891
16.69/16.75	c iter 893 time 16.5145 not-muc 749412 unknown 401 muc 892
16.69/16.75	c iter 894 time 16.5335 not-muc 749412 unknown 400 muc 893
16.69/16.75	c iter 895 time 16.5525 not-muc 749412 unknown 399 muc 894
16.69/16.75	c iter 896 time 16.5715 not-muc 749412 unknown 398 muc 895
16.69/16.75	c iter 897 time 16.5915 not-muc 749412 unknown 397 muc 896
16.69/16.75	c iter 898 time 16.6105 not-muc 749412 unknown 396 muc 897
16.69/16.75	c iter 899 time 16.6295 not-muc 749412 unknown 395 muc 898
16.69/16.75	c iter 900 time 16.6485 not-muc 749412 unknown 394 muc 899
16.69/16.75	c iter 901 time 16.6685 not-muc 749412 unknown 393 muc 900
16.69/16.75	c iter 902 time 16.6875 not-muc 749412 unknown 392 muc 901
17.99/18.07	c iter 903 time 16.7065 not-muc 749412 unknown 391 muc 902
17.99/18.07	c iter 904 time 16.7265 not-muc 749412 unknown 390 muc 903
17.99/18.07	c iter 905 time 16.7455 not-muc 749412 unknown 389 muc 904
17.99/18.07	c iter 906 time 16.7655 not-muc 749412 unknown 388 muc 905
17.99/18.07	c iter 907 time 16.7844 not-muc 749412 unknown 387 muc 906
17.99/18.07	c iter 908 time 16.8044 not-muc 749412 unknown 386 muc 907
17.99/18.07	c iter 909 time 16.8244 not-muc 749412 unknown 385 muc 908
17.99/18.07	c iter 910 time 16.8434 not-muc 749412 unknown 384 muc 909
17.99/18.07	c iter 911 time 16.8634 not-muc 749412 unknown 383 muc 910
17.99/18.07	c iter 912 time 16.8834 not-muc 749412 unknown 382 muc 911
17.99/18.07	c iter 913 time 16.9024 not-muc 749412 unknown 381 muc 912
17.99/18.07	c iter 914 time 16.9224 not-muc 749412 unknown 380 muc 913
17.99/18.07	c iter 915 time 16.9424 not-muc 749412 unknown 379 muc 914
17.99/18.07	c iter 916 time 16.9624 not-muc 749412 unknown 378 muc 915
17.99/18.07	c iter 917 time 16.9814 not-muc 749412 unknown 377 muc 916
17.99/18.07	c iter 918 time 17.0014 not-muc 749412 unknown 376 muc 917
17.99/18.07	c iter 919 time 17.0214 not-muc 749412 unknown 375 muc 918
17.99/18.07	c iter 920 time 17.0414 not-muc 749412 unknown 374 muc 919
17.99/18.07	c iter 921 time 17.0614 not-muc 749412 unknown 373 muc 920
17.99/18.07	c iter 922 time 17.0814 not-muc 749412 unknown 372 muc 921
17.99/18.07	c iter 923 time 17.1014 not-muc 749412 unknown 371 muc 922
17.99/18.07	c iter 924 time 17.1214 not-muc 749412 unknown 370 muc 923
17.99/18.07	c iter 925 time 17.1414 not-muc 749412 unknown 369 muc 924
17.99/18.07	c iter 926 time 17.1624 not-muc 749412 unknown 368 muc 925
17.99/18.07	c iter 927 time 17.1824 not-muc 749412 unknown 367 muc 926
17.99/18.07	c iter 928 time 17.2024 not-muc 749412 unknown 366 muc 927
17.99/18.07	c iter 929 time 17.2224 not-muc 749412 unknown 365 muc 928
17.99/18.07	c iter 930 time 17.2424 not-muc 749412 unknown 364 muc 929
17.99/18.07	c iter 931 time 17.2634 not-muc 749412 unknown 363 muc 930
17.99/18.07	c iter 932 time 17.2834 not-muc 749412 unknown 362 muc 931
17.99/18.07	c iter 933 time 17.3034 not-muc 749412 unknown 361 muc 932
17.99/18.07	c iter 934 time 17.3234 not-muc 749412 unknown 360 muc 933
17.99/18.07	c iter 935 time 17.3444 not-muc 749412 unknown 359 muc 934
17.99/18.07	c iter 936 time 17.3654 not-muc 749412 unknown 358 muc 935
17.99/18.07	c iter 937 time 17.3854 not-muc 749412 unknown 357 muc 936
17.99/18.07	c iter 938 time 17.4064 not-muc 749412 unknown 356 muc 937
17.99/18.07	c iter 939 time 17.4263 not-muc 749412 unknown 355 muc 938
17.99/18.07	c iter 940 time 17.4473 not-muc 749412 unknown 354 muc 939
17.99/18.07	c iter 941 time 17.4693 not-muc 749412 unknown 353 muc 940
17.99/18.07	c iter 942 time 17.4903 not-muc 749412 unknown 352 muc 941
17.99/18.07	c iter 943 time 17.5103 not-muc 749412 unknown 351 muc 942
17.99/18.07	c iter 944 time 17.5313 not-muc 749412 unknown 350 muc 943
17.99/18.07	c iter 945 time 17.5523 not-muc 749412 unknown 349 muc 944
17.99/18.07	c iter 946 time 17.5713 not-muc 749412 unknown 348 muc 945
17.99/18.07	c iter 947 time 17.5903 not-muc 749412 unknown 347 muc 946
17.99/18.07	c iter 948 time 17.6093 not-muc 749412 unknown 346 muc 947
17.99/18.07	c iter 949 time 17.6283 not-muc 749412 unknown 345 muc 948
17.99/18.07	c iter 950 time 17.6473 not-muc 749412 unknown 344 muc 949
17.99/18.07	c iter 951 time 17.6643 not-muc 749412 unknown 343 muc 950
17.99/18.07	c iter 952 time 17.6803 not-muc 749412 unknown 342 muc 951
17.99/18.07	c iter 953 time 17.6973 not-muc 749412 unknown 341 muc 952
17.99/18.07	c iter 954 time 17.7163 not-muc 749412 unknown 340 muc 953
17.99/18.07	c iter 955 time 17.7323 not-muc 749412 unknown 339 muc 954
17.99/18.07	c iter 956 time 17.7483 not-muc 749412 unknown 338 muc 955
17.99/18.07	c iter 957 time 17.7653 not-muc 749412 unknown 337 muc 956
17.99/18.07	c iter 958 time 17.7843 not-muc 749412 unknown 336 muc 957
17.99/18.07	c iter 959 time 17.8003 not-muc 749412 unknown 335 muc 958
17.99/18.07	c iter 960 time 17.8163 not-muc 749412 unknown 334 muc 959
17.99/18.07	c iter 961 time 17.8333 not-muc 749412 unknown 333 muc 960
17.99/18.07	c iter 962 time 17.8523 not-muc 749412 unknown 332 muc 961
17.99/18.07	c iter 963 time 17.8713 not-muc 749412 unknown 331 muc 962
17.99/18.07	c iter 964 time 17.8873 not-muc 749412 unknown 330 muc 963
17.99/18.07	c iter 965 time 17.9033 not-muc 749412 unknown 329 muc 964
17.99/18.07	c iter 966 time 17.9203 not-muc 749412 unknown 328 muc 965
17.99/18.07	c iter 967 time 17.9393 not-muc 749412 unknown 327 muc 966
17.99/18.07	c iter 968 time 17.9553 not-muc 749412 unknown 326 muc 967
17.99/18.07	c iter 969 time 17.9713 not-muc 749412 unknown 325 muc 968
17.99/18.07	c iter 970 time 17.9883 not-muc 749412 unknown 324 muc 969
17.99/18.07	c iter 971 time 18.0073 not-muc 749412 unknown 323 muc 970
19.19/19.24	c iter 972 time 18.0233 not-muc 749412 unknown 322 muc 971
19.19/19.24	c iter 973 time 18.0393 not-muc 749412 unknown 321 muc 972
19.19/19.24	c iter 974 time 18.0563 not-muc 749412 unknown 320 muc 973
19.19/19.24	c iter 975 time 18.0753 not-muc 749412 unknown 319 muc 974
19.19/19.24	c iter 976 time 18.0942 not-muc 749412 unknown 318 muc 975
19.19/19.24	c iter 977 time 18.1102 not-muc 749412 unknown 317 muc 976
19.19/19.24	c iter 978 time 18.1262 not-muc 749412 unknown 316 muc 977
19.19/19.24	c iter 979 time 18.1432 not-muc 749412 unknown 315 muc 978
19.19/19.24	c iter 980 time 18.1622 not-muc 749412 unknown 314 muc 979
19.19/19.24	c iter 981 time 18.1782 not-muc 749412 unknown 313 muc 980
19.19/19.24	c iter 982 time 18.1942 not-muc 749412 unknown 312 muc 981
19.19/19.24	c iter 983 time 18.2112 not-muc 749412 unknown 311 muc 982
19.19/19.24	c iter 984 time 18.2302 not-muc 749412 unknown 310 muc 983
19.19/19.24	c iter 985 time 18.2462 not-muc 749412 unknown 309 muc 984
19.19/19.24	c iter 986 time 18.2622 not-muc 749412 unknown 308 muc 985
19.19/19.24	c iter 987 time 18.2792 not-muc 749412 unknown 307 muc 986
19.19/19.24	c iter 988 time 18.2982 not-muc 749412 unknown 306 muc 987
19.19/19.24	c iter 989 time 18.3172 not-muc 749412 unknown 305 muc 988
19.19/19.24	c iter 990 time 18.3332 not-muc 749412 unknown 304 muc 989
19.19/19.24	c iter 991 time 18.3502 not-muc 749412 unknown 303 muc 990
19.19/19.24	c iter 992 time 18.3662 not-muc 749412 unknown 302 muc 991
19.19/19.24	c iter 993 time 18.3852 not-muc 749412 unknown 301 muc 992
19.19/19.24	c iter 994 time 18.4012 not-muc 749412 unknown 300 muc 993
19.19/19.24	c iter 995 time 18.4182 not-muc 749412 unknown 299 muc 994
19.19/19.24	c iter 996 time 18.4342 not-muc 749412 unknown 298 muc 995
19.19/19.24	c iter 997 time 18.4532 not-muc 749412 unknown 297 muc 996
19.19/19.24	c iter 998 time 18.4702 not-muc 749412 unknown 296 muc 997
19.19/19.24	c iter 999 time 18.4862 not-muc 749412 unknown 295 muc 998
19.19/19.24	c iter 1000 time 18.5022 not-muc 749412 unknown 294 muc 999
19.19/19.24	c iter 1001 time 18.5212 not-muc 749412 unknown 293 muc 1000
19.19/19.24	c iter 1002 time 18.5432 not-muc 749412 unknown 292 muc 1001
19.19/19.24	c iter 1003 time 18.5592 not-muc 749412 unknown 291 muc 1002
19.19/19.24	c iter 1004 time 18.5762 not-muc 749412 unknown 290 muc 1003
19.19/19.24	c iter 1005 time 18.5922 not-muc 749412 unknown 289 muc 1004
19.19/19.24	c iter 1006 time 18.6112 not-muc 749412 unknown 288 muc 1005
19.19/19.24	c iter 1007 time 18.6272 not-muc 749412 unknown 287 muc 1006
19.19/19.24	c iter 1008 time 18.6442 not-muc 749412 unknown 286 muc 1007
19.19/19.24	c iter 1009 time 18.6602 not-muc 749412 unknown 285 muc 1008
19.19/19.24	c iter 1010 time 18.6792 not-muc 749412 unknown 284 muc 1009
19.19/19.24	c iter 1011 time 18.6962 not-muc 749412 unknown 283 muc 1010
19.19/19.24	c iter 1012 time 18.7122 not-muc 749412 unknown 282 muc 1011
19.19/19.24	c iter 1013 time 18.7292 not-muc 749412 unknown 281 muc 1012
19.19/19.24	c iter 1014 time 18.7481 not-muc 749412 unknown 280 muc 1013
19.19/19.24	c iter 1015 time 18.7671 not-muc 749412 unknown 279 muc 1014
19.19/19.24	c iter 1016 time 18.7831 not-muc 749412 unknown 278 muc 1015
19.19/19.24	c iter 1017 time 18.8001 not-muc 749412 unknown 277 muc 1016
19.19/19.24	c iter 1018 time 18.8161 not-muc 749412 unknown 276 muc 1017
19.19/19.24	c iter 1019 time 18.8351 not-muc 749412 unknown 275 muc 1018
19.19/19.24	c iter 1020 time 18.8511 not-muc 749412 unknown 274 muc 1019
19.19/19.24	c iter 1021 time 18.8681 not-muc 749412 unknown 273 muc 1020
19.19/19.24	c iter 1022 time 18.8841 not-muc 749412 unknown 272 muc 1021
19.19/19.24	c iter 1023 time 18.9031 not-muc 749412 unknown 271 muc 1022
19.19/19.24	c iter 1024 time 18.9201 not-muc 749412 unknown 270 muc 1023
19.19/19.24	c iter 1025 time 18.9361 not-muc 749412 unknown 269 muc 1024
19.19/19.24	c iter 1026 time 18.9531 not-muc 749412 unknown 268 muc 1025
19.19/19.24	c iter 1027 time 18.9721 not-muc 749412 unknown 267 muc 1026
19.19/19.24	c iter 1028 time 18.9911 not-muc 749412 unknown 266 muc 1027
19.19/19.24	c iter 1029 time 19.0071 not-muc 749412 unknown 265 muc 1028
19.19/19.24	c iter 1030 time 19.0241 not-muc 749412 unknown 264 muc 1029
19.19/19.24	c iter 1031 time 19.0401 not-muc 749412 unknown 263 muc 1030
19.19/19.24	c iter 1032 time 19.0571 not-muc 749412 unknown 262 muc 1031
19.19/19.24	c iter 1033 time 19.0731 not-muc 749412 unknown 261 muc 1032
19.19/19.24	c iter 1034 time 19.0901 not-muc 749412 unknown 260 muc 1033
19.19/19.24	c iter 1035 time 19.1071 not-muc 749412 unknown 259 muc 1034
19.19/19.24	c iter 1036 time 19.1261 not-muc 749412 unknown 258 muc 1035
19.19/19.24	c iter 1037 time 19.1421 not-muc 749412 unknown 257 muc 1036
19.19/19.24	c iter 1038 time 19.1591 not-muc 749412 unknown 256 muc 1037
19.19/19.24	c iter 1039 time 19.1761 not-muc 749412 unknown 255 muc 1038
20.29/20.39	c iter 1040 time 19.1921 not-muc 749412 unknown 254 muc 1039
20.29/20.39	c iter 1041 time 19.2091 not-muc 749412 unknown 253 muc 1040
20.29/20.39	c iter 1042 time 19.2261 not-muc 749412 unknown 252 muc 1041
20.29/20.39	c iter 1043 time 19.2421 not-muc 749412 unknown 251 muc 1042
20.29/20.39	c iter 1044 time 19.2621 not-muc 749412 unknown 250 muc 1043
20.29/20.39	c iter 1045 time 19.2781 not-muc 749412 unknown 249 muc 1044
20.29/20.39	c iter 1046 time 19.2951 not-muc 749412 unknown 248 muc 1045
20.29/20.39	c iter 1047 time 19.3111 not-muc 749412 unknown 247 muc 1046
20.29/20.39	c iter 1048 time 19.3281 not-muc 749412 unknown 246 muc 1047
20.29/20.39	c iter 1049 time 19.3451 not-muc 749412 unknown 245 muc 1048
20.29/20.39	c iter 1050 time 19.3621 not-muc 749412 unknown 244 muc 1049
20.29/20.39	c iter 1051 time 19.3781 not-muc 749412 unknown 243 muc 1050
20.29/20.39	c iter 1052 time 19.3981 not-muc 749412 unknown 242 muc 1051
20.29/20.39	c iter 1053 time 19.417 not-muc 749412 unknown 241 muc 1052
20.29/20.39	c iter 1054 time 19.433 not-muc 749412 unknown 240 muc 1053
20.29/20.39	c iter 1055 time 19.45 not-muc 749412 unknown 239 muc 1054
20.29/20.39	c iter 1056 time 19.467 not-muc 749412 unknown 238 muc 1055
20.29/20.39	c iter 1057 time 19.483 not-muc 749412 unknown 237 muc 1056
20.29/20.39	c iter 1058 time 19.5 not-muc 749412 unknown 236 muc 1057
20.29/20.39	c iter 1059 time 19.516 not-muc 749412 unknown 235 muc 1058
20.29/20.39	c iter 1060 time 19.533 not-muc 749412 unknown 234 muc 1059
20.29/20.39	c iter 1061 time 19.55 not-muc 749412 unknown 233 muc 1060
20.29/20.39	c iter 1062 time 19.567 not-muc 749412 unknown 232 muc 1061
20.29/20.39	c iter 1063 time 19.583 not-muc 749412 unknown 231 muc 1062
20.29/20.39	c iter 1064 time 19.6 not-muc 749412 unknown 230 muc 1063
20.29/20.39	c iter 1065 time 19.619 not-muc 749412 unknown 229 muc 1064
20.29/20.39	c iter 1066 time 19.636 not-muc 749412 unknown 228 muc 1065
20.29/20.39	c iter 1067 time 19.652 not-muc 749412 unknown 227 muc 1066
20.29/20.39	c iter 1068 time 19.669 not-muc 749412 unknown 226 muc 1067
20.29/20.39	c iter 1069 time 19.686 not-muc 749412 unknown 225 muc 1068
20.29/20.39	c iter 1070 time 19.702 not-muc 749412 unknown 224 muc 1069
20.29/20.39	c iter 1071 time 19.719 not-muc 749412 unknown 223 muc 1070
20.29/20.39	c iter 1072 time 19.736 not-muc 749412 unknown 222 muc 1071
20.29/20.39	c iter 1073 time 19.752 not-muc 749412 unknown 221 muc 1072
20.29/20.39	c iter 1074 time 19.769 not-muc 749412 unknown 220 muc 1073
20.29/20.39	c iter 1075 time 19.786 not-muc 749412 unknown 219 muc 1074
20.29/20.39	c iter 1076 time 19.803 not-muc 749412 unknown 218 muc 1075
20.29/20.39	c iter 1077 time 19.822 not-muc 749412 unknown 217 muc 1076
20.29/20.39	c iter 1078 time 19.838 not-muc 749412 unknown 216 muc 1077
20.29/20.39	c iter 1079 time 19.855 not-muc 749412 unknown 215 muc 1078
20.29/20.39	c iter 1080 time 19.871 not-muc 749412 unknown 214 muc 1079
20.29/20.39	c iter 1081 time 19.888 not-muc 749412 unknown 213 muc 1080
20.29/20.39	c iter 1082 time 19.904 not-muc 749412 unknown 212 muc 1081
20.29/20.39	c iter 1083 time 19.921 not-muc 749412 unknown 211 muc 1082
20.29/20.39	c iter 1084 time 19.938 not-muc 749412 unknown 210 muc 1083
20.29/20.39	c iter 1085 time 19.954 not-muc 749412 unknown 209 muc 1084
20.29/20.39	c iter 1086 time 19.971 not-muc 749412 unknown 208 muc 1085
20.29/20.39	c iter 1087 time 19.988 not-muc 749412 unknown 207 muc 1086
20.29/20.39	c iter 1088 time 20.005 not-muc 749412 unknown 206 muc 1087
20.29/20.39	c iter 1089 time 20.024 not-muc 749412 unknown 205 muc 1088
20.29/20.39	c iter 1090 time 20.043 not-muc 749412 unknown 204 muc 1089
20.29/20.39	c iter 1091 time 20.06 not-muc 749412 unknown 203 muc 1090
20.29/20.39	c iter 1092 time 20.0769 not-muc 749412 unknown 202 muc 1091
20.29/20.39	c iter 1093 time 20.0929 not-muc 749412 unknown 201 muc 1092
20.29/20.39	c iter 1094 time 20.1099 not-muc 749412 unknown 200 muc 1093
20.29/20.39	c iter 1095 time 20.1259 not-muc 749412 unknown 199 muc 1094
20.29/20.39	c iter 1096 time 20.1429 not-muc 749412 unknown 198 muc 1095
20.29/20.39	c iter 1097 time 20.1599 not-muc 749412 unknown 197 muc 1096
20.29/20.39	c iter 1098 time 20.1759 not-muc 749412 unknown 196 muc 1097
20.29/20.39	c iter 1099 time 20.1929 not-muc 749412 unknown 195 muc 1098
20.29/20.39	c iter 1100 time 20.2099 not-muc 749412 unknown 194 muc 1099
20.29/20.39	c iter 1101 time 20.2269 not-muc 749412 unknown 193 muc 1100
20.29/20.39	c iter 1102 time 20.2429 not-muc 749412 unknown 192 muc 1101
20.29/20.39	c iter 1103 time 20.2599 not-muc 749412 unknown 191 muc 1102
20.29/20.39	c iter 1104 time 20.2769 not-muc 749412 unknown 190 muc 1103
20.29/20.39	c iter 1105 time 20.2939 not-muc 749412 unknown 189 muc 1104
20.29/20.39	c iter 1106 time 20.3109 not-muc 749412 unknown 188 muc 1105
20.29/20.39	c iter 1107 time 20.3299 not-muc 749412 unknown 187 muc 1106
21.49/21.52	c iter 1108 time 20.3469 not-muc 749412 unknown 186 muc 1107
21.49/21.52	c iter 1109 time 20.3629 not-muc 749412 unknown 185 muc 1108
21.49/21.52	c iter 1110 time 20.3799 not-muc 749412 unknown 184 muc 1109
21.49/21.52	c iter 1111 time 20.3969 not-muc 749412 unknown 183 muc 1110
21.49/21.52	c iter 1112 time 20.4129 not-muc 749412 unknown 182 muc 1111
21.49/21.52	c iter 1113 time 20.4299 not-muc 749412 unknown 181 muc 1112
21.49/21.52	c iter 1114 time 20.4459 not-muc 749412 unknown 180 muc 1113
21.49/21.52	c iter 1115 time 20.4629 not-muc 749412 unknown 179 muc 1114
21.49/21.52	c iter 1116 time 20.4799 not-muc 749412 unknown 178 muc 1115
21.49/21.52	c iter 1117 time 20.4969 not-muc 749412 unknown 177 muc 1116
21.49/21.52	c iter 1118 time 20.5129 not-muc 749412 unknown 176 muc 1117
21.49/21.52	c iter 1119 time 20.5299 not-muc 749412 unknown 175 muc 1118
21.49/21.52	c iter 1120 time 20.5469 not-muc 749412 unknown 174 muc 1119
21.49/21.52	c iter 1121 time 20.5639 not-muc 749412 unknown 173 muc 1120
21.49/21.52	c iter 1122 time 20.5809 not-muc 749412 unknown 172 muc 1121
21.49/21.52	c iter 1123 time 20.5979 not-muc 749412 unknown 171 muc 1122
21.49/21.52	c iter 1124 time 20.6169 not-muc 749412 unknown 170 muc 1123
21.49/21.52	c iter 1125 time 20.6329 not-muc 749412 unknown 169 muc 1124
21.49/21.52	c iter 1126 time 20.6499 not-muc 749412 unknown 168 muc 1125
21.49/21.52	c iter 1127 time 20.6659 not-muc 749412 unknown 167 muc 1126
21.49/21.52	c iter 1128 time 20.6829 not-muc 749412 unknown 166 muc 1127
21.49/21.52	c iter 1129 time 20.6999 not-muc 749412 unknown 165 muc 1128
21.49/21.52	c iter 1130 time 20.7158 not-muc 749412 unknown 164 muc 1129
21.49/21.52	c iter 1131 time 20.7328 not-muc 749412 unknown 163 muc 1130
21.49/21.52	c iter 1132 time 20.7498 not-muc 749412 unknown 162 muc 1131
21.49/21.52	c iter 1133 time 20.7658 not-muc 749412 unknown 161 muc 1132
21.49/21.52	c iter 1134 time 20.7828 not-muc 749412 unknown 160 muc 1133
21.49/21.52	c iter 1135 time 20.7998 not-muc 749412 unknown 159 muc 1134
21.49/21.52	c iter 1136 time 20.8168 not-muc 749412 unknown 158 muc 1135
21.49/21.52	c iter 1137 time 20.8338 not-muc 749412 unknown 157 muc 1136
21.49/21.52	c iter 1138 time 20.8498 not-muc 749412 unknown 156 muc 1137
21.49/21.52	c iter 1139 time 20.8668 not-muc 749412 unknown 155 muc 1138
21.49/21.52	c iter 1140 time 20.8838 not-muc 749412 unknown 154 muc 1139
21.49/21.52	c iter 1141 time 20.9038 not-muc 749412 unknown 153 muc 1140
21.49/21.52	c iter 1142 time 20.9228 not-muc 749412 unknown 152 muc 1141
21.49/21.52	c iter 1143 time 20.9398 not-muc 749412 unknown 151 muc 1142
21.49/21.52	c iter 1144 time 20.9558 not-muc 749412 unknown 150 muc 1143
21.49/21.52	c iter 1145 time 20.9728 not-muc 749412 unknown 149 muc 1144
21.49/21.52	c iter 1146 time 20.9888 not-muc 749412 unknown 148 muc 1145
21.49/21.52	c iter 1147 time 21.0058 not-muc 749412 unknown 147 muc 1146
21.49/21.52	c iter 1148 time 21.0218 not-muc 749412 unknown 146 muc 1147
21.49/21.52	c iter 1149 time 21.0388 not-muc 749412 unknown 145 muc 1148
21.49/21.52	c iter 1150 time 21.0558 not-muc 749412 unknown 144 muc 1149
21.49/21.52	c iter 1151 time 21.0718 not-muc 749412 unknown 143 muc 1150
21.49/21.52	c iter 1152 time 21.0888 not-muc 749412 unknown 142 muc 1151
21.49/21.52	c iter 1153 time 21.1058 not-muc 749412 unknown 141 muc 1152
21.49/21.52	c iter 1154 time 21.1228 not-muc 749412 unknown 140 muc 1153
21.49/21.52	c iter 1155 time 21.1398 not-muc 749412 unknown 139 muc 1154
21.49/21.52	c iter 1156 time 21.1558 not-muc 749412 unknown 138 muc 1155
21.49/21.52	c iter 1157 time 21.1728 not-muc 749412 unknown 137 muc 1156
21.49/21.52	c iter 1158 time 21.1898 not-muc 749412 unknown 136 muc 1157
21.49/21.52	c iter 1159 time 21.2068 not-muc 749412 unknown 135 muc 1158
21.49/21.52	c iter 1160 time 21.2238 not-muc 749412 unknown 134 muc 1159
21.49/21.52	c iter 1161 time 21.2408 not-muc 749412 unknown 133 muc 1160
21.49/21.52	c iter 1162 time 21.2578 not-muc 749412 unknown 132 muc 1161
21.49/21.52	c iter 1163 time 21.2748 not-muc 749412 unknown 131 muc 1162
21.49/21.52	c iter 1164 time 21.2938 not-muc 749412 unknown 130 muc 1163
21.49/21.52	c iter 1165 time 21.3108 not-muc 749412 unknown 129 muc 1164
21.49/21.52	c iter 1166 time 21.3268 not-muc 749412 unknown 128 muc 1165
21.49/21.52	c iter 1167 time 21.3438 not-muc 749412 unknown 127 muc 1166
21.49/21.52	c iter 1168 time 21.3598 not-muc 749412 unknown 126 muc 1167
21.49/21.52	c iter 1169 time 21.3768 not-muc 749412 unknown 125 muc 1168
21.49/21.52	c iter 1170 time 21.3937 not-muc 749412 unknown 124 muc 1169
21.49/21.52	c iter 1171 time 21.4097 not-muc 749412 unknown 123 muc 1170
21.49/21.52	c iter 1172 time 21.4267 not-muc 749412 unknown 122 muc 1171
21.49/21.52	c iter 1173 time 21.4437 not-muc 749412 unknown 121 muc 1172
21.49/21.52	c iter 1174 time 21.4597 not-muc 749412 unknown 120 muc 1173
22.59/22.67	c iter 1175 time 21.4767 not-muc 749412 unknown 119 muc 1174
22.59/22.67	c iter 1176 time 21.4937 not-muc 749412 unknown 118 muc 1175
22.59/22.67	c iter 1177 time 21.5107 not-muc 749412 unknown 117 muc 1176
22.59/22.67	c iter 1178 time 21.5267 not-muc 749412 unknown 116 muc 1177
22.59/22.67	c iter 1179 time 21.5437 not-muc 749412 unknown 115 muc 1178
22.59/22.67	c iter 1180 time 21.5607 not-muc 749412 unknown 114 muc 1179
22.59/22.67	c iter 1181 time 21.5777 not-muc 749412 unknown 113 muc 1180
22.59/22.67	c iter 1182 time 21.5947 not-muc 749412 unknown 112 muc 1181
22.59/22.67	c iter 1183 time 21.6117 not-muc 749412 unknown 111 muc 1182
22.59/22.67	c iter 1184 time 21.6287 not-muc 749412 unknown 110 muc 1183
22.59/22.67	c iter 1185 time 21.6457 not-muc 749412 unknown 109 muc 1184
22.59/22.67	c iter 1186 time 21.6647 not-muc 749412 unknown 108 muc 1185
22.59/22.67	c iter 1187 time 21.6807 not-muc 749412 unknown 107 muc 1186
22.59/22.67	c iter 1188 time 21.6977 not-muc 749412 unknown 106 muc 1187
22.59/22.67	c iter 1189 time 21.7137 not-muc 749412 unknown 105 muc 1188
22.59/22.67	c iter 1190 time 21.7307 not-muc 749412 unknown 104 muc 1189
22.59/22.67	c iter 1191 time 21.7467 not-muc 749412 unknown 103 muc 1190
22.59/22.67	c iter 1192 time 21.7637 not-muc 749412 unknown 102 muc 1191
22.59/22.67	c iter 1193 time 21.7807 not-muc 749412 unknown 101 muc 1192
22.59/22.67	c iter 1194 time 21.7967 not-muc 749412 unknown 100 muc 1193
22.59/22.67	c iter 1195 time 21.8137 not-muc 749412 unknown 99 muc 1194
22.59/22.67	c iter 1196 time 21.8307 not-muc 749412 unknown 98 muc 1195
22.59/22.67	c iter 1197 time 21.8477 not-muc 749412 unknown 97 muc 1196
22.59/22.67	c iter 1198 time 21.8637 not-muc 749412 unknown 96 muc 1197
22.59/22.67	c iter 1199 time 21.8807 not-muc 749412 unknown 95 muc 1198
22.59/22.67	c iter 1200 time 21.8977 not-muc 749412 unknown 94 muc 1199
22.59/22.67	c iter 1201 time 21.9147 not-muc 749412 unknown 93 muc 1200
22.59/22.67	c iter 1202 time 21.9317 not-muc 749412 unknown 92 muc 1201
22.59/22.67	c iter 1203 time 21.9487 not-muc 749412 unknown 91 muc 1202
22.59/22.67	c iter 1204 time 21.9657 not-muc 749412 unknown 90 muc 1203
22.59/22.67	c iter 1205 time 21.9827 not-muc 749412 unknown 89 muc 1204
22.59/22.67	c iter 1206 time 21.9997 not-muc 749412 unknown 88 muc 1205
22.59/22.67	c iter 1207 time 22.0167 not-muc 749412 unknown 87 muc 1206
22.59/22.67	c iter 1208 time 22.0366 not-muc 749412 unknown 86 muc 1207
22.59/22.67	c iter 1209 time 22.0576 not-muc 749412 unknown 85 muc 1208
22.59/22.67	c iter 1210 time 22.0746 not-muc 749412 unknown 84 muc 1209
22.59/22.67	c iter 1211 time 22.0906 not-muc 749412 unknown 83 muc 1210
22.59/22.67	c iter 1212 time 22.1076 not-muc 749412 unknown 82 muc 1211
22.59/22.67	c iter 1213 time 22.1236 not-muc 749412 unknown 81 muc 1212
22.59/22.67	c iter 1214 time 22.1406 not-muc 749412 unknown 80 muc 1213
22.59/22.67	c iter 1215 time 22.1576 not-muc 749412 unknown 79 muc 1214
22.59/22.67	c iter 1216 time 22.1736 not-muc 749412 unknown 78 muc 1215
22.59/22.67	c iter 1217 time 22.1906 not-muc 749412 unknown 77 muc 1216
22.59/22.67	c iter 1218 time 22.2076 not-muc 749412 unknown 76 muc 1217
22.59/22.67	c iter 1219 time 22.2246 not-muc 749412 unknown 75 muc 1218
22.59/22.67	c iter 1220 time 22.2406 not-muc 749412 unknown 74 muc 1219
22.59/22.67	c iter 1221 time 22.2576 not-muc 749412 unknown 73 muc 1220
22.59/22.67	c iter 1222 time 22.2746 not-muc 749412 unknown 72 muc 1221
22.59/22.67	c iter 1223 time 22.2916 not-muc 749412 unknown 71 muc 1222
22.59/22.67	c iter 1224 time 22.3086 not-muc 749412 unknown 70 muc 1223
22.59/22.67	c iter 1225 time 22.3256 not-muc 749412 unknown 69 muc 1224
22.59/22.67	c iter 1226 time 22.3426 not-muc 749412 unknown 68 muc 1225
22.59/22.67	c iter 1227 time 22.3596 not-muc 749412 unknown 67 muc 1226
22.59/22.67	c iter 1228 time 22.3766 not-muc 749412 unknown 66 muc 1227
22.59/22.67	c iter 1229 time 22.3936 not-muc 749412 unknown 65 muc 1228
22.59/22.67	c iter 1230 time 22.4106 not-muc 749412 unknown 64 muc 1229
22.59/22.67	c iter 1231 time 22.4296 not-muc 749412 unknown 63 muc 1230
22.59/22.67	c iter 1232 time 22.4466 not-muc 749412 unknown 62 muc 1231
22.59/22.67	c iter 1233 time 22.4626 not-muc 749412 unknown 61 muc 1232
22.59/22.67	c iter 1234 time 22.4796 not-muc 749412 unknown 60 muc 1233
22.59/22.67	c iter 1235 time 22.4966 not-muc 749412 unknown 59 muc 1234
22.59/22.67	c iter 1236 time 22.5126 not-muc 749412 unknown 58 muc 1235
22.59/22.67	c iter 1237 time 22.5296 not-muc 749412 unknown 57 muc 1236
22.59/22.67	c iter 1238 time 22.5466 not-muc 749412 unknown 56 muc 1237
22.59/22.67	c iter 1239 time 22.5636 not-muc 749412 unknown 55 muc 1238
22.59/22.67	c iter 1240 time 22.5796 not-muc 749412 unknown 54 muc 1239
22.59/22.67	c iter 1241 time 22.5966 not-muc 749412 unknown 53 muc 1240
22.59/22.67	c iter 1242 time 22.6136 not-muc 749412 unknown 52 muc 1241
23.59/23.60	c iter 1243 time 22.6306 not-muc 749412 unknown 51 muc 1242
23.59/23.60	c iter 1244 time 22.6476 not-muc 749412 unknown 50 muc 1243
23.59/23.60	c iter 1245 time 22.6646 not-muc 749412 unknown 49 muc 1244
23.59/23.60	c iter 1246 time 22.6816 not-muc 749412 unknown 48 muc 1245
23.59/23.60	c iter 1247 time 22.6985 not-muc 749412 unknown 47 muc 1246
23.59/23.60	c iter 1248 time 22.7155 not-muc 749412 unknown 46 muc 1247
23.59/23.60	c iter 1249 time 22.7315 not-muc 749412 unknown 45 muc 1248
23.59/23.60	c iter 1250 time 22.7485 not-muc 749412 unknown 44 muc 1249
23.59/23.60	c iter 1251 time 22.7665 not-muc 749412 unknown 43 muc 1250
23.59/23.60	c iter 1252 time 22.7835 not-muc 749412 unknown 42 muc 1251
23.59/23.60	c iter 1253 time 22.8025 not-muc 749412 unknown 41 muc 1252
23.59/23.60	c iter 1254 time 22.8195 not-muc 749412 unknown 40 muc 1253
23.59/23.60	c iter 1255 time 22.8355 not-muc 749412 unknown 39 muc 1254
23.59/23.60	c iter 1256 time 22.8525 not-muc 749412 unknown 38 muc 1255
23.59/23.60	c iter 1257 time 22.8685 not-muc 749412 unknown 37 muc 1256
23.59/23.60	c iter 1258 time 22.8855 not-muc 749412 unknown 36 muc 1257
23.59/23.60	c iter 1259 time 22.9025 not-muc 749412 unknown 35 muc 1258
23.59/23.60	c iter 1260 time 22.9185 not-muc 749412 unknown 34 muc 1259
23.59/23.60	c iter 1261 time 22.9355 not-muc 749412 unknown 33 muc 1260
23.59/23.60	c iter 1262 time 22.9525 not-muc 749412 unknown 32 muc 1261
23.59/23.60	c iter 1263 time 22.9695 not-muc 749412 unknown 31 muc 1262
23.59/23.60	c iter 1264 time 22.9865 not-muc 749412 unknown 30 muc 1263
23.59/23.60	c iter 1265 time 23.0035 not-muc 749412 unknown 29 muc 1264
23.59/23.60	c iter 1266 time 23.0205 not-muc 749412 unknown 28 muc 1265
23.59/23.60	c iter 1267 time 23.0365 not-muc 749412 unknown 27 muc 1266
23.59/23.60	c iter 1268 time 23.0535 not-muc 749412 unknown 26 muc 1267
23.59/23.60	c iter 1269 time 23.0705 not-muc 749412 unknown 25 muc 1268
23.59/23.60	c iter 1270 time 23.0885 not-muc 749412 unknown 24 muc 1269
23.59/23.60	c iter 1271 time 23.1055 not-muc 749412 unknown 23 muc 1270
23.59/23.60	c iter 1272 time 23.1225 not-muc 749412 unknown 22 muc 1271
23.59/23.60	c iter 1273 time 23.1395 not-muc 749412 unknown 21 muc 1272
23.59/23.60	c iter 1274 time 23.1565 not-muc 749412 unknown 20 muc 1273
23.59/23.60	c iter 1275 time 23.1755 not-muc 749412 unknown 19 muc 1274
23.59/23.60	c iter 1276 time 23.1955 not-muc 749412 unknown 18 muc 1275
23.59/23.60	c iter 1277 time 23.2145 not-muc 749412 unknown 17 muc 1276
23.59/23.60	c iter 1278 time 23.2335 not-muc 749412 unknown 16 muc 1277
23.59/23.60	c iter 1279 time 23.2535 not-muc 749412 unknown 15 muc 1278
23.59/23.60	c iter 1280 time 23.2725 not-muc 749412 unknown 14 muc 1279
23.59/23.60	c iter 1281 time 23.2925 not-muc 749412 unknown 13 muc 1280
23.59/23.60	c iter 1282 time 23.3115 not-muc 749412 unknown 12 muc 1281
23.59/23.60	c iter 1283 time 23.3305 not-muc 749412 unknown 11 muc 1282
23.59/23.60	c iter 1284 time 23.3504 not-muc 749412 unknown 10 muc 1283
23.59/23.60	c iter 1285 time 23.3694 not-muc 749412 unknown 9 muc 1284
23.59/23.60	c iter 1286 time 23.3894 not-muc 749412 unknown 8 muc 1285
23.59/23.60	c iter 1287 time 23.4084 not-muc 749412 unknown 7 muc 1286
23.59/23.60	c iter 1288 time 23.4274 not-muc 749412 unknown 6 muc 1287
23.59/23.60	c iter 1289 time 23.4464 not-muc 749412 unknown 5 muc 1288
23.59/23.60	c iter 1290 time 23.4664 not-muc 749412 unknown 4 muc 1289
23.59/23.60	c iter 1291 time 23.4854 not-muc 749412 unknown 3 muc 1290
23.59/23.60	c iter 1292 time 23.5044 not-muc 749412 unknown 2 muc 1291
23.59/23.60	c iter 1293 time 23.5244 not-muc 749412 unknown 1 muc 1292
23.59/23.60	c final iter 1294 time 23.5444 not-muc 749412 unknown 0 muc 1293
23.59/23.60	v 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3555 3556 3557 3558 3559 3560 3565 3566 3567 3568 3569 3608 3690 3694 3698 3702 3706 3710 3713 3717 3722 3726 3730 3734 3738 3742 3746 3750 3754 3758 3761 3790 5305 5368 5453 5457 5461 5465 5469 5473 5476 5480 5485 5489 5493 5497 5501 5505 5509 5513 5517 5521 5524 5553 7066 7129 7214 7218 7222 7226 7230 7234 7237 7241 7246 7250 7254 7258 7262 7266 7270 7274 7278 7282 7285 7314 8827 8836 8891 9077 9180 9184 9188 9192 9196 9200 9204 9209 9212 9217 10133 10137 10141 10145 10149 10153 10157 10161 10165 10588 10651 10840 10943 10947 10951 10955 10959 10963 10967 10972 10975 10980 11896 11900 11904 11908 11912 11916 11920 11924 11928 12349 12412 12601 12704 12708 12712 12716 12720 12724 12728 12733 12736 12741 13657 13661 13665 13669 13673 13677 13681 13685 13689 14110 14119 14174 14364 14531 14535 14539 14543 14547 14551 14559 15347 15351 15355 15359 15363 15367 15371 15871 15934 16127 16294 16298 16302 16306 16310 16314 16322 17110 17114 17118 17122 17126 17130 17134 17632 17695 17888 18055 18059 18063 18067 18071 18075 18083 18871 18875 18879 18883 18887 18891 18895 19393 19402 19457 19651 19882 19886 19890 19894 19898 20562 20566 20570 20574 21154 21217 21414 21645 21649 21653 21657 21661 22325 22329 22333 22337 22915 22978 23175 23406 23410 23414 23418 23422 24086 24090 24094 24098 24676 24685 24740 24938 25233 25237 25241 25777 25781 26437 26500 26701 26996 27000 27004 27540 27544 28198 28261 28462 28757 28761 28765 29301 29305 29959 29968 30023 30225 30584 31720 31783 31988 32347 33481 33544 33749 34108 35242 35251 35306 35512 36856 37003 37066 37275 38619 38764 38827 39036 40380 40525 40534 40589 40799 42163 42286 42349 42562 43926 44047 44110 44323 45687 45808 45817 45872 46086 47470 47569 47632 47849 49233 49330 49393 49610 50994 51091 51100 51155 51333 51389 52852 52915 53096 53152 54613 54676 54857 54913 56374 56383 56438 56452 56460 58135 58198 58215 58223 59896 59959 59976 59984 61687 61691 63446 63448 101555 101604 101606 101608 101610 101612 101614 101615 101617 101622 101634 101646 101658 101670 101682 101693 101705 101717 101720 101725 101728 101733 101736 101741 101744 101749 101752 101756 101759 101762 101764 101767 101770 101773 101777 101782 101909 101911 101913 101915 101917 101919 101921 101923 101925 101927 101928 101941 101947 101953 101959 101965 101971 101977 101983 101989 101995 102000 102039 102051 102063 102075 102087 102099 102111 102123 102135 102146 102218 102221 102226 102229 102234 102237 102242 102245 102250 102253 102258 102261 102266 102269 102274 102277 102282 102285 102289 102292 102295 102357 102481 102550 102553 103314 103317 119667 119679 119691 119703 119715 119727 119738 119750 119827 120084 120096 120108 120120 120132 120144 120156 120168 120180 120191 120402 137509 137512 137704 137716 137728 137740 137752 137764 137775 137787 137864 138121 138133 138145 138157 138169 138181 138193 138205 138217 138228 138439 155547 155550 155672 155743 155755 155767 155779 155791 155803 155814 155826 155903 155936 156160 156172 156184 156196 156208 156220 156232 156244 156256 156267 156476 156478 156592 156659 156662 157660 157662 157664 157666 157668 157670 157672 157673 157675 157678 157680 157692 157694 157696 157698 157700 157702 157704 157706 157708 157710 157712 157714 157716 157718 157720 157722 157724 157726 157730 157734 157737 160138 160150 160162 160174 160186 160198 160210 160222 160234 161285 161288 161293 161296 161301 161304 161309 161312 161317 161320 161325 161328 161333 161336 161341 161344 161349 161352 161557 161559 161561 161563 161565 161567 161569 161570 161572 161575 161577 161609 161613 161615 161619 161621 161625 161627 161631 161633 161637 161639 161643 161645 161649 161652 161656 161657 161660 161664 161665 161707 161713 161719 161725 161731 161737 161743 161750 161755 161762 161809 161811 161813 161815 161817 161819 161821 161824 161825 161828 165460 165466 165472 165478 165484 165490 165496 165503 165508 165515 166505 166508 166511 166513 166516 166519 166521 166524 166527 166529 166532 166535 166537 166540 166543 166545 166548 166551 166553 166556 166559 166562 166565 166569 166572 166575 166578 166581 169320 169327 169340 169345 169349 169352 169355 169358 169364 169368 169369 169372 169375 169381 169385 169386 169390 169392 169398 169400 169403 169407 169409 169415 169417 169420 169424 169426 169432 169434 169437 169441 169443 169449 169451 169454 169458 169460 169466 169468 169471 169475 169477 169483 169485 169502 173586 173589 174527 175800 175808 175816 175824 175832 175840 175848 175857 175864 175873 178183 178195 178207 178219 178231 178243 178255 178267 178279 191626 191629 192564 193837 193845 193853 193861 193869 193877 193885 193894 193901 193910 196220 196232 196244 196256 196268 196280 196292 196304 196316 209664 209667 209789 210053 210601 210603 210703 210768 210771 211874 211876 211882 211884 211890 211892 211898 211900 211906 211908 211914 211916 211922 211924 211933 211940 211949 214050 214062 214074 214086 214098 214110 214122 214259 214271 214283 214295 214307 214319 214331 214343 214355 215265 215268 215271 215273 215276 215279 215281 215284 215287 215289 215292 215295 215297 215300 215303 215305 215308 215311 215313 215316 215319 215983 215987 215989 215993 215995 215999 216001 216005 216007 216011 216013 216017 216025 216029 216230 216236 216242 216248 216254 216260 216272 216330 216332 216334 216336 216338 216340 216344 219475 219481 219487 219493 219499 219505 219517 220486 220489 220492 220494 220497 220500 220502 220505 220508 220510 220513 220516 220518 220521 220524 220526 220529 220532 220542 220545 220548 223725 223727 223730 223736 223756 223759 223761 223764 223770 223776 223778 223782 223787 223790 223793 223795 223799 223804 223807 223810 223812 223816 223821 223824 223827 223829 223833 223838 223841 223844 223846 223850 223855 223858 223875 227703 227706 228652 230053 230061 230069 230077 230085 230093 230109 232095 232107 232119 232131 232143 232155 232167 245743 245746 246689 248090 248098 248106 248114 248122 248130 248146 250132 250144 250156 250168 250180 250192 250204 263781 263784 263906 264170 264726 264728 264814 264877 264880 266127 266129 266135 266137 266143 266145 266151 266153 266161 266169 266185 267963 267975 267987 267999 268171 268183 268195 268207 268219 268231 268243 269246 269249 269252 269254 269257 269260 269262 269265 269268 269270 269273 269276 270504 270507 270510 270513 270516 270519 270522 270525 270528 270531 270751 270757 270763 270769 270775 270851 270853 270855 270857 270859 273490 273496 273502 273508 273514 274467 274470 274473 274475 274478 274481 274483 274486 274489 274491 274494 274497 274499 274502 274505 278404 278411 278424 278429 278438 278445 278449 278455 278462 278466 278472 278479 278483 278489 278496 278500 278517 281820 281823 282777 284306 284314 284322 284330 284338 286008 286020 286032 286044 299860 299863 300814 302343 302351 302359 302367 302375 304045 304057 304069 304081 317898 317901 318023 318287 318851 318853 318925 318986 318989 320380 320382 320388 320390 320398 320406 320414 321876 321888 322084 322096 322108 322120 323227 323230 323233 323235 323238 323241 325025 325028 325031 325034 325037 325040 325272 325278 325284 325372 325374 325376 327505 327511 327517 328448 328451 328454 328456 328459 328462 328464 328467 328470 333099 333106 333116 333123 333127 333133 333140 333144 333161 335937 335940 336902 338559 338567 338575 339921 339933 353977 353980 354939 356596 356604 356612 357958 357970 372015 372018 372140 372404 372976 372978 373036 373095 373098 374635 374643 374651 375997 376009 379546 379549 379793 379893 381520 382429 382432 382435 387777 387784 387805 390054 390057 391027 392812 408094 408097 408931 410716 425999 426002 426124 426388 426968 426970 427014 427071 427074 428755 437372 437425 437435 437765 438152 438155 444038 444041 445019 455526 462078 462081 463056 473563 480116 480119 480241 480505 481093 481095 481125 481180 481183 491600 491602 491618 491822 492203 492206 498155 498158 499144 509705 516195 516198 517181 527742 534233 534236 534358 534622 535218 535220 535236 535289 535292 545779 545781 545805 545861 546252 546255 552272 552275 553269 563906 570312 570315 571306 581943 588350 588353 588475 589258 589262 589267 589343 589345 599982 601168 601184 601212 601259 601260 601262 601263 606389 606392 607312 607589 624429 624432 625349 625626 642467 642470 643388 643665 643917 643973 644077 644186 644189 644203 644206 660506 660509 660532 660544 678546 678549 678569 678581 696584 696587 696608 696620 714623 714626 0
23.59/23.61	s UNSATISFIABLE

OK	1293

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-3494383-1307804754/watcher-3494383-1307804754 -o /tmp/evaluation-result-3494383-1307804754/solver-3494383-1307804754 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494383-1307804754.cnf -no-pre 

running on 2 cores: 1,3

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.92 3.98 3.58 5/186 4004
/proc/meminfo: memFree=27497656/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=20968 CPUtime=0 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 755 0 0 0 0 0 0 0 23 0 1 0 892075900 21471232 696 33554432000 4194304 4337479 140736595282944 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 5242 697 223 35 0 1865 0

[startup+0.028916 s]
/proc/loadavg: 3.92 3.98 3.58 5/186 4004
/proc/meminfo: memFree=27497656/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=34036 CPUtime=0.02 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 4077 0 0 0 2 0 0 0 23 0 1 0 892075900 34852864 4018 33554432000 4194304 4337479 140736595282944 18446744073709551615 4319585 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 8509 4022 223 35 0 5132 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 34036

[startup+0.100897 s]
/proc/loadavg: 3.92 3.98 3.58 5/186 4004
/proc/meminfo: memFree=27497656/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=54456 CPUtime=0.09 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 9191 0 0 0 8 1 0 0 23 0 1 0 892075900 55762944 9015 33554432000 4194304 4337479 140736595282944 18446744073709551615 4200979 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 13614 9017 224 35 0 10237 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54456

[startup+0.300866 s]
/proc/loadavg: 3.92 3.98 3.58 5/186 4004
/proc/meminfo: memFree=27497656/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=97048 CPUtime=0.28 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 18323 0 0 0 26 2 0 0 24 0 1 0 892075900 99377152 17716 33554432000 4194304 4337479 140736595282944 18446744073709551615 244446642635 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 24262 17736 224 35 0 20885 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 97048

[startup+0.700789 s]
/proc/loadavg: 3.92 3.98 3.58 5/186 4004
/proc/meminfo: memFree=27497656/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=153236 CPUtime=0.69 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42039 0 0 0 63 6 0 0 25 0 1 0 892075900 156913664 32080 33554432000 4194304 4337479 140736595282944 18446744073709551615 4281716 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 38309 32080 253 35 0 34932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 153236

[startup+1.50065 s]
/proc/loadavg: 3.92 3.98 3.58 5/187 4005
/proc/meminfo: memFree=27357808/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=1.49 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42039 0 0 0 143 6 0 0 25 0 1 0 892075900 137789440 28736 33554432000 4194304 4337479 140736595282944 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28736 253 35 0 30263 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134560

[startup+3.10034 s]
/proc/loadavg: 3.93 3.98 3.59 5/187 4005
/proc/meminfo: memFree=27367872/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=3.09 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42039 0 0 0 303 6 0 0 25 0 1 0 892075900 137789440 28736 33554432000 4194304 4337479 140736595282944 18446744073709551615 244446423905 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28736 253 35 0 30263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134560

[startup+6.30075 s]
/proc/loadavg: 3.93 3.98 3.59 6/187 4005
/proc/meminfo: memFree=27329184/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=6.29 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42039 0 0 0 623 6 0 0 25 0 1 0 892075900 137789440 28736 33554432000 4194304 4337479 140736595282944 18446744073709551615 4302724 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28736 253 35 0 30263 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134560

[startup+12.7006 s]
/proc/loadavg: 3.93 3.98 3.59 5/187 4005
/proc/meminfo: memFree=27282496/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=12.69 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42040 0 0 0 1263 6 0 0 25 0 1 0 892075900 137789440 28737 33554432000 4194304 4337479 140736595282944 18446744073709551615 4310036 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28737 254 35 0 30263 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 134560

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

[startup+19.1004 s]
/proc/loadavg: 3.94 3.98 3.59 5/187 4005
/proc/meminfo: memFree=27222188/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=19.09 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42040 0 0 0 1903 6 0 0 25 0 1 0 892075900 137789440 28737 33554432000 4194304 4337479 140736595282944 18446744073709551615 4281983 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28737 254 35 0 30263 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 134560

[startup+20.7011 s]
/proc/loadavg: 3.94 3.98 3.59 5/187 4005
/proc/meminfo: memFree=27208052/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=20.69 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42040 0 0 0 2063 6 0 0 25 0 1 0 892075900 137789440 28737 33554432000 4194304 4337479 140736595282944 18446744073709551615 4281671 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28737 254 35 0 30263 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 134560

[startup+22.3008 s]
/proc/loadavg: 3.94 3.98 3.59 6/187 4005
/proc/meminfo: memFree=27198876/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=22.29 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42040 0 0 0 2223 6 0 0 25 0 1 0 892075900 137789440 28737 33554432000 4194304 4337479 140736595282944 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28737 254 35 0 30263 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 134560

[startup+23.1066 s]
/proc/loadavg: 3.95 3.98 3.59 5/187 4005
/proc/meminfo: memFree=27194240/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=23.1 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42040 0 0 0 2304 6 0 0 25 0 1 0 892075900 137789440 28737 33554432000 4194304 4337479 140736595282944 18446744073709551615 4282071 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28737 254 35 0 30263 0
Current children cumulated CPU time (s) 23.1
Current children cumulated vsize (KiB) 134560

[startup+23.5006 s]
/proc/loadavg: 3.95 3.98 3.59 5/187 4005
/proc/meminfo: memFree=27194240/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=23.49 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42040 0 0 0 2343 6 0 0 25 0 1 0 892075900 137789440 28737 33554432000 4194304 4337479 140736595282944 18446744073709551615 4282052 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28737 254 35 0 30263 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 134560

[startup+23.6005 s]
/proc/loadavg: 3.95 3.98 3.59 5/187 4005
/proc/meminfo: memFree=27194240/32951124 swapFree=67064368/67111528
[pid=4004] ppid=4002 vsize=134560 CPUtime=23.59 cores=1,3
/proc/4004/stat : 4004 (hmuc) R 4002 4004 3094 0 -1 4202496 42040 0 0 0 2353 6 0 0 25 0 1 0 892075900 137789440 28737 33554432000 4194304 4337479 140736595282944 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4004/statm: 33640 28737 254 35 0 30263 0
Current children cumulated CPU time (s) 23.59
Current children cumulated vsize (KiB) 134560

Child status: 20
Real time (s): 23.6154
CPU time (s): 23.6134
CPU user time (s): 23.5444
CPU system time (s): 0.068989
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 163424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5444
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42041
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= 5
involuntary context switches= 58

runsolver used 0.040993 second user time and 0.097985 second system time

The end

Begin job on node105 at 2011-06-11 17:05:55
IDJOB=3494383
IDBENCH=89416
IDSOLVER=1984
FILE ID=node105/3494383-1307804754
RUNJOBID= node105-1307802576-3116
PBS_JOBID= 13551071
Free space on /tmp= 74056 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/design-debugging/divider-problem.dimacs_5.filtered.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494383-1307804754/watcher-3494383-1307804754 -o /tmp/evaluation-result-3494383-1307804754/solver-3494383-1307804754 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494383-1307804754.cnf -no-pre

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

MD5SUM BENCH= c9afc55e0bc687482ec2b239634bee48
RANDOM SEED=2069901772

node105.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.825
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.65
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.825
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	: 5226.15
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.825
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.82
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.825
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.75
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.825
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	: 5410.70
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.825
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.74
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.825
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.82
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.825
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27498448 kB
Buffers:        297484 kB
Cached:         829960 kB
SwapCached:      20132 kB
Active:        4525936 kB
Inactive:       692860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27498448 kB
SwapTotal:    67111528 kB
SwapFree:     67064368 kB
Dirty:           15420 kB
Writeback:           0 kB
AnonPages:     4088524 kB
Mapped:          10868 kB
Slab:           161172 kB
PageTables:      13148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4544668 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= 74056 MiB
End job on node105 at 2011-06-11 17:06:18