Trace number 3494323

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 50.3174 50.32

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_22134_8.cnf_0.38000000.unsat.cnf
MD5SUM413894c1cef49bd87a4e330f324d39bb
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.71443
Satisfiable
(Un)Satisfiability was proved
Number of variables686692
Number of clauses2006678
Sum of the clauses size4657343
Maximum clause length3
Minimum clause length1
Number of clauses of size 11770
Number of clauses of size 21359151
Number of clauses of size 3645757
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

5.09/5.19	c WARNING: for repeatability, setting FPU to use double precision
5.09/5.19	c iter 1 time 0.911861 not-muc 2005789 unknown 889 muc 0
5.09/5.19	c iter 2 time 1.53377 not-muc 2005789 unknown 888 muc 1
5.09/5.19	c iter 3 time 1.58176 not-muc 2005789 unknown 887 muc 2
5.09/5.19	c iter 4 time 1.62875 not-muc 2005789 unknown 886 muc 3
5.09/5.19	c iter 5 time 1.67575 not-muc 2005789 unknown 885 muc 4
5.09/5.19	c iter 6 time 1.72374 not-muc 2005789 unknown 884 muc 5
5.09/5.19	c iter 7 time 1.79573 not-muc 2005789 unknown 883 muc 6
5.09/5.19	c iter 8 time 1.85272 not-muc 2005789 unknown 882 muc 7
5.09/5.19	c iter 9 time 1.90871 not-muc 2005789 unknown 881 muc 8
5.09/5.19	c iter 10 time 1.9567 not-muc 2005789 unknown 880 muc 9
5.09/5.19	c iter 11 time 2.0037 not-muc 2005789 unknown 879 muc 10
5.09/5.19	c iter 12 time 2.05169 not-muc 2005789 unknown 878 muc 11
5.09/5.19	c iter 13 time 2.09868 not-muc 2005789 unknown 877 muc 12
5.09/5.19	c iter 14 time 2.15567 not-muc 2005789 unknown 876 muc 13
5.09/5.19	c iter 15 time 2.20267 not-muc 2005789 unknown 875 muc 14
5.09/5.19	c iter 16 time 2.25066 not-muc 2005789 unknown 874 muc 15
5.09/5.19	c iter 17 time 2.29865 not-muc 2005789 unknown 873 muc 16
5.09/5.19	c iter 18 time 2.34564 not-muc 2005789 unknown 872 muc 17
5.09/5.19	c iter 19 time 2.40263 not-muc 2005789 unknown 871 muc 18
5.09/5.19	c iter 20 time 2.44963 not-muc 2005789 unknown 870 muc 19
5.09/5.19	c iter 21 time 2.49762 not-muc 2005789 unknown 869 muc 20
5.09/5.19	c iter 22 time 2.54561 not-muc 2005789 unknown 868 muc 21
5.09/5.19	c iter 23 time 2.5926 not-muc 2005789 unknown 867 muc 22
5.09/5.19	c iter 24 time 2.6496 not-muc 2005789 unknown 866 muc 23
5.09/5.19	c iter 25 time 2.69659 not-muc 2005789 unknown 865 muc 24
5.09/5.19	c iter 26 time 2.74458 not-muc 2005789 unknown 864 muc 25
5.09/5.19	c iter 27 time 2.80057 not-muc 2005789 unknown 863 muc 26
5.09/5.19	c iter 28 time 2.84857 not-muc 2005789 unknown 862 muc 27
5.09/5.19	c iter 29 time 2.89656 not-muc 2005789 unknown 861 muc 28
5.09/5.19	c iter 30 time 2.95255 not-muc 2005789 unknown 860 muc 29
5.09/5.19	c iter 31 time 3.00054 not-muc 2005789 unknown 859 muc 30
5.09/5.19	c iter 32 time 3.04754 not-muc 2005789 unknown 858 muc 31
5.09/5.19	c iter 33 time 3.10453 not-muc 2005789 unknown 857 muc 32
5.09/5.19	c iter 34 time 3.15152 not-muc 2005789 unknown 856 muc 33
5.09/5.19	c iter 35 time 3.19951 not-muc 2005789 unknown 855 muc 34
5.09/5.19	c iter 36 time 3.2555 not-muc 2005789 unknown 854 muc 35
5.09/5.19	c iter 37 time 3.3035 not-muc 2005789 unknown 853 muc 36
5.09/5.19	c iter 38 time 3.35149 not-muc 2005789 unknown 852 muc 37
5.09/5.19	c iter 39 time 3.40748 not-muc 2005789 unknown 851 muc 38
5.09/5.19	c iter 40 time 3.45547 not-muc 2005789 unknown 850 muc 39
5.09/5.19	c iter 41 time 3.50347 not-muc 2005789 unknown 849 muc 40
5.09/5.19	c iter 42 time 3.55946 not-muc 2005789 unknown 848 muc 41
5.09/5.19	c iter 43 time 3.60745 not-muc 2005789 unknown 847 muc 42
5.09/5.19	c iter 44 time 3.65444 not-muc 2005789 unknown 846 muc 43
5.09/5.19	c iter 45 time 3.71143 not-muc 2005789 unknown 845 muc 44
5.09/5.19	c iter 46 time 3.75843 not-muc 2005789 unknown 844 muc 45
5.09/5.19	c iter 47 time 3.80642 not-muc 2005789 unknown 843 muc 46
5.09/5.19	c iter 48 time 3.86341 not-muc 2005789 unknown 842 muc 47
5.09/5.19	c iter 49 time 3.9104 not-muc 2005789 unknown 841 muc 48
5.09/5.19	c iter 50 time 3.9584 not-muc 2005789 unknown 840 muc 49
5.09/5.19	c iter 51 time 4.01439 not-muc 2005789 unknown 839 muc 50
5.09/5.19	c iter 52 time 4.06238 not-muc 2005789 unknown 838 muc 51
5.09/5.19	c iter 53 time 4.10938 not-muc 2005789 unknown 837 muc 52
5.09/5.19	c iter 54 time 4.16637 not-muc 2005789 unknown 836 muc 53
5.09/5.19	c iter 55 time 4.21436 not-muc 2005789 unknown 835 muc 54
5.09/5.19	c iter 56 time 4.26135 not-muc 2005789 unknown 834 muc 55
5.09/5.19	c iter 57 time 4.32134 not-muc 2005789 unknown 833 muc 56
5.09/5.19	c iter 58 time 4.37733 not-muc 2005789 unknown 832 muc 57
5.09/5.19	c iter 59 time 4.43433 not-muc 2005789 unknown 831 muc 58
5.09/5.19	c iter 60 time 4.49132 not-muc 2005789 unknown 830 muc 59
5.09/5.19	c iter 61 time 4.54731 not-muc 2005789 unknown 829 muc 60
5.09/5.19	c iter 62 time 4.6043 not-muc 2005789 unknown 828 muc 61
5.09/5.19	c iter 63 time 4.66029 not-muc 2005789 unknown 827 muc 62
5.09/5.19	c iter 64 time 4.71728 not-muc 2005789 unknown 826 muc 63
5.09/5.19	c iter 65 time 4.77427 not-muc 2005789 unknown 825 muc 64
5.09/5.19	c iter 66 time 4.83026 not-muc 2005789 unknown 824 muc 65
5.09/5.19	c iter 67 time 4.88726 not-muc 2005789 unknown 823 muc 66
5.09/5.19	c iter 68 time 4.94325 not-muc 2005789 unknown 822 muc 67
5.09/5.19	c iter 69 time 5.00024 not-muc 2005789 unknown 821 muc 68
5.09/5.19	c iter 70 time 5.04823 not-muc 2005789 unknown 820 muc 69
8.69/8.72	c iter 71 time 5.09523 not-muc 2005789 unknown 819 muc 70
8.69/8.72	c iter 72 time 5.15222 not-muc 2005789 unknown 818 muc 71
8.69/8.72	c iter 73 time 5.20021 not-muc 2005789 unknown 817 muc 72
8.69/8.72	c iter 74 time 5.2472 not-muc 2005789 unknown 816 muc 73
8.69/8.72	c iter 75 time 5.30419 not-muc 2005789 unknown 815 muc 74
8.69/8.72	c iter 76 time 5.35219 not-muc 2005789 unknown 814 muc 75
8.69/8.72	c iter 77 time 5.39918 not-muc 2005789 unknown 813 muc 76
8.69/8.72	c iter 78 time 5.45617 not-muc 2005789 unknown 812 muc 77
8.69/8.72	c iter 79 time 5.50416 not-muc 2005789 unknown 811 muc 78
8.69/8.72	c iter 80 time 5.55116 not-muc 2005789 unknown 810 muc 79
8.69/8.72	c iter 81 time 5.60815 not-muc 2005789 unknown 809 muc 80
8.69/8.72	c iter 82 time 5.65614 not-muc 2005789 unknown 808 muc 81
8.69/8.72	c iter 83 time 5.70313 not-muc 2005789 unknown 807 muc 82
8.69/8.72	c iter 84 time 5.76012 not-muc 2005789 unknown 806 muc 83
8.69/8.72	c iter 85 time 5.80812 not-muc 2005789 unknown 805 muc 84
8.69/8.72	c iter 86 time 5.85511 not-muc 2005789 unknown 804 muc 85
8.69/8.72	c iter 87 time 5.9121 not-muc 2005789 unknown 803 muc 86
8.69/8.72	c iter 88 time 5.96009 not-muc 2005789 unknown 802 muc 87
8.69/8.72	c iter 89 time 6.00709 not-muc 2005789 unknown 801 muc 88
8.69/8.72	c iter 90 time 6.06408 not-muc 2005789 unknown 800 muc 89
8.69/8.72	c iter 91 time 6.12107 not-muc 2005789 unknown 799 muc 90
8.69/8.72	c iter 92 time 6.16806 not-muc 2005789 unknown 798 muc 91
8.69/8.72	c iter 93 time 6.21605 not-muc 2005789 unknown 797 muc 92
8.69/8.72	c iter 94 time 6.26405 not-muc 2005789 unknown 796 muc 93
8.69/8.72	c iter 95 time 6.31204 not-muc 2005789 unknown 795 muc 94
8.69/8.72	c iter 96 time 6.36003 not-muc 2005789 unknown 794 muc 95
8.69/8.72	c iter 97 time 6.40702 not-muc 2005789 unknown 793 muc 96
8.69/8.72	c iter 98 time 6.45502 not-muc 2005789 unknown 792 muc 97
8.69/8.72	c iter 99 time 6.50301 not-muc 2005789 unknown 791 muc 98
8.69/8.72	c iter 100 time 6.551 not-muc 2005789 unknown 790 muc 99
8.69/8.72	c iter 101 time 6.599 not-muc 2005789 unknown 789 muc 100
8.69/8.72	c iter 102 time 6.64699 not-muc 2005789 unknown 788 muc 101
8.69/8.72	c iter 103 time 6.69498 not-muc 2005789 unknown 787 muc 102
8.69/8.72	c iter 104 time 6.74297 not-muc 2005789 unknown 786 muc 103
8.69/8.72	c iter 105 time 6.79097 not-muc 2005789 unknown 785 muc 104
8.69/8.72	c iter 106 time 6.83896 not-muc 2005789 unknown 784 muc 105
8.69/8.72	c iter 107 time 6.88695 not-muc 2005789 unknown 783 muc 106
8.69/8.72	c iter 108 time 6.93494 not-muc 2005789 unknown 782 muc 107
8.69/8.72	c iter 109 time 6.98294 not-muc 2005789 unknown 781 muc 108
8.69/8.72	c iter 110 time 7.03093 not-muc 2005789 unknown 780 muc 109
8.69/8.72	c iter 111 time 7.07992 not-muc 2005789 unknown 779 muc 110
8.69/8.72	c iter 112 time 7.12792 not-muc 2005789 unknown 778 muc 111
8.69/8.72	c iter 113 time 7.17591 not-muc 2005789 unknown 777 muc 112
8.69/8.72	c iter 114 time 7.2239 not-muc 2005789 unknown 776 muc 113
8.69/8.72	c iter 115 time 7.27289 not-muc 2005789 unknown 775 muc 114
8.69/8.72	c iter 116 time 7.32089 not-muc 2005789 unknown 774 muc 115
8.69/8.72	c iter 117 time 7.36888 not-muc 2005789 unknown 773 muc 116
8.69/8.72	c iter 118 time 7.42587 not-muc 2005789 unknown 772 muc 117
8.69/8.72	c iter 119 time 7.48286 not-muc 2005789 unknown 771 muc 118
8.69/8.72	c iter 120 time 7.53085 not-muc 2005789 unknown 770 muc 119
8.69/8.72	c iter 121 time 7.58785 not-muc 2005789 unknown 769 muc 120
8.69/8.72	c iter 122 time 7.63584 not-muc 2005789 unknown 768 muc 121
8.69/8.72	c iter 123 time 7.69283 not-muc 2005789 unknown 767 muc 122
8.69/8.72	c iter 124 time 7.74082 not-muc 2005789 unknown 766 muc 123
8.69/8.72	c iter 125 time 7.78881 not-muc 2005789 unknown 765 muc 124
8.69/8.72	c iter 126 time 7.84581 not-muc 2005789 unknown 764 muc 125
8.69/8.72	c iter 127 time 7.8938 not-muc 2005789 unknown 763 muc 126
8.69/8.72	c iter 128 time 7.94179 not-muc 2005789 unknown 762 muc 127
8.69/8.72	c iter 129 time 7.99778 not-muc 2005789 unknown 761 muc 128
8.69/8.72	c iter 130 time 8.04578 not-muc 2005789 unknown 760 muc 129
8.69/8.72	c iter 131 time 8.09377 not-muc 2005789 unknown 759 muc 130
8.69/8.72	c iter 132 time 8.15076 not-muc 2005789 unknown 758 muc 131
8.69/8.72	c iter 133 time 8.19875 not-muc 2005789 unknown 757 muc 132
8.69/8.72	c iter 134 time 8.24675 not-muc 2005789 unknown 756 muc 133
8.69/8.72	c iter 135 time 8.30374 not-muc 2005789 unknown 755 muc 134
8.69/8.72	c iter 136 time 8.35173 not-muc 2005789 unknown 754 muc 135
8.69/8.72	c iter 137 time 8.40872 not-muc 2005789 unknown 753 muc 136
8.69/8.72	c iter 138 time 8.46571 not-muc 2005789 unknown 752 muc 137
8.69/8.72	c iter 139 time 8.5227 not-muc 2005789 unknown 751 muc 138
8.69/8.72	c iter 140 time 8.57969 not-muc 2005789 unknown 750 muc 139
12.29/12.34	c iter 141 time 8.63569 not-muc 2005789 unknown 749 muc 140
12.29/12.34	c iter 142 time 8.69268 not-muc 2005789 unknown 748 muc 141
12.29/12.34	c iter 143 time 8.74967 not-muc 2005789 unknown 747 muc 142
12.29/12.34	c iter 144 time 8.80666 not-muc 2005789 unknown 746 muc 143
12.29/12.34	c iter 145 time 8.86365 not-muc 2005789 unknown 745 muc 144
12.29/12.34	c iter 146 time 8.92064 not-muc 2005789 unknown 744 muc 145
12.29/12.34	c iter 147 time 8.97763 not-muc 2005789 unknown 743 muc 146
12.29/12.34	c iter 148 time 9.03463 not-muc 2005789 unknown 742 muc 147
12.29/12.34	c iter 149 time 9.09162 not-muc 2005789 unknown 741 muc 148
12.29/12.34	c iter 150 time 9.14861 not-muc 2005789 unknown 740 muc 149
12.29/12.34	c iter 151 time 9.2046 not-muc 2005789 unknown 739 muc 150
12.29/12.34	c iter 152 time 9.26159 not-muc 2005789 unknown 738 muc 151
12.29/12.34	c iter 153 time 9.31858 not-muc 2005789 unknown 737 muc 152
12.29/12.34	c iter 154 time 9.37557 not-muc 2005789 unknown 736 muc 153
12.29/12.34	c iter 155 time 9.43257 not-muc 2005789 unknown 735 muc 154
12.29/12.34	c iter 156 time 9.49556 not-muc 2005789 unknown 734 muc 155
12.29/12.34	c iter 157 time 9.55255 not-muc 2005789 unknown 733 muc 156
12.29/12.34	c iter 158 time 9.60954 not-muc 2005789 unknown 732 muc 157
12.29/12.34	c iter 159 time 9.66653 not-muc 2005789 unknown 731 muc 158
12.29/12.34	c iter 160 time 9.72352 not-muc 2005789 unknown 730 muc 159
12.29/12.34	c iter 161 time 9.78051 not-muc 2005789 unknown 729 muc 160
12.29/12.34	c iter 162 time 9.8375 not-muc 2005789 unknown 728 muc 161
12.29/12.34	c iter 163 time 9.89449 not-muc 2005789 unknown 727 muc 162
12.29/12.34	c iter 164 time 9.95149 not-muc 2005789 unknown 726 muc 163
12.29/12.34	c iter 165 time 10.0085 not-muc 2005789 unknown 725 muc 164
12.29/12.34	c iter 166 time 10.0645 not-muc 2005789 unknown 724 muc 165
12.29/12.34	c iter 167 time 10.1215 not-muc 2005789 unknown 723 muc 166
12.29/12.34	c iter 168 time 10.1785 not-muc 2005789 unknown 722 muc 167
12.29/12.34	c iter 169 time 10.2354 not-muc 2005789 unknown 721 muc 168
12.29/12.34	c iter 170 time 10.2924 not-muc 2005789 unknown 720 muc 169
12.29/12.34	c iter 171 time 10.3494 not-muc 2005789 unknown 719 muc 170
12.29/12.34	c iter 172 time 10.3974 not-muc 2005789 unknown 718 muc 171
12.29/12.34	c iter 173 time 10.4544 not-muc 2005789 unknown 717 muc 172
12.29/12.34	c iter 174 time 10.5024 not-muc 2005789 unknown 716 muc 173
12.29/12.34	c iter 175 time 10.5594 not-muc 2005789 unknown 715 muc 174
12.29/12.34	c iter 176 time 10.6074 not-muc 2005789 unknown 714 muc 175
12.29/12.34	c iter 177 time 10.6554 not-muc 2005789 unknown 713 muc 176
12.29/12.34	c iter 178 time 10.7044 not-muc 2005789 unknown 712 muc 177
12.29/12.34	c iter 179 time 10.7614 not-muc 2005789 unknown 711 muc 178
12.29/12.34	c iter 180 time 10.8094 not-muc 2005789 unknown 710 muc 179
12.29/12.34	c iter 181 time 10.8573 not-muc 2005789 unknown 709 muc 180
12.29/12.34	c iter 182 time 10.9053 not-muc 2005789 unknown 708 muc 181
12.29/12.34	c iter 183 time 10.9533 not-muc 2005789 unknown 707 muc 182
12.29/12.34	c iter 184 time 11.0103 not-muc 2005789 unknown 706 muc 183
12.29/12.34	c iter 185 time 11.0583 not-muc 2005789 unknown 705 muc 184
12.29/12.34	c iter 186 time 11.1063 not-muc 2005789 unknown 704 muc 185
12.29/12.34	c iter 187 time 11.1543 not-muc 2005789 unknown 703 muc 186
12.29/12.34	c iter 188 time 11.2023 not-muc 2005789 unknown 702 muc 187
12.29/12.34	c iter 189 time 11.2593 not-muc 2005789 unknown 701 muc 188
12.29/12.34	c iter 190 time 11.3073 not-muc 2005789 unknown 700 muc 189
12.29/12.34	c iter 191 time 11.3563 not-muc 2005789 unknown 699 muc 190
12.29/12.34	c iter 192 time 11.4043 not-muc 2005789 unknown 698 muc 191
12.29/12.34	c iter 193 time 11.4523 not-muc 2005789 unknown 697 muc 192
12.29/12.34	c iter 194 time 11.5092 not-muc 2005789 unknown 696 muc 193
12.29/12.34	c iter 195 time 11.5572 not-muc 2005789 unknown 695 muc 194
12.29/12.34	c iter 196 time 11.6052 not-muc 2005789 unknown 694 muc 195
12.29/12.34	c iter 197 time 11.6532 not-muc 2005789 unknown 693 muc 196
12.29/12.34	c iter 198 time 11.7012 not-muc 2005789 unknown 692 muc 197
12.29/12.34	c iter 199 time 11.7582 not-muc 2005789 unknown 691 muc 198
12.29/12.34	c iter 200 time 11.8062 not-muc 2005789 unknown 690 muc 199
12.29/12.34	c iter 201 time 11.8542 not-muc 2005789 unknown 689 muc 200
12.29/12.34	c iter 202 time 11.9022 not-muc 2005789 unknown 688 muc 201
12.29/12.34	c iter 203 time 11.9512 not-muc 2005789 unknown 687 muc 202
12.29/12.34	c iter 204 time 12.0072 not-muc 2005789 unknown 686 muc 203
12.29/12.34	c iter 205 time 12.0562 not-muc 2005789 unknown 685 muc 204
12.29/12.34	c iter 206 time 12.1042 not-muc 2005789 unknown 684 muc 205
12.29/12.34	c iter 207 time 12.1522 not-muc 2005789 unknown 683 muc 206
12.29/12.34	c iter 208 time 12.2001 not-muc 2005789 unknown 682 muc 207
15.69/15.76	c iter 209 time 12.2571 not-muc 2005789 unknown 681 muc 208
15.69/15.76	c iter 210 time 12.3051 not-muc 2005789 unknown 680 muc 209
15.69/15.76	c iter 211 time 12.3531 not-muc 2005789 unknown 679 muc 210
15.69/15.76	c iter 212 time 12.4011 not-muc 2005789 unknown 678 muc 211
15.69/15.76	c iter 213 time 12.4491 not-muc 2005789 unknown 677 muc 212
15.69/15.76	c iter 214 time 12.5061 not-muc 2005789 unknown 676 muc 213
15.69/15.76	c iter 215 time 12.5541 not-muc 2005789 unknown 675 muc 214
15.69/15.76	c iter 216 time 12.6021 not-muc 2005789 unknown 674 muc 215
15.69/15.76	c iter 217 time 12.6511 not-muc 2005789 unknown 673 muc 216
15.69/15.76	c iter 218 time 12.6991 not-muc 2005789 unknown 672 muc 217
15.69/15.76	c iter 219 time 12.7561 not-muc 2005789 unknown 671 muc 218
15.69/15.76	c iter 220 time 12.8041 not-muc 2005789 unknown 670 muc 219
15.69/15.76	c iter 221 time 12.852 not-muc 2005789 unknown 669 muc 220
15.69/15.76	c iter 222 time 12.9 not-muc 2005789 unknown 668 muc 221
15.69/15.76	c iter 223 time 12.948 not-muc 2005789 unknown 667 muc 222
15.69/15.76	c iter 224 time 13.005 not-muc 2005789 unknown 666 muc 223
15.69/15.76	c iter 225 time 13.053 not-muc 2005789 unknown 665 muc 224
15.69/15.76	c iter 226 time 13.101 not-muc 2005789 unknown 664 muc 225
15.69/15.76	c iter 227 time 13.149 not-muc 2005789 unknown 663 muc 226
15.69/15.76	c iter 228 time 13.197 not-muc 2005789 unknown 662 muc 227
15.69/15.76	c iter 229 time 13.254 not-muc 2005789 unknown 661 muc 228
15.69/15.76	c iter 230 time 13.302 not-muc 2005789 unknown 660 muc 229
15.69/15.76	c iter 231 time 13.35 not-muc 2005789 unknown 659 muc 230
15.69/15.76	c iter 232 time 13.399 not-muc 2005789 unknown 658 muc 231
15.69/15.76	c iter 233 time 13.447 not-muc 2005789 unknown 657 muc 232
15.69/15.76	c iter 234 time 13.4949 not-muc 2005789 unknown 656 muc 233
15.69/15.76	c iter 235 time 13.5429 not-muc 2005789 unknown 655 muc 234
15.69/15.76	c iter 236 time 13.5909 not-muc 2005789 unknown 654 muc 235
15.69/15.76	c iter 237 time 13.6399 not-muc 2005789 unknown 653 muc 236
15.69/15.76	c iter 238 time 13.6879 not-muc 2005789 unknown 652 muc 237
15.69/15.76	c iter 239 time 13.7359 not-muc 2005789 unknown 651 muc 238
15.69/15.76	c iter 240 time 13.7839 not-muc 2005789 unknown 650 muc 239
15.69/15.76	c iter 241 time 13.8329 not-muc 2005789 unknown 649 muc 240
15.69/15.76	c iter 242 time 13.8809 not-muc 2005789 unknown 648 muc 241
15.69/15.76	c iter 243 time 13.9299 not-muc 2005789 unknown 647 muc 242
15.69/15.76	c iter 244 time 13.9779 not-muc 2005789 unknown 646 muc 243
15.69/15.76	c iter 245 time 14.0269 not-muc 2005789 unknown 645 muc 244
15.69/15.76	c iter 246 time 14.0749 not-muc 2005789 unknown 644 muc 245
15.69/15.76	c iter 247 time 14.1239 not-muc 2005789 unknown 643 muc 246
15.69/15.76	c iter 248 time 14.1718 not-muc 2005789 unknown 642 muc 247
15.69/15.76	c iter 249 time 14.2208 not-muc 2005789 unknown 641 muc 248
15.69/15.76	c iter 250 time 14.2688 not-muc 2005789 unknown 640 muc 249
15.69/15.76	c iter 251 time 14.3178 not-muc 2005789 unknown 639 muc 250
15.69/15.76	c iter 252 time 14.3668 not-muc 2005789 unknown 638 muc 251
15.69/15.76	c iter 253 time 14.4148 not-muc 2005789 unknown 637 muc 252
15.69/15.76	c iter 254 time 14.4638 not-muc 2005789 unknown 636 muc 253
15.69/15.76	c iter 255 time 14.5118 not-muc 2005789 unknown 635 muc 254
15.69/15.76	c iter 256 time 14.5608 not-muc 2005789 unknown 634 muc 255
15.69/15.76	c iter 257 time 14.6218 not-muc 2005789 unknown 633 muc 256
15.69/15.76	c iter 258 time 14.6788 not-muc 2005789 unknown 632 muc 257
15.69/15.76	c iter 259 time 14.7428 not-muc 2005789 unknown 631 muc 258
15.69/15.76	c iter 260 time 14.7908 not-muc 2005789 unknown 630 muc 259
15.69/15.76	c iter 261 time 14.8387 not-muc 2005789 unknown 629 muc 260
15.69/15.76	c iter 262 time 14.8877 not-muc 2005789 unknown 628 muc 261
15.69/15.76	c iter 263 time 14.9357 not-muc 2005789 unknown 627 muc 262
15.69/15.76	c iter 264 time 14.9847 not-muc 2005789 unknown 626 muc 263
15.69/15.76	c iter 265 time 15.0327 not-muc 2005789 unknown 625 muc 264
15.69/15.76	c iter 266 time 15.0817 not-muc 2005789 unknown 624 muc 265
15.69/15.76	c iter 267 time 15.1307 not-muc 2005789 unknown 623 muc 266
15.69/15.76	c iter 268 time 15.1787 not-muc 2005789 unknown 622 muc 267
15.69/15.76	c iter 269 time 15.2277 not-muc 2005789 unknown 621 muc 268
15.69/15.76	c iter 270 time 15.2767 not-muc 2005789 unknown 620 muc 269
15.69/15.76	c iter 271 time 15.3247 not-muc 2005789 unknown 619 muc 270
15.69/15.76	c iter 272 time 15.3737 not-muc 2005789 unknown 618 muc 271
15.69/15.76	c iter 273 time 15.4227 not-muc 2005789 unknown 617 muc 272
15.69/15.76	c iter 274 time 15.4716 not-muc 2005789 unknown 616 muc 273
15.69/15.76	c iter 275 time 15.5206 not-muc 2005789 unknown 615 muc 274
15.69/15.76	c iter 276 time 15.5686 not-muc 2005789 unknown 614 muc 275
15.69/15.76	c iter 277 time 15.6176 not-muc 2005789 unknown 613 muc 276
19.29/19.35	c iter 278 time 15.6666 not-muc 2005789 unknown 612 muc 277
19.29/19.35	c iter 279 time 15.7156 not-muc 2005789 unknown 611 muc 278
19.29/19.35	c iter 280 time 15.7646 not-muc 2005789 unknown 610 muc 279
19.29/19.35	c iter 281 time 15.8136 not-muc 2005789 unknown 609 muc 280
19.29/19.35	c iter 282 time 15.8626 not-muc 2005789 unknown 608 muc 281
19.29/19.35	c iter 283 time 15.9116 not-muc 2005789 unknown 607 muc 282
19.29/19.35	c iter 284 time 15.9616 not-muc 2005789 unknown 606 muc 283
19.29/19.35	c iter 285 time 16.0106 not-muc 2005789 unknown 605 muc 284
19.29/19.35	c iter 286 time 16.0596 not-muc 2005789 unknown 604 muc 285
19.29/19.35	c iter 287 time 16.1086 not-muc 2005789 unknown 603 muc 286
19.29/19.35	c iter 288 time 16.1585 not-muc 2005789 unknown 602 muc 287
19.29/19.35	c iter 289 time 16.2075 not-muc 2005789 unknown 601 muc 288
19.29/19.35	c iter 290 time 16.2565 not-muc 2005789 unknown 600 muc 289
19.29/19.35	c iter 291 time 16.3065 not-muc 2005789 unknown 599 muc 290
19.29/19.35	c iter 292 time 16.3555 not-muc 2005789 unknown 598 muc 291
19.29/19.35	c iter 293 time 16.4055 not-muc 2005789 unknown 597 muc 292
19.29/19.35	c iter 294 time 16.4545 not-muc 2005789 unknown 596 muc 293
19.29/19.35	c iter 295 time 16.5045 not-muc 2005789 unknown 595 muc 294
19.29/19.35	c iter 296 time 16.5535 not-muc 2005789 unknown 594 muc 295
19.29/19.35	c iter 297 time 16.6035 not-muc 2005789 unknown 593 muc 296
19.29/19.35	c iter 298 time 16.6525 not-muc 2005789 unknown 592 muc 297
19.29/19.35	c iter 299 time 16.7025 not-muc 2005789 unknown 591 muc 298
19.29/19.35	c iter 300 time 16.7525 not-muc 2005789 unknown 590 muc 299
19.29/19.35	c iter 301 time 16.8014 not-muc 2005789 unknown 589 muc 300
19.29/19.35	c iter 302 time 16.8514 not-muc 2005789 unknown 588 muc 301
19.29/19.35	c iter 303 time 16.9014 not-muc 2005789 unknown 587 muc 302
19.29/19.35	c iter 304 time 16.9514 not-muc 2005789 unknown 586 muc 303
19.29/19.35	c iter 305 time 17.0004 not-muc 2005789 unknown 585 muc 304
19.29/19.35	c iter 306 time 17.0504 not-muc 2005789 unknown 584 muc 305
19.29/19.35	c iter 307 time 17.1004 not-muc 2005789 unknown 583 muc 306
19.29/19.35	c iter 308 time 17.1504 not-muc 2005789 unknown 582 muc 307
19.29/19.35	c iter 309 time 17.2004 not-muc 2005789 unknown 581 muc 308
19.29/19.35	c iter 310 time 17.2504 not-muc 2005789 unknown 580 muc 309
19.29/19.35	c iter 311 time 17.3004 not-muc 2005789 unknown 579 muc 310
19.29/19.35	c iter 312 time 17.3504 not-muc 2005789 unknown 578 muc 311
19.29/19.35	c iter 313 time 17.4014 not-muc 2005789 unknown 577 muc 312
19.29/19.35	c iter 314 time 17.4513 not-muc 2005789 unknown 576 muc 313
19.29/19.35	c iter 315 time 17.5013 not-muc 2005789 unknown 575 muc 314
19.29/19.35	c iter 316 time 17.5513 not-muc 2005789 unknown 574 muc 315
19.29/19.35	c iter 317 time 17.6023 not-muc 2005789 unknown 573 muc 316
19.29/19.35	c iter 318 time 17.6593 not-muc 2005789 unknown 572 muc 317
19.29/19.35	c iter 319 time 17.7163 not-muc 2005789 unknown 571 muc 318
19.29/19.35	c iter 320 time 17.7743 not-muc 2005789 unknown 570 muc 319
19.29/19.35	c iter 321 time 17.8313 not-muc 2005789 unknown 569 muc 320
19.29/19.35	c iter 322 time 17.8883 not-muc 2005789 unknown 568 muc 321
19.29/19.35	c iter 323 time 17.9453 not-muc 2005789 unknown 567 muc 322
19.29/19.35	c iter 324 time 18.0033 not-muc 2005789 unknown 566 muc 323
19.29/19.35	c iter 325 time 18.0603 not-muc 2005789 unknown 565 muc 324
19.29/19.35	c iter 326 time 18.1172 not-muc 2005789 unknown 564 muc 325
19.29/19.35	c iter 327 time 18.1752 not-muc 2005789 unknown 563 muc 326
19.29/19.35	c iter 328 time 18.2322 not-muc 2005789 unknown 562 muc 327
19.29/19.35	c iter 329 time 18.2892 not-muc 2005789 unknown 561 muc 328
19.29/19.35	c iter 330 time 18.3462 not-muc 2005789 unknown 560 muc 329
19.29/19.35	c iter 331 time 18.4042 not-muc 2005789 unknown 559 muc 330
19.29/19.35	c iter 332 time 18.4612 not-muc 2005789 unknown 558 muc 331
19.29/19.35	c iter 333 time 18.5182 not-muc 2005789 unknown 557 muc 332
19.29/19.35	c iter 334 time 18.5762 not-muc 2005789 unknown 556 muc 333
19.29/19.35	c iter 335 time 18.6332 not-muc 2005789 unknown 555 muc 334
19.29/19.35	c iter 336 time 18.6902 not-muc 2005789 unknown 554 muc 335
19.29/19.35	c iter 337 time 18.7481 not-muc 2005789 unknown 553 muc 336
19.29/19.35	c iter 338 time 18.8051 not-muc 2005789 unknown 552 muc 337
19.29/19.35	c iter 339 time 18.8621 not-muc 2005789 unknown 551 muc 338
19.29/19.35	c iter 340 time 18.9191 not-muc 2005789 unknown 550 muc 339
19.29/19.35	c iter 341 time 18.9771 not-muc 2005789 unknown 549 muc 340
19.29/19.35	c iter 342 time 19.0341 not-muc 2005789 unknown 548 muc 341
19.29/19.35	c iter 343 time 19.0911 not-muc 2005789 unknown 547 muc 342
19.29/19.35	c iter 344 time 19.1481 not-muc 2005789 unknown 546 muc 343
19.29/19.35	c iter 345 time 19.2061 not-muc 2005789 unknown 545 muc 344
23.20/23.25	c iter 346 time 19.2631 not-muc 2005789 unknown 544 muc 345
23.20/23.25	c iter 347 time 19.3201 not-muc 2005789 unknown 543 muc 346
23.20/23.25	c iter 348 time 19.3781 not-muc 2005789 unknown 542 muc 347
23.20/23.25	c iter 349 time 19.435 not-muc 2005789 unknown 541 muc 348
23.20/23.25	c iter 350 time 19.492 not-muc 2005789 unknown 540 muc 349
23.20/23.25	c iter 351 time 19.549 not-muc 2005789 unknown 539 muc 350
23.20/23.25	c iter 352 time 19.607 not-muc 2005789 unknown 538 muc 351
23.20/23.25	c iter 353 time 19.664 not-muc 2005789 unknown 537 muc 352
23.20/23.25	c iter 354 time 19.721 not-muc 2005789 unknown 536 muc 353
23.20/23.25	c iter 355 time 19.779 not-muc 2005789 unknown 535 muc 354
23.20/23.25	c iter 356 time 19.836 not-muc 2005789 unknown 534 muc 355
23.20/23.25	c iter 357 time 19.893 not-muc 2005789 unknown 533 muc 356
23.20/23.25	c iter 358 time 19.95 not-muc 2005789 unknown 532 muc 357
23.20/23.25	c iter 359 time 20.008 not-muc 2005789 unknown 531 muc 358
23.20/23.25	c iter 360 time 20.0649 not-muc 2005789 unknown 530 muc 359
23.20/23.25	c iter 361 time 20.1229 not-muc 2005789 unknown 529 muc 360
23.20/23.25	c iter 362 time 20.1799 not-muc 2005789 unknown 528 muc 361
23.20/23.25	c iter 363 time 20.2369 not-muc 2005789 unknown 527 muc 362
23.20/23.25	c iter 364 time 20.2949 not-muc 2005789 unknown 526 muc 363
23.20/23.25	c iter 365 time 20.3519 not-muc 2005789 unknown 525 muc 364
23.20/23.25	c iter 366 time 20.4099 not-muc 2005789 unknown 524 muc 365
23.20/23.25	c iter 367 time 20.4669 not-muc 2005789 unknown 523 muc 366
23.20/23.25	c iter 368 time 20.5239 not-muc 2005789 unknown 522 muc 367
23.20/23.25	c iter 369 time 20.5819 not-muc 2005789 unknown 521 muc 368
23.20/23.25	c iter 370 time 20.6389 not-muc 2005789 unknown 520 muc 369
23.20/23.25	c iter 371 time 20.6969 not-muc 2005789 unknown 519 muc 370
23.20/23.25	c iter 372 time 20.7538 not-muc 2005789 unknown 518 muc 371
23.20/23.25	c iter 373 time 20.8118 not-muc 2005789 unknown 517 muc 372
23.20/23.25	c iter 374 time 20.8688 not-muc 2005789 unknown 516 muc 373
23.20/23.25	c iter 375 time 20.9258 not-muc 2005789 unknown 515 muc 374
23.20/23.25	c iter 376 time 20.9838 not-muc 2005789 unknown 514 muc 375
23.20/23.25	c iter 377 time 21.0408 not-muc 2005789 unknown 513 muc 376
23.20/23.25	c iter 378 time 21.0978 not-muc 2005789 unknown 512 muc 377
23.20/23.25	c iter 379 time 21.1558 not-muc 2005789 unknown 511 muc 378
23.20/23.25	c iter 380 time 21.2128 not-muc 2005789 unknown 510 muc 379
23.20/23.25	c iter 381 time 21.2708 not-muc 2005789 unknown 509 muc 380
23.20/23.25	c iter 382 time 21.3278 not-muc 2005789 unknown 508 muc 381
23.20/23.25	c iter 383 time 21.3917 not-muc 2005789 unknown 507 muc 382
23.20/23.25	c iter 384 time 21.4487 not-muc 2005789 unknown 506 muc 383
23.20/23.25	c iter 385 time 21.5057 not-muc 2005789 unknown 505 muc 384
23.20/23.25	c iter 386 time 21.5637 not-muc 2005789 unknown 504 muc 385
23.20/23.25	c iter 387 time 21.6207 not-muc 2005789 unknown 503 muc 386
23.20/23.25	c iter 388 time 21.6787 not-muc 2005789 unknown 502 muc 387
23.20/23.25	c iter 389 time 21.7357 not-muc 2005789 unknown 501 muc 388
23.20/23.25	c iter 390 time 21.7927 not-muc 2005789 unknown 500 muc 389
23.20/23.25	c iter 391 time 21.8507 not-muc 2005789 unknown 499 muc 390
23.20/23.25	c iter 392 time 21.9077 not-muc 2005789 unknown 498 muc 391
23.20/23.25	c iter 393 time 21.9647 not-muc 2005789 unknown 497 muc 392
23.20/23.25	c iter 394 time 22.0227 not-muc 2005789 unknown 496 muc 393
23.20/23.25	c iter 395 time 22.0796 not-muc 2005789 unknown 495 muc 394
23.20/23.25	c iter 396 time 22.1366 not-muc 2005789 unknown 494 muc 395
23.20/23.25	c iter 397 time 22.1946 not-muc 2005789 unknown 493 muc 396
23.20/23.25	c iter 398 time 22.2516 not-muc 2005789 unknown 492 muc 397
23.20/23.25	c iter 399 time 22.3086 not-muc 2005789 unknown 491 muc 398
23.20/23.25	c iter 400 time 22.3666 not-muc 2005789 unknown 490 muc 399
23.20/23.25	c iter 401 time 22.4236 not-muc 2005789 unknown 489 muc 400
23.20/23.25	c iter 402 time 22.4806 not-muc 2005789 unknown 488 muc 401
23.20/23.25	c iter 403 time 22.5386 not-muc 2005789 unknown 487 muc 402
23.20/23.25	c iter 404 time 22.5956 not-muc 2005789 unknown 486 muc 403
23.20/23.25	c iter 405 time 22.6526 not-muc 2005789 unknown 485 muc 404
23.20/23.25	c iter 406 time 22.7105 not-muc 2005789 unknown 484 muc 405
23.20/23.25	c iter 407 time 22.7675 not-muc 2005789 unknown 483 muc 406
23.20/23.25	c iter 408 time 22.8245 not-muc 2005789 unknown 482 muc 407
23.20/23.25	c iter 409 time 22.8815 not-muc 2005789 unknown 481 muc 408
23.20/23.25	c iter 410 time 22.9395 not-muc 2005789 unknown 480 muc 409
23.20/23.25	c iter 411 time 22.9965 not-muc 2005789 unknown 479 muc 410
23.20/23.25	c iter 412 time 23.0535 not-muc 2005789 unknown 478 muc 411
23.20/23.25	c iter 413 time 23.1115 not-muc 2005789 unknown 477 muc 412
27.19/27.21	c iter 414 time 23.1685 not-muc 2005789 unknown 476 muc 413
27.19/27.21	c iter 415 time 23.2255 not-muc 2005789 unknown 475 muc 414
27.19/27.21	c iter 416 time 23.2835 not-muc 2005789 unknown 474 muc 415
27.19/27.21	c iter 417 time 23.3405 not-muc 2005789 unknown 473 muc 416
27.19/27.21	c iter 418 time 23.3974 not-muc 2005789 unknown 472 muc 417
27.19/27.21	c iter 419 time 23.4554 not-muc 2005789 unknown 471 muc 418
27.19/27.21	c iter 420 time 23.5124 not-muc 2005789 unknown 470 muc 419
27.19/27.21	c iter 421 time 23.5694 not-muc 2005789 unknown 469 muc 420
27.19/27.21	c iter 422 time 23.6274 not-muc 2005789 unknown 468 muc 421
27.19/27.21	c iter 423 time 23.6844 not-muc 2005789 unknown 467 muc 422
27.19/27.21	c iter 424 time 23.7414 not-muc 2005789 unknown 466 muc 423
27.19/27.21	c iter 425 time 23.7994 not-muc 2005789 unknown 465 muc 424
27.19/27.21	c iter 426 time 23.8564 not-muc 2005789 unknown 464 muc 425
27.19/27.21	c iter 427 time 23.9134 not-muc 2005789 unknown 463 muc 426
27.19/27.21	c iter 428 time 23.9704 not-muc 2005789 unknown 462 muc 427
27.19/27.21	c iter 429 time 24.0283 not-muc 2005789 unknown 461 muc 428
27.19/27.21	c iter 430 time 24.0853 not-muc 2005789 unknown 460 muc 429
27.19/27.21	c iter 431 time 24.1423 not-muc 2005789 unknown 459 muc 430
27.19/27.21	c iter 432 time 24.2003 not-muc 2005789 unknown 458 muc 431
27.19/27.21	c iter 433 time 24.2573 not-muc 2005789 unknown 457 muc 432
27.19/27.21	c iter 434 time 24.3143 not-muc 2005789 unknown 456 muc 433
27.19/27.21	c iter 435 time 24.3713 not-muc 2005789 unknown 455 muc 434
27.19/27.21	c iter 436 time 24.4293 not-muc 2005789 unknown 454 muc 435
27.19/27.21	c iter 437 time 24.4863 not-muc 2005789 unknown 453 muc 436
27.19/27.21	c iter 438 time 24.5433 not-muc 2005789 unknown 452 muc 437
27.19/27.21	c iter 439 time 24.6013 not-muc 2005789 unknown 451 muc 438
27.19/27.21	c iter 440 time 24.6583 not-muc 2005789 unknown 450 muc 439
27.19/27.21	c iter 441 time 24.7152 not-muc 2005789 unknown 449 muc 440
27.19/27.21	c iter 442 time 24.7722 not-muc 2005789 unknown 448 muc 441
27.19/27.21	c iter 443 time 24.8302 not-muc 2005789 unknown 447 muc 442
27.19/27.21	c iter 444 time 24.8872 not-muc 2005789 unknown 446 muc 443
27.19/27.21	c iter 445 time 24.9442 not-muc 2005789 unknown 445 muc 444
27.19/27.21	c iter 446 time 25.0012 not-muc 2005789 unknown 444 muc 445
27.19/27.21	c iter 447 time 25.0592 not-muc 2005789 unknown 443 muc 446
27.19/27.21	c iter 448 time 25.1162 not-muc 2005789 unknown 442 muc 447
27.19/27.21	c iter 449 time 25.1732 not-muc 2005789 unknown 441 muc 448
27.19/27.21	c iter 450 time 25.2302 not-muc 2005789 unknown 440 muc 449
27.19/27.21	c iter 451 time 25.2882 not-muc 2005789 unknown 439 muc 450
27.19/27.21	c iter 452 time 25.3451 not-muc 2005789 unknown 438 muc 451
27.19/27.21	c iter 453 time 25.4021 not-muc 2005789 unknown 437 muc 452
27.19/27.21	c iter 454 time 25.4591 not-muc 2005789 unknown 436 muc 453
27.19/27.21	c iter 455 time 25.5161 not-muc 2005789 unknown 435 muc 454
27.19/27.21	c iter 456 time 25.5741 not-muc 2005789 unknown 434 muc 455
27.19/27.21	c iter 457 time 25.6311 not-muc 2005789 unknown 433 muc 456
27.19/27.21	c iter 458 time 25.6881 not-muc 2005789 unknown 432 muc 457
27.19/27.21	c iter 459 time 25.7451 not-muc 2005789 unknown 431 muc 458
27.19/27.21	c iter 460 time 25.8021 not-muc 2005789 unknown 430 muc 459
27.19/27.21	c iter 461 time 25.8601 not-muc 2005789 unknown 429 muc 460
27.19/27.21	c iter 462 time 25.9171 not-muc 2005789 unknown 428 muc 461
27.19/27.21	c iter 463 time 25.9741 not-muc 2005789 unknown 427 muc 462
27.19/27.21	c iter 464 time 26.031 not-muc 2005789 unknown 426 muc 463
27.19/27.21	c iter 465 time 26.088 not-muc 2005789 unknown 425 muc 464
27.19/27.21	c iter 466 time 26.146 not-muc 2005789 unknown 424 muc 465
27.19/27.21	c iter 467 time 26.203 not-muc 2005789 unknown 423 muc 466
27.19/27.21	c iter 468 time 26.266 not-muc 2005789 unknown 422 muc 467
27.19/27.21	c iter 469 time 26.324 not-muc 2005789 unknown 421 muc 468
27.19/27.21	c iter 470 time 26.381 not-muc 2005789 unknown 420 muc 469
27.19/27.21	c iter 471 time 26.438 not-muc 2005789 unknown 419 muc 470
27.19/27.21	c iter 472 time 26.495 not-muc 2005789 unknown 418 muc 471
27.19/27.21	c iter 473 time 26.552 not-muc 2005789 unknown 417 muc 472
27.19/27.21	c iter 474 time 26.61 not-muc 2005789 unknown 416 muc 473
27.19/27.21	c iter 475 time 26.6669 not-muc 2005789 unknown 415 muc 474
27.19/27.21	c iter 476 time 26.7239 not-muc 2005789 unknown 414 muc 475
27.19/27.21	c iter 477 time 26.7809 not-muc 2005789 unknown 413 muc 476
27.19/27.21	c iter 478 time 26.8379 not-muc 2005789 unknown 412 muc 477
27.19/27.21	c iter 479 time 26.8949 not-muc 2005789 unknown 411 muc 478
27.19/27.21	c iter 480 time 26.9529 not-muc 2005789 unknown 410 muc 479
27.19/27.21	c iter 481 time 27.0099 not-muc 2005789 unknown 409 muc 480
27.19/27.21	c iter 482 time 27.0669 not-muc 2005789 unknown 408 muc 481
31.09/31.10	c iter 483 time 27.1239 not-muc 2005789 unknown 407 muc 482
31.09/31.10	c iter 484 time 27.1809 not-muc 2005789 unknown 406 muc 483
31.09/31.10	c iter 485 time 27.2379 not-muc 2005789 unknown 405 muc 484
31.09/31.10	c iter 486 time 27.2949 not-muc 2005789 unknown 404 muc 485
31.09/31.10	c iter 487 time 27.3528 not-muc 2005789 unknown 403 muc 486
31.09/31.10	c iter 488 time 27.4098 not-muc 2005789 unknown 402 muc 487
31.09/31.10	c iter 489 time 27.4668 not-muc 2005789 unknown 401 muc 488
31.09/31.10	c iter 490 time 27.5238 not-muc 2005789 unknown 400 muc 489
31.09/31.10	c iter 491 time 27.5808 not-muc 2005789 unknown 399 muc 490
31.09/31.10	c iter 492 time 27.6388 not-muc 2005789 unknown 398 muc 491
31.09/31.10	c iter 493 time 27.6958 not-muc 2005789 unknown 397 muc 492
31.09/31.10	c iter 494 time 27.7528 not-muc 2005789 unknown 396 muc 493
31.09/31.10	c iter 495 time 27.8098 not-muc 2005789 unknown 395 muc 494
31.09/31.10	c iter 496 time 27.8678 not-muc 2005789 unknown 394 muc 495
31.09/31.10	c iter 497 time 27.9248 not-muc 2005789 unknown 393 muc 496
31.09/31.10	c iter 498 time 27.9817 not-muc 2005789 unknown 392 muc 497
31.09/31.10	c iter 499 time 28.0387 not-muc 2005789 unknown 391 muc 498
31.09/31.10	c iter 500 time 28.0967 not-muc 2005789 unknown 390 muc 499
31.09/31.10	c iter 501 time 28.1537 not-muc 2005789 unknown 389 muc 500
31.09/31.10	c iter 502 time 28.2107 not-muc 2005789 unknown 388 muc 501
31.09/31.10	c iter 503 time 28.2677 not-muc 2005789 unknown 387 muc 502
31.09/31.10	c iter 504 time 28.3247 not-muc 2005789 unknown 386 muc 503
31.09/31.10	c iter 505 time 28.3817 not-muc 2005789 unknown 385 muc 504
31.09/31.10	c iter 506 time 28.4397 not-muc 2005789 unknown 384 muc 505
31.09/31.10	c iter 507 time 28.4967 not-muc 2005789 unknown 383 muc 506
31.09/31.10	c iter 508 time 28.5537 not-muc 2005789 unknown 382 muc 507
31.09/31.10	c iter 509 time 28.6106 not-muc 2005789 unknown 381 muc 508
31.09/31.10	c iter 510 time 28.6676 not-muc 2005789 unknown 380 muc 509
31.09/31.10	c iter 511 time 28.7246 not-muc 2005789 unknown 379 muc 510
31.09/31.10	c iter 512 time 28.7826 not-muc 2005789 unknown 378 muc 511
31.09/31.10	c iter 513 time 28.8396 not-muc 2005789 unknown 377 muc 512
31.09/31.10	c iter 514 time 28.8966 not-muc 2005789 unknown 376 muc 513
31.09/31.10	c iter 515 time 28.9536 not-muc 2005789 unknown 375 muc 514
31.09/31.10	c iter 516 time 29.0116 not-muc 2005789 unknown 374 muc 515
31.09/31.10	c iter 517 time 29.0686 not-muc 2005789 unknown 373 muc 516
31.09/31.10	c iter 518 time 29.1256 not-muc 2005789 unknown 372 muc 517
31.09/31.10	c iter 519 time 29.1826 not-muc 2005789 unknown 371 muc 518
31.09/31.10	c iter 520 time 29.2406 not-muc 2005789 unknown 370 muc 519
31.09/31.10	c iter 521 time 29.2975 not-muc 2005789 unknown 369 muc 520
31.09/31.10	c iter 522 time 29.3545 not-muc 2005789 unknown 368 muc 521
31.09/31.10	c iter 523 time 29.4115 not-muc 2005789 unknown 367 muc 522
31.09/31.10	c iter 524 time 29.4695 not-muc 2005789 unknown 366 muc 523
31.09/31.10	c iter 525 time 29.5265 not-muc 2005789 unknown 365 muc 524
31.09/31.10	c iter 526 time 29.5835 not-muc 2005789 unknown 364 muc 525
31.09/31.10	c iter 527 time 29.6405 not-muc 2005789 unknown 363 muc 526
31.09/31.10	c iter 528 time 29.6985 not-muc 2005789 unknown 362 muc 527
31.09/31.10	c iter 529 time 29.7555 not-muc 2005789 unknown 361 muc 528
31.09/31.10	c iter 530 time 29.8125 not-muc 2005789 unknown 360 muc 529
31.09/31.10	c iter 531 time 29.8695 not-muc 2005789 unknown 359 muc 530
31.09/31.10	c iter 532 time 29.9264 not-muc 2005789 unknown 358 muc 531
31.09/31.10	c iter 533 time 29.9834 not-muc 2005789 unknown 357 muc 532
31.09/31.10	c iter 534 time 30.0414 not-muc 2005789 unknown 356 muc 533
31.09/31.10	c iter 535 time 30.0984 not-muc 2005789 unknown 355 muc 534
31.09/31.10	c iter 536 time 30.1554 not-muc 2005789 unknown 354 muc 535
31.09/31.10	c iter 537 time 30.2124 not-muc 2005789 unknown 353 muc 536
31.09/31.10	c iter 538 time 30.2694 not-muc 2005789 unknown 352 muc 537
31.09/31.10	c iter 539 time 30.3264 not-muc 2005789 unknown 351 muc 538
31.09/31.10	c iter 540 time 30.3834 not-muc 2005789 unknown 350 muc 539
31.09/31.10	c iter 541 time 30.4414 not-muc 2005789 unknown 349 muc 540
31.09/31.10	c iter 542 time 30.4984 not-muc 2005789 unknown 348 muc 541
31.09/31.10	c iter 543 time 30.5554 not-muc 2005789 unknown 347 muc 542
31.09/31.10	c iter 544 time 30.6123 not-muc 2005789 unknown 346 muc 543
31.09/31.10	c iter 545 time 30.6693 not-muc 2005789 unknown 345 muc 544
31.09/31.10	c iter 546 time 30.7263 not-muc 2005789 unknown 344 muc 545
31.09/31.10	c iter 547 time 30.7833 not-muc 2005789 unknown 343 muc 546
31.09/31.10	c iter 548 time 30.8413 not-muc 2005789 unknown 342 muc 547
31.09/31.10	c iter 549 time 30.8983 not-muc 2005789 unknown 341 muc 548
31.09/31.10	c iter 550 time 30.9553 not-muc 2005789 unknown 340 muc 549
34.99/35.04	c iter 551 time 31.0123 not-muc 2005789 unknown 339 muc 550
34.99/35.04	c iter 552 time 31.0753 not-muc 2005789 unknown 338 muc 551
34.99/35.04	c iter 553 time 31.1323 not-muc 2005789 unknown 337 muc 552
34.99/35.04	c iter 554 time 31.1903 not-muc 2005789 unknown 336 muc 553
34.99/35.04	c iter 555 time 31.2472 not-muc 2005789 unknown 335 muc 554
34.99/35.04	c iter 556 time 31.3042 not-muc 2005789 unknown 334 muc 555
34.99/35.04	c iter 557 time 31.3612 not-muc 2005789 unknown 333 muc 556
34.99/35.04	c iter 558 time 31.4182 not-muc 2005789 unknown 332 muc 557
34.99/35.04	c iter 559 time 31.4752 not-muc 2005789 unknown 331 muc 558
34.99/35.04	c iter 560 time 31.5322 not-muc 2005789 unknown 330 muc 559
34.99/35.04	c iter 561 time 31.5892 not-muc 2005789 unknown 329 muc 560
34.99/35.04	c iter 562 time 31.6462 not-muc 2005789 unknown 328 muc 561
34.99/35.04	c iter 563 time 31.7042 not-muc 2005789 unknown 327 muc 562
34.99/35.04	c iter 564 time 31.7612 not-muc 2005789 unknown 326 muc 563
34.99/35.04	c iter 565 time 31.8182 not-muc 2005789 unknown 325 muc 564
34.99/35.04	c iter 566 time 31.8752 not-muc 2005789 unknown 324 muc 565
34.99/35.04	c iter 567 time 31.9321 not-muc 2005789 unknown 323 muc 566
34.99/35.04	c iter 568 time 31.9891 not-muc 2005789 unknown 322 muc 567
34.99/35.04	c iter 569 time 32.0461 not-muc 2005789 unknown 321 muc 568
34.99/35.04	c iter 570 time 32.1031 not-muc 2005789 unknown 320 muc 569
34.99/35.04	c iter 571 time 32.1611 not-muc 2005789 unknown 319 muc 570
34.99/35.04	c iter 572 time 32.2181 not-muc 2005789 unknown 318 muc 571
34.99/35.04	c iter 573 time 32.2751 not-muc 2005789 unknown 317 muc 572
34.99/35.04	c iter 574 time 32.3321 not-muc 2005789 unknown 316 muc 573
34.99/35.04	c iter 575 time 32.3891 not-muc 2005789 unknown 315 muc 574
34.99/35.04	c iter 576 time 32.4461 not-muc 2005789 unknown 314 muc 575
34.99/35.04	c iter 577 time 32.5031 not-muc 2005789 unknown 313 muc 576
34.99/35.04	c iter 578 time 32.56 not-muc 2005789 unknown 312 muc 577
34.99/35.04	c iter 579 time 32.617 not-muc 2005789 unknown 311 muc 578
34.99/35.04	c iter 580 time 32.674 not-muc 2005789 unknown 310 muc 579
34.99/35.04	c iter 581 time 32.731 not-muc 2005789 unknown 309 muc 580
34.99/35.04	c iter 582 time 32.788 not-muc 2005789 unknown 308 muc 581
34.99/35.04	c iter 583 time 32.845 not-muc 2005789 unknown 307 muc 582
34.99/35.04	c iter 584 time 32.902 not-muc 2005789 unknown 306 muc 583
34.99/35.04	c iter 585 time 32.959 not-muc 2005789 unknown 305 muc 584
34.99/35.04	c iter 586 time 33.016 not-muc 2005789 unknown 304 muc 585
34.99/35.04	c iter 587 time 33.073 not-muc 2005789 unknown 303 muc 586
34.99/35.04	c iter 588 time 33.13 not-muc 2005789 unknown 302 muc 587
34.99/35.04	c iter 589 time 33.187 not-muc 2005789 unknown 301 muc 588
34.99/35.04	c iter 590 time 33.2439 not-muc 2005789 unknown 300 muc 589
34.99/35.04	c iter 591 time 33.3009 not-muc 2005789 unknown 299 muc 590
34.99/35.04	c iter 592 time 33.3579 not-muc 2005789 unknown 298 muc 591
34.99/35.04	c iter 593 time 33.4149 not-muc 2005789 unknown 297 muc 592
34.99/35.04	c iter 594 time 33.4719 not-muc 2005789 unknown 296 muc 593
34.99/35.04	c iter 595 time 33.5289 not-muc 2005789 unknown 295 muc 594
34.99/35.04	c iter 596 time 33.5859 not-muc 2005789 unknown 294 muc 595
34.99/35.04	c iter 597 time 33.6439 not-muc 2005789 unknown 293 muc 596
34.99/35.04	c iter 598 time 33.7009 not-muc 2005789 unknown 292 muc 597
34.99/35.04	c iter 599 time 33.7579 not-muc 2005789 unknown 291 muc 598
34.99/35.04	c iter 600 time 33.8149 not-muc 2005789 unknown 290 muc 599
34.99/35.04	c iter 601 time 33.8719 not-muc 2005789 unknown 289 muc 600
34.99/35.04	c iter 602 time 33.9288 not-muc 2005789 unknown 288 muc 601
34.99/35.04	c iter 603 time 33.9858 not-muc 2005789 unknown 287 muc 602
34.99/35.04	c iter 604 time 34.0428 not-muc 2005789 unknown 286 muc 603
34.99/35.04	c iter 605 time 34.0998 not-muc 2005789 unknown 285 muc 604
34.99/35.04	c iter 606 time 34.1568 not-muc 2005789 unknown 284 muc 605
34.99/35.04	c iter 607 time 34.2138 not-muc 2005789 unknown 283 muc 606
34.99/35.04	c iter 608 time 34.2708 not-muc 2005789 unknown 282 muc 607
34.99/35.04	c iter 609 time 34.3338 not-muc 2005789 unknown 281 muc 608
34.99/35.04	c iter 610 time 34.3908 not-muc 2005789 unknown 280 muc 609
34.99/35.04	c iter 611 time 34.4478 not-muc 2005789 unknown 279 muc 610
34.99/35.04	c iter 612 time 34.5048 not-muc 2005789 unknown 278 muc 611
34.99/35.04	c iter 613 time 34.5617 not-muc 2005789 unknown 277 muc 612
34.99/35.04	c iter 614 time 34.6187 not-muc 2005789 unknown 276 muc 613
34.99/35.04	c iter 615 time 34.6757 not-muc 2005789 unknown 275 muc 614
34.99/35.04	c iter 616 time 34.7327 not-muc 2005789 unknown 274 muc 615
34.99/35.04	c iter 617 time 34.7897 not-muc 2005789 unknown 273 muc 616
34.99/35.04	c iter 618 time 34.8467 not-muc 2005789 unknown 272 muc 617
34.99/35.04	c iter 619 time 34.9037 not-muc 2005789 unknown 271 muc 618
38.89/38.92	c iter 620 time 34.9607 not-muc 2005789 unknown 270 muc 619
38.89/38.92	c iter 621 time 35.0177 not-muc 2005789 unknown 269 muc 620
38.89/38.92	c iter 622 time 35.0747 not-muc 2005789 unknown 268 muc 621
38.89/38.92	c iter 623 time 35.1317 not-muc 2005789 unknown 267 muc 622
38.89/38.92	c iter 624 time 35.1876 not-muc 2005789 unknown 266 muc 623
38.89/38.92	c iter 625 time 35.2446 not-muc 2005789 unknown 265 muc 624
38.89/38.92	c iter 626 time 35.3016 not-muc 2005789 unknown 264 muc 625
38.89/38.92	c iter 627 time 35.3586 not-muc 2005789 unknown 263 muc 626
38.89/38.92	c iter 628 time 35.4156 not-muc 2005789 unknown 262 muc 627
38.89/38.92	c iter 629 time 35.4726 not-muc 2005789 unknown 261 muc 628
38.89/38.92	c iter 630 time 35.5296 not-muc 2005789 unknown 260 muc 629
38.89/38.92	c iter 631 time 35.5866 not-muc 2005789 unknown 259 muc 630
38.89/38.92	c iter 632 time 35.6436 not-muc 2005789 unknown 258 muc 631
38.89/38.92	c iter 633 time 35.7006 not-muc 2005789 unknown 257 muc 632
38.89/38.92	c iter 634 time 35.7566 not-muc 2005789 unknown 256 muc 633
38.89/38.92	c iter 635 time 35.8136 not-muc 2005789 unknown 255 muc 634
38.89/38.92	c iter 636 time 35.8705 not-muc 2005789 unknown 254 muc 635
38.89/38.92	c iter 637 time 35.9275 not-muc 2005789 unknown 253 muc 636
38.89/38.92	c iter 638 time 35.9845 not-muc 2005789 unknown 252 muc 637
38.89/38.92	c iter 639 time 36.0415 not-muc 2005789 unknown 251 muc 638
38.89/38.92	c iter 640 time 36.0985 not-muc 2005789 unknown 250 muc 639
38.89/38.92	c iter 641 time 36.1555 not-muc 2005789 unknown 249 muc 640
38.89/38.92	c iter 642 time 36.2125 not-muc 2005789 unknown 248 muc 641
38.89/38.92	c iter 643 time 36.2695 not-muc 2005789 unknown 247 muc 642
38.89/38.92	c iter 644 time 36.3265 not-muc 2005789 unknown 246 muc 643
38.89/38.92	c iter 645 time 36.3835 not-muc 2005789 unknown 245 muc 644
38.89/38.92	c iter 646 time 36.4405 not-muc 2005789 unknown 244 muc 645
38.89/38.92	c iter 647 time 36.4975 not-muc 2005789 unknown 243 muc 646
38.89/38.92	c iter 648 time 36.5534 not-muc 2005789 unknown 242 muc 647
38.89/38.92	c iter 649 time 36.6104 not-muc 2005789 unknown 241 muc 648
38.89/38.92	c iter 650 time 36.6674 not-muc 2005789 unknown 240 muc 649
38.89/38.92	c iter 651 time 36.7244 not-muc 2005789 unknown 239 muc 650
38.89/38.92	c iter 652 time 36.7814 not-muc 2005789 unknown 238 muc 651
38.89/38.92	c iter 653 time 36.8384 not-muc 2005789 unknown 237 muc 652
38.89/38.92	c iter 654 time 36.9014 not-muc 2005789 unknown 236 muc 653
38.89/38.92	c iter 655 time 36.9584 not-muc 2005789 unknown 235 muc 654
38.89/38.92	c iter 656 time 37.0144 not-muc 2005789 unknown 234 muc 655
38.89/38.92	c iter 657 time 37.0714 not-muc 2005789 unknown 233 muc 656
38.89/38.92	c iter 658 time 37.1284 not-muc 2005789 unknown 232 muc 657
38.89/38.92	c iter 659 time 37.1853 not-muc 2005789 unknown 231 muc 658
38.89/38.92	c iter 660 time 37.2423 not-muc 2005789 unknown 230 muc 659
38.89/38.92	c iter 661 time 37.2983 not-muc 2005789 unknown 229 muc 660
38.89/38.92	c iter 662 time 37.3553 not-muc 2005789 unknown 228 muc 661
38.89/38.92	c iter 663 time 37.4123 not-muc 2005789 unknown 227 muc 662
38.89/38.92	c iter 664 time 37.4693 not-muc 2005789 unknown 226 muc 663
38.89/38.92	c iter 665 time 37.5263 not-muc 2005789 unknown 225 muc 664
38.89/38.92	c iter 666 time 37.5833 not-muc 2005789 unknown 224 muc 665
38.89/38.92	c iter 667 time 37.6403 not-muc 2005789 unknown 223 muc 666
38.89/38.92	c iter 668 time 37.6963 not-muc 2005789 unknown 222 muc 667
38.89/38.92	c iter 669 time 37.7533 not-muc 2005789 unknown 221 muc 668
38.89/38.92	c iter 670 time 37.8103 not-muc 2005789 unknown 220 muc 669
38.89/38.92	c iter 671 time 37.8672 not-muc 2005789 unknown 219 muc 670
38.89/38.92	c iter 672 time 37.9232 not-muc 2005789 unknown 218 muc 671
38.89/38.92	c iter 673 time 37.9802 not-muc 2005789 unknown 217 muc 672
38.89/38.92	c iter 674 time 38.0372 not-muc 2005789 unknown 216 muc 673
38.89/38.92	c iter 675 time 38.0942 not-muc 2005789 unknown 215 muc 674
38.89/38.92	c iter 676 time 38.1502 not-muc 2005789 unknown 214 muc 675
38.89/38.92	c iter 677 time 38.2072 not-muc 2005789 unknown 213 muc 676
38.89/38.92	c iter 678 time 38.2642 not-muc 2005789 unknown 212 muc 677
38.89/38.92	c iter 679 time 38.3212 not-muc 2005789 unknown 211 muc 678
38.89/38.92	c iter 680 time 38.3782 not-muc 2005789 unknown 210 muc 679
38.89/38.92	c iter 681 time 38.4342 not-muc 2005789 unknown 209 muc 680
38.89/38.92	c iter 682 time 38.4911 not-muc 2005789 unknown 208 muc 681
38.89/38.92	c iter 683 time 38.5481 not-muc 2005789 unknown 207 muc 682
38.89/38.92	c iter 684 time 38.6051 not-muc 2005789 unknown 206 muc 683
38.89/38.92	c iter 685 time 38.6621 not-muc 2005789 unknown 205 muc 684
38.89/38.92	c iter 686 time 38.7181 not-muc 2005789 unknown 204 muc 685
38.89/38.92	c iter 687 time 38.7751 not-muc 2005789 unknown 203 muc 686
42.59/42.66	c iter 688 time 38.8321 not-muc 2005789 unknown 202 muc 687
42.59/42.66	c iter 689 time 38.8891 not-muc 2005789 unknown 201 muc 688
42.59/42.66	c iter 690 time 38.9451 not-muc 2005789 unknown 200 muc 689
42.59/42.66	c iter 691 time 39.0021 not-muc 2005789 unknown 199 muc 690
42.59/42.66	c iter 692 time 39.0591 not-muc 2005789 unknown 198 muc 691
42.59/42.66	c iter 693 time 39.1161 not-muc 2005789 unknown 197 muc 692
42.59/42.66	c iter 694 time 39.172 not-muc 2005789 unknown 196 muc 693
42.59/42.66	c iter 695 time 39.229 not-muc 2005789 unknown 195 muc 694
42.59/42.66	c iter 696 time 39.277 not-muc 2005789 unknown 194 muc 695
42.59/42.66	c iter 697 time 39.325 not-muc 2005789 unknown 193 muc 696
42.59/42.66	c iter 698 time 39.381 not-muc 2005789 unknown 192 muc 697
42.59/42.66	c iter 699 time 39.438 not-muc 2005789 unknown 191 muc 698
42.59/42.66	c iter 700 time 39.486 not-muc 2005789 unknown 190 muc 699
42.59/42.66	c iter 701 time 39.549 not-muc 2005789 unknown 189 muc 700
42.59/42.66	c iter 702 time 39.606 not-muc 2005789 unknown 188 muc 701
42.59/42.66	c iter 703 time 39.662 not-muc 2005789 unknown 187 muc 702
42.59/42.66	c iter 704 time 39.719 not-muc 2005789 unknown 186 muc 703
42.59/42.66	c iter 705 time 39.776 not-muc 2005789 unknown 185 muc 704
42.59/42.66	c iter 706 time 39.8329 not-muc 2005789 unknown 184 muc 705
42.59/42.66	c iter 707 time 39.8899 not-muc 2005789 unknown 183 muc 706
42.59/42.66	c iter 708 time 39.9459 not-muc 2005789 unknown 182 muc 707
42.59/42.66	c iter 709 time 40.0029 not-muc 2005789 unknown 181 muc 708
42.59/42.66	c iter 710 time 40.0599 not-muc 2005789 unknown 180 muc 709
42.59/42.66	c iter 711 time 40.1169 not-muc 2005789 unknown 179 muc 710
42.59/42.66	c iter 712 time 40.1729 not-muc 2005789 unknown 178 muc 711
42.59/42.66	c iter 713 time 40.2299 not-muc 2005789 unknown 177 muc 712
42.59/42.66	c iter 714 time 40.2869 not-muc 2005789 unknown 176 muc 713
42.59/42.66	c iter 715 time 40.3429 not-muc 2005789 unknown 175 muc 714
42.59/42.66	c iter 716 time 40.3999 not-muc 2005789 unknown 174 muc 715
42.59/42.66	c iter 717 time 40.4568 not-muc 2005789 unknown 173 muc 716
42.59/42.66	c iter 718 time 40.5138 not-muc 2005789 unknown 172 muc 717
42.59/42.66	c iter 719 time 40.5698 not-muc 2005789 unknown 171 muc 718
42.59/42.66	c iter 720 time 40.6268 not-muc 2005789 unknown 170 muc 719
42.59/42.66	c iter 721 time 40.6838 not-muc 2005789 unknown 169 muc 720
42.59/42.66	c iter 722 time 40.7398 not-muc 2005789 unknown 168 muc 721
42.59/42.66	c iter 723 time 40.7968 not-muc 2005789 unknown 167 muc 722
42.59/42.66	c iter 724 time 40.8528 not-muc 2005789 unknown 166 muc 723
42.59/42.66	c iter 725 time 40.9098 not-muc 2005789 unknown 165 muc 724
42.59/42.66	c iter 726 time 40.9668 not-muc 2005789 unknown 164 muc 725
42.59/42.66	c iter 727 time 41.0228 not-muc 2005789 unknown 163 muc 726
42.59/42.66	c iter 728 time 41.0798 not-muc 2005789 unknown 162 muc 727
42.59/42.66	c iter 729 time 41.1427 not-muc 2005789 unknown 161 muc 728
42.59/42.66	c iter 730 time 41.1987 not-muc 2005789 unknown 160 muc 729
42.59/42.66	c iter 731 time 41.2557 not-muc 2005789 unknown 159 muc 730
42.59/42.66	c iter 732 time 41.3127 not-muc 2005789 unknown 158 muc 731
42.59/42.66	c iter 733 time 41.3687 not-muc 2005789 unknown 157 muc 732
42.59/42.66	c iter 734 time 41.4257 not-muc 2005789 unknown 156 muc 733
42.59/42.66	c iter 735 time 41.4827 not-muc 2005789 unknown 155 muc 734
42.59/42.66	c iter 736 time 41.5387 not-muc 2005789 unknown 154 muc 735
42.59/42.66	c iter 737 time 41.5957 not-muc 2005789 unknown 153 muc 736
42.59/42.66	c iter 738 time 41.6527 not-muc 2005789 unknown 152 muc 737
42.59/42.66	c iter 739 time 41.7087 not-muc 2005789 unknown 151 muc 738
42.59/42.66	c iter 740 time 41.7657 not-muc 2005789 unknown 150 muc 739
42.59/42.66	c iter 741 time 41.8216 not-muc 2005789 unknown 149 muc 740
42.59/42.66	c iter 742 time 41.8786 not-muc 2005789 unknown 148 muc 741
42.59/42.66	c iter 743 time 41.9256 not-muc 2005789 unknown 147 muc 742
42.59/42.66	c iter 744 time 41.9736 not-muc 2005789 unknown 146 muc 743
42.59/42.66	c iter 745 time 42.0306 not-muc 2005789 unknown 145 muc 744
42.59/42.66	c iter 746 time 42.0776 not-muc 2005789 unknown 144 muc 745
42.59/42.66	c iter 747 time 42.1256 not-muc 2005789 unknown 143 muc 746
42.59/42.66	c iter 748 time 42.1726 not-muc 2005789 unknown 142 muc 747
42.59/42.66	c iter 749 time 42.2296 not-muc 2005789 unknown 141 muc 748
42.59/42.66	c iter 750 time 42.2776 not-muc 2005789 unknown 140 muc 749
42.59/42.66	c iter 751 time 42.3246 not-muc 2005789 unknown 139 muc 750
42.59/42.66	c iter 752 time 42.3726 not-muc 2005789 unknown 138 muc 751
42.59/42.66	c iter 753 time 42.4285 not-muc 2005789 unknown 137 muc 752
42.59/42.66	c iter 754 time 42.4765 not-muc 2005789 unknown 136 muc 753
42.59/42.66	c iter 755 time 42.5245 not-muc 2005789 unknown 135 muc 754
46.49/46.56	c iter 756 time 42.5715 not-muc 2005789 unknown 134 muc 755
46.49/46.56	c iter 757 time 42.6285 not-muc 2005789 unknown 133 muc 756
46.49/46.56	c iter 758 time 42.6755 not-muc 2005789 unknown 132 muc 757
46.49/46.56	c iter 759 time 42.7325 not-muc 2005789 unknown 131 muc 758
46.49/46.56	c iter 760 time 42.7885 not-muc 2005789 unknown 130 muc 759
46.49/46.56	c iter 761 time 42.8455 not-muc 2005789 unknown 129 muc 760
46.49/46.56	c iter 762 time 42.9015 not-muc 2005789 unknown 128 muc 761
46.49/46.56	c iter 763 time 42.9585 not-muc 2005789 unknown 127 muc 762
46.49/46.56	c iter 764 time 43.0145 not-muc 2005789 unknown 126 muc 763
46.49/46.56	c iter 765 time 43.0715 not-muc 2005789 unknown 125 muc 764
46.49/46.56	c iter 766 time 43.1344 not-muc 2005789 unknown 124 muc 765
46.49/46.56	c iter 767 time 43.1904 not-muc 2005789 unknown 123 muc 766
46.49/46.56	c iter 768 time 43.2474 not-muc 2005789 unknown 122 muc 767
46.49/46.56	c iter 769 time 43.3034 not-muc 2005789 unknown 121 muc 768
46.49/46.56	c iter 770 time 43.3604 not-muc 2005789 unknown 120 muc 769
46.49/46.56	c iter 771 time 43.4164 not-muc 2005789 unknown 119 muc 770
46.49/46.56	c iter 772 time 43.4734 not-muc 2005789 unknown 118 muc 771
46.49/46.56	c iter 773 time 43.5294 not-muc 2005789 unknown 117 muc 772
46.49/46.56	c iter 774 time 43.5864 not-muc 2005789 unknown 116 muc 773
46.49/46.56	c iter 775 time 43.6424 not-muc 2005789 unknown 115 muc 774
46.49/46.56	c iter 776 time 43.6994 not-muc 2005789 unknown 114 muc 775
46.49/46.56	c iter 777 time 43.7553 not-muc 2005789 unknown 113 muc 776
46.49/46.56	c iter 778 time 43.8113 not-muc 2005789 unknown 112 muc 777
46.49/46.56	c iter 779 time 43.8683 not-muc 2005789 unknown 111 muc 778
46.49/46.56	c iter 780 time 43.9243 not-muc 2005789 unknown 110 muc 779
46.49/46.56	c iter 781 time 43.9813 not-muc 2005789 unknown 109 muc 780
46.49/46.56	c iter 782 time 44.0373 not-muc 2005789 unknown 108 muc 781
46.49/46.56	c iter 783 time 44.0943 not-muc 2005789 unknown 107 muc 782
46.49/46.56	c iter 784 time 44.1503 not-muc 2005789 unknown 106 muc 783
46.49/46.56	c iter 785 time 44.2073 not-muc 2005789 unknown 105 muc 784
46.49/46.56	c iter 786 time 44.2693 not-muc 2005789 unknown 104 muc 785
46.49/46.56	c iter 787 time 44.3263 not-muc 2005789 unknown 103 muc 786
46.49/46.56	c iter 788 time 44.3823 not-muc 2005789 unknown 102 muc 787
46.49/46.56	c iter 789 time 44.4392 not-muc 2005789 unknown 101 muc 788
46.49/46.56	c iter 790 time 44.4952 not-muc 2005789 unknown 100 muc 789
46.49/46.56	c iter 791 time 44.5522 not-muc 2005789 unknown 99 muc 790
46.49/46.56	c iter 792 time 44.6082 not-muc 2005789 unknown 98 muc 791
46.49/46.56	c iter 793 time 44.6652 not-muc 2005789 unknown 97 muc 792
46.49/46.56	c iter 794 time 44.7212 not-muc 2005789 unknown 96 muc 793
46.49/46.56	c iter 795 time 44.7772 not-muc 2005789 unknown 95 muc 794
46.49/46.56	c iter 796 time 44.8342 not-muc 2005789 unknown 94 muc 795
46.49/46.56	c iter 797 time 44.8902 not-muc 2005789 unknown 93 muc 796
46.49/46.56	c iter 798 time 44.9472 not-muc 2005789 unknown 92 muc 797
46.49/46.56	c iter 799 time 45.0032 not-muc 2005789 unknown 91 muc 798
46.49/46.56	c iter 800 time 45.0601 not-muc 2005789 unknown 90 muc 799
46.49/46.56	c iter 801 time 45.1161 not-muc 2005789 unknown 89 muc 800
46.49/46.56	c iter 802 time 45.1721 not-muc 2005789 unknown 88 muc 801
46.49/46.56	c iter 803 time 45.2291 not-muc 2005789 unknown 87 muc 802
46.49/46.56	c iter 804 time 45.2851 not-muc 2005789 unknown 86 muc 803
46.49/46.56	c iter 805 time 45.3421 not-muc 2005789 unknown 85 muc 804
46.49/46.56	c iter 806 time 45.3981 not-muc 2005789 unknown 84 muc 805
46.49/46.56	c iter 807 time 45.4541 not-muc 2005789 unknown 83 muc 806
46.49/46.56	c iter 808 time 45.5171 not-muc 2005789 unknown 82 muc 807
46.49/46.56	c iter 809 time 45.5731 not-muc 2005789 unknown 81 muc 808
46.49/46.56	c iter 810 time 45.6301 not-muc 2005789 unknown 80 muc 809
46.49/46.56	c iter 811 time 45.6861 not-muc 2005789 unknown 79 muc 810
46.49/46.56	c iter 812 time 45.742 not-muc 2005789 unknown 78 muc 811
46.49/46.56	c iter 813 time 45.799 not-muc 2005789 unknown 77 muc 812
46.49/46.56	c iter 814 time 45.855 not-muc 2005789 unknown 76 muc 813
46.49/46.56	c iter 815 time 45.911 not-muc 2005789 unknown 75 muc 814
46.49/46.56	c iter 816 time 45.968 not-muc 2005789 unknown 74 muc 815
46.49/46.56	c iter 817 time 46.024 not-muc 2005789 unknown 73 muc 816
46.49/46.56	c iter 818 time 46.08 not-muc 2005789 unknown 72 muc 817
46.49/46.56	c iter 819 time 46.136 not-muc 2005789 unknown 71 muc 818
46.49/46.56	c iter 820 time 46.193 not-muc 2005789 unknown 70 muc 819
46.49/46.56	c iter 821 time 46.249 not-muc 2005789 unknown 69 muc 820
46.49/46.56	c iter 822 time 46.311 not-muc 2005789 unknown 68 muc 821
46.49/46.56	c iter 823 time 46.368 not-muc 2005789 unknown 67 muc 822
46.49/46.56	c iter 824 time 46.4239 not-muc 2005789 unknown 66 muc 823
50.29/50.30	c iter 825 time 46.4799 not-muc 2005789 unknown 65 muc 824
50.29/50.30	c iter 826 time 46.5369 not-muc 2005789 unknown 64 muc 825
50.29/50.30	c iter 827 time 46.5929 not-muc 2005789 unknown 63 muc 826
50.29/50.30	c iter 828 time 46.6489 not-muc 2005789 unknown 62 muc 827
50.29/50.30	c iter 829 time 46.7049 not-muc 2005789 unknown 61 muc 828
50.29/50.30	c iter 830 time 46.7619 not-muc 2005789 unknown 60 muc 829
50.29/50.30	c iter 831 time 46.8179 not-muc 2005789 unknown 59 muc 830
50.29/50.30	c iter 832 time 46.8739 not-muc 2005789 unknown 58 muc 831
50.29/50.30	c iter 833 time 46.9299 not-muc 2005789 unknown 57 muc 832
50.29/50.30	c iter 834 time 46.9859 not-muc 2005789 unknown 56 muc 833
50.29/50.30	c iter 835 time 47.0428 not-muc 2005789 unknown 55 muc 834
50.29/50.30	c iter 836 time 47.0988 not-muc 2005789 unknown 54 muc 835
50.29/50.30	c iter 837 time 47.1608 not-muc 2005789 unknown 53 muc 836
50.29/50.30	c iter 838 time 47.2178 not-muc 2005789 unknown 52 muc 837
50.29/50.30	c iter 839 time 47.2738 not-muc 2005789 unknown 51 muc 838
50.29/50.30	c iter 840 time 47.3298 not-muc 2005789 unknown 50 muc 839
50.29/50.30	c iter 841 time 47.3858 not-muc 2005789 unknown 49 muc 840
50.29/50.30	c iter 842 time 47.4418 not-muc 2005789 unknown 48 muc 841
50.29/50.30	c iter 843 time 47.4988 not-muc 2005789 unknown 47 muc 842
50.29/50.30	c iter 844 time 47.5548 not-muc 2005789 unknown 46 muc 843
50.29/50.30	c iter 845 time 47.6108 not-muc 2005789 unknown 45 muc 844
50.29/50.30	c iter 846 time 47.6668 not-muc 2005789 unknown 44 muc 845
50.29/50.30	c iter 847 time 47.7297 not-muc 2005789 unknown 43 muc 846
50.29/50.30	c iter 848 time 47.7857 not-muc 2005789 unknown 42 muc 847
50.29/50.30	c iter 849 time 47.8417 not-muc 2005789 unknown 41 muc 848
50.29/50.30	c iter 850 time 47.8977 not-muc 2005789 unknown 40 muc 849
50.29/50.30	c iter 851 time 47.9537 not-muc 2005789 unknown 39 muc 850
50.29/50.30	c iter 852 time 48.0107 not-muc 2005789 unknown 38 muc 851
50.29/50.30	c iter 853 time 48.0667 not-muc 2005789 unknown 37 muc 852
50.29/50.30	c iter 854 time 48.1227 not-muc 2005789 unknown 36 muc 853
50.29/50.30	c iter 855 time 48.1787 not-muc 2005789 unknown 35 muc 854
50.29/50.30	c iter 856 time 48.2347 not-muc 2005789 unknown 34 muc 855
50.29/50.30	c iter 857 time 48.2907 not-muc 2005789 unknown 33 muc 856
50.29/50.30	c iter 858 time 48.3477 not-muc 2005789 unknown 32 muc 857
50.29/50.30	c iter 859 time 48.4036 not-muc 2005789 unknown 31 muc 858
50.29/50.30	c iter 860 time 48.4656 not-muc 2005789 unknown 30 muc 859
50.29/50.30	c iter 861 time 48.5216 not-muc 2005789 unknown 29 muc 860
50.29/50.30	c iter 862 time 48.5786 not-muc 2005789 unknown 28 muc 861
50.29/50.30	c iter 863 time 48.6346 not-muc 2005789 unknown 27 muc 862
50.29/50.30	c iter 864 time 48.6906 not-muc 2005789 unknown 26 muc 863
50.29/50.30	c iter 865 time 48.7466 not-muc 2005789 unknown 25 muc 864
50.29/50.30	c iter 866 time 48.8026 not-muc 2005789 unknown 24 muc 865
50.29/50.30	c iter 867 time 48.8656 not-muc 2005789 unknown 23 muc 866
50.29/50.30	c iter 868 time 48.9216 not-muc 2005789 unknown 22 muc 867
50.29/50.30	c iter 869 time 48.9776 not-muc 2005789 unknown 21 muc 868
50.29/50.30	c iter 870 time 49.0335 not-muc 2005789 unknown 20 muc 869
50.29/50.30	c iter 871 time 49.0895 not-muc 2005789 unknown 19 muc 870
50.29/50.30	c iter 872 time 49.1455 not-muc 2005789 unknown 18 muc 871
50.29/50.30	c iter 873 time 49.2015 not-muc 2005789 unknown 17 muc 872
50.29/50.30	c iter 874 time 49.2485 not-muc 2005789 unknown 16 muc 873
50.29/50.30	c iter 875 time 49.2965 not-muc 2005789 unknown 15 muc 874
50.29/50.30	c iter 876 time 49.3585 not-muc 2005789 unknown 14 muc 875
50.29/50.30	c iter 877 time 49.4145 not-muc 2005789 unknown 13 muc 876
50.29/50.30	c iter 878 time 49.4705 not-muc 2005789 unknown 12 muc 877
50.29/50.30	c iter 879 time 49.5335 not-muc 2005789 unknown 11 muc 878
50.29/50.30	c iter 880 time 49.5895 not-muc 2005789 unknown 10 muc 879
50.29/50.30	c iter 881 time 49.6455 not-muc 2005789 unknown 9 muc 880
50.29/50.30	c iter 882 time 49.7014 not-muc 2005789 unknown 8 muc 881
50.29/50.30	c iter 883 time 49.7574 not-muc 2005789 unknown 7 muc 882
50.29/50.30	c iter 884 time 49.8134 not-muc 2005789 unknown 6 muc 883
50.29/50.30	c iter 885 time 49.8764 not-muc 2005789 unknown 5 muc 884
50.29/50.30	c iter 886 time 49.9324 not-muc 2005789 unknown 4 muc 885
50.29/50.30	c iter 887 time 49.9884 not-muc 2005789 unknown 3 muc 886
50.29/50.30	c iter 888 time 50.0444 not-muc 2005789 unknown 2 muc 887
50.29/50.30	c iter 889 time 50.1064 not-muc 2005789 unknown 1 muc 888
50.29/50.30	c final iter 890 time 50.1624 not-muc 2005789 unknown 0 muc 889
50.29/50.30	v 743071 743076 743077 743081 743119 743123 743134 743139 743140 743145 743156 743159 743162 743165 797011 797016 797018 797022 925070 926144 926146 926149 926152 926155 926172 926177 926188 926192 926195 926198 926206 995716 995721 995722 995726 995764 995768 995779 995784 995785 995790 995801 995804 995807 995810 1049644 1049648 1049651 1049654 1049656 1049660 1049663 1049666 1049668 1049672 1049675 1049678 1049680 1049684 1049687 1049690 1150118 1151192 1151194 1151197 1151200 1151203 1151220 1151225 1151236 1151240 1151244 1151247 1178845 1178849 1178855 1178858 1234642 1234647 1234648 1234652 1234690 1234694 1234876 1234881 1234882 1234887 1234898 1234901 1234904 1234907 1239526 1239531 1239532 1239536 1239574 1239578 1239760 1239765 1239766 1239771 1239782 1239785 1239788 1239791 1245754 1245759 1245760 1245764 1245802 1245806 1245988 1245993 1245994 1245999 1246010 1246013 1246016 1246019 1248802 1248807 1248808 1248812 1248850 1248854 1248865 1248870 1248871 1248876 1248887 1248890 1248893 1248896 1302730 1302735 1302737 1302741 1302742 1302747 1302749 1302753 1302754 1302759 1302761 1302765 1302766 1302771 1302773 1302777 1382821 1382824 1383370 1383373 1383376 1383379 1383382 1383385 1383388 1383457 1383460 1383463 1383466 1383469 1383472 1383475 1401727 1401732 1401733 1401737 1401838 1401842 1403005 1403010 1403011 1403015 1403018 1403021 1404095 1404097 1404100 1404103 1404106 1404110 1404113 1404116 1404123 1404128 1404139 1404143 1404146 1404149 1431748 1431753 1431754 1431758 1431762 1476994 1476999 1477000 1477004 1477042 1477046 1477228 1477233 1477234 1477239 1477250 1477253 1477256 1477259 1481878 1481883 1481884 1481888 1481926 1481930 1482112 1482117 1482118 1482123 1482134 1482137 1482140 1482143 1488106 1488111 1488112 1488116 1488154 1488158 1488340 1488345 1488346 1488351 1488362 1488365 1488368 1488371 1491154 1491159 1491160 1491164 1491202 1491206 1491217 1491222 1491223 1491228 1491239 1491242 1491245 1491248 1532548 1532553 1532554 1532558 1532602 1532606 1532890 1532895 1532896 1532900 1532903 1532906 1532966 1532968 1532971 1532974 1532977 1532981 1532984 1532987 1536942 1536947 1536958 1536962 1536966 1536969 1545175 1545179 1545182 1545185 1545187 1545192 1545194 1545198 1545199 1545203 1545206 1545209 1545211 1545216 1545218 1545222 1545223 1545227 1545230 1545233 1545235 1545240 1545242 1545246 1545247 1545251 1545254 1545257 1545259 1545264 1545266 1545270 1582591 1582595 1582598 1582601 1582610 1582627 1582631 1582634 1582638 1582640 1582643 1582646 1582663 1582667 1582670 1582673 1582682 1582699 1582703 1582706 1582710 1582712 1582715 1582718 1582735 1582739 1582742 1582745 1582754 1582771 1582775 1582778 1582782 1582784 1582787 1582790 1582903 1582907 1582910 1582913 1582922 1582939 1582943 1582946 1582950 1582952 1582955 1582958 1593370 1593374 1593377 1593380 1593389 1593406 1593410 1593413 1593417 1593419 1593422 1593425 1593442 1593446 1593449 1593452 1593461 1593478 1593482 1593485 1593489 1593491 1593494 1593497 1593514 1593518 1593521 1593524 1593533 1593550 1593554 1593557 1593561 1593563 1593566 1593569 1593586 1593590 1593593 1593596 1593605 1593622 1593626 1593629 1593633 1593635 1593638 1593641 1593658 1593662 1593665 1593668 1593677 1593694 1593698 1593701 1593705 1593707 1593710 1593713 1593730 1593734 1593737 1593740 1593749 1593766 1593770 1593773 1593777 1593779 1593782 1593785 1593802 1593806 1593809 1593812 1593821 1593838 1593842 1593845 1593849 1593851 1593854 1593857 1656811 1656815 1656821 1656842 1656845 1656847 1656851 1656857 1656878 1656882 1656991 1656995 1657001 1657022 1657025 1657027 1657031 1657037 1657058 1657062 1657171 1657175 1657181 1657202 1657205 1657207 1657211 1657217 1657238 1657242 1657351 1657355 1657361 1657382 1657385 1657387 1657391 1657397 1657418 1657422 1657531 1657535 1657541 1657562 1657565 1657567 1657571 1657577 1657598 1657602 1657711 1657715 1657721 1657742 1657745 1657747 1657751 1657757 1657778 1657782 1657891 1657895 1657901 1657922 1657925 1657927 1657931 1657937 1657958 1657962 1673137 1673140 1673686 1673689 1673692 1673695 1673698 1673701 1673704 1673773 1673776 1673779 1673782 1673785 1673788 1673791 1725490 1725494 1725497 1725500 1725502 1725507 1725509 1725513 1728533 1728537 1730741 1730745 1736213 1736216 1738016 1738020 1738023 1741628 1743710 1743714 1743717 1746122 1748228 1748232 1748235 1751456 1753562 1753566 1753569 1756382 1758080 1758084 1758087 1760492 1762190 1762194 1762197 1763378 1766027 1768478 1768482 1768485 1769069 1769073 1769076 1780351 1783588 1787927 1787929 1788225 1788227 1788230 1788413 1788920 1788982 1788984 1789280 1789282 1789285 1789468 1789975 1790037 1790039 1790335 1790337 1790340 1790523 1791030 1791092 1791094 1791390 1791392 1791395 1791578 1792085 1792147 1792149 1792445 1792447 1792450 1792633 1793140 1793202 1793204 1793500 1793502 1793505 1793688 1794195 1794257 1794259 1794555 1794557 1794560 1794743 1795250 1795312 1795314 1795670 1795672 1795968 1795970 1796266 1796268 1797507 1797512 1815305 1815307 1815319 1815331 1815343 1815355 1815367 1815379 1815391 1815403 1815415 1815427 1815439 1815451 1815463 1815475 1815487 1815499 1815511 1815523 1815535 1815547 1815559 1815571 1815583 1815595 1815596 1815597 1815602 1815605 1815607 1815608 1815609 1815614 1815617 1815619 1815620 1815621 1815626 1815629 1815631 1815632 1815633 1815638 1815641 1815643 1815644 1815645 1815650 1815653 1815655 1815656 1815657 1815662 1815665 1815667 1815668 1815669 1815674 1815677 1815679 1815680 1815681 1815686 1815689 1815691 1815692 1815693 1815698 1815701 1815703 1815704 1815705 1815710 1815713 1815715 1815716 1815717 1815722 1815725 1815728 1815729 1815734 1815737 1817260 1817312 1821805 1821807 1821810 1821993 1822500 1822860 1822862 1822865 1823048 1823555 1823915 1823917 1823920 1824103 1824610 1824970 1824972 1824975 1825158 1825665 1826025 1826027 1826030 1826213 1826720 1827080 1827082 1827085 1827268 1827775 1828135 1828137 1828140 1828323 1828830 1920660 1920667 1920673 1923831 1923838 1923844 1927854 1927861 1927867 1929717 1929724 1929730 1931269 1942719 1942723 1942725 1942727 1942729 1942731 1942736 1942738 1942740 1942742 1942746 1949123 1949127 1949361 1949363 1949365 1949378 1949382 1963264 1963266 1963268 1963270 1963272 1963792 1963794 1963796 1964960 1964962 1964964 1965888 1965890 1965892 1967559 1974968 1974970 1974972 1978062 1978064 1978066 1978132 1978134 1978136 1978202 1978204 1978206 1978272 1978274 1978276 1978342 1978344 1978346 1978412 1978414 1978416 1993660 1993677 1993694 1993711 1993728 1993745 1993762 1993779 1993796 1993813 1993830 1993847 2000853 2000855 2000857 2000870 2000872 2000874 2000887 2000889 2000891 2000904 2000906 2000908 2000921 2000923 2000925 2000938 2000940 2000942 2000955 2000957 2000959 2001314 2001316 2001318 2001349 2001351 2001353 2001366 2001368 2001370 2001383 2001385 2001387 2006517 2006519 2006521 2006523 2006525 2006533 2006535 2006537 2006539 2006541 2006549 2006551 2006553 2006555 2006557 2006559 2006560 2006565 2006567 2006569 2006571 2006573 0
50.29/50.30	s UNSATISFIABLE

Verifier Data 

OK	889

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.05 3.62 3.38 5/189 24470
/proc/meminfo: memFree=30961704/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=19756 CPUtime=0 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 462 0 0 0 0 0 0 0 23 0 1 0 970700645 20230144 402 33554432000 4194304 4337479 140734514345456 18446744073709551615 4318749 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 4939 404 223 35 0 1562 0

[startup+0.104826 s]
/proc/loadavg: 4.05 3.62 3.38 5/189 24470
/proc/meminfo: memFree=30961704/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=44972 CPUtime=0.09 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 7235 0 0 0 9 0 0 0 23 0 1 0 970700645 46051328 6970 33554432000 4194304 4337479 140734514345456 18446744073709551615 216735178496 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 11243 6972 224 35 0 7866 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44972

[startup+0.200829 s]
/proc/loadavg: 4.05 3.62 3.38 5/189 24470
/proc/meminfo: memFree=30961704/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=83100 CPUtime=0.19 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 14306 0 0 0 18 1 0 0 24 0 1 0 970700645 85094400 14007 33554432000 4194304 4337479 140734514345456 18446744073709551615 216734876117 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 20775 14029 224 35 0 17398 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83100

[startup+0.300792 s]
/proc/loadavg: 4.05 3.62 3.38 5/189 24470
/proc/meminfo: memFree=30961704/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=99640 CPUtime=0.29 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 19307 0 0 0 27 2 0 0 24 0 1 0 970700645 102031360 18801 33554432000 4194304 4337479 140734514345456 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 24910 18803 224 35 0 21533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99640

[startup+0.700717 s]
/proc/loadavg: 4.05 3.62 3.38 5/189 24470
/proc/meminfo: memFree=30961704/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=208380 CPUtime=0.68 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 41735 0 0 0 63 5 0 0 25 0 1 0 970700645 213381120 40384 33554432000 4194304 4337479 140734514345456 18446744073709551615 4321256 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 52095 40389 224 35 0 48718 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 208380

[startup+1.50058 s]
/proc/loadavg: 4.05 3.62 3.38 5/190 24471
/proc/meminfo: memFree=30699336/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=351180 CPUtime=1.48 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 99494 0 0 0 135 13 0 0 25 0 1 0 970700645 359608320 77887 33554432000 4194304 4337479 140734514345456 18446744073709551615 4318664 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 87795 77888 253 35 0 84418 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 351180

[startup+3.1003 s]
/proc/loadavg: 4.05 3.62 3.38 5/190 24471
/proc/meminfo: memFree=30670792/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=3.09 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100666 0 0 0 295 14 0 0 25 0 1 0 970700645 317620224 70591 33554432000 4194304 4337479 140734514345456 18446744073709551615 4306769 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70591 253 35 0 74167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 310176

[startup+6.30074 s]
/proc/loadavg: 4.05 3.62 3.38 5/190 24471
/proc/meminfo: memFree=30669800/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=6.29 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100666 0 0 0 615 14 0 0 25 0 1 0 970700645 317620224 70591 33554432000 4194304 4337479 140734514345456 18446744073709551615 4302717 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70591 253 35 0 74167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 310176

[startup+12.7006 s]
/proc/loadavg: 4.04 3.64 3.38 5/190 24510
/proc/meminfo: memFree=30642012/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=12.69 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 1255 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 310176

[startup+25.5004 s]
/proc/loadavg: 4.03 3.65 3.39 5/190 24510
/proc/meminfo: memFree=30616844/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=25.49 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 2535 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4281720 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 310176

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

[startup+25.6004 s]
/proc/loadavg: 4.03 3.65 3.39 5/190 24510
/proc/meminfo: memFree=30616844/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=25.59 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 2545 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4278944 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 310176

[startup+38.4011 s]
/proc/loadavg: 4.02 3.66 3.40 5/190 24510
/proc/meminfo: memFree=30606896/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=38.39 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 3825 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4278895 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 310176

[startup+44.801 s]
/proc/loadavg: 4.02 3.67 3.40 5/190 24511
/proc/meminfo: memFree=30604252/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=44.79 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 4465 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4278659 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 44.79
Current children cumulated vsize (KiB) 310176

[startup+48.0004 s]
/proc/loadavg: 4.02 3.67 3.40 5/190 24511
/proc/meminfo: memFree=30603628/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=47.99 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 4785 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4303075 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 47.99
Current children cumulated vsize (KiB) 310176

[startup+49.6072 s]
/proc/loadavg: 4.02 3.67 3.40 5/190 24511
/proc/meminfo: memFree=30603132/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=49.6 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 4946 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4278892 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 49.6
Current children cumulated vsize (KiB) 310176

[startup+50.0011 s]
/proc/loadavg: 4.02 3.67 3.40 5/190 24511
/proc/meminfo: memFree=30603132/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=49.99 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 4985 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4306786 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 310176

[startup+50.2011 s]
/proc/loadavg: 4.02 3.67 3.40 5/190 24511
/proc/meminfo: memFree=30603132/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=50.19 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 5005 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4290989 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 50.19
Current children cumulated vsize (KiB) 310176

[startup+50.301 s]
/proc/loadavg: 4.02 3.67 3.40 5/190 24511
/proc/meminfo: memFree=30603132/32951124 swapFree=67054712/67111528
[pid=24470] ppid=24468 vsize=310176 CPUtime=50.29 cores=1,3
/proc/24470/stat : 24470 (hmuc) R 24468 24470 22928 0 -1 4202496 100667 0 0 0 5015 14 0 0 25 0 1 0 970700645 317620224 70592 33554432000 4194304 4337479 140734514345456 18446744073709551615 4278843 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24470/statm: 77544 70592 254 35 0 74167 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 310176

Child status: 20
Real time (s): 50.32
CPU time (s): 50.3174
CPU user time (s): 50.1624
CPU system time (s): 0.154976
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 392548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.1624
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 127

runsolver used 0.084987 second user time and 0.19397 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-11 17:05:00
IDJOB=3494323
IDBENCH=89300
IDSOLVER=1984
FILE ID=node119/3494323-1307804698
RUNJOBID= node119-1307804372-23789
PBS_JOBID= 13551059
Free space on /tmp= 73984 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_22134_8.cnf_0.38000000.unsat.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494323-1307804698/watcher-3494323-1307804698 -o /tmp/evaluation-result-3494323-1307804698/solver-3494323-1307804698 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494323-1307804698.cnf -no-pre

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

MD5SUM BENCH= 413894c1cef49bd87a4e330f324d39bb
RANDOM SEED=1687540605

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:      30962992 kB
Buffers:        277832 kB
Cached:         833840 kB
SwapCached:      11012 kB
Active:        1228328 kB
Inactive:       539080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30962992 kB
SwapTotal:    67111528 kB
SwapFree:     67054712 kB
Dirty:           97004 kB
Writeback:           0 kB
AnonPages:      652736 kB
Mapped:          13308 kB
Slab:           152964 kB
PageTables:       6688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   917864 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= 73980 MiB
End job on node119 at 2011-06-11 17:05:50