2.79/2.82 c WARNING: for repeatability, setting FPU to use double precision
2.79/2.82 c iter 1 time 0.12698 not-muc 41455 unknown 1796 muc 0
2.79/2.82 c iter 2 time 0.189971 not-muc 41801 unknown 1450 muc 0
2.79/2.82 c iter 3 time 0.19297 not-muc 41801 unknown 1449 muc 1
2.79/2.82 c iter 4 time 0.228965 not-muc 41834 unknown 1416 muc 1
2.79/2.82 c iter 5 time 0.244962 not-muc 41839 unknown 1411 muc 1
2.79/2.82 c iter 6 time 0.246962 not-muc 41839 unknown 1410 muc 2
2.79/2.82 c iter 7 time 0.253961 not-muc 41840 unknown 1409 muc 2
2.79/2.82 c iter 8 time 0.280957 not-muc 41853 unknown 1396 muc 2
2.79/2.82 c iter 9 time 0.282956 not-muc 41853 unknown 1395 muc 3
2.79/2.82 c iter 10 time 0.309952 not-muc 41856 unknown 1392 muc 3
2.79/2.82 c iter 11 time 0.334949 not-muc 41860 unknown 1388 muc 3
2.79/2.82 c iter 12 time 0.363944 not-muc 41862 unknown 1386 muc 3
2.79/2.82 c iter 13 time 0.398939 not-muc 41864 unknown 1384 muc 3
2.79/2.82 c iter 14 time 0.422935 not-muc 41868 unknown 1380 muc 3
2.79/2.82 c iter 15 time 0.461929 not-muc 41878 unknown 1370 muc 3
2.79/2.82 c iter 16 time 0.463929 not-muc 41878 unknown 1369 muc 4
2.79/2.82 c iter 17 time 0.480926 not-muc 41891 unknown 1356 muc 4
2.79/2.82 c iter 18 time 0.52292 not-muc 41922 unknown 1325 muc 4
2.79/2.82 c iter 19 time 0.562914 not-muc 41924 unknown 1323 muc 4
2.79/2.82 c iter 20 time 0.58891 not-muc 41925 unknown 1322 muc 4
2.79/2.82 c iter 21 time 0.636903 not-muc 41927 unknown 1320 muc 4
2.79/2.82 c iter 22 time 0.667898 not-muc 41952 unknown 1295 muc 4
2.79/2.82 c iter 23 time 0.725889 not-muc 42030 unknown 1217 muc 4
2.79/2.82 c iter 24 time 0.78688 not-muc 42062 unknown 1185 muc 4
2.79/2.82 c iter 25 time 0.790879 not-muc 42062 unknown 1184 muc 5
2.79/2.82 c iter 26 time 0.792879 not-muc 42062 unknown 1183 muc 6
2.79/2.82 c iter 27 time 0.794879 not-muc 42062 unknown 1182 muc 7
2.79/2.82 c iter 28 time 0.858869 not-muc 42071 unknown 1173 muc 7
2.79/2.82 c iter 29 time 0.861868 not-muc 42071 unknown 1172 muc 8
2.79/2.82 c iter 30 time 0.903862 not-muc 42106 unknown 1137 muc 8
2.79/2.82 c iter 31 time 0.930858 not-muc 42110 unknown 1133 muc 8
2.79/2.82 c iter 32 time 1.03884 not-muc 42144 unknown 1099 muc 8
2.79/2.82 c iter 33 time 1.12483 not-muc 42146 unknown 1097 muc 8
2.79/2.82 c iter 34 time 1.19182 not-muc 42147 unknown 1096 muc 8
2.79/2.82 c iter 35 time 1.25581 not-muc 42156 unknown 1087 muc 8
2.79/2.82 c iter 36 time 1.3218 not-muc 42163 unknown 1080 muc 8
2.79/2.82 c iter 37 time 1.3268 not-muc 42163 unknown 1079 muc 9
2.79/2.82 c iter 38 time 1.38879 not-muc 42164 unknown 1078 muc 9
2.79/2.82 c iter 39 time 1.43378 not-muc 42207 unknown 1035 muc 9
2.79/2.82 c iter 40 time 1.56976 not-muc 42217 unknown 1025 muc 9
2.79/2.82 c iter 41 time 1.63575 not-muc 42218 unknown 1024 muc 9
2.79/2.82 c iter 42 time 1.68374 not-muc 42219 unknown 1023 muc 9
2.79/2.82 c iter 43 time 1.68674 not-muc 42219 unknown 1022 muc 10
2.79/2.82 c iter 44 time 1.74773 not-muc 42220 unknown 1021 muc 10
2.79/2.82 c iter 45 time 1.82272 not-muc 42230 unknown 1011 muc 10
2.79/2.82 c iter 46 time 1.90471 not-muc 42232 unknown 1009 muc 10
2.79/2.82 c iter 47 time 1.9897 not-muc 42234 unknown 1007 muc 10
2.79/2.82 c iter 48 time 2.07368 not-muc 42236 unknown 1005 muc 10
2.79/2.82 c iter 49 time 2.07968 not-muc 42236 unknown 1004 muc 11
2.79/2.82 c iter 50 time 2.08168 not-muc 42236 unknown 1003 muc 12
2.79/2.82 c iter 51 time 2.08368 not-muc 42236 unknown 1002 muc 13
2.79/2.82 c iter 52 time 2.22866 not-muc 42240 unknown 998 muc 13
2.79/2.82 c iter 53 time 2.32365 not-muc 42242 unknown 996 muc 13
2.79/2.82 c iter 54 time 2.32864 not-muc 42242 unknown 995 muc 14
2.79/2.82 c iter 55 time 2.39663 not-muc 42249 unknown 988 muc 14
2.79/2.82 c iter 56 time 2.40263 not-muc 42249 unknown 987 muc 15
2.79/2.82 c iter 57 time 2.40463 not-muc 42249 unknown 986 muc 16
2.79/2.82 c iter 58 time 2.40663 not-muc 42249 unknown 985 muc 17
2.79/2.82 c iter 59 time 2.44463 not-muc 42259 unknown 975 muc 17
2.79/2.82 c iter 60 time 2.50162 not-muc 42274 unknown 960 muc 17
2.79/2.82 c iter 61 time 2.50562 not-muc 42274 unknown 959 muc 18
2.79/2.82 c iter 62 time 2.50762 not-muc 42274 unknown 958 muc 19
2.79/2.82 c iter 63 time 2.50862 not-muc 42274 unknown 957 muc 20
2.79/2.82 c iter 64 time 2.51262 not-muc 42274 unknown 956 muc 21
2.79/2.82 c iter 65 time 2.57061 not-muc 42276 unknown 954 muc 21
2.79/2.82 c iter 66 time 2.6056 not-muc 42278 unknown 952 muc 21
2.79/2.82 c iter 67 time 2.67559 not-muc 42280 unknown 950 muc 21
2.79/2.82 c iter 68 time 2.68059 not-muc 42280 unknown 949 muc 22
2.79/2.82 c iter 69 time 2.68459 not-muc 42280 unknown 948 muc 23
2.79/2.82 c iter 70 time 2.68759 not-muc 42280 unknown 947 muc 24
2.79/2.82 c iter 71 time 2.68859 not-muc 42280 unknown 946 muc 25
2.79/2.82 c iter 72 time 2.80857 not-muc 42281 unknown 945 muc 25
5.79/5.87 c iter 73 time 2.87156 not-muc 42282 unknown 944 muc 25
5.79/5.87 c iter 74 time 2.99354 not-muc 42283 unknown 943 muc 25
5.79/5.87 c iter 75 time 2.99754 not-muc 42283 unknown 942 muc 26
5.79/5.87 c iter 76 time 2.99954 not-muc 42283 unknown 941 muc 27
5.79/5.87 c iter 77 time 3.00154 not-muc 42283 unknown 940 muc 28
5.79/5.87 c iter 78 time 3.06053 not-muc 42285 unknown 938 muc 28
5.79/5.87 c iter 79 time 3.17352 not-muc 42286 unknown 937 muc 28
5.79/5.87 c iter 80 time 3.18052 not-muc 42286 unknown 936 muc 29
5.79/5.87 c iter 81 time 3.2955 not-muc 42287 unknown 935 muc 29
5.79/5.87 c iter 82 time 3.3055 not-muc 42287 unknown 934 muc 30
5.79/5.87 c iter 83 time 3.38348 not-muc 42288 unknown 933 muc 30
5.79/5.87 c iter 84 time 3.38948 not-muc 42288 unknown 932 muc 31
5.79/5.87 c iter 85 time 3.39248 not-muc 42288 unknown 931 muc 32
5.79/5.87 c iter 86 time 3.51247 not-muc 42289 unknown 930 muc 32
5.79/5.87 c iter 87 time 3.58845 not-muc 42290 unknown 929 muc 32
5.79/5.87 c iter 88 time 3.59445 not-muc 42290 unknown 928 muc 33
5.79/5.87 c iter 89 time 3.59845 not-muc 42290 unknown 927 muc 34
5.79/5.87 c iter 90 time 3.60145 not-muc 42290 unknown 926 muc 35
5.79/5.87 c iter 91 time 3.60445 not-muc 42290 unknown 925 muc 36
5.79/5.87 c iter 92 time 3.60645 not-muc 42290 unknown 924 muc 37
5.79/5.87 c iter 93 time 3.66944 not-muc 42291 unknown 923 muc 37
5.79/5.87 c iter 94 time 3.72243 not-muc 42295 unknown 919 muc 37
5.79/5.87 c iter 95 time 3.83242 not-muc 42297 unknown 917 muc 37
5.79/5.87 c iter 96 time 3.84241 not-muc 42297 unknown 916 muc 38
5.79/5.87 c iter 97 time 3.9154 not-muc 42301 unknown 912 muc 38
5.79/5.87 c iter 98 time 3.9214 not-muc 42301 unknown 911 muc 39
5.79/5.87 c iter 99 time 3.9444 not-muc 42302 unknown 910 muc 39
5.79/5.87 c iter 100 time 3.9464 not-muc 42302 unknown 909 muc 40
5.79/5.87 c iter 101 time 3.9494 not-muc 42302 unknown 908 muc 41
5.79/5.87 c iter 102 time 3.9504 not-muc 42302 unknown 907 muc 42
5.79/5.87 c iter 103 time 3.98439 not-muc 42305 unknown 904 muc 42
5.79/5.87 c iter 104 time 4.07338 not-muc 42307 unknown 902 muc 42
5.79/5.87 c iter 105 time 4.12637 not-muc 42309 unknown 900 muc 42
5.79/5.87 c iter 106 time 4.19336 not-muc 42310 unknown 899 muc 42
5.79/5.87 c iter 107 time 4.19936 not-muc 42310 unknown 898 muc 43
5.79/5.87 c iter 108 time 4.32434 not-muc 42312 unknown 896 muc 43
5.79/5.87 c iter 109 time 4.39133 not-muc 42345 unknown 863 muc 43
5.79/5.87 c iter 110 time 4.39833 not-muc 42345 unknown 862 muc 44
5.79/5.87 c iter 111 time 4.40133 not-muc 42345 unknown 861 muc 45
5.79/5.87 c iter 112 time 4.48032 not-muc 42346 unknown 860 muc 45
5.79/5.87 c iter 113 time 4.56331 not-muc 42347 unknown 859 muc 45
5.79/5.87 c iter 114 time 4.5693 not-muc 42347 unknown 858 muc 46
5.79/5.87 c iter 115 time 4.5723 not-muc 42347 unknown 857 muc 47
5.79/5.87 c iter 116 time 4.69129 not-muc 42348 unknown 856 muc 47
5.79/5.87 c iter 117 time 4.69728 not-muc 42348 unknown 855 muc 48
5.79/5.87 c iter 118 time 4.70029 not-muc 42348 unknown 854 muc 49
5.79/5.87 c iter 119 time 4.76527 not-muc 42350 unknown 852 muc 49
5.79/5.87 c iter 120 time 4.77327 not-muc 42350 unknown 851 muc 50
5.79/5.87 c iter 121 time 4.77527 not-muc 42350 unknown 850 muc 51
5.79/5.87 c iter 122 time 4.77727 not-muc 42350 unknown 849 muc 52
5.79/5.87 c iter 123 time 4.78527 not-muc 42350 unknown 848 muc 53
5.79/5.87 c iter 124 time 4.90925 not-muc 42351 unknown 847 muc 53
5.79/5.87 c iter 125 time 4.91525 not-muc 42351 unknown 846 muc 54
5.79/5.87 c iter 126 time 4.91825 not-muc 42351 unknown 845 muc 55
5.79/5.87 c iter 127 time 5.03723 not-muc 42352 unknown 844 muc 55
5.79/5.87 c iter 128 time 5.04523 not-muc 42352 unknown 843 muc 56
5.79/5.87 c iter 129 time 5.18021 not-muc 42353 unknown 842 muc 56
5.79/5.87 c iter 130 time 5.18721 not-muc 42353 unknown 841 muc 57
5.79/5.87 c iter 131 time 5.29919 not-muc 42354 unknown 840 muc 57
5.79/5.87 c iter 132 time 5.30919 not-muc 42354 unknown 839 muc 58
5.79/5.87 c iter 133 time 5.31319 not-muc 42354 unknown 838 muc 59
5.79/5.87 c iter 134 time 5.37918 not-muc 42355 unknown 837 muc 59
5.79/5.87 c iter 135 time 5.47517 not-muc 42356 unknown 836 muc 59
5.79/5.87 c iter 136 time 5.60215 not-muc 42357 unknown 835 muc 59
5.79/5.87 c iter 137 time 5.60815 not-muc 42357 unknown 834 muc 60
5.79/5.87 c iter 138 time 5.71413 not-muc 42358 unknown 833 muc 60
5.79/5.87 c iter 139 time 5.72213 not-muc 42358 unknown 832 muc 61
5.79/5.87 c iter 140 time 5.83211 not-muc 42359 unknown 831 muc 61
5.79/5.87 c iter 141 time 5.84011 not-muc 42359 unknown 830 muc 62
5.79/5.87 c iter 142 time 5.84511 not-muc 42359 unknown 829 muc 63
5.79/5.87 c iter 143 time 5.84811 not-muc 42359 unknown 828 muc 64
5.79/5.87 c iter 144 time 5.85111 not-muc 42359 unknown 827 muc 65
5.79/5.87 c iter 145 time 5.85511 not-muc 42359 unknown 826 muc 66
8.29/8.35 c iter 146 time 5.85811 not-muc 42359 unknown 825 muc 67
8.29/8.35 c iter 147 time 5.86111 not-muc 42359 unknown 824 muc 68
8.29/8.35 c iter 148 time 5.9261 not-muc 42360 unknown 823 muc 68
8.29/8.35 c iter 149 time 5.9331 not-muc 42360 unknown 822 muc 69
8.29/8.35 c iter 150 time 5.9361 not-muc 42360 unknown 821 muc 70
8.29/8.35 c iter 151 time 5.99509 not-muc 42361 unknown 820 muc 70
8.29/8.35 c iter 152 time 6.05508 not-muc 42362 unknown 819 muc 70
8.29/8.35 c iter 153 time 6.06008 not-muc 42362 unknown 818 muc 71
8.29/8.35 c iter 154 time 6.06308 not-muc 42362 unknown 817 muc 72
8.29/8.35 c iter 155 time 6.06508 not-muc 42362 unknown 816 muc 73
8.29/8.35 c iter 156 time 6.06708 not-muc 42362 unknown 815 muc 74
8.29/8.35 c iter 157 time 6.06908 not-muc 42362 unknown 814 muc 75
8.29/8.35 c iter 158 time 6.07208 not-muc 42362 unknown 813 muc 76
8.29/8.35 c iter 159 time 6.07308 not-muc 42362 unknown 812 muc 77
8.29/8.35 c iter 160 time 6.07608 not-muc 42362 unknown 811 muc 78
8.29/8.35 c iter 161 time 6.07808 not-muc 42362 unknown 810 muc 79
8.29/8.35 c iter 162 time 6.08007 not-muc 42362 unknown 809 muc 80
8.29/8.35 c iter 163 time 6.16806 not-muc 42363 unknown 808 muc 80
8.29/8.35 c iter 164 time 6.17406 not-muc 42363 unknown 807 muc 81
8.29/8.35 c iter 165 time 6.17806 not-muc 42363 unknown 806 muc 82
8.29/8.35 c iter 166 time 6.24705 not-muc 42366 unknown 803 muc 82
8.29/8.35 c iter 167 time 6.31204 not-muc 42368 unknown 801 muc 82
8.29/8.35 c iter 168 time 6.38103 not-muc 42369 unknown 800 muc 82
8.29/8.35 c iter 169 time 6.38603 not-muc 42369 unknown 799 muc 83
8.29/8.35 c iter 170 time 6.45802 not-muc 42370 unknown 798 muc 83
8.29/8.35 c iter 171 time 6.52701 not-muc 42371 unknown 797 muc 83
8.29/8.35 c iter 172 time 6.53701 not-muc 42371 unknown 796 muc 84
8.29/8.35 c iter 173 time 6.539 not-muc 42371 unknown 795 muc 85
8.29/8.35 c iter 174 time 6.54101 not-muc 42371 unknown 794 muc 86
8.29/8.35 c iter 175 time 6.597 not-muc 42373 unknown 792 muc 86
8.29/8.35 c iter 176 time 6.71198 not-muc 42374 unknown 791 muc 86
8.29/8.35 c iter 177 time 6.78097 not-muc 42375 unknown 790 muc 86
8.29/8.35 c iter 178 time 6.78897 not-muc 42375 unknown 789 muc 87
8.29/8.35 c iter 179 time 6.79697 not-muc 42376 unknown 788 muc 87
8.29/8.35 c iter 180 time 6.87695 not-muc 42377 unknown 787 muc 87
8.29/8.35 c iter 181 time 6.99694 not-muc 42380 unknown 784 muc 87
8.29/8.35 c iter 182 time 7.08992 not-muc 42381 unknown 783 muc 87
8.29/8.35 c iter 183 time 7.09692 not-muc 42381 unknown 782 muc 88
8.29/8.35 c iter 184 time 7.13891 not-muc 42382 unknown 781 muc 88
8.29/8.35 c iter 185 time 7.2029 not-muc 42383 unknown 780 muc 88
8.29/8.35 c iter 186 time 7.2119 not-muc 42383 unknown 779 muc 89
8.29/8.35 c iter 187 time 7.2139 not-muc 42383 unknown 778 muc 90
8.29/8.35 c iter 188 time 7.2169 not-muc 42383 unknown 777 muc 91
8.29/8.35 c iter 189 time 7.2199 not-muc 42383 unknown 776 muc 92
8.29/8.35 c iter 190 time 7.2219 not-muc 42383 unknown 775 muc 93
8.29/8.35 c iter 191 time 7.2259 not-muc 42383 unknown 774 muc 94
8.29/8.35 c iter 192 time 7.2289 not-muc 42383 unknown 773 muc 95
8.29/8.35 c iter 193 time 7.33888 not-muc 42384 unknown 772 muc 95
8.29/8.35 c iter 194 time 7.40987 not-muc 42385 unknown 771 muc 95
8.29/8.35 c iter 195 time 7.49586 not-muc 42386 unknown 770 muc 95
8.29/8.35 c iter 196 time 7.61084 not-muc 42387 unknown 769 muc 95
8.29/8.35 c iter 197 time 7.61984 not-muc 42387 unknown 768 muc 96
8.29/8.35 c iter 198 time 7.62284 not-muc 42387 unknown 767 muc 97
8.29/8.35 c iter 199 time 7.68883 not-muc 42389 unknown 765 muc 97
8.29/8.35 c iter 200 time 7.69583 not-muc 42389 unknown 764 muc 98
8.29/8.35 c iter 201 time 7.69983 not-muc 42389 unknown 763 muc 99
8.29/8.35 c iter 202 time 7.70383 not-muc 42389 unknown 762 muc 100
8.29/8.35 c iter 203 time 7.75082 not-muc 42391 unknown 760 muc 100
8.29/8.35 c iter 204 time 7.75682 not-muc 42391 unknown 759 muc 101
8.29/8.35 c iter 205 time 7.80781 not-muc 42392 unknown 758 muc 101
8.29/8.35 c iter 206 time 7.93579 not-muc 42393 unknown 757 muc 101
8.29/8.35 c iter 207 time 7.94479 not-muc 42393 unknown 756 muc 102
8.29/8.35 c iter 208 time 7.94779 not-muc 42393 unknown 755 muc 103
8.29/8.35 c iter 209 time 7.95379 not-muc 42393 unknown 754 muc 104
8.29/8.35 c iter 210 time 8.01978 not-muc 42395 unknown 752 muc 104
8.29/8.35 c iter 211 time 8.02678 not-muc 42395 unknown 751 muc 105
8.29/8.35 c iter 212 time 8.13076 not-muc 42396 unknown 750 muc 105
8.29/8.35 c iter 213 time 8.23475 not-muc 42399 unknown 747 muc 105
8.29/8.35 c iter 214 time 8.24475 not-muc 42399 unknown 746 muc 106
8.29/8.35 c iter 215 time 8.30974 not-muc 42401 unknown 744 muc 106
8.29/8.35 c iter 216 time 8.31774 not-muc 42401 unknown 743 muc 107
10.59/10.66 c iter 217 time 8.38072 not-muc 42402 unknown 742 muc 107
10.59/10.66 c iter 218 time 8.38772 not-muc 42402 unknown 741 muc 108
10.59/10.66 c iter 219 time 8.50771 not-muc 42404 unknown 739 muc 108
10.59/10.66 c iter 220 time 8.5697 not-muc 42405 unknown 738 muc 108
10.59/10.66 c iter 221 time 8.69168 not-muc 42409 unknown 734 muc 108
10.59/10.66 c iter 222 time 8.69868 not-muc 42409 unknown 733 muc 109
10.59/10.66 c iter 223 time 8.70168 not-muc 42409 unknown 732 muc 110
10.59/10.66 c iter 224 time 8.82466 not-muc 42411 unknown 730 muc 110
10.59/10.66 c iter 225 time 8.93764 not-muc 42412 unknown 729 muc 110
10.59/10.66 c iter 226 time 9.06162 not-muc 42414 unknown 727 muc 110
10.59/10.66 c iter 227 time 9.1866 not-muc 42415 unknown 726 muc 110
10.59/10.66 c iter 228 time 9.1966 not-muc 42415 unknown 725 muc 111
10.59/10.66 c iter 229 time 9.2006 not-muc 42415 unknown 724 muc 112
10.59/10.66 c iter 230 time 9.2066 not-muc 42415 unknown 723 muc 113
10.59/10.66 c iter 231 time 9.25659 not-muc 42418 unknown 720 muc 113
10.59/10.66 c iter 232 time 9.26459 not-muc 42418 unknown 719 muc 114
10.59/10.66 c iter 233 time 9.26859 not-muc 42418 unknown 718 muc 115
10.59/10.66 c iter 234 time 9.27259 not-muc 42418 unknown 717 muc 116
10.59/10.66 c iter 235 time 9.27559 not-muc 42418 unknown 716 muc 117
10.59/10.66 c iter 236 time 9.28859 not-muc 42418 unknown 715 muc 118
10.59/10.66 c iter 237 time 9.37358 not-muc 42421 unknown 712 muc 118
10.59/10.66 c iter 238 time 9.43956 not-muc 42423 unknown 710 muc 118
10.59/10.66 c iter 239 time 9.44656 not-muc 42423 unknown 709 muc 119
10.59/10.66 c iter 240 time 9.45156 not-muc 42423 unknown 708 muc 120
10.59/10.66 c iter 241 time 9.45656 not-muc 42423 unknown 707 muc 121
10.59/10.66 c iter 242 time 9.46156 not-muc 42423 unknown 706 muc 122
10.59/10.66 c iter 243 time 9.46556 not-muc 42423 unknown 705 muc 123
10.59/10.66 c iter 244 time 9.52955 not-muc 42429 unknown 699 muc 123
10.59/10.66 c iter 245 time 9.53655 not-muc 42429 unknown 698 muc 124
10.59/10.66 c iter 246 time 9.53955 not-muc 42429 unknown 697 muc 125
10.59/10.66 c iter 247 time 9.54355 not-muc 42429 unknown 696 muc 126
10.59/10.66 c iter 248 time 9.65653 not-muc 42438 unknown 687 muc 126
10.59/10.66 c iter 249 time 9.77551 not-muc 42439 unknown 686 muc 126
10.59/10.66 c iter 250 time 9.91649 not-muc 42442 unknown 683 muc 126
10.59/10.66 c iter 251 time 9.92549 not-muc 42442 unknown 682 muc 127
10.59/10.66 c iter 252 time 10.0345 not-muc 42444 unknown 680 muc 127
10.59/10.66 c iter 253 time 10.0435 not-muc 42444 unknown 679 muc 128
10.59/10.66 c iter 254 time 10.0465 not-muc 42444 unknown 678 muc 129
10.59/10.66 c iter 255 time 10.1015 not-muc 42446 unknown 676 muc 129
10.59/10.66 c iter 256 time 10.1105 not-muc 42446 unknown 675 muc 130
10.59/10.66 c iter 257 time 10.1145 not-muc 42446 unknown 674 muc 131
10.59/10.66 c iter 258 time 10.1415 not-muc 42447 unknown 673 muc 131
10.59/10.66 c iter 259 time 10.1465 not-muc 42447 unknown 672 muc 132
10.59/10.66 c iter 260 time 10.2694 not-muc 42448 unknown 671 muc 132
10.59/10.66 c iter 261 time 10.2794 not-muc 42448 unknown 670 muc 133
10.59/10.66 c iter 262 time 10.2864 not-muc 42448 unknown 669 muc 134
10.59/10.66 c iter 263 time 10.2934 not-muc 42448 unknown 668 muc 135
10.59/10.66 c iter 264 time 10.3024 not-muc 42448 unknown 667 muc 136
10.59/10.66 c iter 265 time 10.3074 not-muc 42448 unknown 666 muc 137
10.59/10.66 c iter 266 time 10.3114 not-muc 42448 unknown 665 muc 138
10.59/10.66 c iter 267 time 10.3174 not-muc 42448 unknown 664 muc 139
10.59/10.66 c iter 268 time 10.3324 not-muc 42448 unknown 663 muc 140
10.59/10.66 c iter 269 time 10.3974 not-muc 42449 unknown 662 muc 140
10.59/10.66 c iter 270 time 10.4054 not-muc 42449 unknown 661 muc 141
10.59/10.66 c iter 271 time 10.4104 not-muc 42449 unknown 660 muc 142
10.59/10.66 c iter 272 time 10.4154 not-muc 42449 unknown 659 muc 143
10.59/10.66 c iter 273 time 10.5324 not-muc 42451 unknown 657 muc 143
10.59/10.66 c iter 274 time 10.5424 not-muc 42451 unknown 656 muc 144
10.59/10.66 c iter 275 time 10.5484 not-muc 42451 unknown 655 muc 145
10.59/10.66 c iter 276 time 10.5544 not-muc 42451 unknown 654 muc 146
10.59/10.66 c iter 277 time 10.5584 not-muc 42451 unknown 653 muc 147
10.59/10.66 c iter 278 time 10.5654 not-muc 42451 unknown 652 muc 148
10.59/10.66 c iter 279 time 10.5724 not-muc 42451 unknown 651 muc 149
10.59/10.66 c iter 280 time 10.5804 not-muc 42451 unknown 650 muc 150
10.59/10.66 c iter 281 time 10.5854 not-muc 42451 unknown 649 muc 151
10.59/10.66 c iter 282 time 10.5934 not-muc 42451 unknown 648 muc 152
10.59/10.66 c iter 283 time 10.6004 not-muc 42451 unknown 647 muc 153
10.59/10.66 c iter 284 time 10.6064 not-muc 42451 unknown 646 muc 154
10.59/10.66 c iter 285 time 10.6124 not-muc 42451 unknown 645 muc 155
10.59/10.66 c iter 286 time 10.6194 not-muc 42451 unknown 644 muc 156
10.59/10.66 c iter 287 time 10.6244 not-muc 42451 unknown 643 muc 157
12.49/12.57 c iter 288 time 10.7164 not-muc 42453 unknown 641 muc 157
12.49/12.57 c iter 289 time 10.7264 not-muc 42453 unknown 640 muc 158
12.49/12.57 c iter 290 time 10.7804 not-muc 42455 unknown 638 muc 158
12.49/12.57 c iter 291 time 10.7894 not-muc 42455 unknown 637 muc 159
12.49/12.57 c iter 292 time 10.7924 not-muc 42455 unknown 636 muc 160
12.49/12.57 c iter 293 time 10.8044 not-muc 42455 unknown 635 muc 161
12.49/12.57 c iter 294 time 10.8084 not-muc 42455 unknown 634 muc 162
12.49/12.57 c iter 295 time 10.8134 not-muc 42455 unknown 633 muc 163
12.49/12.57 c iter 296 time 10.8164 not-muc 42455 unknown 632 muc 164
12.49/12.57 c iter 297 time 10.8194 not-muc 42455 unknown 631 muc 165
12.49/12.57 c iter 298 time 10.8813 not-muc 42456 unknown 630 muc 165
12.49/12.57 c iter 299 time 10.8883 not-muc 42456 unknown 629 muc 166
12.49/12.57 c iter 300 time 10.8923 not-muc 42456 unknown 628 muc 167
12.49/12.57 c iter 301 time 10.8963 not-muc 42456 unknown 627 muc 168
12.49/12.57 c iter 302 time 10.9983 not-muc 42457 unknown 626 muc 168
12.49/12.57 c iter 303 time 11.0653 not-muc 42458 unknown 625 muc 168
12.49/12.57 c iter 304 time 11.0733 not-muc 42458 unknown 624 muc 169
12.49/12.57 c iter 305 time 11.1893 not-muc 42460 unknown 622 muc 169
12.49/12.57 c iter 306 time 11.1993 not-muc 42460 unknown 621 muc 170
12.49/12.57 c iter 307 time 11.2043 not-muc 42460 unknown 620 muc 171
12.49/12.57 c iter 308 time 11.2103 not-muc 42460 unknown 619 muc 172
12.49/12.57 c iter 309 time 11.2843 not-muc 42461 unknown 618 muc 172
12.49/12.57 c iter 310 time 11.2933 not-muc 42461 unknown 617 muc 173
12.49/12.57 c iter 311 time 11.2973 not-muc 42461 unknown 616 muc 174
12.49/12.57 c iter 312 time 11.3013 not-muc 42461 unknown 615 muc 175
12.49/12.57 c iter 313 time 11.3073 not-muc 42461 unknown 614 muc 176
12.49/12.57 c iter 314 time 11.3163 not-muc 42461 unknown 613 muc 177
12.49/12.57 c iter 315 time 11.3213 not-muc 42461 unknown 612 muc 178
12.49/12.57 c iter 316 time 11.3243 not-muc 42461 unknown 611 muc 179
12.49/12.57 c iter 317 time 11.3893 not-muc 42462 unknown 610 muc 179
12.49/12.57 c iter 318 time 11.3973 not-muc 42462 unknown 609 muc 180
12.49/12.57 c iter 319 time 11.5132 not-muc 42463 unknown 608 muc 180
12.49/12.57 c iter 320 time 11.5212 not-muc 42463 unknown 607 muc 181
12.49/12.57 c iter 321 time 11.5252 not-muc 42463 unknown 606 muc 182
12.49/12.57 c iter 322 time 11.5302 not-muc 42463 unknown 605 muc 183
12.49/12.57 c iter 323 time 11.5342 not-muc 42463 unknown 604 muc 184
12.49/12.57 c iter 324 time 11.5882 not-muc 42464 unknown 603 muc 184
12.49/12.57 c iter 325 time 11.5962 not-muc 42464 unknown 602 muc 185
12.49/12.57 c iter 326 time 11.6972 not-muc 42465 unknown 601 muc 185
12.49/12.57 c iter 327 time 11.7042 not-muc 42465 unknown 600 muc 186
12.49/12.57 c iter 328 time 11.7092 not-muc 42465 unknown 599 muc 187
12.49/12.57 c iter 329 time 11.7662 not-muc 42466 unknown 598 muc 187
12.49/12.57 c iter 330 time 11.8172 not-muc 42470 unknown 594 muc 187
12.49/12.57 c iter 331 time 11.9252 not-muc 42472 unknown 592 muc 187
12.49/12.57 c iter 332 time 11.9342 not-muc 42472 unknown 591 muc 188
12.49/12.57 c iter 333 time 11.9372 not-muc 42472 unknown 590 muc 189
12.49/12.57 c iter 334 time 11.9422 not-muc 42472 unknown 589 muc 190
12.49/12.57 c iter 335 time 11.9462 not-muc 42472 unknown 588 muc 191
12.49/12.57 c iter 336 time 12.0762 not-muc 42473 unknown 587 muc 191
12.49/12.57 c iter 337 time 12.0872 not-muc 42473 unknown 586 muc 192
12.49/12.57 c iter 338 time 12.0912 not-muc 42473 unknown 585 muc 193
12.49/12.57 c iter 339 time 12.0962 not-muc 42473 unknown 584 muc 194
12.49/12.57 c iter 340 time 12.1022 not-muc 42473 unknown 583 muc 195
12.49/12.57 c iter 341 time 12.1072 not-muc 42473 unknown 582 muc 196
12.49/12.57 c iter 342 time 12.1122 not-muc 42473 unknown 581 muc 197
12.49/12.57 c iter 343 time 12.2001 not-muc 42475 unknown 579 muc 197
12.49/12.57 c iter 344 time 12.2101 not-muc 42475 unknown 578 muc 198
12.49/12.57 c iter 345 time 12.2151 not-muc 42475 unknown 577 muc 199
12.49/12.57 c iter 346 time 12.2191 not-muc 42475 unknown 576 muc 200
12.49/12.57 c iter 347 time 12.2231 not-muc 42475 unknown 575 muc 201
12.49/12.57 c iter 348 time 12.2291 not-muc 42475 unknown 574 muc 202
12.49/12.57 c iter 349 time 12.2901 not-muc 42487 unknown 562 muc 202
12.49/12.57 c iter 350 time 12.2991 not-muc 42487 unknown 561 muc 203
12.49/12.57 c iter 351 time 12.3131 not-muc 42487 unknown 560 muc 204
12.49/12.57 c iter 352 time 12.3171 not-muc 42487 unknown 559 muc 205
12.49/12.57 c iter 353 time 12.3211 not-muc 42487 unknown 558 muc 206
12.49/12.57 c iter 354 time 12.4431 not-muc 42494 unknown 551 muc 206
12.49/12.57 c iter 355 time 12.4541 not-muc 42494 unknown 550 muc 207
12.49/12.57 c iter 356 time 12.4621 not-muc 42494 unknown 549 muc 208
12.49/12.57 c iter 357 time 12.4711 not-muc 42494 unknown 548 muc 209
12.49/12.57 c iter 358 time 12.5341 not-muc 42495 unknown 547 muc 209
15.39/15.40 c iter 359 time 12.5431 not-muc 42495 unknown 546 muc 210
15.39/15.40 c iter 360 time 12.6361 not-muc 42497 unknown 544 muc 210
15.39/15.40 c iter 361 time 12.6431 not-muc 42497 unknown 543 muc 211
15.39/15.40 c iter 362 time 12.6481 not-muc 42497 unknown 542 muc 212
15.39/15.40 c iter 363 time 12.6531 not-muc 42497 unknown 541 muc 213
15.39/15.40 c iter 364 time 12.6571 not-muc 42497 unknown 540 muc 214
15.39/15.40 c iter 365 time 12.6621 not-muc 42497 unknown 539 muc 215
15.39/15.40 c iter 366 time 12.6661 not-muc 42497 unknown 538 muc 216
15.39/15.40 c iter 367 time 12.7741 not-muc 42500 unknown 535 muc 216
15.39/15.40 c iter 368 time 12.7841 not-muc 42500 unknown 534 muc 217
15.39/15.40 c iter 369 time 12.908 not-muc 42501 unknown 533 muc 217
15.39/15.40 c iter 370 time 12.917 not-muc 42501 unknown 532 muc 218
15.39/15.40 c iter 371 time 12.922 not-muc 42501 unknown 531 muc 219
15.39/15.40 c iter 372 time 12.927 not-muc 42501 unknown 530 muc 220
15.39/15.40 c iter 373 time 13.01 not-muc 42502 unknown 529 muc 220
15.39/15.40 c iter 374 time 13.018 not-muc 42502 unknown 528 muc 221
15.39/15.40 c iter 375 time 13.026 not-muc 42502 unknown 527 muc 222
15.39/15.40 c iter 376 time 13.088 not-muc 42503 unknown 526 muc 222
15.39/15.40 c iter 377 time 13.096 not-muc 42503 unknown 525 muc 223
15.39/15.40 c iter 378 time 13.1 not-muc 42503 unknown 524 muc 224
15.39/15.40 c iter 379 time 13.103 not-muc 42503 unknown 523 muc 225
15.39/15.40 c iter 380 time 13.106 not-muc 42503 unknown 522 muc 226
15.39/15.40 c iter 381 time 13.109 not-muc 42503 unknown 521 muc 227
15.39/15.40 c iter 382 time 13.113 not-muc 42503 unknown 520 muc 228
15.39/15.40 c iter 383 time 13.117 not-muc 42503 unknown 519 muc 229
15.39/15.40 c iter 384 time 13.121 not-muc 42503 unknown 518 muc 230
15.39/15.40 c iter 385 time 13.125 not-muc 42503 unknown 517 muc 231
15.39/15.40 c iter 386 time 13.237 not-muc 42504 unknown 516 muc 231
15.39/15.40 c iter 387 time 13.385 not-muc 42505 unknown 515 muc 231
15.39/15.40 c iter 388 time 13.397 not-muc 42505 unknown 514 muc 232
15.39/15.40 c iter 389 time 13.5149 not-muc 42506 unknown 513 muc 232
15.39/15.40 c iter 390 time 13.6439 not-muc 42507 unknown 512 muc 232
15.39/15.40 c iter 391 time 13.6539 not-muc 42507 unknown 511 muc 233
15.39/15.40 c iter 392 time 13.7109 not-muc 42508 unknown 510 muc 233
15.39/15.40 c iter 393 time 13.7179 not-muc 42508 unknown 509 muc 234
15.39/15.40 c iter 394 time 13.8439 not-muc 42509 unknown 508 muc 234
15.39/15.40 c iter 395 time 13.8529 not-muc 42509 unknown 507 muc 235
15.39/15.40 c iter 396 time 14.0999 not-muc 42510 unknown 506 muc 235
15.39/15.40 c iter 397 time 14.2168 not-muc 42511 unknown 505 muc 235
15.39/15.40 c iter 398 time 14.2268 not-muc 42511 unknown 504 muc 236
15.39/15.40 c iter 399 time 14.2328 not-muc 42511 unknown 503 muc 237
15.39/15.40 c iter 400 time 14.2908 not-muc 42512 unknown 502 muc 237
15.39/15.40 c iter 401 time 14.2998 not-muc 42512 unknown 501 muc 238
15.39/15.40 c iter 402 time 14.3038 not-muc 42512 unknown 500 muc 239
15.39/15.40 c iter 403 time 14.3088 not-muc 42512 unknown 499 muc 240
15.39/15.40 c iter 404 time 14.3128 not-muc 42512 unknown 498 muc 241
15.39/15.40 c iter 405 time 14.4438 not-muc 42513 unknown 497 muc 241
15.39/15.40 c iter 406 time 14.5778 not-muc 42514 unknown 496 muc 241
15.39/15.40 c iter 407 time 14.5908 not-muc 42514 unknown 495 muc 242
15.39/15.40 c iter 408 time 14.7318 not-muc 42515 unknown 494 muc 242
15.39/15.40 c iter 409 time 14.7408 not-muc 42515 unknown 493 muc 243
15.39/15.40 c iter 410 time 14.8507 not-muc 42516 unknown 492 muc 243
15.39/15.40 c iter 411 time 14.8627 not-muc 42516 unknown 491 muc 244
15.39/15.40 c iter 412 time 14.8697 not-muc 42516 unknown 490 muc 245
15.39/15.40 c iter 413 time 14.8917 not-muc 42516 unknown 489 muc 246
15.39/15.40 c iter 414 time 14.8987 not-muc 42516 unknown 488 muc 247
15.39/15.40 c iter 415 time 14.9077 not-muc 42516 unknown 487 muc 248
15.39/15.40 c iter 416 time 14.9677 not-muc 42518 unknown 485 muc 248
15.39/15.40 c iter 417 time 14.9767 not-muc 42518 unknown 484 muc 249
15.39/15.40 c iter 418 time 14.9797 not-muc 42518 unknown 483 muc 250
15.39/15.40 c iter 419 time 14.9867 not-muc 42518 unknown 482 muc 251
15.39/15.40 c iter 420 time 14.9917 not-muc 42518 unknown 481 muc 252
15.39/15.40 c iter 421 time 14.9967 not-muc 42518 unknown 480 muc 253
15.39/15.40 c iter 422 time 15.0817 not-muc 42519 unknown 479 muc 253
15.39/15.40 c iter 423 time 15.0917 not-muc 42519 unknown 478 muc 254
15.39/15.40 c iter 424 time 15.2067 not-muc 42520 unknown 477 muc 254
15.39/15.40 c iter 425 time 15.2167 not-muc 42520 unknown 476 muc 255
15.39/15.40 c iter 426 time 15.2217 not-muc 42520 unknown 475 muc 256
15.39/15.40 c iter 427 time 15.3047 not-muc 42521 unknown 474 muc 256
15.39/15.40 c iter 428 time 15.3137 not-muc 42521 unknown 473 muc 257
15.39/15.40 c iter 429 time 15.3587 not-muc 42522 unknown 472 muc 257
17.60/17.61 c iter 430 time 15.3657 not-muc 42522 unknown 471 muc 258
17.60/17.61 c iter 431 time 15.3697 not-muc 42522 unknown 470 muc 259
17.60/17.61 c iter 432 time 15.3737 not-muc 42522 unknown 469 muc 260
17.60/17.61 c iter 433 time 15.3787 not-muc 42522 unknown 468 muc 261
17.60/17.61 c iter 434 time 15.3827 not-muc 42522 unknown 467 muc 262
17.60/17.61 c iter 435 time 15.4387 not-muc 42523 unknown 466 muc 262
17.60/17.61 c iter 436 time 15.4636 not-muc 42523 unknown 465 muc 263
17.60/17.61 c iter 437 time 15.4996 not-muc 42524 unknown 464 muc 263
17.60/17.61 c iter 438 time 15.5066 not-muc 42524 unknown 463 muc 264
17.60/17.61 c iter 439 time 15.5116 not-muc 42524 unknown 462 muc 265
17.60/17.61 c iter 440 time 15.5166 not-muc 42524 unknown 461 muc 266
17.60/17.61 c iter 441 time 15.5346 not-muc 42524 unknown 460 muc 267
17.60/17.61 c iter 442 time 15.5396 not-muc 42524 unknown 459 muc 268
17.60/17.61 c iter 443 time 15.5446 not-muc 42524 unknown 458 muc 269
17.60/17.61 c iter 444 time 15.5496 not-muc 42524 unknown 457 muc 270
17.60/17.61 c iter 445 time 15.5536 not-muc 42524 unknown 456 muc 271
17.60/17.61 c iter 446 time 15.5576 not-muc 42524 unknown 455 muc 272
17.60/17.61 c iter 447 time 15.5636 not-muc 42524 unknown 454 muc 273
17.60/17.61 c iter 448 time 15.6676 not-muc 42525 unknown 453 muc 273
17.60/17.61 c iter 449 time 15.6766 not-muc 42525 unknown 452 muc 274
17.60/17.61 c iter 450 time 15.6816 not-muc 42525 unknown 451 muc 275
17.60/17.61 c iter 451 time 15.6876 not-muc 42525 unknown 450 muc 276
17.60/17.61 c iter 452 time 15.6936 not-muc 42525 unknown 449 muc 277
17.60/17.61 c iter 453 time 15.8186 not-muc 42526 unknown 448 muc 277
17.60/17.61 c iter 454 time 15.9266 not-muc 42534 unknown 440 muc 277
17.60/17.61 c iter 455 time 15.9366 not-muc 42534 unknown 439 muc 278
17.60/17.61 c iter 456 time 15.9416 not-muc 42534 unknown 438 muc 279
17.60/17.61 c iter 457 time 15.9476 not-muc 42534 unknown 437 muc 280
17.60/17.61 c iter 458 time 15.9516 not-muc 42534 unknown 436 muc 281
17.60/17.61 c iter 459 time 15.9576 not-muc 42534 unknown 435 muc 282
17.60/17.61 c iter 460 time 16.0866 not-muc 42535 unknown 434 muc 282
17.60/17.61 c iter 461 time 16.0966 not-muc 42535 unknown 433 muc 283
17.60/17.61 c iter 462 time 16.1026 not-muc 42535 unknown 432 muc 284
17.60/17.61 c iter 463 time 16.1076 not-muc 42535 unknown 431 muc 285
17.60/17.61 c iter 464 time 16.1125 not-muc 42535 unknown 430 muc 286
17.60/17.61 c iter 465 time 16.1165 not-muc 42535 unknown 429 muc 287
17.60/17.61 c iter 466 time 16.2505 not-muc 42536 unknown 428 muc 287
17.60/17.61 c iter 467 time 16.2625 not-muc 42536 unknown 427 muc 288
17.60/17.61 c iter 468 time 16.2685 not-muc 42536 unknown 426 muc 289
17.60/17.61 c iter 469 time 16.2765 not-muc 42536 unknown 425 muc 290
17.60/17.61 c iter 470 time 16.2855 not-muc 42536 unknown 424 muc 291
17.60/17.61 c iter 471 time 16.3105 not-muc 42536 unknown 423 muc 292
17.60/17.61 c iter 472 time 16.3185 not-muc 42536 unknown 422 muc 293
17.60/17.61 c iter 473 time 16.3255 not-muc 42536 unknown 421 muc 294
17.60/17.61 c iter 474 time 16.3355 not-muc 42536 unknown 420 muc 295
17.60/17.61 c iter 475 time 16.3425 not-muc 42536 unknown 419 muc 296
17.60/17.61 c iter 476 time 16.4395 not-muc 42537 unknown 418 muc 296
17.60/17.61 c iter 477 time 16.4505 not-muc 42537 unknown 417 muc 297
17.60/17.61 c iter 478 time 16.4555 not-muc 42537 unknown 416 muc 298
17.60/17.61 c iter 479 time 16.5505 not-muc 42538 unknown 415 muc 298
17.60/17.61 c iter 480 time 16.5625 not-muc 42538 unknown 414 muc 299
17.60/17.61 c iter 481 time 16.5685 not-muc 42538 unknown 413 muc 300
17.60/17.61 c iter 482 time 16.5725 not-muc 42538 unknown 412 muc 301
17.60/17.61 c iter 483 time 16.5775 not-muc 42538 unknown 411 muc 302
17.60/17.61 c iter 484 time 16.6295 not-muc 42539 unknown 410 muc 302
17.60/17.61 c iter 485 time 16.7535 not-muc 42540 unknown 409 muc 302
17.60/17.61 c iter 486 time 16.8034 not-muc 42541 unknown 408 muc 302
17.60/17.61 c iter 487 time 16.8124 not-muc 42541 unknown 407 muc 303
17.60/17.61 c iter 488 time 16.8184 not-muc 42541 unknown 406 muc 304
17.60/17.61 c iter 489 time 16.8254 not-muc 42541 unknown 405 muc 305
17.60/17.61 c iter 490 time 16.8304 not-muc 42541 unknown 404 muc 306
17.60/17.61 c iter 491 time 16.8334 not-muc 42541 unknown 403 muc 307
17.60/17.61 c iter 492 time 16.9474 not-muc 42543 unknown 401 muc 307
17.60/17.61 c iter 493 time 16.9564 not-muc 42543 unknown 400 muc 308
17.60/17.61 c iter 494 time 17.1304 not-muc 42547 unknown 396 muc 308
17.60/17.61 c iter 495 time 17.2174 not-muc 42548 unknown 395 muc 308
17.60/17.61 c iter 496 time 17.4064 not-muc 42549 unknown 394 muc 308
17.60/17.61 c iter 497 time 17.5443 not-muc 42550 unknown 393 muc 308
17.60/17.61 c iter 498 time 17.5543 not-muc 42550 unknown 392 muc 309
17.60/17.61 c iter 499 time 17.5593 not-muc 42550 unknown 391 muc 310
19.48/19.50 c iter 500 time 17.5643 not-muc 42550 unknown 390 muc 311
19.48/19.50 c iter 501 time 17.6813 not-muc 42559 unknown 381 muc 311
19.48/19.50 c iter 502 time 17.6933 not-muc 42559 unknown 380 muc 312
19.48/19.50 c iter 503 time 17.7473 not-muc 42561 unknown 378 muc 312
19.48/19.50 c iter 504 time 17.7573 not-muc 42561 unknown 377 muc 313
19.48/19.50 c iter 505 time 17.8333 not-muc 42564 unknown 374 muc 313
19.48/19.50 c iter 506 time 17.8443 not-muc 42564 unknown 373 muc 314
19.48/19.50 c iter 507 time 17.8483 not-muc 42564 unknown 372 muc 315
19.48/19.50 c iter 508 time 17.8583 not-muc 42564 unknown 371 muc 316
19.48/19.50 c iter 509 time 17.8633 not-muc 42564 unknown 370 muc 317
19.48/19.50 c iter 510 time 17.9193 not-muc 42565 unknown 369 muc 317
19.48/19.50 c iter 511 time 17.9283 not-muc 42565 unknown 368 muc 318
19.48/19.50 c iter 512 time 17.9353 not-muc 42565 unknown 367 muc 319
19.48/19.50 c iter 513 time 17.9413 not-muc 42565 unknown 366 muc 320
19.48/19.50 c iter 514 time 17.9473 not-muc 42565 unknown 365 muc 321
19.48/19.50 c iter 515 time 18.0763 not-muc 42566 unknown 364 muc 321
19.48/19.50 c iter 516 time 18.0873 not-muc 42566 unknown 363 muc 322
19.48/19.50 c iter 517 time 18.0932 not-muc 42566 unknown 362 muc 323
19.48/19.50 c iter 518 time 18.2092 not-muc 42568 unknown 360 muc 323
19.48/19.50 c iter 519 time 18.2212 not-muc 42568 unknown 359 muc 324
19.48/19.50 c iter 520 time 18.3062 not-muc 42569 unknown 358 muc 324
19.48/19.50 c iter 521 time 18.3172 not-muc 42569 unknown 357 muc 325
19.48/19.50 c iter 522 time 18.3232 not-muc 42569 unknown 356 muc 326
19.48/19.50 c iter 523 time 18.4352 not-muc 42592 unknown 333 muc 326
19.48/19.50 c iter 524 time 18.4502 not-muc 42592 unknown 332 muc 327
19.48/19.50 c iter 525 time 18.4662 not-muc 42592 unknown 331 muc 328
19.48/19.50 c iter 526 time 18.4712 not-muc 42592 unknown 330 muc 329
19.48/19.50 c iter 527 time 18.4772 not-muc 42592 unknown 329 muc 330
19.48/19.50 c iter 528 time 18.4822 not-muc 42592 unknown 328 muc 331
19.48/19.50 c iter 529 time 18.5012 not-muc 42592 unknown 327 muc 332
19.48/19.50 c iter 530 time 18.5062 not-muc 42592 unknown 326 muc 333
19.48/19.50 c iter 531 time 18.5122 not-muc 42592 unknown 325 muc 334
19.48/19.50 c iter 532 time 18.5182 not-muc 42592 unknown 324 muc 335
19.48/19.50 c iter 533 time 18.5222 not-muc 42592 unknown 323 muc 336
19.48/19.50 c iter 534 time 18.5272 not-muc 42592 unknown 322 muc 337
19.48/19.50 c iter 535 time 18.5352 not-muc 42592 unknown 321 muc 338
19.48/19.50 c iter 536 time 18.5422 not-muc 42592 unknown 320 muc 339
19.48/19.50 c iter 537 time 18.5492 not-muc 42592 unknown 319 muc 340
19.48/19.50 c iter 538 time 18.5552 not-muc 42592 unknown 318 muc 341
19.48/19.50 c iter 539 time 18.6812 not-muc 42594 unknown 316 muc 341
19.48/19.50 c iter 540 time 18.6922 not-muc 42594 unknown 315 muc 342
19.48/19.50 c iter 541 time 18.8061 not-muc 42601 unknown 308 muc 342
19.48/19.50 c iter 542 time 18.8161 not-muc 42601 unknown 307 muc 343
19.48/19.50 c iter 543 time 18.9131 not-muc 42603 unknown 305 muc 343
19.48/19.50 c iter 544 time 18.9261 not-muc 42603 unknown 304 muc 344
19.48/19.50 c iter 545 time 18.9331 not-muc 42603 unknown 303 muc 345
19.48/19.50 c iter 546 time 18.9401 not-muc 42603 unknown 302 muc 346
19.48/19.50 c iter 547 time 19.0371 not-muc 42604 unknown 301 muc 346
19.48/19.50 c iter 548 time 19.0481 not-muc 42604 unknown 300 muc 347
19.48/19.50 c iter 549 time 19.0531 not-muc 42604 unknown 299 muc 348
19.48/19.50 c iter 550 time 19.0601 not-muc 42604 unknown 298 muc 349
19.48/19.50 c iter 551 time 19.0651 not-muc 42604 unknown 297 muc 350
19.48/19.50 c iter 552 time 19.0721 not-muc 42604 unknown 296 muc 351
19.48/19.50 c iter 553 time 19.0791 not-muc 42604 unknown 295 muc 352
19.48/19.50 c iter 554 time 19.0871 not-muc 42604 unknown 294 muc 353
19.48/19.50 c iter 555 time 19.2081 not-muc 42607 unknown 291 muc 353
19.48/19.50 c iter 556 time 19.2181 not-muc 42607 unknown 290 muc 354
19.48/19.50 c iter 557 time 19.2261 not-muc 42607 unknown 289 muc 355
19.48/19.50 c iter 558 time 19.2321 not-muc 42607 unknown 288 muc 356
19.48/19.50 c iter 559 time 19.2401 not-muc 42607 unknown 287 muc 357
19.48/19.50 c iter 560 time 19.2471 not-muc 42607 unknown 286 muc 358
19.48/19.50 c iter 561 time 19.2551 not-muc 42607 unknown 285 muc 359
19.48/19.50 c iter 562 time 19.2631 not-muc 42607 unknown 284 muc 360
19.48/19.50 c iter 563 time 19.2711 not-muc 42607 unknown 283 muc 361
19.48/19.50 c iter 564 time 19.2791 not-muc 42607 unknown 282 muc 362
19.48/19.50 c iter 565 time 19.2871 not-muc 42607 unknown 281 muc 363
19.48/19.50 c iter 566 time 19.2951 not-muc 42607 unknown 280 muc 364
19.48/19.50 c iter 567 time 19.3041 not-muc 42607 unknown 279 muc 365
19.48/19.50 c iter 568 time 19.418 not-muc 42608 unknown 278 muc 365
19.48/19.50 c iter 569 time 19.433 not-muc 42608 unknown 277 muc 366
19.48/19.50 c iter 570 time 19.442 not-muc 42608 unknown 276 muc 367
20.98/21.09 c iter 571 time 19.448 not-muc 42608 unknown 275 muc 368
20.98/21.09 c iter 572 time 19.456 not-muc 42608 unknown 274 muc 369
20.98/21.09 c iter 573 time 19.461 not-muc 42608 unknown 273 muc 370
20.98/21.09 c iter 574 time 19.466 not-muc 42608 unknown 272 muc 371
20.98/21.09 c iter 575 time 19.475 not-muc 42608 unknown 271 muc 372
20.98/21.09 c iter 576 time 19.483 not-muc 42608 unknown 270 muc 373
20.98/21.09 c iter 577 time 19.606 not-muc 42619 unknown 259 muc 373
20.98/21.09 c iter 578 time 19.641 not-muc 42619 unknown 258 muc 374
20.98/21.09 c iter 579 time 19.73 not-muc 42620 unknown 257 muc 374
20.98/21.09 c iter 580 time 19.846 not-muc 42626 unknown 251 muc 374
20.98/21.09 c iter 581 time 19.857 not-muc 42626 unknown 250 muc 375
20.98/21.09 c iter 582 time 19.863 not-muc 42626 unknown 249 muc 376
20.98/21.09 c iter 583 time 19.869 not-muc 42626 unknown 248 muc 377
20.98/21.09 c iter 584 time 19.876 not-muc 42626 unknown 247 muc 378
20.98/21.09 c iter 585 time 19.881 not-muc 42626 unknown 246 muc 379
20.98/21.09 c iter 586 time 19.887 not-muc 42626 unknown 245 muc 380
20.98/21.09 c iter 587 time 19.893 not-muc 42626 unknown 244 muc 381
20.98/21.09 c iter 588 time 20.007 not-muc 42627 unknown 243 muc 381
20.98/21.09 c iter 589 time 20.019 not-muc 42627 unknown 242 muc 382
20.98/21.09 c iter 590 time 20.027 not-muc 42627 unknown 241 muc 383
20.98/21.09 c iter 591 time 20.035 not-muc 42627 unknown 240 muc 384
20.98/21.09 c iter 592 time 20.041 not-muc 42627 unknown 239 muc 385
20.98/21.09 c iter 593 time 20.0699 not-muc 42627 unknown 238 muc 386
20.98/21.09 c iter 594 time 20.0759 not-muc 42627 unknown 237 muc 387
20.98/21.09 c iter 595 time 20.0819 not-muc 42627 unknown 236 muc 388
20.98/21.09 c iter 596 time 20.0869 not-muc 42627 unknown 235 muc 389
20.98/21.09 c iter 597 time 20.0949 not-muc 42627 unknown 234 muc 390
20.98/21.09 c iter 598 time 20.1019 not-muc 42627 unknown 233 muc 391
20.98/21.09 c iter 599 time 20.1239 not-muc 42627 unknown 232 muc 392
20.98/21.09 c iter 600 time 20.1509 not-muc 42627 unknown 231 muc 393
20.98/21.09 c iter 601 time 20.1579 not-muc 42627 unknown 230 muc 394
20.98/21.09 c iter 602 time 20.1639 not-muc 42627 unknown 229 muc 395
20.98/21.09 c iter 603 time 20.1669 not-muc 42627 unknown 228 muc 396
20.98/21.09 c iter 604 time 20.1739 not-muc 42627 unknown 227 muc 397
20.98/21.09 c iter 605 time 20.1799 not-muc 42627 unknown 226 muc 398
20.98/21.09 c iter 606 time 20.1879 not-muc 42627 unknown 225 muc 399
20.98/21.09 c iter 607 time 20.1929 not-muc 42627 unknown 224 muc 400
20.98/21.09 c iter 608 time 20.2009 not-muc 42627 unknown 223 muc 401
20.98/21.09 c iter 609 time 20.2059 not-muc 42627 unknown 222 muc 402
20.98/21.09 c iter 610 time 20.2139 not-muc 42627 unknown 221 muc 403
20.98/21.09 c iter 611 time 20.2179 not-muc 42627 unknown 220 muc 404
20.98/21.09 c iter 612 time 20.2249 not-muc 42627 unknown 219 muc 405
20.98/21.09 c iter 613 time 20.2309 not-muc 42627 unknown 218 muc 406
20.98/21.09 c iter 614 time 20.2369 not-muc 42627 unknown 217 muc 407
20.98/21.09 c iter 615 time 20.2439 not-muc 42627 unknown 216 muc 408
20.98/21.09 c iter 616 time 20.2509 not-muc 42627 unknown 215 muc 409
20.98/21.09 c iter 617 time 20.2549 not-muc 42627 unknown 214 muc 410
20.98/21.09 c iter 618 time 20.3769 not-muc 42628 unknown 213 muc 410
20.98/21.09 c iter 619 time 20.3889 not-muc 42628 unknown 212 muc 411
20.98/21.09 c iter 620 time 20.3939 not-muc 42628 unknown 211 muc 412
20.98/21.09 c iter 621 time 20.3989 not-muc 42628 unknown 210 muc 413
20.98/21.09 c iter 622 time 20.4049 not-muc 42628 unknown 209 muc 414
20.98/21.09 c iter 623 time 20.4129 not-muc 42628 unknown 208 muc 415
20.98/21.09 c iter 624 time 20.4179 not-muc 42628 unknown 207 muc 416
20.98/21.09 c iter 625 time 20.4249 not-muc 42628 unknown 206 muc 417
20.98/21.09 c iter 626 time 20.4319 not-muc 42628 unknown 205 muc 418
20.98/21.09 c iter 627 time 20.5279 not-muc 42629 unknown 204 muc 418
20.98/21.09 c iter 628 time 20.5379 not-muc 42629 unknown 203 muc 419
20.98/21.09 c iter 629 time 20.5449 not-muc 42629 unknown 202 muc 420
20.98/21.09 c iter 630 time 20.6409 not-muc 42630 unknown 201 muc 420
20.98/21.09 c iter 631 time 20.6519 not-muc 42630 unknown 200 muc 421
20.98/21.09 c iter 632 time 20.6609 not-muc 42630 unknown 199 muc 422
20.98/21.09 c iter 633 time 20.6699 not-muc 42630 unknown 198 muc 423
20.98/21.09 c iter 634 time 20.6789 not-muc 42630 unknown 197 muc 424
20.98/21.09 c iter 635 time 20.6839 not-muc 42630 unknown 196 muc 425
20.98/21.09 c iter 636 time 20.6919 not-muc 42630 unknown 195 muc 426
20.98/21.09 c iter 637 time 20.8938 not-muc 42631 unknown 194 muc 426
20.98/21.09 c iter 638 time 21.0058 not-muc 42641 unknown 184 muc 426
20.98/21.09 c iter 639 time 21.0198 not-muc 42641 unknown 183 muc 427
20.98/21.09 c iter 640 time 21.0248 not-muc 42641 unknown 182 muc 428
20.98/21.09 c iter 641 time 21.0318 not-muc 42641 unknown 181 muc 429
22.09/22.10 c iter 642 time 21.0368 not-muc 42641 unknown 180 muc 430
22.09/22.10 c iter 643 time 21.0428 not-muc 42641 unknown 179 muc 431
22.09/22.10 c iter 644 time 21.0468 not-muc 42641 unknown 178 muc 432
22.09/22.10 c iter 645 time 21.0538 not-muc 42641 unknown 177 muc 433
22.09/22.10 c iter 646 time 21.0588 not-muc 42641 unknown 176 muc 434
22.09/22.10 c iter 647 time 21.0648 not-muc 42641 unknown 175 muc 435
22.09/22.10 c iter 648 time 21.0728 not-muc 42641 unknown 174 muc 436
22.09/22.10 c iter 649 time 21.0798 not-muc 42641 unknown 173 muc 437
22.09/22.10 c iter 650 time 21.1608 not-muc 42642 unknown 172 muc 437
22.09/22.10 c iter 651 time 21.1758 not-muc 42642 unknown 171 muc 438
22.09/22.10 c iter 652 time 21.1858 not-muc 42642 unknown 170 muc 439
22.09/22.10 c iter 653 time 21.1948 not-muc 42642 unknown 169 muc 440
22.09/22.10 c iter 654 time 21.2028 not-muc 42642 unknown 168 muc 441
22.09/22.10 c iter 655 time 21.2098 not-muc 42642 unknown 167 muc 442
22.09/22.10 c iter 656 time 21.2168 not-muc 42642 unknown 166 muc 443
22.09/22.10 c iter 657 time 21.2228 not-muc 42642 unknown 165 muc 444
22.09/22.10 c iter 658 time 21.2308 not-muc 42642 unknown 164 muc 445
22.09/22.10 c iter 659 time 21.2378 not-muc 42642 unknown 163 muc 446
22.09/22.10 c iter 660 time 21.2448 not-muc 42642 unknown 162 muc 447
22.09/22.10 c iter 661 time 21.2548 not-muc 42642 unknown 161 muc 448
22.09/22.10 c iter 662 time 21.3138 not-muc 42643 unknown 160 muc 448
22.09/22.10 c iter 663 time 21.3248 not-muc 42643 unknown 159 muc 449
22.09/22.10 c iter 664 time 21.3338 not-muc 42643 unknown 158 muc 450
22.09/22.10 c iter 665 time 21.3398 not-muc 42643 unknown 157 muc 451
22.09/22.10 c iter 666 time 21.3458 not-muc 42643 unknown 156 muc 452
22.09/22.10 c iter 667 time 21.3528 not-muc 42643 unknown 155 muc 453
22.09/22.10 c iter 668 time 21.3608 not-muc 42643 unknown 154 muc 454
22.09/22.10 c iter 669 time 21.3668 not-muc 42643 unknown 153 muc 455
22.09/22.10 c iter 670 time 21.3718 not-muc 42643 unknown 152 muc 456
22.09/22.10 c iter 671 time 21.4867 not-muc 42644 unknown 151 muc 456
22.09/22.10 c iter 672 time 21.4997 not-muc 42644 unknown 150 muc 457
22.09/22.10 c iter 673 time 21.5077 not-muc 42644 unknown 149 muc 458
22.09/22.10 c iter 674 time 21.5127 not-muc 42644 unknown 148 muc 459
22.09/22.10 c iter 675 time 21.5197 not-muc 42644 unknown 147 muc 460
22.09/22.10 c iter 676 time 21.5277 not-muc 42644 unknown 146 muc 461
22.09/22.10 c iter 677 time 21.5347 not-muc 42644 unknown 145 muc 462
22.09/22.10 c iter 678 time 21.5427 not-muc 42644 unknown 144 muc 463
22.09/22.10 c iter 679 time 21.5477 not-muc 42644 unknown 143 muc 464
22.09/22.10 c iter 680 time 21.5557 not-muc 42644 unknown 142 muc 465
22.09/22.10 c iter 681 time 21.5637 not-muc 42644 unknown 141 muc 466
22.09/22.10 c iter 682 time 21.5707 not-muc 42644 unknown 140 muc 467
22.09/22.10 c iter 683 time 21.5767 not-muc 42644 unknown 139 muc 468
22.09/22.10 c iter 684 time 21.5837 not-muc 42644 unknown 138 muc 469
22.09/22.10 c iter 685 time 21.5897 not-muc 42644 unknown 137 muc 470
22.09/22.10 c iter 686 time 21.5947 not-muc 42644 unknown 136 muc 471
22.09/22.10 c iter 687 time 21.6017 not-muc 42644 unknown 135 muc 472
22.09/22.10 c iter 688 time 21.6077 not-muc 42644 unknown 134 muc 473
22.09/22.10 c iter 689 time 21.6147 not-muc 42644 unknown 133 muc 474
22.09/22.10 c iter 690 time 21.7067 not-muc 42645 unknown 132 muc 474
22.09/22.10 c iter 691 time 21.7187 not-muc 42645 unknown 131 muc 475
22.09/22.10 c iter 692 time 21.7267 not-muc 42645 unknown 130 muc 476
22.09/22.10 c iter 693 time 21.7327 not-muc 42645 unknown 129 muc 477
22.09/22.10 c iter 694 time 21.7397 not-muc 42645 unknown 128 muc 478
22.09/22.10 c iter 695 time 21.7467 not-muc 42645 unknown 127 muc 479
22.09/22.10 c iter 696 time 21.7557 not-muc 42645 unknown 126 muc 480
22.09/22.10 c iter 697 time 21.7627 not-muc 42645 unknown 125 muc 481
22.09/22.10 c iter 698 time 21.7707 not-muc 42645 unknown 124 muc 482
22.09/22.10 c iter 699 time 21.8287 not-muc 42646 unknown 123 muc 482
22.09/22.10 c iter 700 time 21.8417 not-muc 42646 unknown 122 muc 483
22.09/22.10 c iter 701 time 21.8477 not-muc 42646 unknown 121 muc 484
22.09/22.10 c iter 702 time 21.9567 not-muc 42647 unknown 120 muc 484
22.09/22.10 c iter 703 time 21.9687 not-muc 42647 unknown 119 muc 485
22.09/22.10 c iter 704 time 21.9777 not-muc 42647 unknown 118 muc 486
22.09/22.10 c iter 705 time 21.9867 not-muc 42647 unknown 117 muc 487
22.09/22.10 c iter 706 time 21.9937 not-muc 42647 unknown 116 muc 488
22.09/22.10 c iter 707 time 22.0027 not-muc 42647 unknown 115 muc 489
22.09/22.10 c iter 708 time 22.0087 not-muc 42647 unknown 114 muc 490
22.09/22.10 c iter 709 time 22.0147 not-muc 42647 unknown 113 muc 491
22.09/22.10 c iter 710 time 22.0257 not-muc 42647 unknown 112 muc 492
22.09/22.10 c iter 711 time 22.0327 not-muc 42647 unknown 111 muc 493
22.09/22.10 c iter 712 time 22.0386 not-muc 42647 unknown 110 muc 494
23.19/23.25 c iter 713 time 22.0456 not-muc 42647 unknown 109 muc 495
23.19/23.25 c iter 714 time 22.0546 not-muc 42647 unknown 108 muc 496
23.19/23.25 c iter 715 time 22.0606 not-muc 42647 unknown 107 muc 497
23.19/23.25 c iter 716 time 22.0696 not-muc 42647 unknown 106 muc 498
23.19/23.25 c iter 717 time 22.1816 not-muc 42648 unknown 105 muc 498
23.19/23.25 c iter 718 time 22.1956 not-muc 42648 unknown 104 muc 499
23.19/23.25 c iter 719 time 22.2016 not-muc 42648 unknown 103 muc 500
23.19/23.25 c iter 720 time 22.2076 not-muc 42648 unknown 102 muc 501
23.19/23.25 c iter 721 time 22.2136 not-muc 42648 unknown 101 muc 502
23.19/23.25 c iter 722 time 22.2196 not-muc 42648 unknown 100 muc 503
23.19/23.25 c iter 723 time 22.2266 not-muc 42648 unknown 99 muc 504
23.19/23.25 c iter 724 time 22.2346 not-muc 42648 unknown 98 muc 505
23.19/23.25 c iter 725 time 22.2406 not-muc 42648 unknown 97 muc 506
23.19/23.25 c iter 726 time 22.2436 not-muc 42648 unknown 96 muc 507
23.19/23.25 c iter 727 time 22.2476 not-muc 42648 unknown 95 muc 508
23.19/23.25 c iter 728 time 22.2546 not-muc 42648 unknown 94 muc 509
23.19/23.25 c iter 729 time 22.2596 not-muc 42648 unknown 93 muc 510
23.19/23.25 c iter 730 time 22.2636 not-muc 42648 unknown 92 muc 511
23.19/23.25 c iter 731 time 22.3796 not-muc 42649 unknown 91 muc 511
23.19/23.25 c iter 732 time 22.3926 not-muc 42649 unknown 90 muc 512
23.19/23.25 c iter 733 time 22.3986 not-muc 42649 unknown 89 muc 513
23.19/23.25 c iter 734 time 22.4066 not-muc 42649 unknown 88 muc 514
23.19/23.25 c iter 735 time 22.4116 not-muc 42649 unknown 87 muc 515
23.19/23.25 c iter 736 time 22.4166 not-muc 42649 unknown 86 muc 516
23.19/23.25 c iter 737 time 22.4226 not-muc 42649 unknown 85 muc 517
23.19/23.25 c iter 738 time 22.4276 not-muc 42649 unknown 84 muc 518
23.19/23.25 c iter 739 time 22.4336 not-muc 42649 unknown 83 muc 519
23.19/23.25 c iter 740 time 22.5966 not-muc 42650 unknown 82 muc 519
23.19/23.25 c iter 741 time 22.6116 not-muc 42650 unknown 81 muc 520
23.19/23.25 c iter 742 time 22.6196 not-muc 42650 unknown 80 muc 521
23.19/23.25 c iter 743 time 22.6296 not-muc 42650 unknown 79 muc 522
23.19/23.25 c iter 744 time 22.6376 not-muc 42650 unknown 78 muc 523
23.19/23.25 c iter 745 time 22.6456 not-muc 42650 unknown 77 muc 524
23.19/23.25 c iter 746 time 22.6526 not-muc 42650 unknown 76 muc 525
23.19/23.25 c iter 747 time 22.6606 not-muc 42650 unknown 75 muc 526
23.19/23.25 c iter 748 time 22.7775 not-muc 42651 unknown 74 muc 526
23.19/23.25 c iter 749 time 22.7915 not-muc 42651 unknown 73 muc 527
23.19/23.25 c iter 750 time 22.8185 not-muc 42651 unknown 72 muc 528
23.19/23.25 c iter 751 time 22.8255 not-muc 42651 unknown 71 muc 529
23.19/23.25 c iter 752 time 22.8335 not-muc 42651 unknown 70 muc 530
23.19/23.25 c iter 753 time 22.8425 not-muc 42651 unknown 69 muc 531
23.19/23.25 c iter 754 time 22.8485 not-muc 42651 unknown 68 muc 532
23.19/23.25 c iter 755 time 22.8565 not-muc 42651 unknown 67 muc 533
23.19/23.25 c iter 756 time 22.8635 not-muc 42651 unknown 66 muc 534
23.19/23.25 c iter 757 time 22.8715 not-muc 42651 unknown 65 muc 535
23.19/23.25 c iter 758 time 22.8935 not-muc 42651 unknown 64 muc 536
23.19/23.25 c iter 759 time 22.9015 not-muc 42651 unknown 63 muc 537
23.19/23.25 c iter 760 time 22.9085 not-muc 42651 unknown 62 muc 538
23.19/23.25 c iter 761 time 22.9165 not-muc 42651 unknown 61 muc 539
23.19/23.25 c iter 762 time 22.9255 not-muc 42651 unknown 60 muc 540
23.19/23.25 c iter 763 time 22.9345 not-muc 42651 unknown 59 muc 541
23.19/23.25 c iter 764 time 22.9415 not-muc 42651 unknown 58 muc 542
23.19/23.25 c iter 765 time 23.0525 not-muc 42652 unknown 57 muc 542
23.19/23.25 c iter 766 time 23.0655 not-muc 42652 unknown 56 muc 543
23.19/23.25 c iter 767 time 23.0705 not-muc 42652 unknown 55 muc 544
23.19/23.25 c iter 768 time 23.0775 not-muc 42652 unknown 54 muc 545
23.19/23.25 c iter 769 time 23.0835 not-muc 42652 unknown 53 muc 546
23.19/23.25 c iter 770 time 23.0895 not-muc 42652 unknown 52 muc 547
23.19/23.25 c iter 771 time 23.0955 not-muc 42652 unknown 51 muc 548
23.19/23.25 c iter 772 time 23.1005 not-muc 42652 unknown 50 muc 549
23.19/23.25 c iter 773 time 23.1085 not-muc 42652 unknown 49 muc 550
23.19/23.25 c iter 774 time 23.1155 not-muc 42652 unknown 48 muc 551
23.19/23.25 c iter 775 time 23.1245 not-muc 42652 unknown 47 muc 552
23.19/23.25 c iter 776 time 23.1325 not-muc 42652 unknown 46 muc 553
23.19/23.25 c iter 777 time 23.1385 not-muc 42652 unknown 45 muc 554
23.19/23.25 c iter 778 time 23.1465 not-muc 42652 unknown 44 muc 555
23.19/23.25 c iter 779 time 23.1535 not-muc 42652 unknown 43 muc 556
23.19/23.25 c iter 780 time 23.1605 not-muc 42652 unknown 42 muc 557
23.19/23.25 c iter 781 time 23.1675 not-muc 42652 unknown 41 muc 558
23.19/23.25 c iter 782 time 23.1765 not-muc 42652 unknown 40 muc 559
23.19/23.25 c iter 783 time 23.1835 not-muc 42652 unknown 39 muc 560
23.89/23.93 c iter 784 time 23.1895 not-muc 42652 unknown 38 muc 561
23.89/23.93 c iter 785 time 23.1965 not-muc 42652 unknown 37 muc 562
23.89/23.93 c iter 786 time 23.2035 not-muc 42652 unknown 36 muc 563
23.89/23.93 c iter 787 time 23.2115 not-muc 42652 unknown 35 muc 564
23.89/23.93 c iter 788 time 23.3105 not-muc 42653 unknown 34 muc 564
23.89/23.93 c iter 789 time 23.3215 not-muc 42653 unknown 33 muc 565
23.89/23.93 c iter 790 time 23.3784 not-muc 42654 unknown 32 muc 565
23.89/23.93 c iter 791 time 23.4154 not-muc 42654 unknown 31 muc 566
23.89/23.93 c iter 792 time 23.4194 not-muc 42654 unknown 30 muc 567
23.89/23.93 c iter 793 time 23.4264 not-muc 42654 unknown 29 muc 568
23.89/23.93 c iter 794 time 23.4314 not-muc 42654 unknown 28 muc 569
23.89/23.93 c iter 795 time 23.4364 not-muc 42654 unknown 27 muc 570
23.89/23.93 c iter 796 time 23.4424 not-muc 42654 unknown 26 muc 571
23.89/23.93 c iter 797 time 23.4474 not-muc 42654 unknown 25 muc 572
23.89/23.93 c iter 798 time 23.4514 not-muc 42654 unknown 24 muc 573
23.89/23.93 c iter 799 time 23.4554 not-muc 42654 unknown 23 muc 574
23.89/23.93 c iter 800 time 23.4604 not-muc 42654 unknown 22 muc 575
23.89/23.93 c iter 801 time 23.4664 not-muc 42654 unknown 21 muc 576
23.89/23.93 c iter 802 time 23.4704 not-muc 42654 unknown 20 muc 577
23.89/23.93 c iter 803 time 23.4764 not-muc 42654 unknown 19 muc 578
23.89/23.93 c iter 804 time 23.4824 not-muc 42654 unknown 18 muc 579
23.89/23.93 c iter 805 time 23.5974 not-muc 42655 unknown 17 muc 579
23.89/23.93 c iter 806 time 23.6094 not-muc 42655 unknown 16 muc 580
23.89/23.93 c iter 807 time 23.6154 not-muc 42655 unknown 15 muc 581
23.89/23.93 c iter 808 time 23.6244 not-muc 42655 unknown 14 muc 582
23.89/23.93 c iter 809 time 23.6324 not-muc 42655 unknown 13 muc 583
23.89/23.93 c iter 810 time 23.6404 not-muc 42655 unknown 12 muc 584
23.89/23.93 c iter 811 time 23.6474 not-muc 42655 unknown 11 muc 585
23.89/23.93 c iter 812 time 23.6824 not-muc 42655 unknown 10 muc 586
23.89/23.93 c iter 813 time 23.6914 not-muc 42655 unknown 9 muc 587
23.89/23.93 c iter 814 time 23.6994 not-muc 42655 unknown 8 muc 588
23.89/23.93 c iter 815 time 23.7914 not-muc 42656 unknown 7 muc 588
23.89/23.93 c iter 816 time 23.8054 not-muc 42656 unknown 6 muc 589
23.89/23.93 c iter 817 time 23.8104 not-muc 42656 unknown 5 muc 590
23.89/23.93 c iter 818 time 23.8194 not-muc 42656 unknown 4 muc 591
23.89/23.93 c iter 819 time 23.8264 not-muc 42656 unknown 3 muc 592
23.89/23.93 c iter 820 time 23.8334 not-muc 42656 unknown 2 muc 593
23.89/23.93 c iter 821 time 23.8404 not-muc 42656 unknown 1 muc 594
23.89/23.93 c final iter 822 time 23.8674 not-muc 42656 unknown 0 muc 595
23.89/23.93 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
23.89/23.93 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-3494484-1307803724/watcher-3494484-1307803724 -o /tmp/evaluation-result-3494484-1307803724/solver-3494484-1307803724 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494484-1307803724.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.91 3.08 4/189 25036
/proc/meminfo: memFree=23575664/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=24532 CPUtime=0 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 616 0 0 0 0 0 0 0 25 0 1 0 891971155 25120768 554 33554432000 4194304 4337479 140733530430992 18446744073709551615 251813937248 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 6133 557 219 35 0 2756 0
[startup+0.096496 s]
/proc/loadavg: 4.01 3.91 3.08 4/189 25036
/proc/meminfo: memFree=23575664/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=21704 CPUtime=0.09 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 1979 0 0 0 9 0 0 0 25 0 1 0 891971155 22224896 1394 33554432000 4194304 4337479 140733530430992 18446744073709551615 4289002 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 5426 1394 244 35 0 2049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21704
[startup+0.100494 s]
/proc/loadavg: 4.01 3.91 3.08 4/189 25036
/proc/meminfo: memFree=23575664/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=21704 CPUtime=0.09 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 1984 0 0 0 9 0 0 0 25 0 1 0 891971155 22224896 1399 33554432000 4194304 4337479 140733530430992 18446744073709551615 4303238 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 5426 1399 244 35 0 2049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21704
[startup+0.300464 s]
/proc/loadavg: 4.01 3.91 3.08 4/189 25036
/proc/meminfo: memFree=23575664/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=24112 CPUtime=0.29 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 2841 0 0 0 29 0 0 0 25 0 1 0 891971155 24690688 2255 33554432000 4194304 4337479 140733530430992 18446744073709551615 4303296 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 6028 2255 264 35 0 2651 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24112
[startup+0.700395 s]
/proc/loadavg: 4.01 3.91 3.08 4/189 25036
/proc/meminfo: memFree=23575664/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=27220 CPUtime=0.69 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 3651 0 0 0 69 0 0 0 25 0 1 0 891971155 27873280 3063 33554432000 4194304 4337479 140733530430992 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 6805 3063 264 35 0 3428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27220
[startup+1.50026 s]
/proc/loadavg: 4.01 3.91 3.08 5/190 25037
/proc/meminfo: memFree=23549144/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=30672 CPUtime=1.49 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 4808 0 0 0 149 0 0 0 25 0 1 0 891971155 31408128 4182 33554432000 4194304 4337479 140733530430992 18446744073709551615 4280147 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 7668 4182 265 35 0 4291 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30672
[startup+3.10099 s]
/proc/loadavg: 4.01 3.91 3.08 5/190 25037
/proc/meminfo: memFree=23528932/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=45640 CPUtime=3.09 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 8363 0 0 0 308 1 0 0 25 0 1 0 891971155 46735360 7647 33554432000 4194304 4337479 140733530430992 18446744073709551615 4280307 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 11410 7647 265 35 0 8033 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45640
[startup+6.30045 s]
/proc/loadavg: 4.01 3.92 3.09 5/190 25037
/proc/meminfo: memFree=23489892/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=74864 CPUtime=6.29 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 15086 0 0 0 627 2 0 0 25 0 1 0 891971155 76660736 14306 33554432000 4194304 4337479 140733530430992 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 18716 14306 265 35 0 15339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74864
[startup+12.7004 s]
/proc/loadavg: 4.01 3.92 3.09 5/190 25038
/proc/meminfo: memFree=23417388/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=120964 CPUtime=12.69 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 26288 0 0 0 1265 4 0 0 25 0 1 0 891971155 123867136 25508 33554432000 4194304 4337479 140733530430992 18446744073709551615 251813900424 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 30241 25508 266 35 0 26864 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120964
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 4.01 3.92 3.10 5/190 25038
/proc/meminfo: memFree=23325212/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=147976 CPUtime=19.08 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 32913 0 0 0 1903 5 0 0 25 0 1 0 891971155 151527424 32133 33554432000 4194304 4337479 140733530430992 18446744073709551615 4260436 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 36994 32133 266 35 0 33617 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 147976
[startup+22.3008 s]
/proc/loadavg: 4.01 3.92 3.10 5/190 25038
/proc/meminfo: memFree=23297804/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=157496 CPUtime=22.29 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 34287 0 0 0 2223 6 0 0 25 0 1 0 891971155 161275904 33507 33554432000 4194304 4337479 140733530430992 18446744073709551615 251813907341 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 39374 33507 266 35 0 35997 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 157496
[startup+23.1066 s]
/proc/loadavg: 4.01 3.92 3.11 5/190 25038
/proc/meminfo: memFree=23281312/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=157496 CPUtime=23.09 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 34425 0 0 0 2303 6 0 0 25 0 1 0 891971155 161275904 33645 33554432000 4194304 4337479 140733530430992 18446744073709551615 4303632 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 39374 33645 266 35 0 35997 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 157496
[startup+23.5006 s]
/proc/loadavg: 4.01 3.92 3.11 5/190 25038
/proc/meminfo: memFree=23281312/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=157496 CPUtime=23.49 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 34537 0 0 0 2343 6 0 0 25 0 1 0 891971155 161275904 33757 33554432000 4194304 4337479 140733530430992 18446744073709551615 4263792 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 39374 33757 266 35 0 35997 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 157496
[startup+23.9005 s]
/proc/loadavg: 4.01 3.92 3.11 5/190 25038
/proc/meminfo: memFree=23281312/32950928 swapFree=67050648/67111528
[pid=25036] ppid=25034 vsize=159924 CPUtime=23.89 cores=5,7
/proc/25036/stat : 25036 (hmuc) R 25034 25036 23549 0 -1 4202496 35110 0 0 0 2383 6 0 0 25 0 1 0 891971155 163762176 34330 33554432000 4194304 4337479 140733530430992 18446744073709551615 4259832 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25036/statm: 39981 34330 266 35 0 36604 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 159924
Child status: 20
Real time (s): 23.9428
CPU time (s): 23.9374
CPU user time (s): 23.8674
CPU system time (s): 0.069989
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 159924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.8674
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35111
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= 5
involuntary context switches= 32
runsolver used 0.034994 second user time and 0.102984 second system time
The end
Begin job on node126 at 2011-06-11 16:48:45
IDJOB=3494484
IDBENCH=87960
IDSOLVER=1985
FILE ID=node126/3494484-1307803724
RUNJOBID= node126-1307802663-24571
PBS_JOBID= 13551024
Free space on /tmp= 74160 MiB
SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT02/industrial/goldberg/fpga_routing/too_large_gr_rcs_w6.shuffled.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494484-1307803724/watcher-3494484-1307803724 -o /tmp/evaluation-result-3494484-1307803724/solver-3494484-1307803724 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494484-1307803724.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 30ddcc5575081a4cc8a19e19d7f891aa
RANDOM SEED=1002949616
node126.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.783
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.56
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.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
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.783
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.74
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.783
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.80
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.783
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.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 23576340 kB
Buffers: 295936 kB
Cached: 895164 kB
SwapCached: 14888 kB
Active: 8441108 kB
Inactive: 717324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 23576340 kB
SwapTotal: 67111528 kB
SwapFree: 67050648 kB
Dirty: 1492 kB
Writeback: 188 kB
AnonPages: 7964844 kB
Mapped: 9652 kB
Slab: 134560 kB
PageTables: 21368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 8686268 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= 74156 MiB
End job on node126 at 2011-06-11 16:49:09