3.09/3.12 c WARNING: for repeatability, setting FPU to use double precision
3.09/3.12 c iter 1 time 0.98385 not-muc 819067 unknown 763 muc 0
3.09/3.12 c iter 2 time 1.47278 not-muc 819067 unknown 762 muc 1
3.09/3.12 c iter 3 time 1.49377 not-muc 819067 unknown 761 muc 2
3.09/3.12 c iter 4 time 1.51577 not-muc 819067 unknown 760 muc 3
3.09/3.12 c iter 5 time 1.53777 not-muc 819067 unknown 759 muc 4
3.09/3.12 c iter 6 time 1.55976 not-muc 819067 unknown 758 muc 5
3.09/3.12 c iter 7 time 1.58176 not-muc 819067 unknown 757 muc 6
3.09/3.12 c iter 8 time 1.60376 not-muc 819067 unknown 756 muc 7
3.09/3.12 c iter 9 time 1.62475 not-muc 819067 unknown 755 muc 8
3.09/3.12 c iter 10 time 1.64775 not-muc 819067 unknown 754 muc 9
3.09/3.12 c iter 11 time 1.66975 not-muc 819067 unknown 753 muc 10
3.09/3.12 c iter 12 time 1.69174 not-muc 819067 unknown 752 muc 11
3.09/3.12 c iter 13 time 1.71374 not-muc 819067 unknown 751 muc 12
3.09/3.12 c iter 14 time 1.73474 not-muc 819067 unknown 750 muc 13
3.09/3.12 c iter 15 time 1.75673 not-muc 819067 unknown 749 muc 14
3.09/3.12 c iter 16 time 1.77873 not-muc 819067 unknown 748 muc 15
3.09/3.12 c iter 17 time 1.80073 not-muc 819067 unknown 747 muc 16
3.09/3.12 c iter 18 time 1.82272 not-muc 819067 unknown 746 muc 17
3.09/3.12 c iter 19 time 1.84472 not-muc 819067 unknown 745 muc 18
3.09/3.12 c iter 20 time 1.86672 not-muc 819067 unknown 744 muc 19
3.09/3.12 c iter 21 time 1.88871 not-muc 819067 unknown 743 muc 20
3.09/3.12 c iter 22 time 1.91071 not-muc 819067 unknown 742 muc 21
3.09/3.12 c iter 23 time 1.93271 not-muc 819067 unknown 741 muc 22
3.09/3.12 c iter 24 time 1.9547 not-muc 819067 unknown 740 muc 23
3.09/3.12 c iter 25 time 1.9767 not-muc 819067 unknown 739 muc 24
3.09/3.12 c iter 26 time 1.9987 not-muc 819067 unknown 738 muc 25
3.09/3.12 c iter 27 time 2.02069 not-muc 819067 unknown 737 muc 26
3.09/3.12 c iter 28 time 2.04269 not-muc 819067 unknown 736 muc 27
3.09/3.12 c iter 29 time 2.06569 not-muc 819067 unknown 735 muc 28
3.09/3.12 c iter 30 time 2.08768 not-muc 819067 unknown 734 muc 29
3.09/3.12 c iter 31 time 2.10968 not-muc 819067 unknown 733 muc 30
3.09/3.12 c iter 32 time 2.13167 not-muc 819067 unknown 732 muc 31
3.09/3.12 c iter 33 time 2.15367 not-muc 819067 unknown 731 muc 32
3.09/3.12 c iter 34 time 2.17567 not-muc 819067 unknown 730 muc 33
3.09/3.12 c iter 35 time 2.19867 not-muc 819067 unknown 729 muc 34
3.09/3.12 c iter 36 time 2.22066 not-muc 819067 unknown 728 muc 35
3.09/3.12 c iter 37 time 2.24266 not-muc 819067 unknown 727 muc 36
3.09/3.12 c iter 38 time 2.26465 not-muc 819067 unknown 726 muc 37
3.09/3.12 c iter 39 time 2.28765 not-muc 819067 unknown 725 muc 38
3.09/3.12 c iter 40 time 2.30965 not-muc 819067 unknown 724 muc 39
3.09/3.12 c iter 41 time 2.33164 not-muc 819067 unknown 723 muc 40
3.09/3.12 c iter 42 time 2.35364 not-muc 819067 unknown 722 muc 41
3.09/3.12 c iter 43 time 2.37664 not-muc 819067 unknown 721 muc 42
3.09/3.12 c iter 44 time 2.39864 not-muc 819067 unknown 720 muc 43
3.09/3.12 c iter 45 time 2.42063 not-muc 819067 unknown 719 muc 44
3.09/3.12 c iter 46 time 2.44363 not-muc 819067 unknown 718 muc 45
3.09/3.12 c iter 47 time 2.46563 not-muc 819067 unknown 717 muc 46
3.09/3.12 c iter 48 time 2.48862 not-muc 819067 unknown 716 muc 47
3.09/3.12 c iter 49 time 2.51062 not-muc 819067 unknown 715 muc 48
3.09/3.12 c iter 50 time 2.53261 not-muc 819067 unknown 714 muc 49
3.09/3.12 c iter 51 time 2.55561 not-muc 819067 unknown 713 muc 50
3.09/3.12 c iter 52 time 2.57761 not-muc 819067 unknown 712 muc 51
3.09/3.12 c iter 53 time 2.6006 not-muc 819067 unknown 711 muc 52
3.09/3.12 c iter 54 time 2.6226 not-muc 819067 unknown 710 muc 53
3.09/3.12 c iter 55 time 2.6456 not-muc 819067 unknown 709 muc 54
3.09/3.12 c iter 56 time 2.66759 not-muc 819067 unknown 708 muc 55
3.09/3.12 c iter 57 time 2.68959 not-muc 819067 unknown 707 muc 56
3.09/3.12 c iter 58 time 2.71259 not-muc 819067 unknown 706 muc 57
3.09/3.12 c iter 59 time 2.73458 not-muc 819067 unknown 705 muc 58
3.09/3.12 c iter 60 time 2.75758 not-muc 819067 unknown 704 muc 59
3.09/3.12 c iter 61 time 2.77958 not-muc 819067 unknown 703 muc 60
3.09/3.12 c iter 62 time 2.80257 not-muc 819067 unknown 702 muc 61
3.09/3.12 c iter 63 time 2.82557 not-muc 819067 unknown 701 muc 62
3.09/3.12 c iter 64 time 2.84757 not-muc 819067 unknown 700 muc 63
3.09/3.12 c iter 65 time 2.87056 not-muc 819067 unknown 699 muc 64
3.09/3.12 c iter 66 time 2.89256 not-muc 819067 unknown 698 muc 65
3.09/3.12 c iter 67 time 2.91556 not-muc 819067 unknown 697 muc 66
3.09/3.12 c iter 68 time 2.93855 not-muc 819067 unknown 696 muc 67
3.09/3.12 c iter 69 time 2.96055 not-muc 819067 unknown 695 muc 68
3.09/3.12 c iter 70 time 2.99754 not-muc 819067 unknown 694 muc 69
3.09/3.12 c iter 71 time 3.02354 not-muc 819067 unknown 693 muc 70
3.09/3.12 c iter 72 time 3.04954 not-muc 819067 unknown 692 muc 71
4.79/4.81 c iter 73 time 3.07553 not-muc 819067 unknown 691 muc 72
4.79/4.81 c iter 74 time 3.10153 not-muc 819067 unknown 690 muc 73
4.79/4.81 c iter 75 time 3.12752 not-muc 819067 unknown 689 muc 74
4.79/4.81 c iter 76 time 3.15352 not-muc 819067 unknown 688 muc 75
4.79/4.81 c iter 77 time 3.17952 not-muc 819067 unknown 687 muc 76
4.79/4.81 c iter 78 time 3.20551 not-muc 819067 unknown 686 muc 77
4.79/4.81 c iter 79 time 3.23151 not-muc 819067 unknown 685 muc 78
4.79/4.81 c iter 80 time 3.2575 not-muc 819067 unknown 684 muc 79
4.79/4.81 c iter 81 time 3.2835 not-muc 819067 unknown 683 muc 80
4.79/4.81 c iter 82 time 3.3095 not-muc 819067 unknown 682 muc 81
4.79/4.81 c iter 83 time 3.33549 not-muc 819067 unknown 681 muc 82
4.79/4.81 c iter 84 time 3.36149 not-muc 819067 unknown 680 muc 83
4.79/4.81 c iter 85 time 3.38748 not-muc 819067 unknown 679 muc 84
4.79/4.81 c iter 86 time 3.41348 not-muc 819067 unknown 678 muc 85
4.79/4.81 c iter 87 time 3.43948 not-muc 819067 unknown 677 muc 86
4.79/4.81 c iter 88 time 3.46547 not-muc 819067 unknown 676 muc 87
4.79/4.81 c iter 89 time 3.49147 not-muc 819067 unknown 675 muc 88
4.79/4.81 c iter 90 time 3.51747 not-muc 819067 unknown 674 muc 89
4.79/4.81 c iter 91 time 3.54346 not-muc 819067 unknown 673 muc 90
4.79/4.81 c iter 92 time 3.56946 not-muc 819067 unknown 672 muc 91
4.79/4.81 c iter 93 time 3.59545 not-muc 819067 unknown 671 muc 92
4.79/4.81 c iter 94 time 3.62145 not-muc 819067 unknown 670 muc 93
4.79/4.81 c iter 95 time 3.64745 not-muc 819067 unknown 669 muc 94
4.79/4.81 c iter 96 time 3.67344 not-muc 819067 unknown 668 muc 95
4.79/4.81 c iter 97 time 3.69944 not-muc 819067 unknown 667 muc 96
4.79/4.81 c iter 98 time 3.72543 not-muc 819067 unknown 666 muc 97
4.79/4.81 c iter 99 time 3.75143 not-muc 819067 unknown 665 muc 98
4.79/4.81 c iter 100 time 3.79642 not-muc 819067 unknown 664 muc 99
4.79/4.81 c iter 101 time 3.82242 not-muc 819067 unknown 663 muc 100
4.79/4.81 c iter 102 time 3.84442 not-muc 819067 unknown 662 muc 101
4.79/4.81 c iter 103 time 3.86641 not-muc 819067 unknown 661 muc 102
4.79/4.81 c iter 104 time 3.88841 not-muc 819067 unknown 660 muc 103
4.79/4.81 c iter 105 time 3.9104 not-muc 819067 unknown 659 muc 104
4.79/4.81 c iter 106 time 3.9324 not-muc 819067 unknown 658 muc 105
4.79/4.81 c iter 107 time 3.9544 not-muc 819067 unknown 657 muc 106
4.79/4.81 c iter 108 time 3.9764 not-muc 819067 unknown 656 muc 107
4.79/4.81 c iter 109 time 3.99839 not-muc 819067 unknown 655 muc 108
4.79/4.81 c iter 110 time 4.02039 not-muc 819067 unknown 654 muc 109
4.79/4.81 c iter 111 time 4.04239 not-muc 819067 unknown 653 muc 110
4.79/4.81 c iter 112 time 4.06438 not-muc 819067 unknown 652 muc 111
4.79/4.81 c iter 113 time 4.08638 not-muc 819067 unknown 651 muc 112
4.79/4.81 c iter 114 time 4.10837 not-muc 819067 unknown 650 muc 113
4.79/4.81 c iter 115 time 4.13037 not-muc 819067 unknown 649 muc 114
4.79/4.81 c iter 116 time 4.15337 not-muc 819067 unknown 648 muc 115
4.79/4.81 c iter 117 time 4.17537 not-muc 819067 unknown 647 muc 116
4.79/4.81 c iter 118 time 4.19736 not-muc 819067 unknown 646 muc 117
4.79/4.81 c iter 119 time 4.21936 not-muc 819067 unknown 645 muc 118
4.79/4.81 c iter 120 time 4.24136 not-muc 819067 unknown 644 muc 119
4.79/4.81 c iter 121 time 4.26335 not-muc 819067 unknown 643 muc 120
4.79/4.81 c iter 122 time 4.28635 not-muc 819067 unknown 642 muc 121
4.79/4.81 c iter 123 time 4.30835 not-muc 819067 unknown 641 muc 122
4.79/4.81 c iter 124 time 4.33034 not-muc 819067 unknown 640 muc 123
4.79/4.81 c iter 125 time 4.35334 not-muc 819067 unknown 639 muc 124
4.79/4.81 c iter 126 time 4.37533 not-muc 819067 unknown 638 muc 125
4.79/4.81 c iter 127 time 4.39733 not-muc 819067 unknown 637 muc 126
4.79/4.81 c iter 128 time 4.41933 not-muc 819067 unknown 636 muc 127
4.79/4.81 c iter 129 time 4.44332 not-muc 819067 unknown 635 muc 128
4.79/4.81 c iter 130 time 4.46632 not-muc 819067 unknown 634 muc 129
4.79/4.81 c iter 131 time 4.48832 not-muc 819067 unknown 633 muc 130
4.79/4.81 c iter 132 time 4.51031 not-muc 819067 unknown 632 muc 131
4.79/4.81 c iter 133 time 4.53331 not-muc 819067 unknown 631 muc 132
4.79/4.81 c iter 134 time 4.55531 not-muc 819067 unknown 630 muc 133
4.79/4.81 c iter 135 time 4.5783 not-muc 819067 unknown 629 muc 134
4.79/4.81 c iter 136 time 4.6003 not-muc 819067 unknown 628 muc 135
4.79/4.81 c iter 137 time 4.6223 not-muc 819067 unknown 627 muc 136
4.79/4.81 c iter 138 time 4.64529 not-muc 819067 unknown 626 muc 137
4.79/4.81 c iter 139 time 4.66729 not-muc 819067 unknown 625 muc 138
4.79/4.81 c iter 140 time 4.69029 not-muc 819067 unknown 624 muc 139
4.79/4.81 c iter 141 time 4.71228 not-muc 819067 unknown 623 muc 140
4.79/4.81 c iter 142 time 4.73528 not-muc 819067 unknown 622 muc 141
6.39/6.42 c iter 143 time 4.75728 not-muc 819067 unknown 621 muc 142
6.39/6.42 c iter 144 time 4.77927 not-muc 819067 unknown 620 muc 143
6.39/6.42 c iter 145 time 4.80227 not-muc 819067 unknown 619 muc 144
6.39/6.42 c iter 146 time 4.82427 not-muc 819067 unknown 618 muc 145
6.39/6.42 c iter 147 time 4.84726 not-muc 819067 unknown 617 muc 146
6.39/6.42 c iter 148 time 4.86926 not-muc 819067 unknown 616 muc 147
6.39/6.42 c iter 149 time 4.89226 not-muc 819067 unknown 615 muc 148
6.39/6.42 c iter 150 time 4.91525 not-muc 819067 unknown 614 muc 149
6.39/6.42 c iter 151 time 4.93725 not-muc 819067 unknown 613 muc 150
6.39/6.42 c iter 152 time 4.96025 not-muc 819067 unknown 612 muc 151
6.39/6.42 c iter 153 time 4.98224 not-muc 819067 unknown 611 muc 152
6.39/6.42 c iter 154 time 5.00424 not-muc 819067 unknown 610 muc 153
6.39/6.42 c iter 155 time 5.02724 not-muc 819067 unknown 609 muc 154
6.39/6.42 c iter 156 time 5.04923 not-muc 819067 unknown 608 muc 155
6.39/6.42 c iter 157 time 5.07223 not-muc 819067 unknown 607 muc 156
6.39/6.42 c iter 158 time 5.09523 not-muc 819067 unknown 606 muc 157
6.39/6.42 c iter 159 time 5.11822 not-muc 819067 unknown 605 muc 158
6.39/6.42 c iter 160 time 5.14022 not-muc 819067 unknown 604 muc 159
6.39/6.42 c iter 161 time 5.16322 not-muc 819067 unknown 603 muc 160
6.39/6.42 c iter 162 time 5.18621 not-muc 819067 unknown 602 muc 161
6.39/6.42 c iter 163 time 5.20921 not-muc 819067 unknown 601 muc 162
6.39/6.42 c iter 164 time 5.2322 not-muc 819067 unknown 600 muc 163
6.39/6.42 c iter 165 time 5.2542 not-muc 819067 unknown 599 muc 164
6.39/6.42 c iter 166 time 5.2772 not-muc 819067 unknown 598 muc 165
6.39/6.42 c iter 167 time 5.30019 not-muc 819067 unknown 597 muc 166
6.39/6.42 c iter 168 time 5.32319 not-muc 819067 unknown 596 muc 167
6.39/6.42 c iter 169 time 5.34619 not-muc 819067 unknown 595 muc 168
6.39/6.42 c iter 170 time 5.36918 not-muc 819067 unknown 594 muc 169
6.39/6.42 c iter 171 time 5.39218 not-muc 819067 unknown 593 muc 170
6.39/6.42 c iter 172 time 5.41518 not-muc 819067 unknown 592 muc 171
6.39/6.42 c iter 173 time 5.43717 not-muc 819067 unknown 591 muc 172
6.39/6.42 c iter 174 time 5.46017 not-muc 819067 unknown 590 muc 173
6.39/6.42 c iter 175 time 5.48317 not-muc 819067 unknown 589 muc 174
6.39/6.42 c iter 176 time 5.50616 not-muc 819067 unknown 588 muc 175
6.39/6.42 c iter 177 time 5.52916 not-muc 819067 unknown 587 muc 176
6.39/6.42 c iter 178 time 5.55215 not-muc 819067 unknown 586 muc 177
6.39/6.42 c iter 179 time 5.57515 not-muc 819067 unknown 585 muc 178
6.39/6.42 c iter 180 time 5.59815 not-muc 819067 unknown 584 muc 179
6.39/6.42 c iter 181 time 5.62115 not-muc 819067 unknown 583 muc 180
6.39/6.42 c iter 182 time 5.64414 not-muc 819067 unknown 582 muc 181
6.39/6.42 c iter 183 time 5.66714 not-muc 819067 unknown 581 muc 182
6.39/6.42 c iter 184 time 5.69013 not-muc 819067 unknown 580 muc 183
6.39/6.42 c iter 185 time 5.71313 not-muc 819067 unknown 579 muc 184
6.39/6.42 c iter 186 time 5.73613 not-muc 819067 unknown 578 muc 185
6.39/6.42 c iter 187 time 5.76012 not-muc 819067 unknown 577 muc 186
6.39/6.42 c iter 188 time 5.78312 not-muc 819067 unknown 576 muc 187
6.39/6.42 c iter 189 time 5.80612 not-muc 819067 unknown 575 muc 188
6.39/6.42 c iter 190 time 5.82911 not-muc 819067 unknown 574 muc 189
6.39/6.42 c iter 191 time 5.85211 not-muc 819067 unknown 573 muc 190
6.39/6.42 c iter 192 time 5.87511 not-muc 819067 unknown 572 muc 191
6.39/6.42 c iter 193 time 5.8991 not-muc 819067 unknown 571 muc 192
6.39/6.42 c iter 194 time 5.9221 not-muc 819067 unknown 570 muc 193
6.39/6.42 c iter 195 time 5.9451 not-muc 819067 unknown 569 muc 194
6.39/6.42 c iter 196 time 5.96809 not-muc 819067 unknown 568 muc 195
6.39/6.42 c iter 197 time 5.99109 not-muc 819067 unknown 567 muc 196
6.39/6.42 c iter 198 time 6.01509 not-muc 819067 unknown 566 muc 197
6.39/6.42 c iter 199 time 6.03808 not-muc 819067 unknown 565 muc 198
6.39/6.42 c iter 200 time 6.06108 not-muc 819067 unknown 564 muc 199
6.39/6.42 c iter 201 time 6.08408 not-muc 819067 unknown 563 muc 200
6.39/6.42 c iter 202 time 6.10807 not-muc 819067 unknown 562 muc 201
6.39/6.42 c iter 203 time 6.13107 not-muc 819067 unknown 561 muc 202
6.39/6.42 c iter 204 time 6.15406 not-muc 819067 unknown 560 muc 203
6.39/6.42 c iter 205 time 6.17806 not-muc 819067 unknown 559 muc 204
6.39/6.42 c iter 206 time 6.20106 not-muc 819067 unknown 558 muc 205
6.39/6.42 c iter 207 time 6.22505 not-muc 819067 unknown 557 muc 206
6.39/6.42 c iter 208 time 6.24805 not-muc 819067 unknown 556 muc 207
6.39/6.42 c iter 209 time 6.27105 not-muc 819067 unknown 555 muc 208
6.39/6.42 c iter 210 time 6.29504 not-muc 819067 unknown 554 muc 209
6.39/6.42 c iter 211 time 6.31804 not-muc 819067 unknown 553 muc 210
6.39/6.42 c iter 212 time 6.34204 not-muc 819067 unknown 552 muc 211
7.99/8.07 c iter 213 time 6.36603 not-muc 819067 unknown 551 muc 212
7.99/8.07 c iter 214 time 6.38903 not-muc 819067 unknown 550 muc 213
7.99/8.07 c iter 215 time 6.41303 not-muc 819067 unknown 549 muc 214
7.99/8.07 c iter 216 time 6.43602 not-muc 819067 unknown 548 muc 215
7.99/8.07 c iter 217 time 6.45902 not-muc 819067 unknown 547 muc 216
7.99/8.07 c iter 218 time 6.48301 not-muc 819067 unknown 546 muc 217
7.99/8.07 c iter 219 time 6.50701 not-muc 819067 unknown 545 muc 218
7.99/8.07 c iter 220 time 6.53001 not-muc 819067 unknown 544 muc 219
7.99/8.07 c iter 221 time 6.554 not-muc 819067 unknown 543 muc 220
7.99/8.07 c iter 222 time 6.577 not-muc 819067 unknown 542 muc 221
7.99/8.07 c iter 223 time 6.601 not-muc 819067 unknown 541 muc 222
7.99/8.07 c iter 224 time 6.62499 not-muc 819067 unknown 540 muc 223
7.99/8.07 c iter 225 time 6.64799 not-muc 819067 unknown 539 muc 224
7.99/8.07 c iter 226 time 6.67199 not-muc 819067 unknown 538 muc 225
7.99/8.07 c iter 227 time 6.69498 not-muc 819067 unknown 537 muc 226
7.99/8.07 c iter 228 time 6.71898 not-muc 819067 unknown 536 muc 227
7.99/8.07 c iter 229 time 6.74297 not-muc 819067 unknown 535 muc 228
7.99/8.07 c iter 230 time 6.76697 not-muc 819067 unknown 534 muc 229
7.99/8.07 c iter 231 time 6.78997 not-muc 819067 unknown 533 muc 230
7.99/8.07 c iter 232 time 6.81396 not-muc 819067 unknown 532 muc 231
7.99/8.07 c iter 233 time 6.83796 not-muc 819067 unknown 531 muc 232
7.99/8.07 c iter 234 time 6.86196 not-muc 819067 unknown 530 muc 233
7.99/8.07 c iter 235 time 6.88495 not-muc 819067 unknown 529 muc 234
7.99/8.07 c iter 236 time 6.90895 not-muc 819067 unknown 528 muc 235
7.99/8.07 c iter 237 time 6.93295 not-muc 819067 unknown 527 muc 236
7.99/8.07 c iter 238 time 6.95694 not-muc 819067 unknown 526 muc 237
7.99/8.07 c iter 239 time 6.97994 not-muc 819067 unknown 525 muc 238
7.99/8.07 c iter 240 time 7.00394 not-muc 819067 unknown 524 muc 239
7.99/8.07 c iter 241 time 7.02793 not-muc 819067 unknown 523 muc 240
7.99/8.07 c iter 242 time 7.05193 not-muc 819067 unknown 522 muc 241
7.99/8.07 c iter 243 time 7.07592 not-muc 819067 unknown 521 muc 242
7.99/8.07 c iter 244 time 7.09992 not-muc 819067 unknown 520 muc 243
7.99/8.07 c iter 245 time 7.12392 not-muc 819067 unknown 519 muc 244
7.99/8.07 c iter 246 time 7.14691 not-muc 819067 unknown 518 muc 245
7.99/8.07 c iter 247 time 7.17091 not-muc 819067 unknown 517 muc 246
7.99/8.07 c iter 248 time 7.19491 not-muc 819067 unknown 516 muc 247
7.99/8.07 c iter 249 time 7.2189 not-muc 819067 unknown 515 muc 248
7.99/8.07 c iter 250 time 7.2429 not-muc 819067 unknown 514 muc 249
7.99/8.07 c iter 251 time 7.26689 not-muc 819067 unknown 513 muc 250
7.99/8.07 c iter 252 time 7.29189 not-muc 819067 unknown 512 muc 251
7.99/8.07 c iter 253 time 7.31489 not-muc 819067 unknown 511 muc 252
7.99/8.07 c iter 254 time 7.33888 not-muc 819067 unknown 510 muc 253
7.99/8.07 c iter 255 time 7.36288 not-muc 819067 unknown 509 muc 254
7.99/8.07 c iter 256 time 7.38688 not-muc 819067 unknown 508 muc 255
7.99/8.07 c iter 257 time 7.41087 not-muc 819067 unknown 507 muc 256
7.99/8.07 c iter 258 time 7.43587 not-muc 819067 unknown 506 muc 257
7.99/8.07 c iter 259 time 7.45986 not-muc 819067 unknown 505 muc 258
7.99/8.07 c iter 260 time 7.48386 not-muc 819067 unknown 504 muc 259
7.99/8.07 c iter 261 time 7.50786 not-muc 819067 unknown 503 muc 260
7.99/8.07 c iter 262 time 7.53185 not-muc 819067 unknown 502 muc 261
7.99/8.07 c iter 263 time 7.55585 not-muc 819067 unknown 501 muc 262
7.99/8.07 c iter 264 time 7.58085 not-muc 819067 unknown 500 muc 263
7.99/8.07 c iter 265 time 7.60484 not-muc 819067 unknown 499 muc 264
7.99/8.07 c iter 266 time 7.62884 not-muc 819067 unknown 498 muc 265
7.99/8.07 c iter 267 time 7.65284 not-muc 819067 unknown 497 muc 266
7.99/8.07 c iter 268 time 7.67683 not-muc 819067 unknown 496 muc 267
7.99/8.07 c iter 269 time 7.70083 not-muc 819067 unknown 495 muc 268
7.99/8.07 c iter 270 time 7.72483 not-muc 819067 unknown 494 muc 269
7.99/8.07 c iter 271 time 7.74982 not-muc 819067 unknown 493 muc 270
7.99/8.07 c iter 272 time 7.77382 not-muc 819067 unknown 492 muc 271
7.99/8.07 c iter 273 time 7.79781 not-muc 819067 unknown 491 muc 272
7.99/8.07 c iter 274 time 7.82281 not-muc 819067 unknown 490 muc 273
7.99/8.07 c iter 275 time 7.84681 not-muc 819067 unknown 489 muc 274
7.99/8.07 c iter 276 time 7.8708 not-muc 819067 unknown 488 muc 275
7.99/8.07 c iter 277 time 7.8958 not-muc 819067 unknown 487 muc 276
7.99/8.07 c iter 278 time 7.9198 not-muc 819067 unknown 486 muc 277
7.99/8.07 c iter 279 time 7.94379 not-muc 819067 unknown 485 muc 278
7.99/8.07 c iter 280 time 7.96879 not-muc 819067 unknown 484 muc 279
7.99/8.07 c iter 281 time 7.99278 not-muc 819067 unknown 483 muc 280
9.69/9.72 c iter 282 time 8.01778 not-muc 819067 unknown 482 muc 281
9.69/9.72 c iter 283 time 8.04178 not-muc 819067 unknown 481 muc 282
9.69/9.72 c iter 284 time 8.06677 not-muc 819067 unknown 480 muc 283
9.69/9.72 c iter 285 time 8.09077 not-muc 819067 unknown 479 muc 284
9.69/9.72 c iter 286 time 8.11477 not-muc 819067 unknown 478 muc 285
9.69/9.72 c iter 287 time 8.13976 not-muc 819067 unknown 477 muc 286
9.69/9.72 c iter 288 time 8.16376 not-muc 819067 unknown 476 muc 287
9.69/9.72 c iter 289 time 8.18876 not-muc 819067 unknown 475 muc 288
9.69/9.72 c iter 290 time 8.21275 not-muc 819067 unknown 474 muc 289
9.69/9.72 c iter 291 time 8.23775 not-muc 819067 unknown 473 muc 290
9.69/9.72 c iter 292 time 8.26174 not-muc 819067 unknown 472 muc 291
9.69/9.72 c iter 293 time 8.28674 not-muc 819067 unknown 471 muc 292
9.69/9.72 c iter 294 time 8.31074 not-muc 819067 unknown 470 muc 293
9.69/9.72 c iter 295 time 8.33573 not-muc 819067 unknown 469 muc 294
9.69/9.72 c iter 296 time 8.36073 not-muc 819067 unknown 468 muc 295
9.69/9.72 c iter 297 time 8.38472 not-muc 819067 unknown 467 muc 296
9.69/9.72 c iter 298 time 8.40972 not-muc 819067 unknown 466 muc 297
9.69/9.72 c iter 299 time 8.43472 not-muc 819067 unknown 465 muc 298
9.69/9.72 c iter 300 time 8.45871 not-muc 819067 unknown 464 muc 299
9.69/9.72 c iter 301 time 8.48371 not-muc 819067 unknown 463 muc 300
9.69/9.72 c iter 302 time 8.50871 not-muc 819067 unknown 462 muc 301
9.69/9.72 c iter 303 time 8.5327 not-muc 819067 unknown 461 muc 302
9.69/9.72 c iter 304 time 8.5577 not-muc 819067 unknown 460 muc 303
9.69/9.72 c iter 305 time 8.58169 not-muc 819067 unknown 459 muc 304
9.69/9.72 c iter 306 time 8.60669 not-muc 819067 unknown 458 muc 305
9.69/9.72 c iter 307 time 8.63169 not-muc 819067 unknown 457 muc 306
9.69/9.72 c iter 308 time 8.65668 not-muc 819067 unknown 456 muc 307
9.69/9.72 c iter 309 time 8.68168 not-muc 819067 unknown 455 muc 308
9.69/9.72 c iter 310 time 8.70568 not-muc 819067 unknown 454 muc 309
9.69/9.72 c iter 311 time 8.73067 not-muc 819067 unknown 453 muc 310
9.69/9.72 c iter 312 time 8.75967 not-muc 819067 unknown 452 muc 311
9.69/9.72 c iter 313 time 8.78166 not-muc 819067 unknown 451 muc 312
9.69/9.72 c iter 314 time 8.80366 not-muc 819067 unknown 450 muc 313
9.69/9.72 c iter 315 time 8.82566 not-muc 819067 unknown 449 muc 314
9.69/9.72 c iter 316 time 8.84765 not-muc 819067 unknown 448 muc 315
9.69/9.72 c iter 317 time 8.86965 not-muc 819067 unknown 447 muc 316
9.69/9.72 c iter 318 time 8.89165 not-muc 819067 unknown 446 muc 317
9.69/9.72 c iter 319 time 8.91364 not-muc 819067 unknown 445 muc 318
9.69/9.72 c iter 320 time 8.93664 not-muc 819067 unknown 444 muc 319
9.69/9.72 c iter 321 time 8.96264 not-muc 819067 unknown 443 muc 320
9.69/9.72 c iter 322 time 8.98363 not-muc 819067 unknown 442 muc 321
9.69/9.72 c iter 323 time 9.00563 not-muc 819067 unknown 441 muc 322
9.69/9.72 c iter 324 time 9.02763 not-muc 819067 unknown 440 muc 323
9.69/9.72 c iter 325 time 9.04962 not-muc 819067 unknown 439 muc 324
9.69/9.72 c iter 326 time 9.07162 not-muc 819067 unknown 438 muc 325
9.69/9.72 c iter 327 time 9.09362 not-muc 819067 unknown 437 muc 326
9.69/9.72 c iter 328 time 9.11561 not-muc 819067 unknown 436 muc 327
9.69/9.72 c iter 329 time 9.13761 not-muc 819067 unknown 435 muc 328
9.69/9.72 c iter 330 time 9.16361 not-muc 819067 unknown 434 muc 329
9.69/9.72 c iter 331 time 9.1896 not-muc 819067 unknown 433 muc 330
9.69/9.72 c iter 332 time 9.2156 not-muc 819067 unknown 432 muc 331
9.69/9.72 c iter 333 time 9.2416 not-muc 819067 unknown 431 muc 332
9.69/9.72 c iter 334 time 9.26359 not-muc 819067 unknown 430 muc 333
9.69/9.72 c iter 335 time 9.28959 not-muc 819067 unknown 429 muc 334
9.69/9.72 c iter 336 time 9.31158 not-muc 819067 unknown 428 muc 335
9.69/9.72 c iter 337 time 9.33358 not-muc 819067 unknown 427 muc 336
9.69/9.72 c iter 338 time 9.35558 not-muc 819067 unknown 426 muc 337
9.69/9.72 c iter 339 time 9.37757 not-muc 819067 unknown 425 muc 338
9.69/9.72 c iter 340 time 9.39957 not-muc 819067 unknown 424 muc 339
9.69/9.72 c iter 341 time 9.42157 not-muc 819067 unknown 423 muc 340
9.69/9.72 c iter 342 time 9.44356 not-muc 819067 unknown 422 muc 341
9.69/9.72 c iter 343 time 9.46556 not-muc 819067 unknown 421 muc 342
9.69/9.72 c iter 344 time 9.48756 not-muc 819067 unknown 420 muc 343
9.69/9.72 c iter 345 time 9.50955 not-muc 819067 unknown 419 muc 344
9.69/9.72 c iter 346 time 9.53155 not-muc 819067 unknown 418 muc 345
9.69/9.72 c iter 347 time 9.55455 not-muc 819067 unknown 417 muc 346
9.69/9.72 c iter 348 time 9.57654 not-muc 819067 unknown 416 muc 347
9.69/9.72 c iter 349 time 9.59854 not-muc 819067 unknown 415 muc 348
9.69/9.72 c iter 350 time 9.62054 not-muc 819067 unknown 414 muc 349
9.69/9.72 c iter 351 time 9.64253 not-muc 819067 unknown 413 muc 350
11.19/11.28 c iter 352 time 9.66453 not-muc 819067 unknown 412 muc 351
11.19/11.28 c iter 353 time 9.68753 not-muc 819067 unknown 411 muc 352
11.19/11.28 c iter 354 time 9.70952 not-muc 819067 unknown 410 muc 353
11.19/11.28 c iter 355 time 9.73152 not-muc 819067 unknown 409 muc 354
11.19/11.28 c iter 356 time 9.75352 not-muc 819067 unknown 408 muc 355
11.19/11.28 c iter 357 time 9.77651 not-muc 819067 unknown 407 muc 356
11.19/11.28 c iter 358 time 9.79851 not-muc 819067 unknown 406 muc 357
11.19/11.28 c iter 359 time 9.82051 not-muc 819067 unknown 405 muc 358
11.19/11.28 c iter 360 time 9.8425 not-muc 819067 unknown 404 muc 359
11.19/11.28 c iter 361 time 9.8655 not-muc 819067 unknown 403 muc 360
11.19/11.28 c iter 362 time 9.8875 not-muc 819067 unknown 402 muc 361
11.19/11.28 c iter 363 time 9.90949 not-muc 819067 unknown 401 muc 362
11.19/11.28 c iter 364 time 9.93149 not-muc 819067 unknown 400 muc 363
11.19/11.28 c iter 365 time 9.95449 not-muc 819067 unknown 399 muc 364
11.19/11.28 c iter 366 time 9.97648 not-muc 819067 unknown 398 muc 365
11.19/11.28 c iter 367 time 9.99848 not-muc 819067 unknown 397 muc 366
11.19/11.28 c iter 368 time 10.0215 not-muc 819067 unknown 396 muc 367
11.19/11.28 c iter 369 time 10.0435 not-muc 819067 unknown 395 muc 368
11.19/11.28 c iter 370 time 10.0665 not-muc 819067 unknown 394 muc 369
11.19/11.28 c iter 371 time 10.0885 not-muc 819067 unknown 393 muc 370
11.19/11.28 c iter 372 time 10.1105 not-muc 819067 unknown 392 muc 371
11.19/11.28 c iter 373 time 10.1335 not-muc 819067 unknown 391 muc 372
11.19/11.28 c iter 374 time 10.1555 not-muc 819067 unknown 390 muc 373
11.19/11.28 c iter 375 time 10.1785 not-muc 819067 unknown 389 muc 374
11.19/11.28 c iter 376 time 10.2004 not-muc 819067 unknown 388 muc 375
11.19/11.28 c iter 377 time 10.2234 not-muc 819067 unknown 387 muc 376
11.19/11.28 c iter 378 time 10.2454 not-muc 819067 unknown 386 muc 377
11.19/11.28 c iter 379 time 10.2684 not-muc 819067 unknown 385 muc 378
11.19/11.28 c iter 380 time 10.2904 not-muc 819067 unknown 384 muc 379
11.19/11.28 c iter 381 time 10.3124 not-muc 819067 unknown 383 muc 380
11.19/11.28 c iter 382 time 10.3354 not-muc 819067 unknown 382 muc 381
11.19/11.28 c iter 383 time 10.3584 not-muc 819067 unknown 381 muc 382
11.19/11.28 c iter 384 time 10.3804 not-muc 819067 unknown 380 muc 383
11.19/11.28 c iter 385 time 10.4034 not-muc 819067 unknown 379 muc 384
11.19/11.28 c iter 386 time 10.4254 not-muc 819067 unknown 378 muc 385
11.19/11.28 c iter 387 time 10.4484 not-muc 819067 unknown 377 muc 386
11.19/11.28 c iter 388 time 10.4714 not-muc 819067 unknown 376 muc 387
11.19/11.28 c iter 389 time 10.4934 not-muc 819067 unknown 375 muc 388
11.19/11.28 c iter 390 time 10.5164 not-muc 819067 unknown 374 muc 389
11.19/11.28 c iter 391 time 10.5384 not-muc 819067 unknown 373 muc 390
11.19/11.28 c iter 392 time 10.5614 not-muc 819067 unknown 372 muc 391
11.19/11.28 c iter 393 time 10.5844 not-muc 819067 unknown 371 muc 392
11.19/11.28 c iter 394 time 10.6074 not-muc 819067 unknown 370 muc 393
11.19/11.28 c iter 395 time 10.6294 not-muc 819067 unknown 369 muc 394
11.19/11.28 c iter 396 time 10.6524 not-muc 819067 unknown 368 muc 395
11.19/11.28 c iter 397 time 10.6754 not-muc 819067 unknown 367 muc 396
11.19/11.28 c iter 398 time 10.6984 not-muc 819067 unknown 366 muc 397
11.19/11.28 c iter 399 time 10.7204 not-muc 819067 unknown 365 muc 398
11.19/11.28 c iter 400 time 10.7434 not-muc 819067 unknown 364 muc 399
11.19/11.28 c iter 401 time 10.7664 not-muc 819067 unknown 363 muc 400
11.19/11.28 c iter 402 time 10.7894 not-muc 819067 unknown 362 muc 401
11.19/11.28 c iter 403 time 10.8124 not-muc 819067 unknown 361 muc 402
11.19/11.28 c iter 404 time 10.8344 not-muc 819067 unknown 360 muc 403
11.19/11.28 c iter 405 time 10.8573 not-muc 819067 unknown 359 muc 404
11.19/11.28 c iter 406 time 10.8803 not-muc 819067 unknown 358 muc 405
11.19/11.28 c iter 407 time 10.9033 not-muc 819067 unknown 357 muc 406
11.19/11.28 c iter 408 time 10.9263 not-muc 819067 unknown 356 muc 407
11.19/11.28 c iter 409 time 10.9493 not-muc 819067 unknown 355 muc 408
11.19/11.28 c iter 410 time 10.9723 not-muc 819067 unknown 354 muc 409
11.19/11.28 c iter 411 time 10.9953 not-muc 819067 unknown 353 muc 410
11.19/11.28 c iter 412 time 11.0183 not-muc 819067 unknown 352 muc 411
11.19/11.28 c iter 413 time 11.0413 not-muc 819067 unknown 351 muc 412
11.19/11.28 c iter 414 time 11.0643 not-muc 819067 unknown 350 muc 413
11.19/11.28 c iter 415 time 11.0873 not-muc 819067 unknown 349 muc 414
11.19/11.28 c iter 416 time 11.1103 not-muc 819067 unknown 348 muc 415
11.19/11.28 c iter 417 time 11.1333 not-muc 819067 unknown 347 muc 416
11.19/11.28 c iter 418 time 11.1563 not-muc 819067 unknown 346 muc 417
11.19/11.28 c iter 419 time 11.1793 not-muc 819067 unknown 345 muc 418
11.19/11.28 c iter 420 time 11.2023 not-muc 819067 unknown 344 muc 419
12.89/12.93 c iter 421 time 11.2253 not-muc 819067 unknown 343 muc 420
12.89/12.93 c iter 422 time 11.2483 not-muc 819067 unknown 342 muc 421
12.89/12.93 c iter 423 time 11.2713 not-muc 819067 unknown 341 muc 422
12.89/12.93 c iter 424 time 11.2943 not-muc 819067 unknown 340 muc 423
12.89/12.93 c iter 425 time 11.3183 not-muc 819067 unknown 339 muc 424
12.89/12.93 c iter 426 time 11.3413 not-muc 819067 unknown 338 muc 425
12.89/12.93 c iter 427 time 11.3643 not-muc 819067 unknown 337 muc 426
12.89/12.93 c iter 428 time 11.3873 not-muc 819067 unknown 336 muc 427
12.89/12.93 c iter 429 time 11.4103 not-muc 819067 unknown 335 muc 428
12.89/12.93 c iter 430 time 11.4333 not-muc 819067 unknown 334 muc 429
12.89/12.93 c iter 431 time 11.4573 not-muc 819067 unknown 333 muc 430
12.89/12.93 c iter 432 time 11.4803 not-muc 819067 unknown 332 muc 431
12.89/12.93 c iter 433 time 11.5033 not-muc 819067 unknown 331 muc 432
12.89/12.93 c iter 434 time 11.5262 not-muc 819067 unknown 330 muc 433
12.89/12.93 c iter 435 time 11.5502 not-muc 819067 unknown 329 muc 434
12.89/12.93 c iter 436 time 11.5732 not-muc 819067 unknown 328 muc 435
12.89/12.93 c iter 437 time 11.5962 not-muc 819067 unknown 327 muc 436
12.89/12.93 c iter 438 time 11.6202 not-muc 819067 unknown 326 muc 437
12.89/12.93 c iter 439 time 11.6432 not-muc 819067 unknown 325 muc 438
12.89/12.93 c iter 440 time 11.6662 not-muc 819067 unknown 324 muc 439
12.89/12.93 c iter 441 time 11.6892 not-muc 819067 unknown 323 muc 440
12.89/12.93 c iter 442 time 11.7132 not-muc 819067 unknown 322 muc 441
12.89/12.93 c iter 443 time 11.7362 not-muc 819067 unknown 321 muc 442
12.89/12.93 c iter 444 time 11.7602 not-muc 819067 unknown 320 muc 443
12.89/12.93 c iter 445 time 11.7832 not-muc 819067 unknown 319 muc 444
12.89/12.93 c iter 446 time 11.8062 not-muc 819067 unknown 318 muc 445
12.89/12.93 c iter 447 time 11.8302 not-muc 819067 unknown 317 muc 446
12.89/12.93 c iter 448 time 11.8532 not-muc 819067 unknown 316 muc 447
12.89/12.93 c iter 449 time 11.8772 not-muc 819067 unknown 315 muc 448
12.89/12.93 c iter 450 time 11.9002 not-muc 819067 unknown 314 muc 449
12.89/12.93 c iter 451 time 11.9242 not-muc 819067 unknown 313 muc 450
12.89/12.93 c iter 452 time 11.9472 not-muc 819067 unknown 312 muc 451
12.89/12.93 c iter 453 time 11.9712 not-muc 819067 unknown 311 muc 452
12.89/12.93 c iter 454 time 11.9942 not-muc 819067 unknown 310 muc 453
12.89/12.93 c iter 455 time 12.0182 not-muc 819067 unknown 309 muc 454
12.89/12.93 c iter 456 time 12.0412 not-muc 819067 unknown 308 muc 455
12.89/12.93 c iter 457 time 12.0652 not-muc 819067 unknown 307 muc 456
12.89/12.93 c iter 458 time 12.0882 not-muc 819067 unknown 306 muc 457
12.89/12.93 c iter 459 time 12.1122 not-muc 819067 unknown 305 muc 458
12.89/12.93 c iter 460 time 12.1352 not-muc 819067 unknown 304 muc 459
12.89/12.93 c iter 461 time 12.1592 not-muc 819067 unknown 303 muc 460
12.89/12.93 c iter 462 time 12.1821 not-muc 819067 unknown 302 muc 461
12.89/12.93 c iter 463 time 12.2061 not-muc 819067 unknown 301 muc 462
12.89/12.93 c iter 464 time 12.2301 not-muc 819067 unknown 300 muc 463
12.89/12.93 c iter 465 time 12.2531 not-muc 819067 unknown 299 muc 464
12.89/12.93 c iter 466 time 12.2771 not-muc 819067 unknown 298 muc 465
12.89/12.93 c iter 467 time 12.3011 not-muc 819067 unknown 297 muc 466
12.89/12.93 c iter 468 time 12.3241 not-muc 819067 unknown 296 muc 467
12.89/12.93 c iter 469 time 12.3481 not-muc 819067 unknown 295 muc 468
12.89/12.93 c iter 470 time 12.3721 not-muc 819067 unknown 294 muc 469
12.89/12.93 c iter 471 time 12.3961 not-muc 819067 unknown 293 muc 470
12.89/12.93 c iter 472 time 12.4191 not-muc 819067 unknown 292 muc 471
12.89/12.93 c iter 473 time 12.4431 not-muc 819067 unknown 291 muc 472
12.89/12.93 c iter 474 time 12.4671 not-muc 819067 unknown 290 muc 473
12.89/12.93 c iter 475 time 12.4911 not-muc 819067 unknown 289 muc 474
12.89/12.93 c iter 476 time 12.5141 not-muc 819067 unknown 288 muc 475
12.89/12.93 c iter 477 time 12.5381 not-muc 819067 unknown 287 muc 476
12.89/12.93 c iter 478 time 12.5621 not-muc 819067 unknown 286 muc 477
12.89/12.93 c iter 479 time 12.5861 not-muc 819067 unknown 285 muc 478
12.89/12.93 c iter 480 time 12.6101 not-muc 819067 unknown 284 muc 479
12.89/12.93 c iter 481 time 12.6341 not-muc 819067 unknown 283 muc 480
12.89/12.93 c iter 482 time 12.6581 not-muc 819067 unknown 282 muc 481
12.89/12.93 c iter 483 time 12.6821 not-muc 819067 unknown 281 muc 482
12.89/12.93 c iter 484 time 12.7061 not-muc 819067 unknown 280 muc 483
12.89/12.93 c iter 485 time 12.7291 not-muc 819067 unknown 279 muc 484
12.89/12.93 c iter 486 time 12.7531 not-muc 819067 unknown 278 muc 485
12.89/12.93 c iter 487 time 12.7781 not-muc 819067 unknown 277 muc 486
12.89/12.93 c iter 488 time 12.8021 not-muc 819067 unknown 276 muc 487
12.89/12.93 c iter 489 time 12.8261 not-muc 819067 unknown 275 muc 488
12.89/12.93 c iter 490 time 12.85 not-muc 819067 unknown 274 muc 489
14.59/14.66 c iter 491 time 12.874 not-muc 819067 unknown 273 muc 490
14.59/14.66 c iter 492 time 12.898 not-muc 819067 unknown 272 muc 491
14.59/14.66 c iter 493 time 12.922 not-muc 819067 unknown 271 muc 492
14.59/14.66 c iter 494 time 12.946 not-muc 819067 unknown 270 muc 493
14.59/14.66 c iter 495 time 12.971 not-muc 819067 unknown 269 muc 494
14.59/14.66 c iter 496 time 12.995 not-muc 819067 unknown 268 muc 495
14.59/14.66 c iter 497 time 13.019 not-muc 819067 unknown 267 muc 496
14.59/14.66 c iter 498 time 13.043 not-muc 819067 unknown 266 muc 497
14.59/14.66 c iter 499 time 13.067 not-muc 819067 unknown 265 muc 498
14.59/14.66 c iter 500 time 13.091 not-muc 819067 unknown 264 muc 499
14.59/14.66 c iter 501 time 13.116 not-muc 819067 unknown 263 muc 500
14.59/14.66 c iter 502 time 13.14 not-muc 819067 unknown 262 muc 501
14.59/14.66 c iter 503 time 13.164 not-muc 819067 unknown 261 muc 502
14.59/14.66 c iter 504 time 13.189 not-muc 819067 unknown 260 muc 503
14.59/14.66 c iter 505 time 13.213 not-muc 819067 unknown 259 muc 504
14.59/14.66 c iter 506 time 13.237 not-muc 819067 unknown 258 muc 505
14.59/14.66 c iter 507 time 13.262 not-muc 819067 unknown 257 muc 506
14.59/14.66 c iter 508 time 13.286 not-muc 819067 unknown 256 muc 507
14.59/14.66 c iter 509 time 13.311 not-muc 819067 unknown 255 muc 508
14.59/14.66 c iter 510 time 13.335 not-muc 819067 unknown 254 muc 509
14.59/14.66 c iter 511 time 13.359 not-muc 819067 unknown 253 muc 510
14.59/14.66 c iter 512 time 13.384 not-muc 819067 unknown 252 muc 511
14.59/14.66 c iter 513 time 13.409 not-muc 819067 unknown 251 muc 512
14.59/14.66 c iter 514 time 13.433 not-muc 819067 unknown 250 muc 513
14.59/14.66 c iter 515 time 13.458 not-muc 819067 unknown 249 muc 514
14.59/14.66 c iter 516 time 13.4819 not-muc 819067 unknown 248 muc 515
14.59/14.66 c iter 517 time 13.5069 not-muc 819067 unknown 247 muc 516
14.59/14.66 c iter 518 time 13.5319 not-muc 819067 unknown 246 muc 517
14.59/14.66 c iter 519 time 13.5559 not-muc 819067 unknown 245 muc 518
14.59/14.66 c iter 520 time 13.5809 not-muc 819067 unknown 244 muc 519
14.59/14.66 c iter 521 time 13.6059 not-muc 819067 unknown 243 muc 520
14.59/14.66 c iter 522 time 13.6299 not-muc 819067 unknown 242 muc 521
14.59/14.66 c iter 523 time 13.6549 not-muc 819067 unknown 241 muc 522
14.59/14.66 c iter 524 time 13.6799 not-muc 819067 unknown 240 muc 523
14.59/14.66 c iter 525 time 13.7039 not-muc 819067 unknown 239 muc 524
14.59/14.66 c iter 526 time 13.7289 not-muc 819067 unknown 238 muc 525
14.59/14.66 c iter 527 time 13.7539 not-muc 819067 unknown 237 muc 526
14.59/14.66 c iter 528 time 13.7789 not-muc 819067 unknown 236 muc 527
14.59/14.66 c iter 529 time 13.8039 not-muc 819067 unknown 235 muc 528
14.59/14.66 c iter 530 time 13.8289 not-muc 819067 unknown 234 muc 529
14.59/14.66 c iter 531 time 13.8529 not-muc 819067 unknown 233 muc 530
14.59/14.66 c iter 532 time 13.8779 not-muc 819067 unknown 232 muc 531
14.59/14.66 c iter 533 time 13.9029 not-muc 819067 unknown 231 muc 532
14.59/14.66 c iter 534 time 13.9279 not-muc 819067 unknown 230 muc 533
14.59/14.66 c iter 535 time 13.9529 not-muc 819067 unknown 229 muc 534
14.59/14.66 c iter 536 time 13.9779 not-muc 819067 unknown 228 muc 535
14.59/14.66 c iter 537 time 14.0029 not-muc 819067 unknown 227 muc 536
14.59/14.66 c iter 538 time 14.0289 not-muc 819067 unknown 226 muc 537
14.59/14.66 c iter 539 time 14.0539 not-muc 819067 unknown 225 muc 538
14.59/14.66 c iter 540 time 14.0789 not-muc 819067 unknown 224 muc 539
14.59/14.66 c iter 541 time 14.1039 not-muc 819067 unknown 223 muc 540
14.59/14.66 c iter 542 time 14.1289 not-muc 819067 unknown 222 muc 541
14.59/14.66 c iter 543 time 14.1538 not-muc 819067 unknown 221 muc 542
14.59/14.66 c iter 544 time 14.1788 not-muc 819067 unknown 220 muc 543
14.59/14.66 c iter 545 time 14.2038 not-muc 819067 unknown 219 muc 544
14.59/14.66 c iter 546 time 14.2288 not-muc 819067 unknown 218 muc 545
14.59/14.66 c iter 547 time 14.2538 not-muc 819067 unknown 217 muc 546
14.59/14.66 c iter 548 time 14.2798 not-muc 819067 unknown 216 muc 547
14.59/14.66 c iter 549 time 14.3048 not-muc 819067 unknown 215 muc 548
14.59/14.66 c iter 550 time 14.3298 not-muc 819067 unknown 214 muc 549
14.59/14.66 c iter 551 time 14.3548 not-muc 819067 unknown 213 muc 550
14.59/14.66 c iter 552 time 14.3808 not-muc 819067 unknown 212 muc 551
14.59/14.66 c iter 553 time 14.4058 not-muc 819067 unknown 211 muc 552
14.59/14.66 c iter 554 time 14.4308 not-muc 819067 unknown 210 muc 553
14.59/14.66 c iter 555 time 14.4568 not-muc 819067 unknown 209 muc 554
14.59/14.66 c iter 556 time 14.4818 not-muc 819067 unknown 208 muc 555
14.59/14.66 c iter 557 time 14.5078 not-muc 819067 unknown 207 muc 556
14.59/14.66 c iter 558 time 14.5328 not-muc 819067 unknown 206 muc 557
14.59/14.66 c iter 559 time 14.5588 not-muc 819067 unknown 205 muc 558
14.59/14.66 c iter 560 time 14.5838 not-muc 819067 unknown 204 muc 559
16.39/16.47 c iter 561 time 14.6098 not-muc 819067 unknown 203 muc 560
16.39/16.47 c iter 562 time 14.6348 not-muc 819067 unknown 202 muc 561
16.39/16.47 c iter 563 time 14.6608 not-muc 819067 unknown 201 muc 562
16.39/16.47 c iter 564 time 14.6858 not-muc 819067 unknown 200 muc 563
16.39/16.47 c iter 565 time 14.7118 not-muc 819067 unknown 199 muc 564
16.39/16.47 c iter 566 time 14.7378 not-muc 819067 unknown 198 muc 565
16.39/16.47 c iter 567 time 14.7628 not-muc 819067 unknown 197 muc 566
16.39/16.47 c iter 568 time 14.7888 not-muc 819067 unknown 196 muc 567
16.39/16.47 c iter 569 time 14.8147 not-muc 819067 unknown 195 muc 568
16.39/16.47 c iter 570 time 14.8397 not-muc 819067 unknown 194 muc 569
16.39/16.47 c iter 571 time 14.8657 not-muc 819067 unknown 193 muc 570
16.39/16.47 c iter 572 time 14.8917 not-muc 819067 unknown 192 muc 571
16.39/16.47 c iter 573 time 14.9167 not-muc 819067 unknown 191 muc 572
16.39/16.47 c iter 574 time 14.9427 not-muc 819067 unknown 190 muc 573
16.39/16.47 c iter 575 time 14.9687 not-muc 819067 unknown 189 muc 574
16.39/16.47 c iter 576 time 14.9947 not-muc 819067 unknown 188 muc 575
16.39/16.47 c iter 577 time 15.0197 not-muc 819067 unknown 187 muc 576
16.39/16.47 c iter 578 time 15.0457 not-muc 819067 unknown 186 muc 577
16.39/16.47 c iter 579 time 15.0717 not-muc 819067 unknown 185 muc 578
16.39/16.47 c iter 580 time 15.0977 not-muc 819067 unknown 184 muc 579
16.39/16.47 c iter 581 time 15.1237 not-muc 819067 unknown 183 muc 580
16.39/16.47 c iter 582 time 15.1497 not-muc 819067 unknown 182 muc 581
16.39/16.47 c iter 583 time 15.1757 not-muc 819067 unknown 181 muc 582
16.39/16.47 c iter 584 time 15.2017 not-muc 819067 unknown 180 muc 583
16.39/16.47 c iter 585 time 15.2277 not-muc 819067 unknown 179 muc 584
16.39/16.47 c iter 586 time 15.2537 not-muc 819067 unknown 178 muc 585
16.39/16.47 c iter 587 time 15.2797 not-muc 819067 unknown 177 muc 586
16.39/16.47 c iter 588 time 15.3057 not-muc 819067 unknown 176 muc 587
16.39/16.47 c iter 589 time 15.3317 not-muc 819067 unknown 175 muc 588
16.39/16.47 c iter 590 time 15.3587 not-muc 819067 unknown 174 muc 589
16.39/16.47 c iter 591 time 15.3847 not-muc 819067 unknown 173 muc 590
16.39/16.47 c iter 592 time 15.4107 not-muc 819067 unknown 172 muc 591
16.39/16.47 c iter 593 time 15.4367 not-muc 819067 unknown 171 muc 592
16.39/16.47 c iter 594 time 15.4626 not-muc 819067 unknown 170 muc 593
16.39/16.47 c iter 595 time 15.4886 not-muc 819067 unknown 169 muc 594
16.39/16.47 c iter 596 time 15.5156 not-muc 819067 unknown 168 muc 595
16.39/16.47 c iter 597 time 15.5416 not-muc 819067 unknown 167 muc 596
16.39/16.47 c iter 598 time 15.5676 not-muc 819067 unknown 166 muc 597
16.39/16.47 c iter 599 time 15.5936 not-muc 819067 unknown 165 muc 598
16.39/16.47 c iter 600 time 15.6196 not-muc 819067 unknown 164 muc 599
16.39/16.47 c iter 601 time 15.6466 not-muc 819067 unknown 163 muc 600
16.39/16.47 c iter 602 time 15.6726 not-muc 819067 unknown 162 muc 601
16.39/16.47 c iter 603 time 15.6986 not-muc 819067 unknown 161 muc 602
16.39/16.47 c iter 604 time 15.7256 not-muc 819067 unknown 160 muc 603
16.39/16.47 c iter 605 time 15.7516 not-muc 819067 unknown 159 muc 604
16.39/16.47 c iter 606 time 15.7776 not-muc 819067 unknown 158 muc 605
16.39/16.47 c iter 607 time 15.8046 not-muc 819067 unknown 157 muc 606
16.39/16.47 c iter 608 time 15.8306 not-muc 819067 unknown 156 muc 607
16.39/16.47 c iter 609 time 15.8576 not-muc 819067 unknown 155 muc 608
16.39/16.47 c iter 610 time 15.8836 not-muc 819067 unknown 154 muc 609
16.39/16.47 c iter 611 time 15.9106 not-muc 819067 unknown 153 muc 610
16.39/16.47 c iter 612 time 15.9366 not-muc 819067 unknown 152 muc 611
16.39/16.47 c iter 613 time 15.9636 not-muc 819067 unknown 151 muc 612
16.39/16.47 c iter 614 time 15.9896 not-muc 819067 unknown 150 muc 613
16.39/16.47 c iter 615 time 16.0166 not-muc 819067 unknown 149 muc 614
16.39/16.47 c iter 616 time 16.0426 not-muc 819067 unknown 148 muc 615
16.39/16.47 c iter 617 time 16.0696 not-muc 819067 unknown 147 muc 616
16.39/16.47 c iter 618 time 16.0956 not-muc 819067 unknown 146 muc 617
16.39/16.47 c iter 619 time 16.1225 not-muc 819067 unknown 145 muc 618
16.39/16.47 c iter 620 time 16.1495 not-muc 819067 unknown 144 muc 619
16.39/16.47 c iter 621 time 16.1765 not-muc 819067 unknown 143 muc 620
16.39/16.47 c iter 622 time 16.2025 not-muc 819067 unknown 142 muc 621
16.39/16.47 c iter 623 time 16.2295 not-muc 819067 unknown 141 muc 622
16.39/16.47 c iter 624 time 16.2565 not-muc 819067 unknown 140 muc 623
16.39/16.47 c iter 625 time 16.2835 not-muc 819067 unknown 139 muc 624
16.39/16.47 c iter 626 time 16.3105 not-muc 819067 unknown 138 muc 625
16.39/16.47 c iter 627 time 16.3375 not-muc 819067 unknown 137 muc 626
16.39/16.47 c iter 628 time 16.3635 not-muc 819067 unknown 136 muc 627
16.39/16.47 c iter 629 time 16.3905 not-muc 819067 unknown 135 muc 628
18.30/18.39 c iter 630 time 16.4175 not-muc 819067 unknown 134 muc 629
18.30/18.39 c iter 631 time 16.4445 not-muc 819067 unknown 133 muc 630
18.30/18.39 c iter 632 time 16.4715 not-muc 819067 unknown 132 muc 631
18.30/18.39 c iter 633 time 16.4985 not-muc 819067 unknown 131 muc 632
18.30/18.39 c iter 634 time 16.5255 not-muc 819067 unknown 130 muc 633
18.30/18.39 c iter 635 time 16.5525 not-muc 819067 unknown 129 muc 634
18.30/18.39 c iter 636 time 16.5795 not-muc 819067 unknown 128 muc 635
18.30/18.39 c iter 637 time 16.6065 not-muc 819067 unknown 127 muc 636
18.30/18.39 c iter 638 time 16.6335 not-muc 819067 unknown 126 muc 637
18.30/18.39 c iter 639 time 16.6605 not-muc 819067 unknown 125 muc 638
18.30/18.39 c iter 640 time 16.6885 not-muc 819067 unknown 124 muc 639
18.30/18.39 c iter 641 time 16.7155 not-muc 819067 unknown 123 muc 640
18.30/18.39 c iter 642 time 16.7425 not-muc 819067 unknown 122 muc 641
18.30/18.39 c iter 643 time 16.7694 not-muc 819067 unknown 121 muc 642
18.30/18.39 c iter 644 time 16.7964 not-muc 819067 unknown 120 muc 643
18.30/18.39 c iter 645 time 16.8244 not-muc 819067 unknown 119 muc 644
18.30/18.39 c iter 646 time 16.8514 not-muc 819067 unknown 118 muc 645
18.30/18.39 c iter 647 time 16.8784 not-muc 819067 unknown 117 muc 646
18.30/18.39 c iter 648 time 16.9064 not-muc 819067 unknown 116 muc 647
18.30/18.39 c iter 649 time 16.9334 not-muc 819067 unknown 115 muc 648
18.30/18.39 c iter 650 time 16.9614 not-muc 819067 unknown 114 muc 649
18.30/18.39 c iter 651 time 16.9884 not-muc 819067 unknown 113 muc 650
18.30/18.39 c iter 652 time 17.0154 not-muc 819067 unknown 112 muc 651
18.30/18.39 c iter 653 time 17.0434 not-muc 819067 unknown 111 muc 652
18.30/18.39 c iter 654 time 17.0714 not-muc 819067 unknown 110 muc 653
18.30/18.39 c iter 655 time 17.0984 not-muc 819067 unknown 109 muc 654
18.30/18.39 c iter 656 time 17.1264 not-muc 819067 unknown 108 muc 655
18.30/18.39 c iter 657 time 17.1534 not-muc 819067 unknown 107 muc 656
18.30/18.39 c iter 658 time 17.1814 not-muc 819067 unknown 106 muc 657
18.30/18.39 c iter 659 time 17.2094 not-muc 819067 unknown 105 muc 658
18.30/18.39 c iter 660 time 17.2364 not-muc 819067 unknown 104 muc 659
18.30/18.39 c iter 661 time 17.2644 not-muc 819067 unknown 103 muc 660
18.30/18.39 c iter 662 time 17.2924 not-muc 819067 unknown 102 muc 661
18.30/18.39 c iter 663 time 17.3194 not-muc 819067 unknown 101 muc 662
18.30/18.39 c iter 664 time 17.3474 not-muc 819067 unknown 100 muc 663
18.30/18.39 c iter 665 time 17.3754 not-muc 819067 unknown 99 muc 664
18.30/18.39 c iter 666 time 17.4034 not-muc 819067 unknown 98 muc 665
18.30/18.39 c iter 667 time 17.4313 not-muc 819067 unknown 97 muc 666
18.30/18.39 c iter 668 time 17.4593 not-muc 819067 unknown 96 muc 667
18.30/18.39 c iter 669 time 17.4873 not-muc 819067 unknown 95 muc 668
18.30/18.39 c iter 670 time 17.5153 not-muc 819067 unknown 94 muc 669
18.30/18.39 c iter 671 time 17.5433 not-muc 819067 unknown 93 muc 670
18.30/18.39 c iter 672 time 17.5713 not-muc 819067 unknown 92 muc 671
18.30/18.39 c iter 673 time 17.5993 not-muc 819067 unknown 91 muc 672
18.30/18.39 c iter 674 time 17.6273 not-muc 819067 unknown 90 muc 673
18.30/18.39 c iter 675 time 17.6553 not-muc 819067 unknown 89 muc 674
18.30/18.39 c iter 676 time 17.6833 not-muc 819067 unknown 88 muc 675
18.30/18.39 c iter 677 time 17.7113 not-muc 819067 unknown 87 muc 676
18.30/18.39 c iter 678 time 17.7393 not-muc 819067 unknown 86 muc 677
18.30/18.39 c iter 679 time 17.7673 not-muc 819067 unknown 85 muc 678
18.30/18.39 c iter 680 time 17.7963 not-muc 819067 unknown 84 muc 679
18.30/18.39 c iter 681 time 17.8243 not-muc 819067 unknown 83 muc 680
18.30/18.39 c iter 682 time 17.8523 not-muc 819067 unknown 82 muc 681
18.30/18.39 c iter 683 time 17.8803 not-muc 819067 unknown 81 muc 682
18.30/18.39 c iter 684 time 17.9083 not-muc 819067 unknown 80 muc 683
18.30/18.39 c iter 685 time 17.9373 not-muc 819067 unknown 79 muc 684
18.30/18.39 c iter 686 time 17.9653 not-muc 819067 unknown 78 muc 685
18.30/18.39 c iter 687 time 17.9933 not-muc 819067 unknown 77 muc 686
18.30/18.39 c iter 688 time 18.0213 not-muc 819067 unknown 76 muc 687
18.30/18.39 c iter 689 time 18.0503 not-muc 819067 unknown 75 muc 688
18.30/18.39 c iter 690 time 18.0783 not-muc 819067 unknown 74 muc 689
18.30/18.39 c iter 691 time 18.1072 not-muc 819067 unknown 73 muc 690
18.30/18.39 c iter 692 time 18.1352 not-muc 819067 unknown 72 muc 691
18.30/18.39 c iter 693 time 18.1632 not-muc 819067 unknown 71 muc 692
18.30/18.39 c iter 694 time 18.1922 not-muc 819067 unknown 70 muc 693
18.30/18.39 c iter 695 time 18.2202 not-muc 819067 unknown 69 muc 694
18.30/18.39 c iter 696 time 18.2492 not-muc 819067 unknown 68 muc 695
18.30/18.39 c iter 697 time 18.2722 not-muc 819067 unknown 67 muc 696
18.30/18.39 c iter 698 time 18.2942 not-muc 819067 unknown 66 muc 697
18.30/18.39 c iter 699 time 18.3162 not-muc 819067 unknown 65 muc 698
19.89/19.96 c iter 700 time 18.3392 not-muc 819067 unknown 64 muc 699
19.89/19.96 c iter 701 time 18.3612 not-muc 819067 unknown 63 muc 700
19.89/19.96 c iter 702 time 18.3832 not-muc 819067 unknown 62 muc 701
19.89/19.96 c iter 703 time 18.4052 not-muc 819067 unknown 61 muc 702
19.89/19.96 c iter 704 time 18.4282 not-muc 819067 unknown 60 muc 703
19.89/19.96 c iter 705 time 18.4502 not-muc 819067 unknown 59 muc 704
19.89/19.96 c iter 706 time 18.4732 not-muc 819067 unknown 58 muc 705
19.89/19.96 c iter 707 time 18.4952 not-muc 819067 unknown 57 muc 706
19.89/19.96 c iter 708 time 18.5172 not-muc 819067 unknown 56 muc 707
19.89/19.96 c iter 709 time 18.5402 not-muc 819067 unknown 55 muc 708
19.89/19.96 c iter 710 time 18.5622 not-muc 819067 unknown 54 muc 709
19.89/19.96 c iter 711 time 18.5852 not-muc 819067 unknown 53 muc 710
19.89/19.96 c iter 712 time 18.6072 not-muc 819067 unknown 52 muc 711
19.89/19.96 c iter 713 time 18.6302 not-muc 819067 unknown 51 muc 712
19.89/19.96 c iter 714 time 18.6532 not-muc 819067 unknown 50 muc 713
19.89/19.96 c iter 715 time 18.6752 not-muc 819067 unknown 49 muc 714
19.89/19.96 c iter 716 time 18.6982 not-muc 819067 unknown 48 muc 715
19.89/19.96 c iter 717 time 18.7202 not-muc 819067 unknown 47 muc 716
19.89/19.96 c iter 718 time 18.7431 not-muc 819067 unknown 46 muc 717
19.89/19.96 c iter 719 time 18.7661 not-muc 819067 unknown 45 muc 718
19.89/19.96 c iter 720 time 18.7891 not-muc 819067 unknown 44 muc 719
19.89/19.96 c iter 721 time 18.8111 not-muc 819067 unknown 43 muc 720
19.89/19.96 c iter 722 time 18.8341 not-muc 819067 unknown 42 muc 721
19.89/19.96 c iter 723 time 18.8571 not-muc 819067 unknown 41 muc 722
19.89/19.96 c iter 724 time 18.8801 not-muc 819067 unknown 40 muc 723
19.89/19.96 c iter 725 time 18.9031 not-muc 819067 unknown 39 muc 724
19.89/19.96 c iter 726 time 18.9251 not-muc 819067 unknown 38 muc 725
19.89/19.96 c iter 727 time 18.9481 not-muc 819067 unknown 37 muc 726
19.89/19.96 c iter 728 time 18.9711 not-muc 819067 unknown 36 muc 727
19.89/19.96 c iter 729 time 18.9941 not-muc 819067 unknown 35 muc 728
19.89/19.96 c iter 730 time 19.0171 not-muc 819067 unknown 34 muc 729
19.89/19.96 c iter 731 time 19.0401 not-muc 819067 unknown 33 muc 730
19.89/19.96 c iter 732 time 19.0631 not-muc 819067 unknown 32 muc 731
19.89/19.96 c iter 733 time 19.0861 not-muc 819067 unknown 31 muc 732
19.89/19.96 c iter 734 time 19.1091 not-muc 819067 unknown 30 muc 733
19.89/19.96 c iter 735 time 19.1321 not-muc 819067 unknown 29 muc 734
19.89/19.96 c iter 736 time 19.1551 not-muc 819067 unknown 28 muc 735
19.89/19.96 c iter 737 time 19.1781 not-muc 819067 unknown 27 muc 736
19.89/19.96 c iter 738 time 19.2011 not-muc 819067 unknown 26 muc 737
19.89/19.96 c iter 739 time 19.2281 not-muc 819067 unknown 25 muc 738
19.89/19.96 c iter 740 time 19.2541 not-muc 819067 unknown 24 muc 739
19.89/19.96 c iter 741 time 19.2801 not-muc 819067 unknown 23 muc 740
19.89/19.96 c iter 742 time 19.3061 not-muc 819067 unknown 22 muc 741
19.89/19.96 c iter 743 time 19.3331 not-muc 819067 unknown 21 muc 742
19.89/19.96 c iter 744 time 19.3621 not-muc 819067 unknown 20 muc 743
19.89/19.96 c iter 745 time 19.3881 not-muc 819067 unknown 19 muc 744
19.89/19.96 c iter 746 time 19.414 not-muc 819067 unknown 18 muc 745
19.89/19.96 c iter 747 time 19.44 not-muc 819067 unknown 17 muc 746
19.89/19.96 c iter 748 time 19.466 not-muc 819067 unknown 16 muc 747
19.89/19.96 c iter 749 time 19.493 not-muc 819067 unknown 15 muc 748
19.89/19.96 c iter 750 time 19.519 not-muc 819067 unknown 14 muc 749
19.89/19.96 c iter 751 time 19.548 not-muc 819067 unknown 13 muc 750
19.89/19.96 c iter 752 time 19.57 not-muc 819067 unknown 12 muc 751
19.89/19.96 c iter 753 time 19.592 not-muc 819067 unknown 11 muc 752
19.89/19.96 c iter 754 time 19.614 not-muc 819067 unknown 10 muc 753
19.89/19.96 c iter 755 time 19.64 not-muc 819067 unknown 9 muc 754
19.89/19.96 c iter 756 time 19.666 not-muc 819067 unknown 8 muc 755
19.89/19.96 c iter 757 time 19.695 not-muc 819067 unknown 7 muc 756
19.89/19.96 c iter 758 time 19.721 not-muc 819067 unknown 6 muc 757
19.89/19.96 c iter 759 time 19.749 not-muc 819067 unknown 5 muc 758
19.89/19.96 c iter 760 time 19.775 not-muc 819067 unknown 4 muc 759
19.89/19.96 c iter 761 time 19.804 not-muc 819067 unknown 3 muc 760
19.89/19.96 c iter 762 time 19.83 not-muc 819067 unknown 2 muc 761
19.89/19.96 c iter 763 time 19.859 not-muc 819067 unknown 1 muc 762
19.89/19.96 c final iter 764 time 19.888 not-muc 819067 unknown 0 muc 763
19.89/19.96 v 892 903 904 906 1466 1722 4957 4958 4959 4961 6232 9771 9785 12448 14029 14034 14036 14037 14039 14040 14044 14045 14046 14047 14049 14052 14055 18426 18454 18455 18457 18479 18493 18496 18497 18499 18686 19098 19294 19551 19995 19997 20134 25706 25707 25708 25710 25748 25749 25750 25752 31328 31342 31647 31648 31650 31689 31690 31692 34134 34135 34136 34137 34139 34176 34177 34178 34179 34181 41917 41918 41919 46210 46252 50851 51074 51075 51076 51077 51079 51082 51085 51087 51092 51094 51095 51097 51098 51101 51106 51108 51109 51111 51112 51116 51117 51118 51119 51121 51124 51127 53693 53695 53707 53709 54560 54574 54826 54827 54828 54830 55862 55863 55865 57694 57736 60859 60860 60861 60873 60874 60875 66991 66992 66993 67005 67006 67007 69653 69667 70156 70157 70158 70160 70170 70171 70172 70174 73600 73614 76877 76879 76891 76893 77282 77283 77284 77285 77287 77293 77300 77302 77303 77305 77306 77314 77316 77317 77319 77320 77324 77325 77326 77327 77329 77335 78094 78095 78096 78097 78099 78102 78107 78112 78114 78115 78117 78118 78121 78126 78128 78129 78131 78132 78136 78137 78138 78139 78141 78144 79536 79550 81930 81931 81932 81933 81935 81938 81943 81948 81950 81951 81953 81954 81957 81962 81964 81965 81967 81968 81972 81973 81974 81975 81977 81980 82224 82238 85597 85598 85599 85601 86032 86033 86034 86036 86046 86047 86048 86050 93046 93047 93048 93049 93527 94095 94096 94097 94109 94110 94111 100395 100396 100397 100399 106373 106374 106375 106377 106415 106416 106417 106419 109075 109076 109077 111358 111359 111360 111361 111363 111366 111371 111376 111378 111379 111381 111382 111385 111390 111392 111393 111395 111396 111400 111401 111402 111403 111405 111408 112603 112604 112605 112607 126828 126829 126830 126832 131602 131603 131604 131606 132371 132376 133127 133183 133255 133257 133267 133275 133351 133578 133609 133715 133799 133860 134002 134158 134562 137271 138769 138770 138771 138773 138811 138812 138813 138815 142045 142046 142087 142088 156913 156914 156955 156956 163746 163747 163748 163749 164003 171012 171026 172145 172147 172150 172187 172189 172192 172202 172204 172244 172246 172257 172263 172299 172305 173924 173938 175673 175675 175678 175715 175717 175720 175730 175732 175772 175774 175785 175791 175827 175833 175856 175857 175858 175860 177353 177354 177355 177357 177395 177396 177397 177399 178096 178110 181358 181359 181360 181362 181400 181401 181402 181404 183780 183794 185137 185138 185139 185141 185179 185180 185181 185183 185922 185923 185924 185926 185964 185965 185966 185968 186033 186034 186035 186037 186075 186076 186077 186079 187616 187630 229445 235258 235259 235261 241684 241685 241687 241695 241957 242211 242254 242290 242334 292420 292421 292423 292431 302177 302185 302219 302261 302303 302345 302486 302487 302488 302489 302518 302533 302562 302633 302807 302840 303013 303056 303059 303064 303075 303102 303118 303143 303163 303192 315170 317919 320897 320898 320899 320910 320943 321352 321484 321485 321486 321487 326873 326881 326889 326891 327552 331199 333161 333173 333178 333664 333666 334047 334055 339922 339923 339925 339938 339983 340860 352494 352495 352496 352497 353101 359605 359886 359887 359888 359889 359933 359946 360200 360804 371617 371618 371619 371621 376755 390825 411699 466048 466049 466050 466051 466137 480706 485158 533782 533794 533925 534172 534236 577783 577785 579980 579981 579983 579991 580183 595423 595425 595449 595457 595482 595491 595575 595577 595580 595618 595620 595659 595665 595708 599188 599189 599190 599191 599235 599490 605358 606608 606609 606610 606612 606678 606679 606680 606682 612515 612558 612559 612560 612561 612604 612605 612622 612635 626109 636889 636927 647025 676510 676511 676512 676513 676599 680164 680165 680166 680167 680188 680211 680224 680268 681867 684188 684758 684784 686171 687312 687519 688107 699330 707211 707216 711986 711987 711989 712011 736359 736360 736891 736892 736893 736895 758031 758033 758036 758060 758062 758087 758093 758122 758143 758151 758159 758161 758171 758190 758255 758283 758311 758339 758452 758453 758454 758455 758484 758485 758528 758557 758558 758587 758616 759034 759063 759082 759083 759084 759085 759092 759114 759115 759144 759173 759572 759573 759575 759583 759601 759602 759604 759630 759631 759633 759659 759660 759662 759688 759689 759691 776484 776485 776486 776488 776554 776567 776568 776569 776570 776571 776572 776573 776574 776575 776576 776577 776578 776579 777178 777189 777190 777192 777472 777602 779213 779214 779215 779217 779844 780643 781418 781420 781421 781424 781425 781426 781427 782112 782150 783660 783664 783668 783670 783676 783678 783680 783682 785016 785054 786566 786594 786637 786674 787882 787885 787958 789468 789475 789498 789541 789578 789580 790786 792374 792402 792445 792484 792486 793690 793766 795283 795306 795349 795386 795390 795392 798180 798189 798212 798255 798292 798296 798298 799498 801088 801116 801159 801198 801202 803994 804021 804065 804104 806900 806927 806971 807010 809831 809865 812737 812771 815643 815677 818618 0
19.89/19.96 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-3494704-1307804737/watcher-3494704-1307804737 -o /tmp/evaluation-result-3494704-1307804737/solver-3494704-1307804737 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494704-1307804737.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.00 4.00 3.58 5/189 21502
/proc/meminfo: memFree=27790916/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=27880 CPUtime=0 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 1324 0 0 0 0 0 0 0 23 0 1 0 892076422 28549120 1266 33554432000 4194304 4337479 140735637638464 18446744073709551615 4242465 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 6970 1271 220 35 0 3593 0
[startup+0.073201 s]
/proc/loadavg: 4.00 4.00 3.58 5/189 21502
/proc/meminfo: memFree=27790916/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=71892 CPUtime=0.06 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 9818 0 0 0 5 1 0 0 23 0 1 0 892076422 73617408 9567 33554432000 4194304 4337479 140735637638464 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 17973 9568 220 35 0 14596 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 71892
[startup+0.1012 s]
/proc/loadavg: 4.00 4.00 3.58 5/189 21502
/proc/meminfo: memFree=27790916/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=75768 CPUtime=0.09 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 11442 0 0 0 8 1 0 0 23 0 1 0 892076422 77586432 10992 33554432000 4194304 4337479 140735637638464 18446744073709551615 216634176197 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 18942 10994 220 35 0 15565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 75768
[startup+0.301161 s]
/proc/loadavg: 4.00 4.00 3.58 5/189 21502
/proc/meminfo: memFree=27790916/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=110588 CPUtime=0.29 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 20902 0 0 0 27 2 0 0 25 0 1 0 892076422 113242112 19552 33554432000 4194304 4337479 140735637638464 18446744073709551615 216634515200 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 27647 19554 220 35 0 24270 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110588
[startup+0.701103 s]
/proc/loadavg: 4.00 4.00 3.58 5/189 21502
/proc/meminfo: memFree=27790916/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=164264 CPUtime=0.69 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 33392 0 0 0 65 4 0 0 25 0 1 0 892076422 168206336 30587 33554432000 4194304 4337479 140735637638464 18446744073709551615 4222563 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 41066 30587 226 35 0 37689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 164264
[startup+1.50096 s]
/proc/loadavg: 4.00 4.00 3.59 5/190 21503
/proc/meminfo: memFree=27684168/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=190372 CPUtime=1.49 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 53975 0 0 0 142 7 0 0 25 0 1 0 892076422 194940928 37631 33554432000 4194304 4337479 140735637638464 18446744073709551615 4281435 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 47593 37631 256 35 0 44216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190372
[startup+3.10064 s]
/proc/loadavg: 4.00 4.00 3.59 5/190 21503
/proc/meminfo: memFree=27640068/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=3.09 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54029 0 0 0 302 7 0 0 25 0 1 0 892076422 175816704 34343 33554432000 4194304 4337479 140735637638464 18446744073709551615 4290693 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34343 256 35 0 39547 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 171696
[startup+6.3011 s]
/proc/loadavg: 4.00 4.00 3.59 5/187 21531
/proc/meminfo: memFree=27859396/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=6.29 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54029 0 0 0 622 7 0 0 25 0 1 0 892076422 175816704 34343 33554432000 4194304 4337479 140735637638464 18446744073709551615 4278671 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34343 256 35 0 39547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171696
[startup+12.701 s]
/proc/loadavg: 4.08 4.02 3.60 5/190 21541
/proc/meminfo: memFree=27303500/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=12.69 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54030 0 0 0 1262 7 0 0 25 0 1 0 892076422 175816704 34344 33554432000 4194304 4337479 140735637638464 18446744073709551615 4309775 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34344 257 35 0 39547 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 171696
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 4.08 4.02 3.60 5/190 21541
/proc/meminfo: memFree=27245352/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=15.89 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54030 0 0 0 1582 7 0 0 25 0 1 0 892076422 175816704 34344 33554432000 4194304 4337479 140735637638464 18446744073709551615 4281698 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34344 257 35 0 39547 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 171696
[startup+17.5011 s]
/proc/loadavg: 4.07 4.02 3.60 5/190 21541
/proc/meminfo: memFree=27309208/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=17.5 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54030 0 0 0 1742 8 0 0 25 0 1 0 892076422 175816704 34344 33554432000 4194304 4337479 140735637638464 18446744073709551615 4305080 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34344 257 35 0 39547 0
Current children cumulated CPU time (s) 17.5
Current children cumulated vsize (KiB) 171696
[startup+19.1008 s]
/proc/loadavg: 4.07 4.02 3.60 5/190 21542
/proc/meminfo: memFree=27309208/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=19.1 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54030 0 0 0 1902 8 0 0 25 0 1 0 892076422 175816704 34344 33554432000 4194304 4337479 140735637638464 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34344 257 35 0 39547 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 171696
[startup+19.5008 s]
/proc/loadavg: 4.07 4.02 3.60 5/190 21542
/proc/meminfo: memFree=27309208/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=19.5 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54030 0 0 0 1942 8 0 0 25 0 1 0 892076422 175816704 34344 33554432000 4194304 4337479 140735637638464 18446744073709551615 4303075 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34344 257 35 0 39547 0
Current children cumulated CPU time (s) 19.5
Current children cumulated vsize (KiB) 171696
[startup+19.9007 s]
/proc/loadavg: 4.07 4.02 3.60 5/190 21542
/proc/meminfo: memFree=27308960/32951124 swapFree=67052812/67111528
[pid=21502] ppid=21500 vsize=171696 CPUtime=19.89 cores=4,6
/proc/21502/stat : 21502 (hmuc) R 21500 21502 20670 0 -1 4202496 54030 0 0 0 1981 8 0 0 25 0 1 0 892076422 175816704 34344 33554432000 4194304 4337479 140735637638464 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/21502/statm: 42924 34344 257 35 0 39547 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (KiB) 171696
Child status: 20
Real time (s): 19.9755
CPU time (s): 19.975
CPU user time (s): 19.888
CPU system time (s): 0.086986
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 211460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.888
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 33
runsolver used 0.038994 second user time and 0.075988 second system time
The end
Begin job on node103 at 2011-06-11 17:05:38
IDJOB=3494704
IDBENCH=89432
IDSOLVER=1985
FILE ID=node103/3494704-1307804737
RUNJOBID= node103-1307802577-20689
PBS_JOBID= 13551073
Free space on /tmp= 74040 MiB
SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/design-debugging/s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494704-1307804737/watcher-3494704-1307804737 -o /tmp/evaluation-result-3494704-1307804737/solver-3494704-1307804737 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494704-1307804737.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 06612cef79ba498076fdb87b528897ec
RANDOM SEED=270217149
node103.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.858
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.71
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.858
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.858
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.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.75
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.858
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.858
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.83
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.858
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27791460 kB
Buffers: 298840 kB
Cached: 866520 kB
SwapCached: 22864 kB
Active: 4277272 kB
Inactive: 665936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27791460 kB
SwapTotal: 67111528 kB
SwapFree: 67052812 kB
Dirty: 15664 kB
Writeback: 0 kB
AnonPages: 3775692 kB
Mapped: 9660 kB
Slab: 144076 kB
PageTables: 12716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 4131848 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= 73960 MiB
End job on node103 at 2011-06-11 17:05:58