0.49/0.51 c WARNING: for repeatability, setting FPU to use double precision
0.49/0.51 c iter 1 time 0.131979 not-muc 21103 unknown 2041 muc 0
0.49/0.51 c iter 2 time 0.139978 not-muc 21113 unknown 2031 muc 0
0.49/0.51 c iter 3 time 0.153976 not-muc 21179 unknown 1965 muc 0
0.49/0.51 c iter 4 time 0.177972 not-muc 21336 unknown 1808 muc 0
0.49/0.51 c iter 5 time 0.19697 not-muc 21500 unknown 1644 muc 0
0.49/0.51 c iter 6 time 0.206968 not-muc 21518 unknown 1626 muc 0
0.49/0.51 c iter 7 time 0.209968 not-muc 21521 unknown 1623 muc 0
0.49/0.51 c iter 8 time 0.217966 not-muc 21538 unknown 1606 muc 0
0.49/0.51 c iter 9 time 0.222966 not-muc 21548 unknown 1596 muc 0
0.49/0.51 c iter 10 time 0.229965 not-muc 21555 unknown 1589 muc 0
0.49/0.51 c iter 11 time 0.231964 not-muc 21555 unknown 1588 muc 1
0.49/0.51 c iter 12 time 0.236963 not-muc 21561 unknown 1582 muc 1
0.49/0.51 c iter 13 time 0.245962 not-muc 21561 unknown 1581 muc 2
0.49/0.51 c iter 14 time 0.248962 not-muc 21598 unknown 1544 muc 2
0.49/0.51 c iter 15 time 0.251961 not-muc 21602 unknown 1540 muc 2
0.49/0.51 c iter 16 time 0.25696 not-muc 21611 unknown 1531 muc 2
0.49/0.51 c iter 17 time 0.25996 not-muc 21616 unknown 1526 muc 2
0.49/0.51 c iter 18 time 0.271958 not-muc 21654 unknown 1488 muc 2
0.49/0.51 c iter 19 time 0.277957 not-muc 21675 unknown 1467 muc 2
0.49/0.51 c iter 20 time 0.282956 not-muc 21680 unknown 1462 muc 2
0.49/0.51 c iter 21 time 0.288956 not-muc 21687 unknown 1455 muc 2
0.49/0.51 c iter 22 time 0.295955 not-muc 21703 unknown 1439 muc 2
0.49/0.51 c iter 23 time 0.298954 not-muc 21710 unknown 1432 muc 2
0.49/0.51 c iter 24 time 0.305953 not-muc 21717 unknown 1425 muc 2
0.49/0.51 c iter 25 time 0.309952 not-muc 21740 unknown 1402 muc 2
0.49/0.51 c iter 26 time 0.312952 not-muc 21741 unknown 1401 muc 2
0.49/0.51 c iter 27 time 0.319951 not-muc 21748 unknown 1394 muc 2
0.49/0.51 c iter 28 time 0.32595 not-muc 21765 unknown 1377 muc 2
0.49/0.51 c iter 29 time 0.32795 not-muc 21770 unknown 1372 muc 2
0.49/0.51 c iter 30 time 0.332949 not-muc 21792 unknown 1350 muc 2
0.49/0.51 c iter 31 time 0.337948 not-muc 21826 unknown 1316 muc 2
0.49/0.51 c iter 32 time 0.340948 not-muc 21829 unknown 1313 muc 2
0.49/0.51 c iter 33 time 0.345947 not-muc 21830 unknown 1312 muc 2
0.49/0.51 c iter 34 time 0.356945 not-muc 21864 unknown 1278 muc 2
0.49/0.51 c iter 35 time 0.361944 not-muc 21868 unknown 1274 muc 2
0.49/0.51 c iter 36 time 0.363944 not-muc 21868 unknown 1273 muc 3
0.49/0.51 c iter 37 time 0.365944 not-muc 21881 unknown 1260 muc 3
0.49/0.51 c iter 38 time 0.377942 not-muc 21890 unknown 1251 muc 3
0.49/0.51 c iter 39 time 0.382941 not-muc 21891 unknown 1250 muc 3
0.49/0.51 c iter 40 time 0.387941 not-muc 21898 unknown 1243 muc 3
0.49/0.51 c iter 41 time 0.38994 not-muc 21898 unknown 1242 muc 4
0.49/0.51 c iter 42 time 0.39294 not-muc 21906 unknown 1234 muc 4
0.49/0.51 c iter 43 time 0.394939 not-muc 21908 unknown 1232 muc 4
0.49/0.51 c iter 44 time 0.397939 not-muc 21908 unknown 1231 muc 5
0.49/0.51 c iter 45 time 0.405938 not-muc 21917 unknown 1222 muc 5
0.49/0.51 c iter 46 time 0.409937 not-muc 21918 unknown 1221 muc 5
0.49/0.51 c iter 47 time 0.416936 not-muc 21920 unknown 1219 muc 5
0.49/0.51 c iter 48 time 0.418936 not-muc 21922 unknown 1217 muc 5
0.49/0.51 c iter 49 time 0.420936 not-muc 21926 unknown 1213 muc 5
0.49/0.51 c iter 50 time 0.422935 not-muc 21929 unknown 1210 muc 5
0.49/0.51 c iter 51 time 0.423935 not-muc 21929 unknown 1209 muc 6
0.49/0.51 c iter 52 time 0.426935 not-muc 21933 unknown 1205 muc 6
0.49/0.51 c iter 53 time 0.434933 not-muc 21936 unknown 1202 muc 6
0.49/0.51 c iter 54 time 0.441932 not-muc 21937 unknown 1201 muc 6
0.49/0.51 c iter 55 time 0.444932 not-muc 21938 unknown 1200 muc 6
0.49/0.51 c iter 56 time 0.449931 not-muc 21943 unknown 1195 muc 6
0.49/0.51 c iter 57 time 0.45593 not-muc 21944 unknown 1194 muc 6
0.49/0.51 c iter 58 time 0.45893 not-muc 21948 unknown 1190 muc 6
0.49/0.51 c iter 59 time 0.461929 not-muc 21950 unknown 1188 muc 6
0.49/0.51 c iter 60 time 0.465929 not-muc 21953 unknown 1185 muc 6
0.49/0.51 c iter 61 time 0.469928 not-muc 21959 unknown 1179 muc 6
0.49/0.51 c iter 62 time 0.473927 not-muc 21960 unknown 1178 muc 6
0.49/0.51 c iter 63 time 0.476927 not-muc 21967 unknown 1171 muc 6
0.49/0.51 c iter 64 time 0.482926 not-muc 22003 unknown 1135 muc 6
0.49/0.51 c iter 65 time 0.483926 not-muc 22003 unknown 1134 muc 7
0.49/0.51 c iter 66 time 0.487925 not-muc 22010 unknown 1127 muc 7
0.49/0.51 c iter 67 time 0.492925 not-muc 22015 unknown 1122 muc 7
0.49/0.51 c iter 68 time 0.495924 not-muc 22018 unknown 1119 muc 7
0.49/0.51 c iter 69 time 0.498924 not-muc 22019 unknown 1118 muc 7
0.49/0.51 c iter 70 time 0.507922 not-muc 22021 unknown 1116 muc 7
0.49/0.51 c iter 71 time 0.510922 not-muc 22031 unknown 1106 muc 7
0.49/0.51 c iter 72 time 0.512922 not-muc 22031 unknown 1105 muc 8
0.69/0.76 c iter 73 time 0.518921 not-muc 22035 unknown 1101 muc 8
0.69/0.76 c iter 74 time 0.52092 not-muc 22040 unknown 1096 muc 8
0.69/0.76 c iter 75 time 0.52492 not-muc 22045 unknown 1091 muc 8
0.69/0.76 c iter 76 time 0.529919 not-muc 22063 unknown 1073 muc 8
0.69/0.76 c iter 77 time 0.531919 not-muc 22063 unknown 1072 muc 9
0.69/0.76 c iter 78 time 0.532918 not-muc 22063 unknown 1071 muc 10
0.69/0.76 c iter 79 time 0.535918 not-muc 22096 unknown 1038 muc 10
0.69/0.76 c iter 80 time 0.537918 not-muc 22097 unknown 1037 muc 10
0.69/0.76 c iter 81 time 0.541917 not-muc 22098 unknown 1036 muc 10
0.69/0.76 c iter 82 time 0.548916 not-muc 22099 unknown 1035 muc 10
0.69/0.76 c iter 83 time 0.553915 not-muc 22107 unknown 1027 muc 10
0.69/0.76 c iter 84 time 0.557915 not-muc 22108 unknown 1026 muc 10
0.69/0.76 c iter 85 time 0.565913 not-muc 22116 unknown 1018 muc 10
0.69/0.76 c iter 86 time 0.568913 not-muc 22120 unknown 1014 muc 10
0.69/0.76 c iter 87 time 0.570913 not-muc 22121 unknown 1013 muc 10
0.69/0.76 c iter 88 time 0.572912 not-muc 22123 unknown 1011 muc 10
0.69/0.76 c iter 89 time 0.573912 not-muc 22123 unknown 1010 muc 11
0.69/0.76 c iter 90 time 0.576912 not-muc 22126 unknown 1007 muc 11
0.69/0.76 c iter 91 time 0.580911 not-muc 22129 unknown 1004 muc 11
0.69/0.76 c iter 92 time 0.581911 not-muc 22129 unknown 1003 muc 12
0.69/0.76 c iter 93 time 0.58591 not-muc 22130 unknown 1002 muc 12
0.69/0.76 c iter 94 time 0.58691 not-muc 22130 unknown 1001 muc 13
0.69/0.76 c iter 95 time 0.58891 not-muc 22131 unknown 1000 muc 13
0.69/0.76 c iter 96 time 0.59091 not-muc 22131 unknown 999 muc 14
0.69/0.76 c iter 97 time 0.594909 not-muc 22133 unknown 997 muc 14
0.69/0.76 c iter 98 time 0.597909 not-muc 22136 unknown 994 muc 14
0.69/0.76 c iter 99 time 0.602908 not-muc 22168 unknown 962 muc 14
0.69/0.76 c iter 100 time 0.605907 not-muc 22169 unknown 961 muc 14
0.69/0.76 c iter 101 time 0.606907 not-muc 22169 unknown 960 muc 15
0.69/0.76 c iter 102 time 0.611906 not-muc 22171 unknown 958 muc 15
0.69/0.76 c iter 103 time 0.615906 not-muc 22172 unknown 957 muc 15
0.69/0.76 c iter 104 time 0.617906 not-muc 22172 unknown 956 muc 16
0.69/0.76 c iter 105 time 0.618905 not-muc 22172 unknown 955 muc 17
0.69/0.76 c iter 106 time 0.622905 not-muc 22172 unknown 954 muc 18
0.69/0.76 c iter 107 time 0.628904 not-muc 22173 unknown 953 muc 18
0.69/0.76 c iter 108 time 0.631903 not-muc 22174 unknown 952 muc 18
0.69/0.76 c iter 109 time 0.633903 not-muc 22175 unknown 951 muc 18
0.69/0.76 c iter 110 time 0.635903 not-muc 22176 unknown 950 muc 18
0.69/0.76 c iter 111 time 0.637903 not-muc 22177 unknown 949 muc 18
0.69/0.76 c iter 112 time 0.639902 not-muc 22177 unknown 948 muc 19
0.69/0.76 c iter 113 time 0.642902 not-muc 22177 unknown 947 muc 20
0.69/0.76 c iter 114 time 0.6539 not-muc 22185 unknown 939 muc 20
0.69/0.76 c iter 115 time 0.6569 not-muc 22187 unknown 937 muc 20
0.69/0.76 c iter 116 time 0.658899 not-muc 22189 unknown 935 muc 20
0.69/0.76 c iter 117 time 0.661899 not-muc 22193 unknown 931 muc 20
0.69/0.76 c iter 118 time 0.668898 not-muc 22194 unknown 930 muc 20
0.69/0.76 c iter 119 time 0.671897 not-muc 22205 unknown 919 muc 20
0.69/0.76 c iter 120 time 0.672897 not-muc 22205 unknown 918 muc 21
0.69/0.76 c iter 121 time 0.674897 not-muc 22205 unknown 917 muc 22
0.69/0.76 c iter 122 time 0.675897 not-muc 22205 unknown 916 muc 23
0.69/0.76 c iter 123 time 0.680896 not-muc 22207 unknown 914 muc 23
0.69/0.76 c iter 124 time 0.684895 not-muc 22217 unknown 904 muc 23
0.69/0.76 c iter 125 time 0.687895 not-muc 22218 unknown 903 muc 23
0.69/0.76 c iter 126 time 0.699893 not-muc 22222 unknown 899 muc 23
0.69/0.76 c iter 127 time 0.701893 not-muc 22222 unknown 898 muc 24
0.69/0.76 c iter 128 time 0.704892 not-muc 22223 unknown 897 muc 24
0.69/0.76 c iter 129 time 0.711891 not-muc 22224 unknown 896 muc 24
0.69/0.76 c iter 130 time 0.714891 not-muc 22230 unknown 890 muc 24
0.69/0.76 c iter 131 time 0.72189 not-muc 22243 unknown 877 muc 24
0.69/0.76 c iter 132 time 0.72289 not-muc 22243 unknown 876 muc 25
0.69/0.76 c iter 133 time 0.724889 not-muc 22243 unknown 875 muc 26
0.69/0.76 c iter 134 time 0.729889 not-muc 22243 unknown 874 muc 27
0.69/0.76 c iter 135 time 0.733888 not-muc 22243 unknown 873 muc 28
0.69/0.76 c iter 136 time 0.735888 not-muc 22244 unknown 872 muc 28
0.69/0.76 c iter 137 time 0.741887 not-muc 22244 unknown 871 muc 29
0.69/0.76 c iter 138 time 0.743886 not-muc 22244 unknown 870 muc 30
0.69/0.76 c iter 139 time 0.747886 not-muc 22247 unknown 867 muc 30
0.69/0.76 c iter 140 time 0.753885 not-muc 22247 unknown 866 muc 31
0.69/0.76 c iter 141 time 0.754885 not-muc 22247 unknown 865 muc 32
0.69/0.76 c iter 142 time 0.756884 not-muc 22247 unknown 864 muc 33
0.69/0.76 c iter 143 time 0.758884 not-muc 22247 unknown 863 muc 34
0.89/0.99 c iter 144 time 0.764883 not-muc 22255 unknown 855 muc 34
0.89/0.99 c iter 145 time 0.766883 not-muc 22255 unknown 854 muc 35
0.89/0.99 c iter 146 time 0.767883 not-muc 22255 unknown 853 muc 36
0.89/0.99 c iter 147 time 0.771882 not-muc 22256 unknown 852 muc 36
0.89/0.99 c iter 148 time 0.778881 not-muc 22258 unknown 850 muc 36
0.89/0.99 c iter 149 time 0.78388 not-muc 22258 unknown 849 muc 37
0.89/0.99 c iter 150 time 0.78688 not-muc 22259 unknown 848 muc 37
0.89/0.99 c iter 151 time 0.795879 not-muc 22262 unknown 845 muc 37
0.89/0.99 c iter 152 time 0.797878 not-muc 22262 unknown 844 muc 38
0.89/0.99 c iter 153 time 0.801878 not-muc 22270 unknown 836 muc 38
0.89/0.99 c iter 154 time 0.804877 not-muc 22277 unknown 829 muc 38
0.89/0.99 c iter 155 time 0.805877 not-muc 22277 unknown 828 muc 39
0.89/0.99 c iter 156 time 0.810876 not-muc 22278 unknown 827 muc 39
0.89/0.99 c iter 157 time 0.815875 not-muc 22279 unknown 826 muc 39
0.89/0.99 c iter 158 time 0.817875 not-muc 22282 unknown 823 muc 39
0.89/0.99 c iter 159 time 0.818875 not-muc 22282 unknown 822 muc 40
0.89/0.99 c iter 160 time 0.820875 not-muc 22282 unknown 821 muc 41
0.89/0.99 c iter 161 time 0.824874 not-muc 22282 unknown 820 muc 42
0.89/0.99 c iter 162 time 0.831873 not-muc 22284 unknown 818 muc 42
0.89/0.99 c iter 163 time 0.833873 not-muc 22284 unknown 817 muc 43
0.89/0.99 c iter 164 time 0.840872 not-muc 22284 unknown 816 muc 44
0.89/0.99 c iter 165 time 0.844871 not-muc 22337 unknown 763 muc 44
0.89/0.99 c iter 166 time 0.847871 not-muc 22338 unknown 762 muc 44
0.89/0.99 c iter 167 time 0.84887 not-muc 22338 unknown 761 muc 45
0.89/0.99 c iter 168 time 0.85387 not-muc 22338 unknown 760 muc 46
0.89/0.99 c iter 169 time 0.858869 not-muc 22340 unknown 758 muc 46
0.89/0.99 c iter 170 time 0.859869 not-muc 22340 unknown 757 muc 47
0.89/0.99 c iter 171 time 0.860869 not-muc 22340 unknown 756 muc 48
0.89/0.99 c iter 172 time 0.864868 not-muc 22340 unknown 755 muc 49
0.89/0.99 c iter 173 time 0.873867 not-muc 22344 unknown 751 muc 49
0.89/0.99 c iter 174 time 0.877866 not-muc 22346 unknown 749 muc 49
0.89/0.99 c iter 175 time 0.879866 not-muc 22347 unknown 748 muc 49
0.89/0.99 c iter 176 time 0.883865 not-muc 22347 unknown 747 muc 50
0.89/0.99 c iter 177 time 0.885865 not-muc 22348 unknown 746 muc 50
0.89/0.99 c iter 178 time 0.887865 not-muc 22348 unknown 745 muc 51
0.89/0.99 c iter 179 time 0.889864 not-muc 22349 unknown 744 muc 51
0.89/0.99 c iter 180 time 0.893864 not-muc 22349 unknown 743 muc 52
0.89/0.99 c iter 181 time 0.894863 not-muc 22349 unknown 742 muc 53
0.89/0.99 c iter 182 time 0.895863 not-muc 22349 unknown 741 muc 54
0.89/0.99 c iter 183 time 0.897863 not-muc 22349 unknown 740 muc 55
0.89/0.99 c iter 184 time 0.898863 not-muc 22351 unknown 738 muc 55
0.89/0.99 c iter 185 time 0.899863 not-muc 22351 unknown 737 muc 56
0.89/0.99 c iter 186 time 0.901862 not-muc 22351 unknown 736 muc 57
0.89/0.99 c iter 187 time 0.903862 not-muc 22358 unknown 729 muc 57
0.89/0.99 c iter 188 time 0.904862 not-muc 22358 unknown 728 muc 58
0.89/0.99 c iter 189 time 0.907861 not-muc 22359 unknown 727 muc 58
0.89/0.99 c iter 190 time 0.909861 not-muc 22359 unknown 726 muc 59
0.89/0.99 c iter 191 time 0.911861 not-muc 22360 unknown 725 muc 59
0.89/0.99 c iter 192 time 0.91886 not-muc 22369 unknown 716 muc 59
0.89/0.99 c iter 193 time 0.923859 not-muc 22369 unknown 715 muc 60
0.89/0.99 c iter 194 time 0.924859 not-muc 22369 unknown 714 muc 61
0.89/0.99 c iter 195 time 0.928858 not-muc 22373 unknown 710 muc 61
0.89/0.99 c iter 196 time 0.932858 not-muc 22374 unknown 709 muc 61
0.89/0.99 c iter 197 time 0.936857 not-muc 22375 unknown 708 muc 61
0.89/0.99 c iter 198 time 0.938857 not-muc 22375 unknown 707 muc 62
0.89/0.99 c iter 199 time 0.945856 not-muc 22376 unknown 706 muc 62
0.89/0.99 c iter 200 time 0.948855 not-muc 22378 unknown 704 muc 62
0.89/0.99 c iter 201 time 0.950855 not-muc 22378 unknown 703 muc 63
0.89/0.99 c iter 202 time 0.955854 not-muc 22379 unknown 702 muc 63
0.89/0.99 c iter 203 time 0.957854 not-muc 22379 unknown 701 muc 64
0.89/0.99 c iter 204 time 0.962853 not-muc 22384 unknown 696 muc 64
0.89/0.99 c iter 205 time 0.966853 not-muc 22386 unknown 694 muc 64
0.89/0.99 c iter 206 time 0.970852 not-muc 22386 unknown 693 muc 65
0.89/0.99 c iter 207 time 0.975851 not-muc 22386 unknown 692 muc 66
0.89/0.99 c iter 208 time 0.976851 not-muc 22386 unknown 691 muc 67
0.89/0.99 c iter 209 time 0.978851 not-muc 22392 unknown 685 muc 67
0.89/0.99 c iter 210 time 0.979851 not-muc 22392 unknown 684 muc 68
0.89/0.99 c iter 211 time 0.98185 not-muc 22394 unknown 682 muc 68
0.89/0.99 c iter 212 time 0.98385 not-muc 22394 unknown 681 muc 69
0.89/0.99 c iter 213 time 0.98485 not-muc 22397 unknown 678 muc 69
1.19/1.21 c iter 214 time 0.986849 not-muc 22397 unknown 677 muc 70
1.19/1.21 c iter 215 time 0.988849 not-muc 22397 unknown 676 muc 71
1.19/1.21 c iter 216 time 0.992849 not-muc 22398 unknown 675 muc 71
1.19/1.21 c iter 217 time 0.994848 not-muc 22402 unknown 671 muc 71
1.19/1.21 c iter 218 time 0.999848 not-muc 22403 unknown 670 muc 71
1.19/1.21 c iter 219 time 1.00385 not-muc 22404 unknown 669 muc 71
1.19/1.21 c iter 220 time 1.00585 not-muc 22404 unknown 668 muc 72
1.19/1.21 c iter 221 time 1.00785 not-muc 22404 unknown 667 muc 73
1.19/1.21 c iter 222 time 1.01285 not-muc 22406 unknown 665 muc 73
1.19/1.21 c iter 223 time 1.01385 not-muc 22409 unknown 662 muc 73
1.19/1.21 c iter 224 time 1.01784 not-muc 22409 unknown 661 muc 74
1.19/1.21 c iter 225 time 1.01885 not-muc 22409 unknown 660 muc 75
1.19/1.21 c iter 226 time 1.01984 not-muc 22409 unknown 659 muc 76
1.19/1.21 c iter 227 time 1.02184 not-muc 22409 unknown 658 muc 77
1.19/1.21 c iter 228 time 1.02784 not-muc 22412 unknown 655 muc 77
1.19/1.21 c iter 229 time 1.02884 not-muc 22412 unknown 654 muc 78
1.19/1.21 c iter 230 time 1.02984 not-muc 22412 unknown 653 muc 79
1.19/1.21 c iter 231 time 1.03284 not-muc 22412 unknown 652 muc 80
1.19/1.21 c iter 232 time 1.03984 not-muc 22414 unknown 650 muc 80
1.19/1.21 c iter 233 time 1.04484 not-muc 22416 unknown 648 muc 80
1.19/1.21 c iter 234 time 1.04684 not-muc 22416 unknown 647 muc 81
1.19/1.21 c iter 235 time 1.05084 not-muc 22416 unknown 646 muc 82
1.19/1.21 c iter 236 time 1.05484 not-muc 22418 unknown 644 muc 82
1.19/1.21 c iter 237 time 1.05784 not-muc 22419 unknown 643 muc 82
1.19/1.21 c iter 238 time 1.06084 not-muc 22421 unknown 641 muc 82
1.19/1.21 c iter 239 time 1.06284 not-muc 22422 unknown 640 muc 82
1.19/1.21 c iter 240 time 1.06484 not-muc 22422 unknown 639 muc 83
1.19/1.21 c iter 241 time 1.06684 not-muc 22422 unknown 638 muc 84
1.19/1.21 c iter 242 time 1.06884 not-muc 22422 unknown 637 muc 85
1.19/1.21 c iter 243 time 1.07084 not-muc 22423 unknown 636 muc 85
1.19/1.21 c iter 244 time 1.07384 not-muc 22424 unknown 635 muc 85
1.19/1.21 c iter 245 time 1.07584 not-muc 22425 unknown 634 muc 85
1.19/1.21 c iter 246 time 1.08083 not-muc 22425 unknown 633 muc 86
1.19/1.21 c iter 247 time 1.08184 not-muc 22425 unknown 632 muc 87
1.19/1.21 c iter 248 time 1.08783 not-muc 22427 unknown 630 muc 87
1.19/1.21 c iter 249 time 1.09183 not-muc 22429 unknown 628 muc 87
1.19/1.21 c iter 250 time 1.09383 not-muc 22429 unknown 627 muc 88
1.19/1.21 c iter 251 time 1.09983 not-muc 22430 unknown 626 muc 88
1.19/1.21 c iter 252 time 1.10083 not-muc 22430 unknown 625 muc 89
1.19/1.21 c iter 253 time 1.10883 not-muc 22432 unknown 623 muc 89
1.19/1.21 c iter 254 time 1.11083 not-muc 22432 unknown 622 muc 90
1.19/1.21 c iter 255 time 1.11283 not-muc 22433 unknown 621 muc 90
1.19/1.21 c iter 256 time 1.11783 not-muc 22435 unknown 619 muc 90
1.19/1.21 c iter 257 time 1.12183 not-muc 22436 unknown 618 muc 90
1.19/1.21 c iter 258 time 1.12683 not-muc 22438 unknown 616 muc 90
1.19/1.21 c iter 259 time 1.12883 not-muc 22440 unknown 614 muc 90
1.19/1.21 c iter 260 time 1.13083 not-muc 22440 unknown 613 muc 91
1.19/1.21 c iter 261 time 1.13283 not-muc 22440 unknown 612 muc 92
1.19/1.21 c iter 262 time 1.14482 not-muc 22441 unknown 611 muc 92
1.19/1.21 c iter 263 time 1.14783 not-muc 22442 unknown 610 muc 92
1.19/1.21 c iter 264 time 1.15282 not-muc 22443 unknown 609 muc 92
1.19/1.21 c iter 265 time 1.15382 not-muc 22449 unknown 603 muc 92
1.19/1.21 c iter 266 time 1.15582 not-muc 22455 unknown 597 muc 92
1.19/1.21 c iter 267 time 1.15882 not-muc 22456 unknown 596 muc 92
1.19/1.21 c iter 268 time 1.16082 not-muc 22456 unknown 595 muc 93
1.19/1.21 c iter 269 time 1.16282 not-muc 22458 unknown 593 muc 93
1.19/1.21 c iter 270 time 1.16382 not-muc 22458 unknown 592 muc 94
1.19/1.21 c iter 271 time 1.17082 not-muc 22461 unknown 589 muc 94
1.19/1.21 c iter 272 time 1.17182 not-muc 22461 unknown 588 muc 95
1.19/1.21 c iter 273 time 1.17782 not-muc 22462 unknown 587 muc 95
1.19/1.21 c iter 274 time 1.18182 not-muc 22462 unknown 586 muc 96
1.19/1.21 c iter 275 time 1.18682 not-muc 22464 unknown 584 muc 96
1.19/1.21 c iter 276 time 1.18882 not-muc 22464 unknown 583 muc 97
1.19/1.21 c iter 277 time 1.19282 not-muc 22465 unknown 582 muc 97
1.19/1.21 c iter 278 time 1.19382 not-muc 22465 unknown 581 muc 98
1.19/1.21 c iter 279 time 1.19582 not-muc 22465 unknown 580 muc 99
1.19/1.21 c iter 280 time 1.19982 not-muc 22466 unknown 579 muc 99
1.19/1.21 c iter 281 time 1.20182 not-muc 22468 unknown 577 muc 99
1.19/1.21 c iter 282 time 1.20282 not-muc 22468 unknown 576 muc 100
1.19/1.21 c iter 283 time 1.20582 not-muc 22469 unknown 575 muc 100
1.19/1.21 c iter 284 time 1.20782 not-muc 22469 unknown 574 muc 101
1.19/1.21 c iter 285 time 1.21182 not-muc 22470 unknown 573 muc 101
1.39/1.40 c iter 286 time 1.21382 not-muc 22470 unknown 572 muc 102
1.39/1.40 c iter 287 time 1.22581 not-muc 22472 unknown 570 muc 102
1.39/1.40 c iter 288 time 1.22781 not-muc 22472 unknown 569 muc 103
1.39/1.40 c iter 289 time 1.22981 not-muc 22472 unknown 568 muc 104
1.39/1.40 c iter 290 time 1.23481 not-muc 22473 unknown 567 muc 104
1.39/1.40 c iter 291 time 1.23881 not-muc 22474 unknown 566 muc 104
1.39/1.40 c iter 292 time 1.23981 not-muc 22474 unknown 565 muc 105
1.39/1.40 c iter 293 time 1.24381 not-muc 22476 unknown 563 muc 105
1.39/1.40 c iter 294 time 1.24581 not-muc 22476 unknown 562 muc 106
1.39/1.40 c iter 295 time 1.24681 not-muc 22476 unknown 561 muc 107
1.39/1.40 c iter 296 time 1.24881 not-muc 22476 unknown 560 muc 108
1.39/1.40 c iter 297 time 1.24981 not-muc 22476 unknown 559 muc 109
1.39/1.40 c iter 298 time 1.25381 not-muc 22477 unknown 558 muc 109
1.39/1.40 c iter 299 time 1.25481 not-muc 22477 unknown 557 muc 110
1.39/1.40 c iter 300 time 1.25681 not-muc 22478 unknown 556 muc 110
1.39/1.40 c iter 301 time 1.25881 not-muc 22478 unknown 555 muc 111
1.39/1.40 c iter 302 time 1.25981 not-muc 22478 unknown 554 muc 112
1.39/1.40 c iter 303 time 1.26081 not-muc 22478 unknown 553 muc 113
1.39/1.40 c iter 304 time 1.26581 not-muc 22479 unknown 552 muc 113
1.39/1.40 c iter 305 time 1.26881 not-muc 22479 unknown 551 muc 114
1.39/1.40 c iter 306 time 1.27181 not-muc 22480 unknown 550 muc 114
1.39/1.40 c iter 307 time 1.27381 not-muc 22481 unknown 549 muc 114
1.39/1.40 c iter 308 time 1.27581 not-muc 22483 unknown 547 muc 114
1.39/1.40 c iter 309 time 1.2768 not-muc 22483 unknown 546 muc 115
1.39/1.40 c iter 310 time 1.2788 not-muc 22483 unknown 545 muc 116
1.39/1.40 c iter 311 time 1.27981 not-muc 22483 unknown 544 muc 117
1.39/1.40 c iter 312 time 1.28181 not-muc 22484 unknown 543 muc 117
1.39/1.40 c iter 313 time 1.2848 not-muc 22484 unknown 542 muc 118
1.39/1.40 c iter 314 time 1.2868 not-muc 22486 unknown 540 muc 118
1.39/1.40 c iter 315 time 1.2888 not-muc 22487 unknown 539 muc 118
1.39/1.40 c iter 316 time 1.2908 not-muc 22487 unknown 538 muc 119
1.39/1.40 c iter 317 time 1.2948 not-muc 22488 unknown 537 muc 119
1.39/1.40 c iter 318 time 1.2958 not-muc 22488 unknown 536 muc 120
1.39/1.40 c iter 319 time 1.2968 not-muc 22488 unknown 535 muc 121
1.39/1.40 c iter 320 time 1.2988 not-muc 22488 unknown 534 muc 122
1.39/1.40 c iter 321 time 1.3008 not-muc 22488 unknown 533 muc 123
1.39/1.40 c iter 322 time 1.3018 not-muc 22488 unknown 532 muc 124
1.39/1.40 c iter 323 time 1.3028 not-muc 22488 unknown 531 muc 125
1.39/1.40 c iter 324 time 1.3058 not-muc 22488 unknown 530 muc 126
1.39/1.40 c iter 325 time 1.3118 not-muc 22488 unknown 529 muc 127
1.39/1.40 c iter 326 time 1.3138 not-muc 22488 unknown 528 muc 128
1.39/1.40 c iter 327 time 1.3148 not-muc 22488 unknown 527 muc 129
1.39/1.40 c iter 328 time 1.3258 not-muc 22489 unknown 526 muc 129
1.39/1.40 c iter 329 time 1.3278 not-muc 22489 unknown 525 muc 130
1.39/1.40 c iter 330 time 1.3298 not-muc 22489 unknown 524 muc 131
1.39/1.40 c iter 331 time 1.3308 not-muc 22489 unknown 523 muc 132
1.39/1.40 c iter 332 time 1.3418 not-muc 22498 unknown 514 muc 132
1.39/1.40 c iter 333 time 1.3458 not-muc 22500 unknown 512 muc 132
1.39/1.40 c iter 334 time 1.34679 not-muc 22500 unknown 511 muc 133
1.39/1.40 c iter 335 time 1.34879 not-muc 22501 unknown 510 muc 133
1.39/1.40 c iter 336 time 1.35379 not-muc 22501 unknown 509 muc 134
1.39/1.40 c iter 337 time 1.35879 not-muc 22504 unknown 506 muc 134
1.39/1.40 c iter 338 time 1.36079 not-muc 22504 unknown 505 muc 135
1.39/1.40 c iter 339 time 1.36179 not-muc 22504 unknown 504 muc 136
1.39/1.40 c iter 340 time 1.36279 not-muc 22504 unknown 503 muc 137
1.39/1.40 c iter 341 time 1.36579 not-muc 22504 unknown 502 muc 138
1.39/1.40 c iter 342 time 1.36779 not-muc 22510 unknown 496 muc 138
1.39/1.40 c iter 343 time 1.36979 not-muc 22510 unknown 495 muc 139
1.39/1.40 c iter 344 time 1.37279 not-muc 22510 unknown 494 muc 140
1.39/1.40 c iter 345 time 1.37579 not-muc 22510 unknown 493 muc 141
1.39/1.40 c iter 346 time 1.37679 not-muc 22510 unknown 492 muc 142
1.39/1.40 c iter 347 time 1.37779 not-muc 22510 unknown 491 muc 143
1.39/1.40 c iter 348 time 1.37979 not-muc 22510 unknown 490 muc 144
1.39/1.40 c iter 349 time 1.38979 not-muc 22512 unknown 488 muc 144
1.39/1.40 c iter 350 time 1.39279 not-muc 22515 unknown 485 muc 144
1.39/1.40 c iter 351 time 1.39379 not-muc 22515 unknown 484 muc 145
1.39/1.40 c iter 352 time 1.39479 not-muc 22515 unknown 483 muc 146
1.39/1.40 c iter 353 time 1.39679 not-muc 22515 unknown 482 muc 147
1.39/1.40 c iter 354 time 1.39779 not-muc 22515 unknown 481 muc 148
1.39/1.40 c iter 355 time 1.39979 not-muc 22515 unknown 480 muc 149
1.39/1.40 c iter 356 time 1.40179 not-muc 22515 unknown 479 muc 150
1.49/1.54 c iter 357 time 1.40279 not-muc 22515 unknown 478 muc 151
1.49/1.54 c iter 358 time 1.40379 not-muc 22516 unknown 477 muc 151
1.49/1.54 c iter 359 time 1.40579 not-muc 22516 unknown 476 muc 152
1.49/1.54 c iter 360 time 1.40779 not-muc 22516 unknown 475 muc 153
1.49/1.54 c iter 361 time 1.40979 not-muc 22516 unknown 474 muc 154
1.49/1.54 c iter 362 time 1.41078 not-muc 22516 unknown 473 muc 155
1.49/1.54 c iter 363 time 1.41179 not-muc 22516 unknown 472 muc 156
1.49/1.54 c iter 364 time 1.42078 not-muc 22517 unknown 471 muc 156
1.49/1.54 c iter 365 time 1.42178 not-muc 22517 unknown 470 muc 157
1.49/1.54 c iter 366 time 1.42278 not-muc 22517 unknown 469 muc 158
1.49/1.54 c iter 367 time 1.43078 not-muc 22518 unknown 468 muc 158
1.49/1.54 c iter 368 time 1.43278 not-muc 22518 unknown 467 muc 159
1.49/1.54 c iter 369 time 1.43378 not-muc 22518 unknown 466 muc 160
1.49/1.54 c iter 370 time 1.43478 not-muc 22518 unknown 465 muc 161
1.49/1.54 c iter 371 time 1.43678 not-muc 22519 unknown 464 muc 161
1.49/1.54 c iter 372 time 1.43878 not-muc 22519 unknown 463 muc 162
1.49/1.54 c iter 373 time 1.43978 not-muc 22519 unknown 462 muc 163
1.49/1.54 c iter 374 time 1.44178 not-muc 22520 unknown 461 muc 163
1.49/1.54 c iter 375 time 1.44278 not-muc 22520 unknown 460 muc 164
1.49/1.54 c iter 376 time 1.44378 not-muc 22520 unknown 459 muc 165
1.49/1.54 c iter 377 time 1.44478 not-muc 22520 unknown 458 muc 166
1.49/1.54 c iter 378 time 1.44978 not-muc 22522 unknown 456 muc 166
1.49/1.54 c iter 379 time 1.45178 not-muc 22522 unknown 455 muc 167
1.49/1.54 c iter 380 time 1.45378 not-muc 22522 unknown 454 muc 168
1.49/1.54 c iter 381 time 1.45478 not-muc 22522 unknown 453 muc 169
1.49/1.54 c iter 382 time 1.45778 not-muc 22522 unknown 452 muc 170
1.49/1.54 c iter 383 time 1.45978 not-muc 22523 unknown 451 muc 170
1.49/1.54 c iter 384 time 1.46278 not-muc 22525 unknown 449 muc 170
1.49/1.54 c iter 385 time 1.46378 not-muc 22525 unknown 448 muc 171
1.49/1.54 c iter 386 time 1.46578 not-muc 22526 unknown 447 muc 171
1.49/1.54 c iter 387 time 1.46678 not-muc 22526 unknown 446 muc 172
1.49/1.54 c iter 388 time 1.46978 not-muc 22527 unknown 445 muc 172
1.49/1.54 c iter 389 time 1.47078 not-muc 22527 unknown 444 muc 173
1.49/1.54 c iter 390 time 1.47178 not-muc 22527 unknown 443 muc 174
1.49/1.54 c iter 391 time 1.47278 not-muc 22527 unknown 442 muc 175
1.49/1.54 c iter 392 time 1.47378 not-muc 22527 unknown 441 muc 176
1.49/1.54 c iter 393 time 1.47477 not-muc 22527 unknown 440 muc 177
1.49/1.54 c iter 394 time 1.47578 not-muc 22527 unknown 439 muc 178
1.49/1.54 c iter 395 time 1.47877 not-muc 22532 unknown 434 muc 178
1.49/1.54 c iter 396 time 1.47978 not-muc 22532 unknown 433 muc 179
1.49/1.54 c iter 397 time 1.48177 not-muc 22532 unknown 432 muc 180
1.49/1.54 c iter 398 time 1.48477 not-muc 22532 unknown 431 muc 181
1.49/1.54 c iter 399 time 1.48677 not-muc 22532 unknown 430 muc 182
1.49/1.54 c iter 400 time 1.48777 not-muc 22532 unknown 429 muc 183
1.49/1.54 c iter 401 time 1.48877 not-muc 22532 unknown 428 muc 184
1.49/1.54 c iter 402 time 1.49077 not-muc 22532 unknown 427 muc 185
1.49/1.54 c iter 403 time 1.49177 not-muc 22534 unknown 425 muc 185
1.49/1.54 c iter 404 time 1.49277 not-muc 22534 unknown 424 muc 186
1.49/1.54 c iter 405 time 1.49377 not-muc 22534 unknown 423 muc 187
1.49/1.54 c iter 406 time 1.49877 not-muc 22535 unknown 422 muc 187
1.49/1.54 c iter 407 time 1.49977 not-muc 22535 unknown 421 muc 188
1.49/1.54 c iter 408 time 1.50077 not-muc 22535 unknown 420 muc 189
1.49/1.54 c iter 409 time 1.50377 not-muc 22535 unknown 419 muc 190
1.49/1.54 c iter 410 time 1.50477 not-muc 22535 unknown 418 muc 191
1.49/1.54 c iter 411 time 1.50577 not-muc 22535 unknown 417 muc 192
1.49/1.54 c iter 412 time 1.50877 not-muc 22536 unknown 416 muc 192
1.49/1.54 c iter 413 time 1.50977 not-muc 22536 unknown 415 muc 193
1.49/1.54 c iter 414 time 1.51277 not-muc 22537 unknown 414 muc 193
1.49/1.54 c iter 415 time 1.51577 not-muc 22539 unknown 412 muc 193
1.49/1.54 c iter 416 time 1.51677 not-muc 22539 unknown 411 muc 194
1.49/1.54 c iter 417 time 1.51777 not-muc 22539 unknown 410 muc 195
1.49/1.54 c iter 418 time 1.51877 not-muc 22539 unknown 409 muc 196
1.49/1.54 c iter 419 time 1.52077 not-muc 22539 unknown 408 muc 197
1.49/1.54 c iter 420 time 1.52177 not-muc 22539 unknown 407 muc 198
1.49/1.54 c iter 421 time 1.52177 not-muc 22539 unknown 406 muc 199
1.49/1.54 c iter 422 time 1.52577 not-muc 22539 unknown 405 muc 200
1.49/1.54 c iter 423 time 1.52777 not-muc 22539 unknown 404 muc 201
1.49/1.54 c iter 424 time 1.52977 not-muc 22540 unknown 403 muc 201
1.49/1.54 c iter 425 time 1.53077 not-muc 22540 unknown 402 muc 202
1.49/1.54 c iter 426 time 1.53277 not-muc 22545 unknown 397 muc 202
1.49/1.54 c iter 427 time 1.53377 not-muc 22545 unknown 396 muc 203
1.59/1.66 c iter 428 time 1.53677 not-muc 22546 unknown 395 muc 203
1.59/1.66 c iter 429 time 1.53877 not-muc 22546 unknown 394 muc 204
1.59/1.66 c iter 430 time 1.53877 not-muc 22546 unknown 393 muc 205
1.59/1.66 c iter 431 time 1.53977 not-muc 22546 unknown 392 muc 206
1.59/1.66 c iter 432 time 1.54076 not-muc 22546 unknown 391 muc 207
1.59/1.66 c iter 433 time 1.54277 not-muc 22548 unknown 389 muc 207
1.59/1.66 c iter 434 time 1.54476 not-muc 22548 unknown 388 muc 208
1.59/1.66 c iter 435 time 1.54776 not-muc 22548 unknown 387 muc 209
1.59/1.66 c iter 436 time 1.54876 not-muc 22548 unknown 386 muc 210
1.59/1.66 c iter 437 time 1.54976 not-muc 22548 unknown 385 muc 211
1.59/1.66 c iter 438 time 1.55376 not-muc 22549 unknown 384 muc 211
1.59/1.66 c iter 439 time 1.55476 not-muc 22549 unknown 383 muc 212
1.59/1.66 c iter 440 time 1.55576 not-muc 22549 unknown 382 muc 213
1.59/1.66 c iter 441 time 1.55676 not-muc 22549 unknown 381 muc 214
1.59/1.66 c iter 442 time 1.55876 not-muc 22549 unknown 380 muc 215
1.59/1.66 c iter 443 time 1.56076 not-muc 22549 unknown 379 muc 216
1.59/1.66 c iter 444 time 1.56376 not-muc 22549 unknown 378 muc 217
1.59/1.66 c iter 445 time 1.56476 not-muc 22549 unknown 377 muc 218
1.59/1.66 c iter 446 time 1.56576 not-muc 22549 unknown 376 muc 219
1.59/1.66 c iter 447 time 1.56676 not-muc 22549 unknown 375 muc 220
1.59/1.66 c iter 448 time 1.56876 not-muc 22549 unknown 374 muc 221
1.59/1.66 c iter 449 time 1.56976 not-muc 22549 unknown 373 muc 222
1.59/1.66 c iter 450 time 1.57076 not-muc 22549 unknown 372 muc 223
1.59/1.66 c iter 451 time 1.57676 not-muc 22551 unknown 370 muc 223
1.59/1.66 c iter 452 time 1.57976 not-muc 22552 unknown 369 muc 223
1.59/1.66 c iter 453 time 1.58076 not-muc 22552 unknown 368 muc 224
1.59/1.66 c iter 454 time 1.58276 not-muc 22552 unknown 367 muc 225
1.59/1.66 c iter 455 time 1.58376 not-muc 22552 unknown 366 muc 226
1.59/1.66 c iter 456 time 1.58476 not-muc 22552 unknown 365 muc 227
1.59/1.66 c iter 457 time 1.58576 not-muc 22552 unknown 364 muc 228
1.59/1.66 c iter 458 time 1.58776 not-muc 22552 unknown 363 muc 229
1.59/1.66 c iter 459 time 1.58876 not-muc 22553 unknown 362 muc 229
1.59/1.66 c iter 460 time 1.58976 not-muc 22553 unknown 361 muc 230
1.59/1.66 c iter 461 time 1.59176 not-muc 22553 unknown 360 muc 231
1.59/1.66 c iter 462 time 1.59276 not-muc 22553 unknown 359 muc 232
1.59/1.66 c iter 463 time 1.59376 not-muc 22553 unknown 358 muc 233
1.59/1.66 c iter 464 time 1.59576 not-muc 22553 unknown 357 muc 234
1.59/1.66 c iter 465 time 1.59676 not-muc 22553 unknown 356 muc 235
1.59/1.66 c iter 466 time 1.59776 not-muc 22553 unknown 355 muc 236
1.59/1.66 c iter 467 time 1.59876 not-muc 22553 unknown 354 muc 237
1.59/1.66 c iter 468 time 1.60676 not-muc 22554 unknown 353 muc 237
1.59/1.66 c iter 469 time 1.60776 not-muc 22554 unknown 352 muc 238
1.59/1.66 c iter 470 time 1.61076 not-muc 22556 unknown 350 muc 238
1.59/1.66 c iter 471 time 1.61175 not-muc 22556 unknown 349 muc 239
1.59/1.66 c iter 472 time 1.61575 not-muc 22556 unknown 348 muc 240
1.59/1.66 c iter 473 time 1.61675 not-muc 22556 unknown 347 muc 241
1.59/1.66 c iter 474 time 1.61675 not-muc 22556 unknown 346 muc 242
1.59/1.66 c iter 475 time 1.61775 not-muc 22556 unknown 345 muc 243
1.59/1.66 c iter 476 time 1.61975 not-muc 22556 unknown 344 muc 244
1.59/1.66 c iter 477 time 1.62375 not-muc 22556 unknown 343 muc 245
1.59/1.66 c iter 478 time 1.62475 not-muc 22556 unknown 342 muc 246
1.59/1.66 c iter 479 time 1.62675 not-muc 22556 unknown 341 muc 247
1.59/1.66 c iter 480 time 1.62875 not-muc 22556 unknown 340 muc 248
1.59/1.66 c iter 481 time 1.63275 not-muc 22557 unknown 339 muc 248
1.59/1.66 c iter 482 time 1.63475 not-muc 22557 unknown 338 muc 249
1.59/1.66 c iter 483 time 1.63575 not-muc 22557 unknown 337 muc 250
1.59/1.66 c iter 484 time 1.63675 not-muc 22557 unknown 336 muc 251
1.59/1.66 c iter 485 time 1.63875 not-muc 22558 unknown 335 muc 251
1.59/1.66 c iter 486 time 1.63975 not-muc 22558 unknown 334 muc 252
1.59/1.66 c iter 487 time 1.64075 not-muc 22558 unknown 333 muc 253
1.59/1.66 c iter 488 time 1.64175 not-muc 22558 unknown 332 muc 254
1.59/1.66 c iter 489 time 1.64275 not-muc 22558 unknown 331 muc 255
1.59/1.66 c iter 490 time 1.64375 not-muc 22558 unknown 330 muc 256
1.59/1.66 c iter 491 time 1.64675 not-muc 22559 unknown 329 muc 256
1.59/1.66 c iter 492 time 1.64975 not-muc 22559 unknown 328 muc 257
1.59/1.66 c iter 493 time 1.65075 not-muc 22559 unknown 327 muc 258
1.59/1.66 c iter 494 time 1.65175 not-muc 22559 unknown 326 muc 259
1.59/1.66 c iter 495 time 1.65375 not-muc 22559 unknown 325 muc 260
1.59/1.66 c iter 496 time 1.65775 not-muc 22560 unknown 324 muc 260
1.59/1.66 c iter 497 time 1.65875 not-muc 22560 unknown 323 muc 261
1.79/1.80 c iter 498 time 1.66175 not-muc 22560 unknown 322 muc 262
1.79/1.80 c iter 499 time 1.66275 not-muc 22560 unknown 321 muc 263
1.79/1.80 c iter 500 time 1.66475 not-muc 22563 unknown 318 muc 263
1.79/1.80 c iter 501 time 1.66575 not-muc 22563 unknown 317 muc 264
1.79/1.80 c iter 502 time 1.66675 not-muc 22563 unknown 316 muc 265
1.79/1.80 c iter 503 time 1.66975 not-muc 22564 unknown 315 muc 265
1.79/1.80 c iter 504 time 1.67175 not-muc 22564 unknown 314 muc 266
1.79/1.80 c iter 505 time 1.67475 not-muc 22565 unknown 313 muc 266
1.79/1.80 c iter 506 time 1.67575 not-muc 22565 unknown 312 muc 267
1.79/1.80 c iter 507 time 1.67774 not-muc 22565 unknown 311 muc 268
1.79/1.80 c iter 508 time 1.68474 not-muc 22570 unknown 306 muc 268
1.79/1.80 c iter 509 time 1.68574 not-muc 22570 unknown 305 muc 269
1.79/1.80 c iter 510 time 1.68774 not-muc 22570 unknown 304 muc 270
1.79/1.80 c iter 511 time 1.68874 not-muc 22570 unknown 303 muc 271
1.79/1.80 c iter 512 time 1.68974 not-muc 22570 unknown 302 muc 272
1.79/1.80 c iter 513 time 1.69274 not-muc 22570 unknown 301 muc 273
1.79/1.80 c iter 514 time 1.69674 not-muc 22571 unknown 300 muc 273
1.79/1.80 c iter 515 time 1.69774 not-muc 22571 unknown 299 muc 274
1.79/1.80 c iter 516 time 1.69974 not-muc 22571 unknown 298 muc 275
1.79/1.80 c iter 517 time 1.70074 not-muc 22571 unknown 297 muc 276
1.79/1.80 c iter 518 time 1.70274 not-muc 22571 unknown 296 muc 277
1.79/1.80 c iter 519 time 1.70374 not-muc 22571 unknown 295 muc 278
1.79/1.80 c iter 520 time 1.70474 not-muc 22571 unknown 294 muc 279
1.79/1.80 c iter 521 time 1.70674 not-muc 22571 unknown 293 muc 280
1.79/1.80 c iter 522 time 1.70974 not-muc 22571 unknown 292 muc 281
1.79/1.80 c iter 523 time 1.71074 not-muc 22571 unknown 291 muc 282
1.79/1.80 c iter 524 time 1.71274 not-muc 22571 unknown 290 muc 283
1.79/1.80 c iter 525 time 1.71374 not-muc 22571 unknown 289 muc 284
1.79/1.80 c iter 526 time 1.71674 not-muc 22571 unknown 288 muc 285
1.79/1.80 c iter 527 time 1.71974 not-muc 22572 unknown 287 muc 285
1.79/1.80 c iter 528 time 1.72174 not-muc 22572 unknown 286 muc 286
1.79/1.80 c iter 529 time 1.72274 not-muc 22572 unknown 285 muc 287
1.79/1.80 c iter 530 time 1.72374 not-muc 22572 unknown 284 muc 288
1.79/1.80 c iter 531 time 1.72574 not-muc 22572 unknown 283 muc 289
1.79/1.80 c iter 532 time 1.72674 not-muc 22572 unknown 282 muc 290
1.79/1.80 c iter 533 time 1.72774 not-muc 22572 unknown 281 muc 291
1.79/1.80 c iter 534 time 1.72974 not-muc 22572 unknown 280 muc 292
1.79/1.80 c iter 535 time 1.73174 not-muc 22579 unknown 273 muc 292
1.79/1.80 c iter 536 time 1.73274 not-muc 22579 unknown 272 muc 293
1.79/1.80 c iter 537 time 1.73574 not-muc 22579 unknown 271 muc 294
1.79/1.80 c iter 538 time 1.74174 not-muc 22580 unknown 270 muc 294
1.79/1.80 c iter 539 time 1.74673 not-muc 22580 unknown 269 muc 295
1.79/1.80 c iter 540 time 1.74873 not-muc 22580 unknown 268 muc 296
1.79/1.80 c iter 541 time 1.75173 not-muc 22581 unknown 267 muc 296
1.79/1.80 c iter 542 time 1.75273 not-muc 22581 unknown 266 muc 297
1.79/1.80 c iter 543 time 1.75473 not-muc 22581 unknown 265 muc 298
1.79/1.80 c iter 544 time 1.75673 not-muc 22581 unknown 264 muc 299
1.79/1.80 c iter 545 time 1.75773 not-muc 22581 unknown 263 muc 300
1.79/1.80 c iter 546 time 1.76073 not-muc 22581 unknown 262 muc 301
1.79/1.80 c iter 547 time 1.76173 not-muc 22581 unknown 261 muc 302
1.79/1.80 c iter 548 time 1.76273 not-muc 22581 unknown 260 muc 303
1.79/1.80 c iter 549 time 1.76773 not-muc 22582 unknown 259 muc 303
1.79/1.80 c iter 550 time 1.76873 not-muc 22582 unknown 258 muc 304
1.79/1.80 c iter 551 time 1.76973 not-muc 22582 unknown 257 muc 305
1.79/1.80 c iter 552 time 1.77073 not-muc 22582 unknown 256 muc 306
1.79/1.80 c iter 553 time 1.77173 not-muc 22582 unknown 255 muc 307
1.79/1.80 c iter 554 time 1.77273 not-muc 22582 unknown 254 muc 308
1.79/1.80 c iter 555 time 1.77473 not-muc 22582 unknown 253 muc 309
1.79/1.80 c iter 556 time 1.77573 not-muc 22582 unknown 252 muc 310
1.79/1.80 c iter 557 time 1.77673 not-muc 22582 unknown 251 muc 311
1.79/1.80 c iter 558 time 1.77773 not-muc 22582 unknown 250 muc 312
1.79/1.80 c iter 559 time 1.77973 not-muc 22582 unknown 249 muc 313
1.79/1.80 c iter 560 time 1.78073 not-muc 22582 unknown 248 muc 314
1.79/1.80 c iter 561 time 1.78173 not-muc 22582 unknown 247 muc 315
1.79/1.80 c iter 562 time 1.78873 not-muc 22583 unknown 246 muc 315
1.79/1.80 c iter 563 time 1.78973 not-muc 22583 unknown 245 muc 316
1.79/1.80 c iter 564 time 1.79273 not-muc 22587 unknown 241 muc 316
1.79/1.80 c iter 565 time 1.79473 not-muc 22587 unknown 240 muc 317
1.79/1.80 c iter 566 time 1.79573 not-muc 22587 unknown 239 muc 318
1.79/1.80 c iter 567 time 1.79673 not-muc 22587 unknown 238 muc 319
1.79/1.80 c iter 568 time 1.79773 not-muc 22587 unknown 237 muc 320
1.89/1.91 c iter 569 time 1.79873 not-muc 22587 unknown 236 muc 321
1.89/1.91 c iter 570 time 1.80273 not-muc 22589 unknown 234 muc 321
1.89/1.91 c iter 571 time 1.80273 not-muc 22589 unknown 233 muc 322
1.89/1.91 c iter 572 time 1.80472 not-muc 22589 unknown 232 muc 323
1.89/1.91 c iter 573 time 1.80573 not-muc 22589 unknown 231 muc 324
1.89/1.91 c iter 574 time 1.80673 not-muc 22589 unknown 230 muc 325
1.89/1.91 c iter 575 time 1.80872 not-muc 22589 unknown 229 muc 326
1.89/1.91 c iter 576 time 1.81072 not-muc 22589 unknown 228 muc 327
1.89/1.91 c iter 577 time 1.81172 not-muc 22589 unknown 227 muc 328
1.89/1.91 c iter 578 time 1.81272 not-muc 22589 unknown 226 muc 329
1.89/1.91 c iter 579 time 1.81372 not-muc 22589 unknown 225 muc 330
1.89/1.91 c iter 580 time 1.81472 not-muc 22589 unknown 224 muc 331
1.89/1.91 c iter 581 time 1.81572 not-muc 22589 unknown 223 muc 332
1.89/1.91 c iter 582 time 1.81772 not-muc 22590 unknown 222 muc 332
1.89/1.91 c iter 583 time 1.81972 not-muc 22590 unknown 221 muc 333
1.89/1.91 c iter 584 time 1.82072 not-muc 22590 unknown 220 muc 334
1.89/1.91 c iter 585 time 1.82272 not-muc 22592 unknown 218 muc 334
1.89/1.91 c iter 586 time 1.82372 not-muc 22592 unknown 217 muc 335
1.89/1.91 c iter 587 time 1.82472 not-muc 22592 unknown 216 muc 336
1.89/1.91 c iter 588 time 1.82572 not-muc 22592 unknown 215 muc 337
1.89/1.91 c iter 589 time 1.82672 not-muc 22592 unknown 214 muc 338
1.89/1.91 c iter 590 time 1.82672 not-muc 22592 unknown 213 muc 339
1.89/1.91 c iter 591 time 1.82872 not-muc 22593 unknown 212 muc 339
1.89/1.91 c iter 592 time 1.83172 not-muc 22593 unknown 211 muc 340
1.89/1.91 c iter 593 time 1.83272 not-muc 22594 unknown 210 muc 340
1.89/1.91 c iter 594 time 1.83472 not-muc 22594 unknown 209 muc 341
1.89/1.91 c iter 595 time 1.83672 not-muc 22594 unknown 208 muc 342
1.89/1.91 c iter 596 time 1.83772 not-muc 22594 unknown 207 muc 343
1.89/1.91 c iter 597 time 1.83972 not-muc 22594 unknown 206 muc 344
1.89/1.91 c iter 598 time 1.84072 not-muc 22594 unknown 205 muc 345
1.89/1.91 c iter 599 time 1.84172 not-muc 22594 unknown 204 muc 346
1.89/1.91 c iter 600 time 1.84272 not-muc 22594 unknown 203 muc 347
1.89/1.91 c iter 601 time 1.84572 not-muc 22594 unknown 202 muc 348
1.89/1.91 c iter 602 time 1.84672 not-muc 22594 unknown 201 muc 349
1.89/1.91 c iter 603 time 1.84772 not-muc 22594 unknown 200 muc 350
1.89/1.91 c iter 604 time 1.85072 not-muc 22594 unknown 199 muc 351
1.89/1.91 c iter 605 time 1.85172 not-muc 22594 unknown 198 muc 352
1.89/1.91 c iter 606 time 1.85272 not-muc 22594 unknown 197 muc 353
1.89/1.91 c iter 607 time 1.85472 not-muc 22595 unknown 196 muc 353
1.89/1.91 c iter 608 time 1.85572 not-muc 22595 unknown 195 muc 354
1.89/1.91 c iter 609 time 1.85772 not-muc 22595 unknown 194 muc 355
1.89/1.91 c iter 610 time 1.85872 not-muc 22595 unknown 193 muc 356
1.89/1.91 c iter 611 time 1.85972 not-muc 22595 unknown 192 muc 357
1.89/1.91 c iter 612 time 1.86072 not-muc 22595 unknown 191 muc 358
1.89/1.91 c iter 613 time 1.86272 not-muc 22595 unknown 190 muc 359
1.89/1.91 c iter 614 time 1.86372 not-muc 22595 unknown 189 muc 360
1.89/1.91 c iter 615 time 1.86472 not-muc 22595 unknown 188 muc 361
1.89/1.91 c iter 616 time 1.86572 not-muc 22595 unknown 187 muc 362
1.89/1.91 c iter 617 time 1.86772 not-muc 22595 unknown 186 muc 363
1.89/1.91 c iter 618 time 1.86871 not-muc 22595 unknown 185 muc 364
1.89/1.91 c iter 619 time 1.86972 not-muc 22595 unknown 184 muc 365
1.89/1.91 c iter 620 time 1.87072 not-muc 22595 unknown 183 muc 366
1.89/1.91 c iter 621 time 1.87172 not-muc 22595 unknown 182 muc 367
1.89/1.91 c iter 622 time 1.87372 not-muc 22595 unknown 181 muc 368
1.89/1.91 c iter 623 time 1.87472 not-muc 22596 unknown 180 muc 368
1.89/1.91 c iter 624 time 1.87571 not-muc 22596 unknown 179 muc 369
1.89/1.91 c iter 625 time 1.88071 not-muc 22597 unknown 178 muc 369
1.89/1.91 c iter 626 time 1.88171 not-muc 22597 unknown 177 muc 370
1.89/1.91 c iter 627 time 1.88371 not-muc 22597 unknown 176 muc 371
1.89/1.91 c iter 628 time 1.88471 not-muc 22597 unknown 175 muc 372
1.89/1.91 c iter 629 time 1.88671 not-muc 22598 unknown 174 muc 372
1.89/1.91 c iter 630 time 1.88771 not-muc 22598 unknown 173 muc 373
1.89/1.91 c iter 631 time 1.88871 not-muc 22598 unknown 172 muc 374
1.89/1.91 c iter 632 time 1.89071 not-muc 22598 unknown 171 muc 375
1.89/1.91 c iter 633 time 1.89171 not-muc 22598 unknown 170 muc 376
1.89/1.91 c iter 634 time 1.89371 not-muc 22598 unknown 169 muc 377
1.89/1.91 c iter 635 time 1.89471 not-muc 22598 unknown 168 muc 378
1.89/1.91 c iter 636 time 1.89571 not-muc 22598 unknown 167 muc 379
1.89/1.91 c iter 637 time 1.89671 not-muc 22598 unknown 166 muc 380
1.89/1.91 c iter 638 time 1.90571 not-muc 22599 unknown 165 muc 380
1.99/2.01 c iter 639 time 1.90771 not-muc 22600 unknown 164 muc 380
1.99/2.01 c iter 640 time 1.90871 not-muc 22600 unknown 163 muc 381
1.99/2.01 c iter 641 time 1.90971 not-muc 22600 unknown 162 muc 382
1.99/2.01 c iter 642 time 1.91071 not-muc 22600 unknown 161 muc 383
1.99/2.01 c iter 643 time 1.91171 not-muc 22600 unknown 160 muc 384
1.99/2.01 c iter 644 time 1.91271 not-muc 22600 unknown 159 muc 385
1.99/2.01 c iter 645 time 1.91371 not-muc 22600 unknown 158 muc 386
1.99/2.01 c iter 646 time 1.91471 not-muc 22600 unknown 157 muc 387
1.99/2.01 c iter 647 time 1.91571 not-muc 22600 unknown 156 muc 388
1.99/2.01 c iter 648 time 1.91671 not-muc 22600 unknown 155 muc 389
1.99/2.01 c iter 649 time 1.91771 not-muc 22600 unknown 154 muc 390
1.99/2.01 c iter 650 time 1.91871 not-muc 22600 unknown 153 muc 391
1.99/2.01 c iter 651 time 1.91971 not-muc 22600 unknown 152 muc 392
1.99/2.01 c iter 652 time 1.92171 not-muc 22600 unknown 151 muc 393
1.99/2.01 c iter 653 time 1.92271 not-muc 22600 unknown 150 muc 394
1.99/2.01 c iter 654 time 1.92371 not-muc 22600 unknown 149 muc 395
1.99/2.01 c iter 655 time 1.92471 not-muc 22600 unknown 148 muc 396
1.99/2.01 c iter 656 time 1.92571 not-muc 22600 unknown 147 muc 397
1.99/2.01 c iter 657 time 1.92671 not-muc 22600 unknown 146 muc 398
1.99/2.01 c iter 658 time 1.92771 not-muc 22600 unknown 145 muc 399
1.99/2.01 c iter 659 time 1.92871 not-muc 22600 unknown 144 muc 400
1.99/2.01 c iter 660 time 1.92971 not-muc 22600 unknown 143 muc 401
1.99/2.01 c iter 661 time 1.93171 not-muc 22600 unknown 142 muc 402
1.99/2.01 c iter 662 time 1.93271 not-muc 22600 unknown 141 muc 403
1.99/2.01 c iter 663 time 1.93471 not-muc 22601 unknown 140 muc 403
1.99/2.01 c iter 664 time 1.93571 not-muc 22601 unknown 139 muc 404
1.99/2.01 c iter 665 time 1.93771 not-muc 22601 unknown 138 muc 405
1.99/2.01 c iter 666 time 1.93871 not-muc 22601 unknown 137 muc 406
1.99/2.01 c iter 667 time 1.93971 not-muc 22601 unknown 136 muc 407
1.99/2.01 c iter 668 time 1.9407 not-muc 22601 unknown 135 muc 408
1.99/2.01 c iter 669 time 1.9427 not-muc 22601 unknown 134 muc 409
1.99/2.01 c iter 670 time 1.9447 not-muc 22601 unknown 133 muc 410
1.99/2.01 c iter 671 time 1.9467 not-muc 22603 unknown 131 muc 410
1.99/2.01 c iter 672 time 1.9477 not-muc 22603 unknown 130 muc 411
1.99/2.01 c iter 673 time 1.9507 not-muc 22604 unknown 129 muc 411
1.99/2.01 c iter 674 time 1.9517 not-muc 22604 unknown 128 muc 412
1.99/2.01 c iter 675 time 1.9547 not-muc 22604 unknown 127 muc 413
1.99/2.01 c iter 676 time 1.9557 not-muc 22604 unknown 126 muc 414
1.99/2.01 c iter 677 time 1.9567 not-muc 22604 unknown 125 muc 415
1.99/2.01 c iter 678 time 1.9597 not-muc 22605 unknown 124 muc 415
1.99/2.01 c iter 679 time 1.9637 not-muc 22605 unknown 123 muc 416
1.99/2.01 c iter 680 time 1.9647 not-muc 22605 unknown 122 muc 417
1.99/2.01 c iter 681 time 1.9657 not-muc 22605 unknown 121 muc 418
1.99/2.01 c iter 682 time 1.9667 not-muc 22605 unknown 120 muc 419
1.99/2.01 c iter 683 time 1.9677 not-muc 22605 unknown 119 muc 420
1.99/2.01 c iter 684 time 1.9697 not-muc 22605 unknown 118 muc 421
1.99/2.01 c iter 685 time 1.9707 not-muc 22605 unknown 117 muc 422
1.99/2.01 c iter 686 time 1.9727 not-muc 22605 unknown 116 muc 423
1.99/2.01 c iter 687 time 1.9737 not-muc 22605 unknown 115 muc 424
1.99/2.01 c iter 688 time 1.9747 not-muc 22605 unknown 114 muc 425
1.99/2.01 c iter 689 time 1.9757 not-muc 22605 unknown 113 muc 426
1.99/2.01 c iter 690 time 1.9757 not-muc 22605 unknown 112 muc 427
1.99/2.01 c iter 691 time 1.9777 not-muc 22605 unknown 111 muc 428
1.99/2.01 c iter 692 time 1.9807 not-muc 22605 unknown 110 muc 429
1.99/2.01 c iter 693 time 1.9827 not-muc 22605 unknown 109 muc 430
1.99/2.01 c iter 694 time 1.9847 not-muc 22605 unknown 108 muc 431
1.99/2.01 c iter 695 time 1.9857 not-muc 22605 unknown 107 muc 432
1.99/2.01 c iter 696 time 1.9877 not-muc 22605 unknown 106 muc 433
1.99/2.01 c iter 697 time 1.9887 not-muc 22605 unknown 105 muc 434
1.99/2.01 c iter 698 time 1.9907 not-muc 22605 unknown 104 muc 435
1.99/2.01 c iter 699 time 1.9917 not-muc 22605 unknown 103 muc 436
1.99/2.01 c iter 700 time 1.9927 not-muc 22605 unknown 102 muc 437
1.99/2.01 c iter 701 time 1.9957 not-muc 22605 unknown 101 muc 438
1.99/2.01 c iter 702 time 1.9977 not-muc 22605 unknown 100 muc 439
1.99/2.01 c iter 703 time 1.9987 not-muc 22605 unknown 99 muc 440
1.99/2.01 c iter 704 time 2.00069 not-muc 22605 unknown 98 muc 441
1.99/2.01 c iter 705 time 2.00169 not-muc 22605 unknown 97 muc 442
1.99/2.01 c iter 706 time 2.0027 not-muc 22605 unknown 96 muc 443
1.99/2.01 c iter 707 time 2.0037 not-muc 22605 unknown 95 muc 444
1.99/2.01 c iter 708 time 2.00769 not-muc 22606 unknown 94 muc 444
1.99/2.01 c iter 709 time 2.00869 not-muc 22606 unknown 93 muc 445
1.99/2.01 c iter 710 time 2.01069 not-muc 22607 unknown 92 muc 445
2.09/2.12 c iter 711 time 2.01169 not-muc 22607 unknown 91 muc 446
2.09/2.12 c iter 712 time 2.02069 not-muc 22608 unknown 90 muc 446
2.09/2.12 c iter 713 time 2.02269 not-muc 22609 unknown 89 muc 446
2.09/2.12 c iter 714 time 2.02469 not-muc 22609 unknown 88 muc 447
2.09/2.12 c iter 715 time 2.02569 not-muc 22609 unknown 87 muc 448
2.09/2.12 c iter 716 time 2.02669 not-muc 22609 unknown 86 muc 449
2.09/2.12 c iter 717 time 2.02769 not-muc 22609 unknown 85 muc 450
2.09/2.12 c iter 718 time 2.02869 not-muc 22609 unknown 84 muc 451
2.09/2.12 c iter 719 time 2.03069 not-muc 22609 unknown 83 muc 452
2.09/2.12 c iter 720 time 2.03169 not-muc 22609 unknown 82 muc 453
2.09/2.12 c iter 721 time 2.03269 not-muc 22609 unknown 81 muc 454
2.09/2.12 c iter 722 time 2.03369 not-muc 22609 unknown 80 muc 455
2.09/2.12 c iter 723 time 2.03469 not-muc 22609 unknown 79 muc 456
2.09/2.12 c iter 724 time 2.03569 not-muc 22609 unknown 78 muc 457
2.09/2.12 c iter 725 time 2.03869 not-muc 22610 unknown 77 muc 457
2.09/2.12 c iter 726 time 2.03969 not-muc 22610 unknown 76 muc 458
2.09/2.12 c iter 727 time 2.04069 not-muc 22610 unknown 75 muc 459
2.09/2.12 c iter 728 time 2.04169 not-muc 22610 unknown 74 muc 460
2.09/2.12 c iter 729 time 2.04269 not-muc 22610 unknown 73 muc 461
2.09/2.12 c iter 730 time 2.04369 not-muc 22611 unknown 72 muc 461
2.09/2.12 c iter 731 time 2.04569 not-muc 22611 unknown 71 muc 462
2.09/2.12 c iter 732 time 2.04869 not-muc 22611 unknown 70 muc 463
2.09/2.12 c iter 733 time 2.04969 not-muc 22611 unknown 69 muc 464
2.09/2.12 c iter 734 time 2.05069 not-muc 22611 unknown 68 muc 465
2.09/2.12 c iter 735 time 2.05169 not-muc 22611 unknown 67 muc 466
2.09/2.12 c iter 736 time 2.05269 not-muc 22611 unknown 66 muc 467
2.09/2.12 c iter 737 time 2.05369 not-muc 22611 unknown 65 muc 468
2.09/2.12 c iter 738 time 2.05669 not-muc 22611 unknown 64 muc 469
2.09/2.12 c iter 739 time 2.05769 not-muc 22611 unknown 63 muc 470
2.09/2.12 c iter 740 time 2.05869 not-muc 22611 unknown 62 muc 471
2.09/2.12 c iter 741 time 2.05969 not-muc 22611 unknown 61 muc 472
2.09/2.12 c iter 742 time 2.06069 not-muc 22611 unknown 60 muc 473
2.09/2.12 c iter 743 time 2.06169 not-muc 22611 unknown 59 muc 474
2.09/2.12 c iter 744 time 2.06269 not-muc 22611 unknown 58 muc 475
2.09/2.12 c iter 745 time 2.06369 not-muc 22611 unknown 57 muc 476
2.09/2.12 c iter 746 time 2.06768 not-muc 22612 unknown 56 muc 476
2.09/2.12 c iter 747 time 2.06868 not-muc 22612 unknown 55 muc 477
2.09/2.12 c iter 748 time 2.06968 not-muc 22612 unknown 54 muc 478
2.09/2.12 c iter 749 time 2.07168 not-muc 22612 unknown 53 muc 479
2.09/2.12 c iter 750 time 2.07268 not-muc 22612 unknown 52 muc 480
2.09/2.12 c iter 751 time 2.07368 not-muc 22612 unknown 51 muc 481
2.09/2.12 c iter 752 time 2.07468 not-muc 22612 unknown 50 muc 482
2.09/2.12 c iter 753 time 2.07568 not-muc 22612 unknown 49 muc 483
2.09/2.12 c iter 754 time 2.08268 not-muc 22613 unknown 48 muc 483
2.09/2.12 c iter 755 time 2.08368 not-muc 22613 unknown 47 muc 484
2.09/2.12 c iter 756 time 2.08468 not-muc 22613 unknown 46 muc 485
2.09/2.12 c iter 757 time 2.08568 not-muc 22613 unknown 45 muc 486
2.09/2.12 c iter 758 time 2.08668 not-muc 22613 unknown 44 muc 487
2.09/2.12 c iter 759 time 2.08768 not-muc 22613 unknown 43 muc 488
2.09/2.12 c iter 760 time 2.08868 not-muc 22613 unknown 42 muc 489
2.09/2.12 c iter 761 time 2.09068 not-muc 22614 unknown 41 muc 489
2.09/2.12 c iter 762 time 2.09268 not-muc 22614 unknown 40 muc 490
2.09/2.12 c iter 763 time 2.09368 not-muc 22614 unknown 39 muc 491
2.09/2.12 c iter 764 time 2.09368 not-muc 22614 unknown 38 muc 492
2.09/2.12 c iter 765 time 2.09568 not-muc 22614 unknown 37 muc 493
2.09/2.12 c iter 766 time 2.09668 not-muc 22614 unknown 36 muc 494
2.09/2.12 c iter 767 time 2.09768 not-muc 22614 unknown 35 muc 495
2.09/2.12 c iter 768 time 2.09868 not-muc 22614 unknown 34 muc 496
2.09/2.12 c iter 769 time 2.09968 not-muc 22614 unknown 33 muc 497
2.09/2.12 c iter 770 time 2.10068 not-muc 22614 unknown 32 muc 498
2.09/2.12 c iter 771 time 2.10168 not-muc 22615 unknown 31 muc 498
2.09/2.12 c iter 772 time 2.10268 not-muc 22615 unknown 30 muc 499
2.09/2.12 c iter 773 time 2.10368 not-muc 22615 unknown 29 muc 500
2.09/2.12 c iter 774 time 2.10468 not-muc 22615 unknown 28 muc 501
2.09/2.12 c iter 775 time 2.10668 not-muc 22615 unknown 27 muc 502
2.09/2.12 c iter 776 time 2.10768 not-muc 22615 unknown 26 muc 503
2.09/2.12 c iter 777 time 2.10868 not-muc 22615 unknown 25 muc 504
2.09/2.12 c iter 778 time 2.11068 not-muc 22615 unknown 24 muc 505
2.09/2.12 c iter 779 time 2.11168 not-muc 22615 unknown 23 muc 506
2.09/2.12 c iter 780 time 2.11268 not-muc 22615 unknown 22 muc 507
2.09/2.12 c iter 781 time 2.11368 not-muc 22615 unknown 21 muc 508
2.09/2.12 c iter 782 time 2.11468 not-muc 22615 unknown 20 muc 509
2.09/2.15 c iter 783 time 2.11568 not-muc 22615 unknown 19 muc 510
2.09/2.15 c iter 784 time 2.11868 not-muc 22615 unknown 18 muc 511
2.09/2.15 c iter 785 time 2.12168 not-muc 22616 unknown 17 muc 511
2.09/2.15 c iter 786 time 2.12468 not-muc 22617 unknown 16 muc 511
2.09/2.15 c iter 787 time 2.12568 not-muc 22617 unknown 15 muc 512
2.09/2.15 c iter 788 time 2.12768 not-muc 22617 unknown 14 muc 513
2.09/2.15 c iter 789 time 2.12868 not-muc 22617 unknown 13 muc 514
2.09/2.15 c iter 790 time 2.13068 not-muc 22617 unknown 12 muc 515
2.09/2.15 c iter 791 time 2.13167 not-muc 22617 unknown 11 muc 516
2.09/2.15 c iter 792 time 2.13267 not-muc 22617 unknown 10 muc 517
2.09/2.15 c iter 793 time 2.13368 not-muc 22617 unknown 9 muc 518
2.09/2.15 c iter 794 time 2.13468 not-muc 22618 unknown 8 muc 518
2.09/2.15 c iter 795 time 2.13567 not-muc 22618 unknown 7 muc 519
2.09/2.15 c iter 796 time 2.13667 not-muc 22618 unknown 6 muc 520
2.09/2.15 c iter 797 time 2.13767 not-muc 22618 unknown 5 muc 521
2.09/2.15 c iter 798 time 2.13867 not-muc 22618 unknown 4 muc 522
2.09/2.15 c iter 799 time 2.14067 not-muc 22619 unknown 3 muc 522
2.09/2.15 c iter 800 time 2.14367 not-muc 22619 unknown 2 muc 523
2.09/2.15 c iter 801 time 2.14467 not-muc 22619 unknown 1 muc 524
2.09/2.15 c final iter 802 time 2.14567 not-muc 22619 unknown 0 muc 525
2.09/2.15 v 3 40 61 107 110 117 145 197 353 378 400 417 465 621 678 706 730 753 770 901 947 1033 1049 1061 1091 1139 1173 1201 1231 1258 1343 1366 1376 1381 1408 1495 1680 1739 1749 1883 1892 1918 1945 1984 1990 2020 2140 2181 2310 2366 2375 2388 2485 2589 2616 2652 2668 2693 2746 2781 2872 3031 3071 3085 3088 3126 3152 3159 3175 3193 3205 3211 3280 3292 3296 3304 3349 3374 3445 3461 3484 3511 3628 3664 3679 3698 3721 3824 3846 3904 3956 3972 3990 4244 4261 4288 4304 4320 4423 4433 4450 4482 4493 4524 4719 4763 4925 4970 4980 5015 5054 5101 5107 5118 5143 5153 5166 5212 5249 5348 5404 5449 5591 5602 5621 5649 5679 5682 5742 5769 5810 5871 5990 6001 6067 6132 6152 6165 6211 6231 6253 6290 6357 6365 6431 6451 6470 6552 6605 6650 6658 6689 6690 6695 6751 6813 6838 6899 6906 6949 6957 6966 7003 7066 7187 7190 7250 7326 7332 7351 7483 7561 7596 7650 7680 7753 7790 7794 7935 7936 7938 7994 8001 8022 8023 8154 8195 8218 8255 8340 8351 8379 8407 8423 8438 8610 8626 8716 8717 8738 8769 8828 8867 8903 8905 9001 9004 9010 9060 9093 9129 9390 9447 9512 9526 9544 9624 9633 9665 9670 9681 9705 9796 9804 9808 9818 9835 9867 9948 9982 10080 10143 10238 10251 10298 10318 10328 10341 10364 10374 10375 10377 10383 10417 10427 10451 10506 10510 10588 10596 10656 10752 10818 10849 10879 10950 10972 10986 11017 11039 11045 11048 11110 11125 11148 11164 11216 11261 11400 11572 11633 11752 11762 11814 12017 12193 12212 12305 12312 12319 12390 12542 12564 12600 12602 12618 12640 12721 12748 12762 12820 12871 12918 12964 13068 13118 13156 13181 13217 13373 13386 13455 13465 13597 13604 13612 13631 13635 13645 13647 13673 13840 13922 14131 14132 14157 14175 14274 14402 14437 14461 14578 14619 14633 14869 14906 14915 14928 14941 14970 15003 15077 15100 15130 15194 15281 15288 15327 15333 15345 15376 15404 15410 15413 15415 15433 15460 15507 15518 15678 15681 15725 15912 15968 16004 16015 16024 16062 16064 16065 16078 16106 16206 16235 16258 16289 16365 16433 16504 16507 16552 16573 16586 16625 16629 16686 16711 16736 16764 16895 16919 16944 16953 17033 17206 17218 17259 17287 17319 17373 17380 17480 17507 17515 17578 17656 17749 17866 17867 17868 17899 18018 18143 18154 18181 18191 18197 18282 18302 18307 18334 18353 18389 18449 18634 18649 18738 18739 18748 18775 18820 19027 19052 19059 19069 19093 19100 19105 19187 19195 19366 19391 19405 19424 19533 19556 19600 19609 19673 19717 19728 19819 19902 19928 19947 19972 19980 20011 20021 20022 20044 20070 20107 20120 20133 20150 20246 20304 20327 20333 20368 20373 20423 20483 20492 20555 20663 20715 20788 20838 20878 20880 20999 21121 21140 21152 21207 21256 21318 21320 21369 21439 21451 21475 21523 21608 21656 21670 21714 21723 21724 21752 21767 21769 21770 21978 22010 22014 22024 22093 22150 22228 22237 22371 22475 22577 22583 22659 22669 22693 22709 22720 22746 22766 22794 22831 22865 22869 22928 22958 22970 23010 23029 23106 23121 0
2.09/2.15 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-3494119-1307809380/watcher-3494119-1307809380 -o /tmp/evaluation-result-3494119-1307809380/solver-3494119-1307809380 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3494119-1307809380.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.18 2.04 3/182 2158
/proc/meminfo: memFree=31583032/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=21128 CPUtime=0 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 792 0 0 0 0 0 0 0 22 0 1 0 892538911 21635072 734 33554432000 4194304 4311632 140733554239376 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 5282 736 216 29 0 1911 0
[startup+0.0410571 s]
/proc/loadavg: 1.00 1.18 2.04 3/182 2158
/proc/meminfo: memFree=31583032/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=23836 CPUtime=0.03 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 2037 0 0 0 3 0 0 0 22 0 1 0 892538911 24408064 1751 33554432000 4194304 4311632 140733554239376 18446744073709551615 4265746 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 5959 1751 225 29 0 2588 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23836
[startup+0.101043 s]
/proc/loadavg: 1.00 1.18 2.04 3/182 2158
/proc/meminfo: memFree=31583032/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=22340 CPUtime=0.09 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 2417 0 0 0 9 0 0 0 22 0 1 0 892538911 22876160 1925 33554432000 4194304 4311632 140733554239376 18446744073709551615 270616568867 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 5585 1925 245 29 0 2214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22340
[startup+0.301007 s]
/proc/loadavg: 1.00 1.18 2.04 3/182 2158
/proc/meminfo: memFree=31583032/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=31080 CPUtime=0.29 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 4656 0 0 0 29 0 0 0 23 0 1 0 892538911 31825920 4156 33554432000 4194304 4311632 140733554239376 18446744073709551615 4247291 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 7770 4156 262 29 0 4399 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31080
[startup+0.700961 s]
/proc/loadavg: 1.00 1.18 2.04 3/182 2158
/proc/meminfo: memFree=31583032/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=25044 CPUtime=0.69 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 5594 0 0 0 69 0 0 0 25 0 1 0 892538911 25645056 3016 33554432000 4194304 4311632 140733554239376 18446744073709551615 4264666 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 6261 3016 262 29 0 2890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25044
[startup+1.50082 s]
/proc/loadavg: 1.00 1.18 2.04 5/187 2291
/proc/meminfo: memFree=31548464/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=25044 CPUtime=1.49 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 5594 0 0 0 149 0 0 0 25 0 1 0 892538911 25645056 3016 33554432000 4194304 4311632 140733554239376 18446744073709551615 4247254 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 6261 3016 262 29 0 2890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25044
Solver just ended. Dumping a history of the last processes samples
[startup+1.90075 s]
/proc/loadavg: 1.00 1.18 2.04 5/187 2291
/proc/meminfo: memFree=31548464/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=25044 CPUtime=1.89 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 5594 0 0 0 189 0 0 0 25 0 1 0 892538911 25645056 3016 33554432000 4194304 4311632 140733554239376 18446744073709551615 4264698 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 6261 3016 262 29 0 2890 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 25044
[startup+2.10071 s]
/proc/loadavg: 1.00 1.18 2.04 4/184 2365
/proc/meminfo: memFree=31519332/32951124 swapFree=67052292/67111528
[pid=2158] ppid=2156 vsize=25044 CPUtime=2.09 cores=4,6
/proc/2158/stat : 2158 (hmuc-a) R 2156 2158 608 0 -1 4202496 5594 0 0 0 209 0 0 0 25 0 1 0 892538911 25645056 3016 33554432000 4194304 4311632 140733554239376 18446744073709551615 4264632 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/2158/statm: 6261 3016 262 29 0 2890 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 25044
Child status: 20
Real time (s): 2.15506
CPU time (s): 2.15367
CPU user time (s): 2.14567
CPU system time (s): 0.007998
CPU usage (%): 99.9357
Max. virtual memory (cumulated for all children) (KiB): 35500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14567
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5595
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= 31
runsolver used 0.009998 second user time and 0.007998 second system time
The end
Begin job on node108 at 2011-06-11 18:23:00
IDJOB=3494119
IDBENCH=89615
IDSOLVER=1983
FILE ID=node108/3494119-1307809380
RUNJOBID= node108-1307809379-2082
PBS_JOBID= 13551068
Free space on /tmp= 74100 MiB
SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/example2_gr_rcs_w5.shuffled.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494119-1307809380/watcher-3494119-1307809380 -o /tmp/evaluation-result-3494119-1307809380/solver-3494119-1307809380 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3494119-1307809380.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 15085cc71ff6395b066d36a6c47e4b97
RANDOM SEED=1851513688
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: 31585940 kB
Buffers: 298564 kB
Cached: 818748 kB
SwapCached: 25932 kB
Active: 531972 kB
Inactive: 618384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31585940 kB
SwapTotal: 67111528 kB
SwapFree: 67052292 kB
Dirty: 2728 kB
Writeback: 0 kB
AnonPages: 27876 kB
Mapped: 9288 kB
Slab: 149172 kB
PageTables: 5612 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 212404 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= 74096 MiB
End job on node108 at 2011-06-11 18:23:02