4.30/4.39	c WARNING: for repeatability, setting FPU to use double precision
4.30/4.39	c iter 1 time 3.33549 not-muc 244946 unknown 4688 muc 0
4.30/4.39	c iter 2 time 3.40048 not-muc 244946 unknown 4687 muc 1
4.30/4.39	c iter 3 time 3.43248 not-muc 245542 unknown 4091 muc 1
4.30/4.39	c iter 4 time 3.44648 not-muc 245542 unknown 4090 muc 2
4.30/4.39	c iter 5 time 3.45947 not-muc 245542 unknown 4089 muc 3
4.30/4.39	c iter 6 time 3.47247 not-muc 245542 unknown 4088 muc 4
4.30/4.39	c iter 7 time 3.48547 not-muc 245542 unknown 4087 muc 5
4.30/4.39	c iter 8 time 3.49947 not-muc 245542 unknown 4086 muc 6
4.30/4.39	c iter 9 time 3.51347 not-muc 245542 unknown 4085 muc 7
4.30/4.39	c iter 10 time 3.54746 not-muc 245568 unknown 4059 muc 7
4.30/4.39	c iter 11 time 3.56046 not-muc 245669 unknown 3958 muc 7
4.30/4.39	c iter 12 time 3.57146 not-muc 245696 unknown 3931 muc 7
4.30/4.39	c iter 13 time 3.58046 not-muc 245746 unknown 3881 muc 7
4.30/4.39	c iter 14 time 3.59845 not-muc 245776 unknown 3851 muc 7
4.30/4.39	c iter 15 time 3.60545 not-muc 245779 unknown 3848 muc 7
4.30/4.39	c iter 16 time 3.61345 not-muc 245782 unknown 3845 muc 7
4.30/4.39	c iter 17 time 3.61945 not-muc 245785 unknown 3842 muc 7
4.30/4.39	c iter 18 time 3.62545 not-muc 245788 unknown 3839 muc 7
4.30/4.39	c iter 19 time 3.63245 not-muc 245791 unknown 3836 muc 7
4.30/4.39	c iter 20 time 3.63745 not-muc 245794 unknown 3833 muc 7
4.30/4.39	c iter 21 time 3.64345 not-muc 245797 unknown 3830 muc 7
4.30/4.39	c iter 22 time 3.64945 not-muc 245800 unknown 3827 muc 7
4.30/4.39	c iter 23 time 3.65444 not-muc 245803 unknown 3824 muc 7
4.30/4.39	c iter 24 time 3.66044 not-muc 245806 unknown 3821 muc 7
4.30/4.39	c iter 25 time 3.66644 not-muc 245809 unknown 3818 muc 7
4.30/4.39	c iter 26 time 3.67144 not-muc 245812 unknown 3815 muc 7
4.30/4.39	c iter 27 time 3.67744 not-muc 245815 unknown 3812 muc 7
4.30/4.39	c iter 28 time 3.68344 not-muc 245818 unknown 3809 muc 7
4.30/4.39	c iter 29 time 3.68844 not-muc 245819 unknown 3808 muc 7
4.30/4.39	c iter 30 time 3.69444 not-muc 246148 unknown 3479 muc 7
4.30/4.39	c iter 31 time 3.70844 not-muc 246148 unknown 3478 muc 8
4.30/4.39	c iter 32 time 3.72143 not-muc 246148 unknown 3477 muc 9
4.30/4.39	c iter 33 time 3.73443 not-muc 246148 unknown 3476 muc 10
4.30/4.39	c iter 34 time 3.74743 not-muc 246148 unknown 3475 muc 11
4.30/4.39	c iter 35 time 3.76043 not-muc 246148 unknown 3474 muc 12
4.30/4.39	c iter 36 time 3.78342 not-muc 246148 unknown 3473 muc 13
4.30/4.39	c iter 37 time 3.79642 not-muc 246148 unknown 3472 muc 14
4.30/4.39	c iter 38 time 3.80942 not-muc 246148 unknown 3471 muc 15
4.30/4.39	c iter 39 time 3.82342 not-muc 246148 unknown 3470 muc 16
4.30/4.39	c iter 40 time 3.83742 not-muc 246148 unknown 3469 muc 17
4.30/4.39	c iter 41 time 3.85041 not-muc 246148 unknown 3468 muc 18
4.30/4.39	c iter 42 time 3.86741 not-muc 246148 unknown 3467 muc 19
4.30/4.39	c iter 43 time 3.88241 not-muc 246148 unknown 3466 muc 20
4.30/4.39	c iter 44 time 3.89741 not-muc 246148 unknown 3465 muc 21
4.30/4.39	c iter 45 time 3.91141 not-muc 246148 unknown 3464 muc 22
4.30/4.39	c iter 46 time 3.9254 not-muc 246148 unknown 3463 muc 23
4.30/4.39	c iter 47 time 3.9404 not-muc 246148 unknown 3462 muc 24
4.30/4.39	c iter 48 time 3.9574 not-muc 246148 unknown 3461 muc 25
4.30/4.39	c iter 49 time 3.9714 not-muc 246148 unknown 3460 muc 26
4.30/4.39	c iter 50 time 3.98639 not-muc 246148 unknown 3459 muc 27
4.30/4.39	c iter 51 time 4.00039 not-muc 246148 unknown 3458 muc 28
4.30/4.39	c iter 52 time 4.01639 not-muc 246200 unknown 3406 muc 28
4.30/4.39	c iter 53 time 4.03039 not-muc 246200 unknown 3405 muc 29
4.30/4.39	c iter 54 time 4.04938 not-muc 246200 unknown 3404 muc 30
4.30/4.39	c iter 55 time 4.06238 not-muc 246511 unknown 3093 muc 30
4.30/4.39	c iter 56 time 4.08238 not-muc 246511 unknown 3092 muc 31
4.30/4.39	c iter 57 time 4.09838 not-muc 246511 unknown 3091 muc 32
4.30/4.39	c iter 58 time 4.11237 not-muc 246511 unknown 3090 muc 33
4.30/4.39	c iter 59 time 4.12637 not-muc 246511 unknown 3089 muc 34
4.30/4.39	c iter 60 time 4.13937 not-muc 246511 unknown 3088 muc 35
4.30/4.39	c iter 61 time 4.15437 not-muc 246511 unknown 3087 muc 36
4.30/4.39	c iter 62 time 4.17237 not-muc 246511 unknown 3086 muc 37
4.30/4.39	c iter 63 time 4.18036 not-muc 246523 unknown 3074 muc 37
4.30/4.39	c iter 64 time 4.19336 not-muc 246523 unknown 3073 muc 38
4.30/4.39	c iter 65 time 4.20736 not-muc 246523 unknown 3072 muc 39
4.30/4.39	c iter 66 time 4.22036 not-muc 246523 unknown 3071 muc 40
4.30/4.39	c iter 67 time 4.23436 not-muc 246523 unknown 3070 muc 41
4.30/4.39	c iter 68 time 4.24835 not-muc 246523 unknown 3069 muc 42
4.30/4.39	c iter 69 time 4.26135 not-muc 246523 unknown 3068 muc 43
4.30/4.39	c iter 70 time 4.28535 not-muc 246523 unknown 3067 muc 44
4.30/4.39	c iter 71 time 4.29835 not-muc 246523 unknown 3066 muc 45
5.40/5.47	c iter 72 time 4.31134 not-muc 246523 unknown 3065 muc 46
5.40/5.47	c iter 73 time 4.32534 not-muc 246523 unknown 3064 muc 47
5.40/5.47	c iter 74 time 4.33934 not-muc 246523 unknown 3063 muc 48
5.40/5.47	c iter 75 time 4.35334 not-muc 246523 unknown 3062 muc 49
5.40/5.47	c iter 76 time 4.36734 not-muc 246523 unknown 3061 muc 50
5.40/5.47	c iter 77 time 4.38433 not-muc 246523 unknown 3060 muc 51
5.40/5.47	c iter 78 time 4.39833 not-muc 246523 unknown 3059 muc 52
5.40/5.47	c iter 79 time 4.41233 not-muc 246523 unknown 3058 muc 53
5.40/5.47	c iter 80 time 4.42633 not-muc 246523 unknown 3057 muc 54
5.40/5.47	c iter 81 time 4.44032 not-muc 246523 unknown 3056 muc 55
5.40/5.47	c iter 82 time 4.45532 not-muc 246523 unknown 3055 muc 56
5.40/5.47	c iter 83 time 4.46932 not-muc 246523 unknown 3054 muc 57
5.40/5.47	c iter 84 time 4.48632 not-muc 246523 unknown 3053 muc 58
5.40/5.47	c iter 85 time 4.50031 not-muc 246523 unknown 3052 muc 59
5.40/5.47	c iter 86 time 4.51431 not-muc 246523 unknown 3051 muc 60
5.40/5.47	c iter 87 time 4.52931 not-muc 246523 unknown 3050 muc 61
5.40/5.47	c iter 88 time 4.54231 not-muc 246523 unknown 3049 muc 62
5.40/5.47	c iter 89 time 4.55731 not-muc 246523 unknown 3048 muc 63
5.40/5.47	c iter 90 time 4.5713 not-muc 246523 unknown 3047 muc 64
5.40/5.47	c iter 91 time 4.5893 not-muc 246523 unknown 3046 muc 65
5.40/5.47	c iter 92 time 4.6033 not-muc 246523 unknown 3045 muc 66
5.40/5.47	c iter 93 time 4.6173 not-muc 246523 unknown 3044 muc 67
5.40/5.47	c iter 94 time 4.6323 not-muc 246523 unknown 3043 muc 68
5.40/5.47	c iter 95 time 4.64629 not-muc 246523 unknown 3042 muc 69
5.40/5.47	c iter 96 time 4.66029 not-muc 246523 unknown 3041 muc 70
5.40/5.47	c iter 97 time 4.67529 not-muc 246523 unknown 3040 muc 71
5.40/5.47	c iter 98 time 4.69229 not-muc 246523 unknown 3039 muc 72
5.40/5.47	c iter 99 time 4.70628 not-muc 246523 unknown 3038 muc 73
5.40/5.47	c iter 100 time 4.72128 not-muc 246523 unknown 3037 muc 74
5.40/5.47	c iter 101 time 4.73528 not-muc 246523 unknown 3036 muc 75
5.40/5.47	c iter 102 time 4.74828 not-muc 246523 unknown 3035 muc 76
5.40/5.47	c iter 103 time 4.76228 not-muc 246523 unknown 3034 muc 77
5.40/5.47	c iter 104 time 4.77627 not-muc 246523 unknown 3033 muc 78
5.40/5.47	c iter 105 time 4.79327 not-muc 246523 unknown 3032 muc 79
5.40/5.47	c iter 106 time 4.80727 not-muc 246523 unknown 3031 muc 80
5.40/5.47	c iter 107 time 4.82027 not-muc 246523 unknown 3030 muc 81
5.40/5.47	c iter 108 time 4.83427 not-muc 246523 unknown 3029 muc 82
5.40/5.47	c iter 109 time 4.84826 not-muc 246523 unknown 3028 muc 83
5.40/5.47	c iter 110 time 4.86226 not-muc 246523 unknown 3027 muc 84
5.40/5.47	c iter 111 time 4.87626 not-muc 246523 unknown 3026 muc 85
5.40/5.47	c iter 112 time 4.89426 not-muc 246523 unknown 3025 muc 86
5.40/5.47	c iter 113 time 4.90825 not-muc 246523 unknown 3024 muc 87
5.40/5.47	c iter 114 time 4.92225 not-muc 246523 unknown 3023 muc 88
5.40/5.47	c iter 115 time 4.93625 not-muc 246523 unknown 3022 muc 89
5.40/5.47	c iter 116 time 4.95025 not-muc 246523 unknown 3021 muc 90
5.40/5.47	c iter 117 time 4.96525 not-muc 246523 unknown 3020 muc 91
5.40/5.47	c iter 118 time 4.97924 not-muc 246523 unknown 3019 muc 92
5.40/5.47	c iter 119 time 4.99724 not-muc 246523 unknown 3018 muc 93
5.40/5.47	c iter 120 time 5.01124 not-muc 246523 unknown 3017 muc 94
5.40/5.47	c iter 121 time 5.02623 not-muc 246523 unknown 3016 muc 95
5.40/5.47	c iter 122 time 5.04023 not-muc 246523 unknown 3015 muc 96
5.40/5.47	c iter 123 time 5.05523 not-muc 246523 unknown 3014 muc 97
5.40/5.47	c iter 124 time 5.07023 not-muc 246523 unknown 3013 muc 98
5.40/5.47	c iter 125 time 5.08523 not-muc 246523 unknown 3012 muc 99
5.40/5.47	c iter 126 time 5.11222 not-muc 246557 unknown 2978 muc 99
5.40/5.47	c iter 127 time 5.13322 not-muc 246557 unknown 2977 muc 100
5.40/5.47	c iter 128 time 5.14722 not-muc 246557 unknown 2976 muc 101
5.40/5.47	c iter 129 time 5.16122 not-muc 246557 unknown 2975 muc 102
5.40/5.47	c iter 130 time 5.17621 not-muc 246557 unknown 2974 muc 103
5.40/5.47	c iter 131 time 5.19121 not-muc 246557 unknown 2973 muc 104
5.40/5.47	c iter 132 time 5.20621 not-muc 246557 unknown 2972 muc 105
5.40/5.47	c iter 133 time 5.22321 not-muc 246557 unknown 2971 muc 106
5.40/5.47	c iter 134 time 5.2492 not-muc 246557 unknown 2970 muc 107
5.40/5.47	c iter 135 time 5.2642 not-muc 246557 unknown 2969 muc 108
5.40/5.47	c iter 136 time 5.2802 not-muc 246557 unknown 2968 muc 109
5.40/5.47	c iter 137 time 5.30419 not-muc 246557 unknown 2967 muc 110
5.40/5.47	c iter 138 time 5.32219 not-muc 246557 unknown 2966 muc 111
5.40/5.47	c iter 139 time 5.33919 not-muc 246557 unknown 2965 muc 112
5.40/5.47	c iter 140 time 5.35919 not-muc 246557 unknown 2964 muc 113
5.40/5.47	c iter 141 time 5.37618 not-muc 246557 unknown 2963 muc 114
6.29/6.39	c iter 142 time 5.39018 not-muc 246557 unknown 2962 muc 115
6.29/6.39	c iter 143 time 5.40618 not-muc 246557 unknown 2961 muc 116
6.29/6.39	c iter 144 time 5.42817 not-muc 246567 unknown 2951 muc 116
6.29/6.39	c iter 145 time 5.44217 not-muc 246625 unknown 2893 muc 116
6.29/6.39	c iter 146 time 5.45117 not-muc 246626 unknown 2892 muc 116
6.29/6.39	c iter 147 time 5.46017 not-muc 246633 unknown 2885 muc 116
6.29/6.39	c iter 148 time 5.47617 not-muc 246634 unknown 2884 muc 116
6.29/6.39	c iter 149 time 5.48616 not-muc 246635 unknown 2883 muc 116
6.29/6.39	c iter 150 time 5.49616 not-muc 246636 unknown 2882 muc 116
6.29/6.39	c iter 151 time 5.50316 not-muc 246815 unknown 2703 muc 116
6.29/6.39	c iter 152 time 5.51016 not-muc 246816 unknown 2702 muc 116
6.29/6.39	c iter 153 time 5.51916 not-muc 246828 unknown 2690 muc 116
6.29/6.39	c iter 154 time 5.53716 not-muc 246828 unknown 2689 muc 117
6.29/6.39	c iter 155 time 5.55116 not-muc 246828 unknown 2688 muc 118
6.29/6.39	c iter 156 time 5.56515 not-muc 246828 unknown 2687 muc 119
6.29/6.39	c iter 157 time 5.58315 not-muc 246868 unknown 2647 muc 119
6.29/6.39	c iter 158 time 5.59815 not-muc 246868 unknown 2646 muc 120
6.29/6.39	c iter 159 time 5.61215 not-muc 246868 unknown 2645 muc 121
6.29/6.39	c iter 160 time 5.62614 not-muc 246868 unknown 2644 muc 122
6.29/6.39	c iter 161 time 5.63914 not-muc 246868 unknown 2643 muc 123
6.29/6.39	c iter 162 time 5.65614 not-muc 246868 unknown 2642 muc 124
6.29/6.39	c iter 163 time 5.67014 not-muc 246868 unknown 2641 muc 125
6.29/6.39	c iter 164 time 5.68314 not-muc 246868 unknown 2640 muc 126
6.29/6.39	c iter 165 time 5.69713 not-muc 246868 unknown 2639 muc 127
6.29/6.39	c iter 166 time 5.71413 not-muc 246868 unknown 2638 muc 128
6.29/6.39	c iter 167 time 5.72413 not-muc 246969 unknown 2537 muc 128
6.29/6.39	c iter 168 time 5.73113 not-muc 247096 unknown 2410 muc 128
6.29/6.39	c iter 169 time 5.74513 not-muc 247096 unknown 2409 muc 129
6.29/6.39	c iter 170 time 5.76012 not-muc 247096 unknown 2408 muc 130
6.29/6.39	c iter 171 time 5.77412 not-muc 247096 unknown 2407 muc 131
6.29/6.39	c iter 172 time 5.79812 not-muc 247096 unknown 2406 muc 132
6.29/6.39	c iter 173 time 5.81212 not-muc 247096 unknown 2405 muc 133
6.29/6.39	c iter 174 time 5.82711 not-muc 247096 unknown 2404 muc 134
6.29/6.39	c iter 175 time 5.84511 not-muc 247096 unknown 2403 muc 135
6.29/6.39	c iter 176 time 5.85911 not-muc 247096 unknown 2402 muc 136
6.29/6.39	c iter 177 time 5.86711 not-muc 247120 unknown 2378 muc 136
6.29/6.39	c iter 178 time 5.87411 not-muc 247132 unknown 2366 muc 136
6.29/6.39	c iter 179 time 5.88511 not-muc 247142 unknown 2356 muc 136
6.29/6.39	c iter 180 time 5.8931 not-muc 247181 unknown 2317 muc 136
6.29/6.39	c iter 181 time 5.9001 not-muc 247195 unknown 2303 muc 136
6.29/6.39	c iter 182 time 5.9151 not-muc 247195 unknown 2302 muc 137
6.29/6.39	c iter 183 time 5.9291 not-muc 247195 unknown 2301 muc 138
6.29/6.39	c iter 184 time 5.9471 not-muc 247205 unknown 2291 muc 138
6.29/6.39	c iter 185 time 5.95409 not-muc 247207 unknown 2289 muc 138
6.29/6.39	c iter 186 time 5.96809 not-muc 247207 unknown 2288 muc 139
6.29/6.39	c iter 187 time 5.98309 not-muc 247207 unknown 2287 muc 140
6.29/6.39	c iter 188 time 6.00609 not-muc 247207 unknown 2286 muc 141
6.29/6.39	c iter 189 time 6.02008 not-muc 247207 unknown 2285 muc 142
6.29/6.39	c iter 190 time 6.03708 not-muc 247207 unknown 2284 muc 143
6.29/6.39	c iter 191 time 6.05208 not-muc 247207 unknown 2283 muc 144
6.29/6.39	c iter 192 time 6.06108 not-muc 247455 unknown 2035 muc 144
6.29/6.39	c iter 193 time 6.07608 not-muc 247455 unknown 2034 muc 145
6.29/6.39	c iter 194 time 6.09007 not-muc 247455 unknown 2033 muc 146
6.29/6.39	c iter 195 time 6.10707 not-muc 247455 unknown 2032 muc 147
6.29/6.39	c iter 196 time 6.12107 not-muc 247455 unknown 2031 muc 148
6.29/6.39	c iter 197 time 6.13107 not-muc 247473 unknown 2013 muc 148
6.29/6.39	c iter 198 time 6.14506 not-muc 247473 unknown 2012 muc 149
6.29/6.39	c iter 199 time 6.15206 not-muc 247474 unknown 2011 muc 149
6.29/6.39	c iter 200 time 6.16606 not-muc 247474 unknown 2010 muc 150
6.29/6.39	c iter 201 time 6.18306 not-muc 247474 unknown 2009 muc 151
6.29/6.39	c iter 202 time 6.19706 not-muc 247474 unknown 2008 muc 152
6.29/6.39	c iter 203 time 6.21406 not-muc 247474 unknown 2007 muc 153
6.29/6.39	c iter 204 time 6.22705 not-muc 247474 unknown 2006 muc 154
6.29/6.39	c iter 205 time 6.24305 not-muc 247474 unknown 2005 muc 155
6.29/6.39	c iter 206 time 6.25605 not-muc 247474 unknown 2004 muc 156
6.29/6.39	c iter 207 time 6.27305 not-muc 247474 unknown 2003 muc 157
6.29/6.39	c iter 208 time 6.28604 not-muc 247474 unknown 2002 muc 158
6.29/6.39	c iter 209 time 6.30204 not-muc 247474 unknown 2001 muc 159
7.39/7.40	c iter 210 time 6.31504 not-muc 247474 unknown 2000 muc 160
7.39/7.40	c iter 211 time 6.33204 not-muc 247474 unknown 1999 muc 161
7.39/7.40	c iter 212 time 6.34504 not-muc 247474 unknown 1998 muc 162
7.39/7.40	c iter 213 time 6.36103 not-muc 247474 unknown 1997 muc 163
7.39/7.40	c iter 214 time 6.37403 not-muc 247474 unknown 1996 muc 164
7.39/7.40	c iter 215 time 6.39003 not-muc 247474 unknown 1995 muc 165
7.39/7.40	c iter 216 time 6.40403 not-muc 247474 unknown 1994 muc 166
7.39/7.40	c iter 217 time 6.42002 not-muc 247474 unknown 1993 muc 167
7.39/7.40	c iter 218 time 6.43402 not-muc 247474 unknown 1992 muc 168
7.39/7.40	c iter 219 time 6.44902 not-muc 247474 unknown 1991 muc 169
7.39/7.40	c iter 220 time 6.46302 not-muc 247474 unknown 1990 muc 170
7.39/7.40	c iter 221 time 6.47902 not-muc 247474 unknown 1989 muc 171
7.39/7.40	c iter 222 time 6.49201 not-muc 247474 unknown 1988 muc 172
7.39/7.40	c iter 223 time 6.50801 not-muc 247474 unknown 1987 muc 173
7.39/7.40	c iter 224 time 6.52201 not-muc 247474 unknown 1986 muc 174
7.39/7.40	c iter 225 time 6.53801 not-muc 247474 unknown 1985 muc 175
7.39/7.40	c iter 226 time 6.552 not-muc 247474 unknown 1984 muc 176
7.39/7.40	c iter 227 time 6.568 not-muc 247474 unknown 1983 muc 177
7.39/7.40	c iter 228 time 6.584 not-muc 247474 unknown 1982 muc 178
7.39/7.40	c iter 229 time 6.601 not-muc 247474 unknown 1981 muc 179
7.39/7.40	c iter 230 time 6.61499 not-muc 247474 unknown 1980 muc 180
7.39/7.40	c iter 231 time 6.62899 not-muc 247474 unknown 1979 muc 181
7.39/7.40	c iter 232 time 6.64499 not-muc 247474 unknown 1978 muc 182
7.39/7.40	c iter 233 time 6.65899 not-muc 247474 unknown 1977 muc 183
7.39/7.40	c iter 234 time 6.67399 not-muc 247474 unknown 1976 muc 184
7.39/7.40	c iter 235 time 6.69098 not-muc 247474 unknown 1975 muc 185
7.39/7.40	c iter 236 time 6.70498 not-muc 247474 unknown 1974 muc 186
7.39/7.40	c iter 237 time 6.71798 not-muc 247474 unknown 1973 muc 187
7.39/7.40	c iter 238 time 6.73498 not-muc 247474 unknown 1972 muc 188
7.39/7.40	c iter 239 time 6.74897 not-muc 247474 unknown 1971 muc 189
7.39/7.40	c iter 240 time 6.75597 not-muc 247606 unknown 1839 muc 189
7.39/7.40	c iter 241 time 6.76297 not-muc 247607 unknown 1838 muc 189
7.39/7.40	c iter 242 time 6.77597 not-muc 247607 unknown 1837 muc 190
7.39/7.40	c iter 243 time 6.79197 not-muc 247677 unknown 1767 muc 190
7.39/7.40	c iter 244 time 6.80597 not-muc 247677 unknown 1766 muc 191
7.39/7.40	c iter 245 time 6.82196 not-muc 247677 unknown 1765 muc 192
7.39/7.40	c iter 246 time 6.83796 not-muc 247677 unknown 1764 muc 193
7.39/7.40	c iter 247 time 6.85396 not-muc 247677 unknown 1763 muc 194
7.39/7.40	c iter 248 time 6.86396 not-muc 247679 unknown 1761 muc 194
7.39/7.40	c iter 249 time 6.87695 not-muc 247679 unknown 1760 muc 195
7.39/7.40	c iter 250 time 6.89295 not-muc 247679 unknown 1759 muc 196
7.39/7.40	c iter 251 time 6.90995 not-muc 247679 unknown 1758 muc 197
7.39/7.40	c iter 252 time 6.92595 not-muc 247679 unknown 1757 muc 198
7.39/7.40	c iter 253 time 6.93595 not-muc 247684 unknown 1752 muc 198
7.39/7.40	c iter 254 time 6.94894 not-muc 247684 unknown 1751 muc 199
7.39/7.40	c iter 255 time 6.96494 not-muc 247684 unknown 1750 muc 200
7.39/7.40	c iter 256 time 6.98194 not-muc 247684 unknown 1749 muc 201
7.39/7.40	c iter 257 time 6.99794 not-muc 247684 unknown 1748 muc 202
7.39/7.40	c iter 258 time 7.01493 not-muc 247684 unknown 1747 muc 203
7.39/7.40	c iter 259 time 7.03093 not-muc 247684 unknown 1746 muc 204
7.39/7.40	c iter 260 time 7.04693 not-muc 247684 unknown 1745 muc 205
7.39/7.40	c iter 261 time 7.06293 not-muc 247684 unknown 1744 muc 206
7.39/7.40	c iter 262 time 7.07992 not-muc 247684 unknown 1743 muc 207
7.39/7.40	c iter 263 time 7.08892 not-muc 247685 unknown 1742 muc 207
7.39/7.40	c iter 264 time 7.10292 not-muc 247685 unknown 1741 muc 208
7.39/7.40	c iter 265 time 7.11892 not-muc 247685 unknown 1740 muc 209
7.39/7.40	c iter 266 time 7.13492 not-muc 247685 unknown 1739 muc 210
7.39/7.40	c iter 267 time 7.15191 not-muc 247685 unknown 1738 muc 211
7.39/7.40	c iter 268 time 7.16891 not-muc 247685 unknown 1737 muc 212
7.39/7.40	c iter 269 time 7.18491 not-muc 247685 unknown 1736 muc 213
7.39/7.40	c iter 270 time 7.20191 not-muc 247685 unknown 1735 muc 214
7.39/7.40	c iter 271 time 7.2179 not-muc 247685 unknown 1734 muc 215
7.39/7.40	c iter 272 time 7.2339 not-muc 247685 unknown 1733 muc 216
7.39/7.40	c iter 273 time 7.2509 not-muc 247685 unknown 1732 muc 217
7.39/7.40	c iter 274 time 7.2679 not-muc 247685 unknown 1731 muc 218
7.39/7.40	c iter 275 time 7.28389 not-muc 247685 unknown 1730 muc 219
7.39/7.40	c iter 276 time 7.30089 not-muc 247685 unknown 1729 muc 220
7.39/7.40	c iter 277 time 7.31089 not-muc 247695 unknown 1719 muc 220
8.39/8.48	c iter 278 time 7.32389 not-muc 247695 unknown 1718 muc 221
8.39/8.48	c iter 279 time 7.34088 not-muc 247695 unknown 1717 muc 222
8.39/8.48	c iter 280 time 7.35788 not-muc 247695 unknown 1716 muc 223
8.39/8.48	c iter 281 time 7.37388 not-muc 247695 unknown 1715 muc 224
8.39/8.48	c iter 282 time 7.39088 not-muc 247695 unknown 1714 muc 225
8.39/8.48	c iter 283 time 7.40787 not-muc 247695 unknown 1713 muc 226
8.39/8.48	c iter 284 time 7.42387 not-muc 247695 unknown 1712 muc 227
8.39/8.48	c iter 285 time 7.44087 not-muc 247695 unknown 1711 muc 228
8.39/8.48	c iter 286 time 7.45687 not-muc 247695 unknown 1710 muc 229
8.39/8.48	c iter 287 time 7.47286 not-muc 247695 unknown 1709 muc 230
8.39/8.48	c iter 288 time 7.48886 not-muc 247695 unknown 1708 muc 231
8.39/8.48	c iter 289 time 7.50486 not-muc 247695 unknown 1707 muc 232
8.39/8.48	c iter 290 time 7.52086 not-muc 247695 unknown 1706 muc 233
8.39/8.48	c iter 291 time 7.53685 not-muc 247695 unknown 1705 muc 234
8.39/8.48	c iter 292 time 7.55385 not-muc 247695 unknown 1704 muc 235
8.39/8.48	c iter 293 time 7.56985 not-muc 247695 unknown 1703 muc 236
8.39/8.48	c iter 294 time 7.58685 not-muc 247695 unknown 1702 muc 237
8.39/8.48	c iter 295 time 7.60284 not-muc 247695 unknown 1701 muc 238
8.39/8.48	c iter 296 time 7.61984 not-muc 247695 unknown 1700 muc 239
8.39/8.48	c iter 297 time 7.63584 not-muc 247695 unknown 1699 muc 240
8.39/8.48	c iter 298 time 7.65284 not-muc 247695 unknown 1698 muc 241
8.39/8.48	c iter 299 time 7.67183 not-muc 247695 unknown 1697 muc 242
8.39/8.48	c iter 300 time 7.68883 not-muc 247695 unknown 1696 muc 243
8.39/8.48	c iter 301 time 7.70283 not-muc 247695 unknown 1695 muc 244
8.39/8.48	c iter 302 time 7.71883 not-muc 247695 unknown 1694 muc 245
8.39/8.48	c iter 303 time 7.73382 not-muc 247695 unknown 1693 muc 246
8.39/8.48	c iter 304 time 7.75082 not-muc 247695 unknown 1692 muc 247
8.39/8.48	c iter 305 time 7.76382 not-muc 247695 unknown 1691 muc 248
8.39/8.48	c iter 306 time 7.77982 not-muc 247695 unknown 1690 muc 249
8.39/8.48	c iter 307 time 7.79382 not-muc 247695 unknown 1689 muc 250
8.39/8.48	c iter 308 time 7.80981 not-muc 247695 unknown 1688 muc 251
8.39/8.48	c iter 309 time 7.82381 not-muc 247695 unknown 1687 muc 252
8.39/8.48	c iter 310 time 7.83981 not-muc 247695 unknown 1686 muc 253
8.39/8.48	c iter 311 time 7.8548 not-muc 247695 unknown 1685 muc 254
8.39/8.48	c iter 312 time 7.8708 not-muc 247695 unknown 1684 muc 255
8.39/8.48	c iter 313 time 7.8848 not-muc 247695 unknown 1683 muc 256
8.39/8.48	c iter 314 time 7.9008 not-muc 247695 unknown 1682 muc 257
8.39/8.48	c iter 315 time 7.9148 not-muc 247695 unknown 1681 muc 258
8.39/8.48	c iter 316 time 7.93079 not-muc 247695 unknown 1680 muc 259
8.39/8.48	c iter 317 time 7.94579 not-muc 247695 unknown 1679 muc 260
8.39/8.48	c iter 318 time 7.96179 not-muc 247695 unknown 1678 muc 261
8.39/8.48	c iter 319 time 7.97579 not-muc 247695 unknown 1677 muc 262
8.39/8.48	c iter 320 time 7.99179 not-muc 247695 unknown 1676 muc 263
8.39/8.48	c iter 321 time 8.00578 not-muc 247695 unknown 1675 muc 264
8.39/8.48	c iter 322 time 8.02178 not-muc 247695 unknown 1674 muc 265
8.39/8.48	c iter 323 time 8.03578 not-muc 247695 unknown 1673 muc 266
8.39/8.48	c iter 324 time 8.05177 not-muc 247695 unknown 1672 muc 267
8.39/8.48	c iter 325 time 8.06577 not-muc 247695 unknown 1671 muc 268
8.39/8.48	c iter 326 time 8.08177 not-muc 247695 unknown 1670 muc 269
8.39/8.48	c iter 327 time 8.09577 not-muc 247695 unknown 1669 muc 270
8.39/8.48	c iter 328 time 8.11177 not-muc 247695 unknown 1668 muc 271
8.39/8.48	c iter 329 time 8.12576 not-muc 247695 unknown 1667 muc 272
8.39/8.48	c iter 330 time 8.14276 not-muc 247695 unknown 1666 muc 273
8.39/8.48	c iter 331 time 8.15676 not-muc 247695 unknown 1665 muc 274
8.39/8.48	c iter 332 time 8.17376 not-muc 247695 unknown 1664 muc 275
8.39/8.48	c iter 333 time 8.18876 not-muc 247695 unknown 1663 muc 276
8.39/8.48	c iter 334 time 8.20575 not-muc 247695 unknown 1662 muc 277
8.39/8.48	c iter 335 time 8.21975 not-muc 247695 unknown 1661 muc 278
8.39/8.48	c iter 336 time 8.23675 not-muc 247695 unknown 1660 muc 279
8.39/8.48	c iter 337 time 8.25174 not-muc 247695 unknown 1659 muc 280
8.39/8.48	c iter 338 time 8.26874 not-muc 247695 unknown 1658 muc 281
8.39/8.48	c iter 339 time 8.28274 not-muc 247695 unknown 1657 muc 282
8.39/8.48	c iter 340 time 8.29974 not-muc 247695 unknown 1656 muc 283
8.39/8.48	c iter 341 time 8.31474 not-muc 247695 unknown 1655 muc 284
8.39/8.48	c iter 342 time 8.33173 not-muc 247695 unknown 1654 muc 285
8.39/8.48	c iter 343 time 8.34673 not-muc 247695 unknown 1653 muc 286
8.39/8.48	c iter 344 time 8.36373 not-muc 247695 unknown 1652 muc 287
8.39/8.48	c iter 345 time 8.37773 not-muc 247695 unknown 1651 muc 288
8.39/8.48	c iter 346 time 8.39472 not-muc 247695 unknown 1650 muc 289
9.49/9.51	c iter 347 time 8.40872 not-muc 247695 unknown 1649 muc 290
9.49/9.51	c iter 348 time 8.42472 not-muc 247695 unknown 1648 muc 291
9.49/9.51	c iter 349 time 8.43872 not-muc 247695 unknown 1647 muc 292
9.49/9.51	c iter 350 time 8.45671 not-muc 247695 unknown 1646 muc 293
9.49/9.51	c iter 351 time 8.47071 not-muc 247695 unknown 1645 muc 294
9.49/9.51	c iter 352 time 8.48771 not-muc 247695 unknown 1644 muc 295
9.49/9.51	c iter 353 time 8.50271 not-muc 247695 unknown 1643 muc 296
9.49/9.51	c iter 354 time 8.5197 not-muc 247695 unknown 1642 muc 297
9.49/9.51	c iter 355 time 8.5277 not-muc 247700 unknown 1637 muc 297
9.49/9.51	c iter 356 time 8.5347 not-muc 247702 unknown 1635 muc 297
9.49/9.51	c iter 357 time 8.5487 not-muc 247702 unknown 1634 muc 298
9.49/9.51	c iter 358 time 8.5707 not-muc 247702 unknown 1633 muc 299
9.49/9.51	c iter 359 time 8.57969 not-muc 247714 unknown 1621 muc 299
9.49/9.51	c iter 360 time 8.59369 not-muc 247714 unknown 1620 muc 300
9.49/9.51	c iter 361 time 8.61069 not-muc 247714 unknown 1619 muc 301
9.49/9.51	c iter 362 time 8.62669 not-muc 247714 unknown 1618 muc 302
9.49/9.51	c iter 363 time 8.64269 not-muc 247714 unknown 1617 muc 303
9.49/9.51	c iter 364 time 8.65868 not-muc 247714 unknown 1616 muc 304
9.49/9.51	c iter 365 time 8.67468 not-muc 247714 unknown 1615 muc 305
9.49/9.51	c iter 366 time 8.68468 not-muc 247715 unknown 1614 muc 305
9.49/9.51	c iter 367 time 8.69768 not-muc 247715 unknown 1613 muc 306
9.49/9.51	c iter 368 time 8.71467 not-muc 247715 unknown 1612 muc 307
9.49/9.51	c iter 369 time 8.73067 not-muc 247715 unknown 1611 muc 308
9.49/9.51	c iter 370 time 8.74667 not-muc 247715 unknown 1610 muc 309
9.49/9.51	c iter 371 time 8.76367 not-muc 247715 unknown 1609 muc 310
9.49/9.51	c iter 372 time 8.77966 not-muc 247715 unknown 1608 muc 311
9.49/9.51	c iter 373 time 8.78966 not-muc 247719 unknown 1604 muc 311
9.49/9.51	c iter 374 time 8.80366 not-muc 247719 unknown 1603 muc 312
9.49/9.51	c iter 375 time 8.81966 not-muc 247719 unknown 1602 muc 313
9.49/9.51	c iter 376 time 8.83666 not-muc 247719 unknown 1601 muc 314
9.49/9.51	c iter 377 time 8.85165 not-muc 247719 unknown 1600 muc 315
9.49/9.51	c iter 378 time 8.86665 not-muc 247719 unknown 1599 muc 316
9.49/9.51	c iter 379 time 8.88165 not-muc 247719 unknown 1598 muc 317
9.49/9.51	c iter 380 time 8.89665 not-muc 247719 unknown 1597 muc 318
9.49/9.51	c iter 381 time 8.91165 not-muc 247719 unknown 1596 muc 319
9.49/9.51	c iter 382 time 8.92664 not-muc 247719 unknown 1595 muc 320
9.49/9.51	c iter 383 time 8.94264 not-muc 247719 unknown 1594 muc 321
9.49/9.51	c iter 384 time 8.95764 not-muc 247719 unknown 1593 muc 322
9.49/9.51	c iter 385 time 8.97264 not-muc 247719 unknown 1592 muc 323
9.49/9.51	c iter 386 time 8.98863 not-muc 247719 unknown 1591 muc 324
9.49/9.51	c iter 387 time 9.00363 not-muc 247719 unknown 1590 muc 325
9.49/9.51	c iter 388 time 9.01863 not-muc 247719 unknown 1589 muc 326
9.49/9.51	c iter 389 time 9.03363 not-muc 247719 unknown 1588 muc 327
9.49/9.51	c iter 390 time 9.04862 not-muc 247719 unknown 1587 muc 328
9.49/9.51	c iter 391 time 9.06462 not-muc 247719 unknown 1586 muc 329
9.49/9.51	c iter 392 time 9.07962 not-muc 247719 unknown 1585 muc 330
9.49/9.51	c iter 393 time 9.09462 not-muc 247719 unknown 1584 muc 331
9.49/9.51	c iter 394 time 9.10961 not-muc 247719 unknown 1583 muc 332
9.49/9.51	c iter 395 time 9.12561 not-muc 247719 unknown 1582 muc 333
9.49/9.51	c iter 396 time 9.14061 not-muc 247719 unknown 1581 muc 334
9.49/9.51	c iter 397 time 9.15561 not-muc 247719 unknown 1580 muc 335
9.49/9.51	c iter 398 time 9.17061 not-muc 247719 unknown 1579 muc 336
9.49/9.51	c iter 399 time 9.1866 not-muc 247719 unknown 1578 muc 337
9.49/9.51	c iter 400 time 9.2016 not-muc 247719 unknown 1577 muc 338
9.49/9.51	c iter 401 time 9.2166 not-muc 247719 unknown 1576 muc 339
9.49/9.51	c iter 402 time 9.2326 not-muc 247719 unknown 1575 muc 340
9.49/9.51	c iter 403 time 9.24759 not-muc 247719 unknown 1574 muc 341
9.49/9.51	c iter 404 time 9.26259 not-muc 247719 unknown 1573 muc 342
9.49/9.51	c iter 405 time 9.27859 not-muc 247719 unknown 1572 muc 343
9.49/9.51	c iter 406 time 9.29359 not-muc 247719 unknown 1571 muc 344
9.49/9.51	c iter 407 time 9.30858 not-muc 247719 unknown 1570 muc 345
9.49/9.51	c iter 408 time 9.32458 not-muc 247719 unknown 1569 muc 346
9.49/9.51	c iter 409 time 9.33958 not-muc 247719 unknown 1568 muc 347
9.49/9.51	c iter 410 time 9.35558 not-muc 247719 unknown 1567 muc 348
9.49/9.51	c iter 411 time 9.37058 not-muc 247719 unknown 1566 muc 349
9.49/9.51	c iter 412 time 9.38557 not-muc 247719 unknown 1565 muc 350
9.49/9.51	c iter 413 time 9.39157 not-muc 247790 unknown 1494 muc 350
9.49/9.51	c iter 414 time 9.41257 not-muc 247790 unknown 1493 muc 351
10.39/10.48	c iter 415 time 9.42757 not-muc 247790 unknown 1492 muc 352
10.39/10.48	c iter 416 time 9.44356 not-muc 247790 unknown 1491 muc 353
10.39/10.48	c iter 417 time 9.45856 not-muc 247790 unknown 1490 muc 354
10.39/10.48	c iter 418 time 9.47356 not-muc 247790 unknown 1489 muc 355
10.39/10.48	c iter 419 time 9.48856 not-muc 247790 unknown 1488 muc 356
10.39/10.48	c iter 420 time 9.50356 not-muc 247790 unknown 1487 muc 357
10.39/10.48	c iter 421 time 9.51855 not-muc 247790 unknown 1486 muc 358
10.39/10.48	c iter 422 time 9.53455 not-muc 247790 unknown 1485 muc 359
10.39/10.48	c iter 423 time 9.54955 not-muc 247790 unknown 1484 muc 360
10.39/10.48	c iter 424 time 9.56455 not-muc 247790 unknown 1483 muc 361
10.39/10.48	c iter 425 time 9.57954 not-muc 247790 unknown 1482 muc 362
10.39/10.48	c iter 426 time 9.59554 not-muc 247790 unknown 1481 muc 363
10.39/10.48	c iter 427 time 9.61054 not-muc 247790 unknown 1480 muc 364
10.39/10.48	c iter 428 time 9.62554 not-muc 247790 unknown 1479 muc 365
10.39/10.48	c iter 429 time 9.64053 not-muc 247790 unknown 1478 muc 366
10.39/10.48	c iter 430 time 9.65653 not-muc 247790 unknown 1477 muc 367
10.39/10.48	c iter 431 time 9.67153 not-muc 247790 unknown 1476 muc 368
10.39/10.48	c iter 432 time 9.68753 not-muc 247790 unknown 1475 muc 369
10.39/10.48	c iter 433 time 9.70252 not-muc 247790 unknown 1474 muc 370
10.39/10.48	c iter 434 time 9.71752 not-muc 247790 unknown 1473 muc 371
10.39/10.48	c iter 435 time 9.73352 not-muc 247790 unknown 1472 muc 372
10.39/10.48	c iter 436 time 9.74852 not-muc 247790 unknown 1471 muc 373
10.39/10.48	c iter 437 time 9.76451 not-muc 247790 unknown 1470 muc 374
10.39/10.48	c iter 438 time 9.77951 not-muc 247790 unknown 1469 muc 375
10.39/10.48	c iter 439 time 9.79251 not-muc 247790 unknown 1468 muc 376
10.39/10.48	c iter 440 time 9.80851 not-muc 247790 unknown 1467 muc 377
10.39/10.48	c iter 441 time 9.82151 not-muc 247790 unknown 1466 muc 378
10.39/10.48	c iter 442 time 9.8365 not-muc 247790 unknown 1465 muc 379
10.39/10.48	c iter 443 time 9.8495 not-muc 247790 unknown 1464 muc 380
10.39/10.48	c iter 444 time 9.8645 not-muc 247790 unknown 1463 muc 381
10.39/10.48	c iter 445 time 9.8775 not-muc 247790 unknown 1462 muc 382
10.39/10.48	c iter 446 time 9.89349 not-muc 247790 unknown 1461 muc 383
10.39/10.48	c iter 447 time 9.90549 not-muc 247790 unknown 1460 muc 384
10.39/10.48	c iter 448 time 9.92049 not-muc 247790 unknown 1459 muc 385
10.39/10.48	c iter 449 time 9.93349 not-muc 247790 unknown 1458 muc 386
10.39/10.48	c iter 450 time 9.94249 not-muc 247797 unknown 1451 muc 386
10.39/10.48	c iter 451 time 9.95549 not-muc 247797 unknown 1450 muc 387
10.39/10.48	c iter 452 time 9.97148 not-muc 247797 unknown 1449 muc 388
10.39/10.48	c iter 453 time 9.98648 not-muc 247797 unknown 1448 muc 389
10.39/10.48	c iter 454 time 10.0025 not-muc 247797 unknown 1447 muc 390
10.39/10.48	c iter 455 time 10.0175 not-muc 247797 unknown 1446 muc 391
10.39/10.48	c iter 456 time 10.0335 not-muc 247797 unknown 1445 muc 392
10.39/10.48	c iter 457 time 10.0485 not-muc 247797 unknown 1444 muc 393
10.39/10.48	c iter 458 time 10.0645 not-muc 247797 unknown 1443 muc 394
10.39/10.48	c iter 459 time 10.0805 not-muc 247797 unknown 1442 muc 395
10.39/10.48	c iter 460 time 10.0965 not-muc 247797 unknown 1441 muc 396
10.39/10.48	c iter 461 time 10.1025 not-muc 247799 unknown 1439 muc 396
10.39/10.48	c iter 462 time 10.1185 not-muc 247799 unknown 1438 muc 397
10.39/10.48	c iter 463 time 10.1265 not-muc 247807 unknown 1430 muc 397
10.39/10.48	c iter 464 time 10.1395 not-muc 247807 unknown 1429 muc 398
10.39/10.48	c iter 465 time 10.1605 not-muc 247807 unknown 1428 muc 399
10.39/10.48	c iter 466 time 10.1685 not-muc 247815 unknown 1420 muc 399
10.39/10.48	c iter 467 time 10.1815 not-muc 247815 unknown 1419 muc 400
10.39/10.48	c iter 468 time 10.1964 not-muc 247815 unknown 1418 muc 401
10.39/10.48	c iter 469 time 10.2054 not-muc 247818 unknown 1415 muc 401
10.39/10.48	c iter 470 time 10.2184 not-muc 247818 unknown 1414 muc 402
10.39/10.48	c iter 471 time 10.2334 not-muc 247818 unknown 1413 muc 403
10.39/10.48	c iter 472 time 10.2494 not-muc 247818 unknown 1412 muc 404
10.39/10.48	c iter 473 time 10.2644 not-muc 247818 unknown 1411 muc 405
10.39/10.48	c iter 474 time 10.2724 not-muc 247828 unknown 1401 muc 405
10.39/10.48	c iter 475 time 10.2854 not-muc 247828 unknown 1400 muc 406
10.39/10.48	c iter 476 time 10.3014 not-muc 247828 unknown 1399 muc 407
10.39/10.48	c iter 477 time 10.3164 not-muc 247828 unknown 1398 muc 408
10.39/10.48	c iter 478 time 10.3244 not-muc 247829 unknown 1397 muc 408
10.39/10.48	c iter 479 time 10.3374 not-muc 247829 unknown 1396 muc 409
10.39/10.48	c iter 480 time 10.3534 not-muc 247829 unknown 1395 muc 410
10.39/10.48	c iter 481 time 10.3684 not-muc 247829 unknown 1394 muc 411
10.39/10.48	c iter 482 time 10.3834 not-muc 247829 unknown 1393 muc 412
11.49/11.54	c iter 483 time 10.3984 not-muc 247829 unknown 1392 muc 413
11.49/11.54	c iter 484 time 10.4134 not-muc 247829 unknown 1391 muc 414
11.49/11.54	c iter 485 time 10.4294 not-muc 247829 unknown 1390 muc 415
11.49/11.54	c iter 486 time 10.4444 not-muc 247829 unknown 1389 muc 416
11.49/11.54	c iter 487 time 10.4594 not-muc 247829 unknown 1388 muc 417
11.49/11.54	c iter 488 time 10.4754 not-muc 247829 unknown 1387 muc 418
11.49/11.54	c iter 489 time 10.4904 not-muc 247829 unknown 1386 muc 419
11.49/11.54	c iter 490 time 10.5054 not-muc 247829 unknown 1385 muc 420
11.49/11.54	c iter 491 time 10.5214 not-muc 247829 unknown 1384 muc 421
11.49/11.54	c iter 492 time 10.5364 not-muc 247829 unknown 1383 muc 422
11.49/11.54	c iter 493 time 10.5514 not-muc 247829 unknown 1382 muc 423
11.49/11.54	c iter 494 time 10.5674 not-muc 247829 unknown 1381 muc 424
11.49/11.54	c iter 495 time 10.5824 not-muc 247829 unknown 1380 muc 425
11.49/11.54	c iter 496 time 10.5984 not-muc 247829 unknown 1379 muc 426
11.49/11.54	c iter 497 time 10.6134 not-muc 247829 unknown 1378 muc 427
11.49/11.54	c iter 498 time 10.6284 not-muc 247829 unknown 1377 muc 428
11.49/11.54	c iter 499 time 10.6444 not-muc 247829 unknown 1376 muc 429
11.49/11.54	c iter 500 time 10.6594 not-muc 247829 unknown 1375 muc 430
11.49/11.54	c iter 501 time 10.6744 not-muc 247829 unknown 1374 muc 431
11.49/11.54	c iter 502 time 10.6904 not-muc 247829 unknown 1373 muc 432
11.49/11.54	c iter 503 time 10.7054 not-muc 247829 unknown 1372 muc 433
11.49/11.54	c iter 504 time 10.7214 not-muc 247829 unknown 1371 muc 434
11.49/11.54	c iter 505 time 10.7364 not-muc 247829 unknown 1370 muc 435
11.49/11.54	c iter 506 time 10.7524 not-muc 247829 unknown 1369 muc 436
11.49/11.54	c iter 507 time 10.7674 not-muc 247829 unknown 1368 muc 437
11.49/11.54	c iter 508 time 10.7824 not-muc 247829 unknown 1367 muc 438
11.49/11.54	c iter 509 time 10.7984 not-muc 247829 unknown 1366 muc 439
11.49/11.54	c iter 510 time 10.8134 not-muc 247829 unknown 1365 muc 440
11.49/11.54	c iter 511 time 10.8294 not-muc 247829 unknown 1364 muc 441
11.49/11.54	c iter 512 time 10.8444 not-muc 247829 unknown 1363 muc 442
11.49/11.54	c iter 513 time 10.8603 not-muc 247829 unknown 1362 muc 443
11.49/11.54	c iter 514 time 10.8753 not-muc 247829 unknown 1361 muc 444
11.49/11.54	c iter 515 time 10.8913 not-muc 247829 unknown 1360 muc 445
11.49/11.54	c iter 516 time 10.9063 not-muc 247829 unknown 1359 muc 446
11.49/11.54	c iter 517 time 10.9213 not-muc 247829 unknown 1358 muc 447
11.49/11.54	c iter 518 time 10.9373 not-muc 247829 unknown 1357 muc 448
11.49/11.54	c iter 519 time 10.9523 not-muc 247829 unknown 1356 muc 449
11.49/11.54	c iter 520 time 10.9683 not-muc 247829 unknown 1355 muc 450
11.49/11.54	c iter 521 time 10.9833 not-muc 247829 unknown 1354 muc 451
11.49/11.54	c iter 522 time 10.9993 not-muc 247829 unknown 1353 muc 452
11.49/11.54	c iter 523 time 11.0143 not-muc 247829 unknown 1352 muc 453
11.49/11.54	c iter 524 time 11.0293 not-muc 247829 unknown 1351 muc 454
11.49/11.54	c iter 525 time 11.0453 not-muc 247829 unknown 1350 muc 455
11.49/11.54	c iter 526 time 11.0613 not-muc 247829 unknown 1349 muc 456
11.49/11.54	c iter 527 time 11.0773 not-muc 247829 unknown 1348 muc 457
11.49/11.54	c iter 528 time 11.0923 not-muc 247829 unknown 1347 muc 458
11.49/11.54	c iter 529 time 11.1083 not-muc 247829 unknown 1346 muc 459
11.49/11.54	c iter 530 time 11.1233 not-muc 247829 unknown 1345 muc 460
11.49/11.54	c iter 531 time 11.1393 not-muc 247829 unknown 1344 muc 461
11.49/11.54	c iter 532 time 11.1543 not-muc 247829 unknown 1343 muc 462
11.49/11.54	c iter 533 time 11.1633 not-muc 247837 unknown 1335 muc 462
11.49/11.54	c iter 534 time 11.1763 not-muc 247837 unknown 1334 muc 463
11.49/11.54	c iter 535 time 11.1983 not-muc 247837 unknown 1333 muc 464
11.49/11.54	c iter 536 time 11.2133 not-muc 247837 unknown 1332 muc 465
11.49/11.54	c iter 537 time 11.2293 not-muc 247837 unknown 1331 muc 466
11.49/11.54	c iter 538 time 11.2443 not-muc 247837 unknown 1330 muc 467
11.49/11.54	c iter 539 time 11.2603 not-muc 247837 unknown 1329 muc 468
11.49/11.54	c iter 540 time 11.2763 not-muc 247837 unknown 1328 muc 469
11.49/11.54	c iter 541 time 11.2913 not-muc 247837 unknown 1327 muc 470
11.49/11.54	c iter 542 time 11.3073 not-muc 247837 unknown 1326 muc 471
11.49/11.54	c iter 543 time 11.3223 not-muc 247837 unknown 1325 muc 472
11.49/11.54	c iter 544 time 11.3383 not-muc 247837 unknown 1324 muc 473
11.49/11.54	c iter 545 time 11.3533 not-muc 247837 unknown 1323 muc 474
11.49/11.54	c iter 546 time 11.3693 not-muc 247837 unknown 1322 muc 475
11.49/11.54	c iter 547 time 11.3843 not-muc 247837 unknown 1321 muc 476
11.49/11.54	c iter 548 time 11.4003 not-muc 247837 unknown 1320 muc 477
11.49/11.54	c iter 549 time 11.4163 not-muc 247837 unknown 1319 muc 478
11.49/11.54	c iter 550 time 11.4313 not-muc 247837 unknown 1318 muc 479
11.49/11.54	c iter 551 time 11.4413 not-muc 247848 unknown 1307 muc 479
12.49/12.59	c iter 552 time 11.4543 not-muc 247848 unknown 1306 muc 480
12.49/12.59	c iter 553 time 11.4703 not-muc 247848 unknown 1305 muc 481
12.49/12.59	c iter 554 time 11.4853 not-muc 247848 unknown 1304 muc 482
12.49/12.59	c iter 555 time 11.5013 not-muc 247848 unknown 1303 muc 483
12.49/12.59	c iter 556 time 11.5162 not-muc 247848 unknown 1302 muc 484
12.49/12.59	c iter 557 time 11.5322 not-muc 247848 unknown 1301 muc 485
12.49/12.59	c iter 558 time 11.5472 not-muc 247848 unknown 1300 muc 486
12.49/12.59	c iter 559 time 11.5632 not-muc 247848 unknown 1299 muc 487
12.49/12.59	c iter 560 time 11.5792 not-muc 247848 unknown 1298 muc 488
12.49/12.59	c iter 561 time 11.5942 not-muc 247848 unknown 1297 muc 489
12.49/12.59	c iter 562 time 11.6102 not-muc 247848 unknown 1296 muc 490
12.49/12.59	c iter 563 time 11.6262 not-muc 247848 unknown 1295 muc 491
12.49/12.59	c iter 564 time 11.6422 not-muc 247848 unknown 1294 muc 492
12.49/12.59	c iter 565 time 11.6572 not-muc 247848 unknown 1293 muc 493
12.49/12.59	c iter 566 time 11.6732 not-muc 247848 unknown 1292 muc 494
12.49/12.59	c iter 567 time 11.6892 not-muc 247848 unknown 1291 muc 495
12.49/12.59	c iter 568 time 11.7052 not-muc 247848 unknown 1290 muc 496
12.49/12.59	c iter 569 time 11.7202 not-muc 247848 unknown 1289 muc 497
12.49/12.59	c iter 570 time 11.7362 not-muc 247848 unknown 1288 muc 498
12.49/12.59	c iter 571 time 11.7522 not-muc 247848 unknown 1287 muc 499
12.49/12.59	c iter 572 time 11.7682 not-muc 247848 unknown 1286 muc 500
12.49/12.59	c iter 573 time 11.7842 not-muc 247848 unknown 1285 muc 501
12.49/12.59	c iter 574 time 11.8002 not-muc 247848 unknown 1284 muc 502
12.49/12.59	c iter 575 time 11.8162 not-muc 247848 unknown 1283 muc 503
12.49/12.59	c iter 576 time 11.8322 not-muc 247848 unknown 1282 muc 504
12.49/12.59	c iter 577 time 11.8482 not-muc 247848 unknown 1281 muc 505
12.49/12.59	c iter 578 time 11.8632 not-muc 247848 unknown 1280 muc 506
12.49/12.59	c iter 579 time 11.8792 not-muc 247848 unknown 1279 muc 507
12.49/12.59	c iter 580 time 11.8942 not-muc 247848 unknown 1278 muc 508
12.49/12.59	c iter 581 time 11.9102 not-muc 247848 unknown 1277 muc 509
12.49/12.59	c iter 582 time 11.9192 not-muc 247849 unknown 1276 muc 509
12.49/12.59	c iter 583 time 11.9262 not-muc 247865 unknown 1260 muc 509
12.49/12.59	c iter 584 time 11.9402 not-muc 247865 unknown 1259 muc 510
12.49/12.59	c iter 585 time 11.9622 not-muc 247865 unknown 1258 muc 511
12.49/12.59	c iter 586 time 11.9712 not-muc 247866 unknown 1257 muc 511
12.49/12.59	c iter 587 time 11.9852 not-muc 247866 unknown 1256 muc 512
12.49/12.59	c iter 588 time 12.0012 not-muc 247866 unknown 1255 muc 513
12.49/12.59	c iter 589 time 12.0172 not-muc 247866 unknown 1254 muc 514
12.49/12.59	c iter 590 time 12.0342 not-muc 247866 unknown 1253 muc 515
12.49/12.59	c iter 591 time 12.0502 not-muc 247866 unknown 1252 muc 516
12.49/12.59	c iter 592 time 12.0662 not-muc 247866 unknown 1251 muc 517
12.49/12.59	c iter 593 time 12.0832 not-muc 247866 unknown 1250 muc 518
12.49/12.59	c iter 594 time 12.0992 not-muc 247866 unknown 1249 muc 519
12.49/12.59	c iter 595 time 12.1152 not-muc 247866 unknown 1248 muc 520
12.49/12.59	c iter 596 time 12.1322 not-muc 247866 unknown 1247 muc 521
12.49/12.59	c iter 597 time 12.1482 not-muc 247866 unknown 1246 muc 522
12.49/12.59	c iter 598 time 12.1641 not-muc 247866 unknown 1245 muc 523
12.49/12.59	c iter 599 time 12.1811 not-muc 247866 unknown 1244 muc 524
12.49/12.59	c iter 600 time 12.1971 not-muc 247866 unknown 1243 muc 525
12.49/12.59	c iter 601 time 12.2131 not-muc 247866 unknown 1242 muc 526
12.49/12.59	c iter 602 time 12.2301 not-muc 247866 unknown 1241 muc 527
12.49/12.59	c iter 603 time 12.2461 not-muc 247866 unknown 1240 muc 528
12.49/12.59	c iter 604 time 12.2621 not-muc 247866 unknown 1239 muc 529
12.49/12.59	c iter 605 time 12.2781 not-muc 247866 unknown 1238 muc 530
12.49/12.59	c iter 606 time 12.2951 not-muc 247866 unknown 1237 muc 531
12.49/12.59	c iter 607 time 12.3111 not-muc 247866 unknown 1236 muc 532
12.49/12.59	c iter 608 time 12.3281 not-muc 247866 unknown 1235 muc 533
12.49/12.59	c iter 609 time 12.3441 not-muc 247866 unknown 1234 muc 534
12.49/12.59	c iter 610 time 12.3601 not-muc 247866 unknown 1233 muc 535
12.49/12.59	c iter 611 time 12.3761 not-muc 247866 unknown 1232 muc 536
12.49/12.59	c iter 612 time 12.3931 not-muc 247866 unknown 1231 muc 537
12.49/12.59	c iter 613 time 12.4021 not-muc 247867 unknown 1230 muc 537
12.49/12.59	c iter 614 time 12.4161 not-muc 247867 unknown 1229 muc 538
12.49/12.59	c iter 615 time 12.4321 not-muc 247867 unknown 1228 muc 539
12.49/12.59	c iter 616 time 12.4481 not-muc 247867 unknown 1227 muc 540
12.49/12.59	c iter 617 time 12.4641 not-muc 247867 unknown 1226 muc 541
12.49/12.59	c iter 618 time 12.4811 not-muc 247867 unknown 1225 muc 542
12.49/12.59	c iter 619 time 12.4971 not-muc 247867 unknown 1224 muc 543
13.59/13.67	c iter 620 time 12.5141 not-muc 247867 unknown 1223 muc 544
13.59/13.67	c iter 621 time 12.5301 not-muc 247867 unknown 1222 muc 545
13.59/13.67	c iter 622 time 12.5471 not-muc 247867 unknown 1221 muc 546
13.59/13.67	c iter 623 time 12.5631 not-muc 247867 unknown 1220 muc 547
13.59/13.67	c iter 624 time 12.5791 not-muc 247867 unknown 1219 muc 548
13.59/13.67	c iter 625 time 12.5951 not-muc 247867 unknown 1218 muc 549
13.59/13.67	c iter 626 time 12.6121 not-muc 247867 unknown 1217 muc 550
13.59/13.67	c iter 627 time 12.6281 not-muc 247867 unknown 1216 muc 551
13.59/13.67	c iter 628 time 12.6451 not-muc 247867 unknown 1215 muc 552
13.59/13.67	c iter 629 time 12.6541 not-muc 247879 unknown 1203 muc 552
13.59/13.67	c iter 630 time 12.6681 not-muc 247879 unknown 1202 muc 553
13.59/13.67	c iter 631 time 12.6841 not-muc 247879 unknown 1201 muc 554
13.59/13.67	c iter 632 time 12.7001 not-muc 247879 unknown 1200 muc 555
13.59/13.67	c iter 633 time 12.7171 not-muc 247879 unknown 1199 muc 556
13.59/13.67	c iter 634 time 12.7331 not-muc 247879 unknown 1198 muc 557
13.59/13.67	c iter 635 time 12.7501 not-muc 247879 unknown 1197 muc 558
13.59/13.67	c iter 636 time 12.7661 not-muc 247879 unknown 1196 muc 559
13.59/13.67	c iter 637 time 12.7821 not-muc 247879 unknown 1195 muc 560
13.59/13.67	c iter 638 time 12.7991 not-muc 247879 unknown 1194 muc 561
13.59/13.67	c iter 639 time 12.8151 not-muc 247879 unknown 1193 muc 562
13.59/13.67	c iter 640 time 12.832 not-muc 247879 unknown 1192 muc 563
13.59/13.67	c iter 641 time 12.848 not-muc 247879 unknown 1191 muc 564
13.59/13.67	c iter 642 time 12.864 not-muc 247879 unknown 1190 muc 565
13.59/13.67	c iter 643 time 12.881 not-muc 247879 unknown 1189 muc 566
13.59/13.67	c iter 644 time 12.897 not-muc 247879 unknown 1188 muc 567
13.59/13.67	c iter 645 time 12.913 not-muc 247879 unknown 1187 muc 568
13.59/13.67	c iter 646 time 12.93 not-muc 247879 unknown 1186 muc 569
13.59/13.67	c iter 647 time 12.946 not-muc 247879 unknown 1185 muc 570
13.59/13.67	c iter 648 time 12.956 not-muc 247880 unknown 1184 muc 570
13.59/13.67	c iter 649 time 12.97 not-muc 247880 unknown 1183 muc 571
13.59/13.67	c iter 650 time 12.979 not-muc 247902 unknown 1161 muc 571
13.59/13.67	c iter 651 time 12.993 not-muc 247902 unknown 1160 muc 572
13.59/13.67	c iter 652 time 13.008 not-muc 247915 unknown 1147 muc 572
13.59/13.67	c iter 653 time 13.022 not-muc 247915 unknown 1146 muc 573
13.59/13.67	c iter 654 time 13.039 not-muc 247915 unknown 1145 muc 574
13.59/13.67	c iter 655 time 13.055 not-muc 247915 unknown 1144 muc 575
13.59/13.67	c iter 656 time 13.072 not-muc 247915 unknown 1143 muc 576
13.59/13.67	c iter 657 time 13.081 not-muc 247920 unknown 1138 muc 576
13.59/13.67	c iter 658 time 13.088 not-muc 247922 unknown 1136 muc 576
13.59/13.67	c iter 659 time 13.102 not-muc 247922 unknown 1135 muc 577
13.59/13.67	c iter 660 time 13.118 not-muc 247922 unknown 1134 muc 578
13.59/13.67	c iter 661 time 13.134 not-muc 247922 unknown 1133 muc 579
13.59/13.67	c iter 662 time 13.15 not-muc 247922 unknown 1132 muc 580
13.59/13.67	c iter 663 time 13.167 not-muc 247922 unknown 1131 muc 581
13.59/13.67	c iter 664 time 13.183 not-muc 247922 unknown 1130 muc 582
13.59/13.67	c iter 665 time 13.2 not-muc 247922 unknown 1129 muc 583
13.59/13.67	c iter 666 time 13.216 not-muc 247922 unknown 1128 muc 584
13.59/13.67	c iter 667 time 13.233 not-muc 247922 unknown 1127 muc 585
13.59/13.67	c iter 668 time 13.249 not-muc 247922 unknown 1126 muc 586
13.59/13.67	c iter 669 time 13.265 not-muc 247922 unknown 1125 muc 587
13.59/13.67	c iter 670 time 13.282 not-muc 247922 unknown 1124 muc 588
13.59/13.67	c iter 671 time 13.298 not-muc 247922 unknown 1123 muc 589
13.59/13.67	c iter 672 time 13.315 not-muc 247922 unknown 1122 muc 590
13.59/13.67	c iter 673 time 13.331 not-muc 247922 unknown 1121 muc 591
13.59/13.67	c iter 674 time 13.347 not-muc 247922 unknown 1120 muc 592
13.59/13.67	c iter 675 time 13.364 not-muc 247922 unknown 1119 muc 593
13.59/13.67	c iter 676 time 13.38 not-muc 247922 unknown 1118 muc 594
13.59/13.67	c iter 677 time 13.396 not-muc 247922 unknown 1117 muc 595
13.59/13.67	c iter 678 time 13.413 not-muc 247922 unknown 1116 muc 596
13.59/13.67	c iter 679 time 13.429 not-muc 247922 unknown 1115 muc 597
13.59/13.67	c iter 680 time 13.445 not-muc 247922 unknown 1114 muc 598
13.59/13.67	c iter 681 time 13.462 not-muc 247922 unknown 1113 muc 599
13.59/13.67	c iter 682 time 13.478 not-muc 247922 unknown 1112 muc 600
13.59/13.67	c iter 683 time 13.4939 not-muc 247922 unknown 1111 muc 601
13.59/13.67	c iter 684 time 13.5109 not-muc 247922 unknown 1110 muc 602
13.59/13.67	c iter 685 time 13.5269 not-muc 247922 unknown 1109 muc 603
13.59/13.67	c iter 686 time 13.5439 not-muc 247922 unknown 1108 muc 604
13.59/13.67	c iter 687 time 13.5599 not-muc 247922 unknown 1107 muc 605
13.59/13.67	c iter 688 time 13.5759 not-muc 247922 unknown 1106 muc 606
14.69/14.73	c iter 689 time 13.5919 not-muc 247922 unknown 1105 muc 607
14.69/14.73	c iter 690 time 13.6079 not-muc 247922 unknown 1104 muc 608
14.69/14.73	c iter 691 time 13.6249 not-muc 247922 unknown 1103 muc 609
14.69/14.73	c iter 692 time 13.6409 not-muc 247922 unknown 1102 muc 610
14.69/14.73	c iter 693 time 13.6579 not-muc 247922 unknown 1101 muc 611
14.69/14.73	c iter 694 time 13.6739 not-muc 247922 unknown 1100 muc 612
14.69/14.73	c iter 695 time 13.6899 not-muc 247922 unknown 1099 muc 613
14.69/14.73	c iter 696 time 13.7069 not-muc 247922 unknown 1098 muc 614
14.69/14.73	c iter 697 time 13.7229 not-muc 247922 unknown 1097 muc 615
14.69/14.73	c iter 698 time 13.7399 not-muc 247922 unknown 1096 muc 616
14.69/14.73	c iter 699 time 13.7559 not-muc 247922 unknown 1095 muc 617
14.69/14.73	c iter 700 time 13.7729 not-muc 247922 unknown 1094 muc 618
14.69/14.73	c iter 701 time 13.7889 not-muc 247922 unknown 1093 muc 619
14.69/14.73	c iter 702 time 13.8049 not-muc 247922 unknown 1092 muc 620
14.69/14.73	c iter 703 time 13.8219 not-muc 247922 unknown 1091 muc 621
14.69/14.73	c iter 704 time 13.8379 not-muc 247922 unknown 1090 muc 622
14.69/14.73	c iter 705 time 13.8539 not-muc 247922 unknown 1089 muc 623
14.69/14.74	c iter 706 time 13.8709 not-muc 247922 unknown 1088 muc 624
14.69/14.74	c iter 707 time 13.8869 not-muc 247922 unknown 1087 muc 625
14.69/14.74	c iter 708 time 13.9039 not-muc 247922 unknown 1086 muc 626
14.69/14.74	c iter 709 time 13.9199 not-muc 247922 unknown 1085 muc 627
14.69/14.74	c iter 710 time 13.9359 not-muc 247922 unknown 1084 muc 628
14.69/14.74	c iter 711 time 13.9529 not-muc 247922 unknown 1083 muc 629
14.69/14.74	c iter 712 time 13.9689 not-muc 247922 unknown 1082 muc 630
14.69/14.74	c iter 713 time 13.9849 not-muc 247922 unknown 1081 muc 631
14.69/14.74	c iter 714 time 14.0009 not-muc 247922 unknown 1080 muc 632
14.69/14.74	c iter 715 time 14.0179 not-muc 247922 unknown 1079 muc 633
14.69/14.74	c iter 716 time 14.0339 not-muc 247922 unknown 1078 muc 634
14.69/14.74	c iter 717 time 14.0509 not-muc 247922 unknown 1077 muc 635
14.69/14.74	c iter 718 time 14.0669 not-muc 247922 unknown 1076 muc 636
14.69/14.74	c iter 719 time 14.0829 not-muc 247922 unknown 1075 muc 637
14.69/14.74	c iter 720 time 14.0989 not-muc 247922 unknown 1074 muc 638
14.69/14.74	c iter 721 time 14.1159 not-muc 247922 unknown 1073 muc 639
14.69/14.74	c iter 722 time 14.1319 not-muc 247922 unknown 1072 muc 640
14.69/14.74	c iter 723 time 14.1478 not-muc 247922 unknown 1071 muc 641
14.69/14.74	c iter 724 time 14.1648 not-muc 247922 unknown 1070 muc 642
14.69/14.74	c iter 725 time 14.1808 not-muc 247922 unknown 1069 muc 643
14.69/14.74	c iter 726 time 14.1968 not-muc 247922 unknown 1068 muc 644
14.69/14.74	c iter 727 time 14.2128 not-muc 247922 unknown 1067 muc 645
14.69/14.74	c iter 728 time 14.2278 not-muc 247922 unknown 1066 muc 646
14.69/14.74	c iter 729 time 14.2428 not-muc 247922 unknown 1065 muc 647
14.69/14.74	c iter 730 time 14.2588 not-muc 247922 unknown 1064 muc 648
14.69/14.74	c iter 731 time 14.2738 not-muc 247922 unknown 1063 muc 649
14.69/14.74	c iter 732 time 14.2888 not-muc 247922 unknown 1062 muc 650
14.69/14.74	c iter 733 time 14.3048 not-muc 247922 unknown 1061 muc 651
14.69/14.74	c iter 734 time 14.3198 not-muc 247922 unknown 1060 muc 652
14.69/14.74	c iter 735 time 14.3348 not-muc 247922 unknown 1059 muc 653
14.69/14.74	c iter 736 time 14.3508 not-muc 247922 unknown 1058 muc 654
14.69/14.74	c iter 737 time 14.3658 not-muc 247922 unknown 1057 muc 655
14.69/14.74	c iter 738 time 14.3808 not-muc 247922 unknown 1056 muc 656
14.69/14.74	c iter 739 time 14.3958 not-muc 247922 unknown 1055 muc 657
14.69/14.74	c iter 740 time 14.4118 not-muc 247922 unknown 1054 muc 658
14.69/14.74	c iter 741 time 14.4268 not-muc 247922 unknown 1053 muc 659
14.69/14.74	c iter 742 time 14.4428 not-muc 247922 unknown 1052 muc 660
14.69/14.74	c iter 743 time 14.4578 not-muc 247922 unknown 1051 muc 661
14.69/14.74	c iter 744 time 14.4738 not-muc 247922 unknown 1050 muc 662
14.69/14.74	c iter 745 time 14.4888 not-muc 247922 unknown 1049 muc 663
14.69/14.74	c iter 746 time 14.5038 not-muc 247922 unknown 1048 muc 664
14.69/14.74	c iter 747 time 14.5128 not-muc 247923 unknown 1047 muc 664
14.69/14.74	c iter 748 time 14.5258 not-muc 247923 unknown 1046 muc 665
14.69/14.74	c iter 749 time 14.5408 not-muc 247923 unknown 1045 muc 666
14.69/14.74	c iter 750 time 14.5558 not-muc 247923 unknown 1044 muc 667
14.69/14.74	c iter 751 time 14.5718 not-muc 247923 unknown 1043 muc 668
14.69/14.74	c iter 752 time 14.5868 not-muc 247923 unknown 1042 muc 669
14.69/14.74	c iter 753 time 14.6028 not-muc 247923 unknown 1041 muc 670
14.69/14.74	c iter 754 time 14.6178 not-muc 247923 unknown 1040 muc 671
14.69/14.74	c iter 755 time 14.6268 not-muc 247927 unknown 1036 muc 671
14.69/14.74	c iter 756 time 14.6398 not-muc 247927 unknown 1035 muc 672
15.69/15.80	c iter 757 time 14.6548 not-muc 247927 unknown 1034 muc 673
15.69/15.80	c iter 758 time 14.6708 not-muc 247927 unknown 1033 muc 674
15.69/15.80	c iter 759 time 14.6858 not-muc 247927 unknown 1032 muc 675
15.69/15.80	c iter 760 time 14.7018 not-muc 247927 unknown 1031 muc 676
15.69/15.80	c iter 761 time 14.7168 not-muc 247927 unknown 1030 muc 677
15.69/15.80	c iter 762 time 14.7318 not-muc 247927 unknown 1029 muc 678
15.69/15.80	c iter 763 time 14.7408 not-muc 247939 unknown 1017 muc 678
15.69/15.80	c iter 764 time 14.7538 not-muc 247939 unknown 1016 muc 679
15.69/15.80	c iter 765 time 14.7748 not-muc 247939 unknown 1015 muc 680
15.69/15.80	c iter 766 time 14.7908 not-muc 247939 unknown 1014 muc 681
15.69/15.80	c iter 767 time 14.8057 not-muc 247939 unknown 1013 muc 682
15.69/15.80	c iter 768 time 14.8207 not-muc 247939 unknown 1012 muc 683
15.69/15.80	c iter 769 time 14.8367 not-muc 247939 unknown 1011 muc 684
15.69/15.80	c iter 770 time 14.8517 not-muc 247939 unknown 1010 muc 685
15.69/15.80	c iter 771 time 14.8667 not-muc 247939 unknown 1009 muc 686
15.69/15.80	c iter 772 time 14.8827 not-muc 247939 unknown 1008 muc 687
15.69/15.80	c iter 773 time 14.8977 not-muc 247939 unknown 1007 muc 688
15.69/15.80	c iter 774 time 14.9127 not-muc 247939 unknown 1006 muc 689
15.69/15.80	c iter 775 time 14.9287 not-muc 247939 unknown 1005 muc 690
15.69/15.80	c iter 776 time 14.9437 not-muc 247939 unknown 1004 muc 691
15.69/15.80	c iter 777 time 14.9597 not-muc 247939 unknown 1003 muc 692
15.69/15.80	c iter 778 time 14.9747 not-muc 247939 unknown 1002 muc 693
15.69/15.80	c iter 779 time 14.9907 not-muc 247939 unknown 1001 muc 694
15.69/15.80	c iter 780 time 15.0057 not-muc 247939 unknown 1000 muc 695
15.69/15.80	c iter 781 time 15.0217 not-muc 247939 unknown 999 muc 696
15.69/15.80	c iter 782 time 15.0367 not-muc 247939 unknown 998 muc 697
15.69/15.80	c iter 783 time 15.0527 not-muc 247939 unknown 997 muc 698
15.69/15.80	c iter 784 time 15.0687 not-muc 247939 unknown 996 muc 699
15.69/15.80	c iter 785 time 15.0837 not-muc 247939 unknown 995 muc 700
15.69/15.80	c iter 786 time 15.0997 not-muc 247939 unknown 994 muc 701
15.69/15.80	c iter 787 time 15.1157 not-muc 247939 unknown 993 muc 702
15.69/15.80	c iter 788 time 15.1307 not-muc 247939 unknown 992 muc 703
15.69/15.80	c iter 789 time 15.1467 not-muc 247939 unknown 991 muc 704
15.69/15.80	c iter 790 time 15.1617 not-muc 247939 unknown 990 muc 705
15.69/15.80	c iter 791 time 15.1777 not-muc 247939 unknown 989 muc 706
15.69/15.80	c iter 792 time 15.1937 not-muc 247939 unknown 988 muc 707
15.69/15.80	c iter 793 time 15.2097 not-muc 247939 unknown 987 muc 708
15.69/15.80	c iter 794 time 15.2257 not-muc 247939 unknown 986 muc 709
15.69/15.80	c iter 795 time 15.2407 not-muc 247939 unknown 985 muc 710
15.69/15.80	c iter 796 time 15.2567 not-muc 247939 unknown 984 muc 711
15.69/15.80	c iter 797 time 15.2737 not-muc 247939 unknown 983 muc 712
15.69/15.80	c iter 798 time 15.2887 not-muc 247939 unknown 982 muc 713
15.69/15.80	c iter 799 time 15.3047 not-muc 247939 unknown 981 muc 714
15.69/15.80	c iter 800 time 15.3207 not-muc 247939 unknown 980 muc 715
15.69/15.80	c iter 801 time 15.3367 not-muc 247939 unknown 979 muc 716
15.69/15.80	c iter 802 time 15.3527 not-muc 247939 unknown 978 muc 717
15.69/15.80	c iter 803 time 15.3687 not-muc 247939 unknown 977 muc 718
15.69/15.80	c iter 804 time 15.3857 not-muc 247939 unknown 976 muc 719
15.69/15.80	c iter 805 time 15.4007 not-muc 247939 unknown 975 muc 720
15.69/15.80	c iter 806 time 15.4177 not-muc 247939 unknown 974 muc 721
15.69/15.80	c iter 807 time 15.4277 not-muc 247940 unknown 973 muc 721
15.69/15.80	c iter 808 time 15.4397 not-muc 247940 unknown 972 muc 722
15.69/15.80	c iter 809 time 15.4557 not-muc 247940 unknown 971 muc 723
15.69/15.80	c iter 810 time 15.4706 not-muc 247940 unknown 970 muc 724
15.69/15.80	c iter 811 time 15.4856 not-muc 247940 unknown 969 muc 725
15.69/15.80	c iter 812 time 15.5016 not-muc 247940 unknown 968 muc 726
15.69/15.80	c iter 813 time 15.5166 not-muc 247940 unknown 967 muc 727
15.69/15.80	c iter 814 time 15.5316 not-muc 247940 unknown 966 muc 728
15.69/15.80	c iter 815 time 15.5466 not-muc 247940 unknown 965 muc 729
15.69/15.80	c iter 816 time 15.5626 not-muc 247940 unknown 964 muc 730
15.69/15.80	c iter 817 time 15.5776 not-muc 247940 unknown 963 muc 731
15.69/15.80	c iter 818 time 15.5926 not-muc 247940 unknown 962 muc 732
15.69/15.80	c iter 819 time 15.6086 not-muc 247940 unknown 961 muc 733
15.69/15.80	c iter 820 time 15.6236 not-muc 247940 unknown 960 muc 734
15.69/15.80	c iter 821 time 15.6386 not-muc 247940 unknown 959 muc 735
15.69/15.80	c iter 822 time 15.6536 not-muc 247940 unknown 958 muc 736
15.69/15.80	c iter 823 time 15.6696 not-muc 247940 unknown 957 muc 737
15.69/15.80	c iter 824 time 15.6846 not-muc 247940 unknown 956 muc 738
15.69/15.80	c iter 825 time 15.6996 not-muc 247940 unknown 955 muc 739
16.79/16.84	c iter 826 time 15.7156 not-muc 247940 unknown 954 muc 740
16.79/16.84	c iter 827 time 15.7236 not-muc 247941 unknown 953 muc 740
16.79/16.84	c iter 828 time 15.7366 not-muc 247941 unknown 952 muc 741
16.79/16.84	c iter 829 time 15.7576 not-muc 247941 unknown 951 muc 742
16.79/16.84	c iter 830 time 15.7726 not-muc 247941 unknown 950 muc 743
16.79/16.84	c iter 831 time 15.7876 not-muc 247941 unknown 949 muc 744
16.79/16.84	c iter 832 time 15.8036 not-muc 247941 unknown 948 muc 745
16.79/16.84	c iter 833 time 15.8186 not-muc 247941 unknown 947 muc 746
16.79/16.84	c iter 834 time 15.8346 not-muc 247941 unknown 946 muc 747
16.79/16.84	c iter 835 time 15.8496 not-muc 247941 unknown 945 muc 748
16.79/16.84	c iter 836 time 15.8656 not-muc 247941 unknown 944 muc 749
16.79/16.84	c iter 837 time 15.8806 not-muc 247941 unknown 943 muc 750
16.79/16.84	c iter 838 time 15.8956 not-muc 247941 unknown 942 muc 751
16.79/16.84	c iter 839 time 15.9116 not-muc 247941 unknown 941 muc 752
16.79/16.84	c iter 840 time 15.9266 not-muc 247941 unknown 940 muc 753
16.79/16.84	c iter 841 time 15.9416 not-muc 247941 unknown 939 muc 754
16.79/16.84	c iter 842 time 15.9576 not-muc 247941 unknown 938 muc 755
16.79/16.84	c iter 843 time 15.9726 not-muc 247941 unknown 937 muc 756
16.79/16.84	c iter 844 time 15.9876 not-muc 247941 unknown 936 muc 757
16.79/16.84	c iter 845 time 16.0036 not-muc 247941 unknown 935 muc 758
16.79/16.84	c iter 846 time 16.0186 not-muc 247941 unknown 934 muc 759
16.79/16.84	c iter 847 time 16.0346 not-muc 247941 unknown 933 muc 760
16.79/16.84	c iter 848 time 16.0496 not-muc 247941 unknown 932 muc 761
16.79/16.84	c iter 849 time 16.0656 not-muc 247941 unknown 931 muc 762
16.79/16.84	c iter 850 time 16.0806 not-muc 247941 unknown 930 muc 763
16.79/16.84	c iter 851 time 16.0966 not-muc 247941 unknown 929 muc 764
16.79/16.84	c iter 852 time 16.1116 not-muc 247941 unknown 928 muc 765
16.79/16.84	c iter 853 time 16.1265 not-muc 247941 unknown 927 muc 766
16.79/16.84	c iter 854 time 16.1415 not-muc 247941 unknown 926 muc 767
16.79/16.84	c iter 855 time 16.1575 not-muc 247941 unknown 925 muc 768
16.79/16.84	c iter 856 time 16.1735 not-muc 247941 unknown 924 muc 769
16.79/16.84	c iter 857 time 16.1885 not-muc 247941 unknown 923 muc 770
16.79/16.84	c iter 858 time 16.2045 not-muc 247941 unknown 922 muc 771
16.79/16.84	c iter 859 time 16.2195 not-muc 247941 unknown 921 muc 772
16.79/16.84	c iter 860 time 16.2355 not-muc 247941 unknown 920 muc 773
16.79/16.84	c iter 861 time 16.2435 not-muc 247943 unknown 918 muc 773
16.79/16.84	c iter 862 time 16.2565 not-muc 247943 unknown 917 muc 774
16.79/16.84	c iter 863 time 16.2645 not-muc 247944 unknown 916 muc 774
16.79/16.84	c iter 864 time 16.2775 not-muc 247944 unknown 915 muc 775
16.79/16.84	c iter 865 time 16.2925 not-muc 247944 unknown 914 muc 776
16.79/16.84	c iter 866 time 16.3075 not-muc 247944 unknown 913 muc 777
16.79/16.84	c iter 867 time 16.3225 not-muc 247944 unknown 912 muc 778
16.79/16.84	c iter 868 time 16.3385 not-muc 247944 unknown 911 muc 779
16.79/16.84	c iter 869 time 16.3535 not-muc 247944 unknown 910 muc 780
16.79/16.84	c iter 870 time 16.3685 not-muc 247944 unknown 909 muc 781
16.79/16.84	c iter 871 time 16.3835 not-muc 247944 unknown 908 muc 782
16.79/16.84	c iter 872 time 16.3985 not-muc 247944 unknown 907 muc 783
16.79/16.84	c iter 873 time 16.4145 not-muc 247944 unknown 906 muc 784
16.79/16.84	c iter 874 time 16.4295 not-muc 247944 unknown 905 muc 785
16.79/16.84	c iter 875 time 16.4445 not-muc 247944 unknown 904 muc 786
16.79/16.84	c iter 876 time 16.4595 not-muc 247944 unknown 903 muc 787
16.79/16.84	c iter 877 time 16.4745 not-muc 247944 unknown 902 muc 788
16.79/16.84	c iter 878 time 16.4895 not-muc 247944 unknown 901 muc 789
16.79/16.84	c iter 879 time 16.5055 not-muc 247944 unknown 900 muc 790
16.79/16.84	c iter 880 time 16.5205 not-muc 247944 unknown 899 muc 791
16.79/16.84	c iter 881 time 16.5355 not-muc 247944 unknown 898 muc 792
16.79/16.84	c iter 882 time 16.5505 not-muc 247944 unknown 897 muc 793
16.79/16.84	c iter 883 time 16.5655 not-muc 247944 unknown 896 muc 794
16.79/16.84	c iter 884 time 16.5805 not-muc 247944 unknown 895 muc 795
16.79/16.84	c iter 885 time 16.5965 not-muc 247944 unknown 894 muc 796
16.79/16.84	c iter 886 time 16.6115 not-muc 247944 unknown 893 muc 797
16.79/16.84	c iter 887 time 16.6265 not-muc 247944 unknown 892 muc 798
16.79/16.84	c iter 888 time 16.6415 not-muc 247944 unknown 891 muc 799
16.79/16.84	c iter 889 time 16.6565 not-muc 247944 unknown 890 muc 800
16.79/16.84	c iter 890 time 16.6715 not-muc 247944 unknown 889 muc 801
16.79/16.84	c iter 891 time 16.6865 not-muc 247944 unknown 888 muc 802
16.79/16.84	c iter 892 time 16.7025 not-muc 247944 unknown 887 muc 803
16.79/16.84	c iter 893 time 16.7175 not-muc 247944 unknown 886 muc 804
16.79/16.84	c iter 894 time 16.7325 not-muc 247944 unknown 885 muc 805
16.79/16.84	c iter 895 time 16.7475 not-muc 247944 unknown 884 muc 806
17.79/17.84	c iter 896 time 16.7625 not-muc 247944 unknown 883 muc 807
17.79/17.84	c iter 897 time 16.7774 not-muc 247944 unknown 882 muc 808
17.79/17.84	c iter 898 time 16.7924 not-muc 247944 unknown 881 muc 809
17.79/17.84	c iter 899 time 16.8084 not-muc 247944 unknown 880 muc 810
17.79/17.84	c iter 900 time 16.8234 not-muc 247944 unknown 879 muc 811
17.79/17.84	c iter 901 time 16.8384 not-muc 247944 unknown 878 muc 812
17.79/17.84	c iter 902 time 16.8534 not-muc 247944 unknown 877 muc 813
17.79/17.84	c iter 903 time 16.8614 not-muc 247948 unknown 873 muc 813
17.79/17.84	c iter 904 time 16.8684 not-muc 247949 unknown 872 muc 813
17.79/17.84	c iter 905 time 16.8744 not-muc 247950 unknown 871 muc 813
17.79/17.84	c iter 906 time 16.8864 not-muc 247950 unknown 870 muc 814
17.79/17.84	c iter 907 time 16.8954 not-muc 247959 unknown 861 muc 814
17.79/17.84	c iter 908 time 16.9074 not-muc 247959 unknown 860 muc 815
17.79/17.84	c iter 909 time 16.9224 not-muc 247959 unknown 859 muc 816
17.79/17.84	c iter 910 time 16.9374 not-muc 247959 unknown 858 muc 817
17.79/17.84	c iter 911 time 16.9534 not-muc 247959 unknown 857 muc 818
17.79/17.84	c iter 912 time 16.9684 not-muc 247959 unknown 856 muc 819
17.79/17.84	c iter 913 time 16.9834 not-muc 247959 unknown 855 muc 820
17.79/17.84	c iter 914 time 16.9984 not-muc 247959 unknown 854 muc 821
17.79/17.84	c iter 915 time 17.0134 not-muc 247959 unknown 853 muc 822
17.79/17.84	c iter 916 time 17.0284 not-muc 247959 unknown 852 muc 823
17.79/17.84	c iter 917 time 17.0434 not-muc 247959 unknown 851 muc 824
17.79/17.84	c iter 918 time 17.0514 not-muc 247961 unknown 849 muc 824
17.79/17.84	c iter 919 time 17.0644 not-muc 247961 unknown 848 muc 825
17.79/17.84	c iter 920 time 17.0794 not-muc 247961 unknown 847 muc 826
17.79/17.84	c iter 921 time 17.0944 not-muc 247961 unknown 846 muc 827
17.79/17.84	c iter 922 time 17.1104 not-muc 247961 unknown 845 muc 828
17.79/17.84	c iter 923 time 17.1254 not-muc 247961 unknown 844 muc 829
17.79/17.84	c iter 924 time 17.1404 not-muc 247961 unknown 843 muc 830
17.79/17.84	c iter 925 time 17.1554 not-muc 247961 unknown 842 muc 831
17.79/17.84	c iter 926 time 17.1704 not-muc 247961 unknown 841 muc 832
17.79/17.84	c iter 927 time 17.1854 not-muc 247961 unknown 840 muc 833
17.79/17.84	c iter 928 time 17.2004 not-muc 247961 unknown 839 muc 834
17.79/17.84	c iter 929 time 17.2154 not-muc 247961 unknown 838 muc 835
17.79/17.84	c iter 930 time 17.2304 not-muc 247961 unknown 837 muc 836
17.79/17.84	c iter 931 time 17.2454 not-muc 247961 unknown 836 muc 837
17.79/17.84	c iter 932 time 17.2614 not-muc 247961 unknown 835 muc 838
17.79/17.84	c iter 933 time 17.2764 not-muc 247961 unknown 834 muc 839
17.79/17.84	c iter 934 time 17.2914 not-muc 247961 unknown 833 muc 840
17.79/17.84	c iter 935 time 17.3064 not-muc 247961 unknown 832 muc 841
17.79/17.84	c iter 936 time 17.3214 not-muc 247961 unknown 831 muc 842
17.79/17.84	c iter 937 time 17.3364 not-muc 247961 unknown 830 muc 843
17.79/17.84	c iter 938 time 17.3514 not-muc 247961 unknown 829 muc 844
17.79/17.84	c iter 939 time 17.3664 not-muc 247961 unknown 828 muc 845
17.79/17.84	c iter 940 time 17.3824 not-muc 247961 unknown 827 muc 846
17.79/17.84	c iter 941 time 17.3974 not-muc 247961 unknown 826 muc 847
17.79/17.84	c iter 942 time 17.4124 not-muc 247961 unknown 825 muc 848
17.79/17.84	c iter 943 time 17.4274 not-muc 247961 unknown 824 muc 849
17.79/17.84	c iter 944 time 17.4423 not-muc 247961 unknown 823 muc 850
17.79/17.84	c iter 945 time 17.4573 not-muc 247961 unknown 822 muc 851
17.79/17.84	c iter 946 time 17.4723 not-muc 247961 unknown 821 muc 852
17.79/17.84	c iter 947 time 17.4883 not-muc 247961 unknown 820 muc 853
17.79/17.84	c iter 948 time 17.5033 not-muc 247961 unknown 819 muc 854
17.79/17.84	c iter 949 time 17.5183 not-muc 247961 unknown 818 muc 855
17.79/17.84	c iter 950 time 17.5333 not-muc 247961 unknown 817 muc 856
17.79/17.84	c iter 951 time 17.5483 not-muc 247961 unknown 816 muc 857
17.79/17.84	c iter 952 time 17.5633 not-muc 247961 unknown 815 muc 858
17.79/17.84	c iter 953 time 17.5783 not-muc 247961 unknown 814 muc 859
17.79/17.84	c iter 954 time 17.5933 not-muc 247961 unknown 813 muc 860
17.79/17.84	c iter 955 time 17.6083 not-muc 247961 unknown 812 muc 861
17.79/17.84	c iter 956 time 17.6243 not-muc 247961 unknown 811 muc 862
17.79/17.84	c iter 957 time 17.6393 not-muc 247961 unknown 810 muc 863
17.79/17.84	c iter 958 time 17.6543 not-muc 247961 unknown 809 muc 864
17.79/17.84	c iter 959 time 17.6693 not-muc 247961 unknown 808 muc 865
17.79/17.84	c iter 960 time 17.6843 not-muc 247961 unknown 807 muc 866
17.79/17.84	c iter 961 time 17.6993 not-muc 247961 unknown 806 muc 867
17.79/17.84	c iter 962 time 17.7153 not-muc 247961 unknown 805 muc 868
17.79/17.84	c iter 963 time 17.7303 not-muc 247961 unknown 804 muc 869
17.79/17.84	c iter 964 time 17.7453 not-muc 247961 unknown 803 muc 870
18.79/18.85	c iter 965 time 17.7603 not-muc 247961 unknown 802 muc 871
18.79/18.85	c iter 966 time 17.7763 not-muc 247961 unknown 801 muc 872
18.79/18.85	c iter 967 time 17.7913 not-muc 247961 unknown 800 muc 873
18.79/18.85	c iter 968 time 17.8063 not-muc 247961 unknown 799 muc 874
18.79/18.85	c iter 969 time 17.8213 not-muc 247961 unknown 798 muc 875
18.79/18.85	c iter 970 time 17.8373 not-muc 247961 unknown 797 muc 876
18.79/18.85	c iter 971 time 17.8523 not-muc 247961 unknown 796 muc 877
18.79/18.85	c iter 972 time 17.8673 not-muc 247961 unknown 795 muc 878
18.79/18.85	c iter 973 time 17.8823 not-muc 247961 unknown 794 muc 879
18.79/18.85	c iter 974 time 17.8973 not-muc 247961 unknown 793 muc 880
18.79/18.85	c iter 975 time 17.9123 not-muc 247961 unknown 792 muc 881
18.79/18.85	c iter 976 time 17.9273 not-muc 247961 unknown 791 muc 882
18.79/18.85	c iter 977 time 17.9423 not-muc 247961 unknown 790 muc 883
18.79/18.85	c iter 978 time 17.9573 not-muc 247961 unknown 789 muc 884
18.79/18.85	c iter 979 time 17.9733 not-muc 247961 unknown 788 muc 885
18.79/18.85	c iter 980 time 17.9883 not-muc 247961 unknown 787 muc 886
18.79/18.85	c iter 981 time 18.0033 not-muc 247961 unknown 786 muc 887
18.79/18.85	c iter 982 time 18.0183 not-muc 247961 unknown 785 muc 888
18.79/18.85	c iter 983 time 18.0333 not-muc 247961 unknown 784 muc 889
18.79/18.85	c iter 984 time 18.0483 not-muc 247961 unknown 783 muc 890
18.79/18.85	c iter 985 time 18.0633 not-muc 247961 unknown 782 muc 891
18.79/18.85	c iter 986 time 18.0783 not-muc 247961 unknown 781 muc 892
18.79/18.85	c iter 987 time 18.0862 not-muc 247962 unknown 780 muc 892
18.79/18.85	c iter 988 time 18.0992 not-muc 247962 unknown 779 muc 893
18.79/18.85	c iter 989 time 18.1142 not-muc 247962 unknown 778 muc 894
18.79/18.85	c iter 990 time 18.1302 not-muc 247962 unknown 777 muc 895
18.79/18.85	c iter 991 time 18.1452 not-muc 247962 unknown 776 muc 896
18.79/18.85	c iter 992 time 18.1602 not-muc 247962 unknown 775 muc 897
18.79/18.85	c iter 993 time 18.1692 not-muc 247977 unknown 760 muc 897
18.79/18.85	c iter 994 time 18.1822 not-muc 247977 unknown 759 muc 898
18.79/18.85	c iter 995 time 18.1972 not-muc 247977 unknown 758 muc 899
18.79/18.85	c iter 996 time 18.2122 not-muc 247977 unknown 757 muc 900
18.79/18.85	c iter 997 time 18.2272 not-muc 247977 unknown 756 muc 901
18.79/18.85	c iter 998 time 18.2422 not-muc 247977 unknown 755 muc 902
18.79/18.85	c iter 999 time 18.2582 not-muc 247977 unknown 754 muc 903
18.79/18.85	c iter 1000 time 18.2732 not-muc 247977 unknown 753 muc 904
18.79/18.85	c iter 1001 time 18.2882 not-muc 247977 unknown 752 muc 905
18.79/18.85	c iter 1002 time 18.3032 not-muc 247977 unknown 751 muc 906
18.79/18.85	c iter 1003 time 18.3192 not-muc 247977 unknown 750 muc 907
18.79/18.85	c iter 1004 time 18.3342 not-muc 247977 unknown 749 muc 908
18.79/18.85	c iter 1005 time 18.3492 not-muc 247977 unknown 748 muc 909
18.79/18.85	c iter 1006 time 18.3642 not-muc 247977 unknown 747 muc 910
18.79/18.85	c iter 1007 time 18.3792 not-muc 247977 unknown 746 muc 911
18.79/18.85	c iter 1008 time 18.3942 not-muc 247977 unknown 745 muc 912
18.79/18.85	c iter 1009 time 18.4092 not-muc 247977 unknown 744 muc 913
18.79/18.85	c iter 1010 time 18.4242 not-muc 247977 unknown 743 muc 914
18.79/18.85	c iter 1011 time 18.4392 not-muc 247977 unknown 742 muc 915
18.79/18.85	c iter 1012 time 18.4542 not-muc 247977 unknown 741 muc 916
18.79/18.85	c iter 1013 time 18.4702 not-muc 247977 unknown 740 muc 917
18.79/18.85	c iter 1014 time 18.4852 not-muc 247977 unknown 739 muc 918
18.79/18.85	c iter 1015 time 18.4982 not-muc 247977 unknown 738 muc 919
18.79/18.85	c iter 1016 time 18.5132 not-muc 247977 unknown 737 muc 920
18.79/18.85	c iter 1017 time 18.5262 not-muc 247977 unknown 736 muc 921
18.79/18.85	c iter 1018 time 18.5422 not-muc 247977 unknown 735 muc 922
18.79/18.85	c iter 1019 time 18.5542 not-muc 247977 unknown 734 muc 923
18.79/18.85	c iter 1020 time 18.5702 not-muc 247977 unknown 733 muc 924
18.79/18.85	c iter 1021 time 18.5832 not-muc 247977 unknown 732 muc 925
18.79/18.85	c iter 1022 time 18.5982 not-muc 247977 unknown 731 muc 926
18.79/18.85	c iter 1023 time 18.6112 not-muc 247977 unknown 730 muc 927
18.79/18.85	c iter 1024 time 18.6262 not-muc 247977 unknown 729 muc 928
18.79/18.85	c iter 1025 time 18.6402 not-muc 247977 unknown 728 muc 929
18.79/18.85	c iter 1026 time 18.6552 not-muc 247977 unknown 727 muc 930
18.79/18.85	c iter 1027 time 18.6682 not-muc 247977 unknown 726 muc 931
18.79/18.85	c iter 1028 time 18.6842 not-muc 247977 unknown 725 muc 932
18.79/18.85	c iter 1029 time 18.6972 not-muc 247977 unknown 724 muc 933
18.79/18.85	c iter 1030 time 18.7122 not-muc 247977 unknown 723 muc 934
18.79/18.85	c iter 1031 time 18.7252 not-muc 247977 unknown 722 muc 935
18.79/18.85	c iter 1032 time 18.7412 not-muc 247977 unknown 721 muc 936
18.79/18.85	c iter 1033 time 18.7541 not-muc 247977 unknown 720 muc 937
19.79/19.88	c iter 1034 time 18.7701 not-muc 247977 unknown 719 muc 938
19.79/19.88	c iter 1035 time 18.7831 not-muc 247977 unknown 718 muc 939
19.79/19.88	c iter 1036 time 18.7991 not-muc 247977 unknown 717 muc 940
19.79/19.88	c iter 1037 time 18.8121 not-muc 247977 unknown 716 muc 941
19.79/19.88	c iter 1038 time 18.8271 not-muc 247977 unknown 715 muc 942
19.79/19.88	c iter 1039 time 18.8411 not-muc 247977 unknown 714 muc 943
19.79/19.88	c iter 1040 time 18.8571 not-muc 247977 unknown 713 muc 944
19.79/19.88	c iter 1041 time 18.8691 not-muc 247977 unknown 712 muc 945
19.79/19.88	c iter 1042 time 18.8851 not-muc 247977 unknown 711 muc 946
19.79/19.88	c iter 1043 time 18.8971 not-muc 247977 unknown 710 muc 947
19.79/19.88	c iter 1044 time 18.9131 not-muc 247977 unknown 709 muc 948
19.79/19.88	c iter 1045 time 18.9191 not-muc 248089 unknown 597 muc 948
19.79/19.88	c iter 1046 time 18.9331 not-muc 248089 unknown 596 muc 949
19.79/19.88	c iter 1047 time 18.9551 not-muc 248089 unknown 595 muc 950
19.79/19.88	c iter 1048 time 18.9711 not-muc 248089 unknown 594 muc 951
19.79/19.88	c iter 1049 time 18.9861 not-muc 248089 unknown 593 muc 952
19.79/19.88	c iter 1050 time 19.0021 not-muc 248089 unknown 592 muc 953
19.79/19.88	c iter 1051 time 19.0181 not-muc 248089 unknown 591 muc 954
19.79/19.88	c iter 1052 time 19.0341 not-muc 248089 unknown 590 muc 955
19.79/19.88	c iter 1053 time 19.0501 not-muc 248089 unknown 589 muc 956
19.79/19.88	c iter 1054 time 19.0661 not-muc 248089 unknown 588 muc 957
19.79/19.88	c iter 1055 time 19.0751 not-muc 248098 unknown 579 muc 957
19.79/19.88	c iter 1056 time 19.0881 not-muc 248098 unknown 578 muc 958
19.79/19.88	c iter 1057 time 19.1101 not-muc 248098 unknown 577 muc 959
19.79/19.88	c iter 1058 time 19.1251 not-muc 248098 unknown 576 muc 960
19.79/19.88	c iter 1059 time 19.1411 not-muc 248098 unknown 575 muc 961
19.79/19.88	c iter 1060 time 19.1571 not-muc 248098 unknown 574 muc 962
19.79/19.88	c iter 1061 time 19.1731 not-muc 248098 unknown 573 muc 963
19.79/19.88	c iter 1062 time 19.1881 not-muc 248098 unknown 572 muc 964
19.79/19.88	c iter 1063 time 19.2041 not-muc 248098 unknown 571 muc 965
19.79/19.88	c iter 1064 time 19.2201 not-muc 248098 unknown 570 muc 966
19.79/19.88	c iter 1065 time 19.2361 not-muc 248098 unknown 569 muc 967
19.79/19.88	c iter 1066 time 19.2521 not-muc 248098 unknown 568 muc 968
19.79/19.88	c iter 1067 time 19.2671 not-muc 248098 unknown 567 muc 969
19.79/19.88	c iter 1068 time 19.2831 not-muc 248098 unknown 566 muc 970
19.79/19.88	c iter 1069 time 19.2991 not-muc 248098 unknown 565 muc 971
19.79/19.88	c iter 1070 time 19.3141 not-muc 248098 unknown 564 muc 972
19.79/19.88	c iter 1071 time 19.3301 not-muc 248098 unknown 563 muc 973
19.79/19.88	c iter 1072 time 19.3461 not-muc 248098 unknown 562 muc 974
19.79/19.88	c iter 1073 time 19.3621 not-muc 248098 unknown 561 muc 975
19.79/19.88	c iter 1074 time 19.3781 not-muc 248098 unknown 560 muc 976
19.79/19.88	c iter 1075 time 19.3931 not-muc 248098 unknown 559 muc 977
19.79/19.88	c iter 1076 time 19.409 not-muc 248098 unknown 558 muc 978
19.79/19.88	c iter 1077 time 19.425 not-muc 248098 unknown 557 muc 979
19.79/19.88	c iter 1078 time 19.441 not-muc 248098 unknown 556 muc 980
19.79/19.88	c iter 1079 time 19.456 not-muc 248098 unknown 555 muc 981
19.79/19.88	c iter 1080 time 19.472 not-muc 248098 unknown 554 muc 982
19.79/19.88	c iter 1081 time 19.488 not-muc 248098 unknown 553 muc 983
19.79/19.88	c iter 1082 time 19.503 not-muc 248098 unknown 552 muc 984
19.79/19.88	c iter 1083 time 19.519 not-muc 248098 unknown 551 muc 985
19.79/19.88	c iter 1084 time 19.535 not-muc 248098 unknown 550 muc 986
19.79/19.88	c iter 1085 time 19.551 not-muc 248098 unknown 549 muc 987
19.79/19.88	c iter 1086 time 19.566 not-muc 248098 unknown 548 muc 988
19.79/19.88	c iter 1087 time 19.582 not-muc 248098 unknown 547 muc 989
19.79/19.88	c iter 1088 time 19.591 not-muc 248100 unknown 545 muc 989
19.79/19.88	c iter 1089 time 19.604 not-muc 248100 unknown 544 muc 990
19.79/19.88	c iter 1090 time 19.62 not-muc 248100 unknown 543 muc 991
19.79/19.88	c iter 1091 time 19.636 not-muc 248100 unknown 542 muc 992
19.79/19.88	c iter 1092 time 19.652 not-muc 248100 unknown 541 muc 993
19.79/19.88	c iter 1093 time 19.668 not-muc 248100 unknown 540 muc 994
19.79/19.88	c iter 1094 time 19.683 not-muc 248100 unknown 539 muc 995
19.79/19.88	c iter 1095 time 19.699 not-muc 248100 unknown 538 muc 996
19.79/19.88	c iter 1096 time 19.708 not-muc 248102 unknown 536 muc 996
19.79/19.88	c iter 1097 time 19.721 not-muc 248102 unknown 535 muc 997
19.79/19.88	c iter 1098 time 19.736 not-muc 248102 unknown 534 muc 998
19.79/19.88	c iter 1099 time 19.745 not-muc 248112 unknown 524 muc 998
19.79/19.88	c iter 1100 time 19.759 not-muc 248112 unknown 523 muc 999
19.79/19.88	c iter 1101 time 19.773 not-muc 248115 unknown 520 muc 999
19.79/19.88	c iter 1102 time 19.786 not-muc 248115 unknown 519 muc 1000
20.79/20.89	c iter 1103 time 19.802 not-muc 248115 unknown 518 muc 1001
20.79/20.89	c iter 1104 time 19.818 not-muc 248115 unknown 517 muc 1002
20.79/20.89	c iter 1105 time 19.834 not-muc 248115 unknown 516 muc 1003
20.79/20.89	c iter 1106 time 19.849 not-muc 248115 unknown 515 muc 1004
20.79/20.89	c iter 1107 time 19.858 not-muc 248127 unknown 503 muc 1004
20.79/20.89	c iter 1108 time 19.871 not-muc 248127 unknown 502 muc 1005
20.79/20.89	c iter 1109 time 19.887 not-muc 248127 unknown 501 muc 1006
20.79/20.89	c iter 1110 time 19.902 not-muc 248127 unknown 500 muc 1007
20.79/20.89	c iter 1111 time 19.918 not-muc 248127 unknown 499 muc 1008
20.79/20.89	c iter 1112 time 19.933 not-muc 248127 unknown 498 muc 1009
20.79/20.89	c iter 1113 time 19.949 not-muc 248127 unknown 497 muc 1010
20.79/20.89	c iter 1114 time 19.964 not-muc 248127 unknown 496 muc 1011
20.79/20.89	c iter 1115 time 19.98 not-muc 248127 unknown 495 muc 1012
20.79/20.89	c iter 1116 time 19.996 not-muc 248127 unknown 494 muc 1013
20.79/20.89	c iter 1117 time 20.011 not-muc 248127 unknown 493 muc 1014
20.79/20.89	c iter 1118 time 20.027 not-muc 248127 unknown 492 muc 1015
20.79/20.89	c iter 1119 time 20.042 not-muc 248127 unknown 491 muc 1016
20.79/20.89	c iter 1120 time 20.058 not-muc 248127 unknown 490 muc 1017
20.79/20.89	c iter 1121 time 20.0729 not-muc 248127 unknown 489 muc 1018
20.79/20.89	c iter 1122 time 20.0889 not-muc 248127 unknown 488 muc 1019
20.79/20.89	c iter 1123 time 20.1039 not-muc 248127 unknown 487 muc 1020
20.79/20.89	c iter 1124 time 20.1199 not-muc 248127 unknown 486 muc 1021
20.79/20.89	c iter 1125 time 20.1279 not-muc 248136 unknown 477 muc 1021
20.79/20.89	c iter 1126 time 20.1339 not-muc 248138 unknown 475 muc 1021
20.79/20.89	c iter 1127 time 20.1469 not-muc 248138 unknown 474 muc 1022
20.79/20.89	c iter 1128 time 20.1679 not-muc 248138 unknown 473 muc 1023
20.79/20.89	c iter 1129 time 20.1839 not-muc 248138 unknown 472 muc 1024
20.79/20.89	c iter 1130 time 20.1989 not-muc 248138 unknown 471 muc 1025
20.79/20.89	c iter 1131 time 20.2149 not-muc 248138 unknown 470 muc 1026
20.79/20.89	c iter 1132 time 20.2299 not-muc 248138 unknown 469 muc 1027
20.79/20.89	c iter 1133 time 20.2459 not-muc 248138 unknown 468 muc 1028
20.79/20.89	c iter 1134 time 20.2609 not-muc 248138 unknown 467 muc 1029
20.79/20.89	c iter 1135 time 20.2769 not-muc 248138 unknown 466 muc 1030
20.79/20.89	c iter 1136 time 20.2919 not-muc 248138 unknown 465 muc 1031
20.79/20.89	c iter 1137 time 20.3079 not-muc 248138 unknown 464 muc 1032
20.79/20.89	c iter 1138 time 20.3229 not-muc 248138 unknown 463 muc 1033
20.79/20.89	c iter 1139 time 20.3389 not-muc 248138 unknown 462 muc 1034
20.79/20.89	c iter 1140 time 20.3539 not-muc 248138 unknown 461 muc 1035
20.79/20.89	c iter 1141 time 20.3699 not-muc 248138 unknown 460 muc 1036
20.79/20.89	c iter 1142 time 20.3849 not-muc 248138 unknown 459 muc 1037
20.79/20.89	c iter 1143 time 20.4009 not-muc 248138 unknown 458 muc 1038
20.79/20.89	c iter 1144 time 20.4089 not-muc 248152 unknown 444 muc 1038
20.79/20.89	c iter 1145 time 20.4219 not-muc 248152 unknown 443 muc 1039
20.79/20.89	c iter 1146 time 20.4379 not-muc 248152 unknown 442 muc 1040
20.79/20.89	c iter 1147 time 20.4529 not-muc 248152 unknown 441 muc 1041
20.79/20.89	c iter 1148 time 20.4689 not-muc 248152 unknown 440 muc 1042
20.79/20.89	c iter 1149 time 20.4839 not-muc 248152 unknown 439 muc 1043
20.79/20.89	c iter 1150 time 20.4999 not-muc 248152 unknown 438 muc 1044
20.79/20.89	c iter 1151 time 20.5149 not-muc 248152 unknown 437 muc 1045
20.79/20.89	c iter 1152 time 20.5299 not-muc 248152 unknown 436 muc 1046
20.79/20.89	c iter 1153 time 20.5459 not-muc 248152 unknown 435 muc 1047
20.79/20.89	c iter 1154 time 20.5609 not-muc 248152 unknown 434 muc 1048
20.79/20.89	c iter 1155 time 20.5769 not-muc 248152 unknown 433 muc 1049
20.79/20.89	c iter 1156 time 20.5919 not-muc 248152 unknown 432 muc 1050
20.79/20.89	c iter 1157 time 20.6079 not-muc 248152 unknown 431 muc 1051
20.79/20.89	c iter 1158 time 20.6229 not-muc 248152 unknown 430 muc 1052
20.79/20.89	c iter 1159 time 20.6389 not-muc 248152 unknown 429 muc 1053
20.79/20.89	c iter 1160 time 20.6549 not-muc 248152 unknown 428 muc 1054
20.79/20.89	c iter 1161 time 20.6699 not-muc 248152 unknown 427 muc 1055
20.79/20.89	c iter 1162 time 20.6859 not-muc 248152 unknown 426 muc 1056
20.79/20.89	c iter 1163 time 20.7009 not-muc 248152 unknown 425 muc 1057
20.79/20.89	c iter 1164 time 20.7158 not-muc 248152 unknown 424 muc 1058
20.79/20.89	c iter 1165 time 20.7318 not-muc 248152 unknown 423 muc 1059
20.79/20.89	c iter 1166 time 20.7468 not-muc 248152 unknown 422 muc 1060
20.79/20.89	c iter 1167 time 20.7628 not-muc 248152 unknown 421 muc 1061
20.79/20.89	c iter 1168 time 20.7778 not-muc 248152 unknown 420 muc 1062
20.79/20.89	c iter 1169 time 20.7938 not-muc 248152 unknown 419 muc 1063
21.89/21.92	c iter 1170 time 20.8088 not-muc 248152 unknown 418 muc 1064
21.89/21.92	c iter 1171 time 20.8248 not-muc 248152 unknown 417 muc 1065
21.89/21.92	c iter 1172 time 20.8398 not-muc 248152 unknown 416 muc 1066
21.89/21.92	c iter 1173 time 20.8558 not-muc 248152 unknown 415 muc 1067
21.89/21.92	c iter 1174 time 20.8708 not-muc 248152 unknown 414 muc 1068
21.89/21.92	c iter 1175 time 20.8868 not-muc 248152 unknown 413 muc 1069
21.89/21.92	c iter 1176 time 20.9018 not-muc 248152 unknown 412 muc 1070
21.89/21.92	c iter 1177 time 20.9178 not-muc 248152 unknown 411 muc 1071
21.89/21.92	c iter 1178 time 20.9328 not-muc 248152 unknown 410 muc 1072
21.89/21.92	c iter 1179 time 20.9488 not-muc 248152 unknown 409 muc 1073
21.89/21.92	c iter 1180 time 20.9648 not-muc 248152 unknown 408 muc 1074
21.89/21.92	c iter 1181 time 20.9798 not-muc 248152 unknown 407 muc 1075
21.89/21.92	c iter 1182 time 20.9948 not-muc 248152 unknown 406 muc 1076
21.89/21.92	c iter 1183 time 21.0108 not-muc 248152 unknown 405 muc 1077
21.89/21.92	c iter 1184 time 21.0258 not-muc 248152 unknown 404 muc 1078
21.89/21.92	c iter 1185 time 21.0418 not-muc 248152 unknown 403 muc 1079
21.89/21.92	c iter 1186 time 21.0568 not-muc 248152 unknown 402 muc 1080
21.89/21.92	c iter 1187 time 21.0728 not-muc 248152 unknown 401 muc 1081
21.89/21.92	c iter 1188 time 21.0878 not-muc 248152 unknown 400 muc 1082
21.89/21.92	c iter 1189 time 21.1038 not-muc 248152 unknown 399 muc 1083
21.89/21.92	c iter 1190 time 21.1188 not-muc 248152 unknown 398 muc 1084
21.89/21.92	c iter 1191 time 21.1348 not-muc 248152 unknown 397 muc 1085
21.89/21.92	c iter 1192 time 21.1498 not-muc 248152 unknown 396 muc 1086
21.89/21.92	c iter 1193 time 21.1658 not-muc 248152 unknown 395 muc 1087
21.89/21.92	c iter 1194 time 21.1808 not-muc 248152 unknown 394 muc 1088
21.89/21.92	c iter 1195 time 21.1968 not-muc 248152 unknown 393 muc 1089
21.89/21.92	c iter 1196 time 21.2118 not-muc 248152 unknown 392 muc 1090
21.89/21.92	c iter 1197 time 21.2278 not-muc 248152 unknown 391 muc 1091
21.89/21.92	c iter 1198 time 21.2428 not-muc 248152 unknown 390 muc 1092
21.89/21.92	c iter 1199 time 21.2588 not-muc 248152 unknown 389 muc 1093
21.89/21.92	c iter 1200 time 21.2748 not-muc 248152 unknown 388 muc 1094
21.89/21.92	c iter 1201 time 21.2898 not-muc 248152 unknown 387 muc 1095
21.89/21.92	c iter 1202 time 21.3058 not-muc 248152 unknown 386 muc 1096
21.89/21.92	c iter 1203 time 21.3208 not-muc 248152 unknown 385 muc 1097
21.89/21.92	c iter 1204 time 21.3358 not-muc 248152 unknown 384 muc 1098
21.89/21.92	c iter 1205 time 21.3518 not-muc 248152 unknown 383 muc 1099
21.89/21.92	c iter 1206 time 21.3668 not-muc 248152 unknown 382 muc 1100
21.89/21.92	c iter 1207 time 21.3827 not-muc 248152 unknown 381 muc 1101
21.89/21.92	c iter 1208 time 21.3907 not-muc 248153 unknown 380 muc 1101
21.89/21.92	c iter 1209 time 21.4037 not-muc 248153 unknown 379 muc 1102
21.89/21.92	c iter 1210 time 21.4247 not-muc 248153 unknown 378 muc 1103
21.89/21.92	c iter 1211 time 21.4407 not-muc 248153 unknown 377 muc 1104
21.89/21.92	c iter 1212 time 21.4547 not-muc 248153 unknown 376 muc 1105
21.89/21.92	c iter 1213 time 21.4707 not-muc 248153 unknown 375 muc 1106
21.89/21.92	c iter 1214 time 21.4847 not-muc 248153 unknown 374 muc 1107
21.89/21.92	c iter 1215 time 21.5007 not-muc 248153 unknown 373 muc 1108
21.89/21.92	c iter 1216 time 21.5167 not-muc 248153 unknown 372 muc 1109
21.89/21.92	c iter 1217 time 21.5317 not-muc 248153 unknown 371 muc 1110
21.89/21.92	c iter 1218 time 21.5467 not-muc 248153 unknown 370 muc 1111
21.89/21.92	c iter 1219 time 21.5627 not-muc 248153 unknown 369 muc 1112
21.89/21.92	c iter 1220 time 21.5787 not-muc 248153 unknown 368 muc 1113
21.89/21.92	c iter 1221 time 21.5937 not-muc 248153 unknown 367 muc 1114
21.89/21.92	c iter 1222 time 21.6097 not-muc 248153 unknown 366 muc 1115
21.89/21.92	c iter 1223 time 21.6247 not-muc 248153 unknown 365 muc 1116
21.89/21.92	c iter 1224 time 21.6397 not-muc 248153 unknown 364 muc 1117
21.89/21.92	c iter 1225 time 21.6557 not-muc 248153 unknown 363 muc 1118
21.89/21.92	c iter 1226 time 21.6707 not-muc 248153 unknown 362 muc 1119
21.89/21.92	c iter 1227 time 21.6867 not-muc 248153 unknown 361 muc 1120
21.89/21.92	c iter 1228 time 21.7017 not-muc 248153 unknown 360 muc 1121
21.89/21.92	c iter 1229 time 21.7177 not-muc 248153 unknown 359 muc 1122
21.89/21.92	c iter 1230 time 21.7327 not-muc 248153 unknown 358 muc 1123
21.89/21.92	c iter 1231 time 21.7477 not-muc 248153 unknown 357 muc 1124
21.89/21.92	c iter 1232 time 21.7627 not-muc 248153 unknown 356 muc 1125
21.89/21.92	c iter 1233 time 21.7777 not-muc 248153 unknown 355 muc 1126
21.89/21.92	c iter 1234 time 21.7937 not-muc 248153 unknown 354 muc 1127
21.89/21.92	c iter 1235 time 21.8097 not-muc 248153 unknown 353 muc 1128
21.89/21.92	c iter 1236 time 21.8247 not-muc 248153 unknown 352 muc 1129
22.88/22.93	c iter 1237 time 21.8407 not-muc 248153 unknown 351 muc 1130
22.88/22.93	c iter 1238 time 21.8557 not-muc 248153 unknown 350 muc 1131
22.88/22.93	c iter 1239 time 21.8717 not-muc 248153 unknown 349 muc 1132
22.88/22.93	c iter 1240 time 21.8867 not-muc 248153 unknown 348 muc 1133
22.88/22.93	c iter 1241 time 21.9027 not-muc 248153 unknown 347 muc 1134
22.88/22.93	c iter 1242 time 21.9177 not-muc 248153 unknown 346 muc 1135
22.88/22.93	c iter 1243 time 21.9327 not-muc 248153 unknown 345 muc 1136
22.88/22.93	c iter 1244 time 21.9487 not-muc 248153 unknown 344 muc 1137
22.88/22.93	c iter 1245 time 21.9637 not-muc 248153 unknown 343 muc 1138
22.88/22.93	c iter 1246 time 21.9797 not-muc 248153 unknown 342 muc 1139
22.88/22.93	c iter 1247 time 21.9947 not-muc 248153 unknown 341 muc 1140
22.88/22.93	c iter 1248 time 22.0107 not-muc 248153 unknown 340 muc 1141
22.88/22.93	c iter 1249 time 22.0257 not-muc 248153 unknown 339 muc 1142
22.88/22.93	c iter 1250 time 22.0406 not-muc 248153 unknown 338 muc 1143
22.88/22.93	c iter 1251 time 22.0496 not-muc 248156 unknown 335 muc 1143
22.88/22.93	c iter 1252 time 22.0626 not-muc 248156 unknown 334 muc 1144
22.88/22.93	c iter 1253 time 22.0776 not-muc 248156 unknown 333 muc 1145
22.88/22.93	c iter 1254 time 22.0856 not-muc 248157 unknown 332 muc 1145
22.88/22.93	c iter 1255 time 22.0916 not-muc 248159 unknown 330 muc 1145
22.88/22.93	c iter 1256 time 22.1046 not-muc 248159 unknown 329 muc 1146
22.88/22.93	c iter 1257 time 22.1196 not-muc 248159 unknown 328 muc 1147
22.88/22.93	c iter 1258 time 22.1356 not-muc 248159 unknown 327 muc 1148
22.88/22.93	c iter 1259 time 22.1436 not-muc 248161 unknown 325 muc 1148
22.88/22.93	c iter 1260 time 22.1566 not-muc 248161 unknown 324 muc 1149
22.88/22.93	c iter 1261 time 22.1646 not-muc 248162 unknown 323 muc 1149
22.88/22.93	c iter 1262 time 22.1776 not-muc 248162 unknown 322 muc 1150
22.88/22.93	c iter 1263 time 22.1916 not-muc 248163 unknown 321 muc 1150
22.88/22.93	c iter 1264 time 22.2046 not-muc 248163 unknown 320 muc 1151
22.88/22.93	c iter 1265 time 22.2196 not-muc 248163 unknown 319 muc 1152
22.88/22.93	c iter 1266 time 22.2276 not-muc 248175 unknown 307 muc 1152
22.88/22.93	c iter 1267 time 22.2346 not-muc 248195 unknown 287 muc 1152
22.88/22.93	c iter 1268 time 22.2486 not-muc 248195 unknown 286 muc 1153
22.88/22.93	c iter 1269 time 22.2646 not-muc 248195 unknown 285 muc 1154
22.88/22.93	c iter 1270 time 22.2806 not-muc 248195 unknown 284 muc 1155
22.88/22.93	c iter 1271 time 22.2976 not-muc 248195 unknown 283 muc 1156
22.88/22.93	c iter 1272 time 22.3136 not-muc 248195 unknown 282 muc 1157
22.88/22.93	c iter 1273 time 22.3226 not-muc 248196 unknown 281 muc 1157
22.88/22.93	c iter 1274 time 22.3356 not-muc 248196 unknown 280 muc 1158
22.88/22.93	c iter 1275 time 22.3576 not-muc 248196 unknown 279 muc 1159
22.88/22.93	c iter 1276 time 22.3736 not-muc 248196 unknown 278 muc 1160
22.88/22.93	c iter 1277 time 22.3896 not-muc 248196 unknown 277 muc 1161
22.88/22.93	c iter 1278 time 22.4066 not-muc 248196 unknown 276 muc 1162
22.88/22.93	c iter 1279 time 22.4226 not-muc 248196 unknown 275 muc 1163
22.88/22.93	c iter 1280 time 22.4386 not-muc 248196 unknown 274 muc 1164
22.88/22.93	c iter 1281 time 22.4546 not-muc 248196 unknown 273 muc 1165
22.88/22.93	c iter 1282 time 22.4706 not-muc 248196 unknown 272 muc 1166
22.88/22.93	c iter 1283 time 22.4876 not-muc 248196 unknown 271 muc 1167
22.88/22.93	c iter 1284 time 22.5036 not-muc 248196 unknown 270 muc 1168
22.88/22.93	c iter 1285 time 22.5196 not-muc 248196 unknown 269 muc 1169
22.88/22.93	c iter 1286 time 22.5356 not-muc 248196 unknown 268 muc 1170
22.88/22.93	c iter 1287 time 22.5516 not-muc 248196 unknown 267 muc 1171
22.88/22.93	c iter 1288 time 22.5676 not-muc 248196 unknown 266 muc 1172
22.88/22.93	c iter 1289 time 22.5836 not-muc 248196 unknown 265 muc 1173
22.88/22.93	c iter 1290 time 22.6006 not-muc 248196 unknown 264 muc 1174
22.88/22.93	c iter 1291 time 22.6166 not-muc 248196 unknown 263 muc 1175
22.88/22.93	c iter 1292 time 22.6326 not-muc 248196 unknown 262 muc 1176
22.88/22.93	c iter 1293 time 22.6486 not-muc 248196 unknown 261 muc 1177
22.88/22.93	c iter 1294 time 22.6646 not-muc 248196 unknown 260 muc 1178
22.88/22.93	c iter 1295 time 22.6806 not-muc 248196 unknown 259 muc 1179
22.88/22.93	c iter 1296 time 22.6965 not-muc 248196 unknown 258 muc 1180
22.88/22.93	c iter 1297 time 22.7135 not-muc 248196 unknown 257 muc 1181
22.88/22.93	c iter 1298 time 22.7295 not-muc 248196 unknown 256 muc 1182
22.88/22.93	c iter 1299 time 22.7455 not-muc 248196 unknown 255 muc 1183
22.88/22.93	c iter 1300 time 22.7615 not-muc 248196 unknown 254 muc 1184
22.88/22.93	c iter 1301 time 22.7775 not-muc 248196 unknown 253 muc 1185
22.88/22.93	c iter 1302 time 22.7935 not-muc 248196 unknown 252 muc 1186
22.88/22.93	c iter 1303 time 22.8095 not-muc 248196 unknown 251 muc 1187
22.88/22.93	c iter 1304 time 22.8255 not-muc 248196 unknown 250 muc 1188
23.88/23.98	c iter 1305 time 22.8415 not-muc 248196 unknown 249 muc 1189
23.88/23.98	c iter 1306 time 22.8575 not-muc 248196 unknown 248 muc 1190
23.88/23.98	c iter 1307 time 22.8735 not-muc 248196 unknown 247 muc 1191
23.88/23.98	c iter 1308 time 22.8895 not-muc 248196 unknown 246 muc 1192
23.88/23.98	c iter 1309 time 22.9065 not-muc 248196 unknown 245 muc 1193
23.88/23.98	c iter 1310 time 22.9225 not-muc 248196 unknown 244 muc 1194
23.88/23.98	c iter 1311 time 22.9385 not-muc 248196 unknown 243 muc 1195
23.88/23.98	c iter 1312 time 22.9535 not-muc 248196 unknown 242 muc 1196
23.88/23.98	c iter 1313 time 22.9685 not-muc 248196 unknown 241 muc 1197
23.88/23.98	c iter 1314 time 22.9845 not-muc 248196 unknown 240 muc 1198
23.88/23.98	c iter 1315 time 23.0005 not-muc 248196 unknown 239 muc 1199
23.88/23.98	c iter 1316 time 23.0165 not-muc 248196 unknown 238 muc 1200
23.88/23.98	c iter 1317 time 23.0325 not-muc 248196 unknown 237 muc 1201
23.88/23.98	c iter 1318 time 23.0485 not-muc 248196 unknown 236 muc 1202
23.88/23.98	c iter 1319 time 23.0645 not-muc 248196 unknown 235 muc 1203
23.88/23.98	c iter 1320 time 23.0805 not-muc 248196 unknown 234 muc 1204
23.88/23.98	c iter 1321 time 23.0965 not-muc 248196 unknown 233 muc 1205
23.88/23.98	c iter 1322 time 23.1115 not-muc 248196 unknown 232 muc 1206
23.88/23.98	c iter 1323 time 23.1275 not-muc 248196 unknown 231 muc 1207
23.88/23.98	c iter 1324 time 23.1435 not-muc 248196 unknown 230 muc 1208
23.88/23.98	c iter 1325 time 23.1595 not-muc 248196 unknown 229 muc 1209
23.88/23.98	c iter 1326 time 23.1755 not-muc 248196 unknown 228 muc 1210
23.88/23.98	c iter 1327 time 23.1915 not-muc 248196 unknown 227 muc 1211
23.88/23.98	c iter 1328 time 23.2075 not-muc 248196 unknown 226 muc 1212
23.88/23.98	c iter 1329 time 23.2235 not-muc 248196 unknown 225 muc 1213
23.88/23.98	c iter 1330 time 23.2385 not-muc 248196 unknown 224 muc 1214
23.88/23.98	c iter 1331 time 23.2545 not-muc 248196 unknown 223 muc 1215
23.88/23.98	c iter 1332 time 23.2705 not-muc 248196 unknown 222 muc 1216
23.88/23.98	c iter 1333 time 23.2865 not-muc 248196 unknown 221 muc 1217
23.88/23.98	c iter 1334 time 23.3025 not-muc 248196 unknown 220 muc 1218
23.88/23.98	c iter 1335 time 23.3175 not-muc 248196 unknown 219 muc 1219
23.88/23.98	c iter 1336 time 23.3335 not-muc 248196 unknown 218 muc 1220
23.88/23.98	c iter 1337 time 23.3495 not-muc 248196 unknown 217 muc 1221
23.88/23.98	c iter 1338 time 23.3644 not-muc 248196 unknown 216 muc 1222
23.88/23.98	c iter 1339 time 23.3804 not-muc 248196 unknown 215 muc 1223
23.88/23.98	c iter 1340 time 23.3964 not-muc 248196 unknown 214 muc 1224
23.88/23.98	c iter 1341 time 23.4124 not-muc 248196 unknown 213 muc 1225
23.88/23.98	c iter 1342 time 23.4274 not-muc 248196 unknown 212 muc 1226
23.88/23.98	c iter 1343 time 23.4434 not-muc 248196 unknown 211 muc 1227
23.88/23.98	c iter 1344 time 23.4594 not-muc 248196 unknown 210 muc 1228
23.88/23.98	c iter 1345 time 23.4744 not-muc 248196 unknown 209 muc 1229
23.88/23.98	c iter 1346 time 23.4904 not-muc 248196 unknown 208 muc 1230
23.88/23.98	c iter 1347 time 23.5064 not-muc 248196 unknown 207 muc 1231
23.88/23.98	c iter 1348 time 23.5214 not-muc 248196 unknown 206 muc 1232
23.88/23.98	c iter 1349 time 23.5374 not-muc 248196 unknown 205 muc 1233
23.88/23.98	c iter 1350 time 23.5524 not-muc 248196 unknown 204 muc 1234
23.88/23.98	c iter 1351 time 23.5684 not-muc 248196 unknown 203 muc 1235
23.88/23.98	c iter 1352 time 23.5844 not-muc 248196 unknown 202 muc 1236
23.88/23.98	c iter 1353 time 23.5994 not-muc 248196 unknown 201 muc 1237
23.88/23.98	c iter 1354 time 23.6154 not-muc 248196 unknown 200 muc 1238
23.88/23.98	c iter 1355 time 23.6314 not-muc 248196 unknown 199 muc 1239
23.88/23.98	c iter 1356 time 23.6464 not-muc 248196 unknown 198 muc 1240
23.88/23.98	c iter 1357 time 23.6624 not-muc 248196 unknown 197 muc 1241
23.88/23.98	c iter 1358 time 23.6774 not-muc 248196 unknown 196 muc 1242
23.88/23.98	c iter 1359 time 23.6934 not-muc 248196 unknown 195 muc 1243
23.88/23.98	c iter 1360 time 23.7094 not-muc 248196 unknown 194 muc 1244
23.88/23.98	c iter 1361 time 23.7244 not-muc 248196 unknown 193 muc 1245
23.88/23.98	c iter 1362 time 23.7404 not-muc 248196 unknown 192 muc 1246
23.88/23.98	c iter 1363 time 23.7554 not-muc 248196 unknown 191 muc 1247
23.88/23.98	c iter 1364 time 23.7704 not-muc 248196 unknown 190 muc 1248
23.88/23.98	c iter 1365 time 23.7864 not-muc 248196 unknown 189 muc 1249
23.88/23.98	c iter 1366 time 23.8024 not-muc 248196 unknown 188 muc 1250
23.88/23.98	c iter 1367 time 23.8174 not-muc 248196 unknown 187 muc 1251
23.88/23.98	c iter 1368 time 23.8334 not-muc 248196 unknown 186 muc 1252
23.88/23.98	c iter 1369 time 23.8484 not-muc 248196 unknown 185 muc 1253
23.88/23.98	c iter 1370 time 23.8644 not-muc 248196 unknown 184 muc 1254
23.88/23.98	c iter 1371 time 23.8804 not-muc 248196 unknown 183 muc 1255
24.88/24.97	c iter 1372 time 23.8954 not-muc 248196 unknown 182 muc 1256
24.88/24.97	c iter 1373 time 23.9114 not-muc 248196 unknown 181 muc 1257
24.88/24.97	c iter 1374 time 23.9264 not-muc 248196 unknown 180 muc 1258
24.88/24.97	c iter 1375 time 23.9424 not-muc 248196 unknown 179 muc 1259
24.88/24.97	c iter 1376 time 23.9574 not-muc 248196 unknown 178 muc 1260
24.88/24.97	c iter 1377 time 23.9734 not-muc 248196 unknown 177 muc 1261
24.88/24.97	c iter 1378 time 23.9884 not-muc 248196 unknown 176 muc 1262
24.88/24.97	c iter 1379 time 24.0034 not-muc 248196 unknown 175 muc 1263
24.88/24.97	c iter 1380 time 24.0193 not-muc 248196 unknown 174 muc 1264
24.88/24.97	c iter 1381 time 24.0343 not-muc 248196 unknown 173 muc 1265
24.88/24.97	c iter 1382 time 24.0503 not-muc 248196 unknown 172 muc 1266
24.88/24.97	c iter 1383 time 24.0653 not-muc 248196 unknown 171 muc 1267
24.88/24.97	c iter 1384 time 24.0803 not-muc 248196 unknown 170 muc 1268
24.88/24.97	c iter 1385 time 24.0963 not-muc 248196 unknown 169 muc 1269
24.88/24.97	c iter 1386 time 24.1113 not-muc 248196 unknown 168 muc 1270
24.88/24.97	c iter 1387 time 24.1263 not-muc 248196 unknown 167 muc 1271
24.88/24.97	c iter 1388 time 24.1413 not-muc 248196 unknown 166 muc 1272
24.88/24.97	c iter 1389 time 24.1573 not-muc 248196 unknown 165 muc 1273
24.88/24.97	c iter 1390 time 24.1723 not-muc 248196 unknown 164 muc 1274
24.88/24.97	c iter 1391 time 24.1873 not-muc 248196 unknown 163 muc 1275
24.88/24.97	c iter 1392 time 24.2033 not-muc 248196 unknown 162 muc 1276
24.88/24.97	c iter 1393 time 24.2183 not-muc 248196 unknown 161 muc 1277
24.88/24.97	c iter 1394 time 24.2333 not-muc 248196 unknown 160 muc 1278
24.88/24.97	c iter 1395 time 24.2483 not-muc 248196 unknown 159 muc 1279
24.88/24.97	c iter 1396 time 24.2643 not-muc 248196 unknown 158 muc 1280
24.88/24.97	c iter 1397 time 24.2793 not-muc 248196 unknown 157 muc 1281
24.88/24.97	c iter 1398 time 24.2943 not-muc 248196 unknown 156 muc 1282
24.88/24.97	c iter 1399 time 24.3103 not-muc 248196 unknown 155 muc 1283
24.88/24.97	c iter 1400 time 24.3253 not-muc 248196 unknown 154 muc 1284
24.88/24.97	c iter 1401 time 24.3403 not-muc 248196 unknown 153 muc 1285
24.88/24.97	c iter 1402 time 24.3563 not-muc 248196 unknown 152 muc 1286
24.88/24.97	c iter 1403 time 24.3713 not-muc 248196 unknown 151 muc 1287
24.88/24.97	c iter 1404 time 24.3863 not-muc 248196 unknown 150 muc 1288
24.88/24.97	c iter 1405 time 24.4013 not-muc 248196 unknown 149 muc 1289
24.88/24.97	c iter 1406 time 24.4173 not-muc 248196 unknown 148 muc 1290
24.88/24.97	c iter 1407 time 24.4323 not-muc 248196 unknown 147 muc 1291
24.88/24.97	c iter 1408 time 24.4473 not-muc 248196 unknown 146 muc 1292
24.88/24.97	c iter 1409 time 24.4623 not-muc 248196 unknown 145 muc 1293
24.88/24.97	c iter 1410 time 24.4763 not-muc 248196 unknown 144 muc 1294
24.88/24.97	c iter 1411 time 24.4903 not-muc 248196 unknown 143 muc 1295
24.88/24.97	c iter 1412 time 24.5043 not-muc 248196 unknown 142 muc 1296
24.88/24.97	c iter 1413 time 24.5193 not-muc 248196 unknown 141 muc 1297
24.88/24.97	c iter 1414 time 24.5333 not-muc 248196 unknown 140 muc 1298
24.88/24.97	c iter 1415 time 24.5473 not-muc 248196 unknown 139 muc 1299
24.88/24.97	c iter 1416 time 24.5613 not-muc 248196 unknown 138 muc 1300
24.88/24.97	c iter 1417 time 24.5763 not-muc 248196 unknown 137 muc 1301
24.88/24.97	c iter 1418 time 24.5903 not-muc 248196 unknown 136 muc 1302
24.88/24.97	c iter 1419 time 24.6043 not-muc 248196 unknown 135 muc 1303
24.88/24.97	c iter 1420 time 24.6183 not-muc 248196 unknown 134 muc 1304
24.88/24.97	c iter 1421 time 24.6323 not-muc 248196 unknown 133 muc 1305
24.88/24.97	c iter 1422 time 24.6463 not-muc 248196 unknown 132 muc 1306
24.88/24.97	c iter 1423 time 24.6612 not-muc 248196 unknown 131 muc 1307
24.88/24.97	c iter 1424 time 24.6752 not-muc 248196 unknown 130 muc 1308
24.88/24.97	c iter 1425 time 24.6892 not-muc 248196 unknown 129 muc 1309
24.88/24.97	c iter 1426 time 24.7032 not-muc 248196 unknown 128 muc 1310
24.88/24.97	c iter 1427 time 24.7172 not-muc 248196 unknown 127 muc 1311
24.88/24.97	c iter 1428 time 24.7312 not-muc 248196 unknown 126 muc 1312
24.88/24.97	c iter 1429 time 24.7452 not-muc 248196 unknown 125 muc 1313
24.88/24.97	c iter 1430 time 24.7602 not-muc 248196 unknown 124 muc 1314
24.88/24.97	c iter 1431 time 24.7732 not-muc 248196 unknown 123 muc 1315
24.88/24.97	c iter 1432 time 24.7882 not-muc 248196 unknown 122 muc 1316
24.88/24.97	c iter 1433 time 24.8022 not-muc 248196 unknown 121 muc 1317
24.88/24.97	c iter 1434 time 24.8152 not-muc 248196 unknown 120 muc 1318
24.88/24.97	c iter 1435 time 24.8302 not-muc 248196 unknown 119 muc 1319
24.88/24.97	c iter 1436 time 24.8442 not-muc 248196 unknown 118 muc 1320
24.88/24.97	c iter 1437 time 24.8582 not-muc 248196 unknown 117 muc 1321
24.88/24.97	c iter 1438 time 24.8722 not-muc 248196 unknown 116 muc 1322
25.88/25.91	c iter 1439 time 24.8862 not-muc 248196 unknown 115 muc 1323
25.88/25.91	c iter 1440 time 24.9002 not-muc 248196 unknown 114 muc 1324
25.88/25.91	c iter 1441 time 24.9142 not-muc 248196 unknown 113 muc 1325
25.88/25.91	c iter 1442 time 24.9282 not-muc 248196 unknown 112 muc 1326
25.88/25.91	c iter 1443 time 24.9422 not-muc 248196 unknown 111 muc 1327
25.88/25.91	c iter 1444 time 24.9562 not-muc 248196 unknown 110 muc 1328
25.88/25.91	c iter 1445 time 24.9702 not-muc 248196 unknown 109 muc 1329
25.88/25.91	c iter 1446 time 24.9842 not-muc 248196 unknown 108 muc 1330
25.88/25.91	c iter 1447 time 24.9982 not-muc 248196 unknown 107 muc 1331
25.88/25.91	c iter 1448 time 25.0122 not-muc 248196 unknown 106 muc 1332
25.88/25.91	c iter 1449 time 25.0262 not-muc 248196 unknown 105 muc 1333
25.88/25.91	c iter 1450 time 25.0402 not-muc 248196 unknown 104 muc 1334
25.88/25.91	c iter 1451 time 25.0542 not-muc 248196 unknown 103 muc 1335
25.88/25.91	c iter 1452 time 25.0682 not-muc 248196 unknown 102 muc 1336
25.88/25.91	c iter 1453 time 25.0822 not-muc 248196 unknown 101 muc 1337
25.88/25.91	c iter 1454 time 25.0962 not-muc 248196 unknown 100 muc 1338
25.88/25.91	c iter 1455 time 25.1102 not-muc 248196 unknown 99 muc 1339
25.88/25.92	c iter 1456 time 25.1242 not-muc 248196 unknown 98 muc 1340
25.88/25.92	c iter 1457 time 25.1382 not-muc 248196 unknown 97 muc 1341
25.88/25.92	c iter 1458 time 25.1522 not-muc 248196 unknown 96 muc 1342
25.88/25.92	c iter 1459 time 25.1652 not-muc 248196 unknown 95 muc 1343
25.88/25.92	c iter 1460 time 25.1792 not-muc 248196 unknown 94 muc 1344
25.88/25.92	c iter 1461 time 25.1932 not-muc 248196 unknown 93 muc 1345
25.88/25.92	c iter 1462 time 25.2072 not-muc 248196 unknown 92 muc 1346
25.88/25.92	c iter 1463 time 25.2212 not-muc 248196 unknown 91 muc 1347
25.88/25.92	c iter 1464 time 25.2352 not-muc 248196 unknown 90 muc 1348
25.88/25.92	c iter 1465 time 25.2492 not-muc 248196 unknown 89 muc 1349
25.88/25.92	c iter 1466 time 25.2632 not-muc 248196 unknown 88 muc 1350
25.88/25.92	c iter 1467 time 25.2762 not-muc 248196 unknown 87 muc 1351
25.88/25.92	c iter 1468 time 25.2902 not-muc 248196 unknown 86 muc 1352
25.88/25.92	c iter 1469 time 25.3042 not-muc 248196 unknown 85 muc 1353
25.88/25.92	c iter 1470 time 25.3182 not-muc 248196 unknown 84 muc 1354
25.88/25.92	c iter 1471 time 25.3321 not-muc 248196 unknown 83 muc 1355
25.88/25.92	c iter 1472 time 25.3461 not-muc 248196 unknown 82 muc 1356
25.88/25.92	c iter 1473 time 25.3591 not-muc 248196 unknown 81 muc 1357
25.88/25.92	c iter 1474 time 25.3731 not-muc 248196 unknown 80 muc 1358
25.88/25.92	c iter 1475 time 25.3871 not-muc 248196 unknown 79 muc 1359
25.88/25.92	c iter 1476 time 25.4011 not-muc 248196 unknown 78 muc 1360
25.88/25.92	c iter 1477 time 25.4151 not-muc 248196 unknown 77 muc 1361
25.88/25.92	c iter 1478 time 25.4281 not-muc 248196 unknown 76 muc 1362
25.88/25.92	c iter 1479 time 25.4421 not-muc 248196 unknown 75 muc 1363
25.88/25.92	c iter 1480 time 25.4561 not-muc 248196 unknown 74 muc 1364
25.88/25.92	c iter 1481 time 25.4701 not-muc 248196 unknown 73 muc 1365
25.88/25.92	c iter 1482 time 25.4831 not-muc 248196 unknown 72 muc 1366
25.88/25.92	c iter 1483 time 25.4971 not-muc 248196 unknown 71 muc 1367
25.88/25.92	c iter 1484 time 25.5111 not-muc 248196 unknown 70 muc 1368
25.88/25.92	c iter 1485 time 25.5251 not-muc 248196 unknown 69 muc 1369
25.88/25.92	c iter 1486 time 25.5391 not-muc 248196 unknown 68 muc 1370
25.88/25.92	c iter 1487 time 25.5521 not-muc 248196 unknown 67 muc 1371
25.88/25.92	c iter 1488 time 25.5661 not-muc 248196 unknown 66 muc 1372
25.88/25.92	c iter 1489 time 25.5801 not-muc 248196 unknown 65 muc 1373
25.88/25.92	c iter 1490 time 25.5941 not-muc 248196 unknown 64 muc 1374
25.88/25.92	c iter 1491 time 25.6071 not-muc 248196 unknown 63 muc 1375
25.88/25.92	c iter 1492 time 25.6211 not-muc 248196 unknown 62 muc 1376
25.88/25.92	c iter 1493 time 25.6351 not-muc 248196 unknown 61 muc 1377
25.88/25.92	c iter 1494 time 25.6491 not-muc 248196 unknown 60 muc 1378
25.88/25.92	c iter 1495 time 25.6631 not-muc 248196 unknown 59 muc 1379
25.88/25.92	c iter 1496 time 25.6771 not-muc 248196 unknown 58 muc 1380
25.88/25.92	c iter 1497 time 25.6901 not-muc 248196 unknown 57 muc 1381
25.88/25.92	c iter 1498 time 25.7041 not-muc 248196 unknown 56 muc 1382
25.88/25.92	c iter 1499 time 25.7181 not-muc 248196 unknown 55 muc 1383
25.88/25.92	c iter 1500 time 25.7321 not-muc 248196 unknown 54 muc 1384
25.88/25.92	c iter 1501 time 25.7451 not-muc 248196 unknown 53 muc 1385
25.88/25.92	c iter 1502 time 25.7591 not-muc 248196 unknown 52 muc 1386
25.88/25.92	c iter 1503 time 25.7731 not-muc 248196 unknown 51 muc 1387
25.88/25.92	c iter 1504 time 25.7861 not-muc 248196 unknown 50 muc 1388
25.88/25.92	c iter 1505 time 25.8001 not-muc 248196 unknown 49 muc 1389
25.88/25.92	c iter 1506 time 25.8141 not-muc 248196 unknown 48 muc 1390
26.49/26.57	c iter 1507 time 25.8281 not-muc 248196 unknown 47 muc 1391
26.49/26.57	c iter 1508 time 25.8421 not-muc 248196 unknown 46 muc 1392
26.49/26.57	c iter 1509 time 25.8551 not-muc 248196 unknown 45 muc 1393
26.49/26.57	c iter 1510 time 25.8691 not-muc 248196 unknown 44 muc 1394
26.49/26.57	c iter 1511 time 25.8831 not-muc 248196 unknown 43 muc 1395
26.49/26.57	c iter 1512 time 25.8961 not-muc 248196 unknown 42 muc 1396
26.49/26.57	c iter 1513 time 25.9101 not-muc 248196 unknown 41 muc 1397
26.49/26.57	c iter 1514 time 25.9241 not-muc 248196 unknown 40 muc 1398
26.49/26.57	c iter 1515 time 25.9381 not-muc 248196 unknown 39 muc 1399
26.49/26.57	c iter 1516 time 25.9511 not-muc 248196 unknown 38 muc 1400
26.49/26.57	c iter 1517 time 25.9651 not-muc 248196 unknown 37 muc 1401
26.49/26.57	c iter 1518 time 25.978 not-muc 248196 unknown 36 muc 1402
26.49/26.57	c iter 1519 time 25.991 not-muc 248196 unknown 35 muc 1403
26.49/26.57	c iter 1520 time 26.005 not-muc 248196 unknown 34 muc 1404
26.49/26.57	c iter 1521 time 26.018 not-muc 248196 unknown 33 muc 1405
26.49/26.57	c iter 1522 time 26.032 not-muc 248196 unknown 32 muc 1406
26.49/26.57	c iter 1523 time 26.046 not-muc 248196 unknown 31 muc 1407
26.49/26.57	c iter 1524 time 26.059 not-muc 248196 unknown 30 muc 1408
26.49/26.57	c iter 1525 time 26.073 not-muc 248196 unknown 29 muc 1409
26.49/26.57	c iter 1526 time 26.086 not-muc 248196 unknown 28 muc 1410
26.49/26.57	c iter 1527 time 26.1 not-muc 248196 unknown 27 muc 1411
26.49/26.57	c iter 1528 time 26.113 not-muc 248196 unknown 26 muc 1412
26.49/26.57	c iter 1529 time 26.127 not-muc 248196 unknown 25 muc 1413
26.49/26.57	c iter 1530 time 26.141 not-muc 248196 unknown 24 muc 1414
26.49/26.57	c iter 1531 time 26.154 not-muc 248196 unknown 23 muc 1415
26.49/26.57	c iter 1532 time 26.168 not-muc 248196 unknown 22 muc 1416
26.49/26.57	c iter 1533 time 26.181 not-muc 248196 unknown 21 muc 1417
26.49/26.57	c iter 1534 time 26.195 not-muc 248196 unknown 20 muc 1418
26.49/26.57	c iter 1535 time 26.208 not-muc 248196 unknown 19 muc 1419
26.49/26.57	c iter 1536 time 26.222 not-muc 248196 unknown 18 muc 1420
26.49/26.57	c iter 1537 time 26.235 not-muc 248196 unknown 17 muc 1421
26.49/26.57	c iter 1538 time 26.249 not-muc 248196 unknown 16 muc 1422
26.49/26.57	c iter 1539 time 26.262 not-muc 248196 unknown 15 muc 1423
26.49/26.57	c iter 1540 time 26.276 not-muc 248196 unknown 14 muc 1424
26.49/26.57	c iter 1541 time 26.289 not-muc 248196 unknown 13 muc 1425
26.49/26.57	c iter 1542 time 26.303 not-muc 248196 unknown 12 muc 1426
26.49/26.57	c iter 1543 time 26.316 not-muc 248196 unknown 11 muc 1427
26.49/26.57	c iter 1544 time 26.33 not-muc 248196 unknown 10 muc 1428
26.49/26.57	c iter 1545 time 26.343 not-muc 248196 unknown 9 muc 1429
26.49/26.57	c iter 1546 time 26.357 not-muc 248196 unknown 8 muc 1430
26.49/26.57	c iter 1547 time 26.371 not-muc 248196 unknown 7 muc 1431
26.49/26.57	c iter 1548 time 26.384 not-muc 248196 unknown 6 muc 1432
26.49/26.57	c iter 1549 time 26.398 not-muc 248196 unknown 5 muc 1433
26.49/26.57	c iter 1550 time 26.411 not-muc 248196 unknown 4 muc 1434
26.49/26.57	c iter 1551 time 26.424 not-muc 248196 unknown 3 muc 1435
26.49/26.57	c iter 1552 time 26.438 not-muc 248196 unknown 2 muc 1436
26.49/26.57	c iter 1553 time 26.452 not-muc 248196 unknown 1 muc 1437
26.49/26.57	c final iter 1554 time 26.464 not-muc 248196 unknown 0 muc 1438
26.49/26.57	v 124 146 160 161 163 164 167 172 173 174 223 258 259 261 262 265 270 271 272 280 281 282 292 293 501 502 506 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 527 528 748 755 756 784 785 787 788 791 792 793 794 795 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 1769 1770 1773 1778 1779 1780 1983 1984 1992 1993 2455 2456 2458 2459 2460 2461 2470 2472 2474 2530 2532 2533 2540 2542 2543 2544 2545 2546 2547 2548 2549 2550 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 3502 3524 3538 3539 3541 3542 3545 3550 3551 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 21793 21807 21808 21810 21811 21814 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 31960 31962 31964 32025 32027 32028 32035 32037 32038 32039 32040 32041 32042 32043 32044 32045 32047 32048 32049 32050 32051 32052 32053 32054 32055 32056 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 42176 42178 42180 42241 42243 42244 42251 42253 42254 42255 42256 42257 42258 42259 42260 42261 42263 42264 42265 42266 42267 42268 42269 42270 42271 42272 42273 42274 42275 42276 42277 42278 42279 42280 42281 42282 42283 42284 42285 42286 42287 42288 42289 52666 52688 52702 52703 52704 52705 52706 52709 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 65530 65531 65532 65535 65542 65747 65748 65756 65757 66455 66456 66458 66459 66460 66461 66548 66550 66552 66613 66615 66616 66623 66625 66626 66627 66628 66629 66630 66631 66632 66633 66635 66636 66637 66638 66639 66640 66641 66642 66643 66644 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 79535 79537 79539 79600 79602 79603 79610 79612 79613 79614 79615 79616 79617 79618 79619 79620 79622 79623 79624 79625 79626 79627 79628 79629 79630 79631 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 132197 132198 132199 132202 132209 132414 132415 132423 132424 133207 133208 133210 133211 133212 133213 133345 133347 133349 133410 133412 133413 133420 133422 133423 133424 133425 133426 133427 133428 133429 133430 133432 133433 133434 133435 133436 133437 133438 133439 133440 133441 133442 133443 133444 133445 133446 133447 133448 133449 133450 133451 133452 133453 133454 133455 133456 133457 133458 146032 146054 146068 146069 146070 146071 146072 146075 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 161321 161323 161325 161386 161388 161389 161396 161398 161399 161400 161401 161402 161403 161404 161405 161406 161408 161409 161410 161411 161412 161413 161414 161415 161416 161417 161418 161419 161420 161421 161422 161423 161424 161425 161426 161427 161428 161429 161430 161431 161432 161433 161434 174312 174334 174348 174349 174351 174352 174355 174360 174361 174362 174567 174568 174576 174577 175411 175412 175414 175415 175416 175417 175418 175579 175580 175641 175642 175643 175644 175651 175653 175654 175655 175656 175657 175658 175659 175660 175661 175663 175664 175665 175670 175671 175673 175674 175675 175676 175677 175678 175679 175680 175681 175682 175683 175684 175685 175686 175687 175688 175689 188719 188726 188727 188755 188756 188758 188759 188762 188763 188764 188765 188766 188767 188768 188769 188974 188975 188983 188984 189835 189836 189838 189839 189840 189841 190009 190011 190013 190074 190076 190077 190084 190086 190087 190088 190089 190090 190091 190092 190093 190094 190096 190097 190098 190099 190100 190101 190102 190103 190104 190105 190106 190107 190108 190109 190110 190111 190112 190113 190114 190115 190116 190117 190118 190119 190120 190121 190122 203304 203326 203340 203341 203343 203344 203347 203352 203353 203354 203559 203560 203568 203569 204437 204438 204440 204441 204442 204443 204444 204623 204624 204685 204686 204687 204688 204695 204697 204698 204699 204700 204701 204702 204703 204704 204705 204707 204708 204709 204714 204715 204717 204718 204719 204720 204721 204722 204723 204724 204725 204726 204727 204728 204729 204730 204731 204732 204733 218067 218089 218103 218104 218106 218107 218110 218115 218116 218117 218322 218323 218331 218332 219217 219218 219220 219221 219222 219223 219409 219411 219413 219474 219476 219477 219484 219486 219487 219488 219489 219490 219491 219492 219493 219494 219496 219497 219498 219499 219500 219501 219502 219503 219504 219505 219506 219507 219508 219509 219510 219511 219512 219513 219514 219515 219516 219517 219518 219519 219520 219521 219522 233008 233030 233044 233045 233047 233048 233051 233056 233057 233058 233263 233264 233272 233273 234175 234176 234178 234179 234180 234181 234182 234379 234380 234441 234442 234443 234444 234451 234453 234454 234455 234456 234457 234458 234459 234460 234461 234463 234464 234465 234470 234471 234473 234474 234475 234476 234477 234478 234479 234480 234481 234482 234483 234484 234485 234486 234487 234488 234489 248382 248383 248391 248392 249311 249312 249314 249315 249316 249317 249521 249523 249525 249586 249588 249589 249596 249598 249599 249600 249601 249602 249603 249604 249605 249606 249608 249609 249610 249611 249612 249613 249614 249615 249616 249617 249618 249619 249620 249621 249622 249623 249624 249625 249626 249627 249628 249629 249630 249631 249632 249633 249634 0
26.49/26.57	s UNSATISFIABLE

OK	1438

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 /var/tmp/evaluation-result-3502147-1308044465/watcher-3502147-1308044465 -o /var/tmp/evaluation-result-3502147-1308044465/solver-3502147-1308044465 -C 1800 -W 1850 -M 7680 /varHOME/hhlmuc-a /varHOME/instance-3502147-1308044465.gcnf -mark-learnt-ic 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 3.76 2.32 2.48 4/189 3197
/proc/meminfo: memFree=18470292/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=22564 CPUtime=0 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 1056 0 0 0 0 0 0 0 18 0 1 0 916043616 23105536 973 33554432000 4194304 4312002 140733903705040 18446744073709551615 239476392144 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 5641 986 216 29 0 2270 0

[startup+0.046599 s]
/proc/loadavg: 3.76 2.32 2.48 4/189 3197
/proc/meminfo: memFree=18470292/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=62828 CPUtime=0.04 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 9157 0 0 0 3 1 0 0 18 0 1 0 916043616 64335872 8955 33554432000 4194304 4312002 140733903705040 18446744073709551615 4240961 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 15707 8962 216 29 0 12336 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 62828

[startup+0.100556 s]
/proc/loadavg: 3.76 2.32 2.48 4/189 3197
/proc/meminfo: memFree=18470292/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=87844 CPUtime=0.09 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 13878 0 0 0 7 2 0 0 18 0 1 0 916043616 89952256 13409 33554432000 4194304 4312002 140733903705040 18446744073709551615 239476355781 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 21961 13410 218 29 0 18590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87844

[startup+0.300515 s]
/proc/loadavg: 3.76 2.32 2.48 4/189 3197
/proc/meminfo: memFree=18470292/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=110976 CPUtime=0.29 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 21185 0 0 0 26 3 0 0 18 0 1 0 916043616 113639424 19921 33554432000 4194304 4312002 140733903705040 18446744073709551615 239476356129 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 27744 19922 218 29 0 24373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110976

[startup+0.700438 s]
/proc/loadavg: 3.76 2.32 2.48 4/189 3197
/proc/meminfo: memFree=18470292/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=155948 CPUtime=0.69 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 32434 0 0 0 64 5 0 0 18 0 1 0 916043616 159690752 30028 33554432000 4194304 4312002 140733903705040 18446744073709551615 4235568 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 38987 30028 226 29 0 35616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 155948

[startup+1.50029 s]
/proc/loadavg: 3.78 2.35 2.49 5/190 3198
/proc/meminfo: memFree=18415296/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=202804 CPUtime=1.49 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 43514 0 0 0 142 7 0 0 20 0 1 0 916043616 207671296 40241 33554432000 4194304 4312002 140733903705040 18446744073709551615 4266198 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 50701 40241 226 29 0 47330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202804

[startup+3.10099 s]
/proc/loadavg: 3.78 2.35 2.49 5/190 3198
/proc/meminfo: memFree=18396200/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=159968 CPUtime=3.1 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 53028 0 0 0 301 9 0 0 25 0 1 0 916043616 163807232 31587 33554432000 4194304 4312002 140733903705040 18446744073709551615 4263089 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 39992 31587 245 29 0 36621 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 159968

[startup+6.30037 s]
/proc/loadavg: 3.80 2.37 2.50 5/190 3240
/proc/meminfo: memFree=18447980/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=162788 CPUtime=6.29 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 54378 0 0 0 620 9 0 0 25 0 1 0 916043616 166694912 32934 33554432000 4194304 4312002 140733903705040 18446744073709551615 4264795 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 40697 32934 262 29 0 37326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162788

[startup+12.7011 s]
/proc/loadavg: 3.81 2.40 2.50 5/190 3240
/proc/meminfo: memFree=18445144/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=162788 CPUtime=12.69 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 54379 0 0 0 1260 9 0 0 25 0 1 0 916043616 166694912 32935 33554432000 4194304 4312002 140733903705040 18446744073709551615 4247695 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 40697 32935 263 29 0 37326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 162788

[startup+25.5007 s]
/proc/loadavg: 3.84 2.45 2.52 5/190 3316
/proc/meminfo: memFree=18429384/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=162788 CPUtime=25.48 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 54379 0 0 0 2539 9 0 0 25 0 1 0 916043616 166694912 32935 33554432000 4194304 4312002 140733903705040 18446744073709551615 4262871 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 40697 32935 263 29 0 37326 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 162788

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

[startup+26.3005 s]
/proc/loadavg: 3.85 2.48 2.53 5/190 3316
/proc/meminfo: memFree=18372476/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=162788 CPUtime=26.29 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 54379 0 0 0 2619 10 0 0 25 0 1 0 916043616 166694912 32935 33554432000 4194304 4312002 140733903705040 18446744073709551615 4262429 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 40697 32935 263 29 0 37326 0
Current children cumulated CPU time (s) 26.29
Current children cumulated vsize (KiB) 162788

[startup+26.5005 s]
/proc/loadavg: 3.85 2.48 2.53 5/190 3316
/proc/meminfo: memFree=18372476/32950928 swapFree=67053956/67111528
[pid=3197] ppid=3195 vsize=162788 CPUtime=26.49 cores=1,3
/proc/3197/stat : 3197 (hhlmuc-a) R 3195 3197 1667 0 -1 4202496 54379 0 0 0 2639 10 0 0 25 0 1 0 916043616 166694912 32935 33554432000 4194304 4312002 140733903705040 18446744073709551615 4264097 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3197/statm: 40697 32935 263 29 0 37326 0
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (KiB) 162788

Child status: 20
Real time (s): 26.5788
CPU time (s): 26.573
CPU user time (s): 26.465
CPU system time (s): 0.107983
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 202804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.465
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54380
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= 8
involuntary context switches= 60

runsolver used 0.038994 second user time and 0.114982 second system time

The end

Begin job on node148 at 2011-06-14 11:41:06
IDJOB=3502147
IDBENCH=90102
IDSOLVER=2003
FILE ID=node148/3502147-1308044465
RUNJOBID= node148-1308044330-2977
PBS_JOBID= 13563888
Free space on /var/tmp= 2832 MiB

SOLVER NAME= Haifa-HLMUC-A 2011-04-07
BENCH NAME= SAT11/gmus/belov/mentorbm1p02.aig.k25.gcnf
COMMAND LINE= HOME/hhlmuc-a BENCHNAME -mark-learnt-ic
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3502147-1308044465/watcher-3502147-1308044465 -o /var/tmp/evaluation-result-3502147-1308044465/solver-3502147-1308044465 -C 1800 -W 1850 -M 7680  /varHOME/hhlmuc-a /varHOME/instance-3502147-1308044465.gcnf -mark-learnt-ic

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

MD5SUM BENCH= 2884b5599c418e2c2f13c080d2b3fb7b
RANDOM SEED=581256798

node148.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.854
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.70
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
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.854
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.83
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18470960 kB
Buffers:         71000 kB
Cached:       13427884 kB
SwapCached:      10772 kB
Active:         645852 kB
Inactive:     13327324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18470960 kB
SwapTotal:    67111528 kB
SwapFree:     67053956 kB
Dirty:           38360 kB
Writeback:         104 kB
AnonPages:      471652 kB
Mapped:          13612 kB
Slab:           439828 kB
PageTables:       6312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   767900 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 /var/tmp at the end= 2856 MiB
End job on node148 at 2011-06-14 11:41:32