2.99/3.07 c WARNING: for repeatability, setting FPU to use double precision
2.99/3.07 c iter 1 time 0.109983 not-muc 41455 unknown 1796 muc 0
2.99/3.07 c iter 2 time 0.178972 not-muc 41801 unknown 1450 muc 0
2.99/3.07 c iter 3 time 0.181972 not-muc 41801 unknown 1449 muc 1
2.99/3.07 c iter 4 time 0.220966 not-muc 41834 unknown 1416 muc 1
2.99/3.07 c iter 5 time 0.238963 not-muc 41839 unknown 1411 muc 1
2.99/3.07 c iter 6 time 0.241963 not-muc 41839 unknown 1410 muc 2
2.99/3.07 c iter 7 time 0.249962 not-muc 41840 unknown 1409 muc 2
2.99/3.07 c iter 8 time 0.279957 not-muc 41853 unknown 1396 muc 2
2.99/3.07 c iter 9 time 0.281957 not-muc 41853 unknown 1395 muc 3
2.99/3.07 c iter 10 time 0.311952 not-muc 41856 unknown 1392 muc 3
2.99/3.07 c iter 11 time 0.338948 not-muc 41860 unknown 1388 muc 3
2.99/3.07 c iter 12 time 0.372943 not-muc 41862 unknown 1386 muc 3
2.99/3.07 c iter 13 time 0.410937 not-muc 41864 unknown 1384 muc 3
2.99/3.07 c iter 14 time 0.437933 not-muc 41868 unknown 1380 muc 3
2.99/3.07 c iter 15 time 0.481926 not-muc 41878 unknown 1370 muc 3
2.99/3.07 c iter 16 time 0.483926 not-muc 41878 unknown 1369 muc 4
2.99/3.07 c iter 17 time 0.501923 not-muc 41891 unknown 1356 muc 4
2.99/3.07 c iter 18 time 0.547916 not-muc 41922 unknown 1325 muc 4
2.99/3.07 c iter 19 time 0.59091 not-muc 41924 unknown 1323 muc 4
2.99/3.07 c iter 20 time 0.620905 not-muc 41925 unknown 1322 muc 4
2.99/3.07 c iter 21 time 0.672897 not-muc 41927 unknown 1320 muc 4
2.99/3.07 c iter 22 time 0.707892 not-muc 41952 unknown 1295 muc 4
2.99/3.07 c iter 23 time 0.771882 not-muc 42030 unknown 1217 muc 4
2.99/3.07 c iter 24 time 0.837872 not-muc 42062 unknown 1185 muc 4
2.99/3.07 c iter 25 time 0.842871 not-muc 42062 unknown 1184 muc 5
2.99/3.07 c iter 26 time 0.844871 not-muc 42062 unknown 1183 muc 6
2.99/3.07 c iter 27 time 0.846871 not-muc 42062 unknown 1182 muc 7
2.99/3.07 c iter 28 time 0.91686 not-muc 42071 unknown 1173 muc 7
2.99/3.07 c iter 29 time 0.91986 not-muc 42071 unknown 1172 muc 8
2.99/3.07 c iter 30 time 0.965853 not-muc 42106 unknown 1137 muc 8
2.99/3.07 c iter 31 time 0.995848 not-muc 42110 unknown 1133 muc 8
2.99/3.07 c iter 32 time 1.11583 not-muc 42144 unknown 1099 muc 8
2.99/3.07 c iter 33 time 1.20982 not-muc 42146 unknown 1097 muc 8
2.99/3.07 c iter 34 time 1.2838 not-muc 42147 unknown 1096 muc 8
2.99/3.07 c iter 35 time 1.35179 not-muc 42156 unknown 1087 muc 8
2.99/3.07 c iter 36 time 1.42478 not-muc 42163 unknown 1080 muc 8
2.99/3.07 c iter 37 time 1.42978 not-muc 42163 unknown 1079 muc 9
2.99/3.07 c iter 38 time 1.49777 not-muc 42164 unknown 1078 muc 9
2.99/3.07 c iter 39 time 1.54576 not-muc 42207 unknown 1035 muc 9
2.99/3.07 c iter 40 time 1.69274 not-muc 42217 unknown 1025 muc 9
2.99/3.07 c iter 41 time 1.76673 not-muc 42218 unknown 1024 muc 9
2.99/3.07 c iter 42 time 1.81972 not-muc 42219 unknown 1023 muc 9
2.99/3.07 c iter 43 time 1.82372 not-muc 42219 unknown 1022 muc 10
2.99/3.07 c iter 44 time 1.89171 not-muc 42220 unknown 1021 muc 10
2.99/3.07 c iter 45 time 1.9717 not-muc 42230 unknown 1011 muc 10
2.99/3.07 c iter 46 time 2.06469 not-muc 42232 unknown 1009 muc 10
2.99/3.07 c iter 47 time 2.15667 not-muc 42234 unknown 1007 muc 10
2.99/3.07 c iter 48 time 2.24866 not-muc 42236 unknown 1005 muc 10
2.99/3.07 c iter 49 time 2.25566 not-muc 42236 unknown 1004 muc 11
2.99/3.07 c iter 50 time 2.25766 not-muc 42236 unknown 1003 muc 12
2.99/3.07 c iter 51 time 2.26066 not-muc 42236 unknown 1002 muc 13
2.99/3.07 c iter 52 time 2.42063 not-muc 42240 unknown 998 muc 13
2.99/3.07 c iter 53 time 2.52462 not-muc 42242 unknown 996 muc 13
2.99/3.07 c iter 54 time 2.53062 not-muc 42242 unknown 995 muc 14
2.99/3.07 c iter 55 time 2.6046 not-muc 42249 unknown 988 muc 14
2.99/3.07 c iter 56 time 2.6116 not-muc 42249 unknown 987 muc 15
2.99/3.07 c iter 57 time 2.6136 not-muc 42249 unknown 986 muc 16
2.99/3.07 c iter 58 time 2.6156 not-muc 42249 unknown 985 muc 17
2.99/3.07 c iter 59 time 2.6586 not-muc 42259 unknown 975 muc 17
2.99/3.07 c iter 60 time 2.72159 not-muc 42274 unknown 960 muc 17
2.99/3.07 c iter 61 time 2.72559 not-muc 42274 unknown 959 muc 18
2.99/3.07 c iter 62 time 2.72758 not-muc 42274 unknown 958 muc 19
2.99/3.07 c iter 63 time 2.72959 not-muc 42274 unknown 957 muc 20
2.99/3.07 c iter 64 time 2.73358 not-muc 42274 unknown 956 muc 21
2.99/3.07 c iter 65 time 2.79857 not-muc 42276 unknown 954 muc 21
2.99/3.07 c iter 66 time 2.83657 not-muc 42278 unknown 952 muc 21
2.99/3.07 c iter 67 time 2.91356 not-muc 42280 unknown 950 muc 21
2.99/3.07 c iter 68 time 2.91856 not-muc 42280 unknown 949 muc 22
2.99/3.07 c iter 69 time 2.92355 not-muc 42280 unknown 948 muc 23
2.99/3.07 c iter 70 time 2.92656 not-muc 42280 unknown 947 muc 24
2.99/3.07 c iter 71 time 2.92855 not-muc 42280 unknown 946 muc 25
2.99/3.07 c iter 72 time 3.05754 not-muc 42281 unknown 945 muc 25
6.39/6.40 c iter 73 time 3.12552 not-muc 42282 unknown 944 muc 25
6.39/6.40 c iter 74 time 3.2605 not-muc 42283 unknown 943 muc 25
6.39/6.40 c iter 75 time 3.2665 not-muc 42283 unknown 942 muc 26
6.39/6.40 c iter 76 time 3.2685 not-muc 42283 unknown 941 muc 27
6.39/6.40 c iter 77 time 3.2705 not-muc 42283 unknown 940 muc 28
6.39/6.40 c iter 78 time 3.33449 not-muc 42285 unknown 938 muc 28
6.39/6.40 c iter 79 time 3.45847 not-muc 42286 unknown 937 muc 28
6.39/6.40 c iter 80 time 3.46547 not-muc 42286 unknown 936 muc 29
6.39/6.40 c iter 81 time 3.59545 not-muc 42287 unknown 935 muc 29
6.39/6.40 c iter 82 time 3.60745 not-muc 42287 unknown 934 muc 30
6.39/6.40 c iter 83 time 3.69344 not-muc 42288 unknown 933 muc 30
6.39/6.40 c iter 84 time 3.70044 not-muc 42288 unknown 932 muc 31
6.39/6.40 c iter 85 time 3.70344 not-muc 42288 unknown 931 muc 32
6.39/6.40 c iter 86 time 3.83542 not-muc 42289 unknown 930 muc 32
6.39/6.40 c iter 87 time 3.9174 not-muc 42290 unknown 929 muc 32
6.39/6.40 c iter 88 time 3.9244 not-muc 42290 unknown 928 muc 33
6.39/6.40 c iter 89 time 3.9284 not-muc 42290 unknown 927 muc 34
6.39/6.40 c iter 90 time 3.9314 not-muc 42290 unknown 926 muc 35
6.39/6.40 c iter 91 time 3.9344 not-muc 42290 unknown 925 muc 36
6.39/6.40 c iter 92 time 3.9364 not-muc 42290 unknown 924 muc 37
6.39/6.40 c iter 93 time 4.00639 not-muc 42291 unknown 923 muc 37
6.39/6.40 c iter 94 time 4.06338 not-muc 42295 unknown 919 muc 37
6.39/6.40 c iter 95 time 4.18236 not-muc 42297 unknown 917 muc 37
6.39/6.40 c iter 96 time 4.19436 not-muc 42297 unknown 916 muc 38
6.39/6.40 c iter 97 time 4.27835 not-muc 42301 unknown 912 muc 38
6.39/6.40 c iter 98 time 4.28435 not-muc 42301 unknown 911 muc 39
6.39/6.40 c iter 99 time 4.30934 not-muc 42302 unknown 910 muc 39
6.39/6.40 c iter 100 time 4.31234 not-muc 42302 unknown 909 muc 40
6.39/6.40 c iter 101 time 4.31434 not-muc 42302 unknown 908 muc 41
6.39/6.40 c iter 102 time 4.31634 not-muc 42302 unknown 907 muc 42
6.39/6.40 c iter 103 time 4.35334 not-muc 42305 unknown 904 muc 42
6.39/6.40 c iter 104 time 4.45032 not-muc 42307 unknown 902 muc 42
6.39/6.40 c iter 105 time 4.50731 not-muc 42309 unknown 900 muc 42
6.39/6.40 c iter 106 time 4.5803 not-muc 42310 unknown 899 muc 42
6.39/6.40 c iter 107 time 4.5853 not-muc 42310 unknown 898 muc 43
6.39/6.40 c iter 108 time 4.72228 not-muc 42312 unknown 896 muc 43
6.39/6.40 c iter 109 time 4.79427 not-muc 42345 unknown 863 muc 43
6.39/6.40 c iter 110 time 4.80227 not-muc 42345 unknown 862 muc 44
6.39/6.40 c iter 111 time 4.80527 not-muc 42345 unknown 861 muc 45
6.39/6.40 c iter 112 time 4.89126 not-muc 42346 unknown 860 muc 45
6.39/6.40 c iter 113 time 4.98124 not-muc 42347 unknown 859 muc 45
6.39/6.40 c iter 114 time 4.98824 not-muc 42347 unknown 858 muc 46
6.39/6.40 c iter 115 time 4.99124 not-muc 42347 unknown 857 muc 47
6.39/6.40 c iter 116 time 5.12222 not-muc 42348 unknown 856 muc 47
6.39/6.40 c iter 117 time 5.12922 not-muc 42348 unknown 855 muc 48
6.39/6.40 c iter 118 time 5.13222 not-muc 42348 unknown 854 muc 49
6.39/6.40 c iter 119 time 5.19921 not-muc 42350 unknown 852 muc 49
6.39/6.40 c iter 120 time 5.20821 not-muc 42350 unknown 851 muc 50
6.39/6.40 c iter 121 time 5.21021 not-muc 42350 unknown 850 muc 51
6.39/6.40 c iter 122 time 5.21321 not-muc 42350 unknown 849 muc 52
6.39/6.40 c iter 123 time 5.22121 not-muc 42350 unknown 848 muc 53
6.39/6.40 c iter 124 time 5.35618 not-muc 42351 unknown 847 muc 53
6.39/6.40 c iter 125 time 5.36218 not-muc 42351 unknown 846 muc 54
6.39/6.40 c iter 126 time 5.36418 not-muc 42351 unknown 845 muc 55
6.39/6.40 c iter 127 time 5.49316 not-muc 42352 unknown 844 muc 55
6.39/6.40 c iter 128 time 5.50116 not-muc 42352 unknown 843 muc 56
6.39/6.40 c iter 129 time 5.64414 not-muc 42353 unknown 842 muc 56
6.39/6.40 c iter 130 time 5.65114 not-muc 42353 unknown 841 muc 57
6.39/6.40 c iter 131 time 5.77112 not-muc 42354 unknown 840 muc 57
6.39/6.40 c iter 132 time 5.78212 not-muc 42354 unknown 839 muc 58
6.39/6.40 c iter 133 time 5.78612 not-muc 42354 unknown 838 muc 59
6.39/6.40 c iter 134 time 5.85711 not-muc 42355 unknown 837 muc 59
6.39/6.40 c iter 135 time 5.95809 not-muc 42356 unknown 836 muc 59
6.39/6.40 c iter 136 time 6.09607 not-muc 42357 unknown 835 muc 59
6.39/6.40 c iter 137 time 6.10307 not-muc 42357 unknown 834 muc 60
6.39/6.40 c iter 138 time 6.22005 not-muc 42358 unknown 833 muc 60
6.39/6.40 c iter 139 time 6.22905 not-muc 42358 unknown 832 muc 61
6.39/6.40 c iter 140 time 6.34803 not-muc 42359 unknown 831 muc 61
6.39/6.40 c iter 141 time 6.35603 not-muc 42359 unknown 830 muc 62
6.39/6.40 c iter 142 time 6.36203 not-muc 42359 unknown 829 muc 63
6.39/6.40 c iter 143 time 6.36403 not-muc 42359 unknown 828 muc 64
6.39/6.40 c iter 144 time 6.36803 not-muc 42359 unknown 827 muc 65
6.39/6.40 c iter 145 time 6.37203 not-muc 42359 unknown 826 muc 66
9.09/9.19 c iter 146 time 6.37503 not-muc 42359 unknown 825 muc 67
9.09/9.19 c iter 147 time 6.37903 not-muc 42359 unknown 824 muc 68
9.09/9.19 c iter 148 time 6.44802 not-muc 42360 unknown 823 muc 68
9.09/9.19 c iter 149 time 6.45602 not-muc 42360 unknown 822 muc 69
9.09/9.19 c iter 150 time 6.45902 not-muc 42360 unknown 821 muc 70
9.09/9.19 c iter 151 time 6.52301 not-muc 42361 unknown 820 muc 70
9.09/9.19 c iter 152 time 6.591 not-muc 42362 unknown 819 muc 70
9.09/9.19 c iter 153 time 6.596 not-muc 42362 unknown 818 muc 71
9.09/9.19 c iter 154 time 6.599 not-muc 42362 unknown 817 muc 72
9.09/9.19 c iter 155 time 6.601 not-muc 42362 unknown 816 muc 73
9.09/9.19 c iter 156 time 6.603 not-muc 42362 unknown 815 muc 74
9.09/9.19 c iter 157 time 6.60499 not-muc 42362 unknown 814 muc 75
9.09/9.19 c iter 158 time 6.60799 not-muc 42362 unknown 813 muc 76
9.09/9.19 c iter 159 time 6.60999 not-muc 42362 unknown 812 muc 77
9.09/9.19 c iter 160 time 6.61299 not-muc 42362 unknown 811 muc 78
9.09/9.19 c iter 161 time 6.61599 not-muc 42362 unknown 810 muc 79
9.09/9.19 c iter 162 time 6.61799 not-muc 42362 unknown 809 muc 80
9.09/9.19 c iter 163 time 6.71498 not-muc 42363 unknown 808 muc 80
9.09/9.19 c iter 164 time 6.72198 not-muc 42363 unknown 807 muc 81
9.09/9.19 c iter 165 time 6.72598 not-muc 42363 unknown 806 muc 82
9.09/9.19 c iter 166 time 6.80197 not-muc 42366 unknown 803 muc 82
9.09/9.19 c iter 167 time 6.87495 not-muc 42368 unknown 801 muc 82
9.09/9.19 c iter 168 time 6.95094 not-muc 42369 unknown 800 muc 82
9.09/9.19 c iter 169 time 6.95694 not-muc 42369 unknown 799 muc 83
9.09/9.19 c iter 170 time 7.03493 not-muc 42370 unknown 798 muc 83
9.09/9.19 c iter 171 time 7.10992 not-muc 42371 unknown 797 muc 83
9.09/9.19 c iter 172 time 7.12092 not-muc 42371 unknown 796 muc 84
9.09/9.19 c iter 173 time 7.12392 not-muc 42371 unknown 795 muc 85
9.09/9.19 c iter 174 time 7.12592 not-muc 42371 unknown 794 muc 86
9.09/9.19 c iter 175 time 7.18691 not-muc 42373 unknown 792 muc 86
9.09/9.19 c iter 176 time 7.31389 not-muc 42374 unknown 791 muc 86
9.09/9.19 c iter 177 time 7.38888 not-muc 42375 unknown 790 muc 86
9.09/9.19 c iter 178 time 7.39687 not-muc 42375 unknown 789 muc 87
9.09/9.19 c iter 179 time 7.40587 not-muc 42376 unknown 788 muc 87
9.09/9.19 c iter 180 time 7.49586 not-muc 42377 unknown 787 muc 87
9.09/9.19 c iter 181 time 7.62684 not-muc 42380 unknown 784 muc 87
9.09/9.19 c iter 182 time 7.72882 not-muc 42381 unknown 783 muc 87
9.09/9.19 c iter 183 time 7.73682 not-muc 42381 unknown 782 muc 88
9.09/9.19 c iter 184 time 7.78282 not-muc 42382 unknown 781 muc 88
9.09/9.19 c iter 185 time 7.85281 not-muc 42383 unknown 780 muc 88
9.09/9.19 c iter 186 time 7.8628 not-muc 42383 unknown 779 muc 89
9.09/9.19 c iter 187 time 7.8648 not-muc 42383 unknown 778 muc 90
9.09/9.19 c iter 188 time 7.8678 not-muc 42383 unknown 777 muc 91
9.09/9.19 c iter 189 time 7.8718 not-muc 42383 unknown 776 muc 92
9.09/9.19 c iter 190 time 7.8738 not-muc 42383 unknown 775 muc 93
9.09/9.19 c iter 191 time 7.8778 not-muc 42383 unknown 774 muc 94
9.09/9.19 c iter 192 time 7.8808 not-muc 42383 unknown 773 muc 95
9.09/9.19 c iter 193 time 8.00078 not-muc 42384 unknown 772 muc 95
9.09/9.19 c iter 194 time 8.07977 not-muc 42385 unknown 771 muc 95
9.09/9.19 c iter 195 time 8.17676 not-muc 42386 unknown 770 muc 95
9.09/9.19 c iter 196 time 8.30374 not-muc 42387 unknown 769 muc 95
9.09/9.19 c iter 197 time 8.31274 not-muc 42387 unknown 768 muc 96
9.09/9.19 c iter 198 time 8.31673 not-muc 42387 unknown 767 muc 97
9.09/9.19 c iter 199 time 8.38972 not-muc 42389 unknown 765 muc 97
9.09/9.19 c iter 200 time 8.39772 not-muc 42389 unknown 764 muc 98
9.09/9.19 c iter 201 time 8.40172 not-muc 42389 unknown 763 muc 99
9.09/9.19 c iter 202 time 8.40472 not-muc 42389 unknown 762 muc 100
9.09/9.19 c iter 203 time 8.45571 not-muc 42391 unknown 760 muc 100
9.09/9.19 c iter 204 time 8.46171 not-muc 42391 unknown 759 muc 101
9.09/9.19 c iter 205 time 8.5167 not-muc 42392 unknown 758 muc 101
9.09/9.19 c iter 206 time 8.65768 not-muc 42393 unknown 757 muc 101
9.09/9.19 c iter 207 time 8.66668 not-muc 42393 unknown 756 muc 102
9.09/9.19 c iter 208 time 8.67068 not-muc 42393 unknown 755 muc 103
9.09/9.19 c iter 209 time 8.67668 not-muc 42393 unknown 754 muc 104
9.09/9.19 c iter 210 time 8.74967 not-muc 42395 unknown 752 muc 104
9.09/9.19 c iter 211 time 8.75767 not-muc 42395 unknown 751 muc 105
9.09/9.19 c iter 212 time 8.87265 not-muc 42396 unknown 750 muc 105
9.09/9.19 c iter 213 time 8.98863 not-muc 42399 unknown 747 muc 105
9.09/9.19 c iter 214 time 8.99963 not-muc 42399 unknown 746 muc 106
9.09/9.19 c iter 215 time 9.07362 not-muc 42401 unknown 744 muc 106
9.09/9.19 c iter 216 time 9.08362 not-muc 42401 unknown 743 muc 107
9.09/9.19 c iter 217 time 9.15561 not-muc 42402 unknown 742 muc 107
11.59/11.64 c iter 218 time 9.16361 not-muc 42402 unknown 741 muc 108
11.59/11.64 c iter 219 time 9.29559 not-muc 42404 unknown 739 muc 108
11.59/11.64 c iter 220 time 9.36358 not-muc 42405 unknown 738 muc 108
11.59/11.64 c iter 221 time 9.49756 not-muc 42409 unknown 734 muc 108
11.59/11.64 c iter 222 time 9.50455 not-muc 42409 unknown 733 muc 109
11.59/11.64 c iter 223 time 9.50755 not-muc 42409 unknown 732 muc 110
11.59/11.64 c iter 224 time 9.64453 not-muc 42411 unknown 730 muc 110
11.59/11.64 c iter 225 time 9.76851 not-muc 42412 unknown 729 muc 110
11.59/11.64 c iter 226 time 9.90449 not-muc 42414 unknown 727 muc 110
11.59/11.64 c iter 227 time 10.0455 not-muc 42415 unknown 726 muc 110
11.59/11.64 c iter 228 time 10.0555 not-muc 42415 unknown 725 muc 111
11.59/11.64 c iter 229 time 10.0605 not-muc 42415 unknown 724 muc 112
11.59/11.64 c iter 230 time 10.0665 not-muc 42415 unknown 723 muc 113
11.59/11.64 c iter 231 time 10.1225 not-muc 42418 unknown 720 muc 113
11.59/11.64 c iter 232 time 10.1305 not-muc 42418 unknown 719 muc 114
11.59/11.64 c iter 233 time 10.1345 not-muc 42418 unknown 718 muc 115
11.59/11.64 c iter 234 time 10.1385 not-muc 42418 unknown 717 muc 116
11.59/11.64 c iter 235 time 10.1425 not-muc 42418 unknown 716 muc 117
11.59/11.64 c iter 236 time 10.1565 not-muc 42418 unknown 715 muc 118
11.59/11.64 c iter 237 time 10.2504 not-muc 42421 unknown 712 muc 118
11.59/11.64 c iter 238 time 10.3214 not-muc 42423 unknown 710 muc 118
11.59/11.64 c iter 239 time 10.3304 not-muc 42423 unknown 709 muc 119
11.59/11.64 c iter 240 time 10.3354 not-muc 42423 unknown 708 muc 120
11.59/11.64 c iter 241 time 10.3404 not-muc 42423 unknown 707 muc 121
11.59/11.64 c iter 242 time 10.3454 not-muc 42423 unknown 706 muc 122
11.59/11.64 c iter 243 time 10.3504 not-muc 42423 unknown 705 muc 123
11.59/11.64 c iter 244 time 10.4214 not-muc 42429 unknown 699 muc 123
11.59/11.64 c iter 245 time 10.4284 not-muc 42429 unknown 698 muc 124
11.59/11.64 c iter 246 time 10.4324 not-muc 42429 unknown 697 muc 125
11.59/11.64 c iter 247 time 10.4354 not-muc 42429 unknown 696 muc 126
11.59/11.64 c iter 248 time 10.5614 not-muc 42438 unknown 687 muc 126
11.59/11.64 c iter 249 time 10.6914 not-muc 42439 unknown 686 muc 126
11.59/11.64 c iter 250 time 10.8454 not-muc 42442 unknown 683 muc 126
11.59/11.64 c iter 251 time 10.8553 not-muc 42442 unknown 682 muc 127
11.59/11.64 c iter 252 time 10.9723 not-muc 42444 unknown 680 muc 127
11.59/11.64 c iter 253 time 10.9823 not-muc 42444 unknown 679 muc 128
11.59/11.64 c iter 254 time 10.9853 not-muc 42444 unknown 678 muc 129
11.59/11.64 c iter 255 time 11.0463 not-muc 42446 unknown 676 muc 129
11.59/11.64 c iter 256 time 11.0543 not-muc 42446 unknown 675 muc 130
11.59/11.64 c iter 257 time 11.0593 not-muc 42446 unknown 674 muc 131
11.59/11.64 c iter 258 time 11.0893 not-muc 42447 unknown 673 muc 131
11.59/11.64 c iter 259 time 11.0943 not-muc 42447 unknown 672 muc 132
11.59/11.64 c iter 260 time 11.2293 not-muc 42448 unknown 671 muc 132
11.59/11.64 c iter 261 time 11.2403 not-muc 42448 unknown 670 muc 133
11.59/11.64 c iter 262 time 11.2463 not-muc 42448 unknown 669 muc 134
11.59/11.64 c iter 263 time 11.2543 not-muc 42448 unknown 668 muc 135
11.59/11.64 c iter 264 time 11.2633 not-muc 42448 unknown 667 muc 136
11.59/11.64 c iter 265 time 11.2693 not-muc 42448 unknown 666 muc 137
11.59/11.64 c iter 266 time 11.2733 not-muc 42448 unknown 665 muc 138
11.59/11.64 c iter 267 time 11.2793 not-muc 42448 unknown 664 muc 139
11.59/11.64 c iter 268 time 11.2953 not-muc 42448 unknown 663 muc 140
11.59/11.64 c iter 269 time 11.3663 not-muc 42449 unknown 662 muc 140
11.59/11.64 c iter 270 time 11.3753 not-muc 42449 unknown 661 muc 141
11.59/11.64 c iter 271 time 11.3803 not-muc 42449 unknown 660 muc 142
11.59/11.64 c iter 272 time 11.3853 not-muc 42449 unknown 659 muc 143
11.59/11.64 c iter 273 time 11.5122 not-muc 42451 unknown 657 muc 143
11.59/11.64 c iter 274 time 11.5222 not-muc 42451 unknown 656 muc 144
11.59/11.64 c iter 275 time 11.5282 not-muc 42451 unknown 655 muc 145
11.59/11.64 c iter 276 time 11.5342 not-muc 42451 unknown 654 muc 146
11.59/11.64 c iter 277 time 11.5382 not-muc 42451 unknown 653 muc 147
11.59/11.64 c iter 278 time 11.5452 not-muc 42451 unknown 652 muc 148
11.59/11.64 c iter 279 time 11.5522 not-muc 42451 unknown 651 muc 149
11.59/11.64 c iter 280 time 11.5602 not-muc 42451 unknown 650 muc 150
11.59/11.64 c iter 281 time 11.5642 not-muc 42451 unknown 649 muc 151
11.59/11.64 c iter 282 time 11.5722 not-muc 42451 unknown 648 muc 152
11.59/11.64 c iter 283 time 11.5792 not-muc 42451 unknown 647 muc 153
11.59/11.64 c iter 284 time 11.5862 not-muc 42451 unknown 646 muc 154
11.59/11.64 c iter 285 time 11.5912 not-muc 42451 unknown 645 muc 155
11.59/11.64 c iter 286 time 11.5992 not-muc 42451 unknown 644 muc 156
11.59/11.64 c iter 287 time 11.6042 not-muc 42451 unknown 643 muc 157
13.69/13.71 c iter 288 time 11.7012 not-muc 42453 unknown 641 muc 157
13.69/13.71 c iter 289 time 11.7122 not-muc 42453 unknown 640 muc 158
13.69/13.71 c iter 290 time 11.7702 not-muc 42455 unknown 638 muc 158
13.69/13.71 c iter 291 time 11.7792 not-muc 42455 unknown 637 muc 159
13.69/13.71 c iter 292 time 11.7822 not-muc 42455 unknown 636 muc 160
13.69/13.71 c iter 293 time 11.7952 not-muc 42455 unknown 635 muc 161
13.69/13.71 c iter 294 time 11.7992 not-muc 42455 unknown 634 muc 162
13.69/13.71 c iter 295 time 11.8042 not-muc 42455 unknown 633 muc 163
13.69/13.71 c iter 296 time 11.8082 not-muc 42455 unknown 632 muc 164
13.69/13.71 c iter 297 time 11.8112 not-muc 42455 unknown 631 muc 165
13.69/13.71 c iter 298 time 11.8772 not-muc 42456 unknown 630 muc 165
13.69/13.71 c iter 299 time 11.8852 not-muc 42456 unknown 629 muc 166
13.69/13.71 c iter 300 time 11.8892 not-muc 42456 unknown 628 muc 167
13.69/13.71 c iter 301 time 11.8932 not-muc 42456 unknown 627 muc 168
13.69/13.71 c iter 302 time 12.0042 not-muc 42457 unknown 626 muc 168
13.69/13.71 c iter 303 time 12.0762 not-muc 42458 unknown 625 muc 168
13.69/13.71 c iter 304 time 12.0842 not-muc 42458 unknown 624 muc 169
13.69/13.71 c iter 305 time 12.2091 not-muc 42460 unknown 622 muc 169
13.69/13.71 c iter 306 time 12.2201 not-muc 42460 unknown 621 muc 170
13.69/13.71 c iter 307 time 12.2241 not-muc 42460 unknown 620 muc 171
13.69/13.71 c iter 308 time 12.2301 not-muc 42460 unknown 619 muc 172
13.69/13.71 c iter 309 time 12.3111 not-muc 42461 unknown 618 muc 172
13.69/13.71 c iter 310 time 12.3201 not-muc 42461 unknown 617 muc 173
13.69/13.71 c iter 311 time 12.3251 not-muc 42461 unknown 616 muc 174
13.69/13.71 c iter 312 time 12.3291 not-muc 42461 unknown 615 muc 175
13.69/13.71 c iter 313 time 12.3361 not-muc 42461 unknown 614 muc 176
13.69/13.71 c iter 314 time 12.3461 not-muc 42461 unknown 613 muc 177
13.69/13.71 c iter 315 time 12.3511 not-muc 42461 unknown 612 muc 178
13.69/13.71 c iter 316 time 12.3551 not-muc 42461 unknown 611 muc 179
13.69/13.71 c iter 317 time 12.4241 not-muc 42462 unknown 610 muc 179
13.69/13.71 c iter 318 time 12.4321 not-muc 42462 unknown 609 muc 180
13.69/13.71 c iter 319 time 12.5581 not-muc 42463 unknown 608 muc 180
13.69/13.71 c iter 320 time 12.5671 not-muc 42463 unknown 607 muc 181
13.69/13.71 c iter 321 time 12.5711 not-muc 42463 unknown 606 muc 182
13.69/13.71 c iter 322 time 12.5761 not-muc 42463 unknown 605 muc 183
13.69/13.71 c iter 323 time 12.5801 not-muc 42463 unknown 604 muc 184
13.69/13.71 c iter 324 time 12.6381 not-muc 42464 unknown 603 muc 184
13.69/13.71 c iter 325 time 12.6471 not-muc 42464 unknown 602 muc 185
13.69/13.71 c iter 326 time 12.7591 not-muc 42465 unknown 601 muc 185
13.69/13.71 c iter 327 time 12.7671 not-muc 42465 unknown 600 muc 186
13.69/13.71 c iter 328 time 12.7721 not-muc 42465 unknown 599 muc 187
13.69/13.71 c iter 329 time 12.835 not-muc 42466 unknown 598 muc 187
13.69/13.71 c iter 330 time 12.891 not-muc 42470 unknown 594 muc 187
13.69/13.71 c iter 331 time 13.01 not-muc 42472 unknown 592 muc 187
13.69/13.71 c iter 332 time 13.018 not-muc 42472 unknown 591 muc 188
13.69/13.71 c iter 333 time 13.022 not-muc 42472 unknown 590 muc 189
13.69/13.71 c iter 334 time 13.027 not-muc 42472 unknown 589 muc 190
13.69/13.71 c iter 335 time 13.032 not-muc 42472 unknown 588 muc 191
13.69/13.71 c iter 336 time 13.176 not-muc 42473 unknown 587 muc 191
13.69/13.71 c iter 337 time 13.188 not-muc 42473 unknown 586 muc 192
13.69/13.71 c iter 338 time 13.193 not-muc 42473 unknown 585 muc 193
13.69/13.71 c iter 339 time 13.197 not-muc 42473 unknown 584 muc 194
13.69/13.71 c iter 340 time 13.203 not-muc 42473 unknown 583 muc 195
13.69/13.71 c iter 341 time 13.208 not-muc 42473 unknown 582 muc 196
13.69/13.71 c iter 342 time 13.213 not-muc 42473 unknown 581 muc 197
13.69/13.71 c iter 343 time 13.309 not-muc 42475 unknown 579 muc 197
13.69/13.71 c iter 344 time 13.319 not-muc 42475 unknown 578 muc 198
13.69/13.71 c iter 345 time 13.324 not-muc 42475 unknown 577 muc 199
13.69/13.71 c iter 346 time 13.329 not-muc 42475 unknown 576 muc 200
13.69/13.71 c iter 347 time 13.333 not-muc 42475 unknown 575 muc 201
13.69/13.71 c iter 348 time 13.339 not-muc 42475 unknown 574 muc 202
13.69/13.71 c iter 349 time 13.408 not-muc 42487 unknown 562 muc 202
13.69/13.71 c iter 350 time 13.418 not-muc 42487 unknown 561 muc 203
13.69/13.71 c iter 351 time 13.433 not-muc 42487 unknown 560 muc 204
13.69/13.71 c iter 352 time 13.438 not-muc 42487 unknown 559 muc 205
13.69/13.71 c iter 353 time 13.442 not-muc 42487 unknown 558 muc 206
13.69/13.71 c iter 354 time 13.5749 not-muc 42494 unknown 551 muc 206
13.69/13.71 c iter 355 time 13.5869 not-muc 42494 unknown 550 muc 207
13.69/13.71 c iter 356 time 13.5949 not-muc 42494 unknown 549 muc 208
13.69/13.71 c iter 357 time 13.6039 not-muc 42494 unknown 548 muc 209
13.69/13.71 c iter 358 time 13.6719 not-muc 42495 unknown 547 muc 209
16.78/16.82 c iter 359 time 13.6819 not-muc 42495 unknown 546 muc 210
16.78/16.82 c iter 360 time 13.7839 not-muc 42497 unknown 544 muc 210
16.78/16.82 c iter 361 time 13.7919 not-muc 42497 unknown 543 muc 211
16.78/16.82 c iter 362 time 13.7959 not-muc 42497 unknown 542 muc 212
16.78/16.82 c iter 363 time 13.8009 not-muc 42497 unknown 541 muc 213
16.78/16.82 c iter 364 time 13.8049 not-muc 42497 unknown 540 muc 214
16.78/16.82 c iter 365 time 13.8109 not-muc 42497 unknown 539 muc 215
16.78/16.82 c iter 366 time 13.8149 not-muc 42497 unknown 538 muc 216
16.78/16.82 c iter 367 time 13.9309 not-muc 42500 unknown 535 muc 216
16.78/16.82 c iter 368 time 13.9419 not-muc 42500 unknown 534 muc 217
16.78/16.82 c iter 369 time 14.0779 not-muc 42501 unknown 533 muc 217
16.78/16.82 c iter 370 time 14.0879 not-muc 42501 unknown 532 muc 218
16.78/16.82 c iter 371 time 14.0929 not-muc 42501 unknown 531 muc 219
16.78/16.82 c iter 372 time 14.0979 not-muc 42501 unknown 530 muc 220
16.78/16.82 c iter 373 time 14.1888 not-muc 42502 unknown 529 muc 220
16.78/16.82 c iter 374 time 14.1978 not-muc 42502 unknown 528 muc 221
16.78/16.82 c iter 375 time 14.2058 not-muc 42502 unknown 527 muc 222
16.78/16.82 c iter 376 time 14.2758 not-muc 42503 unknown 526 muc 222
16.78/16.82 c iter 377 time 14.2848 not-muc 42503 unknown 525 muc 223
16.78/16.82 c iter 378 time 14.2898 not-muc 42503 unknown 524 muc 224
16.78/16.82 c iter 379 time 14.2938 not-muc 42503 unknown 523 muc 225
16.78/16.82 c iter 380 time 14.2968 not-muc 42503 unknown 522 muc 226
16.78/16.82 c iter 381 time 14.3008 not-muc 42503 unknown 521 muc 227
16.78/16.82 c iter 382 time 14.3048 not-muc 42503 unknown 520 muc 228
16.78/16.82 c iter 383 time 14.3098 not-muc 42503 unknown 519 muc 229
16.78/16.82 c iter 384 time 14.3138 not-muc 42503 unknown 518 muc 230
16.78/16.82 c iter 385 time 14.3188 not-muc 42503 unknown 517 muc 231
16.78/16.82 c iter 386 time 14.4438 not-muc 42504 unknown 516 muc 231
16.78/16.82 c iter 387 time 14.6108 not-muc 42505 unknown 515 muc 231
16.78/16.82 c iter 388 time 14.6248 not-muc 42505 unknown 514 muc 232
16.78/16.82 c iter 389 time 14.7528 not-muc 42506 unknown 513 muc 232
16.78/16.82 c iter 390 time 14.8947 not-muc 42507 unknown 512 muc 232
16.78/16.82 c iter 391 time 14.9047 not-muc 42507 unknown 511 muc 233
16.78/16.82 c iter 392 time 14.9667 not-muc 42508 unknown 510 muc 233
16.78/16.82 c iter 393 time 14.9747 not-muc 42508 unknown 509 muc 234
16.78/16.82 c iter 394 time 15.1127 not-muc 42509 unknown 508 muc 234
16.78/16.82 c iter 395 time 15.1217 not-muc 42509 unknown 507 muc 235
16.78/16.82 c iter 396 time 15.3947 not-muc 42510 unknown 506 muc 235
16.78/16.82 c iter 397 time 15.5226 not-muc 42511 unknown 505 muc 235
16.78/16.82 c iter 398 time 15.5336 not-muc 42511 unknown 504 muc 236
16.78/16.82 c iter 399 time 15.5416 not-muc 42511 unknown 503 muc 237
16.78/16.82 c iter 400 time 15.6056 not-muc 42512 unknown 502 muc 237
16.78/16.82 c iter 401 time 15.6156 not-muc 42512 unknown 501 muc 238
16.78/16.82 c iter 402 time 15.6186 not-muc 42512 unknown 500 muc 239
16.78/16.82 c iter 403 time 15.6246 not-muc 42512 unknown 499 muc 240
16.78/16.82 c iter 404 time 15.6286 not-muc 42512 unknown 498 muc 241
16.78/16.82 c iter 405 time 15.7746 not-muc 42513 unknown 497 muc 241
16.78/16.82 c iter 406 time 15.9206 not-muc 42514 unknown 496 muc 241
16.78/16.82 c iter 407 time 15.9346 not-muc 42514 unknown 495 muc 242
16.78/16.82 c iter 408 time 16.0876 not-muc 42515 unknown 494 muc 242
16.78/16.82 c iter 409 time 16.0986 not-muc 42515 unknown 493 muc 243
16.78/16.82 c iter 410 time 16.2195 not-muc 42516 unknown 492 muc 243
16.78/16.82 c iter 411 time 16.2325 not-muc 42516 unknown 491 muc 244
16.78/16.82 c iter 412 time 16.2395 not-muc 42516 unknown 490 muc 245
16.78/16.82 c iter 413 time 16.2635 not-muc 42516 unknown 489 muc 246
16.78/16.82 c iter 414 time 16.2715 not-muc 42516 unknown 488 muc 247
16.78/16.82 c iter 415 time 16.2805 not-muc 42516 unknown 487 muc 248
16.78/16.82 c iter 416 time 16.3445 not-muc 42518 unknown 485 muc 248
16.78/16.82 c iter 417 time 16.3545 not-muc 42518 unknown 484 muc 249
16.78/16.82 c iter 418 time 16.3585 not-muc 42518 unknown 483 muc 250
16.78/16.82 c iter 419 time 16.3655 not-muc 42518 unknown 482 muc 251
16.78/16.82 c iter 420 time 16.3715 not-muc 42518 unknown 481 muc 252
16.78/16.82 c iter 421 time 16.3775 not-muc 42518 unknown 480 muc 253
16.78/16.82 c iter 422 time 16.4705 not-muc 42519 unknown 479 muc 253
16.78/16.82 c iter 423 time 16.4805 not-muc 42519 unknown 478 muc 254
16.78/16.82 c iter 424 time 16.6085 not-muc 42520 unknown 477 muc 254
16.78/16.82 c iter 425 time 16.6185 not-muc 42520 unknown 476 muc 255
16.78/16.82 c iter 426 time 16.6235 not-muc 42520 unknown 475 muc 256
16.78/16.82 c iter 427 time 16.7145 not-muc 42521 unknown 474 muc 256
16.78/16.82 c iter 428 time 16.7255 not-muc 42521 unknown 473 muc 257
16.78/16.82 c iter 429 time 16.7744 not-muc 42522 unknown 472 muc 257
19.19/19.22 c iter 430 time 16.7824 not-muc 42522 unknown 471 muc 258
19.19/19.22 c iter 431 time 16.7864 not-muc 42522 unknown 470 muc 259
19.19/19.22 c iter 432 time 16.7914 not-muc 42522 unknown 469 muc 260
19.19/19.22 c iter 433 time 16.7964 not-muc 42522 unknown 468 muc 261
19.19/19.22 c iter 434 time 16.8004 not-muc 42522 unknown 467 muc 262
19.19/19.22 c iter 435 time 16.8614 not-muc 42523 unknown 466 muc 262
19.19/19.22 c iter 436 time 16.8884 not-muc 42523 unknown 465 muc 263
19.19/19.22 c iter 437 time 16.9284 not-muc 42524 unknown 464 muc 263
19.19/19.22 c iter 438 time 16.9364 not-muc 42524 unknown 463 muc 264
19.19/19.22 c iter 439 time 16.9414 not-muc 42524 unknown 462 muc 265
19.19/19.22 c iter 440 time 16.9474 not-muc 42524 unknown 461 muc 266
19.19/19.22 c iter 441 time 16.9664 not-muc 42524 unknown 460 muc 267
19.19/19.22 c iter 442 time 16.9724 not-muc 42524 unknown 459 muc 268
19.19/19.22 c iter 443 time 16.9784 not-muc 42524 unknown 458 muc 269
19.19/19.22 c iter 444 time 16.9834 not-muc 42524 unknown 457 muc 270
19.19/19.22 c iter 445 time 16.9894 not-muc 42524 unknown 456 muc 271
19.19/19.22 c iter 446 time 16.9934 not-muc 42524 unknown 455 muc 272
19.19/19.22 c iter 447 time 17.0004 not-muc 42524 unknown 454 muc 273
19.19/19.22 c iter 448 time 17.1144 not-muc 42525 unknown 453 muc 273
19.19/19.22 c iter 449 time 17.1244 not-muc 42525 unknown 452 muc 274
19.19/19.22 c iter 450 time 17.1304 not-muc 42525 unknown 451 muc 275
19.19/19.22 c iter 451 time 17.1364 not-muc 42525 unknown 450 muc 276
19.19/19.22 c iter 452 time 17.1424 not-muc 42525 unknown 449 muc 277
19.19/19.22 c iter 453 time 17.2794 not-muc 42526 unknown 448 muc 277
19.19/19.22 c iter 454 time 17.3964 not-muc 42534 unknown 440 muc 277
19.19/19.22 c iter 455 time 17.4074 not-muc 42534 unknown 439 muc 278
19.19/19.22 c iter 456 time 17.4124 not-muc 42534 unknown 438 muc 279
19.19/19.22 c iter 457 time 17.4184 not-muc 42534 unknown 437 muc 280
19.19/19.22 c iter 458 time 17.4234 not-muc 42534 unknown 436 muc 281
19.19/19.22 c iter 459 time 17.4293 not-muc 42534 unknown 435 muc 282
19.19/19.22 c iter 460 time 17.5713 not-muc 42535 unknown 434 muc 282
19.19/19.22 c iter 461 time 17.5813 not-muc 42535 unknown 433 muc 283
19.19/19.22 c iter 462 time 17.5883 not-muc 42535 unknown 432 muc 284
19.19/19.22 c iter 463 time 17.5933 not-muc 42535 unknown 431 muc 285
19.19/19.22 c iter 464 time 17.5993 not-muc 42535 unknown 430 muc 286
19.19/19.22 c iter 465 time 17.6033 not-muc 42535 unknown 429 muc 287
19.19/19.22 c iter 466 time 17.7523 not-muc 42536 unknown 428 muc 287
19.19/19.22 c iter 467 time 17.7653 not-muc 42536 unknown 427 muc 288
19.19/19.22 c iter 468 time 17.7713 not-muc 42536 unknown 426 muc 289
19.19/19.22 c iter 469 time 17.7803 not-muc 42536 unknown 425 muc 290
19.19/19.22 c iter 470 time 17.7893 not-muc 42536 unknown 424 muc 291
19.19/19.22 c iter 471 time 17.8163 not-muc 42536 unknown 423 muc 292
19.19/19.22 c iter 472 time 17.8243 not-muc 42536 unknown 422 muc 293
19.19/19.22 c iter 473 time 17.8333 not-muc 42536 unknown 421 muc 294
19.19/19.22 c iter 474 time 17.8423 not-muc 42536 unknown 420 muc 295
19.19/19.22 c iter 475 time 17.8503 not-muc 42536 unknown 419 muc 296
19.19/19.22 c iter 476 time 17.9563 not-muc 42537 unknown 418 muc 296
19.19/19.22 c iter 477 time 17.9673 not-muc 42537 unknown 417 muc 297
19.19/19.22 c iter 478 time 17.9733 not-muc 42537 unknown 416 muc 298
19.19/19.22 c iter 479 time 18.0773 not-muc 42538 unknown 415 muc 298
19.19/19.22 c iter 480 time 18.0892 not-muc 42538 unknown 414 muc 299
19.19/19.22 c iter 481 time 18.0962 not-muc 42538 unknown 413 muc 300
19.19/19.22 c iter 482 time 18.1012 not-muc 42538 unknown 412 muc 301
19.19/19.22 c iter 483 time 18.1062 not-muc 42538 unknown 411 muc 302
19.19/19.22 c iter 484 time 18.1622 not-muc 42539 unknown 410 muc 302
19.19/19.22 c iter 485 time 18.2942 not-muc 42540 unknown 409 muc 302
19.19/19.22 c iter 486 time 18.3472 not-muc 42541 unknown 408 muc 302
19.19/19.22 c iter 487 time 18.3562 not-muc 42541 unknown 407 muc 303
19.19/19.22 c iter 488 time 18.3632 not-muc 42541 unknown 406 muc 304
19.19/19.22 c iter 489 time 18.3702 not-muc 42541 unknown 405 muc 305
19.19/19.22 c iter 490 time 18.3762 not-muc 42541 unknown 404 muc 306
19.19/19.22 c iter 491 time 18.3792 not-muc 42541 unknown 403 muc 307
19.19/19.22 c iter 492 time 18.5012 not-muc 42543 unknown 401 muc 307
19.19/19.22 c iter 493 time 18.5112 not-muc 42543 unknown 400 muc 308
19.19/19.22 c iter 494 time 18.6992 not-muc 42547 unknown 396 muc 308
19.19/19.22 c iter 495 time 18.7911 not-muc 42548 unknown 395 muc 308
19.19/19.22 c iter 496 time 18.9971 not-muc 42549 unknown 394 muc 308
19.19/19.22 c iter 497 time 19.1491 not-muc 42550 unknown 393 muc 308
19.19/19.22 c iter 498 time 19.1601 not-muc 42550 unknown 392 muc 309
19.19/19.22 c iter 499 time 19.1651 not-muc 42550 unknown 391 muc 310
21.19/21.28 c iter 500 time 19.1711 not-muc 42550 unknown 390 muc 311
21.19/21.28 c iter 501 time 19.3011 not-muc 42559 unknown 381 muc 311
21.19/21.28 c iter 502 time 19.3131 not-muc 42559 unknown 380 muc 312
21.19/21.28 c iter 503 time 19.3731 not-muc 42561 unknown 378 muc 312
21.19/21.28 c iter 504 time 19.3851 not-muc 42561 unknown 377 muc 313
21.19/21.28 c iter 505 time 19.469 not-muc 42564 unknown 374 muc 313
21.19/21.28 c iter 506 time 19.48 not-muc 42564 unknown 373 muc 314
21.19/21.28 c iter 507 time 19.484 not-muc 42564 unknown 372 muc 315
21.19/21.28 c iter 508 time 19.495 not-muc 42564 unknown 371 muc 316
21.19/21.28 c iter 509 time 19.501 not-muc 42564 unknown 370 muc 317
21.19/21.28 c iter 510 time 19.562 not-muc 42565 unknown 369 muc 317
21.19/21.28 c iter 511 time 19.572 not-muc 42565 unknown 368 muc 318
21.19/21.28 c iter 512 time 19.579 not-muc 42565 unknown 367 muc 319
21.19/21.28 c iter 513 time 19.585 not-muc 42565 unknown 366 muc 320
21.19/21.28 c iter 514 time 19.592 not-muc 42565 unknown 365 muc 321
21.19/21.28 c iter 515 time 19.735 not-muc 42566 unknown 364 muc 321
21.19/21.28 c iter 516 time 19.747 not-muc 42566 unknown 363 muc 322
21.19/21.28 c iter 517 time 19.753 not-muc 42566 unknown 362 muc 323
21.19/21.28 c iter 518 time 19.883 not-muc 42568 unknown 360 muc 323
21.19/21.28 c iter 519 time 19.895 not-muc 42568 unknown 359 muc 324
21.19/21.28 c iter 520 time 19.988 not-muc 42569 unknown 358 muc 324
21.19/21.28 c iter 521 time 20 not-muc 42569 unknown 357 muc 325
21.19/21.28 c iter 522 time 20.006 not-muc 42569 unknown 356 muc 326
21.19/21.28 c iter 523 time 20.1289 not-muc 42592 unknown 333 muc 326
21.19/21.28 c iter 524 time 20.1449 not-muc 42592 unknown 332 muc 327
21.19/21.28 c iter 525 time 20.1629 not-muc 42592 unknown 331 muc 328
21.19/21.28 c iter 526 time 20.1689 not-muc 42592 unknown 330 muc 329
21.19/21.28 c iter 527 time 20.1749 not-muc 42592 unknown 329 muc 330
21.19/21.28 c iter 528 time 20.1799 not-muc 42592 unknown 328 muc 331
21.19/21.28 c iter 529 time 20.2009 not-muc 42592 unknown 327 muc 332
21.19/21.28 c iter 530 time 20.2059 not-muc 42592 unknown 326 muc 333
21.19/21.28 c iter 531 time 20.2129 not-muc 42592 unknown 325 muc 334
21.19/21.28 c iter 532 time 20.2199 not-muc 42592 unknown 324 muc 335
21.19/21.28 c iter 533 time 20.2229 not-muc 42592 unknown 323 muc 336
21.19/21.28 c iter 534 time 20.2289 not-muc 42592 unknown 322 muc 337
21.19/21.28 c iter 535 time 20.2359 not-muc 42592 unknown 321 muc 338
21.19/21.28 c iter 536 time 20.2419 not-muc 42592 unknown 320 muc 339
21.19/21.28 c iter 537 time 20.2499 not-muc 42592 unknown 319 muc 340
21.19/21.28 c iter 538 time 20.2559 not-muc 42592 unknown 318 muc 341
21.19/21.28 c iter 539 time 20.3939 not-muc 42594 unknown 316 muc 341
21.19/21.28 c iter 540 time 20.4059 not-muc 42594 unknown 315 muc 342
21.19/21.28 c iter 541 time 20.5329 not-muc 42601 unknown 308 muc 342
21.19/21.28 c iter 542 time 20.5449 not-muc 42601 unknown 307 muc 343
21.19/21.28 c iter 543 time 20.6489 not-muc 42603 unknown 305 muc 343
21.19/21.28 c iter 544 time 20.6639 not-muc 42603 unknown 304 muc 344
21.19/21.28 c iter 545 time 20.6709 not-muc 42603 unknown 303 muc 345
21.19/21.28 c iter 546 time 20.6779 not-muc 42603 unknown 302 muc 346
21.19/21.28 c iter 547 time 20.7838 not-muc 42604 unknown 301 muc 346
21.19/21.28 c iter 548 time 20.7948 not-muc 42604 unknown 300 muc 347
21.19/21.28 c iter 549 time 20.8018 not-muc 42604 unknown 299 muc 348
21.19/21.28 c iter 550 time 20.8088 not-muc 42604 unknown 298 muc 349
21.19/21.28 c iter 551 time 20.8138 not-muc 42604 unknown 297 muc 350
21.19/21.28 c iter 552 time 20.8208 not-muc 42604 unknown 296 muc 351
21.19/21.28 c iter 553 time 20.8278 not-muc 42604 unknown 295 muc 352
21.19/21.28 c iter 554 time 20.8368 not-muc 42604 unknown 294 muc 353
21.19/21.28 c iter 555 time 20.9688 not-muc 42607 unknown 291 muc 353
21.19/21.28 c iter 556 time 20.9798 not-muc 42607 unknown 290 muc 354
21.19/21.28 c iter 557 time 20.9868 not-muc 42607 unknown 289 muc 355
21.19/21.28 c iter 558 time 20.9948 not-muc 42607 unknown 288 muc 356
21.19/21.28 c iter 559 time 21.0018 not-muc 42607 unknown 287 muc 357
21.19/21.28 c iter 560 time 21.0098 not-muc 42607 unknown 286 muc 358
21.19/21.28 c iter 561 time 21.0188 not-muc 42607 unknown 285 muc 359
21.19/21.28 c iter 562 time 21.0268 not-muc 42607 unknown 284 muc 360
21.19/21.28 c iter 563 time 21.0348 not-muc 42607 unknown 283 muc 361
21.19/21.28 c iter 564 time 21.0438 not-muc 42607 unknown 282 muc 362
21.19/21.28 c iter 565 time 21.0518 not-muc 42607 unknown 281 muc 363
21.19/21.28 c iter 566 time 21.0598 not-muc 42607 unknown 280 muc 364
21.19/21.28 c iter 567 time 21.0688 not-muc 42607 unknown 279 muc 365
21.19/21.28 c iter 568 time 21.1918 not-muc 42608 unknown 278 muc 365
21.19/21.28 c iter 569 time 21.2078 not-muc 42608 unknown 277 muc 366
21.19/21.28 c iter 570 time 21.2178 not-muc 42608 unknown 276 muc 367
22.99/23.01 c iter 571 time 21.2238 not-muc 42608 unknown 275 muc 368
22.99/23.01 c iter 572 time 21.2328 not-muc 42608 unknown 274 muc 369
22.99/23.01 c iter 573 time 21.2378 not-muc 42608 unknown 273 muc 370
22.99/23.01 c iter 574 time 21.2438 not-muc 42608 unknown 272 muc 371
22.99/23.01 c iter 575 time 21.2518 not-muc 42608 unknown 271 muc 372
22.99/23.01 c iter 576 time 21.2598 not-muc 42608 unknown 270 muc 373
22.99/23.01 c iter 577 time 21.3937 not-muc 42619 unknown 259 muc 373
22.99/23.01 c iter 578 time 21.4327 not-muc 42619 unknown 258 muc 374
22.99/23.01 c iter 579 time 21.5307 not-muc 42620 unknown 257 muc 374
22.99/23.01 c iter 580 time 21.6597 not-muc 42626 unknown 251 muc 374
22.99/23.01 c iter 581 time 21.6707 not-muc 42626 unknown 250 muc 375
22.99/23.01 c iter 582 time 21.6767 not-muc 42626 unknown 249 muc 376
22.99/23.01 c iter 583 time 21.6837 not-muc 42626 unknown 248 muc 377
22.99/23.01 c iter 584 time 21.6917 not-muc 42626 unknown 247 muc 378
22.99/23.01 c iter 585 time 21.6957 not-muc 42626 unknown 246 muc 379
22.99/23.01 c iter 586 time 21.7027 not-muc 42626 unknown 245 muc 380
22.99/23.01 c iter 587 time 21.7097 not-muc 42626 unknown 244 muc 381
22.99/23.01 c iter 588 time 21.8347 not-muc 42627 unknown 243 muc 381
22.99/23.01 c iter 589 time 21.8477 not-muc 42627 unknown 242 muc 382
22.99/23.01 c iter 590 time 21.8567 not-muc 42627 unknown 241 muc 383
22.99/23.01 c iter 591 time 21.8647 not-muc 42627 unknown 240 muc 384
22.99/23.01 c iter 592 time 21.8707 not-muc 42627 unknown 239 muc 385
22.99/23.01 c iter 593 time 21.9027 not-muc 42627 unknown 238 muc 386
22.99/23.01 c iter 594 time 21.9097 not-muc 42627 unknown 237 muc 387
22.99/23.01 c iter 595 time 21.9157 not-muc 42627 unknown 236 muc 388
22.99/23.01 c iter 596 time 21.9217 not-muc 42627 unknown 235 muc 389
22.99/23.01 c iter 597 time 21.9297 not-muc 42627 unknown 234 muc 390
22.99/23.01 c iter 598 time 21.9377 not-muc 42627 unknown 233 muc 391
22.99/23.01 c iter 599 time 21.9607 not-muc 42627 unknown 232 muc 392
22.99/23.01 c iter 600 time 21.9897 not-muc 42627 unknown 231 muc 393
22.99/23.01 c iter 601 time 21.9977 not-muc 42627 unknown 230 muc 394
22.99/23.01 c iter 602 time 22.0047 not-muc 42627 unknown 229 muc 395
22.99/23.01 c iter 603 time 22.0077 not-muc 42627 unknown 228 muc 396
22.99/23.01 c iter 604 time 22.0157 not-muc 42627 unknown 227 muc 397
22.99/23.01 c iter 605 time 22.0217 not-muc 42627 unknown 226 muc 398
22.99/23.01 c iter 606 time 22.0307 not-muc 42627 unknown 225 muc 399
22.99/23.01 c iter 607 time 22.0357 not-muc 42627 unknown 224 muc 400
22.99/23.01 c iter 608 time 22.0436 not-muc 42627 unknown 223 muc 401
22.99/23.01 c iter 609 time 22.0506 not-muc 42627 unknown 222 muc 402
22.99/23.01 c iter 610 time 22.0586 not-muc 42627 unknown 221 muc 403
22.99/23.01 c iter 611 time 22.0646 not-muc 42627 unknown 220 muc 404
22.99/23.01 c iter 612 time 22.0726 not-muc 42627 unknown 219 muc 405
22.99/23.01 c iter 613 time 22.0786 not-muc 42627 unknown 218 muc 406
22.99/23.01 c iter 614 time 22.0856 not-muc 42627 unknown 217 muc 407
22.99/23.01 c iter 615 time 22.0936 not-muc 42627 unknown 216 muc 408
22.99/23.01 c iter 616 time 22.0996 not-muc 42627 unknown 215 muc 409
22.99/23.01 c iter 617 time 22.1046 not-muc 42627 unknown 214 muc 410
22.99/23.01 c iter 618 time 22.2386 not-muc 42628 unknown 213 muc 410
22.99/23.01 c iter 619 time 22.2516 not-muc 42628 unknown 212 muc 411
22.99/23.01 c iter 620 time 22.2576 not-muc 42628 unknown 211 muc 412
22.99/23.01 c iter 621 time 22.2626 not-muc 42628 unknown 210 muc 413
22.99/23.01 c iter 622 time 22.2686 not-muc 42628 unknown 209 muc 414
22.99/23.01 c iter 623 time 22.2766 not-muc 42628 unknown 208 muc 415
22.99/23.01 c iter 624 time 22.2826 not-muc 42628 unknown 207 muc 416
22.99/23.01 c iter 625 time 22.2906 not-muc 42628 unknown 206 muc 417
22.99/23.01 c iter 626 time 22.2966 not-muc 42628 unknown 205 muc 418
22.99/23.01 c iter 627 time 22.4036 not-muc 42629 unknown 204 muc 418
22.99/23.01 c iter 628 time 22.4136 not-muc 42629 unknown 203 muc 419
22.99/23.01 c iter 629 time 22.4206 not-muc 42629 unknown 202 muc 420
22.99/23.01 c iter 630 time 22.5256 not-muc 42630 unknown 201 muc 420
22.99/23.01 c iter 631 time 22.5386 not-muc 42630 unknown 200 muc 421
22.99/23.01 c iter 632 time 22.5476 not-muc 42630 unknown 199 muc 422
22.99/23.01 c iter 633 time 22.5576 not-muc 42630 unknown 198 muc 423
22.99/23.01 c iter 634 time 22.5666 not-muc 42630 unknown 197 muc 424
22.99/23.01 c iter 635 time 22.5726 not-muc 42630 unknown 196 muc 425
22.99/23.01 c iter 636 time 22.5806 not-muc 42630 unknown 195 muc 426
22.99/23.01 c iter 637 time 22.8025 not-muc 42631 unknown 194 muc 426
22.99/23.01 c iter 638 time 22.9275 not-muc 42641 unknown 184 muc 426
22.99/23.01 c iter 639 time 22.9425 not-muc 42641 unknown 183 muc 427
22.99/23.01 c iter 640 time 22.9475 not-muc 42641 unknown 182 muc 428
22.99/23.01 c iter 641 time 22.9555 not-muc 42641 unknown 181 muc 429
23.99/24.10 c iter 642 time 22.9615 not-muc 42641 unknown 180 muc 430
23.99/24.10 c iter 643 time 22.9685 not-muc 42641 unknown 179 muc 431
23.99/24.10 c iter 644 time 22.9735 not-muc 42641 unknown 178 muc 432
23.99/24.10 c iter 645 time 22.9805 not-muc 42641 unknown 177 muc 433
23.99/24.10 c iter 646 time 22.9855 not-muc 42641 unknown 176 muc 434
23.99/24.10 c iter 647 time 22.9925 not-muc 42641 unknown 175 muc 435
23.99/24.10 c iter 648 time 23.0015 not-muc 42641 unknown 174 muc 436
23.99/24.10 c iter 649 time 23.0095 not-muc 42641 unknown 173 muc 437
23.99/24.10 c iter 650 time 23.0985 not-muc 42642 unknown 172 muc 437
23.99/24.10 c iter 651 time 23.1135 not-muc 42642 unknown 171 muc 438
23.99/24.10 c iter 652 time 23.1245 not-muc 42642 unknown 170 muc 439
23.99/24.10 c iter 653 time 23.1335 not-muc 42642 unknown 169 muc 440
23.99/24.10 c iter 654 time 23.1425 not-muc 42642 unknown 168 muc 441
23.99/24.10 c iter 655 time 23.1505 not-muc 42642 unknown 167 muc 442
23.99/24.10 c iter 656 time 23.1575 not-muc 42642 unknown 166 muc 443
23.99/24.10 c iter 657 time 23.1635 not-muc 42642 unknown 165 muc 444
23.99/24.10 c iter 658 time 23.1725 not-muc 42642 unknown 164 muc 445
23.99/24.10 c iter 659 time 23.1795 not-muc 42642 unknown 163 muc 446
23.99/24.10 c iter 660 time 23.1865 not-muc 42642 unknown 162 muc 447
23.99/24.10 c iter 661 time 23.1965 not-muc 42642 unknown 161 muc 448
23.99/24.10 c iter 662 time 23.2625 not-muc 42643 unknown 160 muc 448
23.99/24.10 c iter 663 time 23.2745 not-muc 42643 unknown 159 muc 449
23.99/24.10 c iter 664 time 23.2835 not-muc 42643 unknown 158 muc 450
23.99/24.10 c iter 665 time 23.2905 not-muc 42643 unknown 157 muc 451
23.99/24.10 c iter 666 time 23.2955 not-muc 42643 unknown 156 muc 452
23.99/24.10 c iter 667 time 23.3035 not-muc 42643 unknown 155 muc 453
23.99/24.10 c iter 668 time 23.3115 not-muc 42643 unknown 154 muc 454
23.99/24.10 c iter 669 time 23.3185 not-muc 42643 unknown 153 muc 455
23.99/24.10 c iter 670 time 23.3235 not-muc 42643 unknown 152 muc 456
23.99/24.10 c iter 671 time 23.4504 not-muc 42644 unknown 151 muc 456
23.99/24.10 c iter 672 time 23.4644 not-muc 42644 unknown 150 muc 457
23.99/24.10 c iter 673 time 23.4734 not-muc 42644 unknown 149 muc 458
23.99/24.10 c iter 674 time 23.4794 not-muc 42644 unknown 148 muc 459
23.99/24.10 c iter 675 time 23.4874 not-muc 42644 unknown 147 muc 460
23.99/24.10 c iter 676 time 23.4954 not-muc 42644 unknown 146 muc 461
23.99/24.10 c iter 677 time 23.5034 not-muc 42644 unknown 145 muc 462
23.99/24.10 c iter 678 time 23.5124 not-muc 42644 unknown 144 muc 463
23.99/24.10 c iter 679 time 23.5184 not-muc 42644 unknown 143 muc 464
23.99/24.10 c iter 680 time 23.5274 not-muc 42644 unknown 142 muc 465
23.99/24.10 c iter 681 time 23.5354 not-muc 42644 unknown 141 muc 466
23.99/24.10 c iter 682 time 23.5434 not-muc 42644 unknown 140 muc 467
23.99/24.10 c iter 683 time 23.5504 not-muc 42644 unknown 139 muc 468
23.99/24.10 c iter 684 time 23.5584 not-muc 42644 unknown 138 muc 469
23.99/24.10 c iter 685 time 23.5644 not-muc 42644 unknown 137 muc 470
23.99/24.10 c iter 686 time 23.5704 not-muc 42644 unknown 136 muc 471
23.99/24.10 c iter 687 time 23.5784 not-muc 42644 unknown 135 muc 472
23.99/24.10 c iter 688 time 23.5834 not-muc 42644 unknown 134 muc 473
23.99/24.10 c iter 689 time 23.5904 not-muc 42644 unknown 133 muc 474
23.99/24.10 c iter 690 time 23.6904 not-muc 42645 unknown 132 muc 474
23.99/24.10 c iter 691 time 23.7034 not-muc 42645 unknown 131 muc 475
23.99/24.10 c iter 692 time 23.7114 not-muc 42645 unknown 130 muc 476
23.99/24.10 c iter 693 time 23.7174 not-muc 42645 unknown 129 muc 477
23.99/24.10 c iter 694 time 23.7244 not-muc 42645 unknown 128 muc 478
23.99/24.10 c iter 695 time 23.7314 not-muc 42645 unknown 127 muc 479
23.99/24.10 c iter 696 time 23.7404 not-muc 42645 unknown 126 muc 480
23.99/24.10 c iter 697 time 23.7474 not-muc 42645 unknown 125 muc 481
23.99/24.10 c iter 698 time 23.7564 not-muc 42645 unknown 124 muc 482
23.99/24.10 c iter 699 time 23.8184 not-muc 42646 unknown 123 muc 482
23.99/24.10 c iter 700 time 23.8324 not-muc 42646 unknown 122 muc 483
23.99/24.10 c iter 701 time 23.8384 not-muc 42646 unknown 121 muc 484
23.99/24.10 c iter 702 time 23.9574 not-muc 42647 unknown 120 muc 484
23.99/24.10 c iter 703 time 23.9704 not-muc 42647 unknown 119 muc 485
23.99/24.10 c iter 704 time 23.9794 not-muc 42647 unknown 118 muc 486
23.99/24.10 c iter 705 time 23.9894 not-muc 42647 unknown 117 muc 487
23.99/24.10 c iter 706 time 23.9974 not-muc 42647 unknown 116 muc 488
23.99/24.10 c iter 707 time 24.0064 not-muc 42647 unknown 115 muc 489
23.99/24.10 c iter 708 time 24.0133 not-muc 42647 unknown 114 muc 490
23.99/24.10 c iter 709 time 24.0193 not-muc 42647 unknown 113 muc 491
23.99/24.10 c iter 710 time 24.0313 not-muc 42647 unknown 112 muc 492
23.99/24.10 c iter 711 time 24.0383 not-muc 42647 unknown 111 muc 493
23.99/24.10 c iter 712 time 24.0453 not-muc 42647 unknown 110 muc 494
25.29/25.34 c iter 713 time 24.0533 not-muc 42647 unknown 109 muc 495
25.29/25.34 c iter 714 time 24.0623 not-muc 42647 unknown 108 muc 496
25.29/25.34 c iter 715 time 24.0713 not-muc 42647 unknown 107 muc 497
25.29/25.34 c iter 716 time 24.0813 not-muc 42647 unknown 106 muc 498
25.29/25.34 c iter 717 time 24.2043 not-muc 42648 unknown 105 muc 498
25.29/25.34 c iter 718 time 24.2193 not-muc 42648 unknown 104 muc 499
25.29/25.34 c iter 719 time 24.2253 not-muc 42648 unknown 103 muc 500
25.29/25.34 c iter 720 time 24.2323 not-muc 42648 unknown 102 muc 501
25.29/25.34 c iter 721 time 24.2383 not-muc 42648 unknown 101 muc 502
25.29/25.34 c iter 722 time 24.2453 not-muc 42648 unknown 100 muc 503
25.29/25.34 c iter 723 time 24.2523 not-muc 42648 unknown 99 muc 504
25.29/25.34 c iter 724 time 24.2603 not-muc 42648 unknown 98 muc 505
25.29/25.34 c iter 725 time 24.2663 not-muc 42648 unknown 97 muc 506
25.29/25.34 c iter 726 time 24.2703 not-muc 42648 unknown 96 muc 507
25.29/25.34 c iter 727 time 24.2753 not-muc 42648 unknown 95 muc 508
25.29/25.34 c iter 728 time 24.2823 not-muc 42648 unknown 94 muc 509
25.29/25.34 c iter 729 time 24.2873 not-muc 42648 unknown 93 muc 510
25.29/25.34 c iter 730 time 24.2923 not-muc 42648 unknown 92 muc 511
25.29/25.34 c iter 731 time 24.4193 not-muc 42649 unknown 91 muc 511
25.29/25.34 c iter 732 time 24.4333 not-muc 42649 unknown 90 muc 512
25.29/25.34 c iter 733 time 24.4403 not-muc 42649 unknown 89 muc 513
25.29/25.34 c iter 734 time 24.4493 not-muc 42649 unknown 88 muc 514
25.29/25.34 c iter 735 time 24.4553 not-muc 42649 unknown 87 muc 515
25.29/25.34 c iter 736 time 24.4613 not-muc 42649 unknown 86 muc 516
25.29/25.34 c iter 737 time 24.4683 not-muc 42649 unknown 85 muc 517
25.29/25.34 c iter 738 time 24.4743 not-muc 42649 unknown 84 muc 518
25.29/25.34 c iter 739 time 24.4823 not-muc 42649 unknown 83 muc 519
25.29/25.34 c iter 740 time 24.6593 not-muc 42650 unknown 82 muc 519
25.29/25.34 c iter 741 time 24.6742 not-muc 42650 unknown 81 muc 520
25.29/25.34 c iter 742 time 24.6832 not-muc 42650 unknown 80 muc 521
25.29/25.34 c iter 743 time 24.6932 not-muc 42650 unknown 79 muc 522
25.29/25.34 c iter 744 time 24.7022 not-muc 42650 unknown 78 muc 523
25.29/25.34 c iter 745 time 24.7102 not-muc 42650 unknown 77 muc 524
25.29/25.34 c iter 746 time 24.7182 not-muc 42650 unknown 76 muc 525
25.29/25.34 c iter 747 time 24.7262 not-muc 42650 unknown 75 muc 526
25.29/25.34 c iter 748 time 24.8542 not-muc 42651 unknown 74 muc 526
25.29/25.34 c iter 749 time 24.8692 not-muc 42651 unknown 73 muc 527
25.29/25.34 c iter 750 time 24.8982 not-muc 42651 unknown 72 muc 528
25.29/25.34 c iter 751 time 24.9052 not-muc 42651 unknown 71 muc 529
25.29/25.34 c iter 752 time 24.9132 not-muc 42651 unknown 70 muc 530
25.29/25.34 c iter 753 time 24.9212 not-muc 42651 unknown 69 muc 531
25.29/25.34 c iter 754 time 24.9282 not-muc 42651 unknown 68 muc 532
25.29/25.34 c iter 755 time 24.9362 not-muc 42651 unknown 67 muc 533
25.29/25.34 c iter 756 time 24.9432 not-muc 42651 unknown 66 muc 534
25.29/25.34 c iter 757 time 24.9502 not-muc 42651 unknown 65 muc 535
25.29/25.34 c iter 758 time 24.9742 not-muc 42651 unknown 64 muc 536
25.29/25.34 c iter 759 time 24.9822 not-muc 42651 unknown 63 muc 537
25.29/25.34 c iter 760 time 24.9892 not-muc 42651 unknown 62 muc 538
25.29/25.34 c iter 761 time 24.9972 not-muc 42651 unknown 61 muc 539
25.29/25.34 c iter 762 time 25.0052 not-muc 42651 unknown 60 muc 540
25.29/25.34 c iter 763 time 25.0142 not-muc 42651 unknown 59 muc 541
25.29/25.34 c iter 764 time 25.0212 not-muc 42651 unknown 58 muc 542
25.29/25.34 c iter 765 time 25.1422 not-muc 42652 unknown 57 muc 542
25.29/25.34 c iter 766 time 25.1552 not-muc 42652 unknown 56 muc 543
25.29/25.34 c iter 767 time 25.1612 not-muc 42652 unknown 55 muc 544
25.29/25.34 c iter 768 time 25.1692 not-muc 42652 unknown 54 muc 545
25.29/25.34 c iter 769 time 25.1742 not-muc 42652 unknown 53 muc 546
25.29/25.34 c iter 770 time 25.1812 not-muc 42652 unknown 52 muc 547
25.29/25.34 c iter 771 time 25.1882 not-muc 42652 unknown 51 muc 548
25.29/25.34 c iter 772 time 25.1942 not-muc 42652 unknown 50 muc 549
25.29/25.34 c iter 773 time 25.2022 not-muc 42652 unknown 49 muc 550
25.29/25.34 c iter 774 time 25.2092 not-muc 42652 unknown 48 muc 551
25.29/25.34 c iter 775 time 25.2192 not-muc 42652 unknown 47 muc 552
25.29/25.34 c iter 776 time 25.2272 not-muc 42652 unknown 46 muc 553
25.29/25.34 c iter 777 time 25.2332 not-muc 42652 unknown 45 muc 554
25.29/25.34 c iter 778 time 25.2422 not-muc 42652 unknown 44 muc 555
25.29/25.34 c iter 779 time 25.2492 not-muc 42652 unknown 43 muc 556
25.29/25.34 c iter 780 time 25.2572 not-muc 42652 unknown 42 muc 557
25.29/25.34 c iter 781 time 25.2642 not-muc 42652 unknown 41 muc 558
25.29/25.34 c iter 782 time 25.2742 not-muc 42652 unknown 40 muc 559
25.29/25.34 c iter 783 time 25.2822 not-muc 42652 unknown 39 muc 560
25.98/26.07 c iter 784 time 25.2892 not-muc 42652 unknown 38 muc 561
25.98/26.07 c iter 785 time 25.2962 not-muc 42652 unknown 37 muc 562
25.98/26.07 c iter 786 time 25.3042 not-muc 42652 unknown 36 muc 563
25.98/26.07 c iter 787 time 25.3112 not-muc 42652 unknown 35 muc 564
25.98/26.07 c iter 788 time 25.4191 not-muc 42653 unknown 34 muc 564
25.98/26.07 c iter 789 time 25.4301 not-muc 42653 unknown 33 muc 565
25.98/26.07 c iter 790 time 25.4901 not-muc 42654 unknown 32 muc 565
25.98/26.07 c iter 791 time 25.5291 not-muc 42654 unknown 31 muc 566
25.98/26.07 c iter 792 time 25.5341 not-muc 42654 unknown 30 muc 567
25.98/26.07 c iter 793 time 25.5411 not-muc 42654 unknown 29 muc 568
25.98/26.07 c iter 794 time 25.5461 not-muc 42654 unknown 28 muc 569
25.98/26.07 c iter 795 time 25.5511 not-muc 42654 unknown 27 muc 570
25.98/26.07 c iter 796 time 25.5571 not-muc 42654 unknown 26 muc 571
25.98/26.07 c iter 797 time 25.5621 not-muc 42654 unknown 25 muc 572
25.98/26.07 c iter 798 time 25.5661 not-muc 42654 unknown 24 muc 573
25.98/26.07 c iter 799 time 25.5701 not-muc 42654 unknown 23 muc 574
25.98/26.07 c iter 800 time 25.5741 not-muc 42654 unknown 22 muc 575
25.98/26.07 c iter 801 time 25.5801 not-muc 42654 unknown 21 muc 576
25.98/26.07 c iter 802 time 25.5851 not-muc 42654 unknown 20 muc 577
25.98/26.07 c iter 803 time 25.5901 not-muc 42654 unknown 19 muc 578
25.98/26.07 c iter 804 time 25.5971 not-muc 42654 unknown 18 muc 579
25.98/26.07 c iter 805 time 25.7221 not-muc 42655 unknown 17 muc 579
25.98/26.07 c iter 806 time 25.7331 not-muc 42655 unknown 16 muc 580
25.98/26.07 c iter 807 time 25.7401 not-muc 42655 unknown 15 muc 581
25.98/26.07 c iter 808 time 25.7491 not-muc 42655 unknown 14 muc 582
25.98/26.07 c iter 809 time 25.7581 not-muc 42655 unknown 13 muc 583
25.98/26.07 c iter 810 time 25.7661 not-muc 42655 unknown 12 muc 584
25.98/26.07 c iter 811 time 25.7731 not-muc 42655 unknown 11 muc 585
25.98/26.07 c iter 812 time 25.8111 not-muc 42655 unknown 10 muc 586
25.98/26.07 c iter 813 time 25.8211 not-muc 42655 unknown 9 muc 587
25.98/26.07 c iter 814 time 25.8301 not-muc 42655 unknown 8 muc 588
25.98/26.07 c iter 815 time 25.9291 not-muc 42656 unknown 7 muc 588
25.98/26.07 c iter 816 time 25.9441 not-muc 42656 unknown 6 muc 589
25.98/26.07 c iter 817 time 25.9501 not-muc 42656 unknown 5 muc 590
25.98/26.07 c iter 818 time 25.9591 not-muc 42656 unknown 4 muc 591
25.98/26.07 c iter 819 time 25.9671 not-muc 42656 unknown 3 muc 592
25.98/26.07 c iter 820 time 25.9741 not-muc 42656 unknown 2 muc 593
25.98/26.07 c iter 821 time 25.9821 not-muc 42656 unknown 1 muc 594
25.98/26.07 c final iter 822 time 26.011 not-muc 42656 unknown 0 muc 595
25.98/26.07 v 63 109 112 118 146 166 347 462 508 541 544 569 681 699 740 852 996 1023 1133 1152 1287 1401 1410 1584 1745 1783 1882 2038 2082 2091 2175 2252 2276 2291 2334 2361 2446 2474 2499 2515 2549 2626 2658 2704 2728 2783 2881 2898 2964 3102 3103 3226 3277 3510 3568 3648 3717 3730 3854 3912 4016 4046 4050 4125 4126 4138 4157 4162 4323 4679 4746 4825 4890 4983 5076 5203 5262 5309 5324 5405 5492 5511 5522 5566 5722 5750 5759 5863 5879 5890 5899 5922 5928 5993 6037 6074 6281 6463 6498 6527 6531 6551 6588 6655 6718 6796 6860 6875 6884 6892 6942 7048 7077 7131 7178 7199 7210 7215 7382 7386 7521 7715 7722 7796 7904 8132 8157 8407 8437 8470 8632 8642 8681 8779 8836 9104 9188 9255 9393 9515 9729 9739 9742 9766 9792 9804 9935 10064 10067 10190 10361 10375 10387 10434 10451 10741 10771 10804 10890 10913 10933 10962 11154 11186 11230 11375 11430 11765 11863 12014 12041 12092 12171 12270 12353 12375 12555 12604 12737 12792 12937 12942 12972 13032 13035 13257 13326 13418 13429 13488 13500 13679 13700 13867 13887 13920 13948 13961 14050 14083 14110 14119 14162 14282 14320 14445 14476 14545 14569 14760 14819 14851 15004 15232 15281 15285 15366 15417 15444 15561 15592 15718 15736 15856 15858 15887 15964 16078 16099 16114 16259 16266 16383 16470 16551 16578 16614 16636 16648 16688 16825 16874 17072 17094 17148 17173 17185 17234 17305 17443 17452 17578 17722 17831 17845 17968 18008 18026 18041 18061 18063 18094 18111 18142 18255 18353 18676 18682 18686 18815 18833 18893 19162 19185 19324 19456 19542 19559 19761 19925 19986 20206 20280 20376 20558 20701 20756 21122 21152 21174 21183 21298 21314 21448 21450 21525 21606 21635 21656 21708 21777 21917 21929 21934 22008 22046 22055 22056 22137 22150 22169 22230 22236 22482 22637 22694 22715 22739 22781 22968 22983 22989 23000 23010 23121 23157 23160 23169 23333 23339 23403 23446 23530 23716 23861 23909 23980 24029 24077 24091 24097 24114 24274 24349 24369 24381 24414 24431 24622 24713 24745 24828 24862 24911 25025 25141 25215 25343 25631 25644 25694 25877 26000 26145 26262 26270 26352 26398 26461 26476 26485 26581 26642 26723 26796 26869 26916 26956 26990 27031 27107 27186 27193 27197 27205 27309 27383 27410 27440 27574 27621 27637 27718 27811 27830 27964 27984 28010 28035 28066 28129 28134 28146 28303 28344 28368 28394 28450 28899 28919 28940 29038 29093 29182 29184 29325 29570 29573 29575 29644 29647 29697 29709 29838 29901 29920 29976 30096 30179 30239 30370 30451 30465 30483 30514 30518 30539 30577 30859 30936 30952 31011 31030 31048 31153 31163 31174 31184 31198 31334 31355 31520 31593 31654 31759 31966 32047 32110 32134 32192 32218 32268 32290 32315 32541 32600 32647 32657 32947 33166 33185 33191 33221 33242 33255 33274 33340 33458 33494 33512 33525 33556 33594 33622 33730 33942 34043 34180 34328 34449 34683 34717 34730 34743 35025 35047 35051 35065 35180 35327 35515 35671 35763 35774 35852 35859 35860 35971 36178 36397 36398 36426 36539 36819 36839 36930 36949 37025 37032 37139 37186 37211 37347 37461 37479 37685 37693 37922 37937 37992 38042 38084 38136 38143 38155 38441 38542 38554 38701 38733 38748 38792 38910 38943 38988 39029 39068 39091 39217 39219 39330 39353 39576 39755 39768 39796 39820 39930 40185 40214 40229 40251 40266 40329 40339 40368 40460 40538 40549 40578 40767 40836 40841 40849 41155 41253 41254 41337 41490 41535 41572 41673 41795 41835 41840 42012 42121 42487 42545 42561 42602 42858 42996 43057 43175 0
25.98/26.07 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-3494421-1307805231/watcher-3494421-1307805231 -o /tmp/evaluation-result-3494421-1307805231/solver-3494421-1307805231 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494421-1307805231.cnf -no-pre
running on 2 cores: 0,2
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.02 3.95 3.64 4/189 25548
/proc/meminfo: memFree=29192032/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=20208 CPUtime=0 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 660 0 0 0 0 0 0 0 25 0 1 0 970753742 20692992 565 33554432000 4194304 4337479 140736760990384 18446744073709551615 4271904 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 5052 565 223 35 0 1675 0
[startup+0.078199 s]
/proc/loadavg: 4.02 3.95 3.64 4/189 25548
/proc/meminfo: memFree=29192032/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=22800 CPUtime=0.07 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 1641 0 0 0 7 0 0 0 25 0 1 0 970753742 23347200 1420 33554432000 4194304 4337479 140736760990384 18446744073709551615 4280163 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 5700 1420 240 35 0 2323 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22800
[startup+0.101189 s]
/proc/loadavg: 4.02 3.95 3.64 4/189 25548
/proc/meminfo: memFree=29192032/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=22800 CPUtime=0.09 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 1667 0 0 0 9 0 0 0 25 0 1 0 970753742 23347200 1446 33554432000 4194304 4337479 140736760990384 18446744073709551615 4258686 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 5700 1446 240 35 0 2323 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22800
[startup+0.301178 s]
/proc/loadavg: 4.02 3.95 3.64 4/189 25548
/proc/meminfo: memFree=29192032/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=24180 CPUtime=0.29 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 2485 0 0 0 29 0 0 0 25 0 1 0 970753742 24760320 2262 33554432000 4194304 4337479 140736760990384 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 6045 2262 261 35 0 2668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24180
[startup+0.70111 s]
/proc/loadavg: 4.02 3.95 3.64 4/189 25548
/proc/meminfo: memFree=29192032/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=27456 CPUtime=0.69 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 3355 0 0 0 69 0 0 0 25 0 1 0 970753742 28114944 3132 33554432000 4194304 4337479 140736760990384 18446744073709551615 4280335 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 6864 3132 261 35 0 3487 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27456
[startup+1.50098 s]
/proc/loadavg: 4.02 3.95 3.64 5/190 25550
/proc/meminfo: memFree=29179648/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=29924 CPUtime=1.49 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 4218 0 0 0 149 0 0 0 25 0 1 0 970753742 30642176 3970 33554432000 4194304 4337479 140736760990384 18446744073709551615 4303656 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 7481 3970 262 35 0 4104 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29924
[startup+3.1007 s]
/proc/loadavg: 4.02 3.95 3.64 5/190 25550
/proc/meminfo: memFree=29170100/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=44608 CPUtime=3.09 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 7758 0 0 0 308 1 0 0 25 0 1 0 970753742 45678592 7446 33554432000 4194304 4337479 140736760990384 18446744073709551615 4303218 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 11152 7446 262 35 0 7775 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44608
[startup+6.30113 s]
/proc/loadavg: 4.02 3.95 3.64 5/190 25550
/proc/meminfo: memFree=29139996/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=70088 CPUtime=6.29 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 13884 0 0 0 626 3 0 0 25 0 1 0 970753742 71770112 13515 33554432000 4194304 4337479 140736760990384 18446744073709551615 4289275 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 17522 13515 262 35 0 14145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70088
[startup+12.701 s]
/proc/loadavg: 4.02 3.95 3.65 5/190 25550
/proc/meminfo: memFree=29028192/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=115888 CPUtime=12.69 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 24514 0 0 0 1265 4 0 0 25 0 1 0 970753742 118669312 24144 33554432000 4194304 4337479 140736760990384 18446744073709551615 4288490 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 28972 24144 263 35 0 25595 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115888
[startup+25.5007 s]
/proc/loadavg: 4.01 3.95 3.65 5/190 25550
/proc/meminfo: memFree=28907760/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=157652 CPUtime=25.48 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 34042 0 0 0 2543 5 0 0 25 0 1 0 970753742 161435648 33672 33554432000 4194304 4337479 140736760990384 18446744073709551615 4303269 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 39413 33672 263 35 0 36036 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 157652
Solver just ended. Dumping a history of the last processes samples
[startup+25.9007 s]
/proc/loadavg: 4.01 3.95 3.65 5/190 25550
/proc/meminfo: memFree=28907760/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=157652 CPUtime=25.88 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 34179 0 0 0 2583 5 0 0 25 0 1 0 970753742 161435648 33809 33554432000 4194304 4337479 140736760990384 18446744073709551615 4310666 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 39413 33809 263 35 0 36036 0
Current children cumulated CPU time (s) 25.88
Current children cumulated vsize (KiB) 157652
[startup+26.0007 s]
/proc/loadavg: 4.01 3.95 3.65 5/190 25550
/proc/meminfo: memFree=28907760/32951124 swapFree=67054712/67111528
[pid=25548] ppid=25546 vsize=157652 CPUtime=25.98 cores=0,2
/proc/25548/stat : 25548 (hmuc) R 25546 25548 22928 0 -1 4202496 34193 0 0 0 2593 5 0 0 25 0 1 0 970753742 161435648 33823 33554432000 4194304 4337479 140736760990384 18446744073709551615 4255792 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25548/statm: 39413 33823 263 35 0 36036 0
Current children cumulated CPU time (s) 25.98
Current children cumulated vsize (KiB) 157652
Child status: 20
Real time (s): 26.08
CPU time (s): 26.076
CPU user time (s): 26.011
CPU system time (s): 0.06499
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 157652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.011
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34195
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= 54
runsolver used 0.046992 second user time and 0.100984 second system time
The end
Begin job on node119 at 2011-06-11 17:13:51
IDJOB=3494421
IDBENCH=89619
IDSOLVER=1984
FILE ID=node119/3494421-1307805231
RUNJOBID= node119-1307804372-23787
PBS_JOBID= 13551059
Free space on /tmp= 73992 MiB
SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/too_large_gr_rcs_w6.shuffled.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494421-1307805231/watcher-3494421-1307805231 -o /tmp/evaluation-result-3494421-1307805231/solver-3494421-1307805231 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494421-1307805231.cnf -no-pre
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 30ddcc5575081a4cc8a19e19d7f891aa
RANDOM SEED=365753645
node119.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.815
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.63
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.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
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.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
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.83
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.815
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.67
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.815
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.83
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.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
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: 29192700 kB
Buffers: 280144 kB
Cached: 864784 kB
SwapCached: 11012 kB
Active: 2966196 kB
Inactive: 570772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29192700 kB
SwapTotal: 67111528 kB
SwapFree: 67054712 kB
Dirty: 29680 kB
Writeback: 0 kB
AnonPages: 2389692 kB
Mapped: 13548 kB
Slab: 151388 kB
PageTables: 10112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2761616 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= 73992 MiB
End job on node119 at 2011-06-11 17:14:17