8.75/8.86 c WARNING: for repeatability, setting FPU to use double precision
8.75/8.86 c iter 1 time 0.104984 not-muc 5079 unknown 1844 muc 0
8.75/8.86 c iter 2 time 0.178972 not-muc 5399 unknown 1524 muc 0
8.75/8.86 c iter 3 time 0.253961 not-muc 5514 unknown 1409 muc 0
8.75/8.86 c iter 4 time 0.350946 not-muc 5603 unknown 1320 muc 0
8.75/8.86 c iter 5 time 0.418936 not-muc 5675 unknown 1248 muc 0
8.75/8.86 c iter 6 time 0.557915 not-muc 5727 unknown 1196 muc 0
8.75/8.86 c iter 7 time 0.657899 not-muc 5744 unknown 1179 muc 0
8.75/8.86 c iter 8 time 0.754885 not-muc 5749 unknown 1174 muc 0
8.75/8.86 c iter 9 time 0.844871 not-muc 5773 unknown 1150 muc 0
8.75/8.86 c iter 10 time 0.941856 not-muc 5779 unknown 1144 muc 0
8.75/8.86 c iter 11 time 1.09283 not-muc 5787 unknown 1136 muc 0
8.75/8.86 c iter 12 time 1.18382 not-muc 5801 unknown 1122 muc 0
8.75/8.86 c iter 13 time 1.3378 not-muc 5803 unknown 1120 muc 0
8.75/8.86 c iter 14 time 1.44178 not-muc 5858 unknown 1065 muc 0
8.75/8.86 c iter 15 time 1.58876 not-muc 5864 unknown 1059 muc 0
8.75/8.86 c iter 16 time 1.73074 not-muc 5865 unknown 1058 muc 0
8.75/8.86 c iter 17 time 1.80373 not-muc 5870 unknown 1053 muc 0
8.75/8.86 c iter 18 time 1.9367 not-muc 5883 unknown 1040 muc 0
8.75/8.86 c iter 19 time 2.11068 not-muc 5885 unknown 1038 muc 0
8.75/8.86 c iter 20 time 2.18467 not-muc 5887 unknown 1036 muc 0
8.75/8.86 c iter 21 time 2.29465 not-muc 5888 unknown 1035 muc 0
8.75/8.86 c iter 22 time 2.42163 not-muc 5920 unknown 1003 muc 0
8.75/8.86 c iter 23 time 2.54061 not-muc 5923 unknown 1000 muc 0
8.75/8.86 c iter 24 time 2.6506 not-muc 5928 unknown 995 muc 0
8.75/8.86 c iter 25 time 2.76858 not-muc 5929 unknown 994 muc 0
8.75/8.86 c iter 26 time 3.10453 not-muc 5942 unknown 981 muc 0
8.75/8.86 c iter 27 time 3.2705 not-muc 5943 unknown 980 muc 0
8.75/8.86 c iter 28 time 3.37949 not-muc 5944 unknown 979 muc 0
8.75/8.86 c iter 29 time 3.51347 not-muc 5947 unknown 976 muc 0
8.75/8.86 c iter 30 time 3.58046 not-muc 5951 unknown 972 muc 0
8.75/8.86 c iter 31 time 3.71244 not-muc 5955 unknown 968 muc 0
8.75/8.86 c iter 32 time 3.76843 not-muc 5957 unknown 966 muc 0
8.75/8.86 c iter 33 time 3.84442 not-muc 5962 unknown 961 muc 0
8.75/8.86 c iter 34 time 3.9414 not-muc 5963 unknown 960 muc 0
8.75/8.86 c iter 35 time 4.09438 not-muc 5964 unknown 959 muc 0
8.75/8.86 c iter 36 time 4.18136 not-muc 5967 unknown 956 muc 0
8.75/8.86 c iter 37 time 4.30234 not-muc 5973 unknown 950 muc 0
8.75/8.86 c iter 38 time 4.38733 not-muc 5977 unknown 946 muc 0
8.75/8.86 c iter 39 time 4.49032 not-muc 5985 unknown 938 muc 0
8.75/8.86 c iter 40 time 4.5823 not-muc 5987 unknown 936 muc 0
8.75/8.86 c iter 41 time 4.67029 not-muc 5991 unknown 932 muc 0
8.75/8.86 c iter 42 time 4.73528 not-muc 5999 unknown 924 muc 0
8.75/8.86 c iter 43 time 4.83926 not-muc 6002 unknown 921 muc 0
8.75/8.86 c iter 44 time 4.98124 not-muc 6004 unknown 919 muc 0
8.75/8.86 c iter 45 time 5.11022 not-muc 6028 unknown 895 muc 0
8.75/8.86 c iter 46 time 5.22221 not-muc 6030 unknown 893 muc 0
8.75/8.86 c iter 47 time 5.34519 not-muc 6033 unknown 890 muc 0
8.75/8.86 c iter 48 time 5.53016 not-muc 6034 unknown 889 muc 0
8.75/8.86 c iter 49 time 5.68513 not-muc 6035 unknown 888 muc 0
8.75/8.86 c iter 50 time 5.81212 not-muc 6036 unknown 887 muc 0
8.75/8.86 c iter 51 time 5.9461 not-muc 6037 unknown 886 muc 0
8.75/8.86 c iter 52 time 6.09407 not-muc 6039 unknown 884 muc 0
8.75/8.86 c iter 53 time 6.22505 not-muc 6040 unknown 883 muc 0
8.75/8.86 c iter 54 time 6.42502 not-muc 6041 unknown 882 muc 0
8.75/8.86 c iter 55 time 6.584 not-muc 6042 unknown 881 muc 0
8.75/8.86 c iter 56 time 6.83896 not-muc 6044 unknown 879 muc 0
8.75/8.86 c iter 57 time 6.99794 not-muc 6045 unknown 878 muc 0
8.75/8.86 c iter 58 time 7.2049 not-muc 6047 unknown 876 muc 0
8.75/8.86 c iter 59 time 7.44187 not-muc 6048 unknown 875 muc 0
8.75/8.86 c iter 60 time 7.9048 not-muc 6053 unknown 870 muc 0
8.75/8.86 c iter 61 time 8.04178 not-muc 6062 unknown 861 muc 0
8.75/8.86 c iter 62 time 8.05078 not-muc 6062 unknown 860 muc 1
8.75/8.86 c iter 63 time 8.05377 not-muc 6062 unknown 859 muc 2
8.75/8.86 c iter 64 time 8.05678 not-muc 6062 unknown 858 muc 3
8.75/8.86 c iter 65 time 8.05977 not-muc 6062 unknown 857 muc 4
8.75/8.86 c iter 66 time 8.06277 not-muc 6062 unknown 856 muc 5
8.75/8.86 c iter 67 time 8.06577 not-muc 6062 unknown 855 muc 6
8.75/8.86 c iter 68 time 8.06777 not-muc 6062 unknown 854 muc 7
8.75/8.86 c iter 69 time 8.07077 not-muc 6062 unknown 853 muc 8
8.75/8.86 c iter 70 time 8.28074 not-muc 6082 unknown 833 muc 8
8.75/8.86 c iter 71 time 8.29174 not-muc 6082 unknown 832 muc 9
8.75/8.86 c iter 72 time 8.29674 not-muc 6082 unknown 831 muc 10
8.75/8.86 c iter 73 time 8.40872 not-muc 6089 unknown 824 muc 10
8.75/8.86 c iter 74 time 8.5487 not-muc 6093 unknown 820 muc 10
8.75/8.86 c iter 75 time 8.79166 not-muc 6096 unknown 817 muc 10
13.42/13.52 c iter 76 time 8.91864 not-muc 6098 unknown 815 muc 10
13.42/13.52 c iter 77 time 9.15161 not-muc 6101 unknown 812 muc 10
13.42/13.52 c iter 78 time 9.27959 not-muc 6103 unknown 810 muc 10
13.42/13.52 c iter 79 time 9.46156 not-muc 6106 unknown 807 muc 10
13.42/13.52 c iter 80 time 9.71352 not-muc 6108 unknown 805 muc 10
13.42/13.52 c iter 81 time 9.80951 not-muc 6110 unknown 803 muc 10
13.42/13.52 c iter 82 time 9.93749 not-muc 6112 unknown 801 muc 10
13.42/13.52 c iter 83 time 9.95449 not-muc 6112 unknown 800 muc 11
13.42/13.52 c iter 84 time 9.95949 not-muc 6112 unknown 799 muc 12
13.42/13.52 c iter 85 time 9.96548 not-muc 6112 unknown 798 muc 13
13.42/13.52 c iter 86 time 9.97248 not-muc 6112 unknown 797 muc 14
13.42/13.52 c iter 87 time 9.98048 not-muc 6112 unknown 796 muc 15
13.42/13.52 c iter 88 time 9.98848 not-muc 6112 unknown 795 muc 16
13.42/13.52 c iter 89 time 9.99548 not-muc 6112 unknown 794 muc 17
13.42/13.52 c iter 90 time 10.0035 not-muc 6112 unknown 793 muc 18
13.42/13.52 c iter 91 time 10.0085 not-muc 6112 unknown 792 muc 19
13.42/13.52 c iter 92 time 10.0135 not-muc 6112 unknown 791 muc 20
13.42/13.52 c iter 93 time 10.0435 not-muc 6112 unknown 790 muc 21
13.42/13.52 c iter 94 time 10.1425 not-muc 6134 unknown 768 muc 21
13.42/13.52 c iter 95 time 10.1625 not-muc 6134 unknown 767 muc 22
13.42/13.52 c iter 96 time 10.3454 not-muc 6156 unknown 745 muc 22
13.42/13.52 c iter 97 time 10.3604 not-muc 6156 unknown 744 muc 23
13.42/13.52 c iter 98 time 10.3634 not-muc 6156 unknown 743 muc 24
13.42/13.52 c iter 99 time 10.3684 not-muc 6156 unknown 742 muc 25
13.42/13.52 c iter 100 time 10.3874 not-muc 6156 unknown 741 muc 26
13.42/13.52 c iter 101 time 10.3924 not-muc 6156 unknown 740 muc 27
13.42/13.52 c iter 102 time 10.3974 not-muc 6156 unknown 739 muc 28
13.42/13.52 c iter 103 time 10.4034 not-muc 6156 unknown 738 muc 29
13.42/13.52 c iter 104 time 10.4084 not-muc 6156 unknown 737 muc 30
13.42/13.52 c iter 105 time 10.4114 not-muc 6156 unknown 736 muc 31
13.42/13.52 c iter 106 time 10.4144 not-muc 6156 unknown 735 muc 32
13.42/13.52 c iter 107 time 10.4174 not-muc 6156 unknown 734 muc 33
13.42/13.52 c iter 108 time 10.4234 not-muc 6156 unknown 733 muc 34
13.42/13.52 c iter 109 time 10.4344 not-muc 6158 unknown 731 muc 34
13.42/13.52 c iter 110 time 10.5364 not-muc 6160 unknown 729 muc 34
13.42/13.52 c iter 111 time 10.6804 not-muc 6164 unknown 725 muc 34
13.42/13.52 c iter 112 time 10.8344 not-muc 6166 unknown 723 muc 34
13.42/13.52 c iter 113 time 11.0503 not-muc 6168 unknown 721 muc 34
13.42/13.52 c iter 114 time 11.2663 not-muc 6170 unknown 719 muc 34
13.42/13.52 c iter 115 time 11.4813 not-muc 6173 unknown 716 muc 34
13.42/13.52 c iter 116 time 11.7412 not-muc 6175 unknown 714 muc 34
13.42/13.52 c iter 117 time 11.7882 not-muc 6175 unknown 713 muc 35
13.42/13.52 c iter 118 time 11.9912 not-muc 6177 unknown 711 muc 35
13.42/13.52 c iter 119 time 12.0802 not-muc 6177 unknown 710 muc 36
13.42/13.52 c iter 120 time 12.5231 not-muc 6179 unknown 708 muc 36
13.42/13.52 c iter 121 time 12.7411 not-muc 6181 unknown 706 muc 36
13.42/13.52 c iter 122 time 12.7551 not-muc 6181 unknown 705 muc 37
13.42/13.52 c iter 123 time 12.7581 not-muc 6181 unknown 704 muc 38
13.42/13.52 c iter 124 time 12.7631 not-muc 6181 unknown 703 muc 39
13.42/13.52 c iter 125 time 12.7681 not-muc 6181 unknown 702 muc 40
13.42/13.52 c iter 126 time 12.7741 not-muc 6181 unknown 701 muc 41
13.42/13.52 c iter 127 time 12.7871 not-muc 6181 unknown 700 muc 42
13.42/13.52 c iter 128 time 12.7911 not-muc 6181 unknown 699 muc 43
13.42/13.52 c iter 129 time 12.7951 not-muc 6181 unknown 698 muc 44
13.42/13.52 c iter 130 time 12.8041 not-muc 6181 unknown 697 muc 45
13.42/13.52 c iter 131 time 12.8071 not-muc 6181 unknown 696 muc 46
13.42/13.52 c iter 132 time 12.8091 not-muc 6181 unknown 695 muc 47
13.42/13.52 c iter 133 time 12.8151 not-muc 6181 unknown 694 muc 48
13.42/13.52 c iter 134 time 12.8261 not-muc 6181 unknown 693 muc 49
13.42/13.52 c iter 135 time 12.829 not-muc 6181 unknown 692 muc 50
13.42/13.52 c iter 136 time 12.834 not-muc 6181 unknown 691 muc 51
13.42/13.52 c iter 137 time 12.84 not-muc 6181 unknown 690 muc 52
13.42/13.52 c iter 138 time 12.845 not-muc 6181 unknown 689 muc 53
13.42/13.52 c iter 139 time 12.851 not-muc 6181 unknown 688 muc 54
13.42/13.52 c iter 140 time 12.856 not-muc 6181 unknown 687 muc 55
13.42/13.52 c iter 141 time 12.863 not-muc 6181 unknown 686 muc 56
13.42/13.52 c iter 142 time 12.878 not-muc 6181 unknown 685 muc 57
13.42/13.52 c iter 143 time 12.885 not-muc 6181 unknown 684 muc 58
13.42/13.52 c iter 144 time 13.136 not-muc 6202 unknown 663 muc 58
13.42/13.52 c iter 145 time 13.376 not-muc 6205 unknown 660 muc 58
13.42/13.52 c iter 146 time 13.388 not-muc 6205 unknown 659 muc 59
13.42/13.52 c iter 147 time 13.394 not-muc 6205 unknown 658 muc 60
13.42/13.52 c iter 148 time 13.401 not-muc 6205 unknown 657 muc 61
13.42/13.52 c iter 149 time 13.41 not-muc 6205 unknown 656 muc 62
16.90/17.05 c iter 150 time 13.417 not-muc 6205 unknown 655 muc 63
16.90/17.05 c iter 151 time 13.423 not-muc 6205 unknown 654 muc 64
16.90/17.05 c iter 152 time 13.429 not-muc 6205 unknown 653 muc 65
16.90/17.05 c iter 153 time 13.434 not-muc 6205 unknown 652 muc 66
16.90/17.05 c iter 154 time 13.6609 not-muc 6226 unknown 631 muc 66
16.90/17.05 c iter 155 time 13.6809 not-muc 6226 unknown 630 muc 67
16.90/17.05 c iter 156 time 13.7999 not-muc 6247 unknown 609 muc 67
16.90/17.05 c iter 157 time 13.8189 not-muc 6247 unknown 608 muc 68
16.90/17.05 c iter 158 time 14.0859 not-muc 6248 unknown 607 muc 68
16.90/17.05 c iter 159 time 14.3148 not-muc 6251 unknown 604 muc 68
16.90/17.05 c iter 160 time 14.4358 not-muc 6252 unknown 603 muc 68
16.90/17.05 c iter 161 time 14.5888 not-muc 6253 unknown 602 muc 68
16.90/17.05 c iter 162 time 14.8267 not-muc 6254 unknown 601 muc 68
16.90/17.05 c iter 163 time 14.8407 not-muc 6254 unknown 600 muc 69
16.90/17.05 c iter 164 time 14.8507 not-muc 6254 unknown 599 muc 70
16.90/17.05 c iter 165 time 14.9667 not-muc 6257 unknown 596 muc 70
16.90/17.05 c iter 166 time 14.9807 not-muc 6257 unknown 595 muc 71
16.90/17.05 c iter 167 time 14.9897 not-muc 6257 unknown 594 muc 72
16.90/17.05 c iter 168 time 15.0897 not-muc 6262 unknown 589 muc 72
16.90/17.05 c iter 169 time 15.1057 not-muc 6262 unknown 588 muc 73
16.90/17.05 c iter 170 time 15.3437 not-muc 6263 unknown 587 muc 73
16.90/17.05 c iter 171 time 15.4417 not-muc 6266 unknown 584 muc 73
16.90/17.05 c iter 172 time 15.4566 not-muc 6266 unknown 583 muc 74
16.90/17.05 c iter 173 time 15.7266 not-muc 6267 unknown 582 muc 74
16.90/17.05 c iter 174 time 15.9146 not-muc 6268 unknown 581 muc 74
16.90/17.05 c iter 175 time 15.9276 not-muc 6268 unknown 580 muc 75
16.90/17.05 c iter 176 time 16.3275 not-muc 6270 unknown 578 muc 75
16.90/17.05 c iter 177 time 16.3425 not-muc 6270 unknown 577 muc 76
16.90/17.05 c iter 178 time 16.3545 not-muc 6270 unknown 576 muc 77
16.90/17.05 c iter 179 time 16.3675 not-muc 6270 unknown 575 muc 78
16.90/17.05 c iter 180 time 16.3805 not-muc 6270 unknown 574 muc 79
16.90/17.05 c iter 181 time 16.3925 not-muc 6270 unknown 573 muc 80
16.90/17.05 c iter 182 time 16.4065 not-muc 6270 unknown 572 muc 81
16.90/17.05 c iter 183 time 16.4195 not-muc 6270 unknown 571 muc 82
16.90/17.05 c iter 184 time 16.4345 not-muc 6270 unknown 570 muc 83
16.90/17.05 c iter 185 time 16.4475 not-muc 6270 unknown 569 muc 84
16.90/17.05 c iter 186 time 16.4685 not-muc 6270 unknown 568 muc 85
16.90/17.05 c iter 187 time 16.4805 not-muc 6270 unknown 567 muc 86
16.90/17.05 c iter 188 time 16.4955 not-muc 6270 unknown 566 muc 87
16.90/17.05 c iter 189 time 16.5075 not-muc 6270 unknown 565 muc 88
16.90/17.05 c iter 190 time 16.5225 not-muc 6270 unknown 564 muc 89
16.90/17.05 c iter 191 time 16.5345 not-muc 6270 unknown 563 muc 90
16.90/17.05 c iter 192 time 16.5505 not-muc 6270 unknown 562 muc 91
16.90/17.05 c iter 193 time 16.5625 not-muc 6270 unknown 561 muc 92
16.90/17.05 c iter 194 time 16.5755 not-muc 6270 unknown 560 muc 93
16.90/17.05 c iter 195 time 16.5865 not-muc 6270 unknown 559 muc 94
16.90/17.05 c iter 196 time 16.5985 not-muc 6270 unknown 558 muc 95
16.90/17.05 c iter 197 time 16.6085 not-muc 6270 unknown 557 muc 96
16.90/17.05 c iter 198 time 16.6185 not-muc 6270 unknown 556 muc 97
16.90/17.05 c iter 199 time 16.6325 not-muc 6270 unknown 555 muc 98
16.90/17.05 c iter 200 time 16.6425 not-muc 6270 unknown 554 muc 99
16.90/17.05 c iter 201 time 16.6575 not-muc 6270 unknown 553 muc 100
16.90/17.05 c iter 202 time 16.6675 not-muc 6270 unknown 552 muc 101
16.90/17.05 c iter 203 time 16.6855 not-muc 6270 unknown 551 muc 102
16.90/17.05 c iter 204 time 16.6965 not-muc 6270 unknown 550 muc 103
16.90/17.05 c iter 205 time 16.7115 not-muc 6270 unknown 549 muc 104
16.90/17.05 c iter 206 time 16.7215 not-muc 6270 unknown 548 muc 105
16.90/17.05 c iter 207 time 16.7355 not-muc 6270 unknown 547 muc 106
16.90/17.05 c iter 208 time 16.7455 not-muc 6270 unknown 546 muc 107
16.90/17.05 c iter 209 time 16.7595 not-muc 6270 unknown 545 muc 108
16.90/17.05 c iter 210 time 16.7685 not-muc 6270 unknown 544 muc 109
16.90/17.05 c iter 211 time 16.7824 not-muc 6270 unknown 543 muc 110
16.90/17.05 c iter 212 time 16.7914 not-muc 6270 unknown 542 muc 111
16.90/17.05 c iter 213 time 16.8044 not-muc 6270 unknown 541 muc 112
16.90/17.05 c iter 214 time 16.8124 not-muc 6270 unknown 540 muc 113
16.90/17.05 c iter 215 time 16.8254 not-muc 6270 unknown 539 muc 114
16.90/17.05 c iter 216 time 16.8354 not-muc 6270 unknown 538 muc 115
16.90/17.05 c iter 217 time 16.8484 not-muc 6270 unknown 537 muc 116
16.90/17.05 c iter 218 time 16.8564 not-muc 6270 unknown 536 muc 117
16.90/17.05 c iter 219 time 16.8684 not-muc 6270 unknown 535 muc 118
16.90/17.05 c iter 220 time 16.8784 not-muc 6270 unknown 534 muc 119
16.90/17.05 c iter 221 time 16.8894 not-muc 6270 unknown 533 muc 120
16.90/17.05 c iter 222 time 16.9074 not-muc 6270 unknown 532 muc 121
17.80/17.95 c iter 223 time 16.9174 not-muc 6270 unknown 531 muc 122
17.80/17.95 c iter 224 time 16.9304 not-muc 6270 unknown 530 muc 123
17.80/17.95 c iter 225 time 16.9404 not-muc 6270 unknown 529 muc 124
17.80/17.95 c iter 226 time 16.9534 not-muc 6270 unknown 528 muc 125
17.80/17.95 c iter 227 time 16.9684 not-muc 6270 unknown 527 muc 126
17.80/17.95 c iter 228 time 16.9784 not-muc 6270 unknown 526 muc 127
17.80/17.95 c iter 229 time 16.9904 not-muc 6270 unknown 525 muc 128
17.80/17.95 c iter 230 time 17.0074 not-muc 6270 unknown 524 muc 129
17.80/17.95 c iter 231 time 17.0194 not-muc 6270 unknown 523 muc 130
17.80/17.95 c iter 232 time 17.0304 not-muc 6270 unknown 522 muc 131
17.80/17.95 c iter 233 time 17.0444 not-muc 6270 unknown 521 muc 132
17.80/17.95 c iter 234 time 17.0634 not-muc 6270 unknown 520 muc 133
17.80/17.95 c iter 235 time 17.0764 not-muc 6270 unknown 519 muc 134
17.80/17.95 c iter 236 time 17.0884 not-muc 6270 unknown 518 muc 135
17.80/17.95 c iter 237 time 17.0974 not-muc 6270 unknown 517 muc 136
17.80/17.95 c iter 238 time 17.1094 not-muc 6270 unknown 516 muc 137
17.80/17.95 c iter 239 time 17.1224 not-muc 6270 unknown 515 muc 138
17.80/17.95 c iter 240 time 17.1304 not-muc 6270 unknown 514 muc 139
17.80/17.95 c iter 241 time 17.1414 not-muc 6270 unknown 513 muc 140
17.80/17.95 c iter 242 time 17.1544 not-muc 6270 unknown 512 muc 141
17.80/17.95 c iter 243 time 17.1714 not-muc 6270 unknown 511 muc 142
17.80/17.95 c iter 244 time 17.1834 not-muc 6270 unknown 510 muc 143
17.80/17.95 c iter 245 time 17.1924 not-muc 6270 unknown 509 muc 144
17.80/17.95 c iter 246 time 17.2024 not-muc 6270 unknown 508 muc 145
17.80/17.95 c iter 247 time 17.2134 not-muc 6270 unknown 507 muc 146
17.80/17.95 c iter 248 time 17.2254 not-muc 6270 unknown 506 muc 147
17.80/17.95 c iter 249 time 17.2384 not-muc 6270 unknown 505 muc 148
17.80/17.95 c iter 250 time 17.2524 not-muc 6270 unknown 504 muc 149
17.80/17.95 c iter 251 time 17.2654 not-muc 6270 unknown 503 muc 150
17.80/17.95 c iter 252 time 17.2794 not-muc 6270 unknown 502 muc 151
17.80/17.95 c iter 253 time 17.2914 not-muc 6270 unknown 501 muc 152
17.80/17.95 c iter 254 time 17.3054 not-muc 6270 unknown 500 muc 153
17.80/17.95 c iter 255 time 17.3184 not-muc 6270 unknown 499 muc 154
17.80/17.95 c iter 256 time 17.3324 not-muc 6270 unknown 498 muc 155
17.80/17.95 c iter 257 time 17.3444 not-muc 6270 unknown 497 muc 156
17.80/17.95 c iter 258 time 17.3594 not-muc 6270 unknown 496 muc 157
17.80/17.95 c iter 259 time 17.3714 not-muc 6270 unknown 495 muc 158
17.80/17.95 c iter 260 time 17.3854 not-muc 6270 unknown 494 muc 159
17.80/17.95 c iter 261 time 17.3974 not-muc 6270 unknown 493 muc 160
17.80/17.95 c iter 262 time 17.4114 not-muc 6270 unknown 492 muc 161
17.80/17.95 c iter 263 time 17.4293 not-muc 6270 unknown 491 muc 162
17.80/17.95 c iter 264 time 17.4433 not-muc 6270 unknown 490 muc 163
17.80/17.95 c iter 265 time 17.4543 not-muc 6270 unknown 489 muc 164
17.80/17.95 c iter 266 time 17.4663 not-muc 6270 unknown 488 muc 165
17.80/17.95 c iter 267 time 17.4773 not-muc 6270 unknown 487 muc 166
17.80/17.95 c iter 268 time 17.4853 not-muc 6270 unknown 486 muc 167
17.80/17.95 c iter 269 time 17.5003 not-muc 6270 unknown 485 muc 168
17.80/17.95 c iter 270 time 17.5113 not-muc 6270 unknown 484 muc 169
17.80/17.95 c iter 271 time 17.5213 not-muc 6270 unknown 483 muc 170
17.80/17.95 c iter 272 time 17.5383 not-muc 6270 unknown 482 muc 171
17.80/17.95 c iter 273 time 17.5543 not-muc 6270 unknown 481 muc 172
17.80/17.95 c iter 274 time 17.5673 not-muc 6270 unknown 480 muc 173
17.80/17.95 c iter 275 time 17.5793 not-muc 6270 unknown 479 muc 174
17.80/17.95 c iter 276 time 17.5913 not-muc 6270 unknown 478 muc 175
17.80/17.95 c iter 277 time 17.6043 not-muc 6270 unknown 477 muc 176
17.80/17.95 c iter 278 time 17.6163 not-muc 6270 unknown 476 muc 177
17.80/17.95 c iter 279 time 17.6293 not-muc 6270 unknown 475 muc 178
17.80/17.95 c iter 280 time 17.6413 not-muc 6270 unknown 474 muc 179
17.80/17.95 c iter 281 time 17.6543 not-muc 6270 unknown 473 muc 180
17.80/17.95 c iter 282 time 17.6643 not-muc 6270 unknown 472 muc 181
17.80/17.95 c iter 283 time 17.6793 not-muc 6270 unknown 471 muc 182
17.80/17.95 c iter 284 time 17.6923 not-muc 6270 unknown 470 muc 183
17.80/17.95 c iter 285 time 17.7023 not-muc 6270 unknown 469 muc 184
17.80/17.95 c iter 286 time 17.7163 not-muc 6270 unknown 468 muc 185
17.80/17.95 c iter 287 time 17.7293 not-muc 6270 unknown 467 muc 186
17.80/17.95 c iter 288 time 17.7413 not-muc 6270 unknown 466 muc 187
17.80/17.95 c iter 289 time 17.7583 not-muc 6270 unknown 465 muc 188
17.80/17.95 c iter 290 time 17.7753 not-muc 6270 unknown 464 muc 189
17.80/17.95 c iter 291 time 17.7853 not-muc 6270 unknown 463 muc 190
17.80/17.95 c iter 292 time 17.7973 not-muc 6270 unknown 462 muc 191
17.80/17.95 c iter 293 time 17.8093 not-muc 6270 unknown 461 muc 192
19.20/19.32 c iter 294 time 17.8193 not-muc 6270 unknown 460 muc 193
19.20/19.32 c iter 295 time 17.8263 not-muc 6270 unknown 459 muc 194
19.20/19.32 c iter 296 time 17.8413 not-muc 6270 unknown 458 muc 195
19.20/19.32 c iter 297 time 17.8493 not-muc 6270 unknown 457 muc 196
19.20/19.32 c iter 298 time 17.8603 not-muc 6270 unknown 456 muc 197
19.20/19.32 c iter 299 time 17.8723 not-muc 6270 unknown 455 muc 198
19.20/19.32 c iter 300 time 17.8823 not-muc 6270 unknown 454 muc 199
19.20/19.32 c iter 301 time 17.8953 not-muc 6270 unknown 453 muc 200
19.20/19.32 c iter 302 time 17.9073 not-muc 6270 unknown 452 muc 201
19.20/19.32 c iter 303 time 17.9203 not-muc 6270 unknown 451 muc 202
19.20/19.32 c iter 304 time 18.1292 not-muc 6271 unknown 450 muc 202
19.20/19.32 c iter 305 time 18.1462 not-muc 6271 unknown 449 muc 203
19.20/19.32 c iter 306 time 18.1562 not-muc 6271 unknown 448 muc 204
19.20/19.32 c iter 307 time 18.1632 not-muc 6271 unknown 447 muc 205
19.20/19.32 c iter 308 time 18.1752 not-muc 6271 unknown 446 muc 206
19.20/19.32 c iter 309 time 18.3292 not-muc 6272 unknown 445 muc 206
19.20/19.32 c iter 310 time 18.3412 not-muc 6272 unknown 444 muc 207
19.20/19.32 c iter 311 time 18.3542 not-muc 6272 unknown 443 muc 208
19.20/19.32 c iter 312 time 18.4472 not-muc 6274 unknown 441 muc 208
19.20/19.32 c iter 313 time 18.4592 not-muc 6274 unknown 440 muc 209
19.20/19.32 c iter 314 time 18.4742 not-muc 6274 unknown 439 muc 210
19.20/19.32 c iter 315 time 18.6472 not-muc 6275 unknown 438 muc 210
19.20/19.32 c iter 316 time 18.6592 not-muc 6275 unknown 437 muc 211
19.20/19.32 c iter 317 time 18.6702 not-muc 6275 unknown 436 muc 212
19.20/19.32 c iter 318 time 18.6752 not-muc 6275 unknown 435 muc 213
19.20/19.32 c iter 319 time 18.6862 not-muc 6275 unknown 434 muc 214
19.20/19.32 c iter 320 time 18.6932 not-muc 6275 unknown 433 muc 215
19.20/19.32 c iter 321 time 18.7032 not-muc 6275 unknown 432 muc 216
19.20/19.32 c iter 322 time 18.7112 not-muc 6275 unknown 431 muc 217
19.20/19.32 c iter 323 time 18.7182 not-muc 6275 unknown 430 muc 218
19.20/19.32 c iter 324 time 18.7232 not-muc 6275 unknown 429 muc 219
19.20/19.32 c iter 325 time 18.7292 not-muc 6275 unknown 428 muc 220
19.20/19.32 c iter 326 time 18.7382 not-muc 6275 unknown 427 muc 221
19.20/19.32 c iter 327 time 18.7442 not-muc 6275 unknown 426 muc 222
19.20/19.32 c iter 328 time 18.7511 not-muc 6275 unknown 425 muc 223
19.20/19.32 c iter 329 time 18.7611 not-muc 6275 unknown 424 muc 224
19.20/19.32 c iter 330 time 18.7701 not-muc 6275 unknown 423 muc 225
19.20/19.32 c iter 331 time 18.7781 not-muc 6275 unknown 422 muc 226
19.20/19.32 c iter 332 time 18.7881 not-muc 6275 unknown 421 muc 227
19.20/19.32 c iter 333 time 18.7981 not-muc 6275 unknown 420 muc 228
19.20/19.32 c iter 334 time 18.8041 not-muc 6275 unknown 419 muc 229
19.20/19.32 c iter 335 time 18.8161 not-muc 6275 unknown 418 muc 230
19.20/19.32 c iter 336 time 18.8261 not-muc 6275 unknown 417 muc 231
19.20/19.32 c iter 337 time 18.8331 not-muc 6275 unknown 416 muc 232
19.20/19.32 c iter 338 time 18.8451 not-muc 6275 unknown 415 muc 233
19.20/19.32 c iter 339 time 18.8551 not-muc 6275 unknown 414 muc 234
19.20/19.32 c iter 340 time 18.8631 not-muc 6275 unknown 413 muc 235
19.20/19.32 c iter 341 time 18.8721 not-muc 6275 unknown 412 muc 236
19.20/19.32 c iter 342 time 18.8811 not-muc 6275 unknown 411 muc 237
19.20/19.32 c iter 343 time 18.8891 not-muc 6275 unknown 410 muc 238
19.20/19.32 c iter 344 time 18.8981 not-muc 6275 unknown 409 muc 239
19.20/19.32 c iter 345 time 18.9041 not-muc 6275 unknown 408 muc 240
19.20/19.32 c iter 346 time 18.9111 not-muc 6275 unknown 407 muc 241
19.20/19.32 c iter 347 time 18.9201 not-muc 6275 unknown 406 muc 242
19.20/19.32 c iter 348 time 18.9291 not-muc 6275 unknown 405 muc 243
19.20/19.32 c iter 349 time 18.9341 not-muc 6275 unknown 404 muc 244
19.20/19.32 c iter 350 time 18.9441 not-muc 6275 unknown 403 muc 245
19.20/19.32 c iter 351 time 18.9481 not-muc 6275 unknown 402 muc 246
19.20/19.32 c iter 352 time 19.0041 not-muc 6275 unknown 401 muc 247
19.20/19.32 c iter 353 time 19.0121 not-muc 6275 unknown 400 muc 248
19.20/19.32 c iter 354 time 19.0171 not-muc 6275 unknown 399 muc 249
19.20/19.32 c iter 355 time 19.0251 not-muc 6275 unknown 398 muc 250
19.20/19.32 c iter 356 time 19.0321 not-muc 6275 unknown 397 muc 251
19.20/19.32 c iter 357 time 19.0381 not-muc 6275 unknown 396 muc 252
19.20/19.32 c iter 358 time 19.0491 not-muc 6275 unknown 395 muc 253
19.20/19.32 c iter 359 time 19.0591 not-muc 6275 unknown 394 muc 254
19.20/19.32 c iter 360 time 19.0681 not-muc 6275 unknown 393 muc 255
19.20/19.32 c iter 361 time 19.0751 not-muc 6275 unknown 392 muc 256
19.20/19.32 c iter 362 time 19.0821 not-muc 6275 unknown 391 muc 257
19.20/19.32 c iter 363 time 19.0941 not-muc 6275 unknown 390 muc 258
19.20/19.32 c iter 364 time 19.1381 not-muc 6275 unknown 389 muc 259
19.20/19.32 c iter 365 time 19.1461 not-muc 6275 unknown 388 muc 260
20.89/21.08 c iter 366 time 19.1591 not-muc 6275 unknown 387 muc 261
20.89/21.08 c iter 367 time 19.1691 not-muc 6275 unknown 386 muc 262
20.89/21.08 c iter 368 time 19.1791 not-muc 6275 unknown 385 muc 263
20.89/21.08 c iter 369 time 19.1871 not-muc 6275 unknown 384 muc 264
20.89/21.08 c iter 370 time 19.1931 not-muc 6275 unknown 383 muc 265
20.89/21.08 c iter 371 time 19.2021 not-muc 6275 unknown 382 muc 266
20.89/21.08 c iter 372 time 19.2131 not-muc 6275 unknown 381 muc 267
20.89/21.08 c iter 373 time 19.2231 not-muc 6275 unknown 380 muc 268
20.89/21.08 c iter 374 time 19.2311 not-muc 6275 unknown 379 muc 269
20.89/21.08 c iter 375 time 19.2451 not-muc 6275 unknown 378 muc 270
20.89/21.08 c iter 376 time 19.2541 not-muc 6275 unknown 377 muc 271
20.89/21.08 c iter 377 time 19.2621 not-muc 6275 unknown 376 muc 272
20.89/21.08 c iter 378 time 19.2681 not-muc 6275 unknown 375 muc 273
20.89/21.08 c iter 379 time 19.2861 not-muc 6275 unknown 374 muc 274
20.89/21.08 c iter 380 time 19.2961 not-muc 6275 unknown 373 muc 275
20.89/21.08 c iter 381 time 19.3001 not-muc 6275 unknown 372 muc 276
20.89/21.08 c iter 382 time 19.3131 not-muc 6275 unknown 371 muc 277
20.89/21.08 c iter 383 time 19.3201 not-muc 6275 unknown 370 muc 278
20.89/21.08 c iter 384 time 19.3261 not-muc 6275 unknown 369 muc 279
20.89/21.08 c iter 385 time 19.579 not-muc 6276 unknown 368 muc 279
20.89/21.08 c iter 386 time 19.589 not-muc 6276 unknown 367 muc 280
20.89/21.08 c iter 387 time 19.596 not-muc 6276 unknown 366 muc 281
20.89/21.08 c iter 388 time 19.739 not-muc 6277 unknown 365 muc 281
20.89/21.08 c iter 389 time 19.753 not-muc 6277 unknown 364 muc 282
20.89/21.08 c iter 390 time 19.761 not-muc 6277 unknown 363 muc 283
20.89/21.08 c iter 391 time 19.775 not-muc 6277 unknown 362 muc 284
20.89/21.08 c iter 392 time 19.779 not-muc 6277 unknown 361 muc 285
20.89/21.08 c iter 393 time 19.783 not-muc 6277 unknown 360 muc 286
20.89/21.08 c iter 394 time 19.903 not-muc 6278 unknown 359 muc 286
20.89/21.08 c iter 395 time 19.919 not-muc 6278 unknown 358 muc 287
20.89/21.08 c iter 396 time 19.926 not-muc 6278 unknown 357 muc 288
20.89/21.08 c iter 397 time 19.935 not-muc 6278 unknown 356 muc 289
20.89/21.08 c iter 398 time 19.941 not-muc 6278 unknown 355 muc 290
20.89/21.08 c iter 399 time 19.951 not-muc 6278 unknown 354 muc 291
20.89/21.08 c iter 400 time 19.958 not-muc 6278 unknown 353 muc 292
20.89/21.08 c iter 401 time 19.969 not-muc 6278 unknown 352 muc 293
20.89/21.08 c iter 402 time 19.976 not-muc 6278 unknown 351 muc 294
20.89/21.08 c iter 403 time 19.988 not-muc 6278 unknown 350 muc 295
20.89/21.08 c iter 404 time 19.994 not-muc 6278 unknown 349 muc 296
20.89/21.08 c iter 405 time 20.006 not-muc 6278 unknown 348 muc 297
20.89/21.08 c iter 406 time 20.014 not-muc 6278 unknown 347 muc 298
20.89/21.08 c iter 407 time 20.027 not-muc 6278 unknown 346 muc 299
20.89/21.08 c iter 408 time 20.034 not-muc 6278 unknown 345 muc 300
20.89/21.08 c iter 409 time 20.046 not-muc 6278 unknown 344 muc 301
20.89/21.08 c iter 410 time 20.051 not-muc 6278 unknown 343 muc 302
20.89/21.08 c iter 411 time 20.0619 not-muc 6278 unknown 342 muc 303
20.89/21.08 c iter 412 time 20.0679 not-muc 6278 unknown 341 muc 304
20.89/21.08 c iter 413 time 20.0769 not-muc 6278 unknown 340 muc 305
20.89/21.08 c iter 414 time 20.0819 not-muc 6278 unknown 339 muc 306
20.89/21.08 c iter 415 time 20.0909 not-muc 6278 unknown 338 muc 307
20.89/21.08 c iter 416 time 20.0969 not-muc 6278 unknown 337 muc 308
20.89/21.08 c iter 417 time 20.2439 not-muc 6280 unknown 335 muc 308
20.89/21.08 c iter 418 time 20.2599 not-muc 6280 unknown 334 muc 309
20.89/21.08 c iter 419 time 20.2659 not-muc 6280 unknown 333 muc 310
20.89/21.08 c iter 420 time 20.3769 not-muc 6281 unknown 332 muc 310
20.89/21.08 c iter 421 time 20.3929 not-muc 6281 unknown 331 muc 311
20.89/21.08 c iter 422 time 20.3999 not-muc 6281 unknown 330 muc 312
20.89/21.08 c iter 423 time 20.5269 not-muc 6282 unknown 329 muc 312
20.89/21.08 c iter 424 time 20.5429 not-muc 6282 unknown 328 muc 313
20.89/21.08 c iter 425 time 20.5499 not-muc 6282 unknown 327 muc 314
20.89/21.08 c iter 426 time 20.5629 not-muc 6282 unknown 326 muc 315
20.89/21.08 c iter 427 time 20.5709 not-muc 6282 unknown 325 muc 316
20.89/21.08 c iter 428 time 20.5839 not-muc 6282 unknown 324 muc 317
20.89/21.08 c iter 429 time 20.5909 not-muc 6282 unknown 323 muc 318
20.89/21.08 c iter 430 time 20.6039 not-muc 6282 unknown 322 muc 319
20.89/21.08 c iter 431 time 20.6129 not-muc 6282 unknown 321 muc 320
20.89/21.08 c iter 432 time 20.6269 not-muc 6282 unknown 320 muc 321
20.89/21.08 c iter 433 time 20.6339 not-muc 6282 unknown 319 muc 322
20.89/21.08 c iter 434 time 20.8678 not-muc 6283 unknown 318 muc 322
20.89/21.08 c iter 435 time 20.8838 not-muc 6283 unknown 317 muc 323
20.89/21.08 c iter 436 time 20.8898 not-muc 6283 unknown 316 muc 324
20.89/21.08 c iter 437 time 20.8998 not-muc 6283 unknown 315 muc 325
20.89/21.08 c iter 438 time 20.9048 not-muc 6283 unknown 314 muc 326
25.00/25.12 c iter 439 time 20.9778 not-muc 6283 unknown 313 muc 327
25.00/25.12 c iter 440 time 21.0508 not-muc 6283 unknown 312 muc 328
25.00/25.12 c iter 441 time 21.1258 not-muc 6283 unknown 311 muc 329
25.00/25.12 c iter 442 time 21.2068 not-muc 6283 unknown 310 muc 330
25.00/25.12 c iter 443 time 21.2638 not-muc 6283 unknown 309 muc 331
25.00/25.12 c iter 444 time 21.3388 not-muc 6283 unknown 308 muc 332
25.00/25.12 c iter 445 time 21.4147 not-muc 6283 unknown 307 muc 333
25.00/25.12 c iter 446 time 21.4947 not-muc 6283 unknown 306 muc 334
25.00/25.12 c iter 447 time 21.5497 not-muc 6283 unknown 305 muc 335
25.00/25.12 c iter 448 time 21.6247 not-muc 6283 unknown 304 muc 336
25.00/25.12 c iter 449 time 21.6697 not-muc 6283 unknown 303 muc 337
25.00/25.12 c iter 450 time 21.7377 not-muc 6283 unknown 302 muc 338
25.00/25.12 c iter 451 time 21.8837 not-muc 6288 unknown 297 muc 338
25.00/25.12 c iter 452 time 21.9357 not-muc 6288 unknown 296 muc 339
25.00/25.12 c iter 453 time 22.0007 not-muc 6288 unknown 295 muc 340
25.00/25.12 c iter 454 time 22.0596 not-muc 6288 unknown 294 muc 341
25.00/25.12 c iter 455 time 22.1296 not-muc 6288 unknown 293 muc 342
25.00/25.12 c iter 456 time 22.2126 not-muc 6288 unknown 292 muc 343
25.00/25.12 c iter 457 time 22.2976 not-muc 6288 unknown 291 muc 344
25.00/25.12 c iter 458 time 22.3806 not-muc 6288 unknown 290 muc 345
25.00/25.12 c iter 459 time 22.4386 not-muc 6288 unknown 289 muc 346
25.00/25.12 c iter 460 time 22.4956 not-muc 6288 unknown 288 muc 347
25.00/25.12 c iter 461 time 22.5036 not-muc 6288 unknown 287 muc 348
25.00/25.12 c iter 462 time 22.5596 not-muc 6288 unknown 286 muc 349
25.00/25.12 c iter 463 time 22.6156 not-muc 6288 unknown 285 muc 350
25.00/25.12 c iter 464 time 22.6546 not-muc 6289 unknown 284 muc 350
25.00/25.12 c iter 465 time 22.6985 not-muc 6289 unknown 283 muc 351
25.00/25.12 c iter 466 time 22.7385 not-muc 6289 unknown 282 muc 352
25.00/25.12 c iter 467 time 22.7735 not-muc 6289 unknown 281 muc 353
25.00/25.12 c iter 468 time 22.8085 not-muc 6289 unknown 280 muc 354
25.00/25.12 c iter 469 time 22.8785 not-muc 6289 unknown 279 muc 355
25.00/25.12 c iter 470 time 22.9505 not-muc 6289 unknown 278 muc 356
25.00/25.12 c iter 471 time 23.0225 not-muc 6289 unknown 277 muc 357
25.00/25.12 c iter 472 time 23.0945 not-muc 6289 unknown 276 muc 358
25.00/25.12 c iter 473 time 23.1315 not-muc 6289 unknown 275 muc 359
25.00/25.12 c iter 474 time 23.1835 not-muc 6289 unknown 274 muc 360
25.00/25.12 c iter 475 time 23.2415 not-muc 6289 unknown 273 muc 361
25.00/25.12 c iter 476 time 23.3135 not-muc 6289 unknown 272 muc 362
25.00/25.12 c iter 477 time 23.3864 not-muc 6289 unknown 271 muc 363
25.00/25.12 c iter 478 time 23.4584 not-muc 6289 unknown 270 muc 364
25.00/25.12 c iter 479 time 23.5164 not-muc 6289 unknown 269 muc 365
25.00/25.12 c iter 480 time 23.5774 not-muc 6289 unknown 268 muc 366
25.00/25.12 c iter 481 time 23.6554 not-muc 6289 unknown 267 muc 367
25.00/25.12 c iter 482 time 23.7254 not-muc 6289 unknown 266 muc 368
25.00/25.12 c iter 483 time 23.7844 not-muc 6289 unknown 265 muc 369
25.00/25.12 c iter 484 time 23.8564 not-muc 6289 unknown 264 muc 370
25.00/25.12 c iter 485 time 23.9414 not-muc 6289 unknown 263 muc 371
25.00/25.12 c iter 486 time 24.0283 not-muc 6289 unknown 262 muc 372
25.00/25.12 c iter 487 time 24.0883 not-muc 6289 unknown 261 muc 373
25.00/25.12 c iter 488 time 24.2053 not-muc 6289 unknown 260 muc 374
25.00/25.12 c iter 489 time 24.2663 not-muc 6289 unknown 259 muc 375
25.00/25.12 c iter 490 time 24.3393 not-muc 6289 unknown 258 muc 376
25.00/25.12 c iter 491 time 24.4133 not-muc 6289 unknown 257 muc 377
25.00/25.12 c iter 492 time 24.4873 not-muc 6289 unknown 256 muc 378
25.00/25.12 c iter 493 time 24.5243 not-muc 6289 unknown 255 muc 379
25.00/25.12 c iter 494 time 24.5953 not-muc 6289 unknown 254 muc 380
25.00/25.12 c iter 495 time 24.8662 not-muc 6289 unknown 253 muc 381
25.00/25.12 c iter 496 time 24.8762 not-muc 6289 unknown 252 muc 382
25.00/25.12 c iter 497 time 24.8852 not-muc 6289 unknown 251 muc 383
25.00/25.12 c iter 498 time 24.8882 not-muc 6289 unknown 250 muc 384
25.00/25.12 c iter 499 time 24.8922 not-muc 6289 unknown 249 muc 385
25.00/25.12 c iter 500 time 24.8962 not-muc 6289 unknown 248 muc 386
25.00/25.12 c iter 501 time 24.9002 not-muc 6289 unknown 247 muc 387
25.00/25.12 c iter 502 time 24.9042 not-muc 6289 unknown 246 muc 388
25.00/25.12 c iter 503 time 24.9082 not-muc 6289 unknown 245 muc 389
25.00/25.12 c iter 504 time 24.9112 not-muc 6289 unknown 244 muc 390
25.00/25.12 c iter 505 time 24.9152 not-muc 6289 unknown 243 muc 391
25.00/25.12 c iter 506 time 24.9192 not-muc 6289 unknown 242 muc 392
25.00/25.12 c iter 507 time 24.9232 not-muc 6289 unknown 241 muc 393
25.00/25.12 c iter 508 time 24.9272 not-muc 6289 unknown 240 muc 394
25.00/25.12 c iter 509 time 24.9312 not-muc 6289 unknown 239 muc 395
25.40/25.54 c iter 510 time 24.9342 not-muc 6289 unknown 238 muc 396
25.40/25.54 c iter 511 time 24.9382 not-muc 6289 unknown 237 muc 397
25.40/25.54 c iter 512 time 24.9422 not-muc 6289 unknown 236 muc 398
25.40/25.54 c iter 513 time 24.9452 not-muc 6289 unknown 235 muc 399
25.40/25.54 c iter 514 time 24.9492 not-muc 6289 unknown 234 muc 400
25.40/25.54 c iter 515 time 24.9522 not-muc 6289 unknown 233 muc 401
25.40/25.54 c iter 516 time 24.9572 not-muc 6289 unknown 232 muc 402
25.40/25.54 c iter 517 time 24.9612 not-muc 6289 unknown 231 muc 403
25.40/25.54 c iter 518 time 24.9642 not-muc 6289 unknown 230 muc 404
25.40/25.54 c iter 519 time 24.9682 not-muc 6289 unknown 229 muc 405
25.40/25.54 c iter 520 time 24.9712 not-muc 6289 unknown 228 muc 406
25.40/25.54 c iter 521 time 24.9742 not-muc 6289 unknown 227 muc 407
25.40/25.54 c iter 522 time 24.9782 not-muc 6289 unknown 226 muc 408
25.40/25.54 c iter 523 time 24.9802 not-muc 6289 unknown 225 muc 409
25.40/25.54 c iter 524 time 24.9832 not-muc 6289 unknown 224 muc 410
25.40/25.54 c iter 525 time 24.9872 not-muc 6289 unknown 223 muc 411
25.40/25.54 c iter 526 time 24.9902 not-muc 6289 unknown 222 muc 412
25.40/25.54 c iter 527 time 24.9922 not-muc 6289 unknown 221 muc 413
25.40/25.54 c iter 528 time 24.9952 not-muc 6289 unknown 220 muc 414
25.40/25.54 c iter 529 time 24.9982 not-muc 6289 unknown 219 muc 415
25.40/25.54 c iter 530 time 25.0012 not-muc 6289 unknown 218 muc 416
25.40/25.54 c iter 531 time 25.0232 not-muc 6289 unknown 217 muc 417
25.40/25.54 c iter 532 time 25.0272 not-muc 6289 unknown 216 muc 418
25.40/25.54 c iter 533 time 25.0312 not-muc 6289 unknown 215 muc 419
25.40/25.54 c iter 534 time 25.0362 not-muc 6289 unknown 214 muc 420
25.40/25.54 c iter 535 time 25.0452 not-muc 6289 unknown 213 muc 421
25.40/25.54 c iter 536 time 25.0482 not-muc 6289 unknown 212 muc 422
25.40/25.54 c iter 537 time 25.0522 not-muc 6289 unknown 211 muc 423
25.40/25.54 c iter 538 time 25.0572 not-muc 6289 unknown 210 muc 424
25.40/25.54 c iter 539 time 25.0612 not-muc 6289 unknown 209 muc 425
25.40/25.54 c iter 540 time 25.0652 not-muc 6289 unknown 208 muc 426
25.40/25.54 c iter 541 time 25.0702 not-muc 6289 unknown 207 muc 427
25.40/25.54 c iter 542 time 25.0752 not-muc 6289 unknown 206 muc 428
25.40/25.54 c iter 543 time 25.0792 not-muc 6289 unknown 205 muc 429
25.40/25.54 c iter 544 time 25.0832 not-muc 6289 unknown 204 muc 430
25.40/25.54 c iter 545 time 25.0872 not-muc 6289 unknown 203 muc 431
25.40/25.54 c iter 546 time 25.0922 not-muc 6289 unknown 202 muc 432
25.40/25.54 c iter 547 time 25.0962 not-muc 6289 unknown 201 muc 433
25.40/25.54 c iter 548 time 25.1002 not-muc 6289 unknown 200 muc 434
25.40/25.54 c iter 549 time 25.1042 not-muc 6289 unknown 199 muc 435
25.40/25.54 c iter 550 time 25.1072 not-muc 6289 unknown 198 muc 436
25.40/25.54 c iter 551 time 25.1112 not-muc 6289 unknown 197 muc 437
25.40/25.54 c iter 552 time 25.2142 not-muc 6290 unknown 196 muc 437
25.40/25.54 c iter 553 time 25.2242 not-muc 6290 unknown 195 muc 438
25.40/25.54 c iter 554 time 25.2282 not-muc 6290 unknown 194 muc 439
25.40/25.54 c iter 555 time 25.2322 not-muc 6290 unknown 193 muc 440
25.40/25.54 c iter 556 time 25.2362 not-muc 6290 unknown 192 muc 441
25.40/25.54 c iter 557 time 25.2412 not-muc 6290 unknown 191 muc 442
25.40/25.54 c iter 558 time 25.2452 not-muc 6290 unknown 190 muc 443
25.40/25.54 c iter 559 time 25.2492 not-muc 6290 unknown 189 muc 444
25.40/25.54 c iter 560 time 25.2532 not-muc 6290 unknown 188 muc 445
25.40/25.54 c iter 561 time 25.2572 not-muc 6290 unknown 187 muc 446
25.40/25.54 c iter 562 time 25.2612 not-muc 6290 unknown 186 muc 447
25.40/25.54 c iter 563 time 25.2652 not-muc 6290 unknown 185 muc 448
25.40/25.54 c iter 564 time 25.2702 not-muc 6290 unknown 184 muc 449
25.40/25.54 c iter 565 time 25.2732 not-muc 6290 unknown 183 muc 450
25.40/25.54 c iter 566 time 25.2772 not-muc 6290 unknown 182 muc 451
25.40/25.54 c iter 567 time 25.2802 not-muc 6290 unknown 181 muc 452
25.40/25.54 c iter 568 time 25.2852 not-muc 6290 unknown 180 muc 453
25.40/25.54 c iter 569 time 25.2902 not-muc 6290 unknown 179 muc 454
25.40/25.54 c iter 570 time 25.2962 not-muc 6290 unknown 178 muc 455
25.40/25.54 c iter 571 time 25.3012 not-muc 6290 unknown 177 muc 456
25.40/25.54 c iter 572 time 25.3072 not-muc 6290 unknown 176 muc 457
25.40/25.54 c iter 573 time 25.3122 not-muc 6290 unknown 175 muc 458
25.40/25.54 c iter 574 time 25.3172 not-muc 6290 unknown 174 muc 459
25.40/25.54 c iter 575 time 25.3222 not-muc 6290 unknown 173 muc 460
25.40/25.54 c iter 576 time 25.3271 not-muc 6290 unknown 172 muc 461
25.40/25.54 c iter 577 time 25.3331 not-muc 6290 unknown 171 muc 462
25.40/25.54 c iter 578 time 25.3371 not-muc 6290 unknown 170 muc 463
25.40/25.54 c iter 579 time 25.3421 not-muc 6290 unknown 169 muc 464
25.40/25.54 c iter 580 time 25.3471 not-muc 6290 unknown 168 muc 465
25.40/25.54 c iter 581 time 25.3521 not-muc 6290 unknown 167 muc 466
25.90/26.00 c iter 582 time 25.3571 not-muc 6290 unknown 166 muc 467
25.90/26.00 c iter 583 time 25.3621 not-muc 6290 unknown 165 muc 468
25.90/26.00 c iter 584 time 25.3661 not-muc 6290 unknown 164 muc 469
25.90/26.00 c iter 585 time 25.3711 not-muc 6290 unknown 163 muc 470
25.90/26.00 c iter 586 time 25.3751 not-muc 6290 unknown 162 muc 471
25.90/26.00 c iter 587 time 25.3801 not-muc 6290 unknown 161 muc 472
25.90/26.00 c iter 588 time 25.3851 not-muc 6290 unknown 160 muc 473
25.90/26.00 c iter 589 time 25.3891 not-muc 6290 unknown 159 muc 474
25.90/26.00 c iter 590 time 25.3931 not-muc 6290 unknown 158 muc 475
25.90/26.00 c iter 591 time 25.3971 not-muc 6290 unknown 157 muc 476
25.90/26.00 c iter 592 time 25.4011 not-muc 6290 unknown 156 muc 477
25.90/26.00 c iter 593 time 25.4051 not-muc 6290 unknown 155 muc 478
25.90/26.00 c iter 594 time 25.4091 not-muc 6290 unknown 154 muc 479
25.90/26.00 c iter 595 time 25.4131 not-muc 6290 unknown 153 muc 480
25.90/26.00 c iter 596 time 25.4171 not-muc 6290 unknown 152 muc 481
25.90/26.00 c iter 597 time 25.4201 not-muc 6290 unknown 151 muc 482
25.90/26.00 c iter 598 time 25.4231 not-muc 6290 unknown 150 muc 483
25.90/26.00 c iter 599 time 25.4271 not-muc 6290 unknown 149 muc 484
25.90/26.00 c iter 600 time 25.4301 not-muc 6290 unknown 148 muc 485
25.90/26.00 c iter 601 time 25.4341 not-muc 6290 unknown 147 muc 486
25.90/26.00 c iter 602 time 25.4371 not-muc 6290 unknown 146 muc 487
25.90/26.00 c iter 603 time 25.4391 not-muc 6290 unknown 145 muc 488
25.90/26.00 c iter 604 time 25.4441 not-muc 6290 unknown 144 muc 489
25.90/26.00 c iter 605 time 25.4481 not-muc 6290 unknown 143 muc 490
25.90/26.00 c iter 606 time 25.4521 not-muc 6290 unknown 142 muc 491
25.90/26.00 c iter 607 time 25.4571 not-muc 6290 unknown 141 muc 492
25.90/26.00 c iter 608 time 25.4601 not-muc 6290 unknown 140 muc 493
25.90/26.00 c iter 609 time 25.4641 not-muc 6290 unknown 139 muc 494
25.90/26.00 c iter 610 time 25.4701 not-muc 6290 unknown 138 muc 495
25.90/26.00 c iter 611 time 25.4741 not-muc 6290 unknown 137 muc 496
25.90/26.00 c iter 612 time 25.4781 not-muc 6290 unknown 136 muc 497
25.90/26.00 c iter 613 time 25.4821 not-muc 6290 unknown 135 muc 498
25.90/26.00 c iter 614 time 25.4871 not-muc 6290 unknown 134 muc 499
25.90/26.00 c iter 615 time 25.4921 not-muc 6290 unknown 133 muc 500
25.90/26.00 c iter 616 time 25.4961 not-muc 6290 unknown 132 muc 501
25.90/26.00 c iter 617 time 25.5001 not-muc 6290 unknown 131 muc 502
25.90/26.00 c iter 618 time 25.6111 not-muc 6291 unknown 130 muc 502
25.90/26.00 c iter 619 time 25.6201 not-muc 6291 unknown 129 muc 503
25.90/26.00 c iter 620 time 25.6231 not-muc 6291 unknown 128 muc 504
25.90/26.00 c iter 621 time 25.6261 not-muc 6291 unknown 127 muc 505
25.90/26.00 c iter 622 time 25.6311 not-muc 6291 unknown 126 muc 506
25.90/26.00 c iter 623 time 25.6331 not-muc 6291 unknown 125 muc 507
25.90/26.00 c iter 624 time 25.6361 not-muc 6291 unknown 124 muc 508
25.90/26.00 c iter 625 time 25.6401 not-muc 6291 unknown 123 muc 509
25.90/26.00 c iter 626 time 25.6431 not-muc 6291 unknown 122 muc 510
25.90/26.00 c iter 627 time 25.6461 not-muc 6291 unknown 121 muc 511
25.90/26.00 c iter 628 time 25.6501 not-muc 6291 unknown 120 muc 512
25.90/26.00 c iter 629 time 25.6521 not-muc 6291 unknown 119 muc 513
25.90/26.00 c iter 630 time 25.6551 not-muc 6291 unknown 118 muc 514
25.90/26.00 c iter 631 time 25.7301 not-muc 6292 unknown 117 muc 514
25.90/26.00 c iter 632 time 25.7391 not-muc 6292 unknown 116 muc 515
25.90/26.00 c iter 633 time 25.7441 not-muc 6292 unknown 115 muc 516
25.90/26.00 c iter 634 time 25.7471 not-muc 6292 unknown 114 muc 517
25.90/26.00 c iter 635 time 25.7511 not-muc 6292 unknown 113 muc 518
25.90/26.00 c iter 636 time 25.7541 not-muc 6292 unknown 112 muc 519
25.90/26.00 c iter 637 time 25.7571 not-muc 6292 unknown 111 muc 520
25.90/26.00 c iter 638 time 25.7601 not-muc 6292 unknown 110 muc 521
25.90/26.00 c iter 639 time 25.7621 not-muc 6292 unknown 109 muc 522
25.90/26.00 c iter 640 time 25.7651 not-muc 6292 unknown 108 muc 523
25.90/26.00 c iter 641 time 25.7691 not-muc 6292 unknown 107 muc 524
25.90/26.00 c iter 642 time 25.7731 not-muc 6292 unknown 106 muc 525
25.90/26.00 c iter 643 time 25.7771 not-muc 6292 unknown 105 muc 526
25.90/26.00 c iter 644 time 25.7811 not-muc 6292 unknown 104 muc 527
25.90/26.00 c iter 645 time 25.7861 not-muc 6292 unknown 103 muc 528
25.90/26.00 c iter 646 time 25.7901 not-muc 6292 unknown 102 muc 529
25.90/26.00 c iter 647 time 25.7941 not-muc 6292 unknown 101 muc 530
25.90/26.00 c iter 648 time 25.7981 not-muc 6292 unknown 100 muc 531
25.90/26.00 c iter 649 time 25.8021 not-muc 6292 unknown 99 muc 532
25.90/26.00 c iter 650 time 25.8061 not-muc 6292 unknown 98 muc 533
25.90/26.00 c iter 651 time 25.8111 not-muc 6292 unknown 97 muc 534
25.90/26.00 c iter 652 time 25.8151 not-muc 6292 unknown 96 muc 535
25.90/26.00 c iter 653 time 25.8191 not-muc 6292 unknown 95 muc 536
26.10/26.27 c iter 654 time 25.8231 not-muc 6292 unknown 94 muc 537
26.10/26.27 c iter 655 time 25.8271 not-muc 6292 unknown 93 muc 538
26.10/26.27 c iter 656 time 25.8311 not-muc 6292 unknown 92 muc 539
26.10/26.27 c iter 657 time 25.8351 not-muc 6292 unknown 91 muc 540
26.10/26.27 c iter 658 time 25.8381 not-muc 6292 unknown 90 muc 541
26.10/26.27 c iter 659 time 25.8421 not-muc 6292 unknown 89 muc 542
26.10/26.27 c iter 660 time 25.8461 not-muc 6292 unknown 88 muc 543
26.10/26.27 c iter 661 time 25.8491 not-muc 6292 unknown 87 muc 544
26.10/26.27 c iter 662 time 25.8521 not-muc 6292 unknown 86 muc 545
26.10/26.27 c iter 663 time 25.8561 not-muc 6292 unknown 85 muc 546
26.10/26.27 c iter 664 time 25.8591 not-muc 6292 unknown 84 muc 547
26.10/26.27 c iter 665 time 25.8621 not-muc 6292 unknown 83 muc 548
26.10/26.27 c iter 666 time 25.8651 not-muc 6292 unknown 82 muc 549
26.10/26.27 c iter 667 time 25.8681 not-muc 6292 unknown 81 muc 550
26.10/26.27 c iter 668 time 25.8711 not-muc 6292 unknown 80 muc 551
26.10/26.27 c iter 669 time 25.8731 not-muc 6292 unknown 79 muc 552
26.10/26.27 c iter 670 time 25.8771 not-muc 6292 unknown 78 muc 553
26.10/26.27 c iter 671 time 25.8791 not-muc 6292 unknown 77 muc 554
26.10/26.27 c iter 672 time 25.8811 not-muc 6292 unknown 76 muc 555
26.10/26.27 c iter 673 time 25.8831 not-muc 6292 unknown 75 muc 556
26.10/26.27 c iter 674 time 25.8861 not-muc 6292 unknown 74 muc 557
26.10/26.27 c iter 675 time 25.8891 not-muc 6292 unknown 73 muc 558
26.10/26.27 c iter 676 time 25.8921 not-muc 6292 unknown 72 muc 559
26.10/26.27 c iter 677 time 25.8951 not-muc 6292 unknown 71 muc 560
26.10/26.27 c iter 678 time 25.8981 not-muc 6292 unknown 70 muc 561
26.10/26.27 c iter 679 time 25.9031 not-muc 6292 unknown 69 muc 562
26.10/26.27 c iter 680 time 25.9061 not-muc 6292 unknown 68 muc 563
26.10/26.27 c iter 681 time 25.9091 not-muc 6292 unknown 67 muc 564
26.10/26.27 c iter 682 time 25.9121 not-muc 6292 unknown 66 muc 565
26.10/26.27 c iter 683 time 25.9151 not-muc 6292 unknown 65 muc 566
26.10/26.27 c iter 684 time 25.9181 not-muc 6292 unknown 64 muc 567
26.10/26.27 c iter 685 time 25.9211 not-muc 6292 unknown 63 muc 568
26.10/26.27 c iter 686 time 25.9251 not-muc 6292 unknown 62 muc 569
26.10/26.27 c iter 687 time 25.9291 not-muc 6292 unknown 61 muc 570
26.10/26.27 c iter 688 time 25.9331 not-muc 6292 unknown 60 muc 571
26.10/26.27 c iter 689 time 25.9361 not-muc 6292 unknown 59 muc 572
26.10/26.27 c iter 690 time 25.9391 not-muc 6292 unknown 58 muc 573
26.10/26.27 c iter 691 time 25.9431 not-muc 6292 unknown 57 muc 574
26.10/26.27 c iter 692 time 25.9471 not-muc 6292 unknown 56 muc 575
26.10/26.27 c iter 693 time 25.9501 not-muc 6292 unknown 55 muc 576
26.10/26.27 c iter 694 time 25.9531 not-muc 6292 unknown 54 muc 577
26.10/26.27 c iter 695 time 25.9561 not-muc 6292 unknown 53 muc 578
26.10/26.27 c iter 696 time 25.9591 not-muc 6292 unknown 52 muc 579
26.10/26.27 c iter 697 time 25.9631 not-muc 6292 unknown 51 muc 580
26.10/26.27 c iter 698 time 25.9661 not-muc 6292 unknown 50 muc 581
26.10/26.27 c iter 699 time 25.9701 not-muc 6292 unknown 49 muc 582
26.10/26.27 c iter 700 time 25.9731 not-muc 6292 unknown 48 muc 583
26.10/26.27 c iter 701 time 25.9761 not-muc 6292 unknown 47 muc 584
26.10/26.27 c iter 702 time 25.9791 not-muc 6292 unknown 46 muc 585
26.10/26.27 c iter 703 time 25.983 not-muc 6292 unknown 45 muc 586
26.10/26.27 c iter 704 time 25.987 not-muc 6292 unknown 44 muc 587
26.10/26.27 c iter 705 time 25.992 not-muc 6292 unknown 43 muc 588
26.10/26.27 c iter 706 time 25.995 not-muc 6292 unknown 42 muc 589
26.10/26.27 c iter 707 time 25.999 not-muc 6292 unknown 41 muc 590
26.10/26.27 c iter 708 time 26.002 not-muc 6292 unknown 40 muc 591
26.10/26.27 c iter 709 time 26.005 not-muc 6292 unknown 39 muc 592
26.10/26.27 c iter 710 time 26.008 not-muc 6292 unknown 38 muc 593
26.10/26.27 c iter 711 time 26.011 not-muc 6292 unknown 37 muc 594
26.10/26.27 c iter 712 time 26.015 not-muc 6292 unknown 36 muc 595
26.10/26.27 c iter 713 time 26.029 not-muc 6292 unknown 35 muc 596
26.10/26.27 c iter 714 time 26.032 not-muc 6292 unknown 34 muc 597
26.10/26.27 c iter 715 time 26.036 not-muc 6292 unknown 33 muc 598
26.10/26.27 c iter 716 time 26.041 not-muc 6292 unknown 32 muc 599
26.10/26.27 c iter 717 time 26.045 not-muc 6292 unknown 31 muc 600
26.10/26.27 c iter 718 time 26.049 not-muc 6292 unknown 30 muc 601
26.10/26.27 c iter 719 time 26.053 not-muc 6292 unknown 29 muc 602
26.10/26.27 c iter 720 time 26.056 not-muc 6292 unknown 28 muc 603
26.10/26.27 c iter 721 time 26.059 not-muc 6292 unknown 27 muc 604
26.10/26.27 c iter 722 time 26.063 not-muc 6292 unknown 26 muc 605
26.10/26.27 c iter 723 time 26.066 not-muc 6292 unknown 25 muc 606
26.10/26.27 c iter 724 time 26.069 not-muc 6292 unknown 24 muc 607
26.10/26.27 c iter 725 time 26.073 not-muc 6292 unknown 23 muc 608
26.10/26.27 c iter 726 time 26.076 not-muc 6292 unknown 22 muc 609
26.10/26.27 c iter 727 time 26.08 not-muc 6292 unknown 21 muc 610
26.30/26.50 c iter 728 time 26.084 not-muc 6292 unknown 20 muc 611
26.30/26.50 c iter 729 time 26.087 not-muc 6292 unknown 19 muc 612
26.30/26.50 c iter 730 time 26.09 not-muc 6292 unknown 18 muc 613
26.30/26.50 c iter 731 time 26.093 not-muc 6292 unknown 17 muc 614
26.30/26.50 c iter 732 time 26.096 not-muc 6292 unknown 16 muc 615
26.30/26.50 c iter 733 time 26.099 not-muc 6292 unknown 15 muc 616
26.30/26.50 c iter 734 time 26.102 not-muc 6292 unknown 14 muc 617
26.30/26.50 c iter 735 time 26.105 not-muc 6292 unknown 13 muc 618
26.30/26.50 c iter 736 time 26.108 not-muc 6292 unknown 12 muc 619
26.30/26.50 c iter 737 time 26.11 not-muc 6292 unknown 11 muc 620
26.30/26.50 c iter 738 time 26.113 not-muc 6292 unknown 10 muc 621
26.30/26.50 c iter 739 time 26.116 not-muc 6292 unknown 9 muc 622
26.30/26.50 c iter 740 time 26.118 not-muc 6292 unknown 8 muc 623
26.30/26.50 c iter 741 time 26.12 not-muc 6292 unknown 7 muc 624
26.30/26.50 c iter 742 time 26.123 not-muc 6292 unknown 6 muc 625
26.30/26.50 c iter 743 time 26.126 not-muc 6292 unknown 5 muc 626
26.30/26.50 c iter 744 time 26.128 not-muc 6292 unknown 4 muc 627
26.30/26.50 c iter 745 time 26.13 not-muc 6292 unknown 3 muc 628
26.30/26.50 c iter 746 time 26.134 not-muc 6292 unknown 2 muc 629
26.30/26.50 c iter 747 time 26.216 not-muc 6293 unknown 1 muc 629
26.30/26.50 c iter 748 time 26.306 not-muc 6294 unknown 0 muc 629
26.30/26.50 c final iter 748 time 26.306 not-muc 6294 unknown 0 muc 629
26.30/26.50 v 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 660 661 662 663 664 665 666 667 668 669 670 671 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 841 842 843 844 845 847 848 849 850 851 852 855 856 857 858 860 861 862 863 865 866 867 869 870 872 874 879 884 885 889 890 897 898 902 903 904 909 910 911 912 913 923 924 932 933 934 938 941 944 945 949 952 955 956 957 2608 2609 2611 2612 2614 2615 2617 2618 2620 2621 2623 2624 2626 2627 2629 2630 2632 2633 2635 2636 2668 2669 2671 2672 2674 2675 2677 2678 2680 2681 2683 2684 2686 2687 2689 2690 2692 2693 2695 2696 2733 2736 2739 2742 2745 2748 2751 2754 3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048 3049 3050 3051 3052 3053 3054 3055 3056 3057 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3126 3132 3178 3179 3181 3182 3184 3185 3187 3188 3190 3191 3193 3194 3196 3197 3199 3200 3202 3203 3205 3206 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3268 3269 3271 3272 3274 3275 3277 3278 3280 3281 3283 3284 3286 3287 3289 3290 3292 3293 3295 3296 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386 3387 3448 3449 3451 3452 3454 3455 3457 3458 3460 3461 3463 3464 3466 3467 3469 3470 3472 3473 3475 3476 3478 3479 3481 3482 3484 3485 3487 3488 3490 3491 3493 3494 3496 3497 3499 3500 3502 3503 3505 3506 3603 3606 3609 3612 3615 3618 3621 3624 4273 4295 4308 4309 4310 4311 4312 4313 4314 4315 4417 4418 4419 4420 4421 4422 4423 4424 4425 4426 4427 4439 4440 4441 4442 4443 4444 4445 4446 4447 4448 4449 4452 4454 4482 4483 4484 4485 4486 4487 4488 4489 4490 4491 4492 4493 4515 4538 4539 4540 4541 4542 4543 4544 4545 4546 4547 4548 4581 4592 4627 4628 4629 4630 4631 4632 4633 4634 0
26.30/26.50 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-3494561-1307803584/watcher-3494561-1307803584 -o /tmp/evaluation-result-3494561-1307803584/solver-3494561-1307803584 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494561-1307803584.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.05 3.79 2.72 4/184 15804
/proc/meminfo: memFree=21760456/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=23292 CPUtime=0 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 575 0 0 0 0 0 0 0 25 0 1 0 891957988 23851008 514 33554432000 4194304 4337479 140733642474656 18446744073709551615 4221744 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 5823 514 224 35 0 2446 0
[startup+0.0894261 s]
/proc/loadavg: 4.05 3.79 2.72 4/184 15804
/proc/meminfo: memFree=21760456/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=20456 CPUtime=0.08 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 1090 0 0 0 8 0 0 0 25 0 1 0 891957988 20946944 981 33554432000 4194304 4337479 140733642474656 18446744073709551615 4303471 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 5114 981 243 35 0 1737 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20456
[startup+0.100431 s]
/proc/loadavg: 4.05 3.79 2.72 4/184 15804
/proc/meminfo: memFree=21760456/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=20456 CPUtime=0.09 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 1133 0 0 0 9 0 0 0 25 0 1 0 891957988 20946944 1024 33554432000 4194304 4337479 140733642474656 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 5114 1024 243 35 0 1737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20456
[startup+0.300397 s]
/proc/loadavg: 4.05 3.79 2.72 4/184 15804
/proc/meminfo: memFree=21760456/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=22240 CPUtime=0.29 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 1812 0 0 0 29 0 0 0 25 0 1 0 891957988 22773760 1695 33554432000 4194304 4337479 140733642474656 18446744073709551615 4310462 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 5560 1695 264 35 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22240
[startup+0.70033 s]
/proc/loadavg: 4.05 3.79 2.72 4/184 15804
/proc/meminfo: memFree=21760456/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=27000 CPUtime=0.69 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 3122 0 0 0 69 0 0 0 25 0 1 0 891957988 27648000 2952 33554432000 4194304 4337479 140733642474656 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 6750 2952 264 35 0 3373 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27000
[startup+1.50119 s]
/proc/loadavg: 4.04 3.79 2.72 5/185 15805
/proc/meminfo: memFree=21741252/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=36800 CPUtime=1.49 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 5671 0 0 0 149 0 0 0 25 0 1 0 891957988 37683200 5461 33554432000 4194304 4337479 140733642474656 18446744073709551615 4303707 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 9200 5461 264 35 0 5823 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36800
[startup+3.10086 s]
/proc/loadavg: 4.04 3.79 2.72 5/185 15805
/proc/meminfo: memFree=21720540/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=56216 CPUtime=3.09 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 10270 0 0 0 308 1 0 0 25 0 1 0 891957988 57565184 10009 33554432000 4194304 4337479 140733642474656 18446744073709551615 4280208 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/15804/statm: 14054 10009 264 35 0 10677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56216
[startup+6.30032 s]
/proc/loadavg: 4.04 3.79 2.73 5/185 15805
/proc/meminfo: memFree=21657184/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=94412 CPUtime=6.27 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 19270 0 0 0 625 2 0 0 25 0 1 0 891957988 96677888 18996 33554432000 4194304 4337479 140733642474656 18446744073709551615 4303471 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/15804/statm: 23603 18996 264 35 0 20226 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 94412
[startup+12.7002 s]
/proc/loadavg: 4.03 3.80 2.74 5/185 15805
/proc/meminfo: memFree=21559824/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=162136 CPUtime=12.63 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 34742 0 0 0 1259 4 0 0 25 0 1 0 891957988 166027264 34468 33554432000 4194304 4337479 140733642474656 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/15804/statm: 40534 34468 265 35 0 37157 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 162136
[startup+25.5011 s]
/proc/loadavg: 4.03 3.80 2.75 5/185 15805
/proc/meminfo: memFree=21441276/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=214964 CPUtime=25.4 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 47726 0 0 0 2531 9 0 0 25 0 1 0 891957988 220123136 47452 33554432000 4194304 4337479 140733642474656 18446744073709551615 4262927 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 53741 47452 265 35 0 50364 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 214964
Solver just ended. Dumping a history of the last processes samples
[startup+26.301 s]
/proc/loadavg: 4.03 3.80 2.76 5/185 15805
/proc/meminfo: memFree=21436192/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=214964 CPUtime=26.2 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202496 47762 0 0 0 2611 9 0 0 25 0 1 0 891957988 220123136 47488 33554432000 4194304 4337479 140733642474656 18446744073709551615 210646814911 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15804/statm: 53741 47488 265 35 0 50364 0
Current children cumulated CPU time (s) 26.2
Current children cumulated vsize (KiB) 214964
[startup+26.501 s]
/proc/loadavg: 4.03 3.80 2.76 5/185 15805
/proc/meminfo: memFree=21436192/32951132 swapFree=67061148/67111528
[pid=15804] ppid=15802 vsize=0 CPUtime=26.39 cores=4,6
/proc/15804/stat : 15804 (hmuc) R 15802 15804 831 0 -1 4202500 47775 0 0 0 2630 9 0 0 25 0 1 0 891957988 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 4 0 0 0
/proc/15804/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 26.5061
CPU time (s): 26.406
CPU user time (s): 26.306
CPU system time (s): 0.099984
CPU usage (%): 99.6224
Max. virtual memory (cumulated for all children) (KiB): 214964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.306
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47775
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= 235
runsolver used 0.044993 second user time and 0.108983 second system time
The end
Begin job on node129 at 2011-06-11 16:46:24
IDJOB=3494561
IDBENCH=83444
IDSOLVER=1985
FILE ID=node129/3494561-1307803584
RUNJOBID= node129-1307802853-15574
PBS_JOBID= 13551019
Free space on /tmp= 74056 MiB
SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E13N10.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494561-1307803584/watcher-3494561-1307803584 -o /tmp/evaluation-result-3494561-1307803584/solver-3494561-1307803584 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494561-1307803584.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 24b68353f542825626827e24a24f7240
RANDOM SEED=1634126542
node129.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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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.82
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.831
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.74
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.831
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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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: 32951132 kB
MemFree: 21760876 kB
Buffers: 424592 kB
Cached: 3198388 kB
SwapCached: 13132 kB
Active: 8373664 kB
Inactive: 2542424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 21760876 kB
SwapTotal: 67111528 kB
SwapFree: 67061148 kB
Dirty: 1176 kB
Writeback: 0 kB
AnonPages: 7289596 kB
Mapped: 9564 kB
Slab: 195404 kB
PageTables: 19728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 8005136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74056 MiB
End job on node129 at 2011-06-11 16:46:50