6.29/6.35 c WARNING: for repeatability, setting FPU to use double precision
6.29/6.35 c iter 1 time 3.34549 not-muc 941458 unknown 976 muc 0
6.29/6.35 c iter 2 time 3.42048 not-muc 941458 unknown 975 muc 1
6.29/6.35 c iter 3 time 3.45547 not-muc 941458 unknown 974 muc 2
6.29/6.35 c iter 4 time 3.49147 not-muc 941458 unknown 973 muc 3
6.29/6.35 c iter 5 time 3.52846 not-muc 941458 unknown 972 muc 4
6.29/6.35 c iter 6 time 3.56546 not-muc 941458 unknown 971 muc 5
6.29/6.35 c iter 7 time 3.60345 not-muc 941458 unknown 970 muc 6
6.29/6.35 c iter 8 time 3.64245 not-muc 941458 unknown 969 muc 7
6.29/6.35 c iter 9 time 3.68144 not-muc 941458 unknown 968 muc 8
6.29/6.35 c iter 10 time 3.72143 not-muc 941458 unknown 967 muc 9
6.29/6.35 c iter 11 time 3.76143 not-muc 941458 unknown 966 muc 10
6.29/6.35 c iter 12 time 3.80142 not-muc 941458 unknown 965 muc 11
6.29/6.35 c iter 13 time 3.84342 not-muc 941458 unknown 964 muc 12
6.29/6.35 c iter 14 time 3.88341 not-muc 941458 unknown 963 muc 13
6.29/6.35 c iter 15 time 3.9244 not-muc 941458 unknown 962 muc 14
6.29/6.35 c iter 16 time 4.02839 not-muc 941458 unknown 961 muc 15
6.29/6.35 c iter 17 time 4.06538 not-muc 941458 unknown 960 muc 16
6.29/6.35 c iter 18 time 4.10338 not-muc 941458 unknown 959 muc 17
6.29/6.35 c iter 19 time 4.14037 not-muc 941458 unknown 958 muc 18
6.29/6.35 c iter 20 time 4.17836 not-muc 941458 unknown 957 muc 19
6.29/6.35 c iter 21 time 4.21536 not-muc 941458 unknown 956 muc 20
6.29/6.35 c iter 22 time 4.25335 not-muc 941458 unknown 955 muc 21
6.29/6.35 c iter 23 time 4.29135 not-muc 941458 unknown 954 muc 22
6.29/6.35 c iter 24 time 4.32934 not-muc 941458 unknown 953 muc 23
6.29/6.35 c iter 25 time 4.36834 not-muc 941458 unknown 952 muc 24
6.29/6.35 c iter 26 time 4.40733 not-muc 941458 unknown 951 muc 25
6.29/6.35 c iter 27 time 4.44632 not-muc 941458 unknown 950 muc 26
6.29/6.35 c iter 28 time 4.48532 not-muc 941458 unknown 949 muc 27
6.29/6.35 c iter 29 time 4.52531 not-muc 941458 unknown 948 muc 28
6.29/6.35 c iter 30 time 4.56531 not-muc 941458 unknown 947 muc 29
6.29/6.35 c iter 31 time 4.6053 not-muc 941458 unknown 946 muc 30
6.29/6.35 c iter 32 time 4.64429 not-muc 941458 unknown 945 muc 31
6.29/6.35 c iter 33 time 4.68329 not-muc 941458 unknown 944 muc 32
6.29/6.35 c iter 34 time 4.72028 not-muc 941458 unknown 943 muc 33
6.29/6.35 c iter 35 time 4.75728 not-muc 941458 unknown 942 muc 34
6.29/6.35 c iter 36 time 4.79427 not-muc 941458 unknown 941 muc 35
6.29/6.35 c iter 37 time 4.83127 not-muc 941458 unknown 940 muc 36
6.29/6.35 c iter 38 time 4.86726 not-muc 941458 unknown 939 muc 37
6.29/6.35 c iter 39 time 4.90425 not-muc 941458 unknown 938 muc 38
6.29/6.35 c iter 40 time 4.94225 not-muc 941458 unknown 937 muc 39
6.29/6.35 c iter 41 time 4.97924 not-muc 941458 unknown 936 muc 40
6.29/6.35 c iter 42 time 5.01724 not-muc 941458 unknown 935 muc 41
6.29/6.35 c iter 43 time 5.05423 not-muc 941458 unknown 934 muc 42
6.29/6.35 c iter 44 time 5.09123 not-muc 941458 unknown 933 muc 43
6.29/6.35 c iter 45 time 5.12922 not-muc 941458 unknown 932 muc 44
6.29/6.35 c iter 46 time 5.16721 not-muc 941458 unknown 931 muc 45
6.29/6.35 c iter 47 time 5.20521 not-muc 941458 unknown 930 muc 46
6.29/6.35 c iter 48 time 5.2432 not-muc 941458 unknown 929 muc 47
6.29/6.35 c iter 49 time 5.2822 not-muc 941458 unknown 928 muc 48
6.29/6.35 c iter 50 time 5.32119 not-muc 941458 unknown 927 muc 49
6.29/6.35 c iter 51 time 5.36018 not-muc 941458 unknown 926 muc 50
6.29/6.35 c iter 52 time 5.39918 not-muc 941458 unknown 925 muc 51
6.29/6.35 c iter 53 time 5.43817 not-muc 941458 unknown 924 muc 52
6.29/6.35 c iter 54 time 5.47817 not-muc 941458 unknown 923 muc 53
6.29/6.35 c iter 55 time 5.51816 not-muc 941458 unknown 922 muc 54
6.29/6.35 c iter 56 time 5.55816 not-muc 941458 unknown 921 muc 55
6.29/6.35 c iter 57 time 5.59715 not-muc 941458 unknown 920 muc 56
6.29/6.35 c iter 58 time 5.63714 not-muc 941458 unknown 919 muc 57
6.29/6.35 c iter 59 time 5.67714 not-muc 941458 unknown 918 muc 58
6.29/6.35 c iter 60 time 5.71813 not-muc 941458 unknown 917 muc 59
6.29/6.35 c iter 61 time 5.75812 not-muc 941458 unknown 916 muc 60
6.29/6.35 c iter 62 time 5.79812 not-muc 941458 unknown 915 muc 61
6.29/6.35 c iter 63 time 5.83911 not-muc 941458 unknown 914 muc 62
6.29/6.35 c iter 64 time 5.87911 not-muc 941458 unknown 913 muc 63
6.29/6.35 c iter 65 time 5.9201 not-muc 941458 unknown 912 muc 64
6.29/6.35 c iter 66 time 5.96109 not-muc 941458 unknown 911 muc 65
6.29/6.35 c iter 67 time 6.00209 not-muc 941458 unknown 910 muc 66
6.29/6.35 c iter 68 time 6.04208 not-muc 941458 unknown 909 muc 67
6.29/6.35 c iter 69 time 6.08308 not-muc 941458 unknown 908 muc 68
6.29/6.35 c iter 70 time 6.12407 not-muc 941458 unknown 907 muc 69
6.29/6.35 c iter 71 time 6.16506 not-muc 941458 unknown 906 muc 70
6.29/6.35 c iter 72 time 6.20506 not-muc 941458 unknown 905 muc 71
8.99/9.08 c iter 73 time 6.24605 not-muc 941458 unknown 904 muc 72
8.99/9.08 c iter 74 time 6.28704 not-muc 941458 unknown 903 muc 73
8.99/9.08 c iter 75 time 6.32804 not-muc 941458 unknown 902 muc 74
8.99/9.08 c iter 76 time 6.36603 not-muc 941458 unknown 901 muc 75
8.99/9.08 c iter 77 time 6.40303 not-muc 941458 unknown 900 muc 76
8.99/9.08 c iter 78 time 6.44102 not-muc 941458 unknown 899 muc 77
8.99/9.08 c iter 79 time 6.47902 not-muc 941458 unknown 898 muc 78
8.99/9.08 c iter 80 time 6.51701 not-muc 941458 unknown 897 muc 79
8.99/9.08 c iter 81 time 6.555 not-muc 941458 unknown 896 muc 80
8.99/9.08 c iter 82 time 6.593 not-muc 941458 unknown 895 muc 81
8.99/9.08 c iter 83 time 6.62999 not-muc 941458 unknown 894 muc 82
8.99/9.08 c iter 84 time 6.66799 not-muc 941458 unknown 893 muc 83
8.99/9.08 c iter 85 time 6.70698 not-muc 941458 unknown 892 muc 84
8.99/9.08 c iter 86 time 6.74497 not-muc 941458 unknown 891 muc 85
8.99/9.08 c iter 87 time 6.78297 not-muc 941458 unknown 890 muc 86
8.99/9.08 c iter 88 time 6.82096 not-muc 941458 unknown 889 muc 87
8.99/9.08 c iter 89 time 6.85996 not-muc 941458 unknown 888 muc 88
8.99/9.08 c iter 90 time 6.89795 not-muc 941458 unknown 887 muc 89
8.99/9.08 c iter 91 time 6.93595 not-muc 941458 unknown 886 muc 90
8.99/9.08 c iter 92 time 6.97494 not-muc 941458 unknown 885 muc 91
8.99/9.08 c iter 93 time 7.01293 not-muc 941458 unknown 884 muc 92
8.99/9.08 c iter 94 time 7.05193 not-muc 941458 unknown 883 muc 93
8.99/9.08 c iter 95 time 7.08992 not-muc 941458 unknown 882 muc 94
8.99/9.08 c iter 96 time 7.12892 not-muc 941458 unknown 881 muc 95
8.99/9.08 c iter 97 time 7.16691 not-muc 941458 unknown 880 muc 96
8.99/9.08 c iter 98 time 7.2059 not-muc 941458 unknown 879 muc 97
8.99/9.08 c iter 99 time 7.2449 not-muc 941458 unknown 878 muc 98
8.99/9.08 c iter 100 time 7.28389 not-muc 941458 unknown 877 muc 99
8.99/9.08 c iter 101 time 7.32189 not-muc 941458 unknown 876 muc 100
8.99/9.08 c iter 102 time 7.36088 not-muc 941458 unknown 875 muc 101
8.99/9.08 c iter 103 time 7.39987 not-muc 941458 unknown 874 muc 102
8.99/9.08 c iter 104 time 7.43887 not-muc 941458 unknown 873 muc 103
8.99/9.08 c iter 105 time 7.47886 not-muc 941458 unknown 872 muc 104
8.99/9.08 c iter 106 time 7.51786 not-muc 941458 unknown 871 muc 105
8.99/9.08 c iter 107 time 7.55685 not-muc 941458 unknown 870 muc 106
8.99/9.08 c iter 108 time 7.59584 not-muc 941458 unknown 869 muc 107
8.99/9.08 c iter 109 time 7.63484 not-muc 941458 unknown 868 muc 108
8.99/9.08 c iter 110 time 7.67383 not-muc 941458 unknown 867 muc 109
8.99/9.08 c iter 111 time 7.71283 not-muc 941458 unknown 866 muc 110
8.99/9.08 c iter 112 time 7.75182 not-muc 941458 unknown 865 muc 111
8.99/9.08 c iter 113 time 7.79082 not-muc 941458 unknown 864 muc 112
8.99/9.08 c iter 114 time 7.82981 not-muc 941458 unknown 863 muc 113
8.99/9.08 c iter 115 time 7.8688 not-muc 941458 unknown 862 muc 114
8.99/9.08 c iter 116 time 7.9078 not-muc 941458 unknown 861 muc 115
8.99/9.08 c iter 117 time 7.94679 not-muc 941458 unknown 860 muc 116
8.99/9.08 c iter 118 time 7.98679 not-muc 941458 unknown 859 muc 117
8.99/9.08 c iter 119 time 8.02778 not-muc 941458 unknown 858 muc 118
8.99/9.08 c iter 120 time 8.06777 not-muc 941458 unknown 857 muc 119
8.99/9.08 c iter 121 time 8.10677 not-muc 941458 unknown 856 muc 120
8.99/9.08 c iter 122 time 8.14676 not-muc 941458 unknown 855 muc 121
8.99/9.08 c iter 123 time 8.18675 not-muc 941458 unknown 854 muc 122
8.99/9.08 c iter 124 time 8.22675 not-muc 941458 unknown 853 muc 123
8.99/9.08 c iter 125 time 8.26674 not-muc 941458 unknown 852 muc 124
8.99/9.08 c iter 126 time 8.30574 not-muc 941458 unknown 851 muc 125
8.99/9.08 c iter 127 time 8.34573 not-muc 941458 unknown 850 muc 126
8.99/9.08 c iter 128 time 8.38573 not-muc 941458 unknown 849 muc 127
8.99/9.08 c iter 129 time 8.42472 not-muc 941458 unknown 848 muc 128
8.99/9.08 c iter 130 time 8.46471 not-muc 941458 unknown 847 muc 129
8.99/9.08 c iter 131 time 8.50471 not-muc 941458 unknown 846 muc 130
8.99/9.08 c iter 132 time 8.5447 not-muc 941458 unknown 845 muc 131
8.99/9.08 c iter 133 time 8.58469 not-muc 941458 unknown 844 muc 132
8.99/9.08 c iter 134 time 8.62369 not-muc 941458 unknown 843 muc 133
8.99/9.08 c iter 135 time 8.66368 not-muc 941458 unknown 842 muc 134
8.99/9.08 c iter 136 time 8.70368 not-muc 941458 unknown 841 muc 135
8.99/9.08 c iter 137 time 8.74267 not-muc 941458 unknown 840 muc 136
8.99/9.08 c iter 138 time 8.78266 not-muc 941458 unknown 839 muc 137
8.99/9.08 c iter 139 time 8.82266 not-muc 941458 unknown 838 muc 138
8.99/9.08 c iter 140 time 8.86265 not-muc 941458 unknown 837 muc 139
8.99/9.08 c iter 141 time 8.90265 not-muc 941458 unknown 836 muc 140
8.99/9.08 c iter 142 time 8.94264 not-muc 941458 unknown 835 muc 141
11.59/11.69 c iter 143 time 8.98263 not-muc 941458 unknown 834 muc 142
11.59/11.69 c iter 144 time 9.02263 not-muc 941458 unknown 833 muc 143
11.59/11.69 c iter 145 time 9.06262 not-muc 941458 unknown 832 muc 144
11.59/11.69 c iter 146 time 9.10262 not-muc 941458 unknown 831 muc 145
11.59/11.69 c iter 147 time 9.14261 not-muc 941458 unknown 830 muc 146
11.59/11.69 c iter 148 time 9.1826 not-muc 941458 unknown 829 muc 147
11.59/11.69 c iter 149 time 9.2226 not-muc 941458 unknown 828 muc 148
11.59/11.69 c iter 150 time 9.26259 not-muc 941458 unknown 827 muc 149
11.59/11.69 c iter 151 time 9.30358 not-muc 941458 unknown 826 muc 150
11.59/11.69 c iter 152 time 9.34358 not-muc 941458 unknown 825 muc 151
11.59/11.69 c iter 153 time 9.38357 not-muc 941458 unknown 824 muc 152
11.59/11.69 c iter 154 time 9.41957 not-muc 941458 unknown 823 muc 153
11.59/11.69 c iter 155 time 9.45556 not-muc 941458 unknown 822 muc 154
11.59/11.69 c iter 156 time 9.49156 not-muc 941458 unknown 821 muc 155
11.59/11.69 c iter 157 time 9.52855 not-muc 941458 unknown 820 muc 156
11.59/11.69 c iter 158 time 9.56455 not-muc 941458 unknown 819 muc 157
11.59/11.69 c iter 159 time 9.60054 not-muc 941458 unknown 818 muc 158
11.59/11.69 c iter 160 time 9.63654 not-muc 941458 unknown 817 muc 159
11.59/11.69 c iter 161 time 9.67353 not-muc 941458 unknown 816 muc 160
11.59/11.69 c iter 162 time 9.70952 not-muc 941458 unknown 815 muc 161
11.59/11.69 c iter 163 time 9.74552 not-muc 941458 unknown 814 muc 162
11.59/11.69 c iter 164 time 9.78151 not-muc 941458 unknown 813 muc 163
11.59/11.69 c iter 165 time 9.81751 not-muc 941458 unknown 812 muc 164
11.59/11.69 c iter 166 time 9.8535 not-muc 941458 unknown 811 muc 165
11.59/11.69 c iter 167 time 9.8905 not-muc 941458 unknown 810 muc 166
11.59/11.69 c iter 168 time 9.92649 not-muc 941458 unknown 809 muc 167
11.59/11.69 c iter 169 time 9.96249 not-muc 941458 unknown 808 muc 168
11.59/11.69 c iter 170 time 9.99948 not-muc 941458 unknown 807 muc 169
11.59/11.69 c iter 171 time 10.0355 not-muc 941458 unknown 806 muc 170
11.59/11.69 c iter 172 time 10.0725 not-muc 941458 unknown 805 muc 171
11.59/11.69 c iter 173 time 10.1085 not-muc 941458 unknown 804 muc 172
11.59/11.69 c iter 174 time 10.1455 not-muc 941458 unknown 803 muc 173
11.59/11.69 c iter 175 time 10.1815 not-muc 941458 unknown 802 muc 174
11.59/11.69 c iter 176 time 10.2184 not-muc 941458 unknown 801 muc 175
11.59/11.69 c iter 177 time 10.2554 not-muc 941458 unknown 800 muc 176
11.59/11.69 c iter 178 time 10.2914 not-muc 941458 unknown 799 muc 177
11.59/11.69 c iter 179 time 10.3284 not-muc 941458 unknown 798 muc 178
11.59/11.69 c iter 180 time 10.3654 not-muc 941458 unknown 797 muc 179
11.59/11.69 c iter 181 time 10.4014 not-muc 941458 unknown 796 muc 180
11.59/11.69 c iter 182 time 10.4384 not-muc 941458 unknown 795 muc 181
11.59/11.69 c iter 183 time 10.4754 not-muc 941458 unknown 794 muc 182
11.59/11.69 c iter 184 time 10.5114 not-muc 941458 unknown 793 muc 183
11.59/11.69 c iter 185 time 10.5484 not-muc 941458 unknown 792 muc 184
11.59/11.69 c iter 186 time 10.5844 not-muc 941458 unknown 791 muc 185
11.59/11.69 c iter 187 time 10.6214 not-muc 941458 unknown 790 muc 186
11.59/11.69 c iter 188 time 10.6584 not-muc 941458 unknown 789 muc 187
11.59/11.69 c iter 189 time 10.6954 not-muc 941458 unknown 788 muc 188
11.59/11.69 c iter 190 time 10.7314 not-muc 941458 unknown 787 muc 189
11.59/11.69 c iter 191 time 10.7684 not-muc 941458 unknown 786 muc 190
11.59/11.69 c iter 192 time 10.8054 not-muc 941458 unknown 785 muc 191
11.59/11.69 c iter 193 time 10.8424 not-muc 941458 unknown 784 muc 192
11.59/11.69 c iter 194 time 10.8793 not-muc 941458 unknown 783 muc 193
11.59/11.69 c iter 195 time 10.9163 not-muc 941458 unknown 782 muc 194
11.59/11.69 c iter 196 time 10.9533 not-muc 941458 unknown 781 muc 195
11.59/11.69 c iter 197 time 10.9913 not-muc 941458 unknown 780 muc 196
11.59/11.69 c iter 198 time 11.0283 not-muc 941458 unknown 779 muc 197
11.59/11.69 c iter 199 time 11.0663 not-muc 941458 unknown 778 muc 198
11.59/11.69 c iter 200 time 11.1033 not-muc 941458 unknown 777 muc 199
11.59/11.69 c iter 201 time 11.1403 not-muc 941458 unknown 776 muc 200
11.59/11.69 c iter 202 time 11.1773 not-muc 941458 unknown 775 muc 201
11.59/11.69 c iter 203 time 11.2143 not-muc 941458 unknown 774 muc 202
11.59/11.69 c iter 204 time 11.2513 not-muc 941458 unknown 773 muc 203
11.59/11.69 c iter 205 time 11.2883 not-muc 941458 unknown 772 muc 204
11.59/11.69 c iter 206 time 11.3253 not-muc 941458 unknown 771 muc 205
11.59/11.69 c iter 207 time 11.3623 not-muc 941458 unknown 770 muc 206
11.59/11.69 c iter 208 time 11.3993 not-muc 941458 unknown 769 muc 207
11.59/11.69 c iter 209 time 11.4363 not-muc 941458 unknown 768 muc 208
11.59/11.69 c iter 210 time 11.4733 not-muc 941458 unknown 767 muc 209
11.59/11.69 c iter 211 time 11.5102 not-muc 941458 unknown 766 muc 210
11.59/11.69 c iter 212 time 11.5482 not-muc 941458 unknown 765 muc 211
14.20/14.27 c iter 213 time 11.5852 not-muc 941458 unknown 764 muc 212
14.20/14.27 c iter 214 time 11.6222 not-muc 941458 unknown 763 muc 213
14.20/14.27 c iter 215 time 11.6592 not-muc 941458 unknown 762 muc 214
14.20/14.27 c iter 216 time 11.6962 not-muc 941458 unknown 761 muc 215
14.20/14.27 c iter 217 time 11.7342 not-muc 941458 unknown 760 muc 216
14.20/14.27 c iter 218 time 11.7712 not-muc 941458 unknown 759 muc 217
14.20/14.27 c iter 219 time 11.8082 not-muc 941458 unknown 758 muc 218
14.20/14.27 c iter 220 time 11.8452 not-muc 941458 unknown 757 muc 219
14.20/14.27 c iter 221 time 11.8832 not-muc 941458 unknown 756 muc 220
14.20/14.27 c iter 222 time 11.9202 not-muc 941458 unknown 755 muc 221
14.20/14.27 c iter 223 time 11.9572 not-muc 941458 unknown 754 muc 222
14.20/14.27 c iter 224 time 11.9942 not-muc 941458 unknown 753 muc 223
14.20/14.27 c iter 225 time 12.0322 not-muc 941458 unknown 752 muc 224
14.20/14.27 c iter 226 time 12.0692 not-muc 941458 unknown 751 muc 225
14.20/14.27 c iter 227 time 12.1062 not-muc 941458 unknown 750 muc 226
14.20/14.27 c iter 228 time 12.1442 not-muc 941458 unknown 749 muc 227
14.20/14.27 c iter 229 time 12.1811 not-muc 941458 unknown 748 muc 228
14.20/14.27 c iter 230 time 12.2181 not-muc 941458 unknown 747 muc 229
14.20/14.27 c iter 231 time 12.2551 not-muc 941458 unknown 746 muc 230
14.20/14.27 c iter 232 time 12.2921 not-muc 941458 unknown 745 muc 231
14.20/14.27 c iter 233 time 12.3301 not-muc 941458 unknown 744 muc 232
14.20/14.27 c iter 234 time 12.3671 not-muc 941458 unknown 743 muc 233
14.20/14.27 c iter 235 time 12.4041 not-muc 941458 unknown 742 muc 234
14.20/14.27 c iter 236 time 12.4411 not-muc 941458 unknown 741 muc 235
14.20/14.27 c iter 237 time 12.4791 not-muc 941458 unknown 740 muc 236
14.20/14.27 c iter 238 time 12.5161 not-muc 941458 unknown 739 muc 237
14.20/14.27 c iter 239 time 12.5541 not-muc 941458 unknown 738 muc 238
14.20/14.27 c iter 240 time 12.5911 not-muc 941458 unknown 737 muc 239
14.20/14.27 c iter 241 time 12.6281 not-muc 941458 unknown 736 muc 240
14.20/14.27 c iter 242 time 12.6661 not-muc 941458 unknown 735 muc 241
14.20/14.27 c iter 243 time 12.7031 not-muc 941458 unknown 734 muc 242
14.20/14.27 c iter 244 time 12.7411 not-muc 941458 unknown 733 muc 243
14.20/14.27 c iter 245 time 12.7781 not-muc 941458 unknown 732 muc 244
14.20/14.27 c iter 246 time 12.8151 not-muc 941458 unknown 731 muc 245
14.20/14.27 c iter 247 time 12.853 not-muc 941458 unknown 730 muc 246
14.20/14.27 c iter 248 time 12.89 not-muc 941458 unknown 729 muc 247
14.20/14.27 c iter 249 time 12.927 not-muc 941458 unknown 728 muc 248
14.20/14.27 c iter 250 time 12.965 not-muc 941458 unknown 727 muc 249
14.20/14.27 c iter 251 time 13.002 not-muc 941458 unknown 726 muc 250
14.20/14.27 c iter 252 time 13.04 not-muc 941458 unknown 725 muc 251
14.20/14.27 c iter 253 time 13.077 not-muc 941458 unknown 724 muc 252
14.20/14.27 c iter 254 time 13.114 not-muc 941458 unknown 723 muc 253
14.20/14.27 c iter 255 time 13.152 not-muc 941458 unknown 722 muc 254
14.20/14.27 c iter 256 time 13.189 not-muc 941458 unknown 721 muc 255
14.20/14.27 c iter 257 time 13.227 not-muc 941458 unknown 720 muc 256
14.20/14.27 c iter 258 time 13.265 not-muc 941458 unknown 719 muc 257
14.20/14.27 c iter 259 time 13.302 not-muc 941458 unknown 718 muc 258
14.20/14.27 c iter 260 time 13.34 not-muc 941458 unknown 717 muc 259
14.20/14.27 c iter 261 time 13.377 not-muc 941458 unknown 716 muc 260
14.20/14.27 c iter 262 time 13.415 not-muc 941458 unknown 715 muc 261
14.20/14.27 c iter 263 time 13.453 not-muc 941458 unknown 714 muc 262
14.20/14.27 c iter 264 time 13.4899 not-muc 941458 unknown 713 muc 263
14.20/14.27 c iter 265 time 13.5279 not-muc 941458 unknown 712 muc 264
14.20/14.27 c iter 266 time 13.5659 not-muc 941458 unknown 711 muc 265
14.20/14.27 c iter 267 time 13.6029 not-muc 941458 unknown 710 muc 266
14.20/14.27 c iter 268 time 13.6409 not-muc 941458 unknown 709 muc 267
14.20/14.27 c iter 269 time 13.6789 not-muc 941458 unknown 708 muc 268
14.20/14.27 c iter 270 time 13.7169 not-muc 941458 unknown 707 muc 269
14.20/14.27 c iter 271 time 13.7539 not-muc 941458 unknown 706 muc 270
14.20/14.27 c iter 272 time 13.7919 not-muc 941458 unknown 705 muc 271
14.20/14.27 c iter 273 time 13.8299 not-muc 941458 unknown 704 muc 272
14.20/14.27 c iter 274 time 13.8669 not-muc 941458 unknown 703 muc 273
14.20/14.27 c iter 275 time 13.9049 not-muc 941458 unknown 702 muc 274
14.20/14.27 c iter 276 time 13.9419 not-muc 941458 unknown 701 muc 275
14.20/14.27 c iter 277 time 13.9799 not-muc 941458 unknown 700 muc 276
14.20/14.27 c iter 278 time 14.0169 not-muc 941458 unknown 699 muc 277
14.20/14.27 c iter 279 time 14.0549 not-muc 941458 unknown 698 muc 278
14.20/14.27 c iter 280 time 14.0929 not-muc 941458 unknown 697 muc 279
14.20/14.27 c iter 281 time 14.1309 not-muc 941458 unknown 696 muc 280
16.79/16.80 c iter 282 time 14.1688 not-muc 941458 unknown 695 muc 281
16.79/16.80 c iter 283 time 14.2068 not-muc 941458 unknown 694 muc 282
16.79/16.80 c iter 284 time 14.2438 not-muc 941458 unknown 693 muc 283
16.79/16.80 c iter 285 time 14.2818 not-muc 941458 unknown 692 muc 284
16.79/16.80 c iter 286 time 14.3198 not-muc 941458 unknown 691 muc 285
16.79/16.80 c iter 287 time 14.3578 not-muc 941458 unknown 690 muc 286
16.79/16.80 c iter 288 time 14.3958 not-muc 941458 unknown 689 muc 287
16.79/16.80 c iter 289 time 14.4338 not-muc 941458 unknown 688 muc 288
16.79/16.80 c iter 290 time 14.4718 not-muc 941458 unknown 687 muc 289
16.79/16.80 c iter 291 time 14.5088 not-muc 941458 unknown 686 muc 290
16.79/16.80 c iter 292 time 14.5468 not-muc 941458 unknown 685 muc 291
16.79/16.80 c iter 293 time 14.5848 not-muc 941458 unknown 684 muc 292
16.79/16.80 c iter 294 time 14.6228 not-muc 941458 unknown 683 muc 293
16.79/16.80 c iter 295 time 14.6608 not-muc 941458 unknown 682 muc 294
16.79/16.80 c iter 296 time 14.6978 not-muc 941458 unknown 681 muc 295
16.79/16.80 c iter 297 time 14.7358 not-muc 941458 unknown 680 muc 296
16.79/16.80 c iter 298 time 14.7738 not-muc 941458 unknown 679 muc 297
16.79/16.80 c iter 299 time 14.8107 not-muc 941458 unknown 678 muc 298
16.79/16.80 c iter 300 time 14.8487 not-muc 941458 unknown 677 muc 299
16.79/16.80 c iter 301 time 14.8857 not-muc 941458 unknown 676 muc 300
16.79/16.80 c iter 302 time 14.9237 not-muc 941458 unknown 675 muc 301
16.79/16.80 c iter 303 time 14.9617 not-muc 941458 unknown 674 muc 302
16.79/16.80 c iter 304 time 14.9997 not-muc 941458 unknown 673 muc 303
16.79/16.80 c iter 305 time 15.0367 not-muc 941458 unknown 672 muc 304
16.79/16.80 c iter 306 time 15.0747 not-muc 941458 unknown 671 muc 305
16.79/16.80 c iter 307 time 15.1127 not-muc 941458 unknown 670 muc 306
16.79/16.80 c iter 308 time 15.1507 not-muc 941458 unknown 669 muc 307
16.79/16.80 c iter 309 time 15.1887 not-muc 941458 unknown 668 muc 308
16.79/16.80 c iter 310 time 15.2267 not-muc 941458 unknown 667 muc 309
16.79/16.80 c iter 311 time 15.2647 not-muc 941458 unknown 666 muc 310
16.79/16.80 c iter 312 time 15.3027 not-muc 941458 unknown 665 muc 311
16.79/16.80 c iter 313 time 15.3407 not-muc 941458 unknown 664 muc 312
16.79/16.80 c iter 314 time 15.3787 not-muc 941458 unknown 663 muc 313
16.79/16.80 c iter 315 time 15.4177 not-muc 941458 unknown 662 muc 314
16.79/16.80 c iter 316 time 15.4517 not-muc 941458 unknown 661 muc 315
16.79/16.80 c iter 317 time 15.4856 not-muc 941458 unknown 660 muc 316
16.79/16.80 c iter 318 time 15.5196 not-muc 941458 unknown 659 muc 317
16.79/16.80 c iter 319 time 15.5536 not-muc 941458 unknown 658 muc 318
16.79/16.80 c iter 320 time 15.5886 not-muc 941458 unknown 657 muc 319
16.79/16.80 c iter 321 time 15.6226 not-muc 941458 unknown 656 muc 320
16.79/16.80 c iter 322 time 15.6566 not-muc 941458 unknown 655 muc 321
16.79/16.80 c iter 323 time 15.6906 not-muc 941458 unknown 654 muc 322
16.79/16.80 c iter 324 time 15.7256 not-muc 941458 unknown 653 muc 323
16.79/16.80 c iter 325 time 15.7596 not-muc 941458 unknown 652 muc 324
16.79/16.80 c iter 326 time 15.7936 not-muc 941458 unknown 651 muc 325
16.79/16.80 c iter 327 time 15.8276 not-muc 941458 unknown 650 muc 326
16.79/16.80 c iter 328 time 15.8626 not-muc 941458 unknown 649 muc 327
16.79/16.80 c iter 329 time 15.8966 not-muc 941458 unknown 648 muc 328
16.79/16.80 c iter 330 time 15.9306 not-muc 941458 unknown 647 muc 329
16.79/16.80 c iter 331 time 15.9646 not-muc 941458 unknown 646 muc 330
16.79/16.80 c iter 332 time 15.9996 not-muc 941458 unknown 645 muc 331
16.79/16.80 c iter 333 time 16.0336 not-muc 941458 unknown 644 muc 332
16.79/16.80 c iter 334 time 16.0676 not-muc 941458 unknown 643 muc 333
16.79/16.80 c iter 335 time 16.1026 not-muc 941458 unknown 642 muc 334
16.79/16.80 c iter 336 time 16.1365 not-muc 941458 unknown 641 muc 335
16.79/16.80 c iter 337 time 16.1705 not-muc 941458 unknown 640 muc 336
16.79/16.80 c iter 338 time 16.2055 not-muc 941458 unknown 639 muc 337
16.79/16.80 c iter 339 time 16.2395 not-muc 941458 unknown 638 muc 338
16.79/16.80 c iter 340 time 16.2745 not-muc 941458 unknown 637 muc 339
16.79/16.80 c iter 341 time 16.3085 not-muc 941458 unknown 636 muc 340
16.79/16.80 c iter 342 time 16.3425 not-muc 941458 unknown 635 muc 341
16.79/16.80 c iter 343 time 16.3775 not-muc 941458 unknown 634 muc 342
16.79/16.80 c iter 344 time 16.4115 not-muc 941458 unknown 633 muc 343
16.79/16.80 c iter 345 time 16.4465 not-muc 941458 unknown 632 muc 344
16.79/16.80 c iter 346 time 16.4825 not-muc 941458 unknown 631 muc 345
16.79/16.80 c iter 347 time 16.5175 not-muc 941458 unknown 630 muc 346
16.79/16.80 c iter 348 time 16.5525 not-muc 941458 unknown 629 muc 347
16.79/16.80 c iter 349 time 16.5865 not-muc 941458 unknown 628 muc 348
16.79/16.80 c iter 350 time 16.6215 not-muc 941458 unknown 627 muc 349
16.79/16.80 c iter 351 time 16.6555 not-muc 941458 unknown 626 muc 350
19.29/19.37 c iter 352 time 16.6905 not-muc 941458 unknown 625 muc 351
19.29/19.37 c iter 353 time 16.7245 not-muc 941458 unknown 624 muc 352
19.29/19.37 c iter 354 time 16.7595 not-muc 941458 unknown 623 muc 353
19.29/19.37 c iter 355 time 16.7944 not-muc 941458 unknown 622 muc 354
19.29/19.37 c iter 356 time 16.8284 not-muc 941458 unknown 621 muc 355
19.29/19.37 c iter 357 time 16.8634 not-muc 941458 unknown 620 muc 356
19.29/19.37 c iter 358 time 16.8984 not-muc 941458 unknown 619 muc 357
19.29/19.37 c iter 359 time 16.9324 not-muc 941458 unknown 618 muc 358
19.29/19.37 c iter 360 time 16.9674 not-muc 941458 unknown 617 muc 359
19.29/19.37 c iter 361 time 16.9954 not-muc 941461 unknown 614 muc 359
19.29/19.37 c iter 362 time 17.0284 not-muc 941461 unknown 613 muc 360
19.29/19.37 c iter 363 time 17.0664 not-muc 941461 unknown 612 muc 361
19.29/19.37 c iter 364 time 17.1034 not-muc 941461 unknown 611 muc 362
19.29/19.37 c iter 365 time 17.1414 not-muc 941461 unknown 610 muc 363
19.29/19.37 c iter 366 time 17.1794 not-muc 941461 unknown 609 muc 364
19.29/19.37 c iter 367 time 17.2164 not-muc 941461 unknown 608 muc 365
19.29/19.37 c iter 368 time 17.2564 not-muc 941461 unknown 607 muc 366
19.29/19.37 c iter 369 time 17.2934 not-muc 941461 unknown 606 muc 367
19.29/19.37 c iter 370 time 17.3314 not-muc 941461 unknown 605 muc 368
19.29/19.37 c iter 371 time 17.3694 not-muc 941461 unknown 604 muc 369
19.29/19.37 c iter 372 time 17.4074 not-muc 941461 unknown 603 muc 370
19.29/19.37 c iter 373 time 17.4453 not-muc 941461 unknown 602 muc 371
19.29/19.37 c iter 374 time 17.4833 not-muc 941461 unknown 601 muc 372
19.29/19.37 c iter 375 time 17.5213 not-muc 941461 unknown 600 muc 373
19.29/19.37 c iter 376 time 17.5583 not-muc 941461 unknown 599 muc 374
19.29/19.37 c iter 377 time 17.5963 not-muc 941461 unknown 598 muc 375
19.29/19.37 c iter 378 time 17.6343 not-muc 941461 unknown 597 muc 376
19.29/19.37 c iter 379 time 17.6723 not-muc 941461 unknown 596 muc 377
19.29/19.37 c iter 380 time 17.7103 not-muc 941461 unknown 595 muc 378
19.29/19.37 c iter 381 time 17.7483 not-muc 941461 unknown 594 muc 379
19.29/19.37 c iter 382 time 17.7863 not-muc 941461 unknown 593 muc 380
19.29/19.37 c iter 383 time 17.8243 not-muc 941461 unknown 592 muc 381
19.29/19.37 c iter 384 time 17.8623 not-muc 941461 unknown 591 muc 382
19.29/19.37 c iter 385 time 17.9003 not-muc 941461 unknown 590 muc 383
19.29/19.37 c iter 386 time 17.9383 not-muc 941461 unknown 589 muc 384
19.29/19.37 c iter 387 time 17.9763 not-muc 941461 unknown 588 muc 385
19.29/19.37 c iter 388 time 18.0143 not-muc 941461 unknown 587 muc 386
19.29/19.37 c iter 389 time 18.0523 not-muc 941461 unknown 586 muc 387
19.29/19.37 c iter 390 time 18.0902 not-muc 941461 unknown 585 muc 388
19.29/19.37 c iter 391 time 18.1292 not-muc 941461 unknown 584 muc 389
19.29/19.37 c iter 392 time 18.1672 not-muc 941461 unknown 583 muc 390
19.29/19.37 c iter 393 time 18.2052 not-muc 941461 unknown 582 muc 391
19.29/19.37 c iter 394 time 18.2432 not-muc 941461 unknown 581 muc 392
19.29/19.37 c iter 395 time 18.2812 not-muc 941461 unknown 580 muc 393
19.29/19.37 c iter 396 time 18.3192 not-muc 941461 unknown 579 muc 394
19.29/19.37 c iter 397 time 18.3572 not-muc 941461 unknown 578 muc 395
19.29/19.37 c iter 398 time 18.3952 not-muc 941461 unknown 577 muc 396
19.29/19.37 c iter 399 time 18.4332 not-muc 941461 unknown 576 muc 397
19.29/19.37 c iter 400 time 18.4712 not-muc 941461 unknown 575 muc 398
19.29/19.37 c iter 401 time 18.5092 not-muc 941461 unknown 574 muc 399
19.29/19.37 c iter 402 time 18.5472 not-muc 941461 unknown 573 muc 400
19.29/19.37 c iter 403 time 18.5852 not-muc 941461 unknown 572 muc 401
19.29/19.37 c iter 404 time 18.6242 not-muc 941461 unknown 571 muc 402
19.29/19.37 c iter 405 time 18.6622 not-muc 941461 unknown 570 muc 403
19.29/19.37 c iter 406 time 18.7002 not-muc 941461 unknown 569 muc 404
19.29/19.37 c iter 407 time 18.7382 not-muc 941461 unknown 568 muc 405
19.29/19.37 c iter 408 time 18.7761 not-muc 941461 unknown 567 muc 406
19.29/19.37 c iter 409 time 18.8141 not-muc 941461 unknown 566 muc 407
19.29/19.37 c iter 410 time 18.8521 not-muc 941461 unknown 565 muc 408
19.29/19.37 c iter 411 time 18.8901 not-muc 941461 unknown 564 muc 409
19.29/19.37 c iter 412 time 18.9271 not-muc 941461 unknown 563 muc 410
19.29/19.37 c iter 413 time 18.9651 not-muc 941461 unknown 562 muc 411
19.29/19.37 c iter 414 time 19.0031 not-muc 941461 unknown 561 muc 412
19.29/19.37 c iter 415 time 19.0411 not-muc 941461 unknown 560 muc 413
19.29/19.37 c iter 416 time 19.0791 not-muc 941461 unknown 559 muc 414
19.29/19.37 c iter 417 time 19.1171 not-muc 941461 unknown 558 muc 415
19.29/19.37 c iter 418 time 19.1551 not-muc 941461 unknown 557 muc 416
19.29/19.37 c iter 419 time 19.1931 not-muc 941461 unknown 556 muc 417
19.29/19.37 c iter 420 time 19.2311 not-muc 941461 unknown 555 muc 418
22.00/22.04 c iter 421 time 19.2691 not-muc 941461 unknown 554 muc 419
22.00/22.04 c iter 422 time 19.3071 not-muc 941461 unknown 553 muc 420
22.00/22.04 c iter 423 time 19.3451 not-muc 941461 unknown 552 muc 421
22.00/22.04 c iter 424 time 19.3831 not-muc 941461 unknown 551 muc 422
22.00/22.04 c iter 425 time 19.421 not-muc 941461 unknown 550 muc 423
22.00/22.04 c iter 426 time 19.459 not-muc 941461 unknown 549 muc 424
22.00/22.04 c iter 427 time 19.497 not-muc 941461 unknown 548 muc 425
22.00/22.04 c iter 428 time 19.535 not-muc 941461 unknown 547 muc 426
22.00/22.04 c iter 429 time 19.573 not-muc 941461 unknown 546 muc 427
22.00/22.04 c iter 430 time 19.611 not-muc 941461 unknown 545 muc 428
22.00/22.04 c iter 431 time 19.649 not-muc 941461 unknown 544 muc 429
22.00/22.04 c iter 432 time 19.687 not-muc 941461 unknown 543 muc 430
22.00/22.04 c iter 433 time 19.725 not-muc 941461 unknown 542 muc 431
22.00/22.04 c iter 434 time 19.763 not-muc 941461 unknown 541 muc 432
22.00/22.04 c iter 435 time 19.801 not-muc 941461 unknown 540 muc 433
22.00/22.04 c iter 436 time 19.839 not-muc 941461 unknown 539 muc 434
22.00/22.04 c iter 437 time 19.877 not-muc 941461 unknown 538 muc 435
22.00/22.04 c iter 438 time 19.915 not-muc 941461 unknown 537 muc 436
22.00/22.04 c iter 439 time 19.953 not-muc 941461 unknown 536 muc 437
22.00/22.04 c iter 440 time 19.991 not-muc 941461 unknown 535 muc 438
22.00/22.04 c iter 441 time 20.029 not-muc 941461 unknown 534 muc 439
22.00/22.04 c iter 442 time 20.0669 not-muc 941461 unknown 533 muc 440
22.00/22.04 c iter 443 time 20.1049 not-muc 941461 unknown 532 muc 441
22.00/22.04 c iter 444 time 20.1429 not-muc 941461 unknown 531 muc 442
22.00/22.04 c iter 445 time 20.1819 not-muc 941461 unknown 530 muc 443
22.00/22.04 c iter 446 time 20.2199 not-muc 941461 unknown 529 muc 444
22.00/22.04 c iter 447 time 20.2579 not-muc 941461 unknown 528 muc 445
22.00/22.04 c iter 448 time 20.2959 not-muc 941461 unknown 527 muc 446
22.00/22.04 c iter 449 time 20.3339 not-muc 941461 unknown 526 muc 447
22.00/22.04 c iter 450 time 20.3719 not-muc 941461 unknown 525 muc 448
22.00/22.04 c iter 451 time 20.4099 not-muc 941461 unknown 524 muc 449
22.00/22.04 c iter 452 time 20.4479 not-muc 941461 unknown 523 muc 450
22.00/22.04 c iter 453 time 20.4859 not-muc 941461 unknown 522 muc 451
22.00/22.04 c iter 454 time 20.5239 not-muc 941461 unknown 521 muc 452
22.00/22.04 c iter 455 time 20.5619 not-muc 941461 unknown 520 muc 453
22.00/22.04 c iter 456 time 20.5999 not-muc 941461 unknown 519 muc 454
22.00/22.04 c iter 457 time 20.6389 not-muc 941461 unknown 518 muc 455
22.00/22.04 c iter 458 time 20.6769 not-muc 941461 unknown 517 muc 456
22.00/22.04 c iter 459 time 20.7148 not-muc 941461 unknown 516 muc 457
22.00/22.04 c iter 460 time 20.7528 not-muc 941461 unknown 515 muc 458
22.00/22.04 c iter 461 time 20.7918 not-muc 941461 unknown 514 muc 459
22.00/22.04 c iter 462 time 20.8298 not-muc 941461 unknown 513 muc 460
22.00/22.04 c iter 463 time 20.8678 not-muc 941461 unknown 512 muc 461
22.00/22.04 c iter 464 time 20.9058 not-muc 941461 unknown 511 muc 462
22.00/22.04 c iter 465 time 20.9438 not-muc 941461 unknown 510 muc 463
22.00/22.04 c iter 466 time 20.9818 not-muc 941461 unknown 509 muc 464
22.00/22.04 c iter 467 time 21.0198 not-muc 941461 unknown 508 muc 465
22.00/22.04 c iter 468 time 21.0578 not-muc 941461 unknown 507 muc 466
22.00/22.04 c iter 469 time 21.0958 not-muc 941461 unknown 506 muc 467
22.00/22.04 c iter 470 time 21.1338 not-muc 941461 unknown 505 muc 468
22.00/22.04 c iter 471 time 21.1718 not-muc 941461 unknown 504 muc 469
22.00/22.04 c iter 472 time 21.2098 not-muc 941461 unknown 503 muc 470
22.00/22.04 c iter 473 time 21.2488 not-muc 941461 unknown 502 muc 471
22.00/22.04 c iter 474 time 21.2868 not-muc 941461 unknown 501 muc 472
22.00/22.04 c iter 475 time 21.3248 not-muc 941461 unknown 500 muc 473
22.00/22.04 c iter 476 time 21.3618 not-muc 941461 unknown 499 muc 474
22.00/22.04 c iter 477 time 21.3997 not-muc 941461 unknown 498 muc 475
22.00/22.04 c iter 478 time 21.4377 not-muc 941461 unknown 497 muc 476
22.00/22.04 c iter 479 time 21.4757 not-muc 941461 unknown 496 muc 477
22.00/22.04 c iter 480 time 21.5137 not-muc 941461 unknown 495 muc 478
22.00/22.04 c iter 481 time 21.5517 not-muc 941461 unknown 494 muc 479
22.00/22.04 c iter 482 time 21.5897 not-muc 941461 unknown 493 muc 480
22.00/22.04 c iter 483 time 21.6277 not-muc 941461 unknown 492 muc 481
22.00/22.04 c iter 484 time 21.6657 not-muc 941461 unknown 491 muc 482
22.00/22.04 c iter 485 time 21.7037 not-muc 941461 unknown 490 muc 483
22.00/22.04 c iter 486 time 21.7417 not-muc 941461 unknown 489 muc 484
22.00/22.04 c iter 487 time 21.7797 not-muc 941461 unknown 488 muc 485
22.00/22.04 c iter 488 time 21.8177 not-muc 941461 unknown 487 muc 486
22.00/22.04 c iter 489 time 21.8557 not-muc 941461 unknown 486 muc 487
22.00/22.04 c iter 490 time 21.8937 not-muc 941461 unknown 485 muc 488
24.59/24.66 c iter 491 time 21.9317 not-muc 941461 unknown 484 muc 489
24.59/24.66 c iter 492 time 21.9697 not-muc 941461 unknown 483 muc 490
24.59/24.66 c iter 493 time 22.0077 not-muc 941461 unknown 482 muc 491
24.59/24.66 c iter 494 time 22.0456 not-muc 941461 unknown 481 muc 492
24.59/24.66 c iter 495 time 22.0836 not-muc 941461 unknown 480 muc 493
24.59/24.66 c iter 496 time 22.1216 not-muc 941461 unknown 479 muc 494
24.59/24.66 c iter 497 time 22.1596 not-muc 941461 unknown 478 muc 495
24.59/24.66 c iter 498 time 22.1976 not-muc 941461 unknown 477 muc 496
24.59/24.66 c iter 499 time 22.2356 not-muc 941461 unknown 476 muc 497
24.59/24.66 c iter 500 time 22.2736 not-muc 941461 unknown 475 muc 498
24.59/24.66 c iter 501 time 22.3116 not-muc 941461 unknown 474 muc 499
24.59/24.66 c iter 502 time 22.3496 not-muc 941461 unknown 473 muc 500
24.59/24.66 c iter 503 time 22.3876 not-muc 941461 unknown 472 muc 501
24.59/24.66 c iter 504 time 22.4256 not-muc 941461 unknown 471 muc 502
24.59/24.66 c iter 505 time 22.4636 not-muc 941461 unknown 470 muc 503
24.59/24.66 c iter 506 time 22.5016 not-muc 941461 unknown 469 muc 504
24.59/24.66 c iter 507 time 22.5396 not-muc 941461 unknown 468 muc 505
24.59/24.66 c iter 508 time 22.5776 not-muc 941461 unknown 467 muc 506
24.59/24.66 c iter 509 time 22.6156 not-muc 941461 unknown 466 muc 507
24.59/24.66 c iter 510 time 22.6546 not-muc 941461 unknown 465 muc 508
24.59/24.66 c iter 511 time 22.6926 not-muc 941461 unknown 464 muc 509
24.59/24.66 c iter 512 time 22.7315 not-muc 941461 unknown 463 muc 510
24.59/24.66 c iter 513 time 22.7695 not-muc 941461 unknown 462 muc 511
24.59/24.66 c iter 514 time 22.8075 not-muc 941461 unknown 461 muc 512
24.59/24.66 c iter 515 time 22.8455 not-muc 941461 unknown 460 muc 513
24.59/24.66 c iter 516 time 22.8835 not-muc 941461 unknown 459 muc 514
24.59/24.66 c iter 517 time 22.9215 not-muc 941461 unknown 458 muc 515
24.59/24.66 c iter 518 time 22.9595 not-muc 941461 unknown 457 muc 516
24.59/24.66 c iter 519 time 22.9985 not-muc 941461 unknown 456 muc 517
24.59/24.66 c iter 520 time 23.0365 not-muc 941461 unknown 455 muc 518
24.59/24.66 c iter 521 time 23.0735 not-muc 941461 unknown 454 muc 519
24.59/24.66 c iter 522 time 23.1115 not-muc 941461 unknown 453 muc 520
24.59/24.66 c iter 523 time 23.1495 not-muc 941461 unknown 452 muc 521
24.59/24.66 c iter 524 time 23.1875 not-muc 941461 unknown 451 muc 522
24.59/24.66 c iter 525 time 23.2255 not-muc 941461 unknown 450 muc 523
24.59/24.66 c iter 526 time 23.2635 not-muc 941461 unknown 449 muc 524
24.59/24.66 c iter 527 time 23.3015 not-muc 941461 unknown 448 muc 525
24.59/24.66 c iter 528 time 23.3395 not-muc 941461 unknown 447 muc 526
24.59/24.66 c iter 529 time 23.3774 not-muc 941461 unknown 446 muc 527
24.59/24.66 c iter 530 time 23.4154 not-muc 941461 unknown 445 muc 528
24.59/24.66 c iter 531 time 23.4534 not-muc 941461 unknown 444 muc 529
24.59/24.66 c iter 532 time 23.4914 not-muc 941461 unknown 443 muc 530
24.59/24.66 c iter 533 time 23.5294 not-muc 941461 unknown 442 muc 531
24.59/24.66 c iter 534 time 23.5674 not-muc 941461 unknown 441 muc 532
24.59/24.66 c iter 535 time 23.6044 not-muc 941461 unknown 440 muc 533
24.59/24.66 c iter 536 time 23.6424 not-muc 941461 unknown 439 muc 534
24.59/24.66 c iter 537 time 23.6804 not-muc 941461 unknown 438 muc 535
24.59/24.66 c iter 538 time 23.7184 not-muc 941461 unknown 437 muc 536
24.59/24.66 c iter 539 time 23.7564 not-muc 941461 unknown 436 muc 537
24.59/24.66 c iter 540 time 23.7944 not-muc 941461 unknown 435 muc 538
24.59/24.66 c iter 541 time 23.8324 not-muc 941461 unknown 434 muc 539
24.59/24.66 c iter 542 time 23.8704 not-muc 941461 unknown 433 muc 540
24.59/24.66 c iter 543 time 23.9084 not-muc 941461 unknown 432 muc 541
24.59/24.66 c iter 544 time 23.9464 not-muc 941461 unknown 431 muc 542
24.59/24.66 c iter 545 time 23.9844 not-muc 941461 unknown 430 muc 543
24.59/24.66 c iter 546 time 24.0223 not-muc 941461 unknown 429 muc 544
24.59/24.66 c iter 547 time 24.0603 not-muc 941461 unknown 428 muc 545
24.59/24.66 c iter 548 time 24.0983 not-muc 941461 unknown 427 muc 546
24.59/24.66 c iter 549 time 24.1363 not-muc 941461 unknown 426 muc 547
24.59/24.66 c iter 550 time 24.1743 not-muc 941461 unknown 425 muc 548
24.59/24.66 c iter 551 time 24.2123 not-muc 941461 unknown 424 muc 549
24.59/24.66 c iter 552 time 24.2503 not-muc 941461 unknown 423 muc 550
24.59/24.66 c iter 553 time 24.2883 not-muc 941461 unknown 422 muc 551
24.59/24.66 c iter 554 time 24.3253 not-muc 941461 unknown 421 muc 552
24.59/24.66 c iter 555 time 24.3633 not-muc 941461 unknown 420 muc 553
24.59/24.66 c iter 556 time 24.4013 not-muc 941461 unknown 419 muc 554
24.59/24.66 c iter 557 time 24.4393 not-muc 941461 unknown 418 muc 555
24.59/24.66 c iter 558 time 24.4763 not-muc 941461 unknown 417 muc 556
24.59/24.66 c iter 559 time 24.5153 not-muc 941461 unknown 416 muc 557
27.29/27.30 c iter 560 time 24.5523 not-muc 941461 unknown 415 muc 558
27.29/27.30 c iter 561 time 24.5893 not-muc 941461 unknown 414 muc 559
27.29/27.30 c iter 562 time 24.6273 not-muc 941461 unknown 413 muc 560
27.29/27.30 c iter 563 time 24.6653 not-muc 941461 unknown 412 muc 561
27.29/27.30 c iter 564 time 24.7022 not-muc 941461 unknown 411 muc 562
27.29/27.30 c iter 565 time 24.7402 not-muc 941461 unknown 410 muc 563
27.29/27.30 c iter 566 time 24.7782 not-muc 941461 unknown 409 muc 564
27.29/27.30 c iter 567 time 24.8162 not-muc 941461 unknown 408 muc 565
27.29/27.30 c iter 568 time 24.8542 not-muc 941461 unknown 407 muc 566
27.29/27.30 c iter 569 time 24.8912 not-muc 941461 unknown 406 muc 567
27.29/27.30 c iter 570 time 24.9292 not-muc 941461 unknown 405 muc 568
27.29/27.30 c iter 571 time 24.9672 not-muc 941461 unknown 404 muc 569
27.29/27.30 c iter 572 time 25.0042 not-muc 941461 unknown 403 muc 570
27.29/27.30 c iter 573 time 25.0422 not-muc 941461 unknown 402 muc 571
27.29/27.30 c iter 574 time 25.0802 not-muc 941461 unknown 401 muc 572
27.29/27.30 c iter 575 time 25.1182 not-muc 941461 unknown 400 muc 573
27.29/27.30 c iter 576 time 25.1562 not-muc 941461 unknown 399 muc 574
27.29/27.30 c iter 577 time 25.1942 not-muc 941461 unknown 398 muc 575
27.29/27.30 c iter 578 time 25.2322 not-muc 941461 unknown 397 muc 576
27.29/27.30 c iter 579 time 25.2702 not-muc 941461 unknown 396 muc 577
27.29/27.30 c iter 580 time 25.3082 not-muc 941461 unknown 395 muc 578
27.29/27.30 c iter 581 time 25.3461 not-muc 941461 unknown 394 muc 579
27.29/27.30 c iter 582 time 25.3841 not-muc 941461 unknown 393 muc 580
27.29/27.30 c iter 583 time 25.4221 not-muc 941461 unknown 392 muc 581
27.29/27.30 c iter 584 time 25.4601 not-muc 941461 unknown 391 muc 582
27.29/27.30 c iter 585 time 25.4981 not-muc 941461 unknown 390 muc 583
27.29/27.30 c iter 586 time 25.5361 not-muc 941461 unknown 389 muc 584
27.29/27.30 c iter 587 time 25.5741 not-muc 941461 unknown 388 muc 585
27.29/27.30 c iter 588 time 25.6121 not-muc 941461 unknown 387 muc 586
27.29/27.30 c iter 589 time 25.6491 not-muc 941461 unknown 386 muc 587
27.29/27.30 c iter 590 time 25.6871 not-muc 941461 unknown 385 muc 588
27.29/27.30 c iter 591 time 25.7251 not-muc 941461 unknown 384 muc 589
27.29/27.30 c iter 592 time 25.7631 not-muc 941461 unknown 383 muc 590
27.29/27.30 c iter 593 time 25.8011 not-muc 941461 unknown 382 muc 591
27.29/27.30 c iter 594 time 25.8391 not-muc 941461 unknown 381 muc 592
27.29/27.30 c iter 595 time 25.8771 not-muc 941461 unknown 380 muc 593
27.29/27.30 c iter 596 time 25.9151 not-muc 941461 unknown 379 muc 594
27.29/27.30 c iter 597 time 25.9531 not-muc 941461 unknown 378 muc 595
27.29/27.30 c iter 598 time 25.991 not-muc 941461 unknown 377 muc 596
27.29/27.30 c iter 599 time 26.029 not-muc 941461 unknown 376 muc 597
27.29/27.30 c iter 600 time 26.066 not-muc 941461 unknown 375 muc 598
27.29/27.30 c iter 601 time 26.104 not-muc 941461 unknown 374 muc 599
27.29/27.30 c iter 602 time 26.142 not-muc 941461 unknown 373 muc 600
27.29/27.30 c iter 603 time 26.179 not-muc 941461 unknown 372 muc 601
27.29/27.30 c iter 604 time 26.217 not-muc 941461 unknown 371 muc 602
27.29/27.30 c iter 605 time 26.255 not-muc 941461 unknown 370 muc 603
27.29/27.30 c iter 606 time 26.293 not-muc 941461 unknown 369 muc 604
27.29/27.30 c iter 607 time 26.33 not-muc 941461 unknown 368 muc 605
27.29/27.30 c iter 608 time 26.368 not-muc 941461 unknown 367 muc 606
27.29/27.30 c iter 609 time 26.406 not-muc 941461 unknown 366 muc 607
27.29/27.30 c iter 610 time 26.444 not-muc 941461 unknown 365 muc 608
27.29/27.30 c iter 611 time 26.481 not-muc 941461 unknown 364 muc 609
27.29/27.30 c iter 612 time 26.519 not-muc 941461 unknown 363 muc 610
27.29/27.30 c iter 613 time 26.558 not-muc 941461 unknown 362 muc 611
27.29/27.30 c iter 614 time 26.595 not-muc 941461 unknown 361 muc 612
27.29/27.30 c iter 615 time 26.633 not-muc 941461 unknown 360 muc 613
27.29/27.30 c iter 616 time 26.6699 not-muc 941461 unknown 359 muc 614
27.29/27.30 c iter 617 time 26.7079 not-muc 941461 unknown 358 muc 615
27.29/27.30 c iter 618 time 26.7459 not-muc 941461 unknown 357 muc 616
27.29/27.30 c iter 619 time 26.7839 not-muc 941461 unknown 356 muc 617
27.29/27.30 c iter 620 time 26.8209 not-muc 941461 unknown 355 muc 618
27.29/27.30 c iter 621 time 26.8589 not-muc 941461 unknown 354 muc 619
27.29/27.30 c iter 622 time 26.8969 not-muc 941461 unknown 353 muc 620
27.29/27.30 c iter 623 time 26.9339 not-muc 941461 unknown 352 muc 621
27.29/27.30 c iter 624 time 26.9719 not-muc 941461 unknown 351 muc 622
27.29/27.30 c iter 625 time 27.0099 not-muc 941461 unknown 350 muc 623
27.29/27.30 c iter 626 time 27.0469 not-muc 941461 unknown 349 muc 624
27.29/27.30 c iter 627 time 27.0849 not-muc 941461 unknown 348 muc 625
27.29/27.30 c iter 628 time 27.1229 not-muc 941461 unknown 347 muc 626
27.29/27.30 c iter 629 time 27.1599 not-muc 941461 unknown 346 muc 627
29.69/29.71 c iter 630 time 27.1979 not-muc 941461 unknown 345 muc 628
29.69/29.71 c iter 631 time 27.2359 not-muc 941461 unknown 344 muc 629
29.69/29.71 c iter 632 time 27.2729 not-muc 941461 unknown 343 muc 630
29.69/29.71 c iter 633 time 27.3108 not-muc 941461 unknown 342 muc 631
29.69/29.71 c iter 634 time 27.3478 not-muc 941461 unknown 341 muc 632
29.69/29.71 c iter 635 time 27.3858 not-muc 941461 unknown 340 muc 633
29.69/29.71 c iter 636 time 27.4238 not-muc 941461 unknown 339 muc 634
29.69/29.71 c iter 637 time 27.4608 not-muc 941461 unknown 338 muc 635
29.69/29.71 c iter 638 time 27.4988 not-muc 941461 unknown 337 muc 636
29.69/29.71 c iter 639 time 27.5358 not-muc 941461 unknown 336 muc 637
29.69/29.71 c iter 640 time 27.5738 not-muc 941461 unknown 335 muc 638
29.69/29.71 c iter 641 time 27.6108 not-muc 941461 unknown 334 muc 639
29.69/29.71 c iter 642 time 27.6478 not-muc 941461 unknown 333 muc 640
29.69/29.71 c iter 643 time 27.6858 not-muc 941461 unknown 332 muc 641
29.69/29.71 c iter 644 time 27.7228 not-muc 941461 unknown 331 muc 642
29.69/29.71 c iter 645 time 27.7608 not-muc 941461 unknown 330 muc 643
29.69/29.71 c iter 646 time 27.7988 not-muc 941461 unknown 329 muc 644
29.69/29.71 c iter 647 time 27.8318 not-muc 941461 unknown 328 muc 645
29.69/29.71 c iter 648 time 27.8658 not-muc 941461 unknown 327 muc 646
29.69/29.71 c iter 649 time 27.8998 not-muc 941461 unknown 326 muc 647
29.69/29.71 c iter 650 time 27.9328 not-muc 941461 unknown 325 muc 648
29.69/29.71 c iter 651 time 27.9667 not-muc 941461 unknown 324 muc 649
29.69/29.71 c iter 652 time 27.9997 not-muc 941461 unknown 323 muc 650
29.69/29.71 c iter 653 time 28.0337 not-muc 941461 unknown 322 muc 651
29.69/29.71 c iter 654 time 28.0677 not-muc 941461 unknown 321 muc 652
29.69/29.71 c iter 655 time 28.1007 not-muc 941461 unknown 320 muc 653
29.69/29.71 c iter 656 time 28.1347 not-muc 941461 unknown 319 muc 654
29.69/29.71 c iter 657 time 28.1677 not-muc 941461 unknown 318 muc 655
29.69/29.71 c iter 658 time 28.2017 not-muc 941461 unknown 317 muc 656
29.69/29.71 c iter 659 time 28.2347 not-muc 941461 unknown 316 muc 657
29.69/29.71 c iter 660 time 28.2687 not-muc 941461 unknown 315 muc 658
29.69/29.71 c iter 661 time 28.3017 not-muc 941461 unknown 314 muc 659
29.69/29.71 c iter 662 time 28.3357 not-muc 941461 unknown 313 muc 660
29.69/29.71 c iter 663 time 28.3687 not-muc 941461 unknown 312 muc 661
29.69/29.71 c iter 664 time 28.4027 not-muc 941461 unknown 311 muc 662
29.69/29.71 c iter 665 time 28.4357 not-muc 941461 unknown 310 muc 663
29.69/29.71 c iter 666 time 28.4687 not-muc 941461 unknown 309 muc 664
29.69/29.71 c iter 667 time 28.5047 not-muc 941461 unknown 308 muc 665
29.69/29.71 c iter 668 time 28.5377 not-muc 941461 unknown 307 muc 666
29.69/29.71 c iter 669 time 28.5707 not-muc 941461 unknown 306 muc 667
29.69/29.71 c iter 670 time 28.6057 not-muc 941461 unknown 305 muc 668
29.69/29.71 c iter 671 time 28.6396 not-muc 941461 unknown 304 muc 669
29.69/29.71 c iter 672 time 28.6726 not-muc 941461 unknown 303 muc 670
29.69/29.71 c iter 673 time 28.7056 not-muc 941461 unknown 302 muc 671
29.69/29.71 c iter 674 time 28.7396 not-muc 941461 unknown 301 muc 672
29.69/29.71 c iter 675 time 28.7726 not-muc 941461 unknown 300 muc 673
29.69/29.71 c iter 676 time 28.8056 not-muc 941461 unknown 299 muc 674
29.69/29.71 c iter 677 time 28.8386 not-muc 941461 unknown 298 muc 675
29.69/29.71 c iter 678 time 28.8716 not-muc 941461 unknown 297 muc 676
29.69/29.71 c iter 679 time 28.9046 not-muc 941461 unknown 296 muc 677
29.69/29.71 c iter 680 time 28.9386 not-muc 941461 unknown 295 muc 678
29.69/29.71 c iter 681 time 28.9716 not-muc 941461 unknown 294 muc 679
29.69/29.71 c iter 682 time 29.0046 not-muc 941461 unknown 293 muc 680
29.69/29.71 c iter 683 time 29.0376 not-muc 941461 unknown 292 muc 681
29.69/29.71 c iter 684 time 29.0716 not-muc 941461 unknown 291 muc 682
29.69/29.71 c iter 685 time 29.1046 not-muc 941461 unknown 290 muc 683
29.69/29.71 c iter 686 time 29.1376 not-muc 941461 unknown 289 muc 684
29.69/29.71 c iter 687 time 29.1706 not-muc 941461 unknown 288 muc 685
29.69/29.71 c iter 688 time 29.2036 not-muc 941461 unknown 287 muc 686
29.69/29.71 c iter 689 time 29.2366 not-muc 941461 unknown 286 muc 687
29.69/29.71 c iter 690 time 29.2695 not-muc 941461 unknown 285 muc 688
29.69/29.71 c iter 691 time 29.3035 not-muc 941461 unknown 284 muc 689
29.69/29.71 c iter 692 time 29.3365 not-muc 941461 unknown 283 muc 690
29.69/29.71 c iter 693 time 29.3695 not-muc 941461 unknown 282 muc 691
29.69/29.71 c iter 694 time 29.4025 not-muc 941461 unknown 281 muc 692
29.69/29.71 c iter 695 time 29.4355 not-muc 941461 unknown 280 muc 693
29.69/29.71 c iter 696 time 29.4685 not-muc 941461 unknown 279 muc 694
29.69/29.71 c iter 697 time 29.5015 not-muc 941461 unknown 278 muc 695
29.69/29.71 c iter 698 time 29.5345 not-muc 941461 unknown 277 muc 696
29.69/29.71 c iter 699 time 29.5675 not-muc 941461 unknown 276 muc 697
31.89/31.96 c iter 700 time 29.6005 not-muc 941461 unknown 275 muc 698
31.89/31.96 c iter 701 time 29.6335 not-muc 941461 unknown 274 muc 699
31.89/31.96 c iter 702 time 29.6665 not-muc 941461 unknown 273 muc 700
31.89/31.96 c iter 703 time 29.6995 not-muc 941461 unknown 272 muc 701
31.89/31.96 c iter 704 time 29.7325 not-muc 941461 unknown 271 muc 702
31.89/31.96 c iter 705 time 29.7655 not-muc 941461 unknown 270 muc 703
31.89/31.96 c iter 706 time 29.7985 not-muc 941461 unknown 269 muc 704
31.89/31.96 c iter 707 time 29.8315 not-muc 941461 unknown 268 muc 705
31.89/31.96 c iter 708 time 29.8645 not-muc 941461 unknown 267 muc 706
31.89/31.96 c iter 709 time 29.8975 not-muc 941461 unknown 266 muc 707
31.89/31.96 c iter 710 time 29.9314 not-muc 941461 unknown 265 muc 708
31.89/31.96 c iter 711 time 29.9644 not-muc 941461 unknown 264 muc 709
31.89/31.96 c iter 712 time 29.9974 not-muc 941461 unknown 263 muc 710
31.89/31.96 c iter 713 time 30.0304 not-muc 941461 unknown 262 muc 711
31.89/31.96 c iter 714 time 30.0634 not-muc 941461 unknown 261 muc 712
31.89/31.96 c iter 715 time 30.0964 not-muc 941461 unknown 260 muc 713
31.89/31.96 c iter 716 time 30.1294 not-muc 941461 unknown 259 muc 714
31.89/31.96 c iter 717 time 30.1624 not-muc 941461 unknown 258 muc 715
31.89/31.96 c iter 718 time 30.1944 not-muc 941461 unknown 257 muc 716
31.89/31.96 c iter 719 time 30.2274 not-muc 941461 unknown 256 muc 717
31.89/31.96 c iter 720 time 30.2604 not-muc 941461 unknown 255 muc 718
31.89/31.96 c iter 721 time 30.2934 not-muc 941461 unknown 254 muc 719
31.89/31.96 c iter 722 time 30.3254 not-muc 941461 unknown 253 muc 720
31.89/31.96 c iter 723 time 30.3584 not-muc 941461 unknown 252 muc 721
31.89/31.96 c iter 724 time 30.3914 not-muc 941461 unknown 251 muc 722
31.89/31.96 c iter 725 time 30.4234 not-muc 941461 unknown 250 muc 723
31.89/31.96 c iter 726 time 30.4564 not-muc 941461 unknown 249 muc 724
31.89/31.96 c iter 727 time 30.4884 not-muc 941461 unknown 248 muc 725
31.89/31.96 c iter 728 time 30.5214 not-muc 941461 unknown 247 muc 726
31.89/31.96 c iter 729 time 30.5544 not-muc 941461 unknown 246 muc 727
31.89/31.96 c iter 730 time 30.5863 not-muc 941461 unknown 245 muc 728
31.89/31.96 c iter 731 time 30.6193 not-muc 941461 unknown 244 muc 729
31.89/31.96 c iter 732 time 30.6513 not-muc 941461 unknown 243 muc 730
31.89/31.96 c iter 733 time 30.6843 not-muc 941461 unknown 242 muc 731
31.89/31.96 c iter 734 time 30.7163 not-muc 941461 unknown 241 muc 732
31.89/31.96 c iter 735 time 30.7493 not-muc 941461 unknown 240 muc 733
31.89/31.96 c iter 736 time 30.7813 not-muc 941461 unknown 239 muc 734
31.89/31.96 c iter 737 time 30.8143 not-muc 941461 unknown 238 muc 735
31.89/31.96 c iter 738 time 30.8483 not-muc 941461 unknown 237 muc 736
31.89/31.96 c iter 739 time 30.8803 not-muc 941461 unknown 236 muc 737
31.89/31.96 c iter 740 time 30.9133 not-muc 941461 unknown 235 muc 738
31.89/31.96 c iter 741 time 30.9453 not-muc 941461 unknown 234 muc 739
31.89/31.96 c iter 742 time 30.9783 not-muc 941461 unknown 233 muc 740
31.89/31.96 c iter 743 time 31.0103 not-muc 941461 unknown 232 muc 741
31.89/31.96 c iter 744 time 31.0423 not-muc 941461 unknown 231 muc 742
31.89/31.96 c iter 745 time 31.0753 not-muc 941461 unknown 230 muc 743
31.89/31.96 c iter 746 time 31.1073 not-muc 941461 unknown 229 muc 744
31.89/31.96 c iter 747 time 31.1393 not-muc 941461 unknown 228 muc 745
31.89/31.96 c iter 748 time 31.1723 not-muc 941461 unknown 227 muc 746
31.89/31.96 c iter 749 time 31.2043 not-muc 941461 unknown 226 muc 747
31.89/31.96 c iter 750 time 31.2373 not-muc 941461 unknown 225 muc 748
31.89/31.96 c iter 751 time 31.2692 not-muc 941461 unknown 224 muc 749
31.89/31.96 c iter 752 time 31.3022 not-muc 941461 unknown 223 muc 750
31.89/31.96 c iter 753 time 31.3342 not-muc 941461 unknown 222 muc 751
31.89/31.96 c iter 754 time 31.3662 not-muc 941461 unknown 221 muc 752
31.89/31.96 c iter 755 time 31.3982 not-muc 941461 unknown 220 muc 753
31.89/31.96 c iter 756 time 31.4302 not-muc 941461 unknown 219 muc 754
31.89/31.96 c iter 757 time 31.4622 not-muc 941461 unknown 218 muc 755
31.89/31.96 c iter 758 time 31.4952 not-muc 941461 unknown 217 muc 756
31.89/31.96 c iter 759 time 31.5272 not-muc 941461 unknown 216 muc 757
31.89/31.96 c iter 760 time 31.5592 not-muc 941461 unknown 215 muc 758
31.89/31.96 c iter 761 time 31.5912 not-muc 941461 unknown 214 muc 759
31.89/31.96 c iter 762 time 31.6232 not-muc 941461 unknown 213 muc 760
31.89/31.96 c iter 763 time 31.6552 not-muc 941461 unknown 212 muc 761
31.89/31.96 c iter 764 time 31.6872 not-muc 941461 unknown 211 muc 762
31.89/31.96 c iter 765 time 31.7192 not-muc 941461 unknown 210 muc 763
31.89/31.96 c iter 766 time 31.7512 not-muc 941461 unknown 209 muc 764
31.89/31.96 c iter 767 time 31.7842 not-muc 941461 unknown 208 muc 765
31.89/31.96 c iter 768 time 31.8162 not-muc 941461 unknown 207 muc 766
34.09/34.17 c iter 769 time 31.8482 not-muc 941461 unknown 206 muc 767
34.09/34.17 c iter 770 time 31.8802 not-muc 941461 unknown 205 muc 768
34.09/34.17 c iter 771 time 31.9121 not-muc 941461 unknown 204 muc 769
34.09/34.17 c iter 772 time 31.9441 not-muc 941461 unknown 203 muc 770
34.09/34.17 c iter 773 time 31.9761 not-muc 941461 unknown 202 muc 771
34.09/34.17 c iter 774 time 32.0071 not-muc 941461 unknown 201 muc 772
34.09/34.17 c iter 775 time 32.0401 not-muc 941461 unknown 200 muc 773
34.09/34.17 c iter 776 time 32.0721 not-muc 941461 unknown 199 muc 774
34.09/34.17 c iter 777 time 32.1031 not-muc 941461 unknown 198 muc 775
34.09/34.17 c iter 778 time 32.1351 not-muc 941461 unknown 197 muc 776
34.09/34.17 c iter 779 time 32.1671 not-muc 941461 unknown 196 muc 777
34.09/34.17 c iter 780 time 32.1991 not-muc 941461 unknown 195 muc 778
34.09/34.17 c iter 781 time 32.2301 not-muc 941461 unknown 194 muc 779
34.09/34.17 c iter 782 time 32.2621 not-muc 941461 unknown 193 muc 780
34.09/34.17 c iter 783 time 32.2941 not-muc 941461 unknown 192 muc 781
34.09/34.17 c iter 784 time 32.3251 not-muc 941461 unknown 191 muc 782
34.09/34.17 c iter 785 time 32.3571 not-muc 941461 unknown 190 muc 783
34.09/34.17 c iter 786 time 32.3891 not-muc 941461 unknown 189 muc 784
34.09/34.17 c iter 787 time 32.4201 not-muc 941461 unknown 188 muc 785
34.09/34.17 c iter 788 time 32.4541 not-muc 941461 unknown 187 muc 786
34.09/34.17 c iter 789 time 32.4851 not-muc 941461 unknown 186 muc 787
34.09/34.17 c iter 790 time 32.5171 not-muc 941461 unknown 185 muc 788
34.09/34.17 c iter 791 time 32.5491 not-muc 941461 unknown 184 muc 789
34.09/34.17 c iter 792 time 32.58 not-muc 941461 unknown 183 muc 790
34.09/34.17 c iter 793 time 32.612 not-muc 941461 unknown 182 muc 791
34.09/34.17 c iter 794 time 32.643 not-muc 941461 unknown 181 muc 792
34.09/34.17 c iter 795 time 32.675 not-muc 941461 unknown 180 muc 793
34.09/34.17 c iter 796 time 32.707 not-muc 941461 unknown 179 muc 794
34.09/34.17 c iter 797 time 32.738 not-muc 941461 unknown 178 muc 795
34.09/34.17 c iter 798 time 32.769 not-muc 941461 unknown 177 muc 796
34.09/34.17 c iter 799 time 32.801 not-muc 941461 unknown 176 muc 797
34.09/34.17 c iter 800 time 32.832 not-muc 941461 unknown 175 muc 798
34.09/34.17 c iter 801 time 32.864 not-muc 941461 unknown 174 muc 799
34.09/34.17 c iter 802 time 32.895 not-muc 941461 unknown 173 muc 800
34.09/34.17 c iter 803 time 32.927 not-muc 941461 unknown 172 muc 801
34.09/34.17 c iter 804 time 32.958 not-muc 941461 unknown 171 muc 802
34.09/34.17 c iter 805 time 32.99 not-muc 941461 unknown 170 muc 803
34.09/34.17 c iter 806 time 33.022 not-muc 941461 unknown 169 muc 804
34.09/34.17 c iter 807 time 33.053 not-muc 941461 unknown 168 muc 805
34.09/34.17 c iter 808 time 33.085 not-muc 941461 unknown 167 muc 806
34.09/34.17 c iter 809 time 33.116 not-muc 941461 unknown 166 muc 807
34.09/34.17 c iter 810 time 33.148 not-muc 941461 unknown 165 muc 808
34.09/34.17 c iter 811 time 33.179 not-muc 941461 unknown 164 muc 809
34.09/34.17 c iter 812 time 33.211 not-muc 941461 unknown 163 muc 810
34.09/34.17 c iter 813 time 33.2419 not-muc 941461 unknown 162 muc 811
34.09/34.17 c iter 814 time 33.2729 not-muc 941461 unknown 161 muc 812
34.09/34.17 c iter 815 time 33.3049 not-muc 941461 unknown 160 muc 813
34.09/34.17 c iter 816 time 33.3359 not-muc 941461 unknown 159 muc 814
34.09/34.17 c iter 817 time 33.3679 not-muc 941461 unknown 158 muc 815
34.09/34.17 c iter 818 time 33.3989 not-muc 941461 unknown 157 muc 816
34.09/34.17 c iter 819 time 33.4299 not-muc 941461 unknown 156 muc 817
34.09/34.17 c iter 820 time 33.4619 not-muc 941461 unknown 155 muc 818
34.09/34.17 c iter 821 time 33.4929 not-muc 941461 unknown 154 muc 819
34.09/34.17 c iter 822 time 33.5239 not-muc 941461 unknown 153 muc 820
34.09/34.17 c iter 823 time 33.5559 not-muc 941461 unknown 152 muc 821
34.09/34.17 c iter 824 time 33.5869 not-muc 941461 unknown 151 muc 822
34.09/34.17 c iter 825 time 33.6179 not-muc 941461 unknown 150 muc 823
34.09/34.17 c iter 826 time 33.6499 not-muc 941461 unknown 149 muc 824
34.09/34.17 c iter 827 time 33.6809 not-muc 941461 unknown 148 muc 825
34.09/34.17 c iter 828 time 33.7119 not-muc 941461 unknown 147 muc 826
34.09/34.17 c iter 829 time 33.7449 not-muc 941461 unknown 146 muc 827
34.09/34.17 c iter 830 time 33.7769 not-muc 941461 unknown 145 muc 828
34.09/34.17 c iter 831 time 33.8089 not-muc 941461 unknown 144 muc 829
34.09/34.17 c iter 832 time 33.8399 not-muc 941461 unknown 143 muc 830
34.09/34.17 c iter 833 time 33.8719 not-muc 941461 unknown 142 muc 831
34.09/34.17 c iter 834 time 33.9028 not-muc 941461 unknown 141 muc 832
34.09/34.17 c iter 835 time 33.9338 not-muc 941461 unknown 140 muc 833
34.09/34.17 c iter 836 time 33.9658 not-muc 941461 unknown 139 muc 834
34.09/34.17 c iter 837 time 33.9968 not-muc 941461 unknown 138 muc 835
34.09/34.17 c iter 838 time 34.0278 not-muc 941461 unknown 137 muc 836
36.29/36.35 c iter 839 time 34.0598 not-muc 941461 unknown 136 muc 837
36.29/36.35 c iter 840 time 34.0908 not-muc 941461 unknown 135 muc 838
36.29/36.35 c iter 841 time 34.1218 not-muc 941461 unknown 134 muc 839
36.29/36.35 c iter 842 time 34.1528 not-muc 941461 unknown 133 muc 840
36.29/36.35 c iter 843 time 34.1848 not-muc 941461 unknown 132 muc 841
36.29/36.35 c iter 844 time 34.2158 not-muc 941461 unknown 131 muc 842
36.29/36.35 c iter 845 time 34.2468 not-muc 941461 unknown 130 muc 843
36.29/36.35 c iter 846 time 34.2778 not-muc 941461 unknown 129 muc 844
36.29/36.35 c iter 847 time 34.3098 not-muc 941461 unknown 128 muc 845
36.29/36.35 c iter 848 time 34.3408 not-muc 941461 unknown 127 muc 846
36.29/36.35 c iter 849 time 34.3718 not-muc 941461 unknown 126 muc 847
36.29/36.35 c iter 850 time 34.4028 not-muc 941461 unknown 125 muc 848
36.29/36.35 c iter 851 time 34.4338 not-muc 941461 unknown 124 muc 849
36.29/36.35 c iter 852 time 34.4648 not-muc 941461 unknown 123 muc 850
36.29/36.35 c iter 853 time 34.4968 not-muc 941461 unknown 122 muc 851
36.29/36.35 c iter 854 time 34.5277 not-muc 941461 unknown 121 muc 852
36.29/36.35 c iter 855 time 34.5587 not-muc 941461 unknown 120 muc 853
36.29/36.35 c iter 856 time 34.5897 not-muc 941461 unknown 119 muc 854
36.29/36.35 c iter 857 time 34.6207 not-muc 941461 unknown 118 muc 855
36.29/36.35 c iter 858 time 34.6517 not-muc 941461 unknown 117 muc 856
36.29/36.35 c iter 859 time 34.6827 not-muc 941461 unknown 116 muc 857
36.29/36.35 c iter 860 time 34.7137 not-muc 941461 unknown 115 muc 858
36.29/36.35 c iter 861 time 34.7447 not-muc 941461 unknown 114 muc 859
36.29/36.35 c iter 862 time 34.7757 not-muc 941461 unknown 113 muc 860
36.29/36.35 c iter 863 time 34.8067 not-muc 941461 unknown 112 muc 861
36.29/36.35 c iter 864 time 34.8377 not-muc 941461 unknown 111 muc 862
36.29/36.35 c iter 865 time 34.8687 not-muc 941461 unknown 110 muc 863
36.29/36.35 c iter 866 time 34.8997 not-muc 941461 unknown 109 muc 864
36.29/36.35 c iter 867 time 34.9307 not-muc 941461 unknown 108 muc 865
36.29/36.35 c iter 868 time 34.9617 not-muc 941461 unknown 107 muc 866
36.29/36.35 c iter 869 time 34.9927 not-muc 941461 unknown 106 muc 867
36.29/36.35 c iter 870 time 35.0237 not-muc 941461 unknown 105 muc 868
36.29/36.35 c iter 871 time 35.0547 not-muc 941461 unknown 104 muc 869
36.29/36.35 c iter 872 time 35.0987 not-muc 941461 unknown 103 muc 870
36.29/36.35 c iter 873 time 35.1297 not-muc 941461 unknown 102 muc 871
36.29/36.35 c iter 874 time 35.1597 not-muc 941461 unknown 101 muc 872
36.29/36.35 c iter 875 time 35.1906 not-muc 941461 unknown 100 muc 873
36.29/36.35 c iter 876 time 35.2216 not-muc 941461 unknown 99 muc 874
36.29/36.35 c iter 877 time 35.2526 not-muc 941461 unknown 98 muc 875
36.29/36.35 c iter 878 time 35.2836 not-muc 941461 unknown 97 muc 876
36.29/36.35 c iter 879 time 35.3146 not-muc 941461 unknown 96 muc 877
36.29/36.35 c iter 880 time 35.3456 not-muc 941461 unknown 95 muc 878
36.29/36.35 c iter 881 time 35.3756 not-muc 941461 unknown 94 muc 879
36.29/36.35 c iter 882 time 35.4066 not-muc 941461 unknown 93 muc 880
36.29/36.35 c iter 883 time 35.4376 not-muc 941461 unknown 92 muc 881
36.29/36.35 c iter 884 time 35.4676 not-muc 941461 unknown 91 muc 882
36.29/36.35 c iter 885 time 35.4986 not-muc 941461 unknown 90 muc 883
36.29/36.35 c iter 886 time 35.5296 not-muc 941461 unknown 89 muc 884
36.29/36.35 c iter 887 time 35.5606 not-muc 941461 unknown 88 muc 885
36.29/36.35 c iter 888 time 35.5906 not-muc 941461 unknown 87 muc 886
36.29/36.35 c iter 889 time 35.6216 not-muc 941461 unknown 86 muc 887
36.29/36.35 c iter 890 time 35.6526 not-muc 941461 unknown 85 muc 888
36.29/36.35 c iter 891 time 35.6826 not-muc 941461 unknown 84 muc 889
36.29/36.35 c iter 892 time 35.7136 not-muc 941461 unknown 83 muc 890
36.29/36.35 c iter 893 time 35.7436 not-muc 941461 unknown 82 muc 891
36.29/36.35 c iter 894 time 35.7746 not-muc 941461 unknown 81 muc 892
36.29/36.35 c iter 895 time 35.8046 not-muc 941461 unknown 80 muc 893
36.29/36.35 c iter 896 time 35.8356 not-muc 941461 unknown 79 muc 894
36.29/36.35 c iter 897 time 35.8655 not-muc 941461 unknown 78 muc 895
36.29/36.35 c iter 898 time 35.8965 not-muc 941461 unknown 77 muc 896
36.29/36.35 c iter 899 time 35.9265 not-muc 941461 unknown 76 muc 897
36.29/36.35 c iter 900 time 35.9575 not-muc 941461 unknown 75 muc 898
36.29/36.35 c iter 901 time 35.9875 not-muc 941461 unknown 74 muc 899
36.29/36.35 c iter 902 time 36.0185 not-muc 941461 unknown 73 muc 900
36.29/36.35 c iter 903 time 36.0485 not-muc 941461 unknown 72 muc 901
36.29/36.35 c iter 904 time 36.0795 not-muc 941461 unknown 71 muc 902
36.29/36.35 c iter 905 time 36.1095 not-muc 941461 unknown 70 muc 903
36.29/36.35 c iter 906 time 36.1395 not-muc 941461 unknown 69 muc 904
36.29/36.35 c iter 907 time 36.1705 not-muc 941461 unknown 68 muc 905
36.29/36.35 c iter 908 time 36.2005 not-muc 941461 unknown 67 muc 906
38.29/38.37 c iter 909 time 36.2315 not-muc 941461 unknown 66 muc 907
38.29/38.37 c iter 910 time 36.2615 not-muc 941461 unknown 65 muc 908
38.29/38.37 c iter 911 time 36.2915 not-muc 941461 unknown 64 muc 909
38.29/38.37 c iter 912 time 36.3225 not-muc 941461 unknown 63 muc 910
38.29/38.37 c iter 913 time 36.3525 not-muc 941461 unknown 62 muc 911
38.29/38.37 c iter 914 time 36.3825 not-muc 941461 unknown 61 muc 912
38.29/38.37 c iter 915 time 36.4125 not-muc 941461 unknown 60 muc 913
38.29/38.37 c iter 916 time 36.4435 not-muc 941461 unknown 59 muc 914
38.29/38.37 c iter 917 time 36.4735 not-muc 941461 unknown 58 muc 915
38.29/38.37 c iter 918 time 36.5035 not-muc 941461 unknown 57 muc 916
38.29/38.37 c iter 919 time 36.5334 not-muc 941461 unknown 56 muc 917
38.29/38.37 c iter 920 time 36.5644 not-muc 941461 unknown 55 muc 918
38.29/38.37 c iter 921 time 36.5944 not-muc 941461 unknown 54 muc 919
38.29/38.37 c iter 922 time 36.6244 not-muc 941461 unknown 53 muc 920
38.29/38.37 c iter 923 time 36.6544 not-muc 941461 unknown 52 muc 921
38.29/38.37 c iter 924 time 36.6854 not-muc 941461 unknown 51 muc 922
38.29/38.37 c iter 925 time 36.7154 not-muc 941461 unknown 50 muc 923
38.29/38.37 c iter 926 time 36.7454 not-muc 941461 unknown 49 muc 924
38.29/38.37 c iter 927 time 36.7754 not-muc 941461 unknown 48 muc 925
38.29/38.37 c iter 928 time 36.8064 not-muc 941461 unknown 47 muc 926
38.29/38.37 c iter 929 time 36.8364 not-muc 941461 unknown 46 muc 927
38.29/38.37 c iter 930 time 36.8664 not-muc 941461 unknown 45 muc 928
38.29/38.37 c iter 931 time 36.8964 not-muc 941461 unknown 44 muc 929
38.29/38.37 c iter 932 time 36.9264 not-muc 941461 unknown 43 muc 930
38.29/38.37 c iter 933 time 36.9574 not-muc 941461 unknown 42 muc 931
38.29/38.37 c iter 934 time 36.9874 not-muc 941461 unknown 41 muc 932
38.29/38.37 c iter 935 time 37.0174 not-muc 941461 unknown 40 muc 933
38.29/38.37 c iter 936 time 37.0474 not-muc 941461 unknown 39 muc 934
38.29/38.37 c iter 937 time 37.0774 not-muc 941461 unknown 38 muc 935
38.29/38.37 c iter 938 time 37.1074 not-muc 941461 unknown 37 muc 936
38.29/38.37 c iter 939 time 37.1384 not-muc 941461 unknown 36 muc 937
38.29/38.37 c iter 940 time 37.1683 not-muc 941461 unknown 35 muc 938
38.29/38.37 c iter 941 time 37.1983 not-muc 941461 unknown 34 muc 939
38.29/38.37 c iter 942 time 37.2283 not-muc 941461 unknown 33 muc 940
38.29/38.37 c iter 943 time 37.2583 not-muc 941461 unknown 32 muc 941
38.29/38.37 c iter 944 time 37.2893 not-muc 941461 unknown 31 muc 942
38.29/38.37 c iter 945 time 37.3193 not-muc 941461 unknown 30 muc 943
38.29/38.37 c iter 946 time 37.3493 not-muc 941461 unknown 29 muc 944
38.29/38.37 c iter 947 time 37.3793 not-muc 941461 unknown 28 muc 945
38.29/38.37 c iter 948 time 37.4093 not-muc 941461 unknown 27 muc 946
38.29/38.37 c iter 949 time 37.4393 not-muc 941461 unknown 26 muc 947
38.29/38.37 c iter 950 time 37.4693 not-muc 941461 unknown 25 muc 948
38.29/38.37 c iter 951 time 37.4993 not-muc 941461 unknown 24 muc 949
38.29/38.37 c iter 952 time 37.5293 not-muc 941461 unknown 23 muc 950
38.29/38.37 c iter 953 time 37.5583 not-muc 941461 unknown 22 muc 951
38.29/38.37 c iter 954 time 37.5883 not-muc 941461 unknown 21 muc 952
38.29/38.37 c iter 955 time 37.6183 not-muc 941461 unknown 20 muc 953
38.29/38.37 c iter 956 time 37.6483 not-muc 941461 unknown 19 muc 954
38.29/38.37 c iter 957 time 37.6783 not-muc 941461 unknown 18 muc 955
38.29/38.37 c iter 958 time 37.7083 not-muc 941461 unknown 17 muc 956
38.29/38.37 c iter 959 time 37.7373 not-muc 941461 unknown 16 muc 957
38.29/38.37 c iter 960 time 37.7673 not-muc 941461 unknown 15 muc 958
38.29/38.37 c iter 961 time 37.7973 not-muc 941461 unknown 14 muc 959
38.29/38.37 c iter 962 time 37.8272 not-muc 941461 unknown 13 muc 960
38.29/38.37 c iter 963 time 37.8572 not-muc 941461 unknown 12 muc 961
38.29/38.37 c iter 964 time 37.8862 not-muc 941461 unknown 11 muc 962
38.29/38.37 c iter 965 time 37.9162 not-muc 941461 unknown 10 muc 963
38.29/38.37 c iter 966 time 37.9462 not-muc 941461 unknown 9 muc 964
38.29/38.37 c iter 967 time 37.9762 not-muc 941461 unknown 8 muc 965
38.29/38.37 c iter 968 time 38.0192 not-muc 941461 unknown 7 muc 966
38.29/38.37 c iter 969 time 38.0492 not-muc 941461 unknown 6 muc 967
38.29/38.37 c iter 970 time 38.0792 not-muc 941461 unknown 5 muc 968
38.29/38.37 c iter 971 time 38.1082 not-muc 941461 unknown 4 muc 969
38.29/38.37 c iter 972 time 38.1382 not-muc 941461 unknown 3 muc 970
38.29/38.37 c iter 973 time 38.1682 not-muc 941461 unknown 2 muc 971
38.29/38.37 c iter 974 time 38.1972 not-muc 941461 unknown 1 muc 972
38.29/38.37 c final iter 975 time 38.2242 not-muc 941461 unknown 0 muc 973
38.29/38.37 v 209722 209723 342053 342065 342077 344330 345431 346532 402808 402812 402816 566840 566845 566847 566851 566984 566989 566991 566995 567128 567132 567135 567139 567272 567276 567279 567283 567416 567420 567423 567427 567560 567564 567567 567571 567704 567708 567711 567715 567848 567853 567855 567859 567992 567997 567999 568003 568136 568140 568143 568147 568280 568284 568287 568291 568424 568428 568431 568435 568568 568572 568575 568579 568712 568717 568719 568723 568856 568860 568863 568867 569000 569004 569007 569011 569144 569148 569151 569155 569288 569293 569295 569299 569432 569436 569439 569443 569576 569580 569583 569587 588146 588150 588154 588155 588159 588185 588189 588200 588204 588234 588237 589094 589098 589102 589103 589107 589133 589137 589148 589152 589182 589186 590042 590046 590050 590051 590055 590081 590085 590096 590100 590130 590134 590990 590994 590998 590999 591003 591029 591033 591044 591048 591078 591082 591938 591942 591946 591947 591951 591977 591981 591992 591996 592026 592030 592886 592890 592894 592895 592899 592925 592929 592940 592944 592974 592978 593834 593838 593842 593843 593847 593873 593877 593888 593892 593922 593926 594782 594786 594790 594791 594795 594821 594825 594836 594840 594870 594874 595730 595734 595738 595739 595743 595769 595773 595784 595788 595818 595822 596678 596682 596686 596687 596691 596717 596721 596732 596736 596766 596770 597626 597630 597634 597635 597639 597665 597669 597680 597684 597714 597718 598574 598578 598582 598583 598587 598613 598617 598628 598632 598662 598666 599522 599526 599530 599531 599535 599561 599565 599576 599580 599610 599614 600470 600474 600478 600479 600483 600509 600513 600524 600528 600558 600562 601418 601422 601426 601427 601431 601457 601461 601472 601476 601506 601510 602366 602370 602374 602375 602379 602405 602409 602420 602424 602454 602458 603314 603318 603322 603323 603327 603353 603357 603368 603372 603402 603405 604262 604266 604270 604271 604275 604301 604305 604316 604320 604350 604354 605210 605214 605218 605219 605223 605249 605253 605264 605268 605298 605302 606245 606249 606253 606254 606258 606286 606287 606291 606303 606305 606309 606339 606342 606349 606352 671630 671635 671637 671640 752351 752354 753416 763916 763925 763927 768054 768055 768059 768060 768650 768652 768664 768676 768688 768700 768712 768724 768736 768748 768760 768772 768784 768796 768808 768820 768832 768844 768856 768868 768869 768870 768874 768877 768880 768881 768882 768886 768889 768892 768893 768894 768898 768901 768904 768916 768928 768940 768941 768942 768947 768950 768952 768964 768976 768988 769000 769012 769024 769036 769048 769060 769072 769084 769096 769108 769120 769132 769144 769156 769168 769180 769192 769204 769216 769229 769230 769235 769238 770605 784923 784924 784928 784929 787968 787971 787973 787976 787979 787982 787984 787987 787990 787993 787995 787998 788001 788004 788006 788009 788012 788015 788017 788020 788023 788026 788028 788031 788034 788037 788039 788042 788045 788048 788050 788053 788056 788059 788061 788064 788067 788070 788072 788075 788078 788081 788084 788086 788089 788092 788095 788097 788100 788103 788106 788109 788111 788114 788117 788120 788122 788125 788128 788131 788134 788136 788139 788142 788145 788147 788150 788153 788156 788159 788161 788164 788167 788170 788172 788175 788178 788181 788184 788186 788189 788192 788195 788197 788200 788203 788206 788209 788211 788214 788217 788220 788222 788225 788228 788231 788234 788236 788239 788242 788245 788247 788250 788253 788256 788259 788261 788264 788267 788270 788272 788275 788278 788281 788284 788287 788289 788292 788295 788298 788300 788303 788306 788309 788312 788315 788317 788320 788323 788326 788328 788331 788334 788337 788340 788343 788345 788348 788351 788354 788356 788359 788362 788365 788368 788371 788373 788376 788379 788382 788384 788387 788390 788393 788396 788399 788402 788404 788407 788410 788413 788415 788418 788421 788424 788427 788430 788433 788435 788438 788441 788444 788446 788449 788452 788455 788458 788461 788464 788466 788469 788472 788475 788477 788480 788483 788486 788489 788492 788494 788508 788511 788514 788516 788530 788533 788536 788538 788552 788555 788558 788560 788574 788577 788580 788582 788596 788599 788602 788605 788607 788621 788624 788627 788630 788632 788646 788649 788652 788655 788657 788671 788674 788677 788680 788682 788696 788699 788702 788705 788707 788721 788724 788727 788730 788732 788746 788749 788752 788755 788757 788771 788774 788777 788780 788782 788796 788799 788802 788805 788808 788810 788824 788827 788830 788833 788836 788838 788852 788855 788858 788861 788864 788866 788880 788883 788886 788889 788892 788894 788908 788911 788914 788917 788920 788923 788925 788939 788942 788945 788948 788951 788954 788956 788970 788973 788976 788979 788982 788985 788987 789001 789004 789007 789010 789013 801436 801441 801442 801447 802374 802376 802388 802400 802412 802424 802436 802448 802460 802472 802484 802496 802508 802520 802532 802544 802556 802568 802580 802592 802604 802616 802628 802640 802652 802664 802665 802666 802671 802674 802676 802688 802700 802712 802724 802736 802748 802760 802772 802784 802796 802808 802820 802832 802844 802856 802868 802880 802892 802904 802916 802928 802940 802953 802954 802959 802962 804329 907567 907574 907580 907912 907919 907925 908257 908264 908270 908602 908609 908615 908947 908954 908961 908965 908972 908978 908984 909298 909305 909312 909316 909323 909329 909335 909649 909656 909662 910000 910007 910013 910351 910358 910365 910369 910376 910382 910388 910702 910709 910715 911053 911060 911066 911404 911411 911418 911422 911429 911435 911441 911755 911762 911769 911773 911780 911786 911792 912112 912119 912125 912469 912476 912483 912487 912494 912500 912506 912826 912833 912839 913195 913202 913209 913213 913220 913226 913232 913558 913565 913571 913921 913928 913934 914284 914291 914298 914302 914309 914315 914321 914815 914816 914819 914824 914826 918234 918235 918393 918394 918530 919028 919076 919124 919172 919220 919268 919316 919364 919412 919460 919508 919556 919604 919652 919700 919748 919796 919844 919892 919967 923813 923815 932620 937134 937144 937154 937190 937194 937411 937415 938921 938923 938975 938977 939029 939031 939083 939085 939137 939139 939191 939193 939245 939247 939299 939301 939353 939355 939407 939409 939461 939463 939515 939517 939569 939571 939623 939625 939677 939679 939731 939733 939785 939787 939839 939841 939893 939895 939947 939949 941344 941346 941398 941400 941452 941454 941506 941508 941560 941562 941614 941616 941668 941670 941722 941724 941776 941778 941830 941832 941884 941886 941938 941940 941992 941994 942046 942048 942100 942102 942154 942156 942208 942210 942262 942264 942316 942318 942370 942372 0
38.29/38.37 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3494036-1307805075/watcher-3494036-1307805075 -o /tmp/evaluation-result-3494036-1307805075/solver-3494036-1307805075 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3494036-1307805075.cnf
running on 2 cores: 5,7
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.99 3.65 2.93 4/186 10307
/proc/meminfo: memFree=30959444/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=22564 CPUtime=0 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 1068 0 0 0 0 0 0 0 23 0 1 0 872923883 23105536 987 33554432000 4194304 4311632 140736565049456 18446744073709551615 212039352528 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 5784 987 216 29 0 2413 0
[startup+0.0310019 s]
/proc/loadavg: 3.99 3.65 2.93 4/186 10307
/proc/meminfo: memFree=30959444/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=48420 CPUtime=0.02 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 5794 0 0 0 1 1 0 0 23 0 1 0 872923883 49582080 5682 33554432000 4194304 4311632 140736565049456 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 12105 5692 216 29 0 8734 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 48420
[startup+0.100996 s]
/proc/loadavg: 3.99 3.65 2.93 4/186 10307
/proc/meminfo: memFree=30959444/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=117012 CPUtime=0.08 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 18922 0 0 0 6 2 0 0 23 0 1 0 872923883 119820288 18496 33554432000 4194304 4311632 140736565049456 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 29253 18508 216 29 0 25882 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 117012
[startup+0.300958 s]
/proc/loadavg: 3.99 3.65 2.93 4/186 10307
/proc/meminfo: memFree=30959444/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=182936 CPUtime=0.29 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 36524 0 0 0 24 5 0 0 24 0 1 0 872923883 187326464 35769 33554432000 4194304 4311632 140736565049456 18446744073709551615 212039316165 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 45734 35771 218 29 0 42363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 182936
[startup+0.700884 s]
/proc/loadavg: 3.99 3.65 2.93 4/186 10307
/proc/meminfo: memFree=30959444/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=250120 CPUtime=0.69 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 55547 0 0 0 61 8 0 0 25 0 1 0 872923883 256122880 52011 33554432000 4194304 4311632 140736565049456 18446744073709551615 212039316165 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 62530 52012 218 29 0 59159 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 250120
[startup+1.50074 s]
/proc/loadavg: 3.99 3.65 2.93 5/190 10318
/proc/meminfo: memFree=30204152/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=294972 CPUtime=1.48 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 67924 0 0 0 138 10 0 0 25 0 1 0 872923883 302051328 62882 33554432000 4194304 4311632 140736565049456 18446744073709551615 212039316165 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 73743 62882 225 29 0 70372 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 294972
[startup+3.10047 s]
/proc/loadavg: 3.99 3.65 2.93 5/190 10318
/proc/meminfo: memFree=30097388/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=308428 CPUtime=3.09 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 80418 0 0 0 297 12 0 0 25 0 1 0 872923883 315830272 66448 33554432000 4194304 4311632 140736565049456 18446744073709551615 212039310689 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 77107 66448 225 29 0 73736 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 308428
[startup+6.30088 s]
/proc/loadavg: 3.99 3.66 2.94 5/190 10318
/proc/meminfo: memFree=29837988/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=6.29 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89859 0 0 0 615 14 0 0 25 0 1 0 872923883 280838144 57900 33554432000 4194304 4311632 140736565049456 18446744073709551615 4277287 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57900 252 29 0 65193 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 274256
[startup+12.7008 s]
/proc/loadavg: 3.99 3.66 2.94 5/190 10318
/proc/meminfo: memFree=29988968/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=12.69 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 1255 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4247319 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 274256
[startup+25.5005 s]
/proc/loadavg: 3.99 3.68 2.96 5/190 10318
/proc/meminfo: memFree=29935244/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=25.49 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 2535 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 274256
Solver just ended. Dumping a history of the last processes samples
[startup+31.9073 s]
/proc/loadavg: 3.99 3.68 2.97 5/190 10318
/proc/meminfo: memFree=29965972/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=31.89 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 3175 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 274256
[startup+35.1007 s]
/proc/loadavg: 3.99 3.69 2.97 5/190 10318
/proc/meminfo: memFree=29973528/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=35.09 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 3495 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4264115 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 274256
[startup+36.7005 s]
/proc/loadavg: 3.99 3.69 2.97 5/190 10318
/proc/meminfo: memFree=29899872/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=36.69 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 3655 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4247437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 274256
[startup+37.5003 s]
/proc/loadavg: 3.99 3.69 2.97 5/190 10318
/proc/meminfo: memFree=29893548/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=37.49 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 3735 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4247445 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 37.49
Current children cumulated vsize (KiB) 274256
[startup+37.9002 s]
/proc/loadavg: 3.99 3.69 2.97 5/190 10318
/proc/meminfo: memFree=29893548/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=37.89 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 3775 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4247435 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 37.89
Current children cumulated vsize (KiB) 274256
[startup+38.3002 s]
/proc/loadavg: 3.99 3.69 2.97 5/190 10318
/proc/meminfo: memFree=29893548/32951124 swapFree=67050916/67111528
[pid=10307] ppid=10305 vsize=274256 CPUtime=38.29 cores=5,7
/proc/10307/stat : 10307 (hmuc-a) R 10305 10307 9411 0 -1 4202496 89860 0 0 0 3815 14 0 0 25 0 1 0 872923883 280838144 57901 33554432000 4194304 4311632 140736565049456 18446744073709551615 4247375 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/10307/statm: 68564 57901 253 29 0 65193 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 274256
Child status: 20
Real time (s): 38.3841
CPU time (s): 38.3832
CPU user time (s): 38.2242
CPU system time (s): 0.158975
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 322756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.2242
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89861
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.055991 second user time and 0.164974 second system time
The end
Begin job on node146 at 2011-06-11 17:11:16
IDJOB=3494036
IDBENCH=89270
IDSOLVER=1983
FILE ID=node146/3494036-1307805075
RUNJOBID= node146-1307804437-10007
PBS_JOBID= 13551045
Free space on /tmp= 74020 MiB
SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_9789_6.cnf_0.31000000.unsat.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494036-1307805075/watcher-3494036-1307805075 -o /tmp/evaluation-result-3494036-1307805075/solver-3494036-1307805075 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3494036-1307805075.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= dbbfac37725bdd0de6c9cabf38ed5237
RANDOM SEED=1814483386
node146.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.830
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.66
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.830
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.830
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.75
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.830
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.86
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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30960608 kB
Buffers: 314012 kB
Cached: 1307488 kB
SwapCached: 14576 kB
Active: 765064 kB
Inactive: 1015356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30960608 kB
SwapTotal: 67111528 kB
SwapFree: 67050916 kB
Dirty: 73980 kB
Writeback: 0 kB
AnonPages: 156212 kB
Mapped: 9608 kB
Slab: 143948 kB
PageTables: 5364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 367780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74016 MiB
End job on node146 at 2011-06-11 17:11:55