Trace number 3494404

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC 2011-04-07UNSAT 21.9207 21.9266

General information on the benchmark

Namemus/marques-silva/design-debugging/
s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf
MD5SUM06612cef79ba498076fdb87b528897ec
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.20336
Satisfiable
(Un)Satisfiability was proved
Number of variables314258
Number of clauses819830
Sum of the clauses size1823190
Maximum clause length5
Minimum clause length1
Number of clauses of size 15512
Number of clauses of size 2654046
Number of clauses of size 3141050
Number of clauses of size 49674
Number of clauses of size 59548
Number of clauses of size over 50

Solver Data 

2.39/2.48	c WARNING: for repeatability, setting FPU to use double precision
2.39/2.48	c iter 1 time 0.443932 not-muc 819040 unknown 790 muc 0
2.39/2.48	c iter 2 time 0.732888 not-muc 819040 unknown 789 muc 1
2.39/2.48	c iter 3 time 0.756884 not-muc 819040 unknown 788 muc 2
2.39/2.48	c iter 4 time 0.779881 not-muc 819040 unknown 787 muc 3
2.39/2.48	c iter 5 time 0.803877 not-muc 819040 unknown 786 muc 4
2.39/2.48	c iter 6 time 0.827874 not-muc 819040 unknown 785 muc 5
2.39/2.48	c iter 7 time 0.85187 not-muc 819040 unknown 784 muc 6
2.39/2.48	c iter 8 time 0.874867 not-muc 819040 unknown 783 muc 7
2.39/2.48	c iter 9 time 0.898863 not-muc 819040 unknown 782 muc 8
2.39/2.48	c iter 10 time 0.921859 not-muc 819040 unknown 781 muc 9
2.39/2.48	c iter 11 time 0.945856 not-muc 819040 unknown 780 muc 10
2.39/2.48	c iter 12 time 0.968852 not-muc 819040 unknown 779 muc 11
2.39/2.48	c iter 13 time 0.991849 not-muc 819040 unknown 778 muc 12
2.39/2.48	c iter 14 time 1.01585 not-muc 819040 unknown 777 muc 13
2.39/2.48	c iter 15 time 1.03884 not-muc 819040 unknown 776 muc 14
2.39/2.48	c iter 16 time 1.06184 not-muc 819040 unknown 775 muc 15
2.39/2.48	c iter 17 time 1.08583 not-muc 819040 unknown 774 muc 16
2.39/2.48	c iter 18 time 1.10983 not-muc 819040 unknown 773 muc 17
2.39/2.48	c iter 19 time 1.13283 not-muc 819040 unknown 772 muc 18
2.39/2.48	c iter 20 time 1.15582 not-muc 819040 unknown 771 muc 19
2.39/2.48	c iter 21 time 1.17982 not-muc 819040 unknown 770 muc 20
2.39/2.48	c iter 22 time 1.20382 not-muc 819040 unknown 769 muc 21
2.39/2.48	c iter 23 time 1.22781 not-muc 819040 unknown 768 muc 22
2.39/2.48	c iter 24 time 1.25081 not-muc 819040 unknown 767 muc 23
2.39/2.48	c iter 25 time 1.27581 not-muc 819040 unknown 766 muc 24
2.39/2.48	c iter 26 time 1.2998 not-muc 819040 unknown 765 muc 25
2.39/2.48	c iter 27 time 1.3238 not-muc 819040 unknown 764 muc 26
2.39/2.48	c iter 28 time 1.3478 not-muc 819040 unknown 763 muc 27
2.39/2.48	c iter 29 time 1.37179 not-muc 819040 unknown 762 muc 28
2.39/2.48	c iter 30 time 1.39579 not-muc 819040 unknown 761 muc 29
2.39/2.48	c iter 31 time 1.41978 not-muc 819040 unknown 760 muc 30
2.39/2.48	c iter 32 time 1.44378 not-muc 819040 unknown 759 muc 31
2.39/2.48	c iter 33 time 1.46778 not-muc 819040 unknown 758 muc 32
2.39/2.48	c iter 34 time 1.49177 not-muc 819040 unknown 757 muc 33
2.39/2.48	c iter 35 time 1.51577 not-muc 819040 unknown 756 muc 34
2.39/2.48	c iter 36 time 1.53977 not-muc 819040 unknown 755 muc 35
2.39/2.48	c iter 37 time 1.56476 not-muc 819040 unknown 754 muc 36
2.39/2.48	c iter 38 time 1.58876 not-muc 819040 unknown 753 muc 37
2.39/2.48	c iter 39 time 1.61275 not-muc 819040 unknown 752 muc 38
2.39/2.48	c iter 40 time 1.63675 not-muc 819040 unknown 751 muc 39
2.39/2.48	c iter 41 time 1.66075 not-muc 819040 unknown 750 muc 40
2.39/2.48	c iter 42 time 1.68474 not-muc 819040 unknown 749 muc 41
2.39/2.48	c iter 43 time 1.70774 not-muc 819040 unknown 748 muc 42
2.39/2.48	c iter 44 time 1.73174 not-muc 819040 unknown 747 muc 43
2.39/2.48	c iter 45 time 1.75573 not-muc 819040 unknown 746 muc 44
2.39/2.48	c iter 46 time 1.77973 not-muc 819040 unknown 745 muc 45
2.39/2.48	c iter 47 time 1.80373 not-muc 819040 unknown 744 muc 46
2.39/2.48	c iter 48 time 1.82772 not-muc 819040 unknown 743 muc 47
2.39/2.48	c iter 49 time 1.85072 not-muc 819040 unknown 742 muc 48
2.39/2.48	c iter 50 time 1.87472 not-muc 819040 unknown 741 muc 49
2.39/2.48	c iter 51 time 1.89871 not-muc 819040 unknown 740 muc 50
2.39/2.48	c iter 52 time 1.92271 not-muc 819040 unknown 739 muc 51
2.39/2.48	c iter 53 time 1.9467 not-muc 819040 unknown 738 muc 52
2.39/2.48	c iter 54 time 1.9707 not-muc 819040 unknown 737 muc 53
2.39/2.48	c iter 55 time 1.9947 not-muc 819040 unknown 736 muc 54
2.39/2.48	c iter 56 time 2.01869 not-muc 819040 unknown 735 muc 55
2.39/2.48	c iter 57 time 2.04269 not-muc 819040 unknown 734 muc 56
2.39/2.48	c iter 58 time 2.06669 not-muc 819040 unknown 733 muc 57
2.39/2.48	c iter 59 time 2.09068 not-muc 819040 unknown 732 muc 58
2.39/2.48	c iter 60 time 2.11468 not-muc 819040 unknown 731 muc 59
2.39/2.48	c iter 61 time 2.13867 not-muc 819040 unknown 730 muc 60
2.39/2.48	c iter 62 time 2.16267 not-muc 819040 unknown 729 muc 61
2.39/2.48	c iter 63 time 2.18667 not-muc 819040 unknown 728 muc 62
2.39/2.48	c iter 64 time 2.21066 not-muc 819040 unknown 727 muc 63
2.39/2.48	c iter 65 time 2.23466 not-muc 819040 unknown 726 muc 64
2.39/2.48	c iter 66 time 2.25866 not-muc 819040 unknown 725 muc 65
2.39/2.48	c iter 67 time 2.30565 not-muc 819040 unknown 724 muc 66
2.39/2.48	c iter 68 time 2.32965 not-muc 819040 unknown 723 muc 67
2.39/2.48	c iter 69 time 2.35464 not-muc 819040 unknown 722 muc 68
2.39/2.48	c iter 70 time 2.37864 not-muc 819040 unknown 721 muc 69
2.39/2.48	c iter 71 time 2.41263 not-muc 819040 unknown 720 muc 70
4.30/4.32	c iter 72 time 2.44063 not-muc 819040 unknown 719 muc 71
4.30/4.32	c iter 73 time 2.46762 not-muc 819040 unknown 718 muc 72
4.30/4.32	c iter 74 time 2.49462 not-muc 819040 unknown 717 muc 73
4.30/4.32	c iter 75 time 2.52262 not-muc 819040 unknown 716 muc 74
4.30/4.32	c iter 76 time 2.54961 not-muc 819040 unknown 715 muc 75
4.30/4.32	c iter 77 time 2.57761 not-muc 819040 unknown 714 muc 76
4.30/4.32	c iter 78 time 2.6046 not-muc 819040 unknown 713 muc 77
4.30/4.32	c iter 79 time 2.6326 not-muc 819040 unknown 712 muc 78
4.30/4.32	c iter 80 time 2.65959 not-muc 819040 unknown 711 muc 79
4.30/4.32	c iter 81 time 2.68759 not-muc 819040 unknown 710 muc 80
4.30/4.32	c iter 82 time 2.71459 not-muc 819040 unknown 709 muc 81
4.30/4.32	c iter 83 time 2.74258 not-muc 819040 unknown 708 muc 82
4.30/4.32	c iter 84 time 2.76958 not-muc 819040 unknown 707 muc 83
4.30/4.32	c iter 85 time 2.79757 not-muc 819040 unknown 706 muc 84
4.30/4.32	c iter 86 time 2.82457 not-muc 819040 unknown 705 muc 85
4.30/4.32	c iter 87 time 2.85257 not-muc 819040 unknown 704 muc 86
4.30/4.32	c iter 88 time 2.88056 not-muc 819040 unknown 703 muc 87
4.30/4.32	c iter 89 time 2.90856 not-muc 819040 unknown 702 muc 88
4.30/4.32	c iter 90 time 2.93655 not-muc 819040 unknown 701 muc 89
4.30/4.32	c iter 91 time 2.96455 not-muc 819040 unknown 700 muc 90
4.30/4.32	c iter 92 time 2.99154 not-muc 819040 unknown 699 muc 91
4.30/4.32	c iter 93 time 3.01954 not-muc 819040 unknown 698 muc 92
4.30/4.32	c iter 94 time 3.04754 not-muc 819040 unknown 697 muc 93
4.30/4.32	c iter 95 time 3.07653 not-muc 819040 unknown 696 muc 94
4.30/4.32	c iter 96 time 3.10453 not-muc 819040 unknown 695 muc 95
4.30/4.32	c iter 97 time 3.13252 not-muc 819040 unknown 694 muc 96
4.30/4.32	c iter 98 time 3.16052 not-muc 819040 unknown 693 muc 97
4.30/4.32	c iter 99 time 3.18851 not-muc 819040 unknown 692 muc 98
4.30/4.32	c iter 100 time 3.21651 not-muc 819040 unknown 691 muc 99
4.30/4.32	c iter 101 time 3.24451 not-muc 819040 unknown 690 muc 100
4.30/4.32	c iter 102 time 3.2725 not-muc 819040 unknown 689 muc 101
4.30/4.32	c iter 103 time 3.3005 not-muc 819040 unknown 688 muc 102
4.30/4.32	c iter 104 time 3.32449 not-muc 819040 unknown 687 muc 103
4.30/4.32	c iter 105 time 3.34849 not-muc 819040 unknown 686 muc 104
4.30/4.32	c iter 106 time 3.37249 not-muc 819040 unknown 685 muc 105
4.30/4.32	c iter 107 time 3.39648 not-muc 819040 unknown 684 muc 106
4.30/4.32	c iter 108 time 3.42048 not-muc 819040 unknown 683 muc 107
4.30/4.32	c iter 109 time 3.44448 not-muc 819040 unknown 682 muc 108
4.30/4.32	c iter 110 time 3.46847 not-muc 819040 unknown 681 muc 109
4.30/4.32	c iter 111 time 3.49247 not-muc 819040 unknown 680 muc 110
4.30/4.32	c iter 112 time 3.51647 not-muc 819040 unknown 679 muc 111
4.30/4.32	c iter 113 time 3.54046 not-muc 819040 unknown 678 muc 112
4.30/4.32	c iter 114 time 3.56546 not-muc 819040 unknown 677 muc 113
4.30/4.32	c iter 115 time 3.58945 not-muc 819040 unknown 676 muc 114
4.30/4.32	c iter 116 time 3.61345 not-muc 819040 unknown 675 muc 115
4.30/4.32	c iter 117 time 3.63745 not-muc 819040 unknown 674 muc 116
4.30/4.32	c iter 118 time 3.66144 not-muc 819040 unknown 673 muc 117
4.30/4.32	c iter 119 time 3.68544 not-muc 819040 unknown 672 muc 118
4.30/4.32	c iter 120 time 3.71043 not-muc 819040 unknown 671 muc 119
4.30/4.32	c iter 121 time 3.73443 not-muc 819040 unknown 670 muc 120
4.30/4.32	c iter 122 time 3.75843 not-muc 819040 unknown 669 muc 121
4.30/4.32	c iter 123 time 3.78342 not-muc 819040 unknown 668 muc 122
4.30/4.32	c iter 124 time 3.80742 not-muc 819040 unknown 667 muc 123
4.30/4.32	c iter 125 time 3.83142 not-muc 819040 unknown 666 muc 124
4.30/4.32	c iter 126 time 3.85641 not-muc 819040 unknown 665 muc 125
4.30/4.32	c iter 127 time 3.88041 not-muc 819040 unknown 664 muc 126
4.30/4.32	c iter 128 time 3.90441 not-muc 819040 unknown 663 muc 127
4.30/4.32	c iter 129 time 3.9294 not-muc 819040 unknown 662 muc 128
4.30/4.32	c iter 130 time 3.9534 not-muc 819040 unknown 661 muc 129
4.30/4.32	c iter 131 time 3.9774 not-muc 819040 unknown 660 muc 130
4.30/4.32	c iter 132 time 4.00239 not-muc 819040 unknown 659 muc 131
4.30/4.32	c iter 133 time 4.02639 not-muc 819040 unknown 658 muc 132
4.30/4.32	c iter 134 time 4.05138 not-muc 819040 unknown 657 muc 133
4.30/4.32	c iter 135 time 4.07538 not-muc 819040 unknown 656 muc 134
4.30/4.32	c iter 136 time 4.10038 not-muc 819040 unknown 655 muc 135
4.30/4.32	c iter 137 time 4.12437 not-muc 819040 unknown 654 muc 136
4.30/4.32	c iter 138 time 4.14937 not-muc 819040 unknown 653 muc 137
4.30/4.32	c iter 139 time 4.17436 not-muc 819040 unknown 652 muc 138
4.30/4.32	c iter 140 time 4.19836 not-muc 819040 unknown 651 muc 139
4.30/4.32	c iter 141 time 4.22336 not-muc 819040 unknown 650 muc 140
4.30/4.32	c iter 142 time 4.24835 not-muc 819040 unknown 649 muc 141
5.99/6.08	c iter 143 time 4.27235 not-muc 819040 unknown 648 muc 142
5.99/6.08	c iter 144 time 4.29635 not-muc 819040 unknown 647 muc 143
5.99/6.08	c iter 145 time 4.32134 not-muc 819040 unknown 646 muc 144
5.99/6.08	c iter 146 time 4.34534 not-muc 819040 unknown 645 muc 145
5.99/6.08	c iter 147 time 4.37033 not-muc 819040 unknown 644 muc 146
5.99/6.08	c iter 148 time 4.39533 not-muc 819040 unknown 643 muc 147
5.99/6.08	c iter 149 time 4.42033 not-muc 819040 unknown 642 muc 148
5.99/6.08	c iter 150 time 4.44532 not-muc 819040 unknown 641 muc 149
5.99/6.08	c iter 151 time 4.46932 not-muc 819040 unknown 640 muc 150
5.99/6.08	c iter 152 time 4.49432 not-muc 819040 unknown 639 muc 151
5.99/6.08	c iter 153 time 4.51931 not-muc 819040 unknown 638 muc 152
5.99/6.08	c iter 154 time 4.54531 not-muc 819040 unknown 637 muc 153
5.99/6.08	c iter 155 time 4.57031 not-muc 819040 unknown 636 muc 154
5.99/6.08	c iter 156 time 4.5953 not-muc 819040 unknown 635 muc 155
5.99/6.08	c iter 157 time 4.6213 not-muc 819040 unknown 634 muc 156
5.99/6.08	c iter 158 time 4.64629 not-muc 819040 unknown 633 muc 157
5.99/6.08	c iter 159 time 4.67129 not-muc 819040 unknown 632 muc 158
5.99/6.08	c iter 160 time 4.69728 not-muc 819040 unknown 631 muc 159
5.99/6.08	c iter 161 time 4.72328 not-muc 819040 unknown 630 muc 160
5.99/6.08	c iter 162 time 4.74828 not-muc 819040 unknown 629 muc 161
5.99/6.08	c iter 163 time 4.77427 not-muc 819040 unknown 628 muc 162
5.99/6.08	c iter 164 time 4.80027 not-muc 819040 unknown 627 muc 163
5.99/6.08	c iter 165 time 4.82527 not-muc 819040 unknown 626 muc 164
5.99/6.08	c iter 166 time 4.85126 not-muc 819040 unknown 625 muc 165
5.99/6.08	c iter 167 time 4.87626 not-muc 819040 unknown 624 muc 166
5.99/6.08	c iter 168 time 4.90225 not-muc 819040 unknown 623 muc 167
5.99/6.08	c iter 169 time 4.92825 not-muc 819040 unknown 622 muc 168
5.99/6.08	c iter 170 time 4.95425 not-muc 819040 unknown 621 muc 169
5.99/6.08	c iter 171 time 4.98024 not-muc 819040 unknown 620 muc 170
5.99/6.08	c iter 172 time 5.00524 not-muc 819040 unknown 619 muc 171
5.99/6.08	c iter 173 time 5.03123 not-muc 819040 unknown 618 muc 172
5.99/6.08	c iter 174 time 5.05723 not-muc 819040 unknown 617 muc 173
5.99/6.08	c iter 175 time 5.08323 not-muc 819040 unknown 616 muc 174
5.99/6.08	c iter 176 time 5.10922 not-muc 819040 unknown 615 muc 175
5.99/6.08	c iter 177 time 5.13422 not-muc 819040 unknown 614 muc 176
5.99/6.08	c iter 178 time 5.16021 not-muc 819040 unknown 613 muc 177
5.99/6.08	c iter 179 time 5.18621 not-muc 819040 unknown 612 muc 178
5.99/6.08	c iter 180 time 5.21221 not-muc 819040 unknown 611 muc 179
5.99/6.08	c iter 181 time 5.2382 not-muc 819040 unknown 610 muc 180
5.99/6.08	c iter 182 time 5.2642 not-muc 819040 unknown 609 muc 181
5.99/6.08	c iter 183 time 5.29019 not-muc 819040 unknown 608 muc 182
5.99/6.08	c iter 184 time 5.31519 not-muc 819040 unknown 607 muc 183
5.99/6.08	c iter 185 time 5.34119 not-muc 819040 unknown 606 muc 184
5.99/6.08	c iter 186 time 5.36618 not-muc 819040 unknown 605 muc 185
5.99/6.08	c iter 187 time 5.39218 not-muc 819040 unknown 604 muc 186
5.99/6.08	c iter 188 time 5.41818 not-muc 819040 unknown 603 muc 187
5.99/6.08	c iter 189 time 5.44317 not-muc 819040 unknown 602 muc 188
5.99/6.08	c iter 190 time 5.46917 not-muc 819040 unknown 601 muc 189
5.99/6.08	c iter 191 time 5.49416 not-muc 819040 unknown 600 muc 190
5.99/6.08	c iter 192 time 5.52016 not-muc 819040 unknown 599 muc 191
5.99/6.08	c iter 193 time 5.54616 not-muc 819040 unknown 598 muc 192
5.99/6.08	c iter 194 time 5.57115 not-muc 819040 unknown 597 muc 193
5.99/6.08	c iter 195 time 5.59715 not-muc 819040 unknown 596 muc 194
5.99/6.08	c iter 196 time 5.62315 not-muc 819040 unknown 595 muc 195
5.99/6.08	c iter 197 time 5.64814 not-muc 819040 unknown 594 muc 196
5.99/6.08	c iter 198 time 5.67414 not-muc 819040 unknown 593 muc 197
5.99/6.08	c iter 199 time 5.70013 not-muc 819040 unknown 592 muc 198
5.99/6.08	c iter 200 time 5.72613 not-muc 819040 unknown 591 muc 199
5.99/6.08	c iter 201 time 5.75213 not-muc 819040 unknown 590 muc 200
5.99/6.08	c iter 202 time 5.77812 not-muc 819040 unknown 589 muc 201
5.99/6.08	c iter 203 time 5.80412 not-muc 819040 unknown 588 muc 202
5.99/6.08	c iter 204 time 5.83011 not-muc 819040 unknown 587 muc 203
5.99/6.08	c iter 205 time 5.85611 not-muc 819040 unknown 586 muc 204
5.99/6.08	c iter 206 time 5.88211 not-muc 819040 unknown 585 muc 205
5.99/6.08	c iter 207 time 5.9081 not-muc 819040 unknown 584 muc 206
5.99/6.08	c iter 208 time 5.9341 not-muc 819040 unknown 583 muc 207
5.99/6.08	c iter 209 time 5.96009 not-muc 819040 unknown 582 muc 208
5.99/6.08	c iter 210 time 5.98609 not-muc 819040 unknown 581 muc 209
5.99/6.08	c iter 211 time 6.01209 not-muc 819040 unknown 580 muc 210
7.89/7.95	c iter 212 time 6.03808 not-muc 819040 unknown 579 muc 211
7.89/7.95	c iter 213 time 6.06408 not-muc 819040 unknown 578 muc 212
7.89/7.95	c iter 214 time 6.09007 not-muc 819040 unknown 577 muc 213
7.89/7.95	c iter 215 time 6.11707 not-muc 819040 unknown 576 muc 214
7.89/7.95	c iter 216 time 6.14307 not-muc 819040 unknown 575 muc 215
7.89/7.95	c iter 217 time 6.16906 not-muc 819040 unknown 574 muc 216
7.89/7.95	c iter 218 time 6.19506 not-muc 819040 unknown 573 muc 217
7.89/7.95	c iter 219 time 6.22205 not-muc 819040 unknown 572 muc 218
7.89/7.95	c iter 220 time 6.24805 not-muc 819040 unknown 571 muc 219
7.89/7.95	c iter 221 time 6.27405 not-muc 819040 unknown 570 muc 220
7.89/7.95	c iter 222 time 6.30004 not-muc 819040 unknown 569 muc 221
7.89/7.95	c iter 223 time 6.32504 not-muc 819040 unknown 568 muc 222
7.89/7.95	c iter 224 time 6.35103 not-muc 819040 unknown 567 muc 223
7.89/7.95	c iter 225 time 6.37703 not-muc 819040 unknown 566 muc 224
7.89/7.95	c iter 226 time 6.40303 not-muc 819040 unknown 565 muc 225
7.89/7.95	c iter 227 time 6.42902 not-muc 819040 unknown 564 muc 226
7.89/7.95	c iter 228 time 6.45402 not-muc 819040 unknown 563 muc 227
7.89/7.95	c iter 229 time 6.48001 not-muc 819040 unknown 562 muc 228
7.89/7.95	c iter 230 time 6.50601 not-muc 819040 unknown 561 muc 229
7.89/7.95	c iter 231 time 6.53201 not-muc 819040 unknown 560 muc 230
7.89/7.95	c iter 232 time 6.558 not-muc 819040 unknown 559 muc 231
7.89/7.95	c iter 233 time 6.584 not-muc 819040 unknown 558 muc 232
7.89/7.95	c iter 234 time 6.60999 not-muc 819040 unknown 557 muc 233
7.89/7.95	c iter 235 time 6.63599 not-muc 819040 unknown 556 muc 234
7.89/7.95	c iter 236 time 6.66299 not-muc 819040 unknown 555 muc 235
7.89/7.95	c iter 237 time 6.68898 not-muc 819040 unknown 554 muc 236
7.89/7.95	c iter 238 time 6.71598 not-muc 819040 unknown 553 muc 237
7.89/7.95	c iter 239 time 6.74297 not-muc 819040 unknown 552 muc 238
7.89/7.95	c iter 240 time 6.76897 not-muc 819040 unknown 551 muc 239
7.89/7.95	c iter 241 time 6.79597 not-muc 819040 unknown 550 muc 240
7.89/7.95	c iter 242 time 6.82296 not-muc 819040 unknown 549 muc 241
7.89/7.95	c iter 243 time 6.84896 not-muc 819040 unknown 548 muc 242
7.89/7.95	c iter 244 time 6.87595 not-muc 819040 unknown 547 muc 243
7.89/7.95	c iter 245 time 6.90295 not-muc 819040 unknown 546 muc 244
7.89/7.95	c iter 246 time 6.92995 not-muc 819040 unknown 545 muc 245
7.89/7.95	c iter 247 time 6.95594 not-muc 819040 unknown 544 muc 246
7.89/7.95	c iter 248 time 6.98294 not-muc 819040 unknown 543 muc 247
7.89/7.95	c iter 249 time 7.00993 not-muc 819040 unknown 542 muc 248
7.89/7.95	c iter 250 time 7.03693 not-muc 819040 unknown 541 muc 249
7.89/7.95	c iter 251 time 7.06393 not-muc 819040 unknown 540 muc 250
7.89/7.95	c iter 252 time 7.09092 not-muc 819040 unknown 539 muc 251
7.89/7.95	c iter 253 time 7.11792 not-muc 819040 unknown 538 muc 252
7.89/7.95	c iter 254 time 7.14391 not-muc 819040 unknown 537 muc 253
7.89/7.95	c iter 255 time 7.17191 not-muc 819040 unknown 536 muc 254
7.89/7.95	c iter 256 time 7.1989 not-muc 819040 unknown 535 muc 255
7.89/7.95	c iter 257 time 7.2259 not-muc 819040 unknown 534 muc 256
7.89/7.95	c iter 258 time 7.2529 not-muc 819040 unknown 533 muc 257
7.89/7.95	c iter 259 time 7.27889 not-muc 819040 unknown 532 muc 258
7.89/7.95	c iter 260 time 7.30589 not-muc 819040 unknown 531 muc 259
7.89/7.95	c iter 261 time 7.33188 not-muc 819040 unknown 530 muc 260
7.89/7.95	c iter 262 time 7.35888 not-muc 819040 unknown 529 muc 261
7.89/7.95	c iter 263 time 7.38588 not-muc 819040 unknown 528 muc 262
7.89/7.95	c iter 264 time 7.41287 not-muc 819040 unknown 527 muc 263
7.89/7.95	c iter 265 time 7.44087 not-muc 819040 unknown 526 muc 264
7.89/7.95	c iter 266 time 7.46786 not-muc 819040 unknown 525 muc 265
7.89/7.95	c iter 267 time 7.49386 not-muc 819040 unknown 524 muc 266
7.89/7.95	c iter 268 time 7.52186 not-muc 819040 unknown 523 muc 267
7.89/7.95	c iter 269 time 7.54885 not-muc 819040 unknown 522 muc 268
7.89/7.95	c iter 270 time 7.57585 not-muc 819040 unknown 521 muc 269
7.89/7.95	c iter 271 time 7.60384 not-muc 819040 unknown 520 muc 270
7.89/7.95	c iter 272 time 7.63084 not-muc 819040 unknown 519 muc 271
7.89/7.95	c iter 273 time 7.65784 not-muc 819040 unknown 518 muc 272
7.89/7.95	c iter 274 time 7.68583 not-muc 819040 unknown 517 muc 273
7.89/7.95	c iter 275 time 7.71283 not-muc 819040 unknown 516 muc 274
7.89/7.95	c iter 276 time 7.73982 not-muc 819040 unknown 515 muc 275
7.89/7.95	c iter 277 time 7.76682 not-muc 819040 unknown 514 muc 276
7.89/7.95	c iter 278 time 7.79382 not-muc 819040 unknown 513 muc 277
7.89/7.95	c iter 279 time 7.82181 not-muc 819040 unknown 512 muc 278
7.89/7.95	c iter 280 time 7.84881 not-muc 819040 unknown 511 muc 279
7.89/7.95	c iter 281 time 7.8768 not-muc 819040 unknown 510 muc 280
9.69/9.78	c iter 282 time 7.9038 not-muc 819040 unknown 509 muc 281
9.69/9.78	c iter 283 time 7.93179 not-muc 819040 unknown 508 muc 282
9.69/9.78	c iter 284 time 7.95979 not-muc 819040 unknown 507 muc 283
9.69/9.78	c iter 285 time 7.98679 not-muc 819040 unknown 506 muc 284
9.69/9.78	c iter 286 time 8.01478 not-muc 819040 unknown 505 muc 285
9.69/9.78	c iter 287 time 8.04278 not-muc 819040 unknown 504 muc 286
9.69/9.78	c iter 288 time 8.06977 not-muc 819040 unknown 503 muc 287
9.69/9.78	c iter 289 time 8.09777 not-muc 819040 unknown 502 muc 288
9.69/9.78	c iter 290 time 8.12576 not-muc 819040 unknown 501 muc 289
9.69/9.78	c iter 291 time 8.15376 not-muc 819040 unknown 500 muc 290
9.69/9.78	c iter 292 time 8.18076 not-muc 819040 unknown 499 muc 291
9.69/9.78	c iter 293 time 8.20875 not-muc 819040 unknown 498 muc 292
9.69/9.78	c iter 294 time 8.23575 not-muc 819040 unknown 497 muc 293
9.69/9.78	c iter 295 time 8.26274 not-muc 819040 unknown 496 muc 294
9.69/9.78	c iter 296 time 8.28974 not-muc 819040 unknown 495 muc 295
9.69/9.78	c iter 297 time 8.31774 not-muc 819040 unknown 494 muc 296
9.69/9.78	c iter 298 time 8.34473 not-muc 819040 unknown 493 muc 297
9.69/9.78	c iter 299 time 8.37173 not-muc 819040 unknown 492 muc 298
9.69/9.78	c iter 300 time 8.39972 not-muc 819040 unknown 491 muc 299
9.69/9.78	c iter 301 time 8.42672 not-muc 819040 unknown 490 muc 300
9.69/9.78	c iter 302 time 8.45371 not-muc 819040 unknown 489 muc 301
9.69/9.78	c iter 303 time 8.48171 not-muc 819040 unknown 488 muc 302
9.69/9.78	c iter 304 time 8.50971 not-muc 819040 unknown 487 muc 303
9.69/9.78	c iter 305 time 8.5367 not-muc 819040 unknown 486 muc 304
9.69/9.78	c iter 306 time 8.5637 not-muc 819040 unknown 485 muc 305
9.69/9.78	c iter 307 time 8.59169 not-muc 819040 unknown 484 muc 306
9.69/9.78	c iter 308 time 8.61869 not-muc 819040 unknown 483 muc 307
9.69/9.78	c iter 309 time 8.64668 not-muc 819040 unknown 482 muc 308
9.69/9.78	c iter 310 time 8.67468 not-muc 819040 unknown 481 muc 309
9.69/9.78	c iter 311 time 8.70168 not-muc 819040 unknown 480 muc 310
9.69/9.78	c iter 312 time 8.72967 not-muc 819040 unknown 479 muc 311
9.69/9.78	c iter 313 time 8.75767 not-muc 819040 unknown 478 muc 312
9.69/9.78	c iter 314 time 8.78466 not-muc 819040 unknown 477 muc 313
9.69/9.78	c iter 315 time 8.81166 not-muc 819040 unknown 476 muc 314
9.69/9.78	c iter 316 time 8.83966 not-muc 819040 unknown 475 muc 315
9.69/9.78	c iter 317 time 8.86765 not-muc 819040 unknown 474 muc 316
9.69/9.78	c iter 318 time 8.89465 not-muc 819040 unknown 473 muc 317
9.69/9.78	c iter 319 time 8.92264 not-muc 819040 unknown 472 muc 318
9.69/9.78	c iter 320 time 8.95364 not-muc 819040 unknown 471 muc 319
9.69/9.78	c iter 321 time 8.97763 not-muc 819040 unknown 470 muc 320
9.69/9.78	c iter 322 time 9.00063 not-muc 819040 unknown 469 muc 321
9.69/9.78	c iter 323 time 9.02363 not-muc 819040 unknown 468 muc 322
9.69/9.78	c iter 324 time 9.04762 not-muc 819040 unknown 467 muc 323
9.69/9.78	c iter 325 time 9.07062 not-muc 819040 unknown 466 muc 324
9.69/9.78	c iter 326 time 9.09462 not-muc 819040 unknown 465 muc 325
9.69/9.78	c iter 327 time 9.11761 not-muc 819040 unknown 464 muc 326
9.69/9.78	c iter 328 time 9.14161 not-muc 819040 unknown 463 muc 327
9.69/9.78	c iter 329 time 9.16461 not-muc 819040 unknown 462 muc 328
9.69/9.78	c iter 330 time 9.1926 not-muc 819040 unknown 461 muc 329
9.69/9.78	c iter 331 time 9.2156 not-muc 819040 unknown 460 muc 330
9.69/9.78	c iter 332 time 9.2386 not-muc 819040 unknown 459 muc 331
9.69/9.78	c iter 333 time 9.26259 not-muc 819040 unknown 458 muc 332
9.69/9.78	c iter 334 time 9.28559 not-muc 819040 unknown 457 muc 333
9.69/9.78	c iter 335 time 9.30958 not-muc 819040 unknown 456 muc 334
9.69/9.78	c iter 336 time 9.33358 not-muc 819040 unknown 455 muc 335
9.69/9.78	c iter 337 time 9.35658 not-muc 819040 unknown 454 muc 336
9.69/9.78	c iter 338 time 9.38057 not-muc 819040 unknown 453 muc 337
9.69/9.78	c iter 339 time 9.40857 not-muc 819040 unknown 452 muc 338
9.69/9.78	c iter 340 time 9.43656 not-muc 819040 unknown 451 muc 339
9.69/9.78	c iter 341 time 9.46456 not-muc 819040 unknown 450 muc 340
9.69/9.78	c iter 342 time 9.48856 not-muc 819040 unknown 449 muc 341
9.69/9.78	c iter 343 time 9.51155 not-muc 819040 unknown 448 muc 342
9.69/9.78	c iter 344 time 9.54055 not-muc 819040 unknown 447 muc 343
9.69/9.78	c iter 345 time 9.56355 not-muc 819040 unknown 446 muc 344
9.69/9.78	c iter 346 time 9.58754 not-muc 819040 unknown 445 muc 345
9.69/9.78	c iter 347 time 9.61154 not-muc 819040 unknown 444 muc 346
9.69/9.78	c iter 348 time 9.63554 not-muc 819040 unknown 443 muc 347
9.69/9.78	c iter 349 time 9.65853 not-muc 819040 unknown 442 muc 348
9.69/9.78	c iter 350 time 9.68253 not-muc 819040 unknown 441 muc 349
9.69/9.78	c iter 351 time 9.70652 not-muc 819040 unknown 440 muc 350
11.39/11.48	c iter 352 time 9.73052 not-muc 819040 unknown 439 muc 351
11.39/11.48	c iter 353 time 9.75352 not-muc 819040 unknown 438 muc 352
11.39/11.48	c iter 354 time 9.77751 not-muc 819040 unknown 437 muc 353
11.39/11.48	c iter 355 time 9.80251 not-muc 819040 unknown 436 muc 354
11.39/11.48	c iter 356 time 9.82651 not-muc 819040 unknown 435 muc 355
11.39/11.48	c iter 357 time 9.8495 not-muc 819040 unknown 434 muc 356
11.39/11.48	c iter 358 time 9.8735 not-muc 819040 unknown 433 muc 357
11.39/11.48	c iter 359 time 9.89749 not-muc 819040 unknown 432 muc 358
11.39/11.48	c iter 360 time 9.92249 not-muc 819040 unknown 431 muc 359
11.39/11.48	c iter 361 time 9.94549 not-muc 819040 unknown 430 muc 360
11.39/11.48	c iter 362 time 9.96948 not-muc 819040 unknown 429 muc 361
11.39/11.48	c iter 363 time 9.99448 not-muc 819040 unknown 428 muc 362
11.39/11.48	c iter 364 time 10.0185 not-muc 819040 unknown 427 muc 363
11.39/11.48	c iter 365 time 10.0425 not-muc 819040 unknown 426 muc 364
11.39/11.48	c iter 366 time 10.0665 not-muc 819040 unknown 425 muc 365
11.39/11.48	c iter 367 time 10.0905 not-muc 819040 unknown 424 muc 366
11.39/11.48	c iter 368 time 10.1145 not-muc 819040 unknown 423 muc 367
11.39/11.48	c iter 369 time 10.1395 not-muc 819040 unknown 422 muc 368
11.39/11.48	c iter 370 time 10.1635 not-muc 819040 unknown 421 muc 369
11.39/11.48	c iter 371 time 10.1885 not-muc 819040 unknown 420 muc 370
11.39/11.48	c iter 372 time 10.2124 not-muc 819040 unknown 419 muc 371
11.39/11.48	c iter 373 time 10.2364 not-muc 819040 unknown 418 muc 372
11.39/11.48	c iter 374 time 10.2604 not-muc 819040 unknown 417 muc 373
11.39/11.48	c iter 375 time 10.2844 not-muc 819040 unknown 416 muc 374
11.39/11.48	c iter 376 time 10.3094 not-muc 819040 unknown 415 muc 375
11.39/11.48	c iter 377 time 10.3334 not-muc 819040 unknown 414 muc 376
11.39/11.48	c iter 378 time 10.3584 not-muc 819040 unknown 413 muc 377
11.39/11.48	c iter 379 time 10.3824 not-muc 819040 unknown 412 muc 378
11.39/11.48	c iter 380 time 10.4074 not-muc 819040 unknown 411 muc 379
11.39/11.48	c iter 381 time 10.4314 not-muc 819040 unknown 410 muc 380
11.39/11.48	c iter 382 time 10.4564 not-muc 819040 unknown 409 muc 381
11.39/11.48	c iter 383 time 10.4804 not-muc 819040 unknown 408 muc 382
11.39/11.48	c iter 384 time 10.5054 not-muc 819040 unknown 407 muc 383
11.39/11.48	c iter 385 time 10.5304 not-muc 819040 unknown 406 muc 384
11.39/11.48	c iter 386 time 10.5544 not-muc 819040 unknown 405 muc 385
11.39/11.48	c iter 387 time 10.5794 not-muc 819040 unknown 404 muc 386
11.39/11.48	c iter 388 time 10.6044 not-muc 819040 unknown 403 muc 387
11.39/11.48	c iter 389 time 10.6284 not-muc 819040 unknown 402 muc 388
11.39/11.48	c iter 390 time 10.6534 not-muc 819040 unknown 401 muc 389
11.39/11.48	c iter 391 time 10.6784 not-muc 819040 unknown 400 muc 390
11.39/11.48	c iter 392 time 10.7034 not-muc 819040 unknown 399 muc 391
11.39/11.48	c iter 393 time 10.7284 not-muc 819040 unknown 398 muc 392
11.39/11.48	c iter 394 time 10.7534 not-muc 819040 unknown 397 muc 393
11.39/11.48	c iter 395 time 10.7784 not-muc 819040 unknown 396 muc 394
11.39/11.48	c iter 396 time 10.8024 not-muc 819040 unknown 395 muc 395
11.39/11.48	c iter 397 time 10.8274 not-muc 819040 unknown 394 muc 396
11.39/11.48	c iter 398 time 10.8523 not-muc 819040 unknown 393 muc 397
11.39/11.48	c iter 399 time 10.8773 not-muc 819040 unknown 392 muc 398
11.39/11.48	c iter 400 time 10.9023 not-muc 819040 unknown 391 muc 399
11.39/11.48	c iter 401 time 10.9273 not-muc 819040 unknown 390 muc 400
11.39/11.48	c iter 402 time 10.9523 not-muc 819040 unknown 389 muc 401
11.39/11.48	c iter 403 time 10.9773 not-muc 819040 unknown 388 muc 402
11.39/11.48	c iter 404 time 11.0023 not-muc 819040 unknown 387 muc 403
11.39/11.48	c iter 405 time 11.0273 not-muc 819040 unknown 386 muc 404
11.39/11.48	c iter 406 time 11.0523 not-muc 819040 unknown 385 muc 405
11.39/11.48	c iter 407 time 11.0773 not-muc 819040 unknown 384 muc 406
11.39/11.48	c iter 408 time 11.1023 not-muc 819040 unknown 383 muc 407
11.39/11.48	c iter 409 time 11.1283 not-muc 819040 unknown 382 muc 408
11.39/11.48	c iter 410 time 11.1533 not-muc 819040 unknown 381 muc 409
11.39/11.48	c iter 411 time 11.1783 not-muc 819040 unknown 380 muc 410
11.39/11.48	c iter 412 time 11.2033 not-muc 819040 unknown 379 muc 411
11.39/11.48	c iter 413 time 11.2293 not-muc 819040 unknown 378 muc 412
11.39/11.48	c iter 414 time 11.2543 not-muc 819040 unknown 377 muc 413
11.39/11.48	c iter 415 time 11.2793 not-muc 819040 unknown 376 muc 414
11.39/11.48	c iter 416 time 11.3043 not-muc 819040 unknown 375 muc 415
11.39/11.48	c iter 417 time 11.3293 not-muc 819040 unknown 374 muc 416
11.39/11.48	c iter 418 time 11.3543 not-muc 819040 unknown 373 muc 417
11.39/11.48	c iter 419 time 11.3793 not-muc 819040 unknown 372 muc 418
11.39/11.48	c iter 420 time 11.4043 not-muc 819040 unknown 371 muc 419
13.20/13.28	c iter 421 time 11.4293 not-muc 819040 unknown 370 muc 420
13.20/13.28	c iter 422 time 11.4543 not-muc 819040 unknown 369 muc 421
13.20/13.28	c iter 423 time 11.4793 not-muc 819040 unknown 368 muc 422
13.20/13.28	c iter 424 time 11.5043 not-muc 819040 unknown 367 muc 423
13.20/13.28	c iter 425 time 11.5292 not-muc 819040 unknown 366 muc 424
13.20/13.28	c iter 426 time 11.5542 not-muc 819040 unknown 365 muc 425
13.20/13.28	c iter 427 time 11.5792 not-muc 819040 unknown 364 muc 426
13.20/13.28	c iter 428 time 11.6042 not-muc 819040 unknown 363 muc 427
13.20/13.28	c iter 429 time 11.6292 not-muc 819040 unknown 362 muc 428
13.20/13.28	c iter 430 time 11.6542 not-muc 819040 unknown 361 muc 429
13.20/13.28	c iter 431 time 11.6792 not-muc 819040 unknown 360 muc 430
13.20/13.28	c iter 432 time 11.7042 not-muc 819040 unknown 359 muc 431
13.20/13.28	c iter 433 time 11.7292 not-muc 819040 unknown 358 muc 432
13.20/13.28	c iter 434 time 11.7542 not-muc 819040 unknown 357 muc 433
13.20/13.28	c iter 435 time 11.7792 not-muc 819040 unknown 356 muc 434
13.20/13.28	c iter 436 time 11.8042 not-muc 819040 unknown 355 muc 435
13.20/13.28	c iter 437 time 11.8302 not-muc 819040 unknown 354 muc 436
13.20/13.28	c iter 438 time 11.8552 not-muc 819040 unknown 353 muc 437
13.20/13.28	c iter 439 time 11.8802 not-muc 819040 unknown 352 muc 438
13.20/13.28	c iter 440 time 11.9052 not-muc 819040 unknown 351 muc 439
13.20/13.28	c iter 441 time 11.9302 not-muc 819040 unknown 350 muc 440
13.20/13.28	c iter 442 time 11.9552 not-muc 819040 unknown 349 muc 441
13.20/13.28	c iter 443 time 11.9812 not-muc 819040 unknown 348 muc 442
13.20/13.28	c iter 444 time 12.0062 not-muc 819040 unknown 347 muc 443
13.20/13.28	c iter 445 time 12.0312 not-muc 819040 unknown 346 muc 444
13.20/13.28	c iter 446 time 12.0562 not-muc 819040 unknown 345 muc 445
13.20/13.28	c iter 447 time 12.0822 not-muc 819040 unknown 344 muc 446
13.20/13.28	c iter 448 time 12.1072 not-muc 819040 unknown 343 muc 447
13.20/13.28	c iter 449 time 12.1322 not-muc 819040 unknown 342 muc 448
13.20/13.28	c iter 450 time 12.1582 not-muc 819040 unknown 341 muc 449
13.20/13.28	c iter 451 time 12.1831 not-muc 819040 unknown 340 muc 450
13.20/13.28	c iter 452 time 12.2091 not-muc 819040 unknown 339 muc 451
13.20/13.28	c iter 453 time 12.2341 not-muc 819040 unknown 338 muc 452
13.20/13.28	c iter 454 time 12.2601 not-muc 819040 unknown 337 muc 453
13.20/13.28	c iter 455 time 12.2851 not-muc 819040 unknown 336 muc 454
13.20/13.28	c iter 456 time 12.3101 not-muc 819040 unknown 335 muc 455
13.20/13.28	c iter 457 time 12.3361 not-muc 819040 unknown 334 muc 456
13.20/13.28	c iter 458 time 12.3611 not-muc 819040 unknown 333 muc 457
13.20/13.28	c iter 459 time 12.3871 not-muc 819040 unknown 332 muc 458
13.20/13.28	c iter 460 time 12.4131 not-muc 819040 unknown 331 muc 459
13.20/13.28	c iter 461 time 12.4391 not-muc 819040 unknown 330 muc 460
13.20/13.28	c iter 462 time 12.4651 not-muc 819040 unknown 329 muc 461
13.20/13.28	c iter 463 time 12.4911 not-muc 819040 unknown 328 muc 462
13.20/13.28	c iter 464 time 12.5171 not-muc 819040 unknown 327 muc 463
13.20/13.28	c iter 465 time 12.5441 not-muc 819040 unknown 326 muc 464
13.20/13.28	c iter 466 time 12.5701 not-muc 819040 unknown 325 muc 465
13.20/13.28	c iter 467 time 12.5961 not-muc 819040 unknown 324 muc 466
13.20/13.28	c iter 468 time 12.6231 not-muc 819040 unknown 323 muc 467
13.20/13.28	c iter 469 time 12.6491 not-muc 819040 unknown 322 muc 468
13.20/13.28	c iter 470 time 12.6751 not-muc 819040 unknown 321 muc 469
13.20/13.28	c iter 471 time 12.7021 not-muc 819040 unknown 320 muc 470
13.20/13.28	c iter 472 time 12.7281 not-muc 819040 unknown 319 muc 471
13.20/13.28	c iter 473 time 12.7541 not-muc 819040 unknown 318 muc 472
13.20/13.28	c iter 474 time 12.7811 not-muc 819040 unknown 317 muc 473
13.20/13.28	c iter 475 time 12.8071 not-muc 819040 unknown 316 muc 474
13.20/13.28	c iter 476 time 12.833 not-muc 819040 unknown 315 muc 475
13.20/13.28	c iter 477 time 12.86 not-muc 819040 unknown 314 muc 476
13.20/13.28	c iter 478 time 12.886 not-muc 819040 unknown 313 muc 477
13.20/13.28	c iter 479 time 12.913 not-muc 819040 unknown 312 muc 478
13.20/13.28	c iter 480 time 12.939 not-muc 819040 unknown 311 muc 479
13.20/13.28	c iter 481 time 12.966 not-muc 819040 unknown 310 muc 480
13.20/13.28	c iter 482 time 12.993 not-muc 819040 unknown 309 muc 481
13.20/13.28	c iter 483 time 13.019 not-muc 819040 unknown 308 muc 482
13.20/13.28	c iter 484 time 13.046 not-muc 819040 unknown 307 muc 483
13.20/13.28	c iter 485 time 13.073 not-muc 819040 unknown 306 muc 484
13.20/13.28	c iter 486 time 13.099 not-muc 819040 unknown 305 muc 485
13.20/13.28	c iter 487 time 13.126 not-muc 819040 unknown 304 muc 486
13.20/13.28	c iter 488 time 13.153 not-muc 819040 unknown 303 muc 487
13.20/13.28	c iter 489 time 13.179 not-muc 819040 unknown 302 muc 488
13.20/13.28	c iter 490 time 13.206 not-muc 819040 unknown 301 muc 489
15.09/15.18	c iter 491 time 13.233 not-muc 819040 unknown 300 muc 490
15.09/15.18	c iter 492 time 13.259 not-muc 819040 unknown 299 muc 491
15.09/15.18	c iter 493 time 13.286 not-muc 819040 unknown 298 muc 492
15.09/15.18	c iter 494 time 13.313 not-muc 819040 unknown 297 muc 493
15.09/15.18	c iter 495 time 13.34 not-muc 819040 unknown 296 muc 494
15.09/15.18	c iter 496 time 13.367 not-muc 819040 unknown 295 muc 495
15.09/15.18	c iter 497 time 13.394 not-muc 819040 unknown 294 muc 496
15.09/15.18	c iter 498 time 13.421 not-muc 819040 unknown 293 muc 497
15.09/15.18	c iter 499 time 13.447 not-muc 819040 unknown 292 muc 498
15.09/15.18	c iter 500 time 13.474 not-muc 819040 unknown 291 muc 499
15.09/15.18	c iter 501 time 13.5009 not-muc 819040 unknown 290 muc 500
15.09/15.18	c iter 502 time 13.5279 not-muc 819040 unknown 289 muc 501
15.09/15.18	c iter 503 time 13.5549 not-muc 819040 unknown 288 muc 502
15.09/15.18	c iter 504 time 13.5819 not-muc 819040 unknown 287 muc 503
15.09/15.18	c iter 505 time 13.6089 not-muc 819040 unknown 286 muc 504
15.09/15.18	c iter 506 time 13.6359 not-muc 819040 unknown 285 muc 505
15.09/15.18	c iter 507 time 13.6629 not-muc 819040 unknown 284 muc 506
15.09/15.18	c iter 508 time 13.6899 not-muc 819040 unknown 283 muc 507
15.09/15.18	c iter 509 time 13.7169 not-muc 819040 unknown 282 muc 508
15.09/15.18	c iter 510 time 13.7449 not-muc 819040 unknown 281 muc 509
15.09/15.18	c iter 511 time 13.7719 not-muc 819040 unknown 280 muc 510
15.09/15.18	c iter 512 time 13.7989 not-muc 819040 unknown 279 muc 511
15.09/15.18	c iter 513 time 13.8269 not-muc 819040 unknown 278 muc 512
15.09/15.18	c iter 514 time 13.8539 not-muc 819040 unknown 277 muc 513
15.09/15.18	c iter 515 time 13.8809 not-muc 819040 unknown 276 muc 514
15.09/15.18	c iter 516 time 13.9089 not-muc 819040 unknown 275 muc 515
15.09/15.18	c iter 517 time 13.9359 not-muc 819040 unknown 274 muc 516
15.09/15.18	c iter 518 time 13.9639 not-muc 819040 unknown 273 muc 517
15.09/15.18	c iter 519 time 13.9909 not-muc 819040 unknown 272 muc 518
15.09/15.18	c iter 520 time 14.0189 not-muc 819040 unknown 271 muc 519
15.09/15.18	c iter 521 time 14.0459 not-muc 819040 unknown 270 muc 520
15.09/15.18	c iter 522 time 14.0739 not-muc 819040 unknown 269 muc 521
15.09/15.18	c iter 523 time 14.1009 not-muc 819040 unknown 268 muc 522
15.09/15.18	c iter 524 time 14.1289 not-muc 819040 unknown 267 muc 523
15.09/15.18	c iter 525 time 14.1568 not-muc 819040 unknown 266 muc 524
15.09/15.18	c iter 526 time 14.1838 not-muc 819040 unknown 265 muc 525
15.09/15.18	c iter 527 time 14.2118 not-muc 819040 unknown 264 muc 526
15.09/15.18	c iter 528 time 14.2388 not-muc 819040 unknown 263 muc 527
15.09/15.18	c iter 529 time 14.2668 not-muc 819040 unknown 262 muc 528
15.09/15.18	c iter 530 time 14.2948 not-muc 819040 unknown 261 muc 529
15.09/15.18	c iter 531 time 14.3218 not-muc 819040 unknown 260 muc 530
15.09/15.18	c iter 532 time 14.3498 not-muc 819040 unknown 259 muc 531
15.09/15.18	c iter 533 time 14.3778 not-muc 819040 unknown 258 muc 532
15.09/15.18	c iter 534 time 14.4058 not-muc 819040 unknown 257 muc 533
15.09/15.18	c iter 535 time 14.4328 not-muc 819040 unknown 256 muc 534
15.09/15.18	c iter 536 time 14.4618 not-muc 819040 unknown 255 muc 535
15.09/15.18	c iter 537 time 14.4898 not-muc 819040 unknown 254 muc 536
15.09/15.18	c iter 538 time 14.5168 not-muc 819040 unknown 253 muc 537
15.09/15.18	c iter 539 time 14.5458 not-muc 819040 unknown 252 muc 538
15.09/15.18	c iter 540 time 14.5738 not-muc 819040 unknown 251 muc 539
15.09/15.18	c iter 541 time 14.6018 not-muc 819040 unknown 250 muc 540
15.09/15.18	c iter 542 time 14.6298 not-muc 819040 unknown 249 muc 541
15.09/15.18	c iter 543 time 14.6588 not-muc 819040 unknown 248 muc 542
15.09/15.18	c iter 544 time 14.6858 not-muc 819040 unknown 247 muc 543
15.09/15.18	c iter 545 time 14.7148 not-muc 819040 unknown 246 muc 544
15.09/15.18	c iter 546 time 14.7428 not-muc 819040 unknown 245 muc 545
15.09/15.18	c iter 547 time 14.7708 not-muc 819040 unknown 244 muc 546
15.09/15.18	c iter 548 time 14.7997 not-muc 819040 unknown 243 muc 547
15.09/15.18	c iter 549 time 14.8277 not-muc 819040 unknown 242 muc 548
15.09/15.18	c iter 550 time 14.8547 not-muc 819040 unknown 241 muc 549
15.09/15.18	c iter 551 time 14.8827 not-muc 819040 unknown 240 muc 550
15.09/15.18	c iter 552 time 14.9107 not-muc 819040 unknown 239 muc 551
15.09/15.18	c iter 553 time 14.9387 not-muc 819040 unknown 238 muc 552
15.09/15.18	c iter 554 time 14.9667 not-muc 819040 unknown 237 muc 553
15.09/15.18	c iter 555 time 14.9947 not-muc 819040 unknown 236 muc 554
15.09/15.18	c iter 556 time 15.0217 not-muc 819040 unknown 235 muc 555
15.09/15.18	c iter 557 time 15.0497 not-muc 819040 unknown 234 muc 556
15.09/15.18	c iter 558 time 15.0777 not-muc 819040 unknown 233 muc 557
15.09/15.18	c iter 559 time 15.1057 not-muc 819040 unknown 232 muc 558
17.19/17.24	c iter 560 time 15.1337 not-muc 819040 unknown 231 muc 559
17.19/17.24	c iter 561 time 15.1617 not-muc 819040 unknown 230 muc 560
17.19/17.24	c iter 562 time 15.1897 not-muc 819040 unknown 229 muc 561
17.19/17.24	c iter 563 time 15.2177 not-muc 819040 unknown 228 muc 562
17.19/17.24	c iter 564 time 15.2467 not-muc 819040 unknown 227 muc 563
17.19/17.24	c iter 565 time 15.2747 not-muc 819040 unknown 226 muc 564
17.19/17.24	c iter 566 time 15.3027 not-muc 819040 unknown 225 muc 565
17.19/17.24	c iter 567 time 15.3307 not-muc 819040 unknown 224 muc 566
17.19/17.24	c iter 568 time 15.3587 not-muc 819040 unknown 223 muc 567
17.19/17.24	c iter 569 time 15.3867 not-muc 819040 unknown 222 muc 568
17.19/17.24	c iter 570 time 15.4157 not-muc 819040 unknown 221 muc 569
17.19/17.24	c iter 571 time 15.4437 not-muc 819040 unknown 220 muc 570
17.19/17.24	c iter 572 time 15.4716 not-muc 819040 unknown 219 muc 571
17.19/17.24	c iter 573 time 15.4996 not-muc 819040 unknown 218 muc 572
17.19/17.24	c iter 574 time 15.5286 not-muc 819040 unknown 217 muc 573
17.19/17.24	c iter 575 time 15.5566 not-muc 819040 unknown 216 muc 574
17.19/17.24	c iter 576 time 15.5856 not-muc 819040 unknown 215 muc 575
17.19/17.24	c iter 577 time 15.6136 not-muc 819040 unknown 214 muc 576
17.19/17.24	c iter 578 time 15.6416 not-muc 819040 unknown 213 muc 577
17.19/17.24	c iter 579 time 15.6706 not-muc 819040 unknown 212 muc 578
17.19/17.24	c iter 580 time 15.6996 not-muc 819040 unknown 211 muc 579
17.19/17.24	c iter 581 time 15.7276 not-muc 819040 unknown 210 muc 580
17.19/17.24	c iter 582 time 15.7566 not-muc 819040 unknown 209 muc 581
17.19/17.24	c iter 583 time 15.7856 not-muc 819040 unknown 208 muc 582
17.19/17.24	c iter 584 time 15.8136 not-muc 819040 unknown 207 muc 583
17.19/17.24	c iter 585 time 15.8426 not-muc 819040 unknown 206 muc 584
17.19/17.24	c iter 586 time 15.8716 not-muc 819040 unknown 205 muc 585
17.19/17.24	c iter 587 time 15.9006 not-muc 819040 unknown 204 muc 586
17.19/17.24	c iter 588 time 15.9296 not-muc 819040 unknown 203 muc 587
17.19/17.24	c iter 589 time 15.9586 not-muc 819040 unknown 202 muc 588
17.19/17.24	c iter 590 time 15.9876 not-muc 819040 unknown 201 muc 589
17.19/17.24	c iter 591 time 16.0176 not-muc 819040 unknown 200 muc 590
17.19/17.24	c iter 592 time 16.0466 not-muc 819040 unknown 199 muc 591
17.19/17.24	c iter 593 time 16.0756 not-muc 819040 unknown 198 muc 592
17.19/17.24	c iter 594 time 16.1046 not-muc 819040 unknown 197 muc 593
17.19/17.24	c iter 595 time 16.1345 not-muc 819040 unknown 196 muc 594
17.19/17.24	c iter 596 time 16.1635 not-muc 819040 unknown 195 muc 595
17.19/17.24	c iter 597 time 16.1935 not-muc 819040 unknown 194 muc 596
17.19/17.24	c iter 598 time 16.2235 not-muc 819040 unknown 193 muc 597
17.19/17.24	c iter 599 time 16.2535 not-muc 819040 unknown 192 muc 598
17.19/17.24	c iter 600 time 16.2835 not-muc 819040 unknown 191 muc 599
17.19/17.24	c iter 601 time 16.3135 not-muc 819040 unknown 190 muc 600
17.19/17.24	c iter 602 time 16.3425 not-muc 819040 unknown 189 muc 601
17.19/17.24	c iter 603 time 16.3735 not-muc 819040 unknown 188 muc 602
17.19/17.24	c iter 604 time 16.4035 not-muc 819040 unknown 187 muc 603
17.19/17.24	c iter 605 time 16.4325 not-muc 819040 unknown 186 muc 604
17.19/17.24	c iter 606 time 16.4625 not-muc 819040 unknown 185 muc 605
17.19/17.24	c iter 607 time 16.4925 not-muc 819040 unknown 184 muc 606
17.19/17.24	c iter 608 time 16.5225 not-muc 819040 unknown 183 muc 607
17.19/17.24	c iter 609 time 16.5535 not-muc 819040 unknown 182 muc 608
17.19/17.24	c iter 610 time 16.5835 not-muc 819040 unknown 181 muc 609
17.19/17.24	c iter 611 time 16.6135 not-muc 819040 unknown 180 muc 610
17.19/17.24	c iter 612 time 16.6435 not-muc 819040 unknown 179 muc 611
17.19/17.24	c iter 613 time 16.6735 not-muc 819040 unknown 178 muc 612
17.19/17.24	c iter 614 time 16.7035 not-muc 819040 unknown 177 muc 613
17.19/17.24	c iter 615 time 16.7345 not-muc 819040 unknown 176 muc 614
17.19/17.24	c iter 616 time 16.7645 not-muc 819040 unknown 175 muc 615
17.19/17.24	c iter 617 time 16.7944 not-muc 819040 unknown 174 muc 616
17.19/17.24	c iter 618 time 16.8254 not-muc 819040 unknown 173 muc 617
17.19/17.24	c iter 619 time 16.8554 not-muc 819040 unknown 172 muc 618
17.19/17.24	c iter 620 time 16.8854 not-muc 819040 unknown 171 muc 619
17.19/17.24	c iter 621 time 16.9164 not-muc 819040 unknown 170 muc 620
17.19/17.24	c iter 622 time 16.9464 not-muc 819040 unknown 169 muc 621
17.19/17.24	c iter 623 time 16.9774 not-muc 819040 unknown 168 muc 622
17.19/17.24	c iter 624 time 17.0084 not-muc 819040 unknown 167 muc 623
17.19/17.24	c iter 625 time 17.0374 not-muc 819040 unknown 166 muc 624
17.19/17.24	c iter 626 time 17.0684 not-muc 819040 unknown 165 muc 625
17.19/17.24	c iter 627 time 17.0994 not-muc 819040 unknown 164 muc 626
17.19/17.24	c iter 628 time 17.1294 not-muc 819040 unknown 163 muc 627
17.19/17.24	c iter 629 time 17.1604 not-muc 819040 unknown 162 muc 628
19.29/19.38	c iter 630 time 17.1914 not-muc 819040 unknown 161 muc 629
19.29/19.38	c iter 631 time 17.2214 not-muc 819040 unknown 160 muc 630
19.29/19.38	c iter 632 time 17.2534 not-muc 819040 unknown 159 muc 631
19.29/19.38	c iter 633 time 17.2834 not-muc 819040 unknown 158 muc 632
19.29/19.38	c iter 634 time 17.3144 not-muc 819040 unknown 157 muc 633
19.29/19.38	c iter 635 time 17.3454 not-muc 819040 unknown 156 muc 634
19.29/19.38	c iter 636 time 17.3764 not-muc 819040 unknown 155 muc 635
19.29/19.38	c iter 637 time 17.4074 not-muc 819040 unknown 154 muc 636
19.29/19.38	c iter 638 time 17.4383 not-muc 819040 unknown 153 muc 637
19.29/19.38	c iter 639 time 17.4693 not-muc 819040 unknown 152 muc 638
19.29/19.38	c iter 640 time 17.5003 not-muc 819040 unknown 151 muc 639
19.29/19.38	c iter 641 time 17.5313 not-muc 819040 unknown 150 muc 640
19.29/19.38	c iter 642 time 17.5623 not-muc 819040 unknown 149 muc 641
19.29/19.38	c iter 643 time 17.5943 not-muc 819040 unknown 148 muc 642
19.29/19.38	c iter 644 time 17.6253 not-muc 819040 unknown 147 muc 643
19.29/19.38	c iter 645 time 17.6563 not-muc 819040 unknown 146 muc 644
19.29/19.38	c iter 646 time 17.6883 not-muc 819040 unknown 145 muc 645
19.29/19.38	c iter 647 time 17.7193 not-muc 819040 unknown 144 muc 646
19.29/19.38	c iter 648 time 17.7503 not-muc 819040 unknown 143 muc 647
19.29/19.38	c iter 649 time 17.7813 not-muc 819040 unknown 142 muc 648
19.29/19.38	c iter 650 time 17.8123 not-muc 819040 unknown 141 muc 649
19.29/19.38	c iter 651 time 17.8443 not-muc 819040 unknown 140 muc 650
19.29/19.38	c iter 652 time 17.8753 not-muc 819040 unknown 139 muc 651
19.29/19.38	c iter 653 time 17.9063 not-muc 819040 unknown 138 muc 652
19.29/19.38	c iter 654 time 17.9383 not-muc 819040 unknown 137 muc 653
19.29/19.38	c iter 655 time 17.9703 not-muc 819040 unknown 136 muc 654
19.29/19.38	c iter 656 time 18.0013 not-muc 819040 unknown 135 muc 655
19.29/19.38	c iter 657 time 18.0333 not-muc 819040 unknown 134 muc 656
19.29/19.38	c iter 658 time 18.0643 not-muc 819040 unknown 133 muc 657
19.29/19.38	c iter 659 time 18.0962 not-muc 819040 unknown 132 muc 658
19.29/19.38	c iter 660 time 18.1282 not-muc 819040 unknown 131 muc 659
19.29/19.38	c iter 661 time 18.1592 not-muc 819040 unknown 130 muc 660
19.29/19.38	c iter 662 time 18.1912 not-muc 819040 unknown 129 muc 661
19.29/19.38	c iter 663 time 18.2232 not-muc 819040 unknown 128 muc 662
19.29/19.38	c iter 664 time 18.2542 not-muc 819040 unknown 127 muc 663
19.29/19.38	c iter 665 time 18.2862 not-muc 819040 unknown 126 muc 664
19.29/19.38	c iter 666 time 18.3182 not-muc 819040 unknown 125 muc 665
19.29/19.38	c iter 667 time 18.3502 not-muc 819040 unknown 124 muc 666
19.29/19.38	c iter 668 time 18.3822 not-muc 819040 unknown 123 muc 667
19.29/19.38	c iter 669 time 18.4142 not-muc 819040 unknown 122 muc 668
19.29/19.38	c iter 670 time 18.4462 not-muc 819040 unknown 121 muc 669
19.29/19.38	c iter 671 time 18.4782 not-muc 819040 unknown 120 muc 670
19.29/19.38	c iter 672 time 18.5102 not-muc 819040 unknown 119 muc 671
19.29/19.38	c iter 673 time 18.5422 not-muc 819040 unknown 118 muc 672
19.29/19.38	c iter 674 time 18.5742 not-muc 819040 unknown 117 muc 673
19.29/19.38	c iter 675 time 18.6062 not-muc 819040 unknown 116 muc 674
19.29/19.38	c iter 676 time 18.6392 not-muc 819040 unknown 115 muc 675
19.29/19.38	c iter 677 time 18.6712 not-muc 819040 unknown 114 muc 676
19.29/19.38	c iter 678 time 18.7022 not-muc 819040 unknown 113 muc 677
19.29/19.38	c iter 679 time 18.7332 not-muc 819040 unknown 112 muc 678
19.29/19.38	c iter 680 time 18.7621 not-muc 819040 unknown 111 muc 679
19.29/19.38	c iter 681 time 18.7911 not-muc 819040 unknown 110 muc 680
19.29/19.38	c iter 682 time 18.8221 not-muc 819040 unknown 109 muc 681
19.29/19.38	c iter 683 time 18.8511 not-muc 819040 unknown 108 muc 682
19.29/19.38	c iter 684 time 18.8801 not-muc 819040 unknown 107 muc 683
19.29/19.38	c iter 685 time 18.9101 not-muc 819040 unknown 106 muc 684
19.29/19.38	c iter 686 time 18.9401 not-muc 819040 unknown 105 muc 685
19.29/19.38	c iter 687 time 18.9691 not-muc 819040 unknown 104 muc 686
19.29/19.38	c iter 688 time 18.9991 not-muc 819040 unknown 103 muc 687
19.29/19.38	c iter 689 time 19.0291 not-muc 819040 unknown 102 muc 688
19.29/19.38	c iter 690 time 19.0591 not-muc 819040 unknown 101 muc 689
19.29/19.38	c iter 691 time 19.0891 not-muc 819040 unknown 100 muc 690
19.29/19.38	c iter 692 time 19.1181 not-muc 819040 unknown 99 muc 691
19.29/19.38	c iter 693 time 19.1481 not-muc 819040 unknown 98 muc 692
19.29/19.38	c iter 694 time 19.1781 not-muc 819040 unknown 97 muc 693
19.29/19.38	c iter 695 time 19.2071 not-muc 819040 unknown 96 muc 694
19.29/19.38	c iter 696 time 19.2371 not-muc 819040 unknown 95 muc 695
19.29/19.38	c iter 697 time 19.2681 not-muc 819040 unknown 94 muc 696
19.29/19.38	c iter 698 time 19.2971 not-muc 819040 unknown 93 muc 697
21.19/21.29	c iter 699 time 19.3281 not-muc 819040 unknown 92 muc 698
21.19/21.29	c iter 700 time 19.3581 not-muc 819040 unknown 91 muc 699
21.19/21.29	c iter 701 time 19.3871 not-muc 819040 unknown 90 muc 700
21.19/21.29	c iter 702 time 19.417 not-muc 819040 unknown 89 muc 701
21.19/21.29	c iter 703 time 19.448 not-muc 819040 unknown 88 muc 702
21.19/21.29	c iter 704 time 19.477 not-muc 819040 unknown 87 muc 703
21.19/21.29	c iter 705 time 19.508 not-muc 819040 unknown 86 muc 704
21.19/21.29	c iter 706 time 19.538 not-muc 819040 unknown 85 muc 705
21.19/21.29	c iter 707 time 19.568 not-muc 819040 unknown 84 muc 706
21.19/21.29	c iter 708 time 19.598 not-muc 819040 unknown 83 muc 707
21.19/21.29	c iter 709 time 19.629 not-muc 819040 unknown 82 muc 708
21.19/21.29	c iter 710 time 19.663 not-muc 819040 unknown 81 muc 709
21.19/21.29	c iter 711 time 19.696 not-muc 819040 unknown 80 muc 710
21.19/21.29	c iter 712 time 19.729 not-muc 819040 unknown 79 muc 711
21.19/21.29	c iter 713 time 19.762 not-muc 819040 unknown 78 muc 712
21.19/21.29	c iter 714 time 19.795 not-muc 819040 unknown 77 muc 713
21.19/21.29	c iter 715 time 19.828 not-muc 819040 unknown 76 muc 714
21.19/21.29	c iter 716 time 19.862 not-muc 819040 unknown 75 muc 715
21.19/21.29	c iter 717 time 19.895 not-muc 819040 unknown 74 muc 716
21.19/21.29	c iter 718 time 19.928 not-muc 819040 unknown 73 muc 717
21.19/21.29	c iter 719 time 19.96 not-muc 819040 unknown 72 muc 718
21.19/21.29	c iter 720 time 19.984 not-muc 819040 unknown 71 muc 719
21.19/21.29	c iter 721 time 20.008 not-muc 819040 unknown 70 muc 720
21.19/21.29	c iter 722 time 20.033 not-muc 819040 unknown 69 muc 721
21.19/21.29	c iter 723 time 20.057 not-muc 819040 unknown 68 muc 722
21.19/21.29	c iter 724 time 20.0819 not-muc 819040 unknown 67 muc 723
21.19/21.29	c iter 725 time 20.1059 not-muc 819040 unknown 66 muc 724
21.19/21.29	c iter 726 time 20.1299 not-muc 819040 unknown 65 muc 725
21.19/21.29	c iter 727 time 20.1549 not-muc 819040 unknown 64 muc 726
21.19/21.29	c iter 728 time 20.1789 not-muc 819040 unknown 63 muc 727
21.19/21.29	c iter 729 time 20.2039 not-muc 819040 unknown 62 muc 728
21.19/21.29	c iter 730 time 20.2279 not-muc 819040 unknown 61 muc 729
21.19/21.29	c iter 731 time 20.2529 not-muc 819040 unknown 60 muc 730
21.19/21.29	c iter 732 time 20.2769 not-muc 819040 unknown 59 muc 731
21.19/21.29	c iter 733 time 20.3019 not-muc 819040 unknown 58 muc 732
21.19/21.29	c iter 734 time 20.3259 not-muc 819040 unknown 57 muc 733
21.19/21.29	c iter 735 time 20.3509 not-muc 819040 unknown 56 muc 734
21.19/21.29	c iter 736 time 20.3759 not-muc 819040 unknown 55 muc 735
21.19/21.29	c iter 737 time 20.3999 not-muc 819040 unknown 54 muc 736
21.19/21.29	c iter 738 time 20.4249 not-muc 819040 unknown 53 muc 737
21.19/21.29	c iter 739 time 20.4499 not-muc 819040 unknown 52 muc 738
21.19/21.29	c iter 740 time 20.4749 not-muc 819040 unknown 51 muc 739
21.19/21.29	c iter 741 time 20.4989 not-muc 819040 unknown 50 muc 740
21.19/21.29	c iter 742 time 20.5239 not-muc 819040 unknown 49 muc 741
21.19/21.29	c iter 743 time 20.5489 not-muc 819040 unknown 48 muc 742
21.19/21.29	c iter 744 time 20.5739 not-muc 819040 unknown 47 muc 743
21.19/21.29	c iter 745 time 20.5989 not-muc 819040 unknown 46 muc 744
21.19/21.29	c iter 746 time 20.6239 not-muc 819040 unknown 45 muc 745
21.19/21.29	c iter 747 time 20.6489 not-muc 819040 unknown 44 muc 746
21.19/21.29	c iter 748 time 20.6739 not-muc 819040 unknown 43 muc 747
21.19/21.29	c iter 749 time 20.7029 not-muc 819040 unknown 42 muc 748
21.19/21.29	c iter 750 time 20.7268 not-muc 819040 unknown 41 muc 749
21.19/21.29	c iter 751 time 20.7508 not-muc 819040 unknown 40 muc 750
21.19/21.29	c iter 752 time 20.7758 not-muc 819040 unknown 39 muc 751
21.19/21.29	c iter 753 time 20.7998 not-muc 819040 unknown 38 muc 752
21.19/21.29	c iter 754 time 20.8238 not-muc 819040 unknown 37 muc 753
21.19/21.29	c iter 755 time 20.8488 not-muc 819040 unknown 36 muc 754
21.19/21.29	c iter 756 time 20.8728 not-muc 819040 unknown 35 muc 755
21.19/21.29	c iter 757 time 20.8978 not-muc 819040 unknown 34 muc 756
21.19/21.29	c iter 758 time 20.9218 not-muc 819040 unknown 33 muc 757
21.19/21.29	c iter 759 time 20.9468 not-muc 819040 unknown 32 muc 758
21.19/21.29	c iter 760 time 20.9708 not-muc 819040 unknown 31 muc 759
21.19/21.29	c iter 761 time 20.9958 not-muc 819040 unknown 30 muc 760
21.19/21.29	c iter 762 time 21.0198 not-muc 819040 unknown 29 muc 761
21.19/21.29	c iter 763 time 21.0448 not-muc 819040 unknown 28 muc 762
21.19/21.29	c iter 764 time 21.0698 not-muc 819040 unknown 27 muc 763
21.19/21.29	c iter 765 time 21.0978 not-muc 819040 unknown 26 muc 764
21.19/21.29	c iter 766 time 21.1268 not-muc 819040 unknown 25 muc 765
21.19/21.29	c iter 767 time 21.1548 not-muc 819040 unknown 24 muc 766
21.19/21.29	c iter 768 time 21.1828 not-muc 819040 unknown 23 muc 767
21.19/21.29	c iter 769 time 21.2118 not-muc 819040 unknown 22 muc 768
21.89/21.92	c iter 770 time 21.2438 not-muc 819040 unknown 21 muc 769
21.89/21.92	c iter 771 time 21.2718 not-muc 819040 unknown 20 muc 770
21.89/21.92	c iter 772 time 21.2998 not-muc 819040 unknown 19 muc 771
21.89/21.92	c iter 773 time 21.3278 not-muc 819040 unknown 18 muc 772
21.89/21.92	c iter 774 time 21.3568 not-muc 819040 unknown 17 muc 773
21.89/21.92	c iter 775 time 21.3847 not-muc 819040 unknown 16 muc 774
21.89/21.92	c iter 776 time 21.4127 not-muc 819040 unknown 15 muc 775
21.89/21.92	c iter 777 time 21.4437 not-muc 819040 unknown 14 muc 776
21.89/21.92	c iter 778 time 21.4677 not-muc 819040 unknown 13 muc 777
21.89/21.92	c iter 779 time 21.4907 not-muc 819040 unknown 12 muc 778
21.89/21.92	c iter 780 time 21.5147 not-muc 819040 unknown 11 muc 779
21.89/21.92	c iter 781 time 21.5417 not-muc 819040 unknown 10 muc 780
21.89/21.92	c iter 782 time 21.5697 not-muc 819040 unknown 9 muc 781
21.89/21.92	c iter 783 time 21.5997 not-muc 819040 unknown 8 muc 782
21.89/21.92	c iter 784 time 21.6277 not-muc 819040 unknown 7 muc 783
21.89/21.92	c iter 785 time 21.6587 not-muc 819040 unknown 6 muc 784
21.89/21.92	c iter 786 time 21.6857 not-muc 819040 unknown 5 muc 785
21.89/21.92	c iter 787 time 21.7137 not-muc 819040 unknown 4 muc 786
21.89/21.92	c iter 788 time 21.7437 not-muc 819040 unknown 3 muc 787
21.89/21.92	c iter 789 time 21.7717 not-muc 819040 unknown 2 muc 788
21.89/21.92	c iter 790 time 21.8017 not-muc 819040 unknown 1 muc 789
21.89/21.92	c final iter 791 time 21.8327 not-muc 819040 unknown 0 muc 790
21.89/21.92	v 892 903 904 906 1466 1722 4957 4958 4959 4961 6231 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 20133 20134 25706 25707 25708 25710 25748 25749 25750 25752 27540 28071 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 54559 54560 54573 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 171011 171012 171025 171026 172145 172147 172150 172187 172189 172192 172202 172204 172244 172246 172257 172263 172299 172305 173923 173924 173937 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 178095 178096 178109 178110 181358 181359 181360 181362 181400 181401 181402 181404 183779 183780 183793 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 187615 187616 187629 187630 229445 229546 229559 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 302877 303013 303056 303059 303064 303075 303102 303118 303143 303163 303192 315169 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 340859 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 534171 534172 534236 577783 577785 579980 579981 579983 579991 580183 595423 595425 595449 595457 595482 595491 595519 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 684783 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 758213 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 779843 779844 780643 781418 781419 781420 781421 781425 781426 781427 782112 782150 783660 783664 783668 783670 783671 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
21.89/21.92	s UNSATISFIABLE

Verifier Data 

OK	790

Watcher Data 

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-3494404-1307804761/watcher-3494404-1307804761 -o /tmp/evaluation-result-3494404-1307804761/solver-3494404-1307804761 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494404-1307804761.cnf -no-pre 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.02 3.69 3.41 5/189 24624
/proc/meminfo: memFree=30950084/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=24808 CPUtime=0 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 1213 0 0 0 0 0 0 0 24 0 1 0 970706818 25403392 1155 33554432000 4194304 4337479 140733782434240 18446744073709551615 216734875848 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 6202 1168 223 35 0 2825 0

[startup+0.0417701 s]
/proc/loadavg: 4.02 3.69 3.41 5/189 24624
/proc/meminfo: memFree=30950084/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=52528 CPUtime=0.03 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 7120 0 0 0 3 0 0 0 24 0 1 0 970706818 53788672 7061 33554432000 4194304 4337479 140733782434240 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 13132 7061 224 35 0 9755 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 52528

[startup+0.100794 s]
/proc/loadavg: 4.02 3.69 3.41 5/189 24624
/proc/meminfo: memFree=30950084/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=60912 CPUtime=0.09 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 10269 0 0 0 8 1 0 0 24 0 1 0 970706818 62373888 9794 33554432000 4194304 4337479 140733782434240 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 15228 9796 224 35 0 11851 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60912

[startup+0.300739 s]
/proc/loadavg: 4.02 3.69 3.41 5/189 24624
/proc/meminfo: memFree=30950084/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=101612 CPUtime=0.29 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 19683 0 0 0 26 3 0 0 25 0 1 0 970706818 104050688 18313 33554432000 4194304 4337479 140733782434240 18446744073709551615 216734836864 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 25403 18315 224 35 0 22026 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101612

[startup+0.700674 s]
/proc/loadavg: 4.02 3.69 3.41 5/189 24624
/proc/meminfo: memFree=30950084/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=177460 CPUtime=0.69 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46017 0 0 0 62 7 0 0 25 0 1 0 970706818 181719040 35120 33554432000 4194304 4337479 140733782434240 18446744073709551615 216734827912 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 44365 35120 253 35 0 40988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 177460

[startup+1.50053 s]
/proc/loadavg: 4.02 3.69 3.41 5/190 24625
/proc/meminfo: memFree=30809492/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=177460 CPUtime=1.49 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46018 0 0 0 142 7 0 0 25 0 1 0 970706818 181719040 35121 33554432000 4194304 4337479 140733782434240 18446744073709551615 4302704 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 44365 35121 253 35 0 40988 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 177460

[startup+3.10022 s]
/proc/loadavg: 4.02 3.69 3.41 5/190 24625
/proc/meminfo: memFree=30808996/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=3.09 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46020 0 0 0 302 7 0 0 25 0 1 0 970706818 162594816 31741 33554432000 4194304 4337479 140733782434240 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 39696 31741 253 35 0 36319 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158784

[startup+6.30069 s]
/proc/loadavg: 4.01 3.69 3.42 5/187 24653
/proc/meminfo: memFree=30869424/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=6.29 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46020 0 0 0 622 7 0 0 25 0 1 0 970706818 162594816 31741 33554432000 4194304 4337479 140733782434240 18446744073709551615 4281716 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 39696 31741 253 35 0 36319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158784

[startup+12.7006 s]
/proc/loadavg: 4.01 3.70 3.42 5/190 24701
/proc/meminfo: memFree=30482924/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=12.69 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46021 0 0 0 1262 7 0 0 25 0 1 0 970706818 162594816 31742 33554432000 4194304 4337479 140733782434240 18446744073709551615 4282023 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 39696 31742 254 35 0 36319 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 158784

Solver just ended. Dumping a history of the last processes samples

[startup+15.901 s]
/proc/loadavg: 4.01 3.70 3.42 5/190 24701
/proc/meminfo: memFree=30177708/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=15.89 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46021 0 0 0 1581 8 0 0 25 0 1 0 970706818 162594816 31742 33554432000 4194304 4337479 140733782434240 18446744073709551615 4303059 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 39696 31742 254 35 0 36319 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 158784

[startup+19.1004 s]
/proc/loadavg: 4.01 3.70 3.42 5/190 24701
/proc/meminfo: memFree=30178328/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=19.09 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46021 0 0 0 1901 8 0 0 25 0 1 0 970706818 162594816 31742 33554432000 4194304 4337479 140733782434240 18446744073709551615 4303088 0 0 4096 8388610 0 0 0 17 2 0 0 0
/proc/24624/statm: 39696 31742 254 35 0 36319 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 158784

[startup+20.7012 s]
/proc/loadavg: 4.01 3.71 3.43 5/190 24701
/proc/meminfo: memFree=30177956/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=20.69 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46021 0 0 0 2061 8 0 0 25 0 1 0 970706818 162594816 31742 33554432000 4194304 4337479 140733782434240 18446744073709551615 4302704 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 39696 31742 254 35 0 36319 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 158784

[startup+21.501 s]
/proc/loadavg: 4.01 3.71 3.43 5/190 24702
/proc/meminfo: memFree=30178328/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=21.49 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46021 0 0 0 2141 8 0 0 25 0 1 0 970706818 162594816 31742 33554432000 4194304 4337479 140733782434240 18446744073709551615 4291922 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 39696 31742 254 35 0 36319 0
Current children cumulated CPU time (s) 21.49
Current children cumulated vsize (KiB) 158784

[startup+21.9009 s]
/proc/loadavg: 4.01 3.71 3.43 5/190 24702
/proc/meminfo: memFree=30178204/32951124 swapFree=67054712/67111528
[pid=24624] ppid=24622 vsize=158784 CPUtime=21.89 cores=0,2
/proc/24624/stat : 24624 (hmuc) R 24622 24624 22928 0 -1 4202496 46021 0 0 0 2181 8 0 0 25 0 1 0 970706818 162594816 31742 33554432000 4194304 4337479 140733782434240 18446744073709551615 4281937 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24624/statm: 39696 31742 254 35 0 36319 0
Current children cumulated CPU time (s) 21.89
Current children cumulated vsize (KiB) 158784

Child status: 20
Real time (s): 21.9266
CPU time (s): 21.9207
CPU user time (s): 21.8327
CPU system time (s): 0.087986
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 177460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.8327
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46022
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= 63

runsolver used 0.040993 second user time and 0.088986 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-11 17:06:02
IDJOB=3494404
IDBENCH=89432
IDSOLVER=1984
FILE ID=node119/3494404-1307804761
RUNJOBID= node119-1307804372-23787
PBS_JOBID= 13551059
Free space on /tmp= 73992 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/design-debugging/s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494404-1307804761/watcher-3494404-1307804761 -o /tmp/evaluation-result-3494404-1307804761/solver-3494404-1307804761 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494404-1307804761.cnf -no-pre

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 06612cef79ba498076fdb87b528897ec
RANDOM SEED=969761836

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30950516 kB
Buffers:        278204 kB
Cached:         830072 kB
SwapCached:      11012 kB
Active:        1242020 kB
Inactive:       539328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30950516 kB
SwapTotal:    67111528 kB
SwapFree:     67054712 kB
Dirty:           76356 kB
Writeback:         136 kB
AnonPages:      669964 kB
Mapped:          13700 kB
Slab:           151988 kB
PageTables:       6568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   936684 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= 73908 MiB
End job on node119 at 2011-06-11 17:06:24