1.39/1.42 c WARNING: for repeatability, setting FPU to use double precision
1.39/1.42 c iter 1 time 0.19697 not-muc 5119 unknown 1804 muc 0
1.39/1.42 c iter 2 time 0.250961 not-muc 5279 unknown 1644 muc 0
1.39/1.42 c iter 3 time 0.274958 not-muc 5280 unknown 1643 muc 0
1.39/1.42 c iter 4 time 0.352946 not-muc 5381 unknown 1542 muc 0
1.39/1.42 c iter 5 time 0.474927 not-muc 5522 unknown 1401 muc 0
1.39/1.42 c iter 6 time 0.485926 not-muc 5522 unknown 1400 muc 1
1.39/1.42 c iter 7 time 0.486925 not-muc 5522 unknown 1399 muc 2
1.39/1.42 c iter 8 time 0.488925 not-muc 5522 unknown 1398 muc 3
1.39/1.42 c iter 9 time 0.489925 not-muc 5522 unknown 1397 muc 4
1.39/1.42 c iter 10 time 0.490925 not-muc 5522 unknown 1396 muc 5
1.39/1.42 c iter 11 time 0.493924 not-muc 5522 unknown 1395 muc 6
1.39/1.42 c iter 12 time 0.494924 not-muc 5522 unknown 1394 muc 7
1.39/1.42 c iter 13 time 0.495924 not-muc 5522 unknown 1393 muc 8
1.39/1.42 c iter 14 time 0.497924 not-muc 5522 unknown 1392 muc 9
1.39/1.42 c iter 15 time 0.499924 not-muc 5522 unknown 1391 muc 10
1.39/1.42 c iter 16 time 0.501923 not-muc 5522 unknown 1390 muc 11
1.39/1.42 c iter 17 time 0.502923 not-muc 5522 unknown 1389 muc 12
1.39/1.42 c iter 18 time 0.666898 not-muc 5623 unknown 1288 muc 12
1.39/1.42 c iter 19 time 0.679896 not-muc 5640 unknown 1271 muc 12
1.39/1.42 c iter 20 time 0.750885 not-muc 5706 unknown 1205 muc 12
1.39/1.42 c iter 21 time 0.84987 not-muc 5788 unknown 1123 muc 12
1.39/1.42 c iter 22 time 0.872867 not-muc 5822 unknown 1089 muc 12
1.39/1.42 c iter 23 time 0.875866 not-muc 5825 unknown 1086 muc 12
1.39/1.42 c iter 24 time 0.876866 not-muc 5825 unknown 1085 muc 13
1.39/1.42 c iter 25 time 0.877866 not-muc 5825 unknown 1084 muc 14
1.39/1.42 c iter 26 time 0.878866 not-muc 5825 unknown 1083 muc 15
1.39/1.42 c iter 27 time 0.884865 not-muc 5825 unknown 1082 muc 16
1.39/1.42 c iter 28 time 0.967852 not-muc 5891 unknown 1016 muc 16
1.39/1.42 c iter 29 time 0.98585 not-muc 5891 unknown 1015 muc 17
1.39/1.42 c iter 30 time 0.990849 not-muc 5891 unknown 1014 muc 18
1.39/1.42 c iter 31 time 1.07484 not-muc 5902 unknown 1003 muc 18
1.39/1.42 c iter 32 time 1.08483 not-muc 5902 unknown 1002 muc 19
1.39/1.42 c iter 33 time 1.10383 not-muc 5902 unknown 1001 muc 20
1.39/1.42 c iter 34 time 1.11783 not-muc 5903 unknown 1000 muc 20
1.39/1.42 c iter 35 time 1.12583 not-muc 5903 unknown 999 muc 21
1.39/1.42 c iter 36 time 1.12783 not-muc 5903 unknown 998 muc 22
1.39/1.42 c iter 37 time 1.12783 not-muc 5903 unknown 997 muc 23
1.39/1.42 c iter 38 time 1.14482 not-muc 5907 unknown 993 muc 23
1.39/1.42 c iter 39 time 1.14583 not-muc 5907 unknown 992 muc 24
1.39/1.42 c iter 40 time 1.15482 not-muc 5907 unknown 991 muc 25
1.39/1.42 c iter 41 time 1.15582 not-muc 5907 unknown 990 muc 26
1.39/1.42 c iter 42 time 1.15682 not-muc 5907 unknown 989 muc 27
1.39/1.42 c iter 43 time 1.15782 not-muc 5907 unknown 988 muc 28
1.39/1.42 c iter 44 time 1.15782 not-muc 5907 unknown 987 muc 29
1.39/1.42 c iter 45 time 1.16282 not-muc 5907 unknown 986 muc 30
1.39/1.42 c iter 46 time 1.16882 not-muc 5907 unknown 985 muc 31
1.39/1.42 c iter 47 time 1.17282 not-muc 5907 unknown 984 muc 32
1.39/1.42 c iter 48 time 1.18082 not-muc 5907 unknown 983 muc 33
1.39/1.42 c iter 49 time 1.18182 not-muc 5907 unknown 982 muc 34
1.39/1.42 c iter 50 time 1.18682 not-muc 5907 unknown 981 muc 35
1.39/1.42 c iter 51 time 1.19782 not-muc 5907 unknown 980 muc 36
1.39/1.42 c iter 52 time 1.22681 not-muc 5907 unknown 979 muc 37
1.39/1.42 c iter 53 time 1.23781 not-muc 5907 unknown 978 muc 38
1.39/1.42 c iter 54 time 1.2938 not-muc 5932 unknown 953 muc 38
1.39/1.42 c iter 55 time 1.2948 not-muc 5932 unknown 952 muc 39
1.39/1.42 c iter 56 time 1.2968 not-muc 5932 unknown 951 muc 40
1.39/1.42 c iter 57 time 1.2978 not-muc 5932 unknown 950 muc 41
1.39/1.42 c iter 58 time 1.2998 not-muc 5932 unknown 949 muc 42
1.39/1.42 c iter 59 time 1.3018 not-muc 5932 unknown 948 muc 43
1.39/1.42 c iter 60 time 1.3048 not-muc 5932 unknown 947 muc 44
1.39/1.42 c iter 61 time 1.35579 not-muc 5944 unknown 935 muc 44
1.39/1.42 c iter 62 time 1.35579 not-muc 5944 unknown 934 muc 45
1.39/1.42 c iter 63 time 1.35679 not-muc 5944 unknown 933 muc 46
1.39/1.42 c iter 64 time 1.37679 not-muc 5946 unknown 931 muc 46
1.39/1.42 c iter 65 time 1.37879 not-muc 5946 unknown 930 muc 47
1.39/1.42 c iter 66 time 1.37879 not-muc 5946 unknown 929 muc 48
1.39/1.42 c iter 67 time 1.40479 not-muc 5946 unknown 928 muc 49
1.39/1.42 c iter 68 time 1.40579 not-muc 5946 unknown 927 muc 50
1.39/1.42 c iter 69 time 1.40779 not-muc 5946 unknown 926 muc 51
1.39/1.42 c iter 70 time 1.40878 not-muc 5946 unknown 925 muc 52
1.39/1.42 c iter 71 time 1.40878 not-muc 5946 unknown 924 muc 53
1.39/1.42 c iter 72 time 1.40979 not-muc 5946 unknown 923 muc 54
1.39/1.42 c iter 73 time 1.41078 not-muc 5946 unknown 922 muc 55
1.99/2.01 c iter 74 time 1.41179 not-muc 5946 unknown 921 muc 56
1.99/2.01 c iter 75 time 1.41678 not-muc 5946 unknown 920 muc 57
1.99/2.01 c iter 76 time 1.41978 not-muc 5946 unknown 919 muc 58
1.99/2.01 c iter 77 time 1.42078 not-muc 5946 unknown 918 muc 59
1.99/2.01 c iter 78 time 1.42178 not-muc 5946 unknown 917 muc 60
1.99/2.01 c iter 79 time 1.42278 not-muc 5946 unknown 916 muc 61
1.99/2.01 c iter 80 time 1.42378 not-muc 5946 unknown 915 muc 62
1.99/2.01 c iter 81 time 1.42478 not-muc 5946 unknown 914 muc 63
1.99/2.01 c iter 82 time 1.43178 not-muc 5947 unknown 913 muc 63
1.99/2.01 c iter 83 time 1.43278 not-muc 5947 unknown 912 muc 64
1.99/2.01 c iter 84 time 1.44078 not-muc 5947 unknown 911 muc 65
1.99/2.01 c iter 85 time 1.44178 not-muc 5947 unknown 910 muc 66
1.99/2.01 c iter 86 time 1.44278 not-muc 5947 unknown 909 muc 67
1.99/2.01 c iter 87 time 1.44378 not-muc 5947 unknown 908 muc 68
1.99/2.01 c iter 88 time 1.44478 not-muc 5947 unknown 907 muc 69
1.99/2.01 c iter 89 time 1.44578 not-muc 5947 unknown 906 muc 70
1.99/2.01 c iter 90 time 1.44678 not-muc 5947 unknown 905 muc 71
1.99/2.01 c iter 91 time 1.44778 not-muc 5947 unknown 904 muc 72
1.99/2.01 c iter 92 time 1.45878 not-muc 5947 unknown 903 muc 73
1.99/2.01 c iter 93 time 1.45978 not-muc 5947 unknown 902 muc 74
1.99/2.01 c iter 94 time 1.46078 not-muc 5947 unknown 901 muc 75
1.99/2.01 c iter 95 time 1.46178 not-muc 5947 unknown 900 muc 76
1.99/2.01 c iter 96 time 1.46278 not-muc 5947 unknown 899 muc 77
1.99/2.01 c iter 97 time 1.46278 not-muc 5947 unknown 898 muc 78
1.99/2.01 c iter 98 time 1.46378 not-muc 5947 unknown 897 muc 79
1.99/2.01 c iter 99 time 1.46478 not-muc 5947 unknown 896 muc 80
1.99/2.01 c iter 100 time 1.47178 not-muc 5947 unknown 895 muc 81
1.99/2.01 c iter 101 time 1.47278 not-muc 5947 unknown 894 muc 82
1.99/2.01 c iter 102 time 1.47378 not-muc 5947 unknown 893 muc 83
1.99/2.01 c iter 103 time 1.47578 not-muc 5947 unknown 892 muc 84
1.99/2.01 c iter 104 time 1.47677 not-muc 5947 unknown 891 muc 85
1.99/2.01 c iter 105 time 1.47778 not-muc 5947 unknown 890 muc 86
1.99/2.01 c iter 106 time 1.47778 not-muc 5947 unknown 889 muc 87
1.99/2.01 c iter 107 time 1.47877 not-muc 5947 unknown 888 muc 88
1.99/2.01 c iter 108 time 1.47978 not-muc 5947 unknown 887 muc 89
1.99/2.01 c iter 109 time 1.48077 not-muc 5947 unknown 886 muc 90
1.99/2.01 c iter 110 time 1.48077 not-muc 5947 unknown 885 muc 91
1.99/2.01 c iter 111 time 1.48177 not-muc 5947 unknown 884 muc 92
1.99/2.01 c iter 112 time 1.48277 not-muc 5947 unknown 883 muc 93
1.99/2.01 c iter 113 time 1.48277 not-muc 5947 unknown 882 muc 94
1.99/2.01 c iter 114 time 1.48377 not-muc 5947 unknown 881 muc 95
1.99/2.01 c iter 115 time 1.57176 not-muc 5956 unknown 872 muc 95
1.99/2.01 c iter 116 time 1.61175 not-muc 5961 unknown 867 muc 95
1.99/2.01 c iter 117 time 1.61175 not-muc 5961 unknown 866 muc 96
1.99/2.01 c iter 118 time 1.65275 not-muc 5963 unknown 864 muc 96
1.99/2.01 c iter 119 time 1.65475 not-muc 5963 unknown 863 muc 97
1.99/2.01 c iter 120 time 1.65575 not-muc 5963 unknown 862 muc 98
1.99/2.01 c iter 121 time 1.65575 not-muc 5963 unknown 861 muc 99
1.99/2.01 c iter 122 time 1.68574 not-muc 5965 unknown 859 muc 99
1.99/2.01 c iter 123 time 1.68674 not-muc 5965 unknown 858 muc 100
1.99/2.01 c iter 124 time 1.68774 not-muc 5965 unknown 857 muc 101
1.99/2.01 c iter 125 time 1.68774 not-muc 5965 unknown 856 muc 102
1.99/2.01 c iter 126 time 1.71774 not-muc 5967 unknown 854 muc 102
1.99/2.01 c iter 127 time 1.72174 not-muc 5967 unknown 853 muc 103
1.99/2.01 c iter 128 time 1.72374 not-muc 5967 unknown 852 muc 104
1.99/2.01 c iter 129 time 1.72474 not-muc 5967 unknown 851 muc 105
1.99/2.01 c iter 130 time 1.79173 not-muc 5971 unknown 847 muc 105
1.99/2.01 c iter 131 time 1.79273 not-muc 5971 unknown 846 muc 106
1.99/2.01 c iter 132 time 1.79373 not-muc 5971 unknown 845 muc 107
1.99/2.01 c iter 133 time 1.79573 not-muc 5971 unknown 844 muc 108
1.99/2.01 c iter 134 time 1.84072 not-muc 5973 unknown 842 muc 108
1.99/2.01 c iter 135 time 1.85672 not-muc 5973 unknown 841 muc 109
1.99/2.01 c iter 136 time 1.85772 not-muc 5973 unknown 840 muc 110
1.99/2.01 c iter 137 time 1.85772 not-muc 5973 unknown 839 muc 111
1.99/2.01 c iter 138 time 1.88571 not-muc 5975 unknown 837 muc 111
1.99/2.01 c iter 139 time 1.88671 not-muc 5975 unknown 836 muc 112
1.99/2.01 c iter 140 time 1.88671 not-muc 5975 unknown 835 muc 113
1.99/2.01 c iter 141 time 1.88771 not-muc 5975 unknown 834 muc 114
1.99/2.01 c iter 142 time 1.92171 not-muc 5977 unknown 832 muc 114
1.99/2.01 c iter 143 time 1.92571 not-muc 5977 unknown 831 muc 115
1.99/2.01 c iter 144 time 1.92871 not-muc 5977 unknown 830 muc 116
1.99/2.01 c iter 145 time 1.92971 not-muc 5977 unknown 829 muc 117
1.99/2.01 c iter 146 time 1.9957 not-muc 5981 unknown 825 muc 117
2.79/2.89 c iter 147 time 1.9957 not-muc 5981 unknown 824 muc 118
2.79/2.89 c iter 148 time 1.9987 not-muc 5981 unknown 823 muc 119
2.79/2.89 c iter 149 time 2.00969 not-muc 5981 unknown 822 muc 120
2.79/2.89 c iter 150 time 2.01269 not-muc 5981 unknown 821 muc 121
2.79/2.89 c iter 151 time 2.01769 not-muc 5981 unknown 820 muc 122
2.79/2.89 c iter 152 time 2.04069 not-muc 5981 unknown 819 muc 123
2.79/2.89 c iter 153 time 2.04469 not-muc 5981 unknown 818 muc 124
2.79/2.89 c iter 154 time 2.04769 not-muc 5981 unknown 817 muc 125
2.79/2.89 c iter 155 time 2.05669 not-muc 5981 unknown 816 muc 126
2.79/2.89 c iter 156 time 2.05969 not-muc 5981 unknown 815 muc 127
2.79/2.89 c iter 157 time 2.06169 not-muc 5981 unknown 814 muc 128
2.79/2.89 c iter 158 time 2.06169 not-muc 5981 unknown 813 muc 129
2.79/2.89 c iter 159 time 2.06469 not-muc 5981 unknown 812 muc 130
2.79/2.89 c iter 160 time 2.06569 not-muc 5981 unknown 811 muc 131
2.79/2.89 c iter 161 time 2.07168 not-muc 5981 unknown 810 muc 132
2.79/2.89 c iter 162 time 2.07368 not-muc 5981 unknown 809 muc 133
2.79/2.89 c iter 163 time 2.08668 not-muc 5981 unknown 808 muc 134
2.79/2.89 c iter 164 time 2.08868 not-muc 5981 unknown 807 muc 135
2.79/2.89 c iter 165 time 2.09068 not-muc 5981 unknown 806 muc 136
2.79/2.89 c iter 166 time 2.09268 not-muc 5981 unknown 805 muc 137
2.79/2.89 c iter 167 time 2.09568 not-muc 5981 unknown 804 muc 138
2.79/2.89 c iter 168 time 2.11268 not-muc 5981 unknown 803 muc 139
2.79/2.89 c iter 169 time 2.12068 not-muc 5981 unknown 802 muc 140
2.79/2.89 c iter 170 time 2.13368 not-muc 5981 unknown 801 muc 141
2.79/2.89 c iter 171 time 2.14667 not-muc 5981 unknown 800 muc 142
2.79/2.89 c iter 172 time 2.14867 not-muc 5981 unknown 799 muc 143
2.79/2.89 c iter 173 time 2.16567 not-muc 5981 unknown 798 muc 144
2.79/2.89 c iter 174 time 2.16767 not-muc 5981 unknown 797 muc 145
2.79/2.89 c iter 175 time 2.17067 not-muc 5981 unknown 796 muc 146
2.79/2.89 c iter 176 time 2.19367 not-muc 5981 unknown 795 muc 147
2.79/2.89 c iter 177 time 2.19467 not-muc 5981 unknown 794 muc 148
2.79/2.89 c iter 178 time 2.19966 not-muc 5981 unknown 793 muc 149
2.79/2.89 c iter 179 time 2.20167 not-muc 5981 unknown 792 muc 150
2.79/2.89 c iter 180 time 2.20267 not-muc 5981 unknown 791 muc 151
2.79/2.89 c iter 181 time 2.20366 not-muc 5981 unknown 790 muc 152
2.79/2.89 c iter 182 time 2.21266 not-muc 5981 unknown 789 muc 153
2.79/2.89 c iter 183 time 2.22166 not-muc 5981 unknown 788 muc 154
2.79/2.89 c iter 184 time 2.22266 not-muc 5981 unknown 787 muc 155
2.79/2.89 c iter 185 time 2.22366 not-muc 5981 unknown 786 muc 156
2.79/2.89 c iter 186 time 2.22766 not-muc 5981 unknown 785 muc 157
2.79/2.89 c iter 187 time 2.26166 not-muc 5986 unknown 780 muc 157
2.79/2.89 c iter 188 time 2.26365 not-muc 5986 unknown 779 muc 158
2.79/2.89 c iter 189 time 2.26565 not-muc 5986 unknown 778 muc 159
2.79/2.89 c iter 190 time 2.32565 not-muc 5993 unknown 771 muc 159
2.79/2.89 c iter 191 time 2.44263 not-muc 6020 unknown 744 muc 159
2.79/2.89 c iter 192 time 2.48362 not-muc 6030 unknown 734 muc 159
2.79/2.89 c iter 193 time 2.48462 not-muc 6030 unknown 733 muc 160
2.79/2.89 c iter 194 time 2.48462 not-muc 6030 unknown 732 muc 161
2.79/2.89 c iter 195 time 2.49562 not-muc 6030 unknown 731 muc 162
2.79/2.89 c iter 196 time 2.59361 not-muc 6037 unknown 724 muc 162
2.79/2.89 c iter 197 time 2.59761 not-muc 6037 unknown 723 muc 163
2.79/2.89 c iter 198 time 2.6016 not-muc 6037 unknown 722 muc 164
2.79/2.89 c iter 199 time 2.6036 not-muc 6037 unknown 721 muc 165
2.79/2.89 c iter 200 time 2.6076 not-muc 6037 unknown 720 muc 166
2.79/2.89 c iter 201 time 2.65959 not-muc 6042 unknown 715 muc 166
2.79/2.89 c iter 202 time 2.65959 not-muc 6042 unknown 714 muc 167
2.79/2.89 c iter 203 time 2.66059 not-muc 6042 unknown 713 muc 168
2.79/2.89 c iter 204 time 2.6616 not-muc 6042 unknown 712 muc 169
2.79/2.89 c iter 205 time 2.6616 not-muc 6042 unknown 711 muc 170
2.79/2.89 c iter 206 time 2.6626 not-muc 6042 unknown 710 muc 171
2.79/2.89 c iter 207 time 2.70659 not-muc 6047 unknown 705 muc 171
2.79/2.89 c iter 208 time 2.70959 not-muc 6047 unknown 704 muc 172
2.79/2.89 c iter 209 time 2.76458 not-muc 6050 unknown 701 muc 172
2.79/2.89 c iter 210 time 2.77158 not-muc 6050 unknown 700 muc 173
2.79/2.89 c iter 211 time 2.82057 not-muc 6051 unknown 699 muc 173
2.79/2.89 c iter 212 time 2.86057 not-muc 6053 unknown 697 muc 173
2.79/2.89 c iter 213 time 2.86156 not-muc 6053 unknown 696 muc 174
2.79/2.89 c iter 214 time 2.86256 not-muc 6053 unknown 695 muc 175
2.79/2.89 c iter 215 time 2.86356 not-muc 6053 unknown 694 muc 176
2.79/2.89 c iter 216 time 2.87356 not-muc 6054 unknown 693 muc 176
2.79/2.89 c iter 217 time 2.87556 not-muc 6054 unknown 692 muc 177
2.79/2.89 c iter 218 time 2.87556 not-muc 6054 unknown 691 muc 178
3.49/3.51 c iter 219 time 2.87556 not-muc 6054 unknown 690 muc 179
3.49/3.51 c iter 220 time 2.87856 not-muc 6054 unknown 689 muc 180
3.49/3.51 c iter 221 time 2.88156 not-muc 6054 unknown 688 muc 181
3.49/3.51 c iter 222 time 2.89056 not-muc 6054 unknown 687 muc 182
3.49/3.51 c iter 223 time 2.97755 not-muc 6057 unknown 684 muc 182
3.49/3.51 c iter 224 time 2.97955 not-muc 6057 unknown 683 muc 183
3.49/3.51 c iter 225 time 2.98055 not-muc 6057 unknown 682 muc 184
3.49/3.51 c iter 226 time 2.98055 not-muc 6057 unknown 681 muc 185
3.49/3.51 c iter 227 time 2.98155 not-muc 6057 unknown 680 muc 186
3.49/3.51 c iter 228 time 2.98155 not-muc 6057 unknown 679 muc 187
3.49/3.51 c iter 229 time 3.02554 not-muc 6060 unknown 676 muc 187
3.49/3.51 c iter 230 time 3.04454 not-muc 6062 unknown 674 muc 187
3.49/3.51 c iter 231 time 3.05054 not-muc 6062 unknown 673 muc 188
3.49/3.51 c iter 232 time 3.05454 not-muc 6062 unknown 672 muc 189
3.49/3.51 c iter 233 time 3.07253 not-muc 6062 unknown 671 muc 190
3.49/3.51 c iter 234 time 3.07353 not-muc 6062 unknown 670 muc 191
3.49/3.51 c iter 235 time 3.07353 not-muc 6062 unknown 669 muc 192
3.49/3.51 c iter 236 time 3.07453 not-muc 6062 unknown 668 muc 193
3.49/3.51 c iter 237 time 3.13152 not-muc 6073 unknown 657 muc 193
3.49/3.51 c iter 238 time 3.16952 not-muc 6075 unknown 655 muc 193
3.49/3.51 c iter 239 time 3.17352 not-muc 6075 unknown 654 muc 194
3.49/3.51 c iter 240 time 3.17352 not-muc 6075 unknown 653 muc 195
3.49/3.51 c iter 241 time 3.17452 not-muc 6075 unknown 652 muc 196
3.49/3.51 c iter 242 time 3.17552 not-muc 6075 unknown 651 muc 197
3.49/3.51 c iter 243 time 3.17552 not-muc 6075 unknown 650 muc 198
3.49/3.51 c iter 244 time 3.17652 not-muc 6075 unknown 649 muc 199
3.49/3.51 c iter 245 time 3.18252 not-muc 6075 unknown 648 muc 200
3.49/3.51 c iter 246 time 3.18552 not-muc 6075 unknown 647 muc 201
3.49/3.51 c iter 247 time 3.18651 not-muc 6075 unknown 646 muc 202
3.49/3.51 c iter 248 time 3.18651 not-muc 6075 unknown 645 muc 203
3.49/3.51 c iter 249 time 3.18751 not-muc 6075 unknown 644 muc 204
3.49/3.51 c iter 250 time 3.18751 not-muc 6075 unknown 643 muc 205
3.49/3.51 c iter 251 time 3.19151 not-muc 6075 unknown 642 muc 206
3.49/3.51 c iter 252 time 3.20851 not-muc 6075 unknown 641 muc 207
3.49/3.51 c iter 253 time 3.21051 not-muc 6075 unknown 640 muc 208
3.49/3.51 c iter 254 time 3.21051 not-muc 6075 unknown 639 muc 209
3.49/3.51 c iter 255 time 3.21351 not-muc 6075 unknown 638 muc 210
3.49/3.51 c iter 256 time 3.22151 not-muc 6075 unknown 637 muc 211
3.49/3.51 c iter 257 time 3.23951 not-muc 6077 unknown 635 muc 211
3.49/3.51 c iter 258 time 3.24851 not-muc 6079 unknown 633 muc 211
3.49/3.51 c iter 259 time 3.2545 not-muc 6081 unknown 631 muc 211
3.49/3.51 c iter 260 time 3.2875 not-muc 6083 unknown 629 muc 211
3.49/3.51 c iter 261 time 3.3045 not-muc 6087 unknown 625 muc 211
3.49/3.51 c iter 262 time 3.35049 not-muc 6095 unknown 617 muc 211
3.49/3.51 c iter 263 time 3.36449 not-muc 6096 unknown 616 muc 211
3.49/3.51 c iter 264 time 3.36649 not-muc 6098 unknown 614 muc 211
3.49/3.51 c iter 265 time 3.36849 not-muc 6100 unknown 612 muc 211
3.49/3.51 c iter 266 time 3.37149 not-muc 6106 unknown 606 muc 211
3.49/3.51 c iter 267 time 3.37549 not-muc 6110 unknown 602 muc 211
3.49/3.51 c iter 268 time 3.38248 not-muc 6112 unknown 600 muc 211
3.49/3.51 c iter 269 time 3.41948 not-muc 6123 unknown 589 muc 211
3.49/3.51 c iter 270 time 3.43448 not-muc 6124 unknown 588 muc 211
3.49/3.51 c iter 271 time 3.43548 not-muc 6124 unknown 587 muc 212
3.49/3.51 c iter 272 time 3.44648 not-muc 6124 unknown 586 muc 213
3.49/3.51 c iter 273 time 3.45347 not-muc 6126 unknown 584 muc 213
3.49/3.51 c iter 274 time 3.45347 not-muc 6126 unknown 583 muc 214
3.49/3.51 c iter 275 time 3.45447 not-muc 6126 unknown 582 muc 215
3.49/3.51 c iter 276 time 3.47347 not-muc 6127 unknown 581 muc 215
3.49/3.51 c iter 277 time 3.47347 not-muc 6127 unknown 580 muc 216
3.49/3.51 c iter 278 time 3.47647 not-muc 6127 unknown 579 muc 217
3.49/3.51 c iter 279 time 3.47747 not-muc 6127 unknown 578 muc 218
3.49/3.51 c iter 280 time 3.47747 not-muc 6127 unknown 577 muc 219
3.49/3.51 c iter 281 time 3.47847 not-muc 6127 unknown 576 muc 220
3.49/3.51 c iter 282 time 3.48347 not-muc 6128 unknown 575 muc 220
3.49/3.51 c iter 283 time 3.48447 not-muc 6128 unknown 574 muc 221
3.49/3.51 c iter 284 time 3.49147 not-muc 6129 unknown 573 muc 221
3.49/3.51 c iter 285 time 3.49347 not-muc 6129 unknown 572 muc 222
3.49/3.51 c iter 286 time 3.49447 not-muc 6129 unknown 571 muc 223
3.49/3.51 c iter 287 time 3.49647 not-muc 6129 unknown 570 muc 224
3.49/3.51 c iter 288 time 3.49747 not-muc 6129 unknown 569 muc 225
3.49/3.51 c iter 289 time 3.49747 not-muc 6129 unknown 568 muc 226
3.49/3.51 c iter 290 time 3.49847 not-muc 6129 unknown 567 muc 227
3.79/3.88 c iter 291 time 3.49847 not-muc 6129 unknown 566 muc 228
3.79/3.88 c iter 292 time 3.49947 not-muc 6129 unknown 565 muc 229
3.79/3.88 c iter 293 time 3.49947 not-muc 6129 unknown 564 muc 230
3.79/3.88 c iter 294 time 3.50047 not-muc 6129 unknown 563 muc 231
3.79/3.88 c iter 295 time 3.50047 not-muc 6129 unknown 562 muc 232
3.79/3.88 c iter 296 time 3.52446 not-muc 6129 unknown 561 muc 233
3.79/3.88 c iter 297 time 3.57246 not-muc 6152 unknown 538 muc 233
3.79/3.88 c iter 298 time 3.57746 not-muc 6152 unknown 537 muc 234
3.79/3.88 c iter 299 time 3.59045 not-muc 6153 unknown 536 muc 234
3.79/3.88 c iter 300 time 3.59045 not-muc 6153 unknown 535 muc 235
3.79/3.88 c iter 301 time 3.59145 not-muc 6153 unknown 534 muc 236
3.79/3.88 c iter 302 time 3.59545 not-muc 6155 unknown 532 muc 236
3.79/3.88 c iter 303 time 3.59645 not-muc 6155 unknown 531 muc 237
3.79/3.88 c iter 304 time 3.60445 not-muc 6158 unknown 528 muc 237
3.79/3.88 c iter 305 time 3.60645 not-muc 6158 unknown 527 muc 238
3.79/3.88 c iter 306 time 3.60645 not-muc 6158 unknown 526 muc 239
3.79/3.88 c iter 307 time 3.60745 not-muc 6158 unknown 525 muc 240
3.79/3.88 c iter 308 time 3.60945 not-muc 6159 unknown 524 muc 240
3.79/3.88 c iter 309 time 3.60945 not-muc 6159 unknown 523 muc 241
3.79/3.88 c iter 310 time 3.61145 not-muc 6159 unknown 522 muc 242
3.79/3.88 c iter 311 time 3.61245 not-muc 6160 unknown 521 muc 242
3.79/3.88 c iter 312 time 3.61345 not-muc 6160 unknown 520 muc 243
3.79/3.88 c iter 313 time 3.61445 not-muc 6161 unknown 519 muc 243
3.79/3.88 c iter 314 time 3.61545 not-muc 6161 unknown 518 muc 244
3.79/3.88 c iter 315 time 3.61545 not-muc 6161 unknown 517 muc 245
3.79/3.88 c iter 316 time 3.61645 not-muc 6161 unknown 516 muc 246
3.79/3.88 c iter 317 time 3.61645 not-muc 6161 unknown 515 muc 247
3.79/3.88 c iter 318 time 3.61745 not-muc 6161 unknown 514 muc 248
3.79/3.88 c iter 319 time 3.61745 not-muc 6161 unknown 513 muc 249
3.79/3.88 c iter 320 time 3.61845 not-muc 6161 unknown 512 muc 250
3.79/3.88 c iter 321 time 3.61845 not-muc 6161 unknown 511 muc 251
3.79/3.88 c iter 322 time 3.61945 not-muc 6161 unknown 510 muc 252
3.79/3.88 c iter 323 time 3.61945 not-muc 6161 unknown 509 muc 253
3.79/3.88 c iter 324 time 3.62145 not-muc 6161 unknown 508 muc 254
3.79/3.88 c iter 325 time 3.62345 not-muc 6161 unknown 507 muc 255
3.79/3.88 c iter 326 time 3.66344 not-muc 6162 unknown 506 muc 255
3.79/3.88 c iter 327 time 3.66444 not-muc 6162 unknown 505 muc 256
3.79/3.88 c iter 328 time 3.66744 not-muc 6163 unknown 504 muc 256
3.79/3.88 c iter 329 time 3.66844 not-muc 6163 unknown 503 muc 257
3.79/3.88 c iter 330 time 3.69544 not-muc 6163 unknown 502 muc 258
3.79/3.88 c iter 331 time 3.73843 not-muc 6164 unknown 501 muc 258
3.79/3.88 c iter 332 time 3.73943 not-muc 6164 unknown 500 muc 259
3.79/3.88 c iter 333 time 3.74043 not-muc 6164 unknown 499 muc 260
3.79/3.88 c iter 334 time 3.74243 not-muc 6164 unknown 498 muc 261
3.79/3.88 c iter 335 time 3.74243 not-muc 6164 unknown 497 muc 262
3.79/3.88 c iter 336 time 3.74543 not-muc 6164 unknown 496 muc 263
3.79/3.88 c iter 337 time 3.74643 not-muc 6164 unknown 495 muc 264
3.79/3.88 c iter 338 time 3.74643 not-muc 6164 unknown 494 muc 265
3.79/3.88 c iter 339 time 3.75343 not-muc 6164 unknown 493 muc 266
3.79/3.88 c iter 340 time 3.80042 not-muc 6165 unknown 492 muc 266
3.79/3.88 c iter 341 time 3.81042 not-muc 6165 unknown 491 muc 267
3.79/3.88 c iter 342 time 3.81142 not-muc 6165 unknown 490 muc 268
3.79/3.88 c iter 343 time 3.82042 not-muc 6166 unknown 489 muc 268
3.79/3.88 c iter 344 time 3.82142 not-muc 6166 unknown 488 muc 269
3.79/3.88 c iter 345 time 3.82542 not-muc 6166 unknown 487 muc 270
3.79/3.88 c iter 346 time 3.83242 not-muc 6167 unknown 486 muc 270
3.79/3.88 c iter 347 time 3.83842 not-muc 6167 unknown 485 muc 271
3.79/3.88 c iter 348 time 3.83942 not-muc 6167 unknown 484 muc 272
3.79/3.88 c iter 349 time 3.84442 not-muc 6168 unknown 483 muc 272
3.79/3.88 c iter 350 time 3.84941 not-muc 6169 unknown 482 muc 272
3.79/3.88 c iter 351 time 3.85141 not-muc 6169 unknown 481 muc 273
3.79/3.88 c iter 352 time 3.85141 not-muc 6169 unknown 480 muc 274
3.79/3.88 c iter 353 time 3.85241 not-muc 6171 unknown 478 muc 274
3.79/3.88 c iter 354 time 3.85341 not-muc 6171 unknown 477 muc 275
3.79/3.88 c iter 355 time 3.85541 not-muc 6171 unknown 476 muc 276
3.79/3.88 c iter 356 time 3.85541 not-muc 6171 unknown 475 muc 277
3.79/3.88 c iter 357 time 3.85641 not-muc 6171 unknown 474 muc 278
3.79/3.88 c iter 358 time 3.85641 not-muc 6171 unknown 473 muc 279
3.79/3.88 c iter 359 time 3.85841 not-muc 6172 unknown 472 muc 279
3.79/3.88 c iter 360 time 3.86041 not-muc 6172 unknown 471 muc 280
3.79/3.88 c iter 361 time 3.86441 not-muc 6172 unknown 470 muc 281
3.79/3.88 c iter 362 time 3.86541 not-muc 6172 unknown 469 muc 282
4.09/4.17 c iter 363 time 3.86841 not-muc 6172 unknown 468 muc 283
4.09/4.17 c iter 364 time 3.88341 not-muc 6173 unknown 467 muc 283
4.09/4.17 c iter 365 time 3.88441 not-muc 6174 unknown 466 muc 283
4.09/4.17 c iter 366 time 3.88441 not-muc 6174 unknown 465 muc 284
4.09/4.17 c iter 367 time 3.88541 not-muc 6174 unknown 464 muc 285
4.09/4.17 c iter 368 time 3.88541 not-muc 6174 unknown 463 muc 286
4.09/4.17 c iter 369 time 3.9464 not-muc 6175 unknown 462 muc 286
4.09/4.17 c iter 370 time 3.9544 not-muc 6176 unknown 461 muc 286
4.09/4.17 c iter 371 time 3.9554 not-muc 6176 unknown 460 muc 287
4.09/4.17 c iter 372 time 3.9564 not-muc 6176 unknown 459 muc 288
4.09/4.17 c iter 373 time 3.9604 not-muc 6176 unknown 458 muc 289
4.09/4.17 c iter 374 time 3.9664 not-muc 6176 unknown 457 muc 290
4.09/4.17 c iter 375 time 3.9764 not-muc 6176 unknown 456 muc 291
4.09/4.17 c iter 376 time 3.9774 not-muc 6176 unknown 455 muc 292
4.09/4.17 c iter 377 time 3.97839 not-muc 6176 unknown 454 muc 293
4.09/4.17 c iter 378 time 3.97839 not-muc 6176 unknown 453 muc 294
4.09/4.17 c iter 379 time 3.9794 not-muc 6176 unknown 452 muc 295
4.09/4.17 c iter 380 time 3.9794 not-muc 6176 unknown 451 muc 296
4.09/4.17 c iter 381 time 3.98339 not-muc 6176 unknown 450 muc 297
4.09/4.17 c iter 382 time 3.98439 not-muc 6176 unknown 449 muc 298
4.09/4.17 c iter 383 time 3.98439 not-muc 6176 unknown 448 muc 299
4.09/4.17 c iter 384 time 3.98639 not-muc 6176 unknown 447 muc 300
4.09/4.17 c iter 385 time 3.98839 not-muc 6176 unknown 446 muc 301
4.09/4.17 c iter 386 time 3.99539 not-muc 6176 unknown 445 muc 302
4.09/4.17 c iter 387 time 3.99539 not-muc 6176 unknown 444 muc 303
4.09/4.17 c iter 388 time 4.00539 not-muc 6176 unknown 443 muc 304
4.09/4.17 c iter 389 time 4.00539 not-muc 6176 unknown 442 muc 305
4.09/4.17 c iter 390 time 4.00839 not-muc 6176 unknown 441 muc 306
4.09/4.17 c iter 391 time 4.00939 not-muc 6176 unknown 440 muc 307
4.09/4.17 c iter 392 time 4.01039 not-muc 6176 unknown 439 muc 308
4.09/4.17 c iter 393 time 4.01139 not-muc 6176 unknown 438 muc 309
4.09/4.17 c iter 394 time 4.01239 not-muc 6176 unknown 437 muc 310
4.09/4.17 c iter 395 time 4.01439 not-muc 6176 unknown 436 muc 311
4.09/4.17 c iter 396 time 4.01539 not-muc 6176 unknown 435 muc 312
4.09/4.17 c iter 397 time 4.01639 not-muc 6176 unknown 434 muc 313
4.09/4.17 c iter 398 time 4.01639 not-muc 6176 unknown 433 muc 314
4.09/4.17 c iter 399 time 4.01839 not-muc 6176 unknown 432 muc 315
4.09/4.17 c iter 400 time 4.01939 not-muc 6176 unknown 431 muc 316
4.09/4.17 c iter 401 time 4.02539 not-muc 6176 unknown 430 muc 317
4.09/4.17 c iter 402 time 4.02639 not-muc 6176 unknown 429 muc 318
4.09/4.17 c iter 403 time 4.02639 not-muc 6176 unknown 428 muc 319
4.09/4.17 c iter 404 time 4.02739 not-muc 6176 unknown 427 muc 320
4.09/4.17 c iter 405 time 4.03039 not-muc 6176 unknown 426 muc 321
4.09/4.17 c iter 406 time 4.03339 not-muc 6176 unknown 425 muc 322
4.09/4.17 c iter 407 time 4.03439 not-muc 6176 unknown 424 muc 323
4.09/4.17 c iter 408 time 4.03539 not-muc 6176 unknown 423 muc 324
4.09/4.17 c iter 409 time 4.03639 not-muc 6176 unknown 422 muc 325
4.09/4.17 c iter 410 time 4.04338 not-muc 6176 unknown 421 muc 326
4.09/4.17 c iter 411 time 4.04538 not-muc 6176 unknown 420 muc 327
4.09/4.17 c iter 412 time 4.04638 not-muc 6176 unknown 419 muc 328
4.09/4.17 c iter 413 time 4.04738 not-muc 6176 unknown 418 muc 329
4.09/4.17 c iter 414 time 4.04938 not-muc 6176 unknown 417 muc 330
4.09/4.17 c iter 415 time 4.05638 not-muc 6176 unknown 416 muc 331
4.09/4.17 c iter 416 time 4.05838 not-muc 6176 unknown 415 muc 332
4.09/4.17 c iter 417 time 4.06138 not-muc 6176 unknown 414 muc 333
4.09/4.17 c iter 418 time 4.06238 not-muc 6176 unknown 413 muc 334
4.09/4.17 c iter 419 time 4.06338 not-muc 6176 unknown 412 muc 335
4.09/4.17 c iter 420 time 4.06538 not-muc 6176 unknown 411 muc 336
4.09/4.17 c iter 421 time 4.07738 not-muc 6177 unknown 410 muc 336
4.09/4.17 c iter 422 time 4.07938 not-muc 6177 unknown 409 muc 337
4.09/4.17 c iter 423 time 4.08038 not-muc 6177 unknown 408 muc 338
4.09/4.17 c iter 424 time 4.08438 not-muc 6177 unknown 407 muc 339
4.09/4.17 c iter 425 time 4.08538 not-muc 6177 unknown 406 muc 340
4.09/4.17 c iter 426 time 4.08638 not-muc 6177 unknown 405 muc 341
4.09/4.17 c iter 427 time 4.08738 not-muc 6177 unknown 404 muc 342
4.09/4.17 c iter 428 time 4.10438 not-muc 6177 unknown 403 muc 343
4.09/4.17 c iter 429 time 4.10637 not-muc 6177 unknown 402 muc 344
4.09/4.17 c iter 430 time 4.14137 not-muc 6178 unknown 401 muc 344
4.09/4.17 c iter 431 time 4.14137 not-muc 6178 unknown 400 muc 345
4.09/4.17 c iter 432 time 4.14437 not-muc 6178 unknown 399 muc 346
4.09/4.17 c iter 433 time 4.14637 not-muc 6178 unknown 398 muc 347
4.09/4.17 c iter 434 time 4.16237 not-muc 6178 unknown 397 muc 348
4.40/4.49 c iter 435 time 4.16437 not-muc 6178 unknown 396 muc 349
4.40/4.49 c iter 436 time 4.16637 not-muc 6178 unknown 395 muc 350
4.40/4.49 c iter 437 time 4.16837 not-muc 6178 unknown 394 muc 351
4.40/4.49 c iter 438 time 4.16937 not-muc 6178 unknown 393 muc 352
4.40/4.49 c iter 439 time 4.17636 not-muc 6178 unknown 392 muc 353
4.40/4.49 c iter 440 time 4.17736 not-muc 6178 unknown 391 muc 354
4.40/4.49 c iter 441 time 4.20036 not-muc 6179 unknown 390 muc 354
4.40/4.49 c iter 442 time 4.20136 not-muc 6179 unknown 389 muc 355
4.40/4.49 c iter 443 time 4.20136 not-muc 6179 unknown 388 muc 356
4.40/4.49 c iter 444 time 4.20236 not-muc 6179 unknown 387 muc 357
4.40/4.49 c iter 445 time 4.20636 not-muc 6179 unknown 386 muc 358
4.40/4.49 c iter 446 time 4.20836 not-muc 6179 unknown 385 muc 359
4.40/4.49 c iter 447 time 4.20936 not-muc 6179 unknown 384 muc 360
4.40/4.49 c iter 448 time 4.20936 not-muc 6179 unknown 383 muc 361
4.40/4.49 c iter 449 time 4.21036 not-muc 6179 unknown 382 muc 362
4.40/4.49 c iter 450 time 4.21236 not-muc 6179 unknown 381 muc 363
4.40/4.49 c iter 451 time 4.23036 not-muc 6180 unknown 380 muc 363
4.40/4.49 c iter 452 time 4.25135 not-muc 6181 unknown 379 muc 363
4.40/4.49 c iter 453 time 4.25235 not-muc 6181 unknown 378 muc 364
4.40/4.49 c iter 454 time 4.25235 not-muc 6181 unknown 377 muc 365
4.40/4.49 c iter 455 time 4.25335 not-muc 6181 unknown 376 muc 366
4.40/4.49 c iter 456 time 4.25835 not-muc 6181 unknown 375 muc 367
4.40/4.49 c iter 457 time 4.25835 not-muc 6181 unknown 374 muc 368
4.40/4.49 c iter 458 time 4.25935 not-muc 6181 unknown 373 muc 369
4.40/4.49 c iter 459 time 4.26635 not-muc 6181 unknown 372 muc 370
4.40/4.49 c iter 460 time 4.26735 not-muc 6181 unknown 371 muc 371
4.40/4.49 c iter 461 time 4.29035 not-muc 6182 unknown 370 muc 371
4.40/4.49 c iter 462 time 4.29235 not-muc 6182 unknown 369 muc 372
4.40/4.49 c iter 463 time 4.29335 not-muc 6182 unknown 368 muc 373
4.40/4.49 c iter 464 time 4.29435 not-muc 6182 unknown 367 muc 374
4.40/4.49 c iter 465 time 4.29535 not-muc 6182 unknown 366 muc 375
4.40/4.49 c iter 466 time 4.29535 not-muc 6182 unknown 365 muc 376
4.40/4.49 c iter 467 time 4.29835 not-muc 6182 unknown 364 muc 377
4.40/4.49 c iter 468 time 4.29935 not-muc 6182 unknown 363 muc 378
4.40/4.49 c iter 469 time 4.30135 not-muc 6182 unknown 362 muc 379
4.40/4.49 c iter 470 time 4.31234 not-muc 6183 unknown 361 muc 379
4.40/4.49 c iter 471 time 4.31434 not-muc 6183 unknown 360 muc 380
4.40/4.49 c iter 472 time 4.31634 not-muc 6183 unknown 359 muc 381
4.40/4.49 c iter 473 time 4.31834 not-muc 6183 unknown 358 muc 382
4.40/4.49 c iter 474 time 4.31934 not-muc 6183 unknown 357 muc 383
4.40/4.49 c iter 475 time 4.31934 not-muc 6183 unknown 356 muc 384
4.40/4.49 c iter 476 time 4.32034 not-muc 6183 unknown 355 muc 385
4.40/4.49 c iter 477 time 4.32034 not-muc 6183 unknown 354 muc 386
4.40/4.49 c iter 478 time 4.33034 not-muc 6183 unknown 353 muc 387
4.40/4.49 c iter 479 time 4.33134 not-muc 6183 unknown 352 muc 388
4.40/4.49 c iter 480 time 4.38533 not-muc 6184 unknown 351 muc 388
4.40/4.49 c iter 481 time 4.41233 not-muc 6186 unknown 349 muc 388
4.40/4.49 c iter 482 time 4.41333 not-muc 6186 unknown 348 muc 389
4.40/4.49 c iter 483 time 4.41333 not-muc 6186 unknown 347 muc 390
4.40/4.49 c iter 484 time 4.41433 not-muc 6186 unknown 346 muc 391
4.40/4.49 c iter 485 time 4.41533 not-muc 6186 unknown 345 muc 392
4.40/4.49 c iter 486 time 4.41833 not-muc 6186 unknown 344 muc 393
4.40/4.49 c iter 487 time 4.41933 not-muc 6186 unknown 343 muc 394
4.40/4.49 c iter 488 time 4.42933 not-muc 6186 unknown 342 muc 395
4.40/4.49 c iter 489 time 4.43033 not-muc 6186 unknown 341 muc 396
4.40/4.49 c iter 490 time 4.43133 not-muc 6186 unknown 340 muc 397
4.40/4.49 c iter 491 time 4.44432 not-muc 6186 unknown 339 muc 398
4.40/4.49 c iter 492 time 4.44432 not-muc 6186 unknown 338 muc 399
4.40/4.49 c iter 493 time 4.45132 not-muc 6186 unknown 337 muc 400
4.40/4.49 c iter 494 time 4.45432 not-muc 6186 unknown 336 muc 401
4.40/4.49 c iter 495 time 4.47232 not-muc 6187 unknown 335 muc 401
4.40/4.49 c iter 496 time 4.47232 not-muc 6187 unknown 334 muc 402
4.40/4.49 c iter 497 time 4.47332 not-muc 6187 unknown 333 muc 403
4.40/4.49 c iter 498 time 4.47332 not-muc 6187 unknown 332 muc 404
4.40/4.49 c iter 499 time 4.47532 not-muc 6187 unknown 331 muc 405
4.40/4.49 c iter 500 time 4.47632 not-muc 6187 unknown 330 muc 406
4.40/4.49 c iter 501 time 4.47732 not-muc 6187 unknown 329 muc 407
4.40/4.49 c iter 502 time 4.47732 not-muc 6187 unknown 328 muc 408
4.40/4.49 c iter 503 time 4.47832 not-muc 6187 unknown 327 muc 409
4.40/4.49 c iter 504 time 4.47932 not-muc 6187 unknown 326 muc 410
4.40/4.49 c iter 505 time 4.47932 not-muc 6187 unknown 325 muc 411
4.40/4.49 c iter 506 time 4.48132 not-muc 6187 unknown 324 muc 412
4.89/4.96 c iter 507 time 4.48232 not-muc 6187 unknown 323 muc 413
4.89/4.96 c iter 508 time 4.48332 not-muc 6187 unknown 322 muc 414
4.89/4.96 c iter 509 time 4.48432 not-muc 6187 unknown 321 muc 415
4.89/4.96 c iter 510 time 4.48732 not-muc 6187 unknown 320 muc 416
4.89/4.96 c iter 511 time 4.48832 not-muc 6187 unknown 319 muc 417
4.89/4.96 c iter 512 time 4.48932 not-muc 6187 unknown 318 muc 418
4.89/4.96 c iter 513 time 4.48932 not-muc 6187 unknown 317 muc 419
4.89/4.96 c iter 514 time 4.49132 not-muc 6187 unknown 316 muc 420
4.89/4.96 c iter 515 time 4.49132 not-muc 6187 unknown 315 muc 421
4.89/4.96 c iter 516 time 4.49232 not-muc 6187 unknown 314 muc 422
4.89/4.96 c iter 517 time 4.49332 not-muc 6187 unknown 313 muc 423
4.89/4.96 c iter 518 time 4.49332 not-muc 6187 unknown 312 muc 424
4.89/4.96 c iter 519 time 4.49732 not-muc 6187 unknown 311 muc 425
4.89/4.96 c iter 520 time 4.49732 not-muc 6187 unknown 310 muc 426
4.89/4.96 c iter 521 time 4.49832 not-muc 6187 unknown 309 muc 427
4.89/4.96 c iter 522 time 4.49932 not-muc 6187 unknown 308 muc 428
4.89/4.96 c iter 523 time 4.50031 not-muc 6187 unknown 307 muc 429
4.89/4.96 c iter 524 time 4.50232 not-muc 6187 unknown 306 muc 430
4.89/4.96 c iter 525 time 4.50232 not-muc 6187 unknown 305 muc 431
4.89/4.96 c iter 526 time 4.50331 not-muc 6187 unknown 304 muc 432
4.89/4.96 c iter 527 time 4.50432 not-muc 6187 unknown 303 muc 433
4.89/4.96 c iter 528 time 4.50531 not-muc 6187 unknown 302 muc 434
4.89/4.96 c iter 529 time 4.50531 not-muc 6187 unknown 301 muc 435
4.89/4.96 c iter 530 time 4.50831 not-muc 6187 unknown 300 muc 436
4.89/4.96 c iter 531 time 4.50931 not-muc 6187 unknown 299 muc 437
4.89/4.96 c iter 532 time 4.51131 not-muc 6187 unknown 298 muc 438
4.89/4.96 c iter 533 time 4.51231 not-muc 6187 unknown 297 muc 439
4.89/4.96 c iter 534 time 4.51531 not-muc 6187 unknown 296 muc 440
4.89/4.96 c iter 535 time 4.51531 not-muc 6187 unknown 295 muc 441
4.89/4.96 c iter 536 time 4.51731 not-muc 6187 unknown 294 muc 442
4.89/4.96 c iter 537 time 4.51731 not-muc 6187 unknown 293 muc 443
4.89/4.96 c iter 538 time 4.52731 not-muc 6188 unknown 292 muc 443
4.89/4.96 c iter 539 time 4.53031 not-muc 6188 unknown 291 muc 444
4.89/4.96 c iter 540 time 4.53131 not-muc 6188 unknown 290 muc 445
4.89/4.96 c iter 541 time 4.5753 not-muc 6189 unknown 289 muc 445
4.89/4.96 c iter 542 time 4.6083 not-muc 6195 unknown 283 muc 445
4.89/4.96 c iter 543 time 4.6263 not-muc 6197 unknown 281 muc 445
4.89/4.96 c iter 544 time 4.6303 not-muc 6199 unknown 279 muc 445
4.89/4.96 c iter 545 time 4.66029 not-muc 6200 unknown 278 muc 445
4.89/4.96 c iter 546 time 4.67629 not-muc 6201 unknown 277 muc 445
4.89/4.96 c iter 547 time 4.68829 not-muc 6203 unknown 275 muc 445
4.89/4.96 c iter 548 time 4.73328 not-muc 6205 unknown 273 muc 445
4.89/4.96 c iter 549 time 4.76828 not-muc 6206 unknown 272 muc 445
4.89/4.96 c iter 550 time 4.77627 not-muc 6208 unknown 270 muc 445
4.89/4.96 c iter 551 time 4.78827 not-muc 6210 unknown 268 muc 445
4.89/4.96 c iter 552 time 4.78927 not-muc 6210 unknown 267 muc 446
4.89/4.96 c iter 553 time 4.78927 not-muc 6210 unknown 266 muc 447
4.89/4.96 c iter 554 time 4.83026 not-muc 6212 unknown 264 muc 447
4.89/4.96 c iter 555 time 4.83026 not-muc 6212 unknown 263 muc 448
4.89/4.96 c iter 556 time 4.83127 not-muc 6212 unknown 262 muc 449
4.89/4.96 c iter 557 time 4.84126 not-muc 6212 unknown 261 muc 450
4.89/4.96 c iter 558 time 4.86726 not-muc 6214 unknown 259 muc 450
4.89/4.96 c iter 559 time 4.86826 not-muc 6214 unknown 258 muc 451
4.89/4.96 c iter 560 time 4.86926 not-muc 6214 unknown 257 muc 452
4.89/4.96 c iter 561 time 4.87226 not-muc 6214 unknown 256 muc 453
4.89/4.96 c iter 562 time 4.89326 not-muc 6215 unknown 255 muc 453
4.89/4.96 c iter 563 time 4.89426 not-muc 6215 unknown 254 muc 454
4.89/4.96 c iter 564 time 4.89726 not-muc 6215 unknown 253 muc 455
4.89/4.96 c iter 565 time 4.89726 not-muc 6215 unknown 252 muc 456
4.89/4.96 c iter 566 time 4.89825 not-muc 6215 unknown 251 muc 457
4.89/4.96 c iter 567 time 4.89926 not-muc 6215 unknown 250 muc 458
4.89/4.96 c iter 568 time 4.89926 not-muc 6215 unknown 249 muc 459
4.89/4.96 c iter 569 time 4.90225 not-muc 6215 unknown 248 muc 460
4.89/4.96 c iter 570 time 4.90225 not-muc 6215 unknown 247 muc 461
4.89/4.96 c iter 571 time 4.90325 not-muc 6215 unknown 246 muc 462
4.89/4.96 c iter 572 time 4.90425 not-muc 6215 unknown 245 muc 463
4.89/4.96 c iter 573 time 4.90425 not-muc 6215 unknown 244 muc 464
4.89/4.96 c iter 574 time 4.90525 not-muc 6215 unknown 243 muc 465
4.89/4.96 c iter 575 time 4.92625 not-muc 6215 unknown 242 muc 466
4.89/4.96 c iter 576 time 4.94725 not-muc 6215 unknown 241 muc 467
4.89/4.96 c iter 577 time 4.94925 not-muc 6215 unknown 240 muc 468
4.89/4.96 c iter 578 time 4.95025 not-muc 6215 unknown 239 muc 469
4.99/5.09 c iter 579 time 4.95125 not-muc 6215 unknown 238 muc 470
4.99/5.09 c iter 580 time 4.95425 not-muc 6215 unknown 237 muc 471
4.99/5.09 c iter 581 time 4.95525 not-muc 6215 unknown 236 muc 472
4.99/5.09 c iter 582 time 4.95725 not-muc 6215 unknown 235 muc 473
4.99/5.09 c iter 583 time 4.95725 not-muc 6215 unknown 234 muc 474
4.99/5.09 c iter 584 time 4.95925 not-muc 6215 unknown 233 muc 475
4.99/5.09 c iter 585 time 4.95925 not-muc 6215 unknown 232 muc 476
4.99/5.09 c iter 586 time 4.96025 not-muc 6215 unknown 231 muc 477
4.99/5.09 c iter 587 time 4.98024 not-muc 6216 unknown 230 muc 477
4.99/5.09 c iter 588 time 4.98124 not-muc 6216 unknown 229 muc 478
4.99/5.09 c iter 589 time 4.98124 not-muc 6216 unknown 228 muc 479
4.99/5.09 c iter 590 time 4.98224 not-muc 6216 unknown 227 muc 480
4.99/5.09 c iter 591 time 4.98324 not-muc 6216 unknown 226 muc 481
4.99/5.09 c iter 592 time 4.98324 not-muc 6216 unknown 225 muc 482
4.99/5.09 c iter 593 time 4.98424 not-muc 6216 unknown 224 muc 483
4.99/5.09 c iter 594 time 4.98424 not-muc 6216 unknown 223 muc 484
4.99/5.09 c iter 595 time 4.98524 not-muc 6216 unknown 222 muc 485
4.99/5.09 c iter 596 time 4.98924 not-muc 6216 unknown 221 muc 486
4.99/5.09 c iter 597 time 4.99024 not-muc 6216 unknown 220 muc 487
4.99/5.09 c iter 598 time 4.99024 not-muc 6216 unknown 219 muc 488
4.99/5.09 c iter 599 time 4.99224 not-muc 6216 unknown 218 muc 489
4.99/5.09 c iter 600 time 4.99224 not-muc 6216 unknown 217 muc 490
4.99/5.09 c iter 601 time 4.99624 not-muc 6216 unknown 216 muc 491
4.99/5.09 c iter 602 time 4.99624 not-muc 6216 unknown 215 muc 492
4.99/5.09 c iter 603 time 4.99824 not-muc 6216 unknown 214 muc 493
4.99/5.09 c iter 604 time 4.99924 not-muc 6216 unknown 213 muc 494
4.99/5.09 c iter 605 time 5.00124 not-muc 6216 unknown 212 muc 495
4.99/5.09 c iter 606 time 5.00524 not-muc 6216 unknown 211 muc 496
4.99/5.09 c iter 607 time 5.00524 not-muc 6216 unknown 210 muc 497
4.99/5.09 c iter 608 time 5.00624 not-muc 6216 unknown 209 muc 498
4.99/5.09 c iter 609 time 5.00724 not-muc 6216 unknown 208 muc 499
4.99/5.09 c iter 610 time 5.00824 not-muc 6216 unknown 207 muc 500
4.99/5.09 c iter 611 time 5.00924 not-muc 6216 unknown 206 muc 501
4.99/5.09 c iter 612 time 5.01124 not-muc 6216 unknown 205 muc 502
4.99/5.09 c iter 613 time 5.01124 not-muc 6216 unknown 204 muc 503
4.99/5.09 c iter 614 time 5.01224 not-muc 6216 unknown 203 muc 504
4.99/5.09 c iter 615 time 5.01324 not-muc 6216 unknown 202 muc 505
4.99/5.09 c iter 616 time 5.01524 not-muc 6216 unknown 201 muc 506
4.99/5.09 c iter 617 time 5.02024 not-muc 6216 unknown 200 muc 507
4.99/5.09 c iter 618 time 5.02823 not-muc 6216 unknown 199 muc 508
4.99/5.09 c iter 619 time 5.03024 not-muc 6216 unknown 198 muc 509
4.99/5.09 c iter 620 time 5.03123 not-muc 6216 unknown 197 muc 510
4.99/5.09 c iter 621 time 5.03223 not-muc 6216 unknown 196 muc 511
4.99/5.09 c iter 622 time 5.03223 not-muc 6216 unknown 195 muc 512
4.99/5.09 c iter 623 time 5.03723 not-muc 6216 unknown 194 muc 513
4.99/5.09 c iter 624 time 5.03823 not-muc 6216 unknown 193 muc 514
4.99/5.09 c iter 625 time 5.03923 not-muc 6216 unknown 192 muc 515
4.99/5.09 c iter 626 time 5.04223 not-muc 6216 unknown 191 muc 516
4.99/5.09 c iter 627 time 5.04323 not-muc 6216 unknown 190 muc 517
4.99/5.09 c iter 628 time 5.04423 not-muc 6216 unknown 189 muc 518
4.99/5.09 c iter 629 time 5.04523 not-muc 6216 unknown 188 muc 519
4.99/5.09 c iter 630 time 5.04823 not-muc 6216 unknown 187 muc 520
4.99/5.09 c iter 631 time 5.05023 not-muc 6216 unknown 186 muc 521
4.99/5.09 c iter 632 time 5.05123 not-muc 6216 unknown 185 muc 522
4.99/5.09 c iter 633 time 5.05223 not-muc 6216 unknown 184 muc 523
4.99/5.09 c iter 634 time 5.05723 not-muc 6217 unknown 183 muc 523
4.99/5.09 c iter 635 time 5.05823 not-muc 6217 unknown 182 muc 524
4.99/5.09 c iter 636 time 5.05823 not-muc 6217 unknown 181 muc 525
4.99/5.09 c iter 637 time 5.06723 not-muc 6218 unknown 180 muc 525
4.99/5.09 c iter 638 time 5.07023 not-muc 6218 unknown 179 muc 526
4.99/5.09 c iter 639 time 5.07123 not-muc 6218 unknown 178 muc 527
4.99/5.09 c iter 640 time 5.07123 not-muc 6218 unknown 177 muc 528
4.99/5.09 c iter 641 time 5.07223 not-muc 6218 unknown 176 muc 529
4.99/5.09 c iter 642 time 5.07223 not-muc 6218 unknown 175 muc 530
4.99/5.09 c iter 643 time 5.07323 not-muc 6218 unknown 174 muc 531
4.99/5.09 c iter 644 time 5.07423 not-muc 6218 unknown 173 muc 532
4.99/5.09 c iter 645 time 5.07523 not-muc 6218 unknown 172 muc 533
4.99/5.09 c iter 646 time 5.07523 not-muc 6218 unknown 171 muc 534
4.99/5.09 c iter 647 time 5.07623 not-muc 6218 unknown 170 muc 535
4.99/5.09 c iter 648 time 5.07723 not-muc 6218 unknown 169 muc 536
4.99/5.09 c iter 649 time 5.07723 not-muc 6218 unknown 168 muc 537
4.99/5.09 c iter 650 time 5.07823 not-muc 6218 unknown 167 muc 538
5.29/5.34 c iter 651 time 5.08023 not-muc 6218 unknown 166 muc 539
5.29/5.34 c iter 652 time 5.08223 not-muc 6218 unknown 165 muc 540
5.29/5.34 c iter 653 time 5.08423 not-muc 6218 unknown 164 muc 541
5.29/5.34 c iter 654 time 5.08523 not-muc 6218 unknown 163 muc 542
5.29/5.34 c iter 655 time 5.08823 not-muc 6218 unknown 162 muc 543
5.29/5.34 c iter 656 time 5.12122 not-muc 6219 unknown 161 muc 543
5.29/5.34 c iter 657 time 5.12122 not-muc 6219 unknown 160 muc 544
5.29/5.34 c iter 658 time 5.12322 not-muc 6219 unknown 159 muc 545
5.29/5.34 c iter 659 time 5.12422 not-muc 6219 unknown 158 muc 546
5.29/5.34 c iter 660 time 5.14622 not-muc 6221 unknown 156 muc 546
5.29/5.34 c iter 661 time 5.14622 not-muc 6221 unknown 155 muc 547
5.29/5.34 c iter 662 time 5.16221 not-muc 6223 unknown 153 muc 547
5.29/5.34 c iter 663 time 5.16221 not-muc 6223 unknown 152 muc 548
5.29/5.34 c iter 664 time 5.18821 not-muc 6225 unknown 150 muc 548
5.29/5.34 c iter 665 time 5.20421 not-muc 6227 unknown 148 muc 548
5.29/5.34 c iter 666 time 5.20421 not-muc 6227 unknown 147 muc 549
5.29/5.34 c iter 667 time 5.21121 not-muc 6228 unknown 146 muc 549
5.29/5.34 c iter 668 time 5.21221 not-muc 6228 unknown 145 muc 550
5.29/5.34 c iter 669 time 5.21221 not-muc 6228 unknown 144 muc 551
5.29/5.34 c iter 670 time 5.22621 not-muc 6228 unknown 143 muc 552
5.29/5.34 c iter 671 time 5.2312 not-muc 6228 unknown 142 muc 553
5.29/5.34 c iter 672 time 5.2512 not-muc 6229 unknown 141 muc 553
5.29/5.34 c iter 673 time 5.2522 not-muc 6229 unknown 140 muc 554
5.29/5.34 c iter 674 time 5.2542 not-muc 6229 unknown 139 muc 555
5.29/5.34 c iter 675 time 5.2552 not-muc 6229 unknown 138 muc 556
5.29/5.34 c iter 676 time 5.2562 not-muc 6229 unknown 137 muc 557
5.29/5.34 c iter 677 time 5.2562 not-muc 6229 unknown 136 muc 558
5.29/5.34 c iter 678 time 5.2622 not-muc 6229 unknown 135 muc 559
5.29/5.34 c iter 679 time 5.2642 not-muc 6229 unknown 134 muc 560
5.29/5.34 c iter 680 time 5.2662 not-muc 6229 unknown 133 muc 561
5.29/5.34 c iter 681 time 5.2702 not-muc 6229 unknown 132 muc 562
5.29/5.34 c iter 682 time 5.2702 not-muc 6229 unknown 131 muc 563
5.29/5.34 c iter 683 time 5.2702 not-muc 6229 unknown 130 muc 564
5.29/5.34 c iter 684 time 5.2712 not-muc 6229 unknown 129 muc 565
5.29/5.34 c iter 685 time 5.2712 not-muc 6229 unknown 128 muc 566
5.29/5.34 c iter 686 time 5.2722 not-muc 6229 unknown 127 muc 567
5.29/5.34 c iter 687 time 5.2732 not-muc 6229 unknown 126 muc 568
5.29/5.34 c iter 688 time 5.2742 not-muc 6229 unknown 125 muc 569
5.29/5.34 c iter 689 time 5.2752 not-muc 6229 unknown 124 muc 570
5.29/5.34 c iter 690 time 5.2802 not-muc 6229 unknown 123 muc 571
5.29/5.34 c iter 691 time 5.2802 not-muc 6229 unknown 122 muc 572
5.29/5.34 c iter 692 time 5.2812 not-muc 6229 unknown 121 muc 573
5.29/5.34 c iter 693 time 5.2822 not-muc 6229 unknown 120 muc 574
5.29/5.34 c iter 694 time 5.2822 not-muc 6229 unknown 119 muc 575
5.29/5.34 c iter 695 time 5.2832 not-muc 6229 unknown 118 muc 576
5.29/5.34 c iter 696 time 5.2842 not-muc 6229 unknown 117 muc 577
5.29/5.34 c iter 697 time 5.2842 not-muc 6229 unknown 116 muc 578
5.29/5.34 c iter 698 time 5.2862 not-muc 6229 unknown 115 muc 579
5.29/5.34 c iter 699 time 5.2872 not-muc 6229 unknown 114 muc 580
5.29/5.34 c iter 700 time 5.2872 not-muc 6229 unknown 113 muc 581
5.29/5.34 c iter 701 time 5.2882 not-muc 6229 unknown 112 muc 582
5.29/5.34 c iter 702 time 5.2892 not-muc 6229 unknown 111 muc 583
5.29/5.34 c iter 703 time 5.2892 not-muc 6229 unknown 110 muc 584
5.29/5.34 c iter 704 time 5.29019 not-muc 6229 unknown 109 muc 585
5.29/5.34 c iter 705 time 5.29019 not-muc 6229 unknown 108 muc 586
5.29/5.34 c iter 706 time 5.2912 not-muc 6229 unknown 107 muc 587
5.29/5.34 c iter 707 time 5.2912 not-muc 6229 unknown 106 muc 588
5.29/5.34 c iter 708 time 5.29219 not-muc 6229 unknown 105 muc 589
5.29/5.34 c iter 709 time 5.29219 not-muc 6229 unknown 104 muc 590
5.29/5.34 c iter 710 time 5.29319 not-muc 6229 unknown 103 muc 591
5.29/5.34 c iter 711 time 5.29519 not-muc 6229 unknown 102 muc 592
5.29/5.34 c iter 712 time 5.29519 not-muc 6229 unknown 101 muc 593
5.29/5.34 c iter 713 time 5.29819 not-muc 6229 unknown 100 muc 594
5.29/5.34 c iter 714 time 5.30419 not-muc 6230 unknown 99 muc 594
5.29/5.34 c iter 715 time 5.30619 not-muc 6232 unknown 97 muc 594
5.29/5.34 c iter 716 time 5.30919 not-muc 6232 unknown 96 muc 595
5.29/5.34 c iter 717 time 5.31019 not-muc 6232 unknown 95 muc 596
5.29/5.34 c iter 718 time 5.31019 not-muc 6232 unknown 94 muc 597
5.29/5.34 c iter 719 time 5.31119 not-muc 6232 unknown 93 muc 598
5.29/5.34 c iter 720 time 5.31219 not-muc 6232 unknown 92 muc 599
5.29/5.34 c iter 721 time 5.32419 not-muc 6232 unknown 91 muc 600
5.29/5.34 c iter 722 time 5.32919 not-muc 6233 unknown 90 muc 600
5.49/5.56 c iter 723 time 5.33019 not-muc 6233 unknown 89 muc 601
5.49/5.56 c iter 724 time 5.33319 not-muc 6233 unknown 88 muc 602
5.49/5.56 c iter 725 time 5.34019 not-muc 6234 unknown 87 muc 602
5.49/5.56 c iter 726 time 5.34119 not-muc 6234 unknown 86 muc 603
5.49/5.56 c iter 727 time 5.34519 not-muc 6236 unknown 84 muc 603
5.49/5.56 c iter 728 time 5.36218 not-muc 6237 unknown 83 muc 603
5.49/5.56 c iter 729 time 5.36318 not-muc 6237 unknown 82 muc 604
5.49/5.56 c iter 730 time 5.36318 not-muc 6237 unknown 81 muc 605
5.49/5.56 c iter 731 time 5.36518 not-muc 6237 unknown 80 muc 606
5.49/5.56 c iter 732 time 5.36718 not-muc 6237 unknown 79 muc 607
5.49/5.56 c iter 733 time 5.36818 not-muc 6237 unknown 78 muc 608
5.49/5.56 c iter 734 time 5.36818 not-muc 6237 unknown 77 muc 609
5.49/5.56 c iter 735 time 5.37018 not-muc 6237 unknown 76 muc 610
5.49/5.56 c iter 736 time 5.37418 not-muc 6237 unknown 75 muc 611
5.49/5.56 c iter 737 time 5.38118 not-muc 6238 unknown 74 muc 611
5.49/5.56 c iter 738 time 5.38218 not-muc 6238 unknown 73 muc 612
5.49/5.56 c iter 739 time 5.38318 not-muc 6238 unknown 72 muc 613
5.49/5.56 c iter 740 time 5.38418 not-muc 6238 unknown 71 muc 614
5.49/5.56 c iter 741 time 5.39018 not-muc 6238 unknown 70 muc 615
5.49/5.56 c iter 742 time 5.39018 not-muc 6238 unknown 69 muc 616
5.49/5.56 c iter 743 time 5.39518 not-muc 6238 unknown 68 muc 617
5.49/5.56 c iter 744 time 5.39518 not-muc 6238 unknown 67 muc 618
5.49/5.56 c iter 745 time 5.39518 not-muc 6238 unknown 66 muc 619
5.49/5.56 c iter 746 time 5.39518 not-muc 6238 unknown 65 muc 620
5.49/5.56 c iter 747 time 5.40718 not-muc 6238 unknown 64 muc 621
5.49/5.56 c iter 748 time 5.40718 not-muc 6238 unknown 63 muc 622
5.49/5.56 c iter 749 time 5.40818 not-muc 6238 unknown 62 muc 623
5.49/5.56 c iter 750 time 5.41418 not-muc 6239 unknown 61 muc 623
5.49/5.56 c iter 751 time 5.41418 not-muc 6239 unknown 60 muc 624
5.49/5.56 c iter 752 time 5.42717 not-muc 6241 unknown 58 muc 624
5.49/5.56 c iter 753 time 5.43417 not-muc 6242 unknown 57 muc 624
5.49/5.56 c iter 754 time 5.43517 not-muc 6242 unknown 56 muc 625
5.49/5.56 c iter 755 time 5.45417 not-muc 6242 unknown 55 muc 626
5.49/5.56 c iter 756 time 5.45517 not-muc 6242 unknown 54 muc 627
5.49/5.56 c iter 757 time 5.45817 not-muc 6242 unknown 53 muc 628
5.49/5.56 c iter 758 time 5.45917 not-muc 6242 unknown 52 muc 629
5.49/5.56 c iter 759 time 5.47617 not-muc 6244 unknown 50 muc 629
5.49/5.56 c iter 760 time 5.48616 not-muc 6245 unknown 49 muc 629
5.49/5.56 c iter 761 time 5.48717 not-muc 6245 unknown 48 muc 630
5.49/5.56 c iter 762 time 5.48817 not-muc 6245 unknown 47 muc 631
5.49/5.56 c iter 763 time 5.49316 not-muc 6247 unknown 45 muc 631
5.49/5.56 c iter 764 time 5.49616 not-muc 6247 unknown 44 muc 632
5.49/5.56 c iter 765 time 5.49716 not-muc 6247 unknown 43 muc 633
5.49/5.56 c iter 766 time 5.50616 not-muc 6249 unknown 41 muc 633
5.49/5.56 c iter 767 time 5.50716 not-muc 6249 unknown 40 muc 634
5.49/5.56 c iter 768 time 5.51016 not-muc 6251 unknown 38 muc 634
5.49/5.56 c iter 769 time 5.51316 not-muc 6251 unknown 37 muc 635
5.49/5.56 c iter 770 time 5.51516 not-muc 6251 unknown 36 muc 636
5.49/5.56 c iter 771 time 5.51616 not-muc 6251 unknown 35 muc 637
5.49/5.56 c iter 772 time 5.51616 not-muc 6251 unknown 34 muc 638
5.49/5.56 c iter 773 time 5.51716 not-muc 6251 unknown 33 muc 639
5.49/5.56 c iter 774 time 5.51716 not-muc 6251 unknown 32 muc 640
5.49/5.56 c iter 775 time 5.51816 not-muc 6251 unknown 31 muc 641
5.49/5.56 c iter 776 time 5.51816 not-muc 6251 unknown 30 muc 642
5.49/5.56 c iter 777 time 5.52416 not-muc 6251 unknown 29 muc 643
5.49/5.56 c iter 778 time 5.52416 not-muc 6251 unknown 28 muc 644
5.49/5.56 c iter 779 time 5.52716 not-muc 6251 unknown 27 muc 645
5.49/5.56 c iter 780 time 5.52816 not-muc 6251 unknown 26 muc 646
5.49/5.56 c iter 781 time 5.52916 not-muc 6251 unknown 25 muc 647
5.49/5.56 c iter 782 time 5.53016 not-muc 6251 unknown 24 muc 648
5.49/5.56 c iter 783 time 5.53416 not-muc 6252 unknown 23 muc 648
5.49/5.56 c iter 784 time 5.53716 not-muc 6252 unknown 22 muc 649
5.49/5.56 c iter 785 time 5.53716 not-muc 6252 unknown 21 muc 650
5.49/5.56 c iter 786 time 5.53716 not-muc 6252 unknown 20 muc 651
5.49/5.56 c iter 787 time 5.53716 not-muc 6252 unknown 19 muc 652
5.49/5.56 c iter 788 time 5.53816 not-muc 6252 unknown 18 muc 653
5.49/5.56 c iter 789 time 5.53916 not-muc 6252 unknown 17 muc 654
5.49/5.56 c iter 790 time 5.53916 not-muc 6252 unknown 16 muc 655
5.49/5.56 c iter 791 time 5.53916 not-muc 6252 unknown 15 muc 656
5.49/5.56 c iter 792 time 5.54016 not-muc 6252 unknown 14 muc 657
5.49/5.56 c iter 793 time 5.54316 not-muc 6252 unknown 13 muc 658
5.49/5.56 c iter 794 time 5.54416 not-muc 6252 unknown 12 muc 659
5.49/5.56 c iter 795 time 5.54416 not-muc 6252 unknown 11 muc 660
5.49/5.56 c iter 796 time 5.54516 not-muc 6252 unknown 10 muc 661
5.49/5.57 c iter 797 time 5.54616 not-muc 6252 unknown 9 muc 662
5.49/5.57 c iter 798 time 5.54616 not-muc 6252 unknown 8 muc 663
5.49/5.57 c iter 799 time 5.55016 not-muc 6254 unknown 6 muc 663
5.49/5.57 c iter 800 time 5.55016 not-muc 6254 unknown 5 muc 664
5.49/5.57 c iter 801 time 5.55116 not-muc 6254 unknown 4 muc 665
5.49/5.57 c iter 802 time 5.55116 not-muc 6254 unknown 3 muc 666
5.49/5.57 c iter 803 time 5.55215 not-muc 6254 unknown 2 muc 667
5.49/5.57 c iter 804 time 5.55215 not-muc 6254 unknown 1 muc 668
5.49/5.57 c final iter 805 time 5.55316 not-muc 6254 unknown 0 muc 669
5.49/5.57 v 18 34 48 60 70 78 84 88 90 101 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 580 581 582 583 584 585 586 588 589 590 591 592 593 594 595 596 597 598 599 601 602 603 604 605 606 607 608 610 611 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 660 661 662 663 664 665 667 668 669 670 671 673 674 675 676 678 679 680 682 683 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 725 726 727 728 729 730 733 734 735 736 737 739 740 741 742 743 744 746 747 748 751 752 754 755 757 758 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 841 842 843 844 845 847 848 849 850 851 852 855 856 857 858 860 861 862 863 865 866 867 869 870 872 874 879 884 885 889 890 897 898 902 903 904 909 910 911 912 913 923 924 932 933 934 938 941 944 945 949 952 955 956 957 2608 2609 2611 2612 2614 2615 2617 2618 2620 2621 2623 2624 2626 2627 2629 2630 2632 2633 2635 2636 2638 2641 2644 2647 2650 2653 2657 2660 2663 2666 2668 2669 2671 2672 2674 2675 2677 2678 2680 2681 2683 2684 2686 2687 2689 2690 2692 2693 2695 2696 2698 2701 2704 2707 2710 2713 2717 2720 2723 2726 2729 2730 2732 2733 2735 2736 2738 2739 2741 2742 2743 2745 2747 2748 2749 2750 2751 2753 2754 2756 2757 3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3043 3044 3045 3046 3047 3048 3049 3050 3051 3052 3053 3054 3055 3056 3087 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3132 3178 3179 3181 3182 3184 3185 3187 3188 3190 3191 3193 3194 3196 3197 3199 3200 3202 3203 3205 3206 3208 3209 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3238 3239 3241 3242 3244 3245 3247 3248 3250 3251 3253 3254 3256 3257 3259 3260 3262 3263 3265 3266 3268 3269 3271 3272 3274 3275 3277 3278 3280 3281 3283 3284 3286 3287 3289 3290 3292 3293 3295 3296 3358 3359 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386 3448 3449 3451 3452 3454 3455 3457 3458 3460 3461 3463 3464 3466 3467 3469 3470 3472 3473 3475 3476 3478 3479 3481 3482 3484 3485 3487 3488 3490 3491 3493 3494 3496 3497 3499 3500 3502 3503 3505 3506 3600 3603 3606 3609 3612 3618 3621 3624 4273 4284 4295 4306 4307 4308 4309 4310 4311 4312 4313 4314 4315 4316 4317 4417 4418 4419 4420 4422 4423 4424 4425 4427 4437 4439 4440 4441 4442 4444 4445 4446 4447 4449 4454 4482 4484 4485 4486 4487 4488 4489 4490 4491 4493 4504 4515 4539 4540 4541 4542 4543 4544 4545 4546 4548 4581 4592 4626 4627 4628 4629 4630 4632 4633 4634 6563 6579 6758 6768 0
5.49/5.57 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-3493961-1307803955/watcher-3493961-1307803955 -o /tmp/evaluation-result-3493961-1307803955/solver-3493961-1307803955 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493961-1307803955.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.95 3.07 4/189 1121
/proc/meminfo: memFree=29035396/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=20456 CPUtime=0 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 610 0 0 0 0 0 0 0 25 0 1 0 891996404 20946944 553 33554432000 4194304 4311632 140734641617376 18446744073709551615 4296990 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 5114 553 218 29 0 1743 0
[startup+0.0687031 s]
/proc/loadavg: 4.00 3.95 3.07 4/189 1121
/proc/meminfo: memFree=29035396/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=17136 CPUtime=0.06 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 1185 0 0 0 6 0 0 0 25 0 1 0 891996404 17547264 1031 33554432000 4194304 4311632 140734641617376 18446744073709551615 270616569079 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 4284 1031 245 29 0 913 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17136
[startup+0.100693 s]
/proc/loadavg: 4.00 3.95 3.07 4/189 1121
/proc/meminfo: memFree=29035396/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=19824 CPUtime=0.09 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 1413 0 0 0 9 0 0 0 25 0 1 0 891996404 20299776 1258 33554432000 4194304 4311632 140734641617376 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 4956 1258 245 29 0 1585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19824
[startup+0.300661 s]
/proc/loadavg: 4.00 3.95 3.07 4/189 1121
/proc/meminfo: memFree=29035396/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=31320 CPUtime=0.29 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 3904 0 0 0 29 0 0 0 25 0 1 0 891996404 32071680 3746 33554432000 4194304 4311632 140734641617376 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 7830 3746 262 29 0 4459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31320
[startup+0.700599 s]
/proc/loadavg: 4.00 3.95 3.07 4/189 1121
/proc/meminfo: memFree=29035396/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=31304 CPUtime=0.69 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 5856 0 0 0 68 1 0 0 25 0 1 0 891996404 32055296 3314 33554432000 4194304 4311632 140734641617376 18446744073709551615 4271553 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 7826 3314 262 29 0 4455 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31304
[startup+1.50045 s]
/proc/loadavg: 4.00 3.95 3.07 5/190 1122
/proc/meminfo: memFree=29046432/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=31304 CPUtime=1.49 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 6076 0 0 0 148 1 0 0 25 0 1 0 891996404 32055296 3533 33554432000 4194304 4311632 140734641617376 18446744073709551615 4264632 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 7826 3533 262 29 0 4455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31304
[startup+3.10016 s]
/proc/loadavg: 4.00 3.95 3.07 5/190 1122
/proc/meminfo: memFree=29024732/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=31304 CPUtime=3.09 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 6219 0 0 0 308 1 0 0 25 0 1 0 891996404 32055296 3676 33554432000 4194304 4311632 140734641617376 18446744073709551615 4271785 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 7826 3676 262 29 0 4455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31304
Solver just ended. Dumping a history of the last processes samples
[startup+4.70088 s]
/proc/loadavg: 4.00 3.95 3.07 6/190 1122
/proc/meminfo: memFree=29064968/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=31304 CPUtime=4.69 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 6697 0 0 0 468 1 0 0 25 0 1 0 891996404 32055296 4150 33554432000 4194304 4311632 140734641617376 18446744073709551615 4271721 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 7826 4150 262 29 0 4455 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 31304
[startup+5.10081 s]
/proc/loadavg: 4.00 3.95 3.07 6/190 1122
/proc/meminfo: memFree=29064968/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=31304 CPUtime=5.09 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 6697 0 0 0 508 1 0 0 25 0 1 0 891996404 32055296 4150 33554432000 4194304 4311632 140734641617376 18446744073709551615 4272338 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 7826 4150 262 29 0 4455 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 31304
[startup+5.50674 s]
/proc/loadavg: 4.00 3.95 3.07 6/190 1122
/proc/meminfo: memFree=28985456/32951124 swapFree=67052292/67111528
[pid=1121] ppid=1119 vsize=31304 CPUtime=5.49 cores=1,3
/proc/1121/stat : 1121 (hmuc-a) R 1119 1121 608 0 -1 4202496 6697 0 0 0 548 1 0 0 25 0 1 0 891996404 32055296 4150 33554432000 4194304 4311632 140734641617376 18446744073709551615 4259434 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/1121/statm: 7826 4150 262 29 0 4455 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 31304
Child status: 20
Real time (s): 5.57272
CPU time (s): 5.56915
CPU user time (s): 5.55415
CPU system time (s): 0.014997
CPU usage (%): 99.9359
Max. virtual memory (cumulated for all children) (KiB): 31320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.55415
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 16
runsolver used 0.011998 second user time and 0.027995 second system time
The end
Begin job on node108 at 2011-06-11 16:52:35
IDJOB=3493961
IDBENCH=83444
IDSOLVER=1983
FILE ID=node108/3493961-1307803955
RUNJOBID= node108-1307802576-628
PBS_JOBID= 13551068
Free space on /tmp= 74088 MiB
SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E13N10.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493961-1307803955/watcher-3493961-1307803955 -o /tmp/evaluation-result-3493961-1307803955/solver-3493961-1307803955 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493961-1307803955.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 24b68353f542825626827e24a24f7240
RANDOM SEED=1998549254
node108.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.820
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.64
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.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
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.77
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.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
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.820
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.820
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29036792 kB
Buffers: 293216 kB
Cached: 802348 kB
SwapCached: 25932 kB
Active: 3105980 kB
Inactive: 589124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29036792 kB
SwapTotal: 67111528 kB
SwapFree: 67052292 kB
Dirty: 552 kB
Writeback: 0 kB
AnonPages: 2594848 kB
Mapped: 9776 kB
Slab: 149096 kB
PageTables: 10668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 3351868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74088 MiB
End job on node108 at 2011-06-11 16:52:40