2.49/2.58	c WARNING: for repeatability, setting FPU to use double precision
2.49/2.58	c iter 1 time 1.45678 not-muc 173599 unknown 2090 muc 0
2.49/2.58	c iter 2 time 2.06968 not-muc 173599 unknown 2089 muc 1
2.49/2.58	c iter 3 time 2.07868 not-muc 173822 unknown 1866 muc 1
2.49/2.58	c iter 4 time 2.08568 not-muc 173822 unknown 1865 muc 2
2.49/2.58	c iter 5 time 2.09168 not-muc 173822 unknown 1864 muc 3
2.49/2.58	c iter 6 time 2.09868 not-muc 173822 unknown 1863 muc 4
2.49/2.58	c iter 7 time 2.10468 not-muc 173822 unknown 1862 muc 5
2.49/2.58	c iter 8 time 2.11068 not-muc 173822 unknown 1861 muc 6
2.49/2.58	c iter 9 time 2.11768 not-muc 173822 unknown 1860 muc 7
2.49/2.58	c iter 10 time 2.12368 not-muc 173822 unknown 1859 muc 8
2.49/2.58	c iter 11 time 2.12968 not-muc 173822 unknown 1858 muc 9
2.49/2.58	c iter 12 time 2.13567 not-muc 173822 unknown 1857 muc 10
2.49/2.58	c iter 13 time 2.14267 not-muc 173822 unknown 1856 muc 11
2.49/2.58	c iter 14 time 2.14867 not-muc 173822 unknown 1855 muc 12
2.49/2.58	c iter 15 time 2.15467 not-muc 173822 unknown 1854 muc 13
2.49/2.58	c iter 16 time 2.16067 not-muc 173822 unknown 1853 muc 14
2.49/2.58	c iter 17 time 2.16767 not-muc 173822 unknown 1852 muc 15
2.49/2.58	c iter 18 time 2.17367 not-muc 173822 unknown 1851 muc 16
2.49/2.58	c iter 19 time 2.17667 not-muc 174035 unknown 1638 muc 16
2.49/2.58	c iter 20 time 2.18367 not-muc 174035 unknown 1637 muc 17
2.49/2.58	c iter 21 time 2.19067 not-muc 174035 unknown 1636 muc 18
2.49/2.58	c iter 22 time 2.19667 not-muc 174035 unknown 1635 muc 19
2.49/2.58	c iter 23 time 2.20267 not-muc 174035 unknown 1634 muc 20
2.49/2.58	c iter 24 time 2.20866 not-muc 174035 unknown 1633 muc 21
2.49/2.58	c iter 25 time 2.21466 not-muc 174035 unknown 1632 muc 22
2.49/2.58	c iter 26 time 2.22166 not-muc 174035 unknown 1631 muc 23
2.49/2.58	c iter 27 time 2.22766 not-muc 174035 unknown 1630 muc 24
2.49/2.58	c iter 28 time 2.23366 not-muc 174035 unknown 1629 muc 25
2.49/2.58	c iter 29 time 2.24066 not-muc 174035 unknown 1628 muc 26
2.49/2.58	c iter 30 time 2.24666 not-muc 174035 unknown 1627 muc 27
2.49/2.58	c iter 31 time 2.25266 not-muc 174035 unknown 1626 muc 28
2.49/2.58	c iter 32 time 2.25966 not-muc 174035 unknown 1625 muc 29
2.49/2.58	c iter 33 time 2.26565 not-muc 174035 unknown 1624 muc 30
2.49/2.58	c iter 34 time 2.27165 not-muc 174035 unknown 1623 muc 31
2.49/2.58	c iter 35 time 2.27765 not-muc 174035 unknown 1622 muc 32
2.49/2.58	c iter 36 time 2.28365 not-muc 174035 unknown 1621 muc 33
2.49/2.58	c iter 37 time 2.28965 not-muc 174035 unknown 1620 muc 34
2.49/2.58	c iter 38 time 2.29665 not-muc 174035 unknown 1619 muc 35
2.49/2.58	c iter 39 time 2.30265 not-muc 174035 unknown 1618 muc 36
2.49/2.58	c iter 40 time 2.30865 not-muc 174035 unknown 1617 muc 37
2.49/2.58	c iter 41 time 2.31565 not-muc 174035 unknown 1616 muc 38
2.49/2.58	c iter 42 time 2.32165 not-muc 174035 unknown 1615 muc 39
2.49/2.58	c iter 43 time 2.32765 not-muc 174035 unknown 1614 muc 40
2.49/2.58	c iter 44 time 2.33365 not-muc 174035 unknown 1613 muc 41
2.49/2.58	c iter 45 time 2.34064 not-muc 174035 unknown 1612 muc 42
2.49/2.58	c iter 46 time 2.34664 not-muc 174035 unknown 1611 muc 43
2.49/2.58	c iter 47 time 2.35264 not-muc 174035 unknown 1610 muc 44
2.49/2.58	c iter 48 time 2.35964 not-muc 174035 unknown 1609 muc 45
2.49/2.58	c iter 49 time 2.36564 not-muc 174035 unknown 1608 muc 46
2.49/2.58	c iter 50 time 2.37164 not-muc 174035 unknown 1607 muc 47
2.49/2.58	c iter 51 time 2.37864 not-muc 174035 unknown 1606 muc 48
2.49/2.58	c iter 52 time 2.38464 not-muc 174035 unknown 1605 muc 49
2.49/2.58	c iter 53 time 2.39064 not-muc 174035 unknown 1604 muc 50
2.49/2.58	c iter 54 time 2.39764 not-muc 174035 unknown 1603 muc 51
2.49/2.58	c iter 55 time 2.40363 not-muc 174035 unknown 1602 muc 52
2.49/2.58	c iter 56 time 2.40963 not-muc 174035 unknown 1601 muc 53
2.49/2.58	c iter 57 time 2.41663 not-muc 174035 unknown 1600 muc 54
2.49/2.58	c iter 58 time 2.42263 not-muc 174035 unknown 1599 muc 55
2.49/2.58	c iter 59 time 2.42863 not-muc 174035 unknown 1598 muc 56
2.49/2.58	c iter 60 time 2.43563 not-muc 174035 unknown 1597 muc 57
2.49/2.58	c iter 61 time 2.44163 not-muc 174035 unknown 1596 muc 58
2.49/2.58	c iter 62 time 2.44763 not-muc 174035 unknown 1595 muc 59
2.49/2.58	c iter 63 time 2.45463 not-muc 174035 unknown 1594 muc 60
2.49/2.58	c iter 64 time 2.46062 not-muc 174035 unknown 1593 muc 61
2.49/2.58	c iter 65 time 2.46362 not-muc 174051 unknown 1577 muc 61
2.49/2.58	c iter 66 time 2.46962 not-muc 174051 unknown 1576 muc 62
2.49/2.58	c iter 67 time 2.47662 not-muc 174051 unknown 1575 muc 63
2.49/2.58	c iter 68 time 2.48362 not-muc 174051 unknown 1574 muc 64
2.49/2.58	c iter 69 time 2.48962 not-muc 174051 unknown 1573 muc 65
2.49/2.58	c iter 70 time 2.49562 not-muc 174051 unknown 1572 muc 66
2.99/3.02	c iter 71 time 2.50162 not-muc 174051 unknown 1571 muc 67
2.99/3.02	c iter 72 time 2.50762 not-muc 174051 unknown 1570 muc 68
2.99/3.02	c iter 73 time 2.51462 not-muc 174051 unknown 1569 muc 69
2.99/3.02	c iter 74 time 2.52062 not-muc 174051 unknown 1568 muc 70
2.99/3.02	c iter 75 time 2.52662 not-muc 174051 unknown 1567 muc 71
2.99/3.02	c iter 76 time 2.53361 not-muc 174051 unknown 1566 muc 72
2.99/3.02	c iter 77 time 2.53961 not-muc 174051 unknown 1565 muc 73
2.99/3.02	c iter 78 time 2.54561 not-muc 174051 unknown 1564 muc 74
2.99/3.02	c iter 79 time 2.55261 not-muc 174051 unknown 1563 muc 75
2.99/3.02	c iter 80 time 2.55861 not-muc 174051 unknown 1562 muc 76
2.99/3.02	c iter 81 time 2.56461 not-muc 174051 unknown 1561 muc 77
2.99/3.02	c iter 82 time 2.57161 not-muc 174051 unknown 1560 muc 78
2.99/3.02	c iter 83 time 2.57761 not-muc 174051 unknown 1559 muc 79
2.99/3.02	c iter 84 time 2.58361 not-muc 174051 unknown 1558 muc 80
2.99/3.02	c iter 85 time 2.58961 not-muc 174051 unknown 1557 muc 81
2.99/3.02	c iter 86 time 2.59661 not-muc 174051 unknown 1556 muc 82
2.99/3.02	c iter 87 time 2.6026 not-muc 174051 unknown 1555 muc 83
2.99/3.02	c iter 88 time 2.6056 not-muc 174087 unknown 1519 muc 83
2.99/3.02	c iter 89 time 2.6126 not-muc 174087 unknown 1518 muc 84
2.99/3.02	c iter 90 time 2.6186 not-muc 174087 unknown 1517 muc 85
2.99/3.02	c iter 91 time 2.6206 not-muc 174363 unknown 1241 muc 85
2.99/3.02	c iter 92 time 2.6286 not-muc 174363 unknown 1240 muc 86
2.99/3.02	c iter 93 time 2.6346 not-muc 174363 unknown 1239 muc 87
2.99/3.02	c iter 94 time 2.6416 not-muc 174363 unknown 1238 muc 88
2.99/3.02	c iter 95 time 2.6476 not-muc 174363 unknown 1237 muc 89
2.99/3.02	c iter 96 time 2.6536 not-muc 174363 unknown 1236 muc 90
2.99/3.02	c iter 97 time 2.66059 not-muc 174363 unknown 1235 muc 91
2.99/3.02	c iter 98 time 2.66659 not-muc 174363 unknown 1234 muc 92
2.99/3.02	c iter 99 time 2.67259 not-muc 174363 unknown 1233 muc 93
2.99/3.02	c iter 100 time 2.67959 not-muc 174363 unknown 1232 muc 94
2.99/3.02	c iter 101 time 2.68559 not-muc 174363 unknown 1231 muc 95
2.99/3.02	c iter 102 time 2.69159 not-muc 174363 unknown 1230 muc 96
2.99/3.02	c iter 103 time 2.69859 not-muc 174363 unknown 1229 muc 97
2.99/3.02	c iter 104 time 2.70459 not-muc 174363 unknown 1228 muc 98
2.99/3.02	c iter 105 time 2.71059 not-muc 174363 unknown 1227 muc 99
2.99/3.02	c iter 106 time 2.71759 not-muc 174363 unknown 1226 muc 100
2.99/3.02	c iter 107 time 2.72358 not-muc 174363 unknown 1225 muc 101
2.99/3.02	c iter 108 time 2.73058 not-muc 174363 unknown 1224 muc 102
2.99/3.02	c iter 109 time 2.73658 not-muc 174363 unknown 1223 muc 103
2.99/3.02	c iter 110 time 2.74258 not-muc 174363 unknown 1222 muc 104
2.99/3.02	c iter 111 time 2.74858 not-muc 174363 unknown 1221 muc 105
2.99/3.02	c iter 112 time 2.75558 not-muc 174363 unknown 1220 muc 106
2.99/3.02	c iter 113 time 2.76158 not-muc 174363 unknown 1219 muc 107
2.99/3.02	c iter 114 time 2.76858 not-muc 174363 unknown 1218 muc 108
2.99/3.02	c iter 115 time 2.77458 not-muc 174363 unknown 1217 muc 109
2.99/3.02	c iter 116 time 2.78058 not-muc 174363 unknown 1216 muc 110
2.99/3.02	c iter 117 time 2.78758 not-muc 174363 unknown 1215 muc 111
2.99/3.02	c iter 118 time 2.79358 not-muc 174363 unknown 1214 muc 112
2.99/3.02	c iter 119 time 2.80057 not-muc 174363 unknown 1213 muc 113
2.99/3.02	c iter 120 time 2.80657 not-muc 174363 unknown 1212 muc 114
2.99/3.02	c iter 121 time 2.81257 not-muc 174363 unknown 1211 muc 115
2.99/3.02	c iter 122 time 2.81957 not-muc 174363 unknown 1210 muc 116
2.99/3.02	c iter 123 time 2.82657 not-muc 174363 unknown 1209 muc 117
2.99/3.02	c iter 124 time 2.83257 not-muc 174363 unknown 1208 muc 118
2.99/3.02	c iter 125 time 2.83957 not-muc 174363 unknown 1207 muc 119
2.99/3.02	c iter 126 time 2.84657 not-muc 174363 unknown 1206 muc 120
2.99/3.02	c iter 127 time 2.85357 not-muc 174363 unknown 1205 muc 121
2.99/3.02	c iter 128 time 2.86057 not-muc 174363 unknown 1204 muc 122
2.99/3.02	c iter 129 time 2.86756 not-muc 174363 unknown 1203 muc 123
2.99/3.02	c iter 130 time 2.87456 not-muc 174363 unknown 1202 muc 124
2.99/3.02	c iter 131 time 2.88056 not-muc 174363 unknown 1201 muc 125
2.99/3.02	c iter 132 time 2.88756 not-muc 174363 unknown 1200 muc 126
2.99/3.02	c iter 133 time 2.89356 not-muc 174363 unknown 1199 muc 127
2.99/3.02	c iter 134 time 2.89956 not-muc 174363 unknown 1198 muc 128
2.99/3.02	c iter 135 time 2.90656 not-muc 174363 unknown 1197 muc 129
2.99/3.02	c iter 136 time 2.91256 not-muc 174363 unknown 1196 muc 130
2.99/3.02	c iter 137 time 2.91956 not-muc 174363 unknown 1195 muc 131
2.99/3.02	c iter 138 time 2.92556 not-muc 174363 unknown 1194 muc 132
2.99/3.02	c iter 139 time 2.93255 not-muc 174363 unknown 1193 muc 133
2.99/3.02	c iter 140 time 2.93855 not-muc 174363 unknown 1192 muc 134
3.39/3.46	c iter 141 time 2.94555 not-muc 174363 unknown 1191 muc 135
3.39/3.46	c iter 142 time 2.95255 not-muc 174363 unknown 1190 muc 136
3.39/3.46	c iter 143 time 2.95955 not-muc 174363 unknown 1189 muc 137
3.39/3.46	c iter 144 time 2.96655 not-muc 174363 unknown 1188 muc 138
3.39/3.46	c iter 145 time 2.97255 not-muc 174363 unknown 1187 muc 139
3.39/3.46	c iter 146 time 2.97955 not-muc 174363 unknown 1186 muc 140
3.39/3.46	c iter 147 time 2.98655 not-muc 174363 unknown 1185 muc 141
3.39/3.46	c iter 148 time 2.99354 not-muc 174363 unknown 1184 muc 142
3.39/3.46	c iter 149 time 2.99954 not-muc 174363 unknown 1183 muc 143
3.39/3.46	c iter 150 time 3.00654 not-muc 174363 unknown 1182 muc 144
3.39/3.46	c iter 151 time 3.01454 not-muc 174363 unknown 1181 muc 145
3.39/3.46	c iter 152 time 3.02154 not-muc 174363 unknown 1180 muc 146
3.39/3.46	c iter 153 time 3.02854 not-muc 174363 unknown 1179 muc 147
3.39/3.46	c iter 154 time 3.03654 not-muc 174363 unknown 1178 muc 148
3.39/3.46	c iter 155 time 3.04254 not-muc 174363 unknown 1177 muc 149
3.39/3.46	c iter 156 time 3.04954 not-muc 174363 unknown 1176 muc 150
3.39/3.46	c iter 157 time 3.05553 not-muc 174363 unknown 1175 muc 151
3.39/3.46	c iter 158 time 3.06253 not-muc 174363 unknown 1174 muc 152
3.39/3.46	c iter 159 time 3.06453 not-muc 174377 unknown 1160 muc 152
3.39/3.46	c iter 160 time 3.07053 not-muc 174377 unknown 1159 muc 153
3.39/3.46	c iter 161 time 3.07753 not-muc 174377 unknown 1158 muc 154
3.39/3.46	c iter 162 time 3.08353 not-muc 174377 unknown 1157 muc 155
3.39/3.46	c iter 163 time 3.09053 not-muc 174377 unknown 1156 muc 156
3.39/3.46	c iter 164 time 3.09653 not-muc 174377 unknown 1155 muc 157
3.39/3.46	c iter 165 time 3.10253 not-muc 174377 unknown 1154 muc 158
3.39/3.46	c iter 166 time 3.10953 not-muc 174377 unknown 1153 muc 159
3.39/3.46	c iter 167 time 3.11653 not-muc 174377 unknown 1152 muc 160
3.39/3.46	c iter 168 time 3.12352 not-muc 174377 unknown 1151 muc 161
3.39/3.46	c iter 169 time 3.13052 not-muc 174377 unknown 1150 muc 162
3.39/3.46	c iter 170 time 3.13752 not-muc 174377 unknown 1149 muc 163
3.39/3.46	c iter 171 time 3.14552 not-muc 174377 unknown 1148 muc 164
3.39/3.46	c iter 172 time 3.15352 not-muc 174377 unknown 1147 muc 165
3.39/3.46	c iter 173 time 3.16052 not-muc 174377 unknown 1146 muc 166
3.39/3.46	c iter 174 time 3.16752 not-muc 174377 unknown 1145 muc 167
3.39/3.46	c iter 175 time 3.17452 not-muc 174377 unknown 1144 muc 168
3.39/3.46	c iter 176 time 3.18152 not-muc 174377 unknown 1143 muc 169
3.39/3.46	c iter 177 time 3.18851 not-muc 174377 unknown 1142 muc 170
3.39/3.46	c iter 178 time 3.19451 not-muc 174377 unknown 1141 muc 171
3.39/3.46	c iter 179 time 3.20051 not-muc 174377 unknown 1140 muc 172
3.39/3.46	c iter 180 time 3.20751 not-muc 174377 unknown 1139 muc 173
3.39/3.46	c iter 181 time 3.21351 not-muc 174377 unknown 1138 muc 174
3.39/3.46	c iter 182 time 3.22051 not-muc 174377 unknown 1137 muc 175
3.39/3.46	c iter 183 time 3.22651 not-muc 174377 unknown 1136 muc 176
3.39/3.46	c iter 184 time 3.22851 not-muc 174397 unknown 1116 muc 176
3.39/3.46	c iter 185 time 3.23551 not-muc 174397 unknown 1115 muc 177
3.39/3.46	c iter 186 time 3.24251 not-muc 174397 unknown 1114 muc 178
3.39/3.46	c iter 187 time 3.24851 not-muc 174397 unknown 1113 muc 179
3.39/3.46	c iter 188 time 3.2555 not-muc 174397 unknown 1112 muc 180
3.39/3.46	c iter 189 time 3.2615 not-muc 174397 unknown 1111 muc 181
3.39/3.46	c iter 190 time 3.2685 not-muc 174397 unknown 1110 muc 182
3.39/3.46	c iter 191 time 3.2745 not-muc 174397 unknown 1109 muc 183
3.39/3.46	c iter 192 time 3.2815 not-muc 174397 unknown 1108 muc 184
3.39/3.46	c iter 193 time 3.2875 not-muc 174397 unknown 1107 muc 185
3.39/3.46	c iter 194 time 3.2945 not-muc 174397 unknown 1106 muc 186
3.39/3.46	c iter 195 time 3.3005 not-muc 174397 unknown 1105 muc 187
3.39/3.46	c iter 196 time 3.3075 not-muc 174397 unknown 1104 muc 188
3.39/3.46	c iter 197 time 3.3135 not-muc 174397 unknown 1103 muc 189
3.39/3.46	c iter 198 time 3.3205 not-muc 174397 unknown 1102 muc 190
3.39/3.46	c iter 199 time 3.32749 not-muc 174397 unknown 1101 muc 191
3.39/3.46	c iter 200 time 3.32849 not-muc 174411 unknown 1087 muc 191
3.39/3.46	c iter 201 time 3.33549 not-muc 174411 unknown 1086 muc 192
3.39/3.46	c iter 202 time 3.34249 not-muc 174411 unknown 1085 muc 193
3.39/3.46	c iter 203 time 3.34849 not-muc 174411 unknown 1084 muc 194
3.39/3.46	c iter 204 time 3.35549 not-muc 174411 unknown 1083 muc 195
3.39/3.46	c iter 205 time 3.36149 not-muc 174411 unknown 1082 muc 196
3.39/3.46	c iter 206 time 3.36849 not-muc 174411 unknown 1081 muc 197
3.39/3.46	c iter 207 time 3.37549 not-muc 174411 unknown 1080 muc 198
3.39/3.46	c iter 208 time 3.38149 not-muc 174411 unknown 1079 muc 199
3.89/3.92	c iter 209 time 3.38848 not-muc 174411 unknown 1078 muc 200
3.89/3.92	c iter 210 time 3.39548 not-muc 174411 unknown 1077 muc 201
3.89/3.92	c iter 211 time 3.40148 not-muc 174411 unknown 1076 muc 202
3.89/3.92	c iter 212 time 3.40848 not-muc 174411 unknown 1075 muc 203
3.89/3.92	c iter 213 time 3.41448 not-muc 174411 unknown 1074 muc 204
3.89/3.92	c iter 214 time 3.42148 not-muc 174411 unknown 1073 muc 205
3.89/3.92	c iter 215 time 3.42848 not-muc 174411 unknown 1072 muc 206
3.89/3.92	c iter 216 time 3.43448 not-muc 174411 unknown 1071 muc 207
3.89/3.92	c iter 217 time 3.44148 not-muc 174411 unknown 1070 muc 208
3.89/3.92	c iter 218 time 3.44747 not-muc 174411 unknown 1069 muc 209
3.89/3.92	c iter 219 time 3.45447 not-muc 174411 unknown 1068 muc 210
3.89/3.92	c iter 220 time 3.46047 not-muc 174411 unknown 1067 muc 211
3.89/3.92	c iter 221 time 3.46747 not-muc 174411 unknown 1066 muc 212
3.89/3.92	c iter 222 time 3.47447 not-muc 174411 unknown 1065 muc 213
3.89/3.92	c iter 223 time 3.48047 not-muc 174411 unknown 1064 muc 214
3.89/3.92	c iter 224 time 3.48747 not-muc 174411 unknown 1063 muc 215
3.89/3.92	c iter 225 time 3.49447 not-muc 174411 unknown 1062 muc 216
3.89/3.92	c iter 226 time 3.50047 not-muc 174411 unknown 1061 muc 217
3.89/3.92	c iter 227 time 3.50747 not-muc 174411 unknown 1060 muc 218
3.89/3.92	c iter 228 time 3.51347 not-muc 174411 unknown 1059 muc 219
3.89/3.92	c iter 229 time 3.52046 not-muc 174411 unknown 1058 muc 220
3.89/3.92	c iter 230 time 3.52246 not-muc 174419 unknown 1050 muc 220
3.89/3.92	c iter 231 time 3.52946 not-muc 174419 unknown 1049 muc 221
3.89/3.92	c iter 232 time 3.53646 not-muc 174419 unknown 1048 muc 222
3.89/3.92	c iter 233 time 3.54246 not-muc 174419 unknown 1047 muc 223
3.89/3.92	c iter 234 time 3.54946 not-muc 174419 unknown 1046 muc 224
3.89/3.92	c iter 235 time 3.55546 not-muc 174419 unknown 1045 muc 225
3.89/3.92	c iter 236 time 3.56246 not-muc 174419 unknown 1044 muc 226
3.89/3.92	c iter 237 time 3.56946 not-muc 174419 unknown 1043 muc 227
3.89/3.92	c iter 238 time 3.57646 not-muc 174419 unknown 1042 muc 228
3.89/3.92	c iter 239 time 3.58245 not-muc 174419 unknown 1041 muc 229
3.89/3.92	c iter 240 time 3.58945 not-muc 174419 unknown 1040 muc 230
3.89/3.92	c iter 241 time 3.59545 not-muc 174419 unknown 1039 muc 231
3.89/3.92	c iter 242 time 3.60245 not-muc 174419 unknown 1038 muc 232
3.89/3.92	c iter 243 time 3.60845 not-muc 174419 unknown 1037 muc 233
3.89/3.92	c iter 244 time 3.61545 not-muc 174419 unknown 1036 muc 234
3.89/3.92	c iter 245 time 3.62145 not-muc 174419 unknown 1035 muc 235
3.89/3.92	c iter 246 time 3.62845 not-muc 174419 unknown 1034 muc 236
3.89/3.92	c iter 247 time 3.63545 not-muc 174419 unknown 1033 muc 237
3.89/3.92	c iter 248 time 3.64145 not-muc 174419 unknown 1032 muc 238
3.89/3.92	c iter 249 time 3.64845 not-muc 174419 unknown 1031 muc 239
3.89/3.92	c iter 250 time 3.65444 not-muc 174419 unknown 1030 muc 240
3.89/3.92	c iter 251 time 3.66144 not-muc 174419 unknown 1029 muc 241
3.89/3.92	c iter 252 time 3.66744 not-muc 174419 unknown 1028 muc 242
3.89/3.92	c iter 253 time 3.67444 not-muc 174419 unknown 1027 muc 243
3.89/3.92	c iter 254 time 3.68144 not-muc 174419 unknown 1026 muc 244
3.89/3.92	c iter 255 time 3.68744 not-muc 174419 unknown 1025 muc 245
3.89/3.92	c iter 256 time 3.69444 not-muc 174419 unknown 1024 muc 246
3.89/3.92	c iter 257 time 3.70044 not-muc 174419 unknown 1023 muc 247
3.89/3.92	c iter 258 time 3.70744 not-muc 174419 unknown 1022 muc 248
3.89/3.92	c iter 259 time 3.71443 not-muc 174419 unknown 1021 muc 249
3.89/3.92	c iter 260 time 3.72043 not-muc 174419 unknown 1020 muc 250
3.89/3.92	c iter 261 time 3.72743 not-muc 174419 unknown 1019 muc 251
3.89/3.92	c iter 262 time 3.73443 not-muc 174419 unknown 1018 muc 252
3.89/3.92	c iter 263 time 3.74043 not-muc 174419 unknown 1017 muc 253
3.89/3.92	c iter 264 time 3.74743 not-muc 174419 unknown 1016 muc 254
3.89/3.92	c iter 265 time 3.75343 not-muc 174419 unknown 1015 muc 255
3.89/3.92	c iter 266 time 3.76043 not-muc 174419 unknown 1014 muc 256
3.89/3.92	c iter 267 time 3.76743 not-muc 174419 unknown 1013 muc 257
3.89/3.92	c iter 268 time 3.77343 not-muc 174419 unknown 1012 muc 258
3.89/3.92	c iter 269 time 3.78043 not-muc 174419 unknown 1011 muc 259
3.89/3.92	c iter 270 time 3.78742 not-muc 174419 unknown 1010 muc 260
3.89/3.92	c iter 271 time 3.79442 not-muc 174419 unknown 1009 muc 261
3.89/3.92	c iter 272 time 3.80042 not-muc 174419 unknown 1008 muc 262
3.89/3.92	c iter 273 time 3.80742 not-muc 174419 unknown 1007 muc 263
3.89/3.92	c iter 274 time 3.81442 not-muc 174419 unknown 1006 muc 264
3.89/3.92	c iter 275 time 3.82142 not-muc 174419 unknown 1005 muc 265
3.89/3.92	c iter 276 time 3.82742 not-muc 174419 unknown 1004 muc 266
3.89/3.92	c iter 277 time 3.83442 not-muc 174419 unknown 1003 muc 267
4.30/4.39	c iter 278 time 3.84142 not-muc 174419 unknown 1002 muc 268
4.30/4.39	c iter 279 time 3.84841 not-muc 174419 unknown 1001 muc 269
4.30/4.39	c iter 280 time 3.85541 not-muc 174419 unknown 1000 muc 270
4.30/4.39	c iter 281 time 3.86141 not-muc 174419 unknown 999 muc 271
4.30/4.39	c iter 282 time 3.86841 not-muc 174419 unknown 998 muc 272
4.30/4.39	c iter 283 time 3.87541 not-muc 174419 unknown 997 muc 273
4.30/4.39	c iter 284 time 3.88141 not-muc 174419 unknown 996 muc 274
4.30/4.39	c iter 285 time 3.88841 not-muc 174419 unknown 995 muc 275
4.30/4.39	c iter 286 time 3.89541 not-muc 174419 unknown 994 muc 276
4.30/4.39	c iter 287 time 3.90241 not-muc 174419 unknown 993 muc 277
4.30/4.39	c iter 288 time 3.90941 not-muc 174419 unknown 992 muc 278
4.30/4.39	c iter 289 time 3.9164 not-muc 174419 unknown 991 muc 279
4.30/4.39	c iter 290 time 3.9234 not-muc 174419 unknown 990 muc 280
4.30/4.39	c iter 291 time 3.9294 not-muc 174419 unknown 989 muc 281
4.30/4.39	c iter 292 time 3.9364 not-muc 174419 unknown 988 muc 282
4.30/4.39	c iter 293 time 3.9434 not-muc 174419 unknown 987 muc 283
4.30/4.39	c iter 294 time 3.9504 not-muc 174419 unknown 986 muc 284
4.30/4.39	c iter 295 time 3.9574 not-muc 174419 unknown 985 muc 285
4.30/4.39	c iter 296 time 3.9634 not-muc 174419 unknown 984 muc 286
4.30/4.39	c iter 297 time 3.9704 not-muc 174419 unknown 983 muc 287
4.30/4.39	c iter 298 time 3.9774 not-muc 174419 unknown 982 muc 288
4.30/4.39	c iter 299 time 3.98439 not-muc 174419 unknown 981 muc 289
4.30/4.39	c iter 300 time 3.99039 not-muc 174419 unknown 980 muc 290
4.30/4.39	c iter 301 time 3.99739 not-muc 174419 unknown 979 muc 291
4.30/4.39	c iter 302 time 4.00439 not-muc 174419 unknown 978 muc 292
4.30/4.39	c iter 303 time 4.01139 not-muc 174419 unknown 977 muc 293
4.30/4.39	c iter 304 time 4.01839 not-muc 174419 unknown 976 muc 294
4.30/4.39	c iter 305 time 4.02539 not-muc 174419 unknown 975 muc 295
4.30/4.39	c iter 306 time 4.03139 not-muc 174419 unknown 974 muc 296
4.30/4.39	c iter 307 time 4.03839 not-muc 174419 unknown 973 muc 297
4.30/4.39	c iter 308 time 4.04538 not-muc 174419 unknown 972 muc 298
4.30/4.39	c iter 309 time 4.05238 not-muc 174419 unknown 971 muc 299
4.30/4.39	c iter 310 time 4.05938 not-muc 174419 unknown 970 muc 300
4.30/4.39	c iter 311 time 4.06738 not-muc 174419 unknown 969 muc 301
4.30/4.39	c iter 312 time 4.07438 not-muc 174419 unknown 968 muc 302
4.30/4.39	c iter 313 time 4.08338 not-muc 174419 unknown 967 muc 303
4.30/4.39	c iter 314 time 4.09038 not-muc 174419 unknown 966 muc 304
4.30/4.39	c iter 315 time 4.09738 not-muc 174419 unknown 965 muc 305
4.30/4.39	c iter 316 time 4.10438 not-muc 174419 unknown 964 muc 306
4.30/4.39	c iter 317 time 4.11137 not-muc 174419 unknown 963 muc 307
4.30/4.39	c iter 318 time 4.11837 not-muc 174419 unknown 962 muc 308
4.30/4.39	c iter 319 time 4.12437 not-muc 174419 unknown 961 muc 309
4.30/4.39	c iter 320 time 4.13137 not-muc 174419 unknown 960 muc 310
4.30/4.39	c iter 321 time 4.13837 not-muc 174419 unknown 959 muc 311
4.30/4.39	c iter 322 time 4.14537 not-muc 174419 unknown 958 muc 312
4.30/4.39	c iter 323 time 4.15237 not-muc 174419 unknown 957 muc 313
4.30/4.39	c iter 324 time 4.15837 not-muc 174419 unknown 956 muc 314
4.30/4.39	c iter 325 time 4.16037 not-muc 174452 unknown 923 muc 314
4.30/4.39	c iter 326 time 4.16837 not-muc 174452 unknown 922 muc 315
4.30/4.39	c iter 327 time 4.17436 not-muc 174452 unknown 921 muc 316
4.30/4.39	c iter 328 time 4.18136 not-muc 174452 unknown 920 muc 317
4.30/4.39	c iter 329 time 4.18836 not-muc 174452 unknown 919 muc 318
4.30/4.39	c iter 330 time 4.19536 not-muc 174452 unknown 918 muc 319
4.30/4.39	c iter 331 time 4.20236 not-muc 174452 unknown 917 muc 320
4.30/4.39	c iter 332 time 4.20936 not-muc 174452 unknown 916 muc 321
4.30/4.39	c iter 333 time 4.21636 not-muc 174452 unknown 915 muc 322
4.30/4.39	c iter 334 time 4.22336 not-muc 174452 unknown 914 muc 323
4.30/4.39	c iter 335 time 4.23036 not-muc 174452 unknown 913 muc 324
4.30/4.39	c iter 336 time 4.23735 not-muc 174452 unknown 912 muc 325
4.30/4.39	c iter 337 time 4.24335 not-muc 174452 unknown 911 muc 326
4.30/4.39	c iter 338 time 4.25035 not-muc 174452 unknown 910 muc 327
4.30/4.39	c iter 339 time 4.25735 not-muc 174452 unknown 909 muc 328
4.30/4.39	c iter 340 time 4.26435 not-muc 174452 unknown 908 muc 329
4.30/4.39	c iter 341 time 4.27135 not-muc 174452 unknown 907 muc 330
4.30/4.39	c iter 342 time 4.27835 not-muc 174452 unknown 906 muc 331
4.30/4.39	c iter 343 time 4.28435 not-muc 174452 unknown 905 muc 332
4.30/4.39	c iter 344 time 4.29135 not-muc 174452 unknown 904 muc 333
4.30/4.39	c iter 345 time 4.29835 not-muc 174452 unknown 903 muc 334
4.30/4.39	c iter 346 time 4.30635 not-muc 174452 unknown 902 muc 335
4.79/4.86	c iter 347 time 4.31334 not-muc 174452 unknown 901 muc 336
4.79/4.86	c iter 348 time 4.32034 not-muc 174452 unknown 900 muc 337
4.79/4.86	c iter 349 time 4.32734 not-muc 174452 unknown 899 muc 338
4.79/4.86	c iter 350 time 4.33434 not-muc 174452 unknown 898 muc 339
4.79/4.86	c iter 351 time 4.34134 not-muc 174452 unknown 897 muc 340
4.79/4.86	c iter 352 time 4.34834 not-muc 174452 unknown 896 muc 341
4.79/4.86	c iter 353 time 4.35534 not-muc 174452 unknown 895 muc 342
4.79/4.86	c iter 354 time 4.36134 not-muc 174452 unknown 894 muc 343
4.79/4.86	c iter 355 time 4.36834 not-muc 174452 unknown 893 muc 344
4.79/4.86	c iter 356 time 4.37533 not-muc 174452 unknown 892 muc 345
4.79/4.86	c iter 357 time 4.38333 not-muc 174452 unknown 891 muc 346
4.79/4.86	c iter 358 time 4.39033 not-muc 174452 unknown 890 muc 347
4.79/4.86	c iter 359 time 4.39833 not-muc 174452 unknown 889 muc 348
4.79/4.86	c iter 360 time 4.40533 not-muc 174452 unknown 888 muc 349
4.79/4.86	c iter 361 time 4.41233 not-muc 174452 unknown 887 muc 350
4.79/4.86	c iter 362 time 4.41933 not-muc 174452 unknown 886 muc 351
4.79/4.86	c iter 363 time 4.42133 not-muc 174470 unknown 868 muc 351
4.79/4.86	c iter 364 time 4.42833 not-muc 174470 unknown 867 muc 352
4.79/4.86	c iter 365 time 4.43532 not-muc 174470 unknown 866 muc 353
4.79/4.86	c iter 366 time 4.44232 not-muc 174470 unknown 865 muc 354
4.79/4.86	c iter 367 time 4.44932 not-muc 174470 unknown 864 muc 355
4.79/4.86	c iter 368 time 4.45532 not-muc 174470 unknown 863 muc 356
4.79/4.86	c iter 369 time 4.46232 not-muc 174470 unknown 862 muc 357
4.79/4.86	c iter 370 time 4.46932 not-muc 174470 unknown 861 muc 358
4.79/4.86	c iter 371 time 4.47632 not-muc 174470 unknown 860 muc 359
4.79/4.86	c iter 372 time 4.48332 not-muc 174470 unknown 859 muc 360
4.79/4.86	c iter 373 time 4.49032 not-muc 174470 unknown 858 muc 361
4.79/4.86	c iter 374 time 4.49732 not-muc 174470 unknown 857 muc 362
4.79/4.86	c iter 375 time 4.50432 not-muc 174470 unknown 856 muc 363
4.79/4.86	c iter 376 time 4.51031 not-muc 174470 unknown 855 muc 364
4.79/4.86	c iter 377 time 4.51731 not-muc 174470 unknown 854 muc 365
4.79/4.86	c iter 378 time 4.52431 not-muc 174470 unknown 853 muc 366
4.79/4.86	c iter 379 time 4.53131 not-muc 174470 unknown 852 muc 367
4.79/4.86	c iter 380 time 4.53831 not-muc 174470 unknown 851 muc 368
4.79/4.86	c iter 381 time 4.54531 not-muc 174470 unknown 850 muc 369
4.79/4.86	c iter 382 time 4.55231 not-muc 174470 unknown 849 muc 370
4.79/4.86	c iter 383 time 4.55931 not-muc 174470 unknown 848 muc 371
4.79/4.86	c iter 384 time 4.5663 not-muc 174470 unknown 847 muc 372
4.79/4.86	c iter 385 time 4.5733 not-muc 174470 unknown 846 muc 373
4.79/4.86	c iter 386 time 4.5803 not-muc 174470 unknown 845 muc 374
4.79/4.86	c iter 387 time 4.5813 not-muc 174486 unknown 829 muc 374
4.79/4.86	c iter 388 time 4.5893 not-muc 174486 unknown 828 muc 375
4.79/4.86	c iter 389 time 4.5963 not-muc 174486 unknown 827 muc 376
4.79/4.86	c iter 390 time 4.6033 not-muc 174486 unknown 826 muc 377
4.79/4.86	c iter 391 time 4.6103 not-muc 174486 unknown 825 muc 378
4.79/4.86	c iter 392 time 4.6173 not-muc 174486 unknown 824 muc 379
4.79/4.86	c iter 393 time 4.6243 not-muc 174486 unknown 823 muc 380
4.79/4.86	c iter 394 time 4.63129 not-muc 174486 unknown 822 muc 381
4.79/4.86	c iter 395 time 4.63829 not-muc 174486 unknown 821 muc 382
4.79/4.86	c iter 396 time 4.64529 not-muc 174486 unknown 820 muc 383
4.79/4.86	c iter 397 time 4.65229 not-muc 174486 unknown 819 muc 384
4.79/4.86	c iter 398 time 4.65929 not-muc 174486 unknown 818 muc 385
4.79/4.86	c iter 399 time 4.66129 not-muc 174492 unknown 812 muc 385
4.79/4.86	c iter 400 time 4.66229 not-muc 174493 unknown 811 muc 385
4.79/4.86	c iter 401 time 4.67029 not-muc 174493 unknown 810 muc 386
4.79/4.86	c iter 402 time 4.67729 not-muc 174493 unknown 809 muc 387
4.79/4.86	c iter 403 time 4.68529 not-muc 174493 unknown 808 muc 388
4.79/4.86	c iter 404 time 4.69229 not-muc 174493 unknown 807 muc 389
4.79/4.86	c iter 405 time 4.69928 not-muc 174493 unknown 806 muc 390
4.79/4.86	c iter 406 time 4.70628 not-muc 174493 unknown 805 muc 391
4.79/4.86	c iter 407 time 4.71328 not-muc 174493 unknown 804 muc 392
4.79/4.86	c iter 408 time 4.72028 not-muc 174493 unknown 803 muc 393
4.79/4.86	c iter 409 time 4.72728 not-muc 174493 unknown 802 muc 394
4.79/4.86	c iter 410 time 4.73428 not-muc 174493 unknown 801 muc 395
4.79/4.86	c iter 411 time 4.74128 not-muc 174493 unknown 800 muc 396
4.79/4.86	c iter 412 time 4.74828 not-muc 174493 unknown 799 muc 397
4.79/4.86	c iter 413 time 4.75528 not-muc 174493 unknown 798 muc 398
4.79/4.86	c iter 414 time 4.76228 not-muc 174493 unknown 797 muc 399
4.79/4.86	c iter 415 time 4.76927 not-muc 174493 unknown 796 muc 400
4.79/4.86	c iter 416 time 4.77727 not-muc 174493 unknown 795 muc 401
5.29/5.34	c iter 417 time 4.78427 not-muc 174493 unknown 794 muc 402
5.29/5.34	c iter 418 time 4.79127 not-muc 174493 unknown 793 muc 403
5.29/5.34	c iter 419 time 4.79827 not-muc 174493 unknown 792 muc 404
5.29/5.34	c iter 420 time 4.80627 not-muc 174493 unknown 791 muc 405
5.29/5.34	c iter 421 time 4.81227 not-muc 174493 unknown 790 muc 406
5.29/5.34	c iter 422 time 4.82027 not-muc 174493 unknown 789 muc 407
5.29/5.34	c iter 423 time 4.82727 not-muc 174493 unknown 788 muc 408
5.29/5.34	c iter 424 time 4.83427 not-muc 174493 unknown 787 muc 409
5.29/5.34	c iter 425 time 4.84126 not-muc 174493 unknown 786 muc 410
5.29/5.34	c iter 426 time 4.84826 not-muc 174493 unknown 785 muc 411
5.29/5.34	c iter 427 time 4.85526 not-muc 174493 unknown 784 muc 412
5.29/5.34	c iter 428 time 4.86226 not-muc 174493 unknown 783 muc 413
5.29/5.34	c iter 429 time 4.86926 not-muc 174493 unknown 782 muc 414
5.29/5.34	c iter 430 time 4.87626 not-muc 174493 unknown 781 muc 415
5.29/5.34	c iter 431 time 4.88326 not-muc 174493 unknown 780 muc 416
5.29/5.34	c iter 432 time 4.89026 not-muc 174493 unknown 779 muc 417
5.29/5.34	c iter 433 time 4.89726 not-muc 174493 unknown 778 muc 418
5.29/5.34	c iter 434 time 4.90425 not-muc 174493 unknown 777 muc 419
5.29/5.34	c iter 435 time 4.91125 not-muc 174493 unknown 776 muc 420
5.29/5.34	c iter 436 time 4.91825 not-muc 174493 unknown 775 muc 421
5.29/5.34	c iter 437 time 4.92525 not-muc 174493 unknown 774 muc 422
5.29/5.34	c iter 438 time 4.93225 not-muc 174493 unknown 773 muc 423
5.29/5.34	c iter 439 time 4.94025 not-muc 174493 unknown 772 muc 424
5.29/5.34	c iter 440 time 4.94725 not-muc 174493 unknown 771 muc 425
5.29/5.34	c iter 441 time 4.95425 not-muc 174493 unknown 770 muc 426
5.29/5.34	c iter 442 time 4.96124 not-muc 174493 unknown 769 muc 427
5.29/5.34	c iter 443 time 4.96824 not-muc 174493 unknown 768 muc 428
5.29/5.34	c iter 444 time 4.97524 not-muc 174493 unknown 767 muc 429
5.29/5.34	c iter 445 time 4.98224 not-muc 174493 unknown 766 muc 430
5.29/5.34	c iter 446 time 4.98924 not-muc 174493 unknown 765 muc 431
5.29/5.34	c iter 447 time 4.99724 not-muc 174493 unknown 764 muc 432
5.29/5.34	c iter 448 time 5.00424 not-muc 174493 unknown 763 muc 433
5.29/5.34	c iter 449 time 5.01124 not-muc 174493 unknown 762 muc 434
5.29/5.34	c iter 450 time 5.01824 not-muc 174493 unknown 761 muc 435
5.29/5.34	c iter 451 time 5.02524 not-muc 174493 unknown 760 muc 436
5.29/5.34	c iter 452 time 5.03223 not-muc 174493 unknown 759 muc 437
5.29/5.34	c iter 453 time 5.04023 not-muc 174493 unknown 758 muc 438
5.29/5.34	c iter 454 time 5.04723 not-muc 174493 unknown 757 muc 439
5.29/5.34	c iter 455 time 5.05423 not-muc 174493 unknown 756 muc 440
5.29/5.34	c iter 456 time 5.06123 not-muc 174493 unknown 755 muc 441
5.29/5.34	c iter 457 time 5.06823 not-muc 174493 unknown 754 muc 442
5.29/5.34	c iter 458 time 5.07623 not-muc 174493 unknown 753 muc 443
5.29/5.34	c iter 459 time 5.08323 not-muc 174493 unknown 752 muc 444
5.29/5.34	c iter 460 time 5.09023 not-muc 174493 unknown 751 muc 445
5.29/5.34	c iter 461 time 5.09123 not-muc 174495 unknown 749 muc 445
5.29/5.34	c iter 462 time 5.09323 not-muc 174501 unknown 743 muc 445
5.29/5.34	c iter 463 time 5.10022 not-muc 174501 unknown 742 muc 446
5.29/5.34	c iter 464 time 5.10722 not-muc 174501 unknown 741 muc 447
5.29/5.34	c iter 465 time 5.11522 not-muc 174501 unknown 740 muc 448
5.29/5.34	c iter 466 time 5.12222 not-muc 174501 unknown 739 muc 449
5.29/5.34	c iter 467 time 5.12922 not-muc 174501 unknown 738 muc 450
5.29/5.34	c iter 468 time 5.13622 not-muc 174501 unknown 737 muc 451
5.29/5.34	c iter 469 time 5.14422 not-muc 174501 unknown 736 muc 452
5.29/5.34	c iter 470 time 5.15122 not-muc 174501 unknown 735 muc 453
5.29/5.34	c iter 471 time 5.15822 not-muc 174501 unknown 734 muc 454
5.29/5.34	c iter 472 time 5.16521 not-muc 174501 unknown 733 muc 455
5.29/5.34	c iter 473 time 5.17221 not-muc 174501 unknown 732 muc 456
5.29/5.34	c iter 474 time 5.18021 not-muc 174501 unknown 731 muc 457
5.29/5.34	c iter 475 time 5.18721 not-muc 174501 unknown 730 muc 458
5.29/5.34	c iter 476 time 5.19421 not-muc 174501 unknown 729 muc 459
5.29/5.34	c iter 477 time 5.20121 not-muc 174501 unknown 728 muc 460
5.29/5.34	c iter 478 time 5.20821 not-muc 174501 unknown 727 muc 461
5.29/5.34	c iter 479 time 5.21621 not-muc 174501 unknown 726 muc 462
5.29/5.34	c iter 480 time 5.22321 not-muc 174501 unknown 725 muc 463
5.29/5.34	c iter 481 time 5.2302 not-muc 174501 unknown 724 muc 464
5.29/5.34	c iter 482 time 5.2372 not-muc 174501 unknown 723 muc 465
5.29/5.34	c iter 483 time 5.2452 not-muc 174501 unknown 722 muc 466
5.29/5.34	c iter 484 time 5.2522 not-muc 174501 unknown 721 muc 467
5.29/5.34	c iter 485 time 5.2592 not-muc 174501 unknown 720 muc 468
5.79/5.87	c iter 486 time 5.2662 not-muc 174501 unknown 719 muc 469
5.79/5.87	c iter 487 time 5.2672 not-muc 174502 unknown 718 muc 469
5.79/5.87	c iter 488 time 5.2752 not-muc 174502 unknown 717 muc 470
5.79/5.87	c iter 489 time 5.2822 not-muc 174502 unknown 716 muc 471
5.79/5.87	c iter 490 time 5.2892 not-muc 174502 unknown 715 muc 472
5.79/5.87	c iter 491 time 5.29619 not-muc 174502 unknown 714 muc 473
5.79/5.87	c iter 492 time 5.30419 not-muc 174502 unknown 713 muc 474
5.79/5.87	c iter 493 time 5.31119 not-muc 174502 unknown 712 muc 475
5.79/5.87	c iter 494 time 5.31919 not-muc 174502 unknown 711 muc 476
5.79/5.87	c iter 495 time 5.32619 not-muc 174502 unknown 710 muc 477
5.79/5.87	c iter 496 time 5.33419 not-muc 174502 unknown 709 muc 478
5.79/5.87	c iter 497 time 5.34119 not-muc 174502 unknown 708 muc 479
5.79/5.87	c iter 498 time 5.34819 not-muc 174502 unknown 707 muc 480
5.79/5.87	c iter 499 time 5.35618 not-muc 174502 unknown 706 muc 481
5.79/5.87	c iter 500 time 5.36318 not-muc 174502 unknown 705 muc 482
5.79/5.87	c iter 501 time 5.37018 not-muc 174502 unknown 704 muc 483
5.79/5.87	c iter 502 time 5.37718 not-muc 174502 unknown 703 muc 484
5.79/5.87	c iter 503 time 5.38518 not-muc 174502 unknown 702 muc 485
5.79/5.87	c iter 504 time 5.39218 not-muc 174502 unknown 701 muc 486
5.79/5.87	c iter 505 time 5.39918 not-muc 174502 unknown 700 muc 487
5.79/5.87	c iter 506 time 5.40718 not-muc 174502 unknown 699 muc 488
5.79/5.87	c iter 507 time 5.41418 not-muc 174502 unknown 698 muc 489
5.79/5.87	c iter 508 time 5.42218 not-muc 174502 unknown 697 muc 490
5.79/5.87	c iter 509 time 5.42917 not-muc 174502 unknown 696 muc 491
5.79/5.87	c iter 510 time 5.43617 not-muc 174502 unknown 695 muc 492
5.79/5.87	c iter 511 time 5.44417 not-muc 174502 unknown 694 muc 493
5.79/5.87	c iter 512 time 5.45117 not-muc 174502 unknown 693 muc 494
5.79/5.87	c iter 513 time 5.45917 not-muc 174502 unknown 692 muc 495
5.79/5.87	c iter 514 time 5.46717 not-muc 174502 unknown 691 muc 496
5.79/5.87	c iter 515 time 5.47417 not-muc 174502 unknown 690 muc 497
5.79/5.87	c iter 516 time 5.48117 not-muc 174502 unknown 689 muc 498
5.79/5.87	c iter 517 time 5.48317 not-muc 174503 unknown 688 muc 498
5.79/5.87	c iter 518 time 5.49017 not-muc 174503 unknown 687 muc 499
5.79/5.87	c iter 519 time 5.49816 not-muc 174503 unknown 686 muc 500
5.79/5.87	c iter 520 time 5.50516 not-muc 174503 unknown 685 muc 501
5.79/5.87	c iter 521 time 5.51216 not-muc 174503 unknown 684 muc 502
5.79/5.87	c iter 522 time 5.51916 not-muc 174503 unknown 683 muc 503
5.79/5.87	c iter 523 time 5.52616 not-muc 174503 unknown 682 muc 504
5.79/5.87	c iter 524 time 5.53416 not-muc 174503 unknown 681 muc 505
5.79/5.87	c iter 525 time 5.54116 not-muc 174503 unknown 680 muc 506
5.79/5.87	c iter 526 time 5.54816 not-muc 174503 unknown 679 muc 507
5.79/5.87	c iter 527 time 5.55516 not-muc 174503 unknown 678 muc 508
5.79/5.87	c iter 528 time 5.56315 not-muc 174503 unknown 677 muc 509
5.79/5.87	c iter 529 time 5.57015 not-muc 174503 unknown 676 muc 510
5.79/5.87	c iter 530 time 5.57715 not-muc 174503 unknown 675 muc 511
5.79/5.87	c iter 531 time 5.58415 not-muc 174503 unknown 674 muc 512
5.79/5.87	c iter 532 time 5.59215 not-muc 174503 unknown 673 muc 513
5.79/5.87	c iter 533 time 5.59915 not-muc 174503 unknown 672 muc 514
5.79/5.87	c iter 534 time 5.60615 not-muc 174503 unknown 671 muc 515
5.79/5.87	c iter 535 time 5.61415 not-muc 174503 unknown 670 muc 516
5.79/5.87	c iter 536 time 5.62214 not-muc 174503 unknown 669 muc 517
5.79/5.87	c iter 537 time 5.62914 not-muc 174503 unknown 668 muc 518
5.79/5.87	c iter 538 time 5.63714 not-muc 174503 unknown 667 muc 519
5.79/5.87	c iter 539 time 5.64714 not-muc 174503 unknown 666 muc 520
5.79/5.87	c iter 540 time 5.65614 not-muc 174503 unknown 665 muc 521
5.79/5.87	c iter 541 time 5.66514 not-muc 174503 unknown 664 muc 522
5.79/5.87	c iter 542 time 5.67314 not-muc 174503 unknown 663 muc 523
5.79/5.87	c iter 543 time 5.68214 not-muc 174503 unknown 662 muc 524
5.79/5.87	c iter 544 time 5.68914 not-muc 174503 unknown 661 muc 525
5.79/5.87	c iter 545 time 5.69713 not-muc 174503 unknown 660 muc 526
5.79/5.87	c iter 546 time 5.70613 not-muc 174503 unknown 659 muc 527
5.79/5.87	c iter 547 time 5.71413 not-muc 174503 unknown 658 muc 528
5.79/5.87	c iter 548 time 5.72213 not-muc 174503 unknown 657 muc 529
5.79/5.87	c iter 549 time 5.73213 not-muc 174503 unknown 656 muc 530
5.79/5.87	c iter 550 time 5.74113 not-muc 174503 unknown 655 muc 531
5.79/5.87	c iter 551 time 5.75012 not-muc 174503 unknown 654 muc 532
5.79/5.87	c iter 552 time 5.75812 not-muc 174503 unknown 653 muc 533
5.79/5.87	c iter 553 time 5.76712 not-muc 174503 unknown 652 muc 534
5.79/5.87	c iter 554 time 5.77512 not-muc 174503 unknown 651 muc 535
5.79/5.87	c iter 555 time 5.78512 not-muc 174503 unknown 650 muc 536
6.29/6.38	c iter 556 time 5.79412 not-muc 174503 unknown 649 muc 537
6.29/6.38	c iter 557 time 5.80112 not-muc 174503 unknown 648 muc 538
6.29/6.38	c iter 558 time 5.81112 not-muc 174503 unknown 647 muc 539
6.29/6.38	c iter 559 time 5.82012 not-muc 174503 unknown 646 muc 540
6.29/6.38	c iter 560 time 5.82811 not-muc 174503 unknown 645 muc 541
6.29/6.38	c iter 561 time 5.83611 not-muc 174503 unknown 644 muc 542
6.29/6.38	c iter 562 time 5.84311 not-muc 174503 unknown 643 muc 543
6.29/6.38	c iter 563 time 5.85111 not-muc 174503 unknown 642 muc 544
6.29/6.38	c iter 564 time 5.85811 not-muc 174503 unknown 641 muc 545
6.29/6.38	c iter 565 time 5.86511 not-muc 174503 unknown 640 muc 546
6.29/6.38	c iter 566 time 5.87211 not-muc 174503 unknown 639 muc 547
6.29/6.38	c iter 567 time 5.88011 not-muc 174503 unknown 638 muc 548
6.29/6.38	c iter 568 time 5.88711 not-muc 174503 unknown 637 muc 549
6.29/6.38	c iter 569 time 5.8941 not-muc 174503 unknown 636 muc 550
6.29/6.38	c iter 570 time 5.9021 not-muc 174503 unknown 635 muc 551
6.29/6.38	c iter 571 time 5.9091 not-muc 174503 unknown 634 muc 552
6.29/6.38	c iter 572 time 5.9171 not-muc 174503 unknown 633 muc 553
6.29/6.38	c iter 573 time 5.9241 not-muc 174503 unknown 632 muc 554
6.29/6.38	c iter 574 time 5.9311 not-muc 174503 unknown 631 muc 555
6.29/6.38	c iter 575 time 5.9391 not-muc 174503 unknown 630 muc 556
6.29/6.38	c iter 576 time 5.9461 not-muc 174503 unknown 629 muc 557
6.29/6.38	c iter 577 time 5.95309 not-muc 174503 unknown 628 muc 558
6.29/6.38	c iter 578 time 5.95509 not-muc 174504 unknown 627 muc 558
6.29/6.38	c iter 579 time 5.96209 not-muc 174504 unknown 626 muc 559
6.29/6.38	c iter 580 time 5.97009 not-muc 174504 unknown 625 muc 560
6.29/6.38	c iter 581 time 5.97109 not-muc 174505 unknown 624 muc 560
6.29/6.38	c iter 582 time 5.97909 not-muc 174505 unknown 623 muc 561
6.29/6.38	c iter 583 time 5.98609 not-muc 174505 unknown 622 muc 562
6.29/6.38	c iter 584 time 5.99309 not-muc 174505 unknown 621 muc 563
6.29/6.38	c iter 585 time 6.00009 not-muc 174505 unknown 620 muc 564
6.29/6.38	c iter 586 time 6.00709 not-muc 174505 unknown 619 muc 565
6.29/6.38	c iter 587 time 6.01509 not-muc 174505 unknown 618 muc 566
6.29/6.38	c iter 588 time 6.02208 not-muc 174505 unknown 617 muc 567
6.29/6.38	c iter 589 time 6.03008 not-muc 174505 unknown 616 muc 568
6.29/6.38	c iter 590 time 6.03708 not-muc 174505 unknown 615 muc 569
6.29/6.38	c iter 591 time 6.04508 not-muc 174505 unknown 614 muc 570
6.29/6.38	c iter 592 time 6.05208 not-muc 174505 unknown 613 muc 571
6.29/6.38	c iter 593 time 6.06008 not-muc 174505 unknown 612 muc 572
6.29/6.38	c iter 594 time 6.06708 not-muc 174505 unknown 611 muc 573
6.29/6.38	c iter 595 time 6.07408 not-muc 174505 unknown 610 muc 574
6.29/6.38	c iter 596 time 6.08207 not-muc 174505 unknown 609 muc 575
6.29/6.38	c iter 597 time 6.08907 not-muc 174505 unknown 608 muc 576
6.29/6.38	c iter 598 time 6.09707 not-muc 174505 unknown 607 muc 577
6.29/6.38	c iter 599 time 6.10507 not-muc 174505 unknown 606 muc 578
6.29/6.38	c iter 600 time 6.11307 not-muc 174505 unknown 605 muc 579
6.29/6.38	c iter 601 time 6.12007 not-muc 174505 unknown 604 muc 580
6.29/6.38	c iter 602 time 6.12807 not-muc 174505 unknown 603 muc 581
6.29/6.38	c iter 603 time 6.13507 not-muc 174505 unknown 602 muc 582
6.29/6.38	c iter 604 time 6.14307 not-muc 174505 unknown 601 muc 583
6.29/6.38	c iter 605 time 6.15006 not-muc 174505 unknown 600 muc 584
6.29/6.38	c iter 606 time 6.15806 not-muc 174505 unknown 599 muc 585
6.29/6.38	c iter 607 time 6.16506 not-muc 174505 unknown 598 muc 586
6.29/6.38	c iter 608 time 6.17306 not-muc 174505 unknown 597 muc 587
6.29/6.38	c iter 609 time 6.18006 not-muc 174505 unknown 596 muc 588
6.29/6.38	c iter 610 time 6.18806 not-muc 174505 unknown 595 muc 589
6.29/6.38	c iter 611 time 6.19506 not-muc 174505 unknown 594 muc 590
6.29/6.38	c iter 612 time 6.20306 not-muc 174505 unknown 593 muc 591
6.29/6.38	c iter 613 time 6.21105 not-muc 174505 unknown 592 muc 592
6.29/6.38	c iter 614 time 6.21805 not-muc 174505 unknown 591 muc 593
6.29/6.38	c iter 615 time 6.22605 not-muc 174505 unknown 590 muc 594
6.29/6.38	c iter 616 time 6.23305 not-muc 174505 unknown 589 muc 595
6.29/6.38	c iter 617 time 6.24105 not-muc 174505 unknown 588 muc 596
6.29/6.38	c iter 618 time 6.24805 not-muc 174505 unknown 587 muc 597
6.29/6.38	c iter 619 time 6.25505 not-muc 174505 unknown 586 muc 598
6.29/6.38	c iter 620 time 6.26305 not-muc 174505 unknown 585 muc 599
6.29/6.38	c iter 621 time 6.27105 not-muc 174505 unknown 584 muc 600
6.29/6.38	c iter 622 time 6.27804 not-muc 174505 unknown 583 muc 601
6.29/6.38	c iter 623 time 6.28604 not-muc 174505 unknown 582 muc 602
6.29/6.38	c iter 624 time 6.29304 not-muc 174505 unknown 581 muc 603
6.79/6.89	c iter 625 time 6.30104 not-muc 174505 unknown 580 muc 604
6.79/6.89	c iter 626 time 6.30804 not-muc 174505 unknown 579 muc 605
6.79/6.89	c iter 627 time 6.31604 not-muc 174505 unknown 578 muc 606
6.79/6.89	c iter 628 time 6.32304 not-muc 174505 unknown 577 muc 607
6.79/6.89	c iter 629 time 6.33104 not-muc 174505 unknown 576 muc 608
6.79/6.89	c iter 630 time 6.33204 not-muc 174506 unknown 575 muc 608
6.79/6.89	c iter 631 time 6.34004 not-muc 174506 unknown 574 muc 609
6.79/6.89	c iter 632 time 6.34703 not-muc 174506 unknown 573 muc 610
6.79/6.89	c iter 633 time 6.35503 not-muc 174506 unknown 572 muc 611
6.79/6.89	c iter 634 time 6.36203 not-muc 174506 unknown 571 muc 612
6.79/6.89	c iter 635 time 6.37003 not-muc 174506 unknown 570 muc 613
6.79/6.89	c iter 636 time 6.37703 not-muc 174506 unknown 569 muc 614
6.79/6.89	c iter 637 time 6.38503 not-muc 174506 unknown 568 muc 615
6.79/6.89	c iter 638 time 6.39203 not-muc 174506 unknown 567 muc 616
6.79/6.89	c iter 639 time 6.40003 not-muc 174506 unknown 566 muc 617
6.79/6.89	c iter 640 time 6.40702 not-muc 174506 unknown 565 muc 618
6.79/6.89	c iter 641 time 6.41502 not-muc 174506 unknown 564 muc 619
6.79/6.89	c iter 642 time 6.42302 not-muc 174506 unknown 563 muc 620
6.79/6.89	c iter 643 time 6.43002 not-muc 174506 unknown 562 muc 621
6.79/6.89	c iter 644 time 6.43802 not-muc 174506 unknown 561 muc 622
6.79/6.89	c iter 645 time 6.44502 not-muc 174506 unknown 560 muc 623
6.79/6.89	c iter 646 time 6.45302 not-muc 174506 unknown 559 muc 624
6.79/6.89	c iter 647 time 6.46102 not-muc 174506 unknown 558 muc 625
6.79/6.89	c iter 648 time 6.46802 not-muc 174506 unknown 557 muc 626
6.79/6.89	c iter 649 time 6.47602 not-muc 174506 unknown 556 muc 627
6.79/6.89	c iter 650 time 6.48401 not-muc 174506 unknown 555 muc 628
6.79/6.89	c iter 651 time 6.49101 not-muc 174506 unknown 554 muc 629
6.79/6.89	c iter 652 time 6.49901 not-muc 174506 unknown 553 muc 630
6.79/6.89	c iter 653 time 6.50701 not-muc 174506 unknown 552 muc 631
6.79/6.89	c iter 654 time 6.51401 not-muc 174506 unknown 551 muc 632
6.79/6.89	c iter 655 time 6.52201 not-muc 174506 unknown 550 muc 633
6.79/6.89	c iter 656 time 6.53001 not-muc 174506 unknown 549 muc 634
6.79/6.89	c iter 657 time 6.53701 not-muc 174506 unknown 548 muc 635
6.79/6.89	c iter 658 time 6.545 not-muc 174506 unknown 547 muc 636
6.79/6.89	c iter 659 time 6.553 not-muc 174506 unknown 546 muc 637
6.79/6.89	c iter 660 time 6.56 not-muc 174506 unknown 545 muc 638
6.79/6.89	c iter 661 time 6.568 not-muc 174506 unknown 544 muc 639
6.79/6.89	c iter 662 time 6.576 not-muc 174506 unknown 543 muc 640
6.79/6.89	c iter 663 time 6.583 not-muc 174506 unknown 542 muc 641
6.79/6.89	c iter 664 time 6.591 not-muc 174506 unknown 541 muc 642
6.79/6.89	c iter 665 time 6.599 not-muc 174506 unknown 540 muc 643
6.79/6.89	c iter 666 time 6.60699 not-muc 174506 unknown 539 muc 644
6.79/6.89	c iter 667 time 6.61399 not-muc 174506 unknown 538 muc 645
6.79/6.89	c iter 668 time 6.62199 not-muc 174506 unknown 537 muc 646
6.79/6.89	c iter 669 time 6.62299 not-muc 174512 unknown 531 muc 646
6.79/6.89	c iter 670 time 6.63099 not-muc 174512 unknown 530 muc 647
6.79/6.89	c iter 671 time 6.63899 not-muc 174512 unknown 529 muc 648
6.79/6.89	c iter 672 time 6.64699 not-muc 174512 unknown 528 muc 649
6.79/6.89	c iter 673 time 6.65499 not-muc 174512 unknown 527 muc 650
6.79/6.89	c iter 674 time 6.66199 not-muc 174512 unknown 526 muc 651
6.79/6.89	c iter 675 time 6.66999 not-muc 174512 unknown 525 muc 652
6.79/6.89	c iter 676 time 6.67098 not-muc 174516 unknown 521 muc 652
6.79/6.89	c iter 677 time 6.67898 not-muc 174516 unknown 520 muc 653
6.79/6.89	c iter 678 time 6.68698 not-muc 174516 unknown 519 muc 654
6.79/6.89	c iter 679 time 6.69498 not-muc 174516 unknown 518 muc 655
6.79/6.89	c iter 680 time 6.70198 not-muc 174516 unknown 517 muc 656
6.79/6.89	c iter 681 time 6.70998 not-muc 174516 unknown 516 muc 657
6.79/6.89	c iter 682 time 6.71798 not-muc 174516 unknown 515 muc 658
6.79/6.89	c iter 683 time 6.72598 not-muc 174516 unknown 514 muc 659
6.79/6.89	c iter 684 time 6.73398 not-muc 174516 unknown 513 muc 660
6.79/6.89	c iter 685 time 6.74097 not-muc 174516 unknown 512 muc 661
6.79/6.89	c iter 686 time 6.74897 not-muc 174516 unknown 511 muc 662
6.79/6.89	c iter 687 time 6.75697 not-muc 174516 unknown 510 muc 663
6.79/6.89	c iter 688 time 6.76597 not-muc 174516 unknown 509 muc 664
6.79/6.89	c iter 689 time 6.77397 not-muc 174516 unknown 508 muc 665
6.79/6.89	c iter 690 time 6.78097 not-muc 174516 unknown 507 muc 666
6.79/6.89	c iter 691 time 6.78897 not-muc 174516 unknown 506 muc 667
6.79/6.89	c iter 692 time 6.79697 not-muc 174516 unknown 505 muc 668
6.79/6.89	c iter 693 time 6.80396 not-muc 174516 unknown 504 muc 669
6.79/6.89	c iter 694 time 6.81196 not-muc 174516 unknown 503 muc 670
7.39/7.42	c iter 695 time 6.81996 not-muc 174516 unknown 502 muc 671
7.39/7.42	c iter 696 time 6.82796 not-muc 174516 unknown 501 muc 672
7.39/7.42	c iter 697 time 6.83496 not-muc 174516 unknown 500 muc 673
7.39/7.42	c iter 698 time 6.84296 not-muc 174516 unknown 499 muc 674
7.39/7.42	c iter 699 time 6.85096 not-muc 174516 unknown 498 muc 675
7.39/7.42	c iter 700 time 6.85796 not-muc 174516 unknown 497 muc 676
7.39/7.42	c iter 701 time 6.86596 not-muc 174516 unknown 496 muc 677
7.39/7.42	c iter 702 time 6.87396 not-muc 174516 unknown 495 muc 678
7.39/7.42	c iter 703 time 6.88095 not-muc 174516 unknown 494 muc 679
7.39/7.42	c iter 704 time 6.88895 not-muc 174516 unknown 493 muc 680
7.39/7.42	c iter 705 time 6.89595 not-muc 174516 unknown 492 muc 681
7.39/7.42	c iter 706 time 6.90395 not-muc 174516 unknown 491 muc 682
7.39/7.42	c iter 707 time 6.91195 not-muc 174516 unknown 490 muc 683
7.39/7.42	c iter 708 time 6.91895 not-muc 174516 unknown 489 muc 684
7.39/7.42	c iter 709 time 6.92695 not-muc 174516 unknown 488 muc 685
7.39/7.42	c iter 710 time 6.93494 not-muc 174516 unknown 487 muc 686
7.39/7.42	c iter 711 time 6.94194 not-muc 174516 unknown 486 muc 687
7.39/7.42	c iter 712 time 6.94994 not-muc 174516 unknown 485 muc 688
7.39/7.42	c iter 713 time 6.95794 not-muc 174516 unknown 484 muc 689
7.39/7.42	c iter 714 time 6.96594 not-muc 174516 unknown 483 muc 690
7.39/7.42	c iter 715 time 6.97394 not-muc 174516 unknown 482 muc 691
7.39/7.42	c iter 716 time 6.98094 not-muc 174516 unknown 481 muc 692
7.39/7.42	c iter 717 time 6.98894 not-muc 174516 unknown 480 muc 693
7.39/7.42	c iter 718 time 6.99694 not-muc 174516 unknown 479 muc 694
7.39/7.42	c iter 719 time 7.00394 not-muc 174516 unknown 478 muc 695
7.39/7.42	c iter 720 time 7.01193 not-muc 174516 unknown 477 muc 696
7.39/7.42	c iter 721 time 7.01993 not-muc 174516 unknown 476 muc 697
7.39/7.42	c iter 722 time 7.02793 not-muc 174516 unknown 475 muc 698
7.39/7.42	c iter 723 time 7.02893 not-muc 174527 unknown 464 muc 698
7.39/7.42	c iter 724 time 7.03693 not-muc 174527 unknown 463 muc 699
7.39/7.42	c iter 725 time 7.04493 not-muc 174527 unknown 462 muc 700
7.39/7.42	c iter 726 time 7.05193 not-muc 174527 unknown 461 muc 701
7.39/7.42	c iter 727 time 7.05993 not-muc 174527 unknown 460 muc 702
7.39/7.42	c iter 728 time 7.06093 not-muc 174528 unknown 459 muc 702
7.39/7.42	c iter 729 time 7.06893 not-muc 174528 unknown 458 muc 703
7.39/7.42	c iter 730 time 7.07692 not-muc 174528 unknown 457 muc 704
7.39/7.42	c iter 731 time 7.08492 not-muc 174528 unknown 456 muc 705
7.39/7.42	c iter 732 time 7.09292 not-muc 174528 unknown 455 muc 706
7.39/7.42	c iter 733 time 7.10092 not-muc 174528 unknown 454 muc 707
7.39/7.42	c iter 734 time 7.10792 not-muc 174528 unknown 453 muc 708
7.39/7.42	c iter 735 time 7.11592 not-muc 174528 unknown 452 muc 709
7.39/7.42	c iter 736 time 7.12392 not-muc 174528 unknown 451 muc 710
7.39/7.42	c iter 737 time 7.13192 not-muc 174528 unknown 450 muc 711
7.39/7.42	c iter 738 time 7.13891 not-muc 174528 unknown 449 muc 712
7.39/7.42	c iter 739 time 7.14691 not-muc 174528 unknown 448 muc 713
7.39/7.42	c iter 740 time 7.15491 not-muc 174528 unknown 447 muc 714
7.39/7.42	c iter 741 time 7.16291 not-muc 174528 unknown 446 muc 715
7.39/7.42	c iter 742 time 7.16991 not-muc 174528 unknown 445 muc 716
7.39/7.42	c iter 743 time 7.17791 not-muc 174528 unknown 444 muc 717
7.39/7.42	c iter 744 time 7.18591 not-muc 174528 unknown 443 muc 718
7.39/7.42	c iter 745 time 7.19391 not-muc 174528 unknown 442 muc 719
7.39/7.42	c iter 746 time 7.20191 not-muc 174528 unknown 441 muc 720
7.39/7.42	c iter 747 time 7.2099 not-muc 174528 unknown 440 muc 721
7.39/7.42	c iter 748 time 7.2179 not-muc 174528 unknown 439 muc 722
7.39/7.42	c iter 749 time 7.2259 not-muc 174528 unknown 438 muc 723
7.39/7.42	c iter 750 time 7.2269 not-muc 174529 unknown 437 muc 723
7.39/7.42	c iter 751 time 7.2349 not-muc 174529 unknown 436 muc 724
7.39/7.42	c iter 752 time 7.2429 not-muc 174529 unknown 435 muc 725
7.39/7.42	c iter 753 time 7.2509 not-muc 174529 unknown 434 muc 726
7.39/7.42	c iter 754 time 7.2589 not-muc 174529 unknown 433 muc 727
7.39/7.42	c iter 755 time 7.26689 not-muc 174529 unknown 432 muc 728
7.39/7.42	c iter 756 time 7.27489 not-muc 174529 unknown 431 muc 729
7.39/7.42	c iter 757 time 7.28189 not-muc 174529 unknown 430 muc 730
7.39/7.42	c iter 758 time 7.28989 not-muc 174529 unknown 429 muc 731
7.39/7.42	c iter 759 time 7.29789 not-muc 174529 unknown 428 muc 732
7.39/7.42	c iter 760 time 7.30589 not-muc 174529 unknown 427 muc 733
7.39/7.42	c iter 761 time 7.31389 not-muc 174529 unknown 426 muc 734
7.39/7.42	c iter 762 time 7.32189 not-muc 174529 unknown 425 muc 735
7.39/7.42	c iter 763 time 7.32988 not-muc 174529 unknown 424 muc 736
7.39/7.42	c iter 764 time 7.33788 not-muc 174529 unknown 423 muc 737
7.89/7.94	c iter 765 time 7.34588 not-muc 174529 unknown 422 muc 738
7.89/7.94	c iter 766 time 7.35388 not-muc 174529 unknown 421 muc 739
7.89/7.94	c iter 767 time 7.36188 not-muc 174529 unknown 420 muc 740
7.89/7.94	c iter 768 time 7.37088 not-muc 174529 unknown 419 muc 741
7.89/7.94	c iter 769 time 7.37888 not-muc 174529 unknown 418 muc 742
7.89/7.94	c iter 770 time 7.38088 not-muc 174540 unknown 407 muc 742
7.89/7.94	c iter 771 time 7.38988 not-muc 174540 unknown 406 muc 743
7.89/7.94	c iter 772 time 7.39787 not-muc 174540 unknown 405 muc 744
7.89/7.94	c iter 773 time 7.40587 not-muc 174540 unknown 404 muc 745
7.89/7.94	c iter 774 time 7.41387 not-muc 174540 unknown 403 muc 746
7.89/7.94	c iter 775 time 7.42287 not-muc 174540 unknown 402 muc 747
7.89/7.94	c iter 776 time 7.43187 not-muc 174540 unknown 401 muc 748
7.89/7.94	c iter 777 time 7.43987 not-muc 174540 unknown 400 muc 749
7.89/7.94	c iter 778 time 7.44687 not-muc 174540 unknown 399 muc 750
7.89/7.94	c iter 779 time 7.45487 not-muc 174540 unknown 398 muc 751
7.89/7.94	c iter 780 time 7.46286 not-muc 174540 unknown 397 muc 752
7.89/7.94	c iter 781 time 7.46986 not-muc 174540 unknown 396 muc 753
7.89/7.94	c iter 782 time 7.47786 not-muc 174540 unknown 395 muc 754
7.89/7.94	c iter 783 time 7.48586 not-muc 174540 unknown 394 muc 755
7.89/7.94	c iter 784 time 7.49286 not-muc 174540 unknown 393 muc 756
7.89/7.94	c iter 785 time 7.50086 not-muc 174540 unknown 392 muc 757
7.89/7.94	c iter 786 time 7.50886 not-muc 174540 unknown 391 muc 758
7.89/7.94	c iter 787 time 7.51686 not-muc 174540 unknown 390 muc 759
7.89/7.94	c iter 788 time 7.52585 not-muc 174540 unknown 389 muc 760
7.89/7.94	c iter 789 time 7.52785 not-muc 174541 unknown 388 muc 760
7.89/7.94	c iter 790 time 7.52886 not-muc 174542 unknown 387 muc 760
7.89/7.94	c iter 791 time 7.53685 not-muc 174542 unknown 386 muc 761
7.89/7.94	c iter 792 time 7.54585 not-muc 174542 unknown 385 muc 762
7.89/7.94	c iter 793 time 7.55485 not-muc 174542 unknown 384 muc 763
7.89/7.94	c iter 794 time 7.56285 not-muc 174542 unknown 383 muc 764
7.89/7.94	c iter 795 time 7.57085 not-muc 174542 unknown 382 muc 765
7.89/7.94	c iter 796 time 7.57885 not-muc 174542 unknown 381 muc 766
7.89/7.94	c iter 797 time 7.58585 not-muc 174542 unknown 380 muc 767
7.89/7.94	c iter 798 time 7.59384 not-muc 174542 unknown 379 muc 768
7.89/7.94	c iter 799 time 7.60184 not-muc 174542 unknown 378 muc 769
7.89/7.94	c iter 800 time 7.60984 not-muc 174542 unknown 377 muc 770
7.89/7.94	c iter 801 time 7.61684 not-muc 174542 unknown 376 muc 771
7.89/7.94	c iter 802 time 7.62484 not-muc 174542 unknown 375 muc 772
7.89/7.94	c iter 803 time 7.63284 not-muc 174542 unknown 374 muc 773
7.89/7.94	c iter 804 time 7.64084 not-muc 174542 unknown 373 muc 774
7.89/7.94	c iter 805 time 7.64784 not-muc 174542 unknown 372 muc 775
7.89/7.94	c iter 806 time 7.65584 not-muc 174542 unknown 371 muc 776
7.89/7.94	c iter 807 time 7.66383 not-muc 174542 unknown 370 muc 777
7.89/7.94	c iter 808 time 7.67183 not-muc 174542 unknown 369 muc 778
7.89/7.94	c iter 809 time 7.67883 not-muc 174542 unknown 368 muc 779
7.89/7.94	c iter 810 time 7.68683 not-muc 174542 unknown 367 muc 780
7.89/7.94	c iter 811 time 7.69483 not-muc 174542 unknown 366 muc 781
7.89/7.94	c iter 812 time 7.70283 not-muc 174542 unknown 365 muc 782
7.89/7.94	c iter 813 time 7.71083 not-muc 174542 unknown 364 muc 783
7.89/7.94	c iter 814 time 7.71183 not-muc 174543 unknown 363 muc 783
7.89/7.94	c iter 815 time 7.71983 not-muc 174543 unknown 362 muc 784
7.89/7.94	c iter 816 time 7.72783 not-muc 174543 unknown 361 muc 785
7.89/7.94	c iter 817 time 7.73582 not-muc 174543 unknown 360 muc 786
7.89/7.94	c iter 818 time 7.74282 not-muc 174543 unknown 359 muc 787
7.89/7.94	c iter 819 time 7.75082 not-muc 174543 unknown 358 muc 788
7.89/7.94	c iter 820 time 7.75882 not-muc 174543 unknown 357 muc 789
7.89/7.94	c iter 821 time 7.76682 not-muc 174543 unknown 356 muc 790
7.89/7.94	c iter 822 time 7.77382 not-muc 174543 unknown 355 muc 791
7.89/7.94	c iter 823 time 7.78182 not-muc 174543 unknown 354 muc 792
7.89/7.94	c iter 824 time 7.78981 not-muc 174543 unknown 353 muc 793
7.89/7.94	c iter 825 time 7.79781 not-muc 174543 unknown 352 muc 794
7.89/7.94	c iter 826 time 7.80581 not-muc 174543 unknown 351 muc 795
7.89/7.94	c iter 827 time 7.81381 not-muc 174543 unknown 350 muc 796
7.89/7.94	c iter 828 time 7.82181 not-muc 174543 unknown 349 muc 797
7.89/7.94	c iter 829 time 7.82981 not-muc 174543 unknown 348 muc 798
7.89/7.94	c iter 830 time 7.83081 not-muc 174545 unknown 346 muc 798
7.89/7.94	c iter 831 time 7.83881 not-muc 174545 unknown 345 muc 799
7.89/7.94	c iter 832 time 7.84681 not-muc 174545 unknown 344 muc 800
7.89/7.94	c iter 833 time 7.8548 not-muc 174545 unknown 343 muc 801
8.39/8.49	c iter 834 time 7.8628 not-muc 174545 unknown 342 muc 802
8.39/8.49	c iter 835 time 7.8698 not-muc 174545 unknown 341 muc 803
8.39/8.49	c iter 836 time 7.8778 not-muc 174545 unknown 340 muc 804
8.39/8.49	c iter 837 time 7.8858 not-muc 174545 unknown 339 muc 805
8.39/8.49	c iter 838 time 7.8938 not-muc 174545 unknown 338 muc 806
8.39/8.49	c iter 839 time 7.9018 not-muc 174545 unknown 337 muc 807
8.39/8.49	c iter 840 time 7.9098 not-muc 174545 unknown 336 muc 808
8.39/8.49	c iter 841 time 7.9178 not-muc 174545 unknown 335 muc 809
8.39/8.49	c iter 842 time 7.92479 not-muc 174545 unknown 334 muc 810
8.39/8.49	c iter 843 time 7.93279 not-muc 174545 unknown 333 muc 811
8.39/8.49	c iter 844 time 7.94079 not-muc 174545 unknown 332 muc 812
8.39/8.49	c iter 845 time 7.94879 not-muc 174545 unknown 331 muc 813
8.39/8.49	c iter 846 time 7.95779 not-muc 174545 unknown 330 muc 814
8.39/8.49	c iter 847 time 7.96579 not-muc 174545 unknown 329 muc 815
8.39/8.49	c iter 848 time 7.96679 not-muc 174546 unknown 328 muc 815
8.39/8.49	c iter 849 time 7.97479 not-muc 174546 unknown 327 muc 816
8.39/8.49	c iter 850 time 7.98279 not-muc 174546 unknown 326 muc 817
8.39/8.49	c iter 851 time 7.98979 not-muc 174546 unknown 325 muc 818
8.39/8.49	c iter 852 time 7.99778 not-muc 174546 unknown 324 muc 819
8.39/8.49	c iter 853 time 8.00578 not-muc 174546 unknown 323 muc 820
8.39/8.49	c iter 854 time 8.01378 not-muc 174546 unknown 322 muc 821
8.39/8.49	c iter 855 time 8.02178 not-muc 174546 unknown 321 muc 822
8.39/8.49	c iter 856 time 8.02878 not-muc 174546 unknown 320 muc 823
8.39/8.49	c iter 857 time 8.03678 not-muc 174546 unknown 319 muc 824
8.39/8.49	c iter 858 time 8.04478 not-muc 174546 unknown 318 muc 825
8.39/8.49	c iter 859 time 8.05578 not-muc 174546 unknown 317 muc 826
8.39/8.49	c iter 860 time 8.06577 not-muc 174546 unknown 316 muc 827
8.39/8.49	c iter 861 time 8.07477 not-muc 174546 unknown 315 muc 828
8.39/8.49	c iter 862 time 8.08477 not-muc 174546 unknown 314 muc 829
8.39/8.49	c iter 863 time 8.09477 not-muc 174546 unknown 313 muc 830
8.39/8.49	c iter 864 time 8.10477 not-muc 174546 unknown 312 muc 831
8.39/8.49	c iter 865 time 8.11477 not-muc 174546 unknown 311 muc 832
8.39/8.49	c iter 866 time 8.12276 not-muc 174546 unknown 310 muc 833
8.39/8.49	c iter 867 time 8.13076 not-muc 174546 unknown 309 muc 834
8.39/8.49	c iter 868 time 8.13876 not-muc 174546 unknown 308 muc 835
8.39/8.49	c iter 869 time 8.14576 not-muc 174546 unknown 307 muc 836
8.39/8.49	c iter 870 time 8.15476 not-muc 174546 unknown 306 muc 837
8.39/8.49	c iter 871 time 8.16376 not-muc 174546 unknown 305 muc 838
8.39/8.49	c iter 872 time 8.17176 not-muc 174546 unknown 304 muc 839
8.39/8.49	c iter 873 time 8.17976 not-muc 174546 unknown 303 muc 840
8.39/8.49	c iter 874 time 8.18076 not-muc 174547 unknown 302 muc 840
8.39/8.49	c iter 875 time 8.18975 not-muc 174547 unknown 301 muc 841
8.39/8.49	c iter 876 time 8.19775 not-muc 174547 unknown 300 muc 842
8.39/8.49	c iter 877 time 8.20475 not-muc 174547 unknown 299 muc 843
8.39/8.49	c iter 878 time 8.21275 not-muc 174547 unknown 298 muc 844
8.39/8.49	c iter 879 time 8.22075 not-muc 174547 unknown 297 muc 845
8.39/8.49	c iter 880 time 8.22875 not-muc 174547 unknown 296 muc 846
8.39/8.49	c iter 881 time 8.23675 not-muc 174547 unknown 295 muc 847
8.39/8.49	c iter 882 time 8.24375 not-muc 174547 unknown 294 muc 848
8.39/8.49	c iter 883 time 8.25174 not-muc 174547 unknown 293 muc 849
8.39/8.49	c iter 884 time 8.25974 not-muc 174547 unknown 292 muc 850
8.39/8.49	c iter 885 time 8.26774 not-muc 174547 unknown 291 muc 851
8.39/8.49	c iter 886 time 8.27574 not-muc 174547 unknown 290 muc 852
8.39/8.49	c iter 887 time 8.28374 not-muc 174547 unknown 289 muc 853
8.39/8.49	c iter 888 time 8.29174 not-muc 174547 unknown 288 muc 854
8.39/8.49	c iter 889 time 8.29974 not-muc 174547 unknown 287 muc 855
8.39/8.49	c iter 890 time 8.30774 not-muc 174547 unknown 286 muc 856
8.39/8.49	c iter 891 time 8.31574 not-muc 174547 unknown 285 muc 857
8.39/8.49	c iter 892 time 8.32273 not-muc 174547 unknown 284 muc 858
8.39/8.49	c iter 893 time 8.33073 not-muc 174547 unknown 283 muc 859
8.39/8.49	c iter 894 time 8.33873 not-muc 174547 unknown 282 muc 860
8.39/8.49	c iter 895 time 8.34673 not-muc 174547 unknown 281 muc 861
8.39/8.49	c iter 896 time 8.35473 not-muc 174547 unknown 280 muc 862
8.39/8.49	c iter 897 time 8.36173 not-muc 174547 unknown 279 muc 863
8.39/8.49	c iter 898 time 8.36973 not-muc 174547 unknown 278 muc 864
8.39/8.49	c iter 899 time 8.37773 not-muc 174547 unknown 277 muc 865
8.39/8.49	c iter 900 time 8.38573 not-muc 174547 unknown 276 muc 866
8.39/8.49	c iter 901 time 8.39372 not-muc 174547 unknown 275 muc 867
8.39/8.49	c iter 902 time 8.40172 not-muc 174547 unknown 274 muc 868
8.39/8.49	c iter 903 time 8.40972 not-muc 174547 unknown 273 muc 869
8.99/9.03	c iter 904 time 8.41772 not-muc 174547 unknown 272 muc 870
8.99/9.03	c iter 905 time 8.42572 not-muc 174547 unknown 271 muc 871
8.99/9.03	c iter 906 time 8.43372 not-muc 174547 unknown 270 muc 872
8.99/9.03	c iter 907 time 8.44172 not-muc 174547 unknown 269 muc 873
8.99/9.03	c iter 908 time 8.44971 not-muc 174547 unknown 268 muc 874
8.99/9.03	c iter 909 time 8.45771 not-muc 174547 unknown 267 muc 875
8.99/9.03	c iter 910 time 8.46571 not-muc 174547 unknown 266 muc 876
8.99/9.03	c iter 911 time 8.47371 not-muc 174547 unknown 265 muc 877
8.99/9.03	c iter 912 time 8.48071 not-muc 174547 unknown 264 muc 878
8.99/9.03	c iter 913 time 8.48971 not-muc 174547 unknown 263 muc 879
8.99/9.03	c iter 914 time 8.49771 not-muc 174547 unknown 262 muc 880
8.99/9.03	c iter 915 time 8.50571 not-muc 174547 unknown 261 muc 881
8.99/9.03	c iter 916 time 8.5137 not-muc 174547 unknown 260 muc 882
8.99/9.03	c iter 917 time 8.5217 not-muc 174547 unknown 259 muc 883
8.99/9.03	c iter 918 time 8.5297 not-muc 174547 unknown 258 muc 884
8.99/9.03	c iter 919 time 8.5377 not-muc 174547 unknown 257 muc 885
8.99/9.03	c iter 920 time 8.5447 not-muc 174547 unknown 256 muc 886
8.99/9.03	c iter 921 time 8.5537 not-muc 174547 unknown 255 muc 887
8.99/9.03	c iter 922 time 8.5617 not-muc 174547 unknown 254 muc 888
8.99/9.03	c iter 923 time 8.5697 not-muc 174547 unknown 253 muc 889
8.99/9.03	c iter 924 time 8.5777 not-muc 174547 unknown 252 muc 890
8.99/9.03	c iter 925 time 8.57869 not-muc 174548 unknown 251 muc 890
8.99/9.03	c iter 926 time 8.58769 not-muc 174548 unknown 250 muc 891
8.99/9.03	c iter 927 time 8.59569 not-muc 174548 unknown 249 muc 892
8.99/9.03	c iter 928 time 8.60269 not-muc 174548 unknown 248 muc 893
8.99/9.03	c iter 929 time 8.61069 not-muc 174548 unknown 247 muc 894
8.99/9.03	c iter 930 time 8.61869 not-muc 174548 unknown 246 muc 895
8.99/9.03	c iter 931 time 8.62669 not-muc 174548 unknown 245 muc 896
8.99/9.03	c iter 932 time 8.63569 not-muc 174548 unknown 244 muc 897
8.99/9.03	c iter 933 time 8.64269 not-muc 174548 unknown 243 muc 898
8.99/9.03	c iter 934 time 8.65068 not-muc 174548 unknown 242 muc 899
8.99/9.03	c iter 935 time 8.65868 not-muc 174548 unknown 241 muc 900
8.99/9.03	c iter 936 time 8.66668 not-muc 174548 unknown 240 muc 901
8.99/9.03	c iter 937 time 8.67468 not-muc 174548 unknown 239 muc 902
8.99/9.03	c iter 938 time 8.68268 not-muc 174548 unknown 238 muc 903
8.99/9.03	c iter 939 time 8.68968 not-muc 174548 unknown 237 muc 904
8.99/9.03	c iter 940 time 8.69068 not-muc 174549 unknown 236 muc 904
8.99/9.03	c iter 941 time 8.69968 not-muc 174549 unknown 235 muc 905
8.99/9.03	c iter 942 time 8.70768 not-muc 174549 unknown 234 muc 906
8.99/9.03	c iter 943 time 8.71567 not-muc 174549 unknown 233 muc 907
8.99/9.03	c iter 944 time 8.72367 not-muc 174549 unknown 232 muc 908
8.99/9.03	c iter 945 time 8.73167 not-muc 174549 unknown 231 muc 909
8.99/9.03	c iter 946 time 8.73967 not-muc 174549 unknown 230 muc 910
8.99/9.03	c iter 947 time 8.74767 not-muc 174549 unknown 229 muc 911
8.99/9.03	c iter 948 time 8.75567 not-muc 174549 unknown 228 muc 912
8.99/9.03	c iter 949 time 8.76367 not-muc 174549 unknown 227 muc 913
8.99/9.03	c iter 950 time 8.77167 not-muc 174549 unknown 226 muc 914
8.99/9.03	c iter 951 time 8.77966 not-muc 174549 unknown 225 muc 915
8.99/9.03	c iter 952 time 8.78766 not-muc 174549 unknown 224 muc 916
8.99/9.03	c iter 953 time 8.79566 not-muc 174549 unknown 223 muc 917
8.99/9.03	c iter 954 time 8.80366 not-muc 174549 unknown 222 muc 918
8.99/9.03	c iter 955 time 8.81166 not-muc 174549 unknown 221 muc 919
8.99/9.03	c iter 956 time 8.82066 not-muc 174549 unknown 220 muc 920
8.99/9.03	c iter 957 time 8.82866 not-muc 174549 unknown 219 muc 921
8.99/9.03	c iter 958 time 8.83666 not-muc 174549 unknown 218 muc 922
8.99/9.03	c iter 959 time 8.84465 not-muc 174549 unknown 217 muc 923
8.99/9.03	c iter 960 time 8.85265 not-muc 174549 unknown 216 muc 924
8.99/9.03	c iter 961 time 8.86065 not-muc 174549 unknown 215 muc 925
8.99/9.03	c iter 962 time 8.86865 not-muc 174549 unknown 214 muc 926
8.99/9.03	c iter 963 time 8.87565 not-muc 174549 unknown 213 muc 927
8.99/9.03	c iter 964 time 8.88365 not-muc 174549 unknown 212 muc 928
8.99/9.03	c iter 965 time 8.89165 not-muc 174549 unknown 211 muc 929
8.99/9.03	c iter 966 time 8.89965 not-muc 174549 unknown 210 muc 930
8.99/9.03	c iter 967 time 8.90765 not-muc 174549 unknown 209 muc 931
8.99/9.03	c iter 968 time 8.91564 not-muc 174549 unknown 208 muc 932
8.99/9.03	c iter 969 time 8.92364 not-muc 174549 unknown 207 muc 933
8.99/9.03	c iter 970 time 8.93164 not-muc 174549 unknown 206 muc 934
8.99/9.03	c iter 971 time 8.93964 not-muc 174549 unknown 205 muc 935
8.99/9.03	c iter 972 time 8.94864 not-muc 174549 unknown 204 muc 936
9.49/9.57	c iter 973 time 8.95764 not-muc 174549 unknown 203 muc 937
9.49/9.57	c iter 974 time 8.96564 not-muc 174549 unknown 202 muc 938
9.49/9.57	c iter 975 time 8.97564 not-muc 174549 unknown 201 muc 939
9.49/9.57	c iter 976 time 8.98463 not-muc 174549 unknown 200 muc 940
9.49/9.57	c iter 977 time 8.99363 not-muc 174549 unknown 199 muc 941
9.49/9.57	c iter 978 time 9.00163 not-muc 174549 unknown 198 muc 942
9.49/9.57	c iter 979 time 9.00963 not-muc 174549 unknown 197 muc 943
9.49/9.57	c iter 980 time 9.01763 not-muc 174549 unknown 196 muc 944
9.49/9.57	c iter 981 time 9.02463 not-muc 174549 unknown 195 muc 945
9.49/9.57	c iter 982 time 9.03263 not-muc 174549 unknown 194 muc 946
9.49/9.57	c iter 983 time 9.04063 not-muc 174549 unknown 193 muc 947
9.49/9.57	c iter 984 time 9.04862 not-muc 174549 unknown 192 muc 948
9.49/9.57	c iter 985 time 9.05662 not-muc 174549 unknown 191 muc 949
9.49/9.57	c iter 986 time 9.06562 not-muc 174549 unknown 190 muc 950
9.49/9.57	c iter 987 time 9.07362 not-muc 174549 unknown 189 muc 951
9.49/9.57	c iter 988 time 9.08162 not-muc 174549 unknown 188 muc 952
9.49/9.57	c iter 989 time 9.08962 not-muc 174549 unknown 187 muc 953
9.49/9.57	c iter 990 time 9.09762 not-muc 174549 unknown 186 muc 954
9.49/9.57	c iter 991 time 9.10562 not-muc 174549 unknown 185 muc 955
9.49/9.57	c iter 992 time 9.11361 not-muc 174549 unknown 184 muc 956
9.49/9.57	c iter 993 time 9.11561 not-muc 174550 unknown 183 muc 956
9.49/9.57	c iter 994 time 9.12461 not-muc 174550 unknown 182 muc 957
9.49/9.57	c iter 995 time 9.12561 not-muc 174556 unknown 176 muc 957
9.49/9.57	c iter 996 time 9.13561 not-muc 174556 unknown 175 muc 958
9.49/9.57	c iter 997 time 9.13661 not-muc 174557 unknown 174 muc 958
9.49/9.57	c iter 998 time 9.13761 not-muc 174558 unknown 173 muc 958
9.49/9.57	c iter 999 time 9.14761 not-muc 174558 unknown 172 muc 959
9.49/9.57	c iter 1000 time 9.15661 not-muc 174558 unknown 171 muc 960
9.49/9.57	c iter 1001 time 9.16561 not-muc 174558 unknown 170 muc 961
9.49/9.57	c iter 1002 time 9.1746 not-muc 174558 unknown 169 muc 962
9.49/9.57	c iter 1003 time 9.1836 not-muc 174558 unknown 168 muc 963
9.49/9.57	c iter 1004 time 9.1916 not-muc 174558 unknown 167 muc 964
9.49/9.57	c iter 1005 time 9.1986 not-muc 174558 unknown 166 muc 965
9.49/9.57	c iter 1006 time 9.2066 not-muc 174558 unknown 165 muc 966
9.49/9.57	c iter 1007 time 9.2146 not-muc 174558 unknown 164 muc 967
9.49/9.57	c iter 1008 time 9.2226 not-muc 174558 unknown 163 muc 968
9.49/9.57	c iter 1009 time 9.2306 not-muc 174558 unknown 162 muc 969
9.49/9.57	c iter 1010 time 9.2376 not-muc 174558 unknown 161 muc 970
9.49/9.57	c iter 1011 time 9.24559 not-muc 174558 unknown 160 muc 971
9.49/9.57	c iter 1012 time 9.25359 not-muc 174558 unknown 159 muc 972
9.49/9.57	c iter 1013 time 9.26159 not-muc 174558 unknown 158 muc 973
9.49/9.57	c iter 1014 time 9.26959 not-muc 174558 unknown 157 muc 974
9.49/9.57	c iter 1015 time 9.27759 not-muc 174558 unknown 156 muc 975
9.49/9.57	c iter 1016 time 9.28459 not-muc 174558 unknown 155 muc 976
9.49/9.57	c iter 1017 time 9.29259 not-muc 174558 unknown 154 muc 977
9.49/9.57	c iter 1018 time 9.30059 not-muc 174558 unknown 153 muc 978
9.49/9.57	c iter 1019 time 9.30858 not-muc 174558 unknown 152 muc 979
9.49/9.57	c iter 1020 time 9.31658 not-muc 174558 unknown 151 muc 980
9.49/9.57	c iter 1021 time 9.32458 not-muc 174558 unknown 150 muc 981
9.49/9.57	c iter 1022 time 9.33158 not-muc 174558 unknown 149 muc 982
9.49/9.57	c iter 1023 time 9.33958 not-muc 174558 unknown 148 muc 983
9.49/9.57	c iter 1024 time 9.34758 not-muc 174558 unknown 147 muc 984
9.49/9.57	c iter 1025 time 9.35558 not-muc 174558 unknown 146 muc 985
9.49/9.57	c iter 1026 time 9.36258 not-muc 174558 unknown 145 muc 986
9.49/9.57	c iter 1027 time 9.37058 not-muc 174558 unknown 144 muc 987
9.49/9.57	c iter 1028 time 9.37857 not-muc 174558 unknown 143 muc 988
9.49/9.57	c iter 1029 time 9.38657 not-muc 174558 unknown 142 muc 989
9.49/9.57	c iter 1030 time 9.39457 not-muc 174558 unknown 141 muc 990
9.49/9.57	c iter 1031 time 9.40257 not-muc 174558 unknown 140 muc 991
9.49/9.57	c iter 1032 time 9.41057 not-muc 174558 unknown 139 muc 992
9.49/9.57	c iter 1033 time 9.41857 not-muc 174558 unknown 138 muc 993
9.49/9.57	c iter 1034 time 9.42657 not-muc 174558 unknown 137 muc 994
9.49/9.57	c iter 1035 time 9.43456 not-muc 174558 unknown 136 muc 995
9.49/9.57	c iter 1036 time 9.44356 not-muc 174558 unknown 135 muc 996
9.49/9.57	c iter 1037 time 9.45156 not-muc 174558 unknown 134 muc 997
9.49/9.57	c iter 1038 time 9.45956 not-muc 174558 unknown 133 muc 998
9.49/9.57	c iter 1039 time 9.46756 not-muc 174558 unknown 132 muc 999
9.49/9.57	c iter 1040 time 9.47556 not-muc 174558 unknown 131 muc 1000
9.49/9.57	c iter 1041 time 9.48256 not-muc 174558 unknown 130 muc 1001
9.98/10.00	c iter 1042 time 9.49056 not-muc 174558 unknown 129 muc 1002
9.98/10.00	c iter 1043 time 9.49856 not-muc 174558 unknown 128 muc 1003
9.98/10.00	c iter 1044 time 9.50655 not-muc 174558 unknown 127 muc 1004
9.98/10.00	c iter 1045 time 9.51455 not-muc 174558 unknown 126 muc 1005
9.98/10.00	c iter 1046 time 9.52255 not-muc 174558 unknown 125 muc 1006
9.98/10.00	c iter 1047 time 9.52955 not-muc 174558 unknown 124 muc 1007
9.98/10.00	c iter 1048 time 9.53755 not-muc 174558 unknown 123 muc 1008
9.98/10.00	c iter 1049 time 9.55255 not-muc 174558 unknown 122 muc 1009
9.98/10.00	c iter 1050 time 9.55855 not-muc 174558 unknown 121 muc 1010
9.98/10.00	c iter 1051 time 9.56455 not-muc 174558 unknown 120 muc 1011
9.98/10.00	c iter 1052 time 9.57054 not-muc 174558 unknown 119 muc 1012
9.98/10.00	c iter 1053 time 9.57654 not-muc 174558 unknown 118 muc 1013
9.98/10.00	c iter 1054 time 9.58254 not-muc 174558 unknown 117 muc 1014
9.98/10.00	c iter 1055 time 9.58854 not-muc 174558 unknown 116 muc 1015
9.98/10.00	c iter 1056 time 9.58954 not-muc 174559 unknown 115 muc 1015
9.98/10.00	c iter 1057 time 9.59554 not-muc 174559 unknown 114 muc 1016
9.98/10.00	c iter 1058 time 9.60154 not-muc 174559 unknown 113 muc 1017
9.98/10.00	c iter 1059 time 9.60754 not-muc 174559 unknown 112 muc 1018
9.98/10.00	c iter 1060 time 9.61354 not-muc 174559 unknown 111 muc 1019
9.98/10.00	c iter 1061 time 9.61954 not-muc 174559 unknown 110 muc 1020
9.98/10.00	c iter 1062 time 9.62554 not-muc 174559 unknown 109 muc 1021
9.98/10.00	c iter 1063 time 9.63153 not-muc 174559 unknown 108 muc 1022
9.98/10.00	c iter 1064 time 9.63753 not-muc 174559 unknown 107 muc 1023
9.98/10.00	c iter 1065 time 9.64353 not-muc 174559 unknown 106 muc 1024
9.98/10.00	c iter 1066 time 9.64953 not-muc 174559 unknown 105 muc 1025
9.98/10.00	c iter 1067 time 9.65553 not-muc 174559 unknown 104 muc 1026
9.98/10.00	c iter 1068 time 9.66153 not-muc 174559 unknown 103 muc 1027
9.98/10.00	c iter 1069 time 9.66753 not-muc 174559 unknown 102 muc 1028
9.98/10.00	c iter 1070 time 9.67353 not-muc 174559 unknown 101 muc 1029
9.98/10.00	c iter 1071 time 9.67953 not-muc 174559 unknown 100 muc 1030
9.98/10.00	c iter 1072 time 9.68553 not-muc 174559 unknown 99 muc 1031
9.98/10.00	c iter 1073 time 9.69153 not-muc 174559 unknown 98 muc 1032
9.98/10.00	c iter 1074 time 9.69253 not-muc 174560 unknown 97 muc 1032
9.98/10.00	c iter 1075 time 9.69952 not-muc 174560 unknown 96 muc 1033
9.98/10.00	c iter 1076 time 9.70552 not-muc 174560 unknown 95 muc 1034
9.98/10.00	c iter 1077 time 9.71152 not-muc 174560 unknown 94 muc 1035
9.98/10.00	c iter 1078 time 9.71752 not-muc 174560 unknown 93 muc 1036
9.98/10.00	c iter 1079 time 9.72452 not-muc 174560 unknown 92 muc 1037
9.98/10.00	c iter 1080 time 9.73052 not-muc 174560 unknown 91 muc 1038
9.98/10.00	c iter 1081 time 9.73652 not-muc 174560 unknown 90 muc 1039
9.98/10.00	c iter 1082 time 9.74252 not-muc 174560 unknown 89 muc 1040
9.98/10.00	c iter 1083 time 9.74852 not-muc 174560 unknown 88 muc 1041
9.98/10.00	c iter 1084 time 9.75452 not-muc 174560 unknown 87 muc 1042
9.98/10.00	c iter 1085 time 9.76052 not-muc 174560 unknown 86 muc 1043
9.98/10.00	c iter 1086 time 9.76751 not-muc 174560 unknown 85 muc 1044
9.98/10.00	c iter 1087 time 9.77351 not-muc 174560 unknown 84 muc 1045
9.98/10.00	c iter 1088 time 9.77951 not-muc 174560 unknown 83 muc 1046
9.98/10.00	c iter 1089 time 9.78551 not-muc 174560 unknown 82 muc 1047
9.98/10.00	c iter 1090 time 9.79151 not-muc 174560 unknown 81 muc 1048
9.98/10.00	c iter 1091 time 9.79751 not-muc 174560 unknown 80 muc 1049
9.98/10.00	c iter 1092 time 9.80351 not-muc 174560 unknown 79 muc 1050
9.98/10.00	c iter 1093 time 9.81051 not-muc 174560 unknown 78 muc 1051
9.98/10.00	c iter 1094 time 9.81651 not-muc 174560 unknown 77 muc 1052
9.98/10.00	c iter 1095 time 9.82251 not-muc 174560 unknown 76 muc 1053
9.98/10.00	c iter 1096 time 9.8285 not-muc 174560 unknown 75 muc 1054
9.98/10.00	c iter 1097 time 9.8345 not-muc 174560 unknown 74 muc 1055
9.98/10.00	c iter 1098 time 9.8415 not-muc 174560 unknown 73 muc 1056
9.98/10.00	c iter 1099 time 9.8475 not-muc 174560 unknown 72 muc 1057
9.98/10.00	c iter 1100 time 9.8535 not-muc 174560 unknown 71 muc 1058
9.98/10.00	c iter 1101 time 9.8595 not-muc 174560 unknown 70 muc 1059
9.98/10.00	c iter 1102 time 9.8655 not-muc 174560 unknown 69 muc 1060
9.98/10.00	c iter 1103 time 9.8715 not-muc 174560 unknown 68 muc 1061
9.98/10.00	c iter 1104 time 9.8785 not-muc 174560 unknown 67 muc 1062
9.98/10.00	c iter 1105 time 9.8845 not-muc 174560 unknown 66 muc 1063
9.98/10.00	c iter 1106 time 9.8905 not-muc 174560 unknown 65 muc 1064
9.98/10.00	c iter 1107 time 9.89649 not-muc 174560 unknown 64 muc 1065
9.98/10.00	c iter 1108 time 9.90349 not-muc 174560 unknown 63 muc 1066
9.98/10.00	c iter 1109 time 9.90949 not-muc 174560 unknown 62 muc 1067
10.28/10.38	c iter 1110 time 9.91549 not-muc 174560 unknown 61 muc 1068
10.28/10.38	c iter 1111 time 9.92249 not-muc 174560 unknown 60 muc 1069
10.28/10.38	c iter 1112 time 9.92849 not-muc 174560 unknown 59 muc 1070
10.28/10.38	c iter 1113 time 9.93449 not-muc 174560 unknown 58 muc 1071
10.28/10.38	c iter 1114 time 9.94049 not-muc 174560 unknown 57 muc 1072
10.28/10.38	c iter 1115 time 9.94749 not-muc 174560 unknown 56 muc 1073
10.28/10.38	c iter 1116 time 9.95349 not-muc 174560 unknown 55 muc 1074
10.28/10.38	c iter 1117 time 9.95949 not-muc 174560 unknown 54 muc 1075
10.28/10.38	c iter 1118 time 9.96548 not-muc 174560 unknown 53 muc 1076
10.28/10.38	c iter 1119 time 9.97148 not-muc 174560 unknown 52 muc 1077
10.28/10.38	c iter 1120 time 9.97848 not-muc 174560 unknown 51 muc 1078
10.28/10.38	c iter 1121 time 9.98448 not-muc 174560 unknown 50 muc 1079
10.28/10.38	c iter 1122 time 9.99048 not-muc 174560 unknown 49 muc 1080
10.28/10.38	c iter 1123 time 9.99648 not-muc 174560 unknown 48 muc 1081
10.28/10.38	c iter 1124 time 10.0035 not-muc 174560 unknown 47 muc 1082
10.28/10.38	c iter 1125 time 10.0095 not-muc 174560 unknown 46 muc 1083
10.28/10.38	c iter 1126 time 10.0105 not-muc 174561 unknown 45 muc 1083
10.28/10.38	c iter 1127 time 10.0165 not-muc 174561 unknown 44 muc 1084
10.28/10.38	c iter 1128 time 10.0235 not-muc 174561 unknown 43 muc 1085
10.28/10.38	c iter 1129 time 10.0295 not-muc 174561 unknown 42 muc 1086
10.28/10.38	c iter 1130 time 10.0355 not-muc 174561 unknown 41 muc 1087
10.28/10.38	c iter 1131 time 10.0415 not-muc 174561 unknown 40 muc 1088
10.28/10.38	c iter 1132 time 10.0485 not-muc 174561 unknown 39 muc 1089
10.28/10.38	c iter 1133 time 10.0545 not-muc 174561 unknown 38 muc 1090
10.28/10.38	c iter 1134 time 10.0615 not-muc 174561 unknown 37 muc 1091
10.28/10.38	c iter 1135 time 10.0685 not-muc 174561 unknown 36 muc 1092
10.28/10.38	c iter 1136 time 10.0695 not-muc 174562 unknown 35 muc 1092
10.28/10.38	c iter 1137 time 10.0755 not-muc 174562 unknown 34 muc 1093
10.28/10.38	c iter 1138 time 10.0815 not-muc 174562 unknown 33 muc 1094
10.28/10.38	c iter 1139 time 10.0885 not-muc 174562 unknown 32 muc 1095
10.28/10.38	c iter 1140 time 10.0945 not-muc 174562 unknown 31 muc 1096
10.28/10.38	c iter 1141 time 10.1005 not-muc 174562 unknown 30 muc 1097
10.28/10.38	c iter 1142 time 10.1075 not-muc 174562 unknown 29 muc 1098
10.28/10.38	c iter 1143 time 10.1135 not-muc 174562 unknown 28 muc 1099
10.28/10.38	c iter 1144 time 10.1205 not-muc 174562 unknown 27 muc 1100
10.28/10.38	c iter 1145 time 10.1265 not-muc 174562 unknown 26 muc 1101
10.28/10.38	c iter 1146 time 10.1325 not-muc 174562 unknown 25 muc 1102
10.28/10.38	c iter 1147 time 10.1395 not-muc 174562 unknown 24 muc 1103
10.28/10.38	c iter 1148 time 10.1455 not-muc 174562 unknown 23 muc 1104
10.28/10.38	c iter 1149 time 10.1515 not-muc 174562 unknown 22 muc 1105
10.28/10.38	c iter 1150 time 10.1575 not-muc 174562 unknown 21 muc 1106
10.28/10.38	c iter 1151 time 10.1645 not-muc 174562 unknown 20 muc 1107
10.28/10.38	c iter 1152 time 10.1705 not-muc 174562 unknown 19 muc 1108
10.28/10.38	c iter 1153 time 10.1765 not-muc 174562 unknown 18 muc 1109
10.28/10.38	c iter 1154 time 10.1835 not-muc 174562 unknown 17 muc 1110
10.28/10.38	c iter 1155 time 10.1895 not-muc 174562 unknown 16 muc 1111
10.28/10.38	c iter 1156 time 10.1954 not-muc 174562 unknown 15 muc 1112
10.28/10.38	c iter 1157 time 10.1964 not-muc 174563 unknown 14 muc 1112
10.28/10.38	c iter 1158 time 10.2034 not-muc 174563 unknown 13 muc 1113
10.28/10.38	c iter 1159 time 10.2094 not-muc 174563 unknown 12 muc 1114
10.28/10.38	c iter 1160 time 10.2154 not-muc 174563 unknown 11 muc 1115
10.28/10.38	c iter 1161 time 10.2214 not-muc 174563 unknown 10 muc 1116
10.28/10.38	c iter 1162 time 10.2284 not-muc 174563 unknown 9 muc 1117
10.28/10.38	c iter 1163 time 10.2394 not-muc 174563 unknown 8 muc 1118
10.28/10.38	c iter 1164 time 10.2454 not-muc 174563 unknown 7 muc 1119
10.28/10.38	c iter 1165 time 10.2514 not-muc 174563 unknown 6 muc 1120
10.28/10.38	c iter 1166 time 10.2574 not-muc 174563 unknown 5 muc 1121
10.28/10.38	c iter 1167 time 10.2634 not-muc 174563 unknown 4 muc 1122
10.28/10.38	c iter 1168 time 10.2694 not-muc 174563 unknown 3 muc 1123
10.28/10.38	c iter 1169 time 10.2754 not-muc 174563 unknown 2 muc 1124
10.28/10.38	c iter 1170 time 10.2824 not-muc 174563 unknown 1 muc 1125
10.28/10.38	c final iter 1171 time 10.2884 not-muc 174563 unknown 0 muc 1126
10.28/10.38	v 124 146 160 161 162 163 164 167 174 223 224 225 226 227 228 231 232 233 241 258 259 261 262 263 264 265 266 267 268 269 270 271 272 281 282 292 293 308 480 501 502 506 507 508 509 510 511 512 513 514 515 516 517 520 521 522 523 524 525 527 528 748 770 784 785 787 788 791 796 797 798 904 905 913 914 1158 1159 1161 1162 1163 1164 1165 1170 1171 1202 1203 1204 1205 1212 1214 1215 1216 1219 1220 1221 1222 1224 1225 1226 1231 1232 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1730 1752 1766 1767 1768 1769 1770 1773 1780 1983 1984 1992 1993 2455 2456 2458 2459 2460 2461 2462 2473 2474 2530 2531 2532 2533 2540 2542 2543 2544 2545 2546 2547 2548 2549 2550 2552 2553 2554 2559 2560 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 3502 3524 3538 3539 3540 3541 3542 3545 3552 3757 3758 3766 3767 4342 4343 4345 4346 4347 4348 4349 4375 4376 4436 4437 4438 4439 4446 4448 4449 4450 4451 4452 4453 4454 4455 4456 4458 4459 4460 4465 4466 4468 4469 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 5619 5641 5655 5656 5658 5659 5662 5667 5668 5669 5874 5875 5883 5884 6480 6481 6483 6484 6485 6486 6487 6522 6523 6584 6585 6586 6587 6594 6596 6597 6598 6599 6600 6601 6602 6603 6604 6606 6607 6608 6613 6614 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6629 6630 6631 6632 13443 13465 13479 13480 13482 13483 13486 13491 13492 13493 13698 13699 13707 13708 14321 14322 14324 14325 14326 14327 14328 14372 14373 14434 14435 14436 14437 14444 14446 14447 14448 14449 14450 14451 14452 14453 14454 14456 14457 14458 14463 14464 14466 14467 14468 14469 14470 14471 14472 14473 14474 14475 14476 14477 14478 14479 14480 14481 14482 21771 21778 21779 21807 21808 21810 21811 21814 21815 21816 21817 21818 21819 21820 21821 22026 22027 22035 22036 22666 22667 22669 22670 22671 22672 22673 22726 22727 22788 22789 22790 22791 22798 22800 22801 22802 22803 22804 22805 22806 22807 22808 22810 22811 22812 22817 22818 22820 22821 22822 22823 22824 22825 22826 22827 22828 22829 22830 22831 22832 22833 22834 22835 22836 30982 31004 31018 31019 31021 31022 31025 31030 31031 31032 31237 31238 31246 31247 31894 31895 31897 31898 31899 31900 31901 31963 31964 32025 32026 32027 32028 32035 32037 32038 32039 32040 32041 32042 32043 32044 32045 32047 32048 32049 32054 32055 32057 32058 32059 32060 32061 32062 32063 32064 32065 32066 32067 32068 32069 32070 32071 32072 32073 41172 41194 41208 41209 41211 41212 41215 41220 41221 41222 41427 41428 41436 41437 42101 42102 42104 42105 42106 42107 42108 42179 42180 42241 42242 42243 42244 42251 42253 42254 42255 42256 42257 42258 42259 42260 42261 42263 42264 42265 42270 42271 42273 42274 42275 42276 42277 42278 42279 42280 42281 42282 42283 42284 42285 42286 42287 42288 42289 52666 52673 52674 52702 52703 52705 52706 52709 52710 52711 52712 52713 52714 52715 52716 52921 52922 52930 52931 53612 53613 53615 53616 53617 53618 53619 53699 53700 53761 53762 53763 53764 53771 53773 53774 53775 53776 53777 53778 53779 53780 53781 53783 53784 53785 53790 53791 53793 53794 53795 53796 53797 53798 53799 53800 53801 53802 53803 53804 53805 53806 53807 53808 53809 65492 65514 65528 65529 65531 65532 65535 65540 65541 65542 65747 65748 65756 65757 66455 66456 66458 66459 66460 66461 66462 66551 66552 66613 66614 66615 66616 66623 66625 66626 66627 66628 66629 66630 66631 66632 66633 66635 66636 66637 66642 66643 66645 66646 66647 66648 66649 66650 66651 66652 66653 66654 66655 66656 66657 66658 66659 66660 66661 78453 78475 78489 78490 78492 78493 78496 78501 78502 78503 78708 78709 78717 78718 79433 79434 79436 79437 79438 79439 79440 79538 79539 79600 79601 79602 79603 79610 79612 79613 79614 79615 79616 79617 79618 79619 79620 79622 79623 79624 79629 79630 79632 79633 79634 79635 79636 79637 79638 79639 79640 79641 79642 79643 79644 79645 79646 79647 79648 91608 91615 91616 91644 91645 91647 91648 91651 91652 91653 91654 91655 91656 91657 91658 91863 91864 91872 91873 92605 92606 92608 92609 92610 92611 92612 92719 92720 92781 92782 92783 92784 92791 92793 92794 92795 92796 92797 92798 92799 92800 92801 92803 92804 92805 92810 92811 92813 92814 92815 92816 92817 92818 92819 92820 92821 92822 92823 92824 92825 92826 92827 92828 92829 104947 104969 104983 104984 104985 104986 104987 104990 104997 105202 105203 105211 105212 105961 105962 105964 105965 105966 105967 105968 106084 106085 106146 106147 106148 106149 106156 106158 106159 106160 106161 106162 106163 106164 106165 106166 106168 106169 106170 106175 106176 106178 106179 106180 106181 106182 106183 106184 106185 106186 106187 106188 106189 106190 106191 106192 106193 106194 118464 118486 118500 118501 118502 118503 118504 118507 118514 118719 118720 118728 118729 119495 119496 119498 119499 119500 119501 119502 119627 119628 119689 119690 119691 119692 119699 119701 119702 119703 119704 119705 119706 119707 119708 119709 119711 119712 119713 119718 119719 119721 119722 119723 119724 119725 119726 119727 119728 119729 119730 119731 119732 119733 119734 119735 119736 119737 132159 132181 132195 132196 132198 132199 132202 132207 132208 132209 132414 132415 132423 132424 133207 133208 133210 133211 133212 133213 133214 133348 133349 133410 133411 133412 133413 133420 133422 133423 133424 133425 133426 133427 133428 133429 133430 133432 133433 133434 133439 133440 133442 133443 133444 133445 133446 133447 133448 133449 133450 133451 133452 133453 133454 133455 133456 133457 133458 146032 146054 146068 146069 146071 146072 146075 146080 146081 146082 146287 146288 146296 146297 147097 147098 147100 147101 147102 147103 147104 147247 147248 147309 147310 147311 147312 147319 147321 147322 147323 147324 147325 147326 147327 147328 147329 147331 147332 147333 147338 147339 147341 147342 147343 147344 147345 147346 147347 147348 147349 147350 147351 147352 147353 147354 147355 147356 147357 160083 160105 160119 160120 160122 160123 160126 160131 160132 160133 160338 160339 160347 160348 161165 161166 161168 161169 161170 161171 161172 161324 161325 161386 161387 161388 161389 161396 161398 161399 161400 161401 161402 161403 161404 161405 161406 161408 161409 161410 161415 161416 161418 161419 161420 161421 161422 161423 161424 161425 161426 161427 161428 161429 161430 161431 161432 161433 161434 174567 174568 174576 174577 175411 175412 175414 175415 175416 175417 175576 175578 175580 175641 175643 175644 175651 175653 175654 175655 175656 175657 175658 175659 175660 175661 175663 175664 175665 175666 175667 175668 175669 175670 175671 175672 175673 175674 175675 175676 175677 175678 175679 175680 175681 175682 175683 175684 175685 175686 175687 175688 175689 0
10.28/10.38	s UNSATISFIABLE

OK	1126

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3501722-1308044237/watcher-3501722-1308044237 -o /tmp/evaluation-result-3501722-1308044237/solver-3501722-1308044237 -C 1800 -W 1850 -M 7680 HOME/hhlmuc HOME/instance-3501722-1308044237.gcnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.03 3.47 2.56 4/189 23720
/proc/meminfo: memFree=31092260/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=27136 CPUtime=0 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 1264 0 0 0 0 0 0 0 25 0 1 0 994654444 27787264 1206 33554432000 4194304 4338123 140737434911296 18446744073709551615 4260118 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 6784 1206 222 36 0 3406 0

[startup+0.0766099 s]
/proc/loadavg: 4.03 3.47 2.56 4/189 23720
/proc/meminfo: memFree=31092260/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=38432 CPUtime=0.07 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 5051 0 0 0 6 1 0 0 25 0 1 0 994654444 39354368 4993 33554432000 4194304 4338123 140737434911296 18446744073709551615 231895151301 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 9643 5002 223 36 0 6265 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38432

[startup+0.100608 s]
/proc/loadavg: 4.03 3.47 2.56 4/189 23720
/proc/meminfo: memFree=31092260/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=43288 CPUtime=0.09 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 6324 0 0 0 8 1 0 0 25 0 1 0 994654444 44326912 6266 33554432000 4194304 4338123 140737434911296 18446744073709551615 4260118 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 10822 6267 223 36 0 7444 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43288

[startup+0.30057 s]
/proc/loadavg: 4.03 3.47 2.56 4/189 23720
/proc/meminfo: memFree=31092260/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=87752 CPUtime=0.29 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 16338 0 0 0 26 3 0 0 25 0 1 0 994654444 89858048 16280 33554432000 4194304 4338123 140737434911296 18446744073709551615 231895151301 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 21938 16285 223 36 0 18560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87752

[startup+0.70049 s]
/proc/loadavg: 4.03 3.47 2.56 4/189 23720
/proc/meminfo: memFree=31092260/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=161604 CPUtime=0.69 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 30015 0 0 0 65 4 0 0 25 0 1 0 994654444 165482496 29726 33554432000 4194304 4338123 140737434911296 18446744073709551615 4209090 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 40401 29726 227 36 0 37023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 161604

[startup+1.50034 s]
/proc/loadavg: 4.03 3.47 2.56 5/190 23721
/proc/meminfo: memFree=30963720/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=169072 CPUtime=1.49 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 45009 0 0 0 143 6 0 0 25 0 1 0 994654444 173129728 34480 33554432000 4194304 4338123 140737434911296 18446744073709551615 4292811 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 42268 34480 246 36 0 38890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 169072

[startup+3.10098 s]
/proc/loadavg: 4.03 3.47 2.56 5/190 23721
/proc/meminfo: memFree=30919452/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=199152 CPUtime=3.09 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 58849 0 0 0 301 8 0 0 25 0 1 0 994654444 203931648 43048 33554432000 4194304 4338123 140737434911296 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/23720/statm: 49788 43048 266 36 0 46410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199152

[startup+6.30044 s]
/proc/loadavg: 4.03 3.47 2.57 5/190 23721
/proc/meminfo: memFree=30913892/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=199152 CPUtime=6.29 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 58861 0 0 0 621 8 0 0 25 0 1 0 994654444 203931648 43060 33554432000 4194304 4338123 140737434911296 18446744073709551615 4283001 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 49788 43060 266 36 0 46410 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 199152

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

[startup+7.90114 s]
/proc/loadavg: 4.03 3.47 2.57 5/190 23721
/proc/meminfo: memFree=30910412/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=199152 CPUtime=7.89 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 58868 0 0 0 781 8 0 0 25 0 1 0 994654444 203931648 43067 33554432000 4194304 4338123 140737434911296 18446744073709551615 4281311 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 49788 43067 266 36 0 46410 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 199152

[startup+9.50084 s]
/proc/loadavg: 4.02 3.48 2.58 5/190 23721
/proc/meminfo: memFree=30908804/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=199152 CPUtime=9.49 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 58877 0 0 0 941 8 0 0 25 0 1 0 994654444 203931648 43076 33554432000 4194304 4338123 140737434911296 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 49788 43076 267 36 0 46410 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 199152

[startup+9.90676 s]
/proc/loadavg: 4.02 3.48 2.58 5/190 23721
/proc/meminfo: memFree=30904464/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=199152 CPUtime=9.89 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 58879 0 0 0 981 8 0 0 25 0 1 0 994654444 203931648 43078 33554432000 4194304 4338123 140737434911296 18446744073709551615 4283380 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 49788 43078 267 36 0 46410 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 199152

[startup+10.3007 s]
/proc/loadavg: 4.02 3.48 2.58 5/190 23721
/proc/meminfo: memFree=30904464/32950928 swapFree=67054844/67111528
[pid=23720] ppid=23718 vsize=199152 CPUtime=10.28 cores=4,6
/proc/23720/stat : 23720 (hhlmuc) R 23718 23720 22538 0 -1 4202496 58879 0 0 0 1020 8 0 0 25 0 1 0 994654444 203931648 43078 33554432000 4194304 4338123 140737434911296 18446744073709551615 4283352 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23720/statm: 49788 43078 267 36 0 46410 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 199152

Child status: 20
Real time (s): 10.3906
CPU time (s): 10.3814
CPU user time (s): 10.2884
CPU system time (s): 0.092985
CPU usage (%): 99.9117
Max. virtual memory (cumulated for all children) (KiB): 220240

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

runsolver used 0.017997 second user time and 0.046992 second system time

The end

Begin job on node114 at 2011-06-14 11:37:18
IDJOB=3501722
IDBENCH=90071
IDSOLVER=2001
FILE ID=node114/3501722-1308044237
RUNJOBID= node114-1308043735-23062
PBS_JOBID= 13564714
Free space on /tmp= 74088 MiB

SOLVER NAME= Haifa-HLMUC 2011-04-07
BENCH NAME= SAT11/gmus/belov/mentorbm1p02.aig.k20.gcnf
COMMAND LINE= HOME/hhlmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501722-1308044237/watcher-3501722-1308044237 -o /tmp/evaluation-result-3501722-1308044237/solver-3501722-1308044237 -C 1800 -W 1850 -M 7680  HOME/hhlmuc HOME/instance-3501722-1308044237.gcnf

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

MD5SUM BENCH= f9defe59fd4519c79f9b6f699181d7ee
RANDOM SEED=2134821889

node114.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.848
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.69
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.848
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.848
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.74
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.848
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.73
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.848
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	: 5332.75
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.848
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.75
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.848
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.74
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.848
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:     32950928 kB
MemFree:      31092680 kB
Buffers:        155120 kB
Cached:         558952 kB
SwapCached:      10332 kB
Active:        1167740 kB
Inactive:       508180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31092680 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           14772 kB
Writeback:           0 kB
AnonPages:      959320 kB
Mapped:          13336 kB
Slab:           114152 kB
PageTables:       7344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1218876 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= 74088 MiB
End job on node114 at 2011-06-14 11:37:28