Trace number 3493946

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-A 2011-04-07? 366.553 366.549

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
MD5SUM649b4cf0a21e275b244b1034d05ded52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables96095
Number of clauses285404
Sum of the clauses size665940
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2190268
Number of clauses of size 395134
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

106.29/106.36	c WARNING: for repeatability, setting FPU to use double precision
106.29/106.36	c iter 1 time 43.7763 not-muc 156300 unknown 129104 muc 0
106.29/106.36	c iter 2 time 55.8085 not-muc 164027 unknown 121377 muc 0
106.29/106.36	c iter 3 time 58.4071 not-muc 164027 unknown 121376 muc 1
106.29/106.36	c iter 4 time 58.4821 not-muc 164027 unknown 121375 muc 2
106.29/106.36	c iter 5 time 58.5541 not-muc 164027 unknown 121374 muc 3
106.29/106.36	c iter 6 time 62.7075 not-muc 165215 unknown 120186 muc 3
106.29/106.36	c iter 7 time 64.9851 not-muc 165215 unknown 120185 muc 4
106.29/106.36	c iter 8 time 65.1011 not-muc 165215 unknown 120184 muc 5
106.29/106.36	c iter 9 time 65.4221 not-muc 165215 unknown 120183 muc 6
106.29/106.36	c iter 10 time 65.51 not-muc 165215 unknown 120182 muc 7
106.29/106.36	c iter 11 time 65.617 not-muc 165215 unknown 120181 muc 8
106.29/106.36	c iter 12 time 68.9195 not-muc 166719 unknown 118677 muc 8
106.29/106.36	c iter 13 time 69.0165 not-muc 166719 unknown 118676 muc 9
106.29/106.36	c iter 14 time 69.4914 not-muc 166719 unknown 118675 muc 10
106.29/106.36	c iter 15 time 71.0412 not-muc 166719 unknown 118674 muc 11
106.29/106.36	c iter 16 time 72.271 not-muc 166719 unknown 118673 muc 12
106.29/106.36	c iter 17 time 72.8649 not-muc 166719 unknown 118672 muc 13
106.29/106.36	c iter 18 time 73.1919 not-muc 166719 unknown 118671 muc 14
106.29/106.36	c iter 19 time 73.7308 not-muc 166719 unknown 118670 muc 15
106.29/106.36	c iter 20 time 75.6465 not-muc 166719 unknown 118669 muc 16
106.29/106.36	c iter 21 time 75.8965 not-muc 166719 unknown 118668 muc 17
106.29/106.36	c iter 22 time 77.0613 not-muc 166867 unknown 118520 muc 17
106.29/106.36	c iter 23 time 78.0431 not-muc 166867 unknown 118519 muc 18
106.29/106.36	c iter 24 time 78.3101 not-muc 166867 unknown 118518 muc 19
106.29/106.36	c iter 25 time 78.614 not-muc 166867 unknown 118517 muc 20
106.29/106.36	c iter 26 time 82.4485 not-muc 171363 unknown 114021 muc 20
106.29/106.36	c iter 27 time 88.8265 not-muc 173240 unknown 112144 muc 20
106.29/106.36	c iter 28 time 89.7004 not-muc 173482 unknown 111902 muc 20
106.29/106.36	c iter 29 time 90.6962 not-muc 173777 unknown 111607 muc 20
106.29/106.36	c iter 30 time 90.7492 not-muc 173777 unknown 111606 muc 21
106.29/106.36	c iter 31 time 90.8022 not-muc 173777 unknown 111605 muc 22
106.29/106.36	c iter 32 time 97.0272 not-muc 174310 unknown 111072 muc 22
106.29/106.36	c iter 33 time 97.1092 not-muc 174310 unknown 111071 muc 23
106.29/106.36	c iter 34 time 97.1722 not-muc 174310 unknown 111070 muc 24
106.29/106.36	c iter 35 time 97.2362 not-muc 174310 unknown 111069 muc 25
106.29/106.36	c iter 36 time 97.3042 not-muc 174310 unknown 111068 muc 26
106.29/106.36	c iter 37 time 97.9991 not-muc 174310 unknown 111067 muc 27
106.29/106.36	c iter 38 time 98.1051 not-muc 174310 unknown 111066 muc 28
106.29/106.36	c iter 39 time 98.2491 not-muc 174310 unknown 111065 muc 29
106.29/106.36	c iter 40 time 98.38 not-muc 174310 unknown 111064 muc 30
106.29/106.36	c iter 41 time 100.157 not-muc 174390 unknown 110984 muc 30
106.29/106.36	c iter 42 time 100.217 not-muc 174390 unknown 110983 muc 31
106.29/106.36	c iter 43 time 100.315 not-muc 174390 unknown 110982 muc 32
106.29/106.36	c iter 44 time 101.298 not-muc 174399 unknown 110973 muc 32
106.29/106.36	c iter 45 time 101.35 not-muc 174399 unknown 110972 muc 33
106.29/106.36	c iter 46 time 101.416 not-muc 174399 unknown 110971 muc 34
106.29/106.36	c iter 47 time 101.485 not-muc 174399 unknown 110970 muc 35
106.29/106.36	c iter 48 time 101.56 not-muc 174399 unknown 110969 muc 36
106.29/106.36	c iter 49 time 101.638 not-muc 174399 unknown 110968 muc 37
106.29/106.36	c iter 50 time 101.718 not-muc 174399 unknown 110967 muc 38
106.29/106.36	c iter 51 time 101.802 not-muc 174399 unknown 110966 muc 39
106.29/106.36	c iter 52 time 101.883 not-muc 174399 unknown 110965 muc 40
106.29/106.36	c iter 53 time 101.971 not-muc 174399 unknown 110964 muc 41
106.29/106.36	c iter 54 time 102.067 not-muc 174399 unknown 110963 muc 42
106.29/106.36	c iter 55 time 102.433 not-muc 174399 unknown 110962 muc 43
106.29/106.36	c iter 56 time 102.554 not-muc 174399 unknown 110961 muc 44
106.29/106.36	c iter 57 time 102.706 not-muc 174399 unknown 110960 muc 45
106.29/106.36	c iter 58 time 102.827 not-muc 174399 unknown 110959 muc 46
106.29/106.36	c iter 59 time 103.135 not-muc 174399 unknown 110958 muc 47
106.29/106.36	c iter 60 time 103.321 not-muc 174399 unknown 110957 muc 48
106.29/106.36	c iter 61 time 103.511 not-muc 174399 unknown 110956 muc 49
106.29/106.36	c iter 62 time 103.712 not-muc 174399 unknown 110955 muc 50
106.29/106.36	c iter 63 time 103.944 not-muc 174399 unknown 110954 muc 51
106.29/106.36	c iter 64 time 104.195 not-muc 174399 unknown 110953 muc 52
106.29/106.36	c iter 65 time 104.486 not-muc 174399 unknown 110952 muc 53
106.29/106.36	c iter 66 time 104.795 not-muc 174399 unknown 110951 muc 54
106.29/106.36	c iter 67 time 105.132 not-muc 174399 unknown 110950 muc 55
106.29/106.36	c iter 68 time 105.5 not-muc 174399 unknown 110949 muc 56
145.10/145.17	c iter 69 time 105.904 not-muc 174399 unknown 110948 muc 57
145.10/145.17	c iter 70 time 106.335 not-muc 174399 unknown 110947 muc 58
145.10/145.17	c iter 71 time 106.756 not-muc 174399 unknown 110946 muc 59
145.10/145.17	c iter 72 time 107.255 not-muc 174399 unknown 110945 muc 60
145.10/145.17	c iter 73 time 108.038 not-muc 174399 unknown 110944 muc 61
145.10/145.17	c iter 74 time 108.397 not-muc 174399 unknown 110943 muc 62
145.10/145.17	c iter 75 time 109.17 not-muc 174399 unknown 110942 muc 63
145.10/145.17	c iter 76 time 109.757 not-muc 174399 unknown 110941 muc 64
145.10/145.17	c iter 77 time 110.335 not-muc 174399 unknown 110940 muc 65
145.10/145.17	c iter 78 time 110.93 not-muc 174399 unknown 110939 muc 66
145.10/145.17	c iter 79 time 111.607 not-muc 174399 unknown 110938 muc 67
145.10/145.17	c iter 80 time 112.179 not-muc 174399 unknown 110937 muc 68
145.10/145.17	c iter 81 time 112.798 not-muc 174399 unknown 110936 muc 69
145.10/145.17	c iter 82 time 113.445 not-muc 174399 unknown 110935 muc 70
145.10/145.17	c iter 83 time 114.126 not-muc 174399 unknown 110934 muc 71
145.10/145.17	c iter 84 time 114.879 not-muc 174399 unknown 110933 muc 72
145.10/145.17	c iter 85 time 115.994 not-muc 174399 unknown 110932 muc 73
145.10/145.17	c iter 86 time 116.116 not-muc 174399 unknown 110931 muc 74
145.10/145.17	c iter 87 time 116.801 not-muc 174399 unknown 110930 muc 75
145.10/145.17	c iter 88 time 117.882 not-muc 174399 unknown 110929 muc 76
145.10/145.17	c iter 89 time 118.774 not-muc 174399 unknown 110928 muc 77
145.10/145.17	c iter 90 time 118.932 not-muc 174399 unknown 110927 muc 78
145.10/145.17	c iter 91 time 119.563 not-muc 174399 unknown 110926 muc 79
145.10/145.17	c iter 92 time 120.313 not-muc 174399 unknown 110925 muc 80
145.10/145.17	c iter 93 time 120.653 not-muc 174399 unknown 110924 muc 81
145.10/145.17	c iter 94 time 121.32 not-muc 174399 unknown 110923 muc 82
145.10/145.17	c iter 95 time 122.461 not-muc 174399 unknown 110922 muc 83
145.10/145.17	c iter 96 time 123.17 not-muc 174399 unknown 110921 muc 84
145.10/145.17	c iter 97 time 123.285 not-muc 174399 unknown 110920 muc 85
145.10/145.17	c iter 98 time 123.394 not-muc 174399 unknown 110919 muc 86
145.10/145.17	c iter 99 time 123.51 not-muc 174399 unknown 110918 muc 87
145.10/145.17	c iter 100 time 123.637 not-muc 174399 unknown 110917 muc 88
145.10/145.17	c iter 101 time 123.766 not-muc 174399 unknown 110916 muc 89
145.10/145.17	c iter 102 time 123.912 not-muc 174399 unknown 110915 muc 90
145.10/145.17	c iter 103 time 124.062 not-muc 174399 unknown 110914 muc 91
145.10/145.17	c iter 104 time 124.28 not-muc 174399 unknown 110913 muc 92
145.10/145.17	c iter 105 time 124.792 not-muc 174399 unknown 110912 muc 93
145.10/145.17	c iter 106 time 124.872 not-muc 174399 unknown 110911 muc 94
145.10/145.17	c iter 107 time 124.956 not-muc 174399 unknown 110910 muc 95
145.10/145.17	c iter 108 time 125.043 not-muc 174399 unknown 110909 muc 96
145.10/145.17	c iter 109 time 125.427 not-muc 174399 unknown 110908 muc 97
145.10/145.17	c iter 110 time 126.315 not-muc 174399 unknown 110907 muc 98
145.10/145.17	c iter 111 time 126.605 not-muc 174399 unknown 110906 muc 99
145.10/145.17	c iter 112 time 127.271 not-muc 174399 unknown 110905 muc 100
145.10/145.17	c iter 113 time 127.381 not-muc 174399 unknown 110904 muc 101
145.10/145.17	c iter 114 time 127.492 not-muc 174399 unknown 110903 muc 102
145.10/145.17	c iter 115 time 127.604 not-muc 174399 unknown 110902 muc 103
145.10/145.17	c iter 116 time 127.726 not-muc 174399 unknown 110901 muc 104
145.10/145.17	c iter 117 time 127.861 not-muc 174399 unknown 110900 muc 105
145.10/145.17	c iter 118 time 128.451 not-muc 174399 unknown 110899 muc 106
145.10/145.17	c iter 119 time 131.196 not-muc 174640 unknown 110658 muc 106
145.10/145.17	c iter 120 time 131.422 not-muc 174640 unknown 110657 muc 107
145.10/145.17	c iter 121 time 131.611 not-muc 174640 unknown 110656 muc 108
145.10/145.17	c iter 122 time 131.828 not-muc 174640 unknown 110655 muc 109
145.10/145.17	c iter 123 time 132.373 not-muc 174640 unknown 110654 muc 110
145.10/145.17	c iter 124 time 132.615 not-muc 174640 unknown 110653 muc 111
145.10/145.17	c iter 125 time 132.833 not-muc 174640 unknown 110652 muc 112
145.10/145.17	c iter 126 time 133.087 not-muc 174640 unknown 110651 muc 113
145.10/145.17	c iter 127 time 134.669 not-muc 175173 unknown 110118 muc 113
145.10/145.17	c iter 128 time 134.764 not-muc 175173 unknown 110117 muc 114
145.10/145.17	c iter 129 time 138.823 not-muc 175829 unknown 109461 muc 114
145.10/145.17	c iter 130 time 139.335 not-muc 175829 unknown 109460 muc 115
145.10/145.17	c iter 131 time 139.408 not-muc 175829 unknown 109459 muc 116
145.10/145.17	c iter 132 time 141.561 not-muc 176418 unknown 108870 muc 116
145.10/145.17	c iter 133 time 141.732 not-muc 176418 unknown 108869 muc 117
145.10/145.17	c iter 134 time 144.023 not-muc 176533 unknown 108754 muc 117
145.10/145.17	c iter 135 time 144.092 not-muc 176533 unknown 108753 muc 118
145.10/145.17	c iter 136 time 144.199 not-muc 176533 unknown 108752 muc 119
173.80/173.84	c iter 137 time 147.054 not-muc 178188 unknown 107097 muc 119
173.80/173.84	c iter 138 time 147.109 not-muc 178188 unknown 107096 muc 120
173.80/173.84	c iter 139 time 147.341 not-muc 178188 unknown 107095 muc 121
173.80/173.84	c iter 140 time 148.478 not-muc 178188 unknown 107094 muc 122
173.80/173.84	c iter 141 time 148.597 not-muc 178188 unknown 107093 muc 123
173.80/173.84	c iter 142 time 148.85 not-muc 178188 unknown 107092 muc 124
173.80/173.84	c iter 143 time 149.59 not-muc 178188 unknown 107091 muc 125
173.80/173.84	c iter 144 time 149.767 not-muc 178188 unknown 107090 muc 126
173.80/173.84	c iter 145 time 149.886 not-muc 178188 unknown 107089 muc 127
173.80/173.84	c iter 146 time 149.934 not-muc 178188 unknown 107088 muc 128
173.80/173.84	c iter 147 time 150.107 not-muc 178188 unknown 107087 muc 129
173.80/173.84	c iter 148 time 150.281 not-muc 178188 unknown 107086 muc 130
173.80/173.84	c iter 149 time 150.822 not-muc 178188 unknown 107085 muc 131
173.80/173.84	c iter 150 time 150.87 not-muc 178188 unknown 107084 muc 132
173.80/173.84	c iter 151 time 151.134 not-muc 178188 unknown 107083 muc 133
173.80/173.84	c iter 152 time 151.35 not-muc 178188 unknown 107082 muc 134
173.80/173.84	c iter 153 time 151.528 not-muc 178188 unknown 107081 muc 135
173.80/173.84	c iter 154 time 151.576 not-muc 178188 unknown 107080 muc 136
173.80/173.84	c iter 155 time 151.923 not-muc 178188 unknown 107079 muc 137
173.80/173.84	c iter 156 time 152.203 not-muc 178188 unknown 107078 muc 138
173.80/173.84	c iter 157 time 152.453 not-muc 178188 unknown 107077 muc 139
173.80/173.84	c iter 158 time 152.502 not-muc 178188 unknown 107076 muc 140
173.80/173.84	c iter 159 time 152.822 not-muc 178188 unknown 107075 muc 141
173.80/173.84	c iter 160 time 153.142 not-muc 178188 unknown 107074 muc 142
173.80/173.84	c iter 161 time 153.897 not-muc 178188 unknown 107073 muc 143
173.80/173.84	c iter 162 time 153.946 not-muc 178188 unknown 107072 muc 144
173.80/173.84	c iter 163 time 154.283 not-muc 178188 unknown 107071 muc 145
173.80/173.84	c iter 164 time 154.614 not-muc 178188 unknown 107070 muc 146
173.80/173.84	c iter 165 time 155.249 not-muc 178188 unknown 107069 muc 147
173.80/173.84	c iter 166 time 155.683 not-muc 178188 unknown 107068 muc 148
173.80/173.84	c iter 167 time 156.18 not-muc 178188 unknown 107067 muc 149
173.80/173.84	c iter 168 time 156.556 not-muc 178188 unknown 107066 muc 150
173.80/173.84	c iter 169 time 156.664 not-muc 178188 unknown 107065 muc 151
173.80/173.84	c iter 170 time 157.043 not-muc 178188 unknown 107064 muc 152
173.80/173.84	c iter 171 time 157.444 not-muc 178188 unknown 107063 muc 153
173.80/173.84	c iter 172 time 157.678 not-muc 178188 unknown 107062 muc 154
173.80/173.84	c iter 173 time 158.054 not-muc 178188 unknown 107061 muc 155
173.80/173.84	c iter 174 time 158.621 not-muc 178188 unknown 107060 muc 156
173.80/173.84	c iter 175 time 159.359 not-muc 178188 unknown 107059 muc 157
173.80/173.84	c iter 176 time 159.941 not-muc 178188 unknown 107058 muc 158
173.80/173.84	c iter 177 time 160.209 not-muc 178188 unknown 107057 muc 159
173.80/173.84	c iter 178 time 160.754 not-muc 178188 unknown 107056 muc 160
173.80/173.84	c iter 179 time 161.318 not-muc 178188 unknown 107055 muc 161
173.80/173.84	c iter 180 time 161.578 not-muc 178188 unknown 107054 muc 162
173.80/173.84	c iter 181 time 161.625 not-muc 178188 unknown 107053 muc 163
173.80/173.84	c iter 182 time 162.202 not-muc 178188 unknown 107052 muc 164
173.80/173.84	c iter 183 time 162.824 not-muc 178188 unknown 107051 muc 165
173.80/173.84	c iter 184 time 163.065 not-muc 178188 unknown 107050 muc 166
173.80/173.84	c iter 185 time 163.776 not-muc 178188 unknown 107049 muc 167
173.80/173.84	c iter 186 time 164.171 not-muc 178188 unknown 107048 muc 168
173.80/173.84	c iter 187 time 164.515 not-muc 178188 unknown 107047 muc 169
173.80/173.84	c iter 188 time 164.637 not-muc 178188 unknown 107046 muc 170
173.80/173.84	c iter 189 time 165.236 not-muc 178188 unknown 107045 muc 171
173.80/173.84	c iter 190 time 165.362 not-muc 178188 unknown 107044 muc 172
173.80/173.84	c iter 191 time 166.043 not-muc 178188 unknown 107043 muc 173
173.80/173.84	c iter 192 time 167.244 not-muc 178188 unknown 107042 muc 174
173.80/173.84	c iter 193 time 167.87 not-muc 178188 unknown 107041 muc 175
173.80/173.84	c iter 194 time 168.483 not-muc 178188 unknown 107040 muc 176
173.80/173.84	c iter 195 time 169.39 not-muc 178188 unknown 107039 muc 177
173.80/173.84	c iter 196 time 169.91 not-muc 178188 unknown 107038 muc 178
173.80/173.84	c iter 197 time 170.15 not-muc 178188 unknown 107037 muc 179
173.80/173.84	c iter 198 time 170.804 not-muc 178188 unknown 107036 muc 180
173.80/173.84	c iter 199 time 170.975 not-muc 178188 unknown 107035 muc 181
173.80/173.84	c iter 200 time 171.698 not-muc 178188 unknown 107034 muc 182
173.80/173.84	c iter 201 time 172.024 not-muc 178188 unknown 107033 muc 183
173.80/173.84	c iter 202 time 172.77 not-muc 178188 unknown 107032 muc 184
203.90/203.91	c iter 203 time 173.429 not-muc 178188 unknown 107031 muc 185
203.90/203.91	c iter 204 time 173.711 not-muc 178188 unknown 107030 muc 186
203.90/203.91	c iter 205 time 173.762 not-muc 178188 unknown 107029 muc 187
203.90/203.91	c iter 206 time 174.361 not-muc 178188 unknown 107028 muc 188
203.90/203.91	c iter 207 time 175.189 not-muc 178188 unknown 107027 muc 189
203.90/203.91	c iter 208 time 175.633 not-muc 178188 unknown 107026 muc 190
203.90/203.91	c iter 209 time 175.682 not-muc 178188 unknown 107025 muc 191
203.90/203.91	c iter 210 time 176.632 not-muc 178188 unknown 107024 muc 192
203.90/203.91	c iter 211 time 177.508 not-muc 178188 unknown 107023 muc 193
203.90/203.91	c iter 212 time 178.242 not-muc 178188 unknown 107022 muc 194
203.90/203.91	c iter 213 time 180.302 not-muc 178188 unknown 107021 muc 195
203.90/203.91	c iter 214 time 180.35 not-muc 178188 unknown 107020 muc 196
203.90/203.91	c iter 215 time 180.956 not-muc 178188 unknown 107019 muc 197
203.90/203.91	c iter 216 time 182.248 not-muc 178188 unknown 107018 muc 198
203.90/203.91	c iter 217 time 182.7 not-muc 178188 unknown 107017 muc 199
203.90/203.91	c iter 218 time 182.886 not-muc 178188 unknown 107016 muc 200
203.90/203.91	c iter 219 time 182.935 not-muc 178188 unknown 107015 muc 201
203.90/203.91	c iter 220 time 183.527 not-muc 178188 unknown 107014 muc 202
203.90/203.91	c iter 221 time 184.61 not-muc 178188 unknown 107013 muc 203
203.90/203.91	c iter 222 time 184.944 not-muc 178188 unknown 107012 muc 204
203.90/203.91	c iter 223 time 184.992 not-muc 178188 unknown 107011 muc 205
203.90/203.91	c iter 224 time 185.832 not-muc 178188 unknown 107010 muc 206
203.90/203.91	c iter 225 time 187.047 not-muc 178188 unknown 107009 muc 207
203.90/203.91	c iter 226 time 187.475 not-muc 178188 unknown 107008 muc 208
203.90/203.91	c iter 227 time 187.524 not-muc 178188 unknown 107007 muc 209
203.90/203.91	c iter 228 time 188.53 not-muc 178188 unknown 107006 muc 210
203.90/203.91	c iter 229 time 190.079 not-muc 178188 unknown 107005 muc 211
203.90/203.91	c iter 230 time 190.611 not-muc 178188 unknown 107004 muc 212
203.90/203.91	c iter 231 time 190.659 not-muc 178188 unknown 107003 muc 213
203.90/203.91	c iter 232 time 191.711 not-muc 178188 unknown 107002 muc 214
203.90/203.91	c iter 233 time 192.804 not-muc 178188 unknown 107001 muc 215
203.90/203.91	c iter 234 time 196.509 not-muc 179234 unknown 105955 muc 215
203.90/203.91	c iter 235 time 196.664 not-muc 179234 unknown 105954 muc 216
203.90/203.91	c iter 236 time 197.985 not-muc 180217 unknown 104971 muc 216
203.90/203.91	c iter 237 time 198.256 not-muc 180217 unknown 104970 muc 217
203.90/203.91	c iter 238 time 198.33 not-muc 180217 unknown 104969 muc 218
203.90/203.91	c iter 239 time 198.405 not-muc 180217 unknown 104968 muc 219
203.90/203.91	c iter 240 time 198.486 not-muc 180217 unknown 104967 muc 220
203.90/203.91	c iter 241 time 198.54 not-muc 180217 unknown 104966 muc 221
203.90/203.91	c iter 242 time 198.587 not-muc 180217 unknown 104965 muc 222
203.90/203.91	c iter 243 time 198.667 not-muc 180217 unknown 104964 muc 223
203.90/203.91	c iter 244 time 198.716 not-muc 180217 unknown 104963 muc 224
203.90/203.91	c iter 245 time 198.762 not-muc 180217 unknown 104962 muc 225
203.90/203.91	c iter 246 time 198.808 not-muc 180217 unknown 104961 muc 226
203.90/203.91	c iter 247 time 198.855 not-muc 180217 unknown 104960 muc 227
203.90/203.91	c iter 248 time 198.948 not-muc 180217 unknown 104959 muc 228
203.90/203.91	c iter 249 time 198.998 not-muc 180217 unknown 104958 muc 229
203.90/203.91	c iter 250 time 199.092 not-muc 180217 unknown 104957 muc 230
203.90/203.91	c iter 251 time 199.148 not-muc 180217 unknown 104956 muc 231
203.90/203.91	c iter 252 time 199.197 not-muc 180217 unknown 104955 muc 232
203.90/203.91	c iter 253 time 199.61 not-muc 180217 unknown 104954 muc 233
203.90/203.91	c iter 254 time 200.118 not-muc 180217 unknown 104953 muc 234
203.90/203.91	c iter 255 time 200.547 not-muc 180217 unknown 104952 muc 235
203.90/203.91	c iter 256 time 200.664 not-muc 180217 unknown 104951 muc 236
203.90/203.91	c iter 257 time 200.785 not-muc 180217 unknown 104950 muc 237
203.90/203.91	c iter 258 time 201.327 not-muc 180217 unknown 104949 muc 238
203.90/203.91	c iter 259 time 201.703 not-muc 180217 unknown 104948 muc 239
203.90/203.91	c iter 260 time 201.896 not-muc 180217 unknown 104947 muc 240
203.90/203.91	c iter 261 time 202.071 not-muc 180217 unknown 104946 muc 241
203.90/203.91	c iter 262 time 202.229 not-muc 180217 unknown 104945 muc 242
203.90/203.91	c iter 263 time 202.276 not-muc 180217 unknown 104944 muc 243
203.90/203.91	c iter 264 time 202.422 not-muc 180217 unknown 104943 muc 244
203.90/203.91	c iter 265 time 202.494 not-muc 180217 unknown 104942 muc 245
203.90/203.91	c iter 266 time 202.665 not-muc 180217 unknown 104941 muc 246
203.90/203.91	c iter 267 time 202.712 not-muc 180217 unknown 104940 muc 247
203.90/203.91	c iter 268 time 202.777 not-muc 180217 unknown 104939 muc 248
211.50/211.54	c iter 269 time 202.854 not-muc 180217 unknown 104938 muc 249
211.50/211.54	c iter 270 time 203.012 not-muc 180217 unknown 104937 muc 250
211.50/211.54	c iter 271 time 203.059 not-muc 180217 unknown 104936 muc 251
211.50/211.54	c iter 272 time 203.128 not-muc 180217 unknown 104935 muc 252
211.50/211.54	c iter 273 time 203.21 not-muc 180217 unknown 104934 muc 253
211.50/211.54	c iter 274 time 203.589 not-muc 180217 unknown 104933 muc 254
211.50/211.54	c iter 275 time 203.637 not-muc 180217 unknown 104932 muc 255
211.50/211.54	c iter 276 time 203.73 not-muc 180217 unknown 104931 muc 256
211.50/211.54	c iter 277 time 203.809 not-muc 180217 unknown 104930 muc 257
211.50/211.54	c iter 278 time 203.948 not-muc 180217 unknown 104929 muc 258
211.50/211.54	c iter 279 time 203.995 not-muc 180217 unknown 104928 muc 259
211.50/211.54	c iter 280 time 204.07 not-muc 180217 unknown 104927 muc 260
211.50/211.54	c iter 281 time 204.236 not-muc 180217 unknown 104926 muc 261
211.50/211.54	c iter 282 time 204.418 not-muc 180217 unknown 104925 muc 262
211.50/211.54	c iter 283 time 204.592 not-muc 180217 unknown 104924 muc 263
211.50/211.54	c iter 284 time 204.794 not-muc 180217 unknown 104923 muc 264
211.50/211.54	c iter 285 time 204.905 not-muc 180217 unknown 104922 muc 265
211.50/211.54	c iter 286 time 204.976 not-muc 180217 unknown 104921 muc 266
211.50/211.54	c iter 287 time 205.163 not-muc 180217 unknown 104920 muc 267
211.50/211.54	c iter 288 time 205.211 not-muc 180217 unknown 104919 muc 268
211.50/211.54	c iter 289 time 205.29 not-muc 180217 unknown 104918 muc 269
211.50/211.54	c iter 290 time 205.397 not-muc 180217 unknown 104917 muc 270
211.50/211.54	c iter 291 time 205.49 not-muc 180217 unknown 104916 muc 271
211.50/211.54	c iter 292 time 205.581 not-muc 180217 unknown 104915 muc 272
211.50/211.54	c iter 293 time 205.658 not-muc 180217 unknown 104914 muc 273
211.50/211.54	c iter 294 time 205.754 not-muc 180217 unknown 104913 muc 274
211.50/211.54	c iter 295 time 205.865 not-muc 180217 unknown 104912 muc 275
211.50/211.54	c iter 296 time 205.912 not-muc 180217 unknown 104911 muc 276
211.50/211.54	c iter 297 time 206.001 not-muc 180217 unknown 104910 muc 277
211.50/211.54	c iter 298 time 206.109 not-muc 180217 unknown 104909 muc 278
211.50/211.54	c iter 299 time 206.158 not-muc 180217 unknown 104908 muc 279
211.50/211.54	c iter 300 time 206.364 not-muc 180217 unknown 104907 muc 280
211.50/211.54	c iter 301 time 206.411 not-muc 180217 unknown 104906 muc 281
211.50/211.54	c iter 302 time 206.473 not-muc 180217 unknown 104905 muc 282
211.50/211.54	c iter 303 time 206.524 not-muc 180217 unknown 104904 muc 283
211.50/211.54	c iter 304 time 206.614 not-muc 180217 unknown 104903 muc 284
211.50/211.54	c iter 305 time 206.662 not-muc 180217 unknown 104902 muc 285
211.50/211.54	c iter 306 time 206.725 not-muc 180217 unknown 104901 muc 286
211.50/211.54	c iter 307 time 206.783 not-muc 180217 unknown 104900 muc 287
211.50/211.54	c iter 308 time 206.853 not-muc 180217 unknown 104899 muc 288
211.50/211.54	c iter 309 time 206.9 not-muc 180217 unknown 104898 muc 289
211.50/211.54	c iter 310 time 206.956 not-muc 180217 unknown 104897 muc 290
211.50/211.54	c iter 311 time 207.048 not-muc 180217 unknown 104896 muc 291
211.50/211.54	c iter 312 time 207.096 not-muc 180217 unknown 104895 muc 292
211.50/211.54	c iter 313 time 207.155 not-muc 180217 unknown 104894 muc 293
211.50/211.54	c iter 314 time 207.224 not-muc 180217 unknown 104893 muc 294
211.50/211.54	c iter 315 time 207.271 not-muc 180217 unknown 104892 muc 295
211.50/211.54	c iter 316 time 207.329 not-muc 180217 unknown 104891 muc 296
211.50/211.54	c iter 317 time 207.5 not-muc 180217 unknown 104890 muc 297
211.50/211.54	c iter 318 time 207.547 not-muc 180217 unknown 104889 muc 298
211.50/211.54	c iter 319 time 207.594 not-muc 180217 unknown 104888 muc 299
211.50/211.54	c iter 320 time 207.641 not-muc 180217 unknown 104887 muc 300
211.50/211.54	c iter 321 time 207.688 not-muc 180217 unknown 104886 muc 301
211.50/211.54	c iter 322 time 207.736 not-muc 180217 unknown 104885 muc 302
211.50/211.54	c iter 323 time 207.783 not-muc 180217 unknown 104884 muc 303
211.50/211.54	c iter 324 time 207.829 not-muc 180217 unknown 104883 muc 304
211.50/211.54	c iter 325 time 207.876 not-muc 180217 unknown 104882 muc 305
211.50/211.54	c iter 326 time 207.923 not-muc 180217 unknown 104881 muc 306
211.50/211.54	c iter 327 time 208.031 not-muc 180217 unknown 104880 muc 307
211.50/211.54	c iter 328 time 208.086 not-muc 180217 unknown 104879 muc 308
211.50/211.54	c iter 329 time 208.133 not-muc 180217 unknown 104878 muc 309
211.50/211.54	c iter 330 time 208.364 not-muc 180217 unknown 104877 muc 310
211.50/211.54	c iter 331 time 209.756 not-muc 180274 unknown 104820 muc 310
211.50/211.54	c iter 332 time 209.816 not-muc 180274 unknown 104819 muc 311
211.50/211.54	c iter 333 time 210.038 not-muc 180274 unknown 104818 muc 312
211.50/211.54	c iter 334 time 210.38 not-muc 180274 unknown 104817 muc 313
224.50/224.55	c iter 335 time 210.598 not-muc 180274 unknown 104816 muc 314
224.50/224.55	c iter 336 time 210.734 not-muc 180274 unknown 104815 muc 315
224.50/224.55	c iter 337 time 210.903 not-muc 180274 unknown 104814 muc 316
224.50/224.55	c iter 338 time 211.043 not-muc 180274 unknown 104813 muc 317
224.50/224.55	c iter 339 time 211.159 not-muc 180274 unknown 104812 muc 318
224.50/224.55	c iter 340 time 211.205 not-muc 180274 unknown 104811 muc 319
224.50/224.55	c iter 341 time 211.374 not-muc 180274 unknown 104810 muc 320
224.50/224.55	c iter 342 time 211.499 not-muc 180274 unknown 104809 muc 321
224.50/224.55	c iter 343 time 211.644 not-muc 180274 unknown 104808 muc 322
224.50/224.55	c iter 344 time 211.743 not-muc 180274 unknown 104807 muc 323
224.50/224.55	c iter 345 time 211.891 not-muc 180274 unknown 104806 muc 324
224.50/224.55	c iter 346 time 212.065 not-muc 180274 unknown 104805 muc 325
224.50/224.55	c iter 347 time 212.153 not-muc 180274 unknown 104804 muc 326
224.50/224.55	c iter 348 time 212.2 not-muc 180274 unknown 104803 muc 327
224.50/224.55	c iter 349 time 212.356 not-muc 180274 unknown 104802 muc 328
224.50/224.55	c iter 350 time 212.528 not-muc 180274 unknown 104801 muc 329
224.50/224.55	c iter 351 time 212.621 not-muc 180274 unknown 104800 muc 330
224.50/224.55	c iter 352 time 212.668 not-muc 180274 unknown 104799 muc 331
224.50/224.55	c iter 353 time 212.831 not-muc 180274 unknown 104798 muc 332
224.50/224.55	c iter 354 time 213.012 not-muc 180274 unknown 104797 muc 333
224.50/224.55	c iter 355 time 213.102 not-muc 180274 unknown 104796 muc 334
224.50/224.55	c iter 356 time 213.15 not-muc 180274 unknown 104795 muc 335
224.50/224.55	c iter 357 time 213.32 not-muc 180274 unknown 104794 muc 336
224.50/224.55	c iter 358 time 213.509 not-muc 180274 unknown 104793 muc 337
224.50/224.55	c iter 359 time 213.591 not-muc 180274 unknown 104792 muc 338
224.50/224.55	c iter 360 time 213.766 not-muc 180274 unknown 104791 muc 339
224.50/224.55	c iter 361 time 213.824 not-muc 180274 unknown 104790 muc 340
224.50/224.55	c iter 362 time 214.03 not-muc 180274 unknown 104789 muc 341
224.50/224.55	c iter 363 time 214.13 not-muc 180274 unknown 104788 muc 342
224.50/224.55	c iter 364 time 214.342 not-muc 180274 unknown 104787 muc 343
224.50/224.55	c iter 365 time 214.565 not-muc 180274 unknown 104786 muc 344
224.50/224.55	c iter 366 time 214.69 not-muc 180274 unknown 104785 muc 345
224.50/224.55	c iter 367 time 214.736 not-muc 180274 unknown 104784 muc 346
224.50/224.55	c iter 368 time 214.933 not-muc 180274 unknown 104783 muc 347
224.50/224.55	c iter 369 time 215.15 not-muc 180274 unknown 104782 muc 348
224.50/224.55	c iter 370 time 215.272 not-muc 180274 unknown 104781 muc 349
224.50/224.55	c iter 371 time 215.319 not-muc 180274 unknown 104780 muc 350
224.50/224.55	c iter 372 time 215.519 not-muc 180274 unknown 104779 muc 351
224.50/224.55	c iter 373 time 215.751 not-muc 180274 unknown 104778 muc 352
224.50/224.55	c iter 374 time 215.859 not-muc 180274 unknown 104777 muc 353
224.50/224.55	c iter 375 time 215.905 not-muc 180274 unknown 104776 muc 354
224.50/224.55	c iter 376 time 216.181 not-muc 180274 unknown 104775 muc 355
224.50/224.55	c iter 377 time 216.581 not-muc 180274 unknown 104774 muc 356
224.50/224.55	c iter 378 time 216.812 not-muc 180274 unknown 104773 muc 357
224.50/224.55	c iter 379 time 216.959 not-muc 180274 unknown 104772 muc 358
224.50/224.55	c iter 380 time 217.212 not-muc 180274 unknown 104771 muc 359
224.50/224.55	c iter 381 time 217.899 not-muc 180523 unknown 104522 muc 359
224.50/224.55	c iter 382 time 217.976 not-muc 180523 unknown 104521 muc 360
224.50/224.55	c iter 383 time 218.137 not-muc 180523 unknown 104520 muc 361
224.50/224.55	c iter 384 time 218.289 not-muc 180523 unknown 104519 muc 362
224.50/224.55	c iter 385 time 219.889 not-muc 185082 unknown 99960 muc 362
224.50/224.55	c iter 386 time 219.98 not-muc 185082 unknown 99959 muc 363
224.50/224.55	c iter 387 time 220.092 not-muc 185082 unknown 99958 muc 364
224.50/224.55	c iter 388 time 220.272 not-muc 185082 unknown 99957 muc 365
224.50/224.55	c iter 389 time 220.338 not-muc 185082 unknown 99956 muc 366
224.50/224.55	c iter 390 time 220.491 not-muc 185082 unknown 99955 muc 367
224.50/224.55	c iter 391 time 220.602 not-muc 185082 unknown 99954 muc 368
224.50/224.55	c iter 392 time 220.672 not-muc 185082 unknown 99953 muc 369
224.50/224.55	c iter 393 time 220.804 not-muc 185082 unknown 99952 muc 370
224.50/224.55	c iter 394 time 222.313 not-muc 185500 unknown 99534 muc 370
224.50/224.55	c iter 395 time 222.386 not-muc 185500 unknown 99533 muc 371
224.50/224.55	c iter 396 time 222.438 not-muc 185500 unknown 99532 muc 372
224.50/224.55	c iter 397 time 222.512 not-muc 185500 unknown 99531 muc 373
224.50/224.55	c iter 398 time 222.644 not-muc 185500 unknown 99530 muc 374
224.50/224.55	c iter 399 time 223.174 not-muc 185551 unknown 99479 muc 374
224.50/224.55	c iter 400 time 223.299 not-muc 185551 unknown 99478 muc 375
224.50/224.55	c iter 401 time 223.36 not-muc 185551 unknown 99477 muc 376
239.30/239.35	c iter 402 time 223.442 not-muc 185551 unknown 99476 muc 377
239.30/239.35	c iter 403 time 225.092 not-muc 185662 unknown 99365 muc 377
239.30/239.35	c iter 404 time 225.19 not-muc 185662 unknown 99364 muc 378
239.30/239.35	c iter 405 time 225.275 not-muc 185662 unknown 99363 muc 379
239.30/239.35	c iter 406 time 225.467 not-muc 185662 unknown 99362 muc 380
239.30/239.35	c iter 407 time 225.547 not-muc 185662 unknown 99361 muc 381
239.30/239.35	c iter 408 time 225.681 not-muc 185662 unknown 99360 muc 382
239.30/239.35	c iter 409 time 225.889 not-muc 185662 unknown 99359 muc 383
239.30/239.35	c iter 410 time 225.969 not-muc 185662 unknown 99358 muc 384
239.30/239.35	c iter 411 time 226.169 not-muc 185662 unknown 99357 muc 385
239.30/239.35	c iter 412 time 226.268 not-muc 185662 unknown 99356 muc 386
239.30/239.35	c iter 413 time 226.423 not-muc 185662 unknown 99355 muc 387
239.30/239.35	c iter 414 time 226.671 not-muc 185662 unknown 99354 muc 388
239.30/239.35	c iter 415 time 226.748 not-muc 185662 unknown 99353 muc 389
239.30/239.35	c iter 416 time 226.846 not-muc 185662 unknown 99352 muc 390
239.30/239.35	c iter 417 time 226.933 not-muc 185662 unknown 99351 muc 391
239.30/239.35	c iter 418 time 227.077 not-muc 185662 unknown 99350 muc 392
239.30/239.35	c iter 419 time 227.25 not-muc 185662 unknown 99349 muc 393
239.30/239.35	c iter 420 time 227.346 not-muc 185662 unknown 99348 muc 394
239.30/239.35	c iter 421 time 227.437 not-muc 185662 unknown 99347 muc 395
239.30/239.35	c iter 422 time 227.583 not-muc 185662 unknown 99346 muc 396
239.30/239.35	c iter 423 time 227.754 not-muc 185662 unknown 99345 muc 397
239.30/239.35	c iter 424 time 227.854 not-muc 185662 unknown 99344 muc 398
239.30/239.35	c iter 425 time 227.955 not-muc 185662 unknown 99343 muc 399
239.30/239.35	c iter 426 time 228.103 not-muc 185662 unknown 99342 muc 400
239.30/239.35	c iter 427 time 228.281 not-muc 185662 unknown 99341 muc 401
239.30/239.35	c iter 428 time 228.406 not-muc 185662 unknown 99340 muc 402
239.30/239.35	c iter 429 time 228.526 not-muc 185662 unknown 99339 muc 403
239.30/239.35	c iter 430 time 228.667 not-muc 185662 unknown 99338 muc 404
239.30/239.35	c iter 431 time 228.833 not-muc 185662 unknown 99337 muc 405
239.30/239.35	c iter 432 time 228.971 not-muc 185662 unknown 99336 muc 406
239.30/239.35	c iter 433 time 229.101 not-muc 185662 unknown 99335 muc 407
239.30/239.35	c iter 434 time 231.143 not-muc 185697 unknown 99300 muc 407
239.30/239.35	c iter 435 time 232.367 not-muc 185722 unknown 99275 muc 407
239.30/239.35	c iter 436 time 232.413 not-muc 185722 unknown 99274 muc 408
239.30/239.35	c iter 437 time 232.501 not-muc 185722 unknown 99273 muc 409
239.30/239.35	c iter 438 time 232.568 not-muc 185722 unknown 99272 muc 410
239.30/239.35	c iter 439 time 232.637 not-muc 185722 unknown 99271 muc 411
239.30/239.35	c iter 440 time 232.714 not-muc 185722 unknown 99270 muc 412
239.30/239.35	c iter 441 time 232.794 not-muc 185722 unknown 99269 muc 413
239.30/239.35	c iter 442 time 232.962 not-muc 185722 unknown 99268 muc 414
239.30/239.35	c iter 443 time 233.863 not-muc 185722 unknown 99267 muc 415
239.30/239.35	c iter 444 time 233.972 not-muc 185722 unknown 99266 muc 416
239.30/239.35	c iter 445 time 234.082 not-muc 185722 unknown 99265 muc 417
239.30/239.35	c iter 446 time 234.197 not-muc 185722 unknown 99264 muc 418
239.30/239.35	c iter 447 time 234.319 not-muc 185722 unknown 99263 muc 419
239.30/239.35	c iter 448 time 234.445 not-muc 185722 unknown 99262 muc 420
239.30/239.35	c iter 449 time 234.555 not-muc 185722 unknown 99261 muc 421
239.30/239.35	c iter 450 time 234.688 not-muc 185722 unknown 99260 muc 422
239.30/239.35	c iter 451 time 234.824 not-muc 185722 unknown 99259 muc 423
239.30/239.35	c iter 452 time 234.97 not-muc 185722 unknown 99258 muc 424
239.30/239.35	c iter 453 time 235.342 not-muc 185722 unknown 99257 muc 425
239.30/239.35	c iter 454 time 235.48 not-muc 185722 unknown 99256 muc 426
239.30/239.35	c iter 455 time 235.634 not-muc 185722 unknown 99255 muc 427
239.30/239.35	c iter 456 time 235.684 not-muc 185722 unknown 99254 muc 428
239.30/239.35	c iter 457 time 235.867 not-muc 185722 unknown 99253 muc 429
239.30/239.35	c iter 458 time 236.604 not-muc 185722 unknown 99252 muc 430
239.30/239.35	c iter 459 time 236.69 not-muc 185722 unknown 99251 muc 431
239.30/239.35	c iter 460 time 236.851 not-muc 185722 unknown 99250 muc 432
239.30/239.35	c iter 461 time 236.901 not-muc 185722 unknown 99249 muc 433
239.30/239.35	c iter 462 time 237.036 not-muc 185722 unknown 99248 muc 434
239.30/239.35	c iter 463 time 237.255 not-muc 185722 unknown 99247 muc 435
239.30/239.35	c iter 464 time 237.464 not-muc 185722 unknown 99246 muc 436
239.30/239.35	c iter 465 time 237.516 not-muc 185722 unknown 99245 muc 437
239.30/239.35	c iter 466 time 237.619 not-muc 185722 unknown 99244 muc 438
239.30/239.35	c iter 467 time 237.866 not-muc 185722 unknown 99243 muc 439
239.30/239.35	c iter 468 time 238.101 not-muc 185722 unknown 99242 muc 440
253.00/253.04	c iter 469 time 238.154 not-muc 185722 unknown 99241 muc 441
253.00/253.04	c iter 470 time 238.372 not-muc 185722 unknown 99240 muc 442
253.00/253.04	c iter 471 time 238.698 not-muc 185722 unknown 99239 muc 443
253.00/253.04	c iter 472 time 238.988 not-muc 185722 unknown 99238 muc 444
253.00/253.04	c iter 473 time 239.039 not-muc 185722 unknown 99237 muc 445
253.00/253.04	c iter 474 time 239.19 not-muc 185722 unknown 99236 muc 446
253.00/253.04	c iter 475 time 239.546 not-muc 185722 unknown 99235 muc 447
253.00/253.04	c iter 476 time 239.845 not-muc 185722 unknown 99234 muc 448
253.00/253.04	c iter 477 time 239.898 not-muc 185722 unknown 99233 muc 449
253.00/253.04	c iter 478 time 240.032 not-muc 185722 unknown 99232 muc 450
253.00/253.04	c iter 479 time 240.441 not-muc 185722 unknown 99231 muc 451
253.00/253.04	c iter 480 time 240.903 not-muc 185722 unknown 99230 muc 452
253.00/253.04	c iter 481 time 241.024 not-muc 185722 unknown 99229 muc 453
253.00/253.04	c iter 482 time 241.086 not-muc 185722 unknown 99228 muc 454
253.00/253.04	c iter 483 time 241.224 not-muc 185722 unknown 99227 muc 455
253.00/253.04	c iter 484 time 241.68 not-muc 185722 unknown 99226 muc 456
253.00/253.04	c iter 485 time 242.135 not-muc 185722 unknown 99225 muc 457
253.00/253.04	c iter 486 time 242.199 not-muc 185722 unknown 99224 muc 458
253.00/253.04	c iter 487 time 242.396 not-muc 185722 unknown 99223 muc 459
253.00/253.04	c iter 488 time 242.94 not-muc 185722 unknown 99222 muc 460
253.00/253.04	c iter 489 time 243.47 not-muc 185722 unknown 99221 muc 461
253.00/253.04	c iter 490 time 243.725 not-muc 185722 unknown 99220 muc 462
253.00/253.04	c iter 491 time 244.216 not-muc 185722 unknown 99219 muc 463
253.00/253.04	c iter 492 time 244.352 not-muc 185722 unknown 99218 muc 464
253.00/253.04	c iter 493 time 244.82 not-muc 185722 unknown 99217 muc 465
253.00/253.04	c iter 494 time 244.892 not-muc 185722 unknown 99216 muc 466
253.00/253.04	c iter 495 time 244.953 not-muc 185722 unknown 99215 muc 467
253.00/253.04	c iter 496 time 245.055 not-muc 185722 unknown 99214 muc 468
253.00/253.04	c iter 497 time 246.377 not-muc 187444 unknown 97492 muc 468
253.00/253.04	c iter 498 time 246.662 not-muc 187444 unknown 97491 muc 469
253.00/253.04	c iter 499 time 246.797 not-muc 187444 unknown 97490 muc 470
253.00/253.04	c iter 500 time 246.892 not-muc 187444 unknown 97489 muc 471
253.00/253.04	c iter 501 time 246.978 not-muc 187444 unknown 97488 muc 472
253.00/253.04	c iter 502 time 247.093 not-muc 187444 unknown 97487 muc 473
253.00/253.04	c iter 503 time 247.179 not-muc 187444 unknown 97486 muc 474
253.00/253.04	c iter 504 time 247.286 not-muc 187444 unknown 97485 muc 475
253.00/253.04	c iter 505 time 247.387 not-muc 187444 unknown 97484 muc 476
253.00/253.04	c iter 506 time 247.455 not-muc 187444 unknown 97483 muc 477
253.00/253.04	c iter 507 time 247.541 not-muc 187444 unknown 97482 muc 478
253.00/253.04	c iter 508 time 247.642 not-muc 187444 unknown 97481 muc 479
253.00/253.04	c iter 509 time 247.717 not-muc 187444 unknown 97480 muc 480
253.00/253.04	c iter 510 time 247.81 not-muc 187444 unknown 97479 muc 481
253.00/253.04	c iter 511 time 248.588 not-muc 187491 unknown 97432 muc 481
253.00/253.04	c iter 512 time 248.661 not-muc 187491 unknown 97431 muc 482
253.00/253.04	c iter 513 time 248.721 not-muc 187491 unknown 97430 muc 483
253.00/253.04	c iter 514 time 248.785 not-muc 187491 unknown 97429 muc 484
253.00/253.04	c iter 515 time 248.851 not-muc 187491 unknown 97428 muc 485
253.00/253.04	c iter 516 time 248.919 not-muc 187491 unknown 97427 muc 486
253.00/253.04	c iter 517 time 248.997 not-muc 187491 unknown 97426 muc 487
253.00/253.04	c iter 518 time 249.08 not-muc 187491 unknown 97425 muc 488
253.00/253.04	c iter 519 time 249.174 not-muc 187491 unknown 97424 muc 489
253.00/253.04	c iter 520 time 249.271 not-muc 187491 unknown 97423 muc 490
253.00/253.04	c iter 521 time 249.374 not-muc 187491 unknown 97422 muc 491
253.00/253.04	c iter 522 time 249.481 not-muc 187491 unknown 97421 muc 492
253.00/253.04	c iter 523 time 249.587 not-muc 187491 unknown 97420 muc 493
253.00/253.04	c iter 524 time 249.997 not-muc 187491 unknown 97419 muc 494
253.00/253.04	c iter 525 time 250.148 not-muc 187491 unknown 97418 muc 495
253.00/253.04	c iter 526 time 250.268 not-muc 187491 unknown 97417 muc 496
253.00/253.04	c iter 527 time 250.381 not-muc 187491 unknown 97416 muc 497
253.00/253.04	c iter 528 time 250.521 not-muc 187491 unknown 97415 muc 498
253.00/253.04	c iter 529 time 250.662 not-muc 187491 unknown 97414 muc 499
253.00/253.04	c iter 530 time 250.781 not-muc 187491 unknown 97413 muc 500
253.00/253.04	c iter 531 time 251.433 not-muc 187493 unknown 97411 muc 500
253.00/253.04	c iter 532 time 251.5 not-muc 187493 unknown 97410 muc 501
253.00/253.04	c iter 533 time 251.622 not-muc 187524 unknown 97379 muc 501
253.00/253.04	c iter 534 time 251.688 not-muc 187524 unknown 97378 muc 502
253.00/253.04	c iter 535 time 251.767 not-muc 187524 unknown 97377 muc 503
265.60/265.65	c iter 536 time 252.049 not-muc 187524 unknown 97376 muc 504
265.60/265.65	c iter 537 time 252.17 not-muc 187524 unknown 97375 muc 505
265.60/265.65	c iter 538 time 252.32 not-muc 187524 unknown 97374 muc 506
265.60/265.65	c iter 539 time 252.401 not-muc 187524 unknown 97373 muc 507
265.60/265.65	c iter 540 time 252.483 not-muc 187524 unknown 97372 muc 508
265.60/265.65	c iter 541 time 252.596 not-muc 187524 unknown 97371 muc 509
265.60/265.65	c iter 542 time 252.717 not-muc 187524 unknown 97370 muc 510
265.60/265.65	c iter 543 time 252.805 not-muc 187524 unknown 97369 muc 511
265.60/265.65	c iter 544 time 252.89 not-muc 187524 unknown 97368 muc 512
265.60/265.65	c iter 545 time 252.999 not-muc 187524 unknown 97367 muc 513
265.60/265.65	c iter 546 time 253.14 not-muc 187524 unknown 97366 muc 514
265.60/265.65	c iter 547 time 253.248 not-muc 187524 unknown 97365 muc 515
265.60/265.65	c iter 548 time 253.354 not-muc 187524 unknown 97364 muc 516
265.60/265.65	c iter 549 time 253.496 not-muc 187524 unknown 97363 muc 517
265.60/265.65	c iter 550 time 253.661 not-muc 187524 unknown 97362 muc 518
265.60/265.65	c iter 551 time 253.78 not-muc 187524 unknown 97361 muc 519
265.60/265.65	c iter 552 time 253.89 not-muc 187524 unknown 97360 muc 520
265.60/265.65	c iter 553 time 254.051 not-muc 187524 unknown 97359 muc 521
265.60/265.65	c iter 554 time 254.171 not-muc 187524 unknown 97358 muc 522
265.60/265.65	c iter 555 time 254.356 not-muc 187524 unknown 97357 muc 523
265.60/265.65	c iter 556 time 254.476 not-muc 187524 unknown 97356 muc 524
265.60/265.65	c iter 557 time 254.626 not-muc 187524 unknown 97355 muc 525
265.60/265.65	c iter 558 time 254.817 not-muc 187524 unknown 97354 muc 526
265.60/265.65	c iter 559 time 254.984 not-muc 187524 unknown 97353 muc 527
265.60/265.65	c iter 560 time 255.23 not-muc 187524 unknown 97352 muc 528
265.60/265.65	c iter 561 time 255.322 not-muc 187524 unknown 97351 muc 529
265.60/265.65	c iter 562 time 255.512 not-muc 187524 unknown 97350 muc 530
265.60/265.65	c iter 563 time 255.693 not-muc 187524 unknown 97349 muc 531
265.60/265.65	c iter 564 time 255.822 not-muc 187524 unknown 97348 muc 532
265.60/265.65	c iter 565 time 256.002 not-muc 187524 unknown 97347 muc 533
265.60/265.65	c iter 566 time 256.204 not-muc 187524 unknown 97346 muc 534
265.60/265.65	c iter 567 time 256.382 not-muc 187524 unknown 97345 muc 535
265.60/265.65	c iter 568 time 256.515 not-muc 187524 unknown 97344 muc 536
265.60/265.65	c iter 569 time 256.695 not-muc 187524 unknown 97343 muc 537
265.60/265.65	c iter 570 time 256.903 not-muc 187524 unknown 97342 muc 538
265.60/265.65	c iter 571 time 257.083 not-muc 187524 unknown 97341 muc 539
265.60/265.65	c iter 572 time 257.251 not-muc 187524 unknown 97340 muc 540
265.60/265.65	c iter 573 time 257.48 not-muc 187524 unknown 97339 muc 541
265.60/265.65	c iter 574 time 257.704 not-muc 187524 unknown 97338 muc 542
265.60/265.65	c iter 575 time 257.915 not-muc 187524 unknown 97337 muc 543
265.60/265.65	c iter 576 time 258.101 not-muc 187524 unknown 97336 muc 544
265.60/265.65	c iter 577 time 258.346 not-muc 187524 unknown 97335 muc 545
265.60/265.65	c iter 578 time 258.627 not-muc 187524 unknown 97334 muc 546
265.60/265.65	c iter 579 time 258.81 not-muc 187524 unknown 97333 muc 547
265.60/265.65	c iter 580 time 259.041 not-muc 187524 unknown 97332 muc 548
265.60/265.65	c iter 581 time 259.225 not-muc 187524 unknown 97331 muc 549
265.60/265.65	c iter 582 time 259.468 not-muc 187524 unknown 97330 muc 550
265.60/265.65	c iter 583 time 259.754 not-muc 187524 unknown 97329 muc 551
265.60/265.65	c iter 584 time 259.987 not-muc 187524 unknown 97328 muc 552
265.60/265.65	c iter 585 time 260.196 not-muc 187524 unknown 97327 muc 553
265.60/265.65	c iter 586 time 260.455 not-muc 187524 unknown 97326 muc 554
265.60/265.65	c iter 587 time 260.949 not-muc 187525 unknown 97325 muc 554
265.60/265.65	c iter 588 time 261.012 not-muc 187525 unknown 97324 muc 555
265.60/265.65	c iter 589 time 261.201 not-muc 187525 unknown 97323 muc 556
265.60/265.65	c iter 590 time 261.379 not-muc 187525 unknown 97322 muc 557
265.60/265.65	c iter 591 time 261.581 not-muc 187525 unknown 97321 muc 558
265.60/265.65	c iter 592 time 261.853 not-muc 187525 unknown 97320 muc 559
265.60/265.65	c iter 593 time 262.718 not-muc 187534 unknown 97311 muc 559
265.60/265.65	c iter 594 time 262.979 not-muc 187534 unknown 97310 muc 560
265.60/265.65	c iter 595 time 263.126 not-muc 187534 unknown 97309 muc 561
265.60/265.65	c iter 596 time 263.268 not-muc 187534 unknown 97308 muc 562
265.60/265.65	c iter 597 time 263.407 not-muc 187534 unknown 97307 muc 563
265.60/265.65	c iter 598 time 263.498 not-muc 187534 unknown 97306 muc 564
265.60/265.65	c iter 599 time 263.631 not-muc 187534 unknown 97305 muc 565
265.60/265.65	c iter 600 time 264.076 not-muc 187537 unknown 97302 muc 565
265.60/265.65	c iter 601 time 264.145 not-muc 187537 unknown 97301 muc 566
265.60/265.65	c iter 602 time 264.257 not-muc 187537 unknown 97300 muc 567
265.60/265.65	c iter 603 time 264.364 not-muc 187537 unknown 97299 muc 568
276.30/276.35	c iter 604 time 264.486 not-muc 187537 unknown 97298 muc 569
276.30/276.35	c iter 605 time 264.555 not-muc 187537 unknown 97297 muc 570
276.30/276.35	c iter 606 time 264.614 not-muc 187537 unknown 97296 muc 571
276.30/276.35	c iter 607 time 264.677 not-muc 187537 unknown 97295 muc 572
276.30/276.35	c iter 608 time 264.727 not-muc 187537 unknown 97294 muc 573
276.30/276.35	c iter 609 time 264.794 not-muc 187537 unknown 97293 muc 574
276.30/276.35	c iter 610 time 264.862 not-muc 187537 unknown 97292 muc 575
276.30/276.35	c iter 611 time 264.934 not-muc 187537 unknown 97291 muc 576
276.30/276.35	c iter 612 time 265.007 not-muc 187537 unknown 97290 muc 577
276.30/276.35	c iter 613 time 265.086 not-muc 187537 unknown 97289 muc 578
276.30/276.35	c iter 614 time 265.166 not-muc 187537 unknown 97288 muc 579
276.30/276.35	c iter 615 time 265.249 not-muc 187537 unknown 97287 muc 580
276.30/276.35	c iter 616 time 265.316 not-muc 187537 unknown 97286 muc 581
276.30/276.35	c iter 617 time 265.42 not-muc 187537 unknown 97285 muc 582
276.30/276.35	c iter 618 time 265.496 not-muc 187537 unknown 97284 muc 583
276.30/276.35	c iter 619 time 266.66 not-muc 187653 unknown 97168 muc 583
276.30/276.35	c iter 620 time 268.319 not-muc 188457 unknown 96364 muc 583
276.30/276.35	c iter 621 time 268.381 not-muc 188457 unknown 96363 muc 584
276.30/276.35	c iter 622 time 268.436 not-muc 188457 unknown 96362 muc 585
276.30/276.35	c iter 623 time 268.49 not-muc 188457 unknown 96361 muc 586
276.30/276.35	c iter 624 time 268.545 not-muc 188457 unknown 96360 muc 587
276.30/276.35	c iter 625 time 268.602 not-muc 188457 unknown 96359 muc 588
276.30/276.35	c iter 626 time 268.659 not-muc 188457 unknown 96358 muc 589
276.30/276.35	c iter 627 time 269.186 not-muc 188457 unknown 96357 muc 590
276.30/276.35	c iter 628 time 269.265 not-muc 188457 unknown 96356 muc 591
276.30/276.35	c iter 629 time 269.389 not-muc 188457 unknown 96355 muc 592
276.30/276.35	c iter 630 time 269.446 not-muc 188457 unknown 96354 muc 593
276.30/276.35	c iter 631 time 269.509 not-muc 188457 unknown 96353 muc 594
276.30/276.35	c iter 632 time 269.571 not-muc 188457 unknown 96352 muc 595
276.30/276.35	c iter 633 time 269.631 not-muc 188457 unknown 96351 muc 596
276.30/276.35	c iter 634 time 269.698 not-muc 188457 unknown 96350 muc 597
276.30/276.35	c iter 635 time 269.768 not-muc 188457 unknown 96349 muc 598
276.30/276.35	c iter 636 time 269.839 not-muc 188457 unknown 96348 muc 599
276.30/276.35	c iter 637 time 269.913 not-muc 188457 unknown 96347 muc 600
276.30/276.35	c iter 638 time 269.991 not-muc 188457 unknown 96346 muc 601
276.30/276.35	c iter 639 time 270.071 not-muc 188457 unknown 96345 muc 602
276.30/276.35	c iter 640 time 270.157 not-muc 188457 unknown 96344 muc 603
276.30/276.35	c iter 641 time 270.241 not-muc 188457 unknown 96343 muc 604
276.30/276.35	c iter 642 time 270.355 not-muc 188457 unknown 96342 muc 605
276.30/276.35	c iter 643 time 270.457 not-muc 188457 unknown 96341 muc 606
276.30/276.35	c iter 644 time 270.536 not-muc 188457 unknown 96340 muc 607
276.30/276.35	c iter 645 time 270.618 not-muc 188457 unknown 96339 muc 608
276.30/276.35	c iter 646 time 270.701 not-muc 188457 unknown 96338 muc 609
276.30/276.35	c iter 647 time 270.793 not-muc 188457 unknown 96337 muc 610
276.30/276.35	c iter 648 time 270.881 not-muc 188457 unknown 96336 muc 611
276.30/276.35	c iter 649 time 270.987 not-muc 188457 unknown 96335 muc 612
276.30/276.35	c iter 650 time 271.083 not-muc 188457 unknown 96334 muc 613
276.30/276.35	c iter 651 time 271.172 not-muc 188457 unknown 96333 muc 614
276.30/276.35	c iter 652 time 271.259 not-muc 188457 unknown 96332 muc 615
276.30/276.35	c iter 653 time 271.348 not-muc 188457 unknown 96331 muc 616
276.30/276.35	c iter 654 time 271.561 not-muc 188457 unknown 96330 muc 617
276.30/276.35	c iter 655 time 271.736 not-muc 188457 unknown 96329 muc 618
276.30/276.35	c iter 656 time 271.884 not-muc 188457 unknown 96328 muc 619
276.30/276.35	c iter 657 time 272.03 not-muc 188457 unknown 96327 muc 620
276.30/276.35	c iter 658 time 272.227 not-muc 188457 unknown 96326 muc 621
276.30/276.35	c iter 659 time 272.397 not-muc 188457 unknown 96325 muc 622
276.30/276.35	c iter 660 time 272.656 not-muc 188457 unknown 96324 muc 623
276.30/276.35	c iter 661 time 272.85 not-muc 188457 unknown 96323 muc 624
276.30/276.35	c iter 662 time 272.957 not-muc 188457 unknown 96322 muc 625
276.30/276.35	c iter 663 time 273.076 not-muc 188457 unknown 96321 muc 626
276.30/276.35	c iter 664 time 273.243 not-muc 188457 unknown 96320 muc 627
276.30/276.35	c iter 665 time 273.326 not-muc 188457 unknown 96319 muc 628
276.30/276.35	c iter 666 time 273.433 not-muc 188457 unknown 96318 muc 629
276.30/276.35	c iter 667 time 274.78 not-muc 188530 unknown 96245 muc 629
276.30/276.35	c iter 668 time 274.846 not-muc 188530 unknown 96244 muc 630
276.30/276.35	c iter 669 time 274.92 not-muc 188530 unknown 96243 muc 631
276.30/276.35	c iter 670 time 275.031 not-muc 188530 unknown 96242 muc 632
291.99/292.02	c iter 671 time 275.152 not-muc 188530 unknown 96241 muc 633
291.99/292.02	c iter 672 time 275.275 not-muc 188530 unknown 96240 muc 634
291.99/292.02	c iter 673 time 275.401 not-muc 188530 unknown 96239 muc 635
291.99/292.02	c iter 674 time 275.519 not-muc 188530 unknown 96238 muc 636
291.99/292.02	c iter 675 time 275.64 not-muc 188530 unknown 96237 muc 637
291.99/292.02	c iter 676 time 275.769 not-muc 188530 unknown 96236 muc 638
291.99/292.02	c iter 677 time 275.902 not-muc 188530 unknown 96235 muc 639
291.99/292.02	c iter 678 time 276.026 not-muc 188530 unknown 96234 muc 640
291.99/292.02	c iter 679 time 276.16 not-muc 188530 unknown 96233 muc 641
291.99/292.02	c iter 680 time 276.296 not-muc 188530 unknown 96232 muc 642
291.99/292.02	c iter 681 time 276.437 not-muc 188530 unknown 96231 muc 643
291.99/292.02	c iter 682 time 276.586 not-muc 188530 unknown 96230 muc 644
291.99/292.02	c iter 683 time 276.704 not-muc 188530 unknown 96229 muc 645
291.99/292.02	c iter 684 time 276.807 not-muc 188530 unknown 96228 muc 646
291.99/292.02	c iter 685 time 276.912 not-muc 188530 unknown 96227 muc 647
291.99/292.02	c iter 686 time 277.02 not-muc 188530 unknown 96226 muc 648
291.99/292.02	c iter 687 time 277.137 not-muc 188530 unknown 96225 muc 649
291.99/292.02	c iter 688 time 277.256 not-muc 188530 unknown 96224 muc 650
291.99/292.02	c iter 689 time 277.369 not-muc 188530 unknown 96223 muc 651
291.99/292.02	c iter 690 time 277.491 not-muc 188530 unknown 96222 muc 652
291.99/292.02	c iter 691 time 277.641 not-muc 188530 unknown 96221 muc 653
291.99/292.02	c iter 692 time 277.722 not-muc 188530 unknown 96220 muc 654
291.99/292.02	c iter 693 time 277.846 not-muc 188530 unknown 96219 muc 655
291.99/292.02	c iter 694 time 277.971 not-muc 188530 unknown 96218 muc 656
291.99/292.02	c iter 695 time 278.097 not-muc 188530 unknown 96217 muc 657
291.99/292.02	c iter 696 time 278.26 not-muc 188530 unknown 96216 muc 658
291.99/292.02	c iter 697 time 278.408 not-muc 188530 unknown 96215 muc 659
291.99/292.02	c iter 698 time 278.539 not-muc 188530 unknown 96214 muc 660
291.99/292.02	c iter 699 time 278.663 not-muc 188530 unknown 96213 muc 661
291.99/292.02	c iter 700 time 278.788 not-muc 188530 unknown 96212 muc 662
291.99/292.02	c iter 701 time 278.914 not-muc 188530 unknown 96211 muc 663
291.99/292.02	c iter 702 time 279.044 not-muc 188530 unknown 96210 muc 664
291.99/292.02	c iter 703 time 279.405 not-muc 188530 unknown 96209 muc 665
291.99/292.02	c iter 704 time 279.547 not-muc 188530 unknown 96208 muc 666
291.99/292.02	c iter 705 time 279.773 not-muc 188530 unknown 96207 muc 667
291.99/292.02	c iter 706 time 279.95 not-muc 188530 unknown 96206 muc 668
291.99/292.02	c iter 707 time 280.152 not-muc 188530 unknown 96205 muc 669
291.99/292.02	c iter 708 time 280.358 not-muc 188530 unknown 96204 muc 670
291.99/292.02	c iter 709 time 280.561 not-muc 188530 unknown 96203 muc 671
291.99/292.02	c iter 710 time 280.802 not-muc 188530 unknown 96202 muc 672
291.99/292.02	c iter 711 time 281.031 not-muc 188530 unknown 96201 muc 673
291.99/292.02	c iter 712 time 281.303 not-muc 188530 unknown 96200 muc 674
291.99/292.02	c iter 713 time 281.397 not-muc 188530 unknown 96199 muc 675
291.99/292.02	c iter 714 time 281.515 not-muc 188530 unknown 96198 muc 676
291.99/292.02	c iter 715 time 281.637 not-muc 188530 unknown 96197 muc 677
291.99/292.02	c iter 716 time 281.772 not-muc 188530 unknown 96196 muc 678
291.99/292.02	c iter 717 time 281.909 not-muc 188530 unknown 96195 muc 679
291.99/292.02	c iter 718 time 282.043 not-muc 188530 unknown 96194 muc 680
291.99/292.02	c iter 719 time 282.187 not-muc 188530 unknown 96193 muc 681
291.99/292.02	c iter 720 time 282.336 not-muc 188530 unknown 96192 muc 682
291.99/292.02	c iter 721 time 282.498 not-muc 188530 unknown 96191 muc 683
291.99/292.02	c iter 722 time 282.632 not-muc 188530 unknown 96190 muc 684
291.99/292.02	c iter 723 time 282.794 not-muc 188530 unknown 96189 muc 685
291.99/292.02	c iter 724 time 287.389 not-muc 189085 unknown 95634 muc 685
291.99/292.02	c iter 725 time 289.15 not-muc 189572 unknown 95147 muc 685
291.99/292.02	c iter 726 time 289.198 not-muc 189572 unknown 95146 muc 686
291.99/292.02	c iter 727 time 289.27 not-muc 189572 unknown 95145 muc 687
291.99/292.02	c iter 728 time 289.344 not-muc 189572 unknown 95144 muc 688
291.99/292.02	c iter 729 time 289.421 not-muc 189572 unknown 95143 muc 689
291.99/292.02	c iter 730 time 289.502 not-muc 189572 unknown 95142 muc 690
291.99/292.02	c iter 731 time 289.584 not-muc 189572 unknown 95141 muc 691
291.99/292.02	c iter 732 time 289.848 not-muc 189572 unknown 95140 muc 692
291.99/292.02	c iter 733 time 289.937 not-muc 189572 unknown 95139 muc 693
291.99/292.02	c iter 734 time 290.099 not-muc 189572 unknown 95138 muc 694
291.99/292.02	c iter 735 time 290.18 not-muc 189572 unknown 95137 muc 695
291.99/292.02	c iter 736 time 290.489 not-muc 189572 unknown 95136 muc 696
291.99/292.02	c iter 737 time 290.628 not-muc 189572 unknown 95135 muc 697
299.70/299.74	c iter 738 time 290.719 not-muc 189572 unknown 95134 muc 698
299.70/299.74	c iter 739 time 290.831 not-muc 189572 unknown 95133 muc 699
299.70/299.74	c iter 740 time 290.951 not-muc 189572 unknown 95132 muc 700
299.70/299.74	c iter 741 time 291.079 not-muc 189572 unknown 95131 muc 701
299.70/299.74	c iter 742 time 291.209 not-muc 189572 unknown 95130 muc 702
299.70/299.74	c iter 743 time 291.337 not-muc 189572 unknown 95129 muc 703
299.70/299.74	c iter 744 time 291.478 not-muc 189572 unknown 95128 muc 704
299.70/299.74	c iter 745 time 291.622 not-muc 189572 unknown 95127 muc 705
299.70/299.74	c iter 746 time 291.761 not-muc 189572 unknown 95126 muc 706
299.70/299.74	c iter 747 time 291.914 not-muc 189572 unknown 95125 muc 707
299.70/299.74	c iter 748 time 292.079 not-muc 189572 unknown 95124 muc 708
299.70/299.74	c iter 749 time 292.162 not-muc 189572 unknown 95123 muc 709
299.70/299.74	c iter 750 time 292.246 not-muc 189572 unknown 95122 muc 710
299.70/299.74	c iter 751 time 292.327 not-muc 189572 unknown 95121 muc 711
299.70/299.74	c iter 752 time 292.408 not-muc 189572 unknown 95120 muc 712
299.70/299.74	c iter 753 time 292.491 not-muc 189572 unknown 95119 muc 713
299.70/299.74	c iter 754 time 292.585 not-muc 189572 unknown 95118 muc 714
299.70/299.74	c iter 755 time 292.667 not-muc 189572 unknown 95117 muc 715
299.70/299.74	c iter 756 time 292.748 not-muc 189572 unknown 95116 muc 716
299.70/299.74	c iter 757 time 292.834 not-muc 189572 unknown 95115 muc 717
299.70/299.74	c iter 758 time 292.917 not-muc 189572 unknown 95114 muc 718
299.70/299.74	c iter 759 time 293.005 not-muc 189572 unknown 95113 muc 719
299.70/299.74	c iter 760 time 293.095 not-muc 189572 unknown 95112 muc 720
299.70/299.74	c iter 761 time 293.184 not-muc 189572 unknown 95111 muc 721
299.70/299.74	c iter 762 time 293.274 not-muc 189572 unknown 95110 muc 722
299.70/299.74	c iter 763 time 293.44 not-muc 189572 unknown 95109 muc 723
299.70/299.74	c iter 764 time 293.541 not-muc 189572 unknown 95108 muc 724
299.70/299.74	c iter 765 time 293.662 not-muc 189572 unknown 95107 muc 725
299.70/299.74	c iter 766 time 294.015 not-muc 189572 unknown 95106 muc 726
299.70/299.74	c iter 767 time 294.188 not-muc 189572 unknown 95105 muc 727
299.70/299.74	c iter 768 time 294.497 not-muc 189572 unknown 95104 muc 728
299.70/299.74	c iter 769 time 294.71 not-muc 189572 unknown 95103 muc 729
299.70/299.74	c iter 770 time 294.851 not-muc 189572 unknown 95102 muc 730
299.70/299.74	c iter 771 time 294.994 not-muc 189572 unknown 95101 muc 731
299.70/299.74	c iter 772 time 295.687 not-muc 189574 unknown 95099 muc 731
299.70/299.74	c iter 773 time 295.734 not-muc 189574 unknown 95098 muc 732
299.70/299.74	c iter 774 time 295.781 not-muc 189574 unknown 95097 muc 733
299.70/299.74	c iter 775 time 295.866 not-muc 189574 unknown 95096 muc 734
299.70/299.74	c iter 776 time 295.956 not-muc 189574 unknown 95095 muc 735
299.70/299.74	c iter 777 time 296.041 not-muc 189574 unknown 95094 muc 736
299.70/299.74	c iter 778 time 296.132 not-muc 189574 unknown 95093 muc 737
299.70/299.74	c iter 779 time 296.223 not-muc 189574 unknown 95092 muc 738
299.70/299.74	c iter 780 time 296.31 not-muc 189574 unknown 95091 muc 739
299.70/299.74	c iter 781 time 296.396 not-muc 189574 unknown 95090 muc 740
299.70/299.74	c iter 782 time 296.483 not-muc 189574 unknown 95089 muc 741
299.70/299.74	c iter 783 time 296.571 not-muc 189574 unknown 95088 muc 742
299.70/299.74	c iter 784 time 296.665 not-muc 189574 unknown 95087 muc 743
299.70/299.74	c iter 785 time 296.758 not-muc 189574 unknown 95086 muc 744
299.70/299.74	c iter 786 time 296.849 not-muc 189574 unknown 95085 muc 745
299.70/299.74	c iter 787 time 296.907 not-muc 189574 unknown 95084 muc 746
299.70/299.74	c iter 788 time 296.962 not-muc 189574 unknown 95083 muc 747
299.70/299.74	c iter 789 time 297.015 not-muc 189574 unknown 95082 muc 748
299.70/299.74	c iter 790 time 297.069 not-muc 189574 unknown 95081 muc 749
299.70/299.74	c iter 791 time 297.124 not-muc 189574 unknown 95080 muc 750
299.70/299.74	c iter 792 time 297.178 not-muc 189574 unknown 95079 muc 751
299.70/299.74	c iter 793 time 297.232 not-muc 189574 unknown 95078 muc 752
299.70/299.74	c iter 794 time 297.285 not-muc 189574 unknown 95077 muc 753
299.70/299.74	c iter 795 time 297.34 not-muc 189574 unknown 95076 muc 754
299.70/299.74	c iter 796 time 297.407 not-muc 189574 unknown 95075 muc 755
299.70/299.74	c iter 797 time 297.47 not-muc 189574 unknown 95074 muc 756
299.70/299.74	c iter 798 time 297.589 not-muc 189574 unknown 95073 muc 757
299.70/299.74	c iter 799 time 297.718 not-muc 189574 unknown 95072 muc 758
299.70/299.74	c iter 800 time 297.839 not-muc 189574 unknown 95071 muc 759
299.70/299.74	c iter 801 time 297.986 not-muc 189574 unknown 95070 muc 760
299.70/299.74	c iter 802 time 298.06 not-muc 189574 unknown 95069 muc 761
299.70/299.74	c iter 803 time 298.198 not-muc 189574 unknown 95068 muc 762
299.70/299.74	c iter 804 time 298.341 not-muc 189574 unknown 95067 muc 763
310.30/310.34	c iter 805 time 298.487 not-muc 189574 unknown 95066 muc 764
310.30/310.34	c iter 806 time 298.635 not-muc 189574 unknown 95065 muc 765
310.30/310.34	c iter 807 time 298.775 not-muc 189574 unknown 95064 muc 766
310.30/310.34	c iter 808 time 298.93 not-muc 189574 unknown 95063 muc 767
310.30/310.34	c iter 809 time 299.093 not-muc 189574 unknown 95062 muc 768
310.30/310.34	c iter 810 time 299.251 not-muc 189574 unknown 95061 muc 769
310.30/310.34	c iter 811 time 299.309 not-muc 189574 unknown 95060 muc 770
310.30/310.34	c iter 812 time 299.372 not-muc 189574 unknown 95059 muc 771
310.30/310.34	c iter 813 time 299.45 not-muc 189574 unknown 95058 muc 772
310.30/310.34	c iter 814 time 299.507 not-muc 189574 unknown 95057 muc 773
310.30/310.34	c iter 815 time 299.672 not-muc 189574 unknown 95056 muc 774
310.30/310.34	c iter 816 time 299.763 not-muc 189574 unknown 95055 muc 775
310.30/310.34	c iter 817 time 299.932 not-muc 189574 unknown 95054 muc 776
310.30/310.34	c iter 818 time 300.027 not-muc 189574 unknown 95053 muc 777
310.30/310.34	c iter 819 time 300.311 not-muc 189574 unknown 95052 muc 778
310.30/310.34	c iter 820 time 300.419 not-muc 189574 unknown 95051 muc 779
310.30/310.34	c iter 821 time 300.544 not-muc 189574 unknown 95050 muc 780
310.30/310.34	c iter 822 time 300.647 not-muc 189574 unknown 95049 muc 781
310.30/310.34	c iter 823 time 300.754 not-muc 189574 unknown 95048 muc 782
310.30/310.34	c iter 824 time 300.86 not-muc 189574 unknown 95047 muc 783
310.30/310.34	c iter 825 time 300.97 not-muc 189574 unknown 95046 muc 784
310.30/310.34	c iter 826 time 301.083 not-muc 189574 unknown 95045 muc 785
310.30/310.34	c iter 827 time 301.154 not-muc 189574 unknown 95044 muc 786
310.30/310.34	c iter 828 time 301.238 not-muc 189574 unknown 95043 muc 787
310.30/310.34	c iter 829 time 303.138 not-muc 189581 unknown 95036 muc 787
310.30/310.34	c iter 830 time 304.492 not-muc 189663 unknown 94954 muc 787
310.30/310.34	c iter 831 time 304.54 not-muc 189663 unknown 94953 muc 788
310.30/310.34	c iter 832 time 304.583 not-muc 189663 unknown 94952 muc 789
310.30/310.34	c iter 833 time 304.625 not-muc 189663 unknown 94951 muc 790
310.30/310.34	c iter 834 time 304.668 not-muc 189663 unknown 94950 muc 791
310.30/310.34	c iter 835 time 304.711 not-muc 189663 unknown 94949 muc 792
310.30/310.34	c iter 836 time 304.754 not-muc 189663 unknown 94948 muc 793
310.30/310.34	c iter 837 time 305.389 not-muc 189663 unknown 94947 muc 794
310.30/310.34	c iter 838 time 305.446 not-muc 189663 unknown 94946 muc 795
310.30/310.34	c iter 839 time 305.694 not-muc 189663 unknown 94945 muc 796
310.30/310.34	c iter 840 time 305.756 not-muc 189663 unknown 94944 muc 797
310.30/310.34	c iter 841 time 305.85 not-muc 189663 unknown 94943 muc 798
310.30/310.34	c iter 842 time 305.912 not-muc 189663 unknown 94942 muc 799
310.30/310.34	c iter 843 time 305.973 not-muc 189663 unknown 94941 muc 800
310.30/310.34	c iter 844 time 306.032 not-muc 189663 unknown 94940 muc 801
310.30/310.34	c iter 845 time 306.1 not-muc 189663 unknown 94939 muc 802
310.30/310.34	c iter 846 time 306.172 not-muc 189663 unknown 94938 muc 803
310.30/310.34	c iter 847 time 306.248 not-muc 189663 unknown 94937 muc 804
310.30/310.34	c iter 848 time 306.325 not-muc 189663 unknown 94936 muc 805
310.30/310.34	c iter 849 time 306.406 not-muc 189663 unknown 94935 muc 806
310.30/310.34	c iter 850 time 306.497 not-muc 189663 unknown 94934 muc 807
310.30/310.34	c iter 851 time 306.593 not-muc 189663 unknown 94933 muc 808
310.30/310.34	c iter 852 time 306.711 not-muc 189663 unknown 94932 muc 809
310.30/310.34	c iter 853 time 306.811 not-muc 189663 unknown 94931 muc 810
310.30/310.34	c iter 854 time 306.868 not-muc 189663 unknown 94930 muc 811
310.30/310.34	c iter 855 time 306.927 not-muc 189663 unknown 94929 muc 812
310.30/310.34	c iter 856 time 306.987 not-muc 189663 unknown 94928 muc 813
310.30/310.34	c iter 857 time 307.047 not-muc 189663 unknown 94927 muc 814
310.30/310.34	c iter 858 time 307.108 not-muc 189663 unknown 94926 muc 815
310.30/310.34	c iter 859 time 307.172 not-muc 189663 unknown 94925 muc 816
310.30/310.34	c iter 860 time 307.237 not-muc 189663 unknown 94924 muc 817
310.30/310.34	c iter 861 time 307.305 not-muc 189663 unknown 94923 muc 818
310.30/310.34	c iter 862 time 307.366 not-muc 189663 unknown 94922 muc 819
310.30/310.34	c iter 863 time 307.428 not-muc 189663 unknown 94921 muc 820
310.30/310.34	c iter 864 time 307.493 not-muc 189663 unknown 94920 muc 821
310.30/310.34	c iter 865 time 307.558 not-muc 189663 unknown 94919 muc 822
310.30/310.34	c iter 866 time 307.624 not-muc 189663 unknown 94918 muc 823
310.30/310.34	c iter 867 time 307.692 not-muc 189663 unknown 94917 muc 824
310.30/310.34	c iter 868 time 307.743 not-muc 189663 unknown 94916 muc 825
310.30/310.34	c iter 869 time 307.905 not-muc 189663 unknown 94915 muc 826
310.30/310.34	c iter 870 time 308.004 not-muc 189663 unknown 94914 muc 827
310.30/310.34	c iter 871 time 308.119 not-muc 189663 unknown 94913 muc 828
310.30/310.34	c iter 872 time 308.899 not-muc 189714 unknown 94862 muc 828
328.39/328.46	c iter 873 time 309.01 not-muc 189714 unknown 94861 muc 829
328.39/328.46	c iter 874 time 309.107 not-muc 189714 unknown 94860 muc 830
328.39/328.46	c iter 875 time 309.535 not-muc 189714 unknown 94859 muc 831
328.39/328.46	c iter 876 time 309.597 not-muc 189714 unknown 94858 muc 832
328.39/328.46	c iter 877 time 309.65 not-muc 189714 unknown 94857 muc 833
328.39/328.46	c iter 878 time 309.881 not-muc 189716 unknown 94855 muc 833
328.39/328.46	c iter 879 time 309.955 not-muc 189716 unknown 94854 muc 834
328.39/328.46	c iter 880 time 310.24 not-muc 189716 unknown 94853 muc 835
328.39/328.46	c iter 881 time 310.371 not-muc 189716 unknown 94852 muc 836
328.39/328.46	c iter 882 time 310.489 not-muc 189716 unknown 94851 muc 837
328.39/328.46	c iter 883 time 310.617 not-muc 189716 unknown 94850 muc 838
328.39/328.46	c iter 884 time 310.748 not-muc 189716 unknown 94849 muc 839
328.39/328.46	c iter 885 time 310.886 not-muc 189716 unknown 94848 muc 840
328.39/328.46	c iter 886 time 311.031 not-muc 189716 unknown 94847 muc 841
328.39/328.46	c iter 887 time 311.173 not-muc 189716 unknown 94846 muc 842
328.39/328.46	c iter 888 time 311.318 not-muc 189716 unknown 94845 muc 843
328.39/328.46	c iter 889 time 311.469 not-muc 189716 unknown 94844 muc 844
328.39/328.46	c iter 890 time 311.637 not-muc 189716 unknown 94843 muc 845
328.39/328.46	c iter 891 time 311.812 not-muc 189716 unknown 94842 muc 846
328.39/328.46	c iter 892 time 311.992 not-muc 189716 unknown 94841 muc 847
328.39/328.46	c iter 893 time 312.193 not-muc 189716 unknown 94840 muc 848
328.39/328.46	c iter 894 time 312.319 not-muc 189716 unknown 94839 muc 849
328.39/328.46	c iter 895 time 312.44 not-muc 189716 unknown 94838 muc 850
328.39/328.46	c iter 896 time 312.563 not-muc 189716 unknown 94837 muc 851
328.39/328.46	c iter 897 time 312.69 not-muc 189716 unknown 94836 muc 852
328.39/328.46	c iter 898 time 312.82 not-muc 189716 unknown 94835 muc 853
328.39/328.46	c iter 899 time 312.953 not-muc 189716 unknown 94834 muc 854
328.39/328.46	c iter 900 time 313.093 not-muc 189716 unknown 94833 muc 855
328.39/328.46	c iter 901 time 313.237 not-muc 189716 unknown 94832 muc 856
328.39/328.46	c iter 902 time 313.394 not-muc 189716 unknown 94831 muc 857
328.39/328.46	c iter 903 time 313.486 not-muc 189716 unknown 94830 muc 858
328.39/328.46	c iter 904 time 313.678 not-muc 189716 unknown 94829 muc 859
328.39/328.46	c iter 905 time 313.862 not-muc 189716 unknown 94828 muc 860
328.39/328.46	c iter 906 time 314.053 not-muc 189716 unknown 94827 muc 861
328.39/328.46	c iter 907 time 314.269 not-muc 189716 unknown 94826 muc 862
328.39/328.46	c iter 908 time 314.397 not-muc 189716 unknown 94825 muc 863
328.39/328.46	c iter 909 time 314.623 not-muc 189716 unknown 94824 muc 864
328.39/328.46	c iter 910 time 314.836 not-muc 189716 unknown 94823 muc 865
328.39/328.46	c iter 911 time 315.053 not-muc 189716 unknown 94822 muc 866
328.39/328.46	c iter 912 time 315.292 not-muc 189716 unknown 94821 muc 867
328.39/328.46	c iter 913 time 315.544 not-muc 189716 unknown 94820 muc 868
328.39/328.46	c iter 914 time 315.786 not-muc 189716 unknown 94819 muc 869
328.39/328.46	c iter 915 time 316.039 not-muc 189716 unknown 94818 muc 870
328.39/328.46	c iter 916 time 316.346 not-muc 189716 unknown 94817 muc 871
328.39/328.46	c iter 917 time 316.486 not-muc 189716 unknown 94816 muc 872
328.39/328.46	c iter 918 time 316.644 not-muc 189716 unknown 94815 muc 873
328.39/328.46	c iter 919 time 316.789 not-muc 189716 unknown 94814 muc 874
328.39/328.46	c iter 920 time 316.892 not-muc 189716 unknown 94813 muc 875
328.39/328.46	c iter 921 time 317.099 not-muc 189716 unknown 94812 muc 876
328.39/328.46	c iter 922 time 317.31 not-muc 189716 unknown 94811 muc 877
328.39/328.46	c iter 923 time 317.512 not-muc 189716 unknown 94810 muc 878
328.39/328.46	c iter 924 time 317.705 not-muc 189716 unknown 94809 muc 879
328.39/328.46	c iter 925 time 317.9 not-muc 189716 unknown 94808 muc 880
328.39/328.46	c iter 926 time 318.276 not-muc 189716 unknown 94807 muc 881
328.39/328.46	c iter 927 time 318.555 not-muc 189716 unknown 94806 muc 882
328.39/328.46	c iter 928 time 319.381 not-muc 189716 unknown 94805 muc 883
328.39/328.46	c iter 929 time 319.753 not-muc 189716 unknown 94804 muc 884
328.39/328.46	c iter 930 time 320.106 not-muc 189716 unknown 94803 muc 885
328.39/328.46	c iter 931 time 322.13 not-muc 189797 unknown 94722 muc 885
328.39/328.46	c iter 932 time 322.187 not-muc 189797 unknown 94721 muc 886
328.39/328.46	c iter 933 time 322.286 not-muc 189797 unknown 94720 muc 887
328.39/328.46	c iter 934 time 323.967 not-muc 189850 unknown 94667 muc 887
328.39/328.46	c iter 935 time 324.431 not-muc 189850 unknown 94666 muc 888
328.39/328.46	c iter 936 time 324.56 not-muc 189850 unknown 94665 muc 889
328.39/328.46	c iter 937 time 326.236 not-muc 189871 unknown 94644 muc 889
328.39/328.46	c iter 938 time 326.927 not-muc 189876 unknown 94639 muc 889
328.39/328.46	c iter 939 time 326.973 not-muc 189876 unknown 94638 muc 890
337.20/337.21	c iter 940 time 327.017 not-muc 189876 unknown 94637 muc 891
337.20/337.21	c iter 941 time 327.061 not-muc 189876 unknown 94636 muc 892
337.20/337.21	c iter 942 time 327.106 not-muc 189876 unknown 94635 muc 893
337.20/337.21	c iter 943 time 327.15 not-muc 189876 unknown 94634 muc 894
337.20/337.21	c iter 944 time 327.195 not-muc 189876 unknown 94633 muc 895
337.20/337.21	c iter 945 time 327.564 not-muc 189876 unknown 94632 muc 896
337.20/337.21	c iter 946 time 327.62 not-muc 189876 unknown 94631 muc 897
337.20/337.21	c iter 947 time 327.782 not-muc 189876 unknown 94630 muc 898
337.20/337.21	c iter 948 time 327.828 not-muc 189876 unknown 94629 muc 899
337.20/337.21	c iter 949 time 327.977 not-muc 189876 unknown 94628 muc 900
337.20/337.21	c iter 950 time 328.036 not-muc 189876 unknown 94627 muc 901
337.20/337.21	c iter 951 time 328.085 not-muc 189876 unknown 94626 muc 902
337.20/337.21	c iter 952 time 328.134 not-muc 189876 unknown 94625 muc 903
337.20/337.21	c iter 953 time 328.183 not-muc 189876 unknown 94624 muc 904
337.20/337.21	c iter 954 time 328.235 not-muc 189876 unknown 94623 muc 905
337.20/337.21	c iter 955 time 328.288 not-muc 189876 unknown 94622 muc 906
337.20/337.21	c iter 956 time 328.342 not-muc 189876 unknown 94621 muc 907
337.20/337.21	c iter 957 time 328.395 not-muc 189876 unknown 94620 muc 908
337.20/337.21	c iter 958 time 328.45 not-muc 189876 unknown 94619 muc 909
337.20/337.21	c iter 959 time 328.507 not-muc 189876 unknown 94618 muc 910
337.20/337.21	c iter 960 time 328.58 not-muc 189876 unknown 94617 muc 911
337.20/337.21	c iter 961 time 328.648 not-muc 189876 unknown 94616 muc 912
337.20/337.21	c iter 962 time 328.711 not-muc 189876 unknown 94615 muc 913
337.20/337.21	c iter 963 time 328.774 not-muc 189876 unknown 94614 muc 914
337.20/337.21	c iter 964 time 328.838 not-muc 189876 unknown 94613 muc 915
337.20/337.21	c iter 965 time 328.902 not-muc 189876 unknown 94612 muc 916
337.20/337.21	c iter 966 time 328.967 not-muc 189876 unknown 94611 muc 917
337.20/337.21	c iter 967 time 329.038 not-muc 189876 unknown 94610 muc 918
337.20/337.21	c iter 968 time 329.104 not-muc 189876 unknown 94609 muc 919
337.20/337.21	c iter 969 time 329.173 not-muc 189876 unknown 94608 muc 920
337.20/337.21	c iter 970 time 329.244 not-muc 189876 unknown 94607 muc 921
337.20/337.21	c iter 971 time 329.311 not-muc 189876 unknown 94606 muc 922
337.20/337.21	c iter 972 time 329.381 not-muc 189876 unknown 94605 muc 923
337.20/337.21	c iter 973 time 329.458 not-muc 189876 unknown 94604 muc 924
337.20/337.21	c iter 974 time 329.534 not-muc 189876 unknown 94603 muc 925
337.20/337.21	c iter 975 time 329.612 not-muc 189876 unknown 94602 muc 926
337.20/337.21	c iter 976 time 329.686 not-muc 189876 unknown 94601 muc 927
337.20/337.21	c iter 977 time 329.934 not-muc 189876 unknown 94600 muc 928
337.20/337.21	c iter 978 time 330.023 not-muc 189876 unknown 94599 muc 929
337.20/337.21	c iter 979 time 330.13 not-muc 189876 unknown 94598 muc 930
337.20/337.21	c iter 980 time 330.222 not-muc 189876 unknown 94597 muc 931
337.20/337.21	c iter 981 time 331.24 not-muc 189920 unknown 94553 muc 931
337.20/337.21	c iter 982 time 331.318 not-muc 189920 unknown 94552 muc 932
337.20/337.21	c iter 983 time 332.65 not-muc 190137 unknown 94335 muc 932
337.20/337.21	c iter 984 time 332.706 not-muc 190137 unknown 94334 muc 933
337.20/337.21	c iter 985 time 334.162 not-muc 190137 unknown 94333 muc 934
337.20/337.21	c iter 986 time 334.231 not-muc 190137 unknown 94332 muc 935
337.20/337.21	c iter 987 time 334.311 not-muc 190137 unknown 94331 muc 936
337.20/337.21	c iter 988 time 334.513 not-muc 190139 unknown 94329 muc 936
337.20/337.21	c iter 989 time 334.567 not-muc 190139 unknown 94328 muc 937
337.20/337.21	c iter 990 time 334.622 not-muc 190139 unknown 94327 muc 938
337.20/337.21	c iter 991 time 334.685 not-muc 190139 unknown 94326 muc 939
337.20/337.21	c iter 992 time 334.751 not-muc 190139 unknown 94325 muc 940
337.20/337.21	c iter 993 time 334.815 not-muc 190139 unknown 94324 muc 941
337.20/337.21	c iter 994 time 334.88 not-muc 190139 unknown 94323 muc 942
337.20/337.21	c iter 995 time 334.946 not-muc 190139 unknown 94322 muc 943
337.20/337.21	c iter 996 time 335.013 not-muc 190139 unknown 94321 muc 944
337.20/337.21	c iter 997 time 335.083 not-muc 190139 unknown 94320 muc 945
337.20/337.21	c iter 998 time 335.154 not-muc 190139 unknown 94319 muc 946
337.20/337.21	c iter 999 time 335.225 not-muc 190139 unknown 94318 muc 947
337.20/337.21	c iter 1000 time 335.294 not-muc 190139 unknown 94317 muc 948
337.20/337.21	c iter 1001 time 335.363 not-muc 190139 unknown 94316 muc 949
337.20/337.21	c iter 1002 time 335.444 not-muc 190139 unknown 94315 muc 950
337.20/337.21	c iter 1003 time 335.51 not-muc 190139 unknown 94314 muc 951
337.20/337.21	c iter 1004 time 335.573 not-muc 190139 unknown 94313 muc 952
337.20/337.21	c iter 1005 time 335.629 not-muc 190139 unknown 94312 muc 953
337.20/337.21	c iter 1006 time 335.686 not-muc 190139 unknown 94311 muc 954
362.00/362.10	c iter 1007 time 335.745 not-muc 190139 unknown 94310 muc 955
362.00/362.10	c iter 1008 time 335.805 not-muc 190139 unknown 94309 muc 956
362.00/362.10	c iter 1009 time 335.868 not-muc 190139 unknown 94308 muc 957
362.00/362.10	c iter 1010 time 335.931 not-muc 190139 unknown 94307 muc 958
362.00/362.10	c iter 1011 time 335.994 not-muc 190139 unknown 94306 muc 959
362.00/362.10	c iter 1012 time 336.078 not-muc 190139 unknown 94305 muc 960
362.00/362.10	c iter 1013 time 336.162 not-muc 190139 unknown 94304 muc 961
362.00/362.10	c iter 1014 time 336.264 not-muc 190139 unknown 94303 muc 962
362.00/362.10	c iter 1015 time 336.366 not-muc 190139 unknown 94302 muc 963
362.00/362.10	c iter 1016 time 336.472 not-muc 190139 unknown 94301 muc 964
362.00/362.10	c iter 1017 time 336.791 not-muc 190139 unknown 94300 muc 965
362.00/362.10	c iter 1018 time 336.877 not-muc 190139 unknown 94299 muc 966
362.00/362.10	c iter 1019 time 336.983 not-muc 190139 unknown 94298 muc 967
362.00/362.10	c iter 1020 time 337.101 not-muc 190139 unknown 94297 muc 968
362.00/362.10	c iter 1021 time 337.237 not-muc 190139 unknown 94296 muc 969
362.00/362.10	c iter 1022 time 337.38 not-muc 190139 unknown 94295 muc 970
362.00/362.10	c iter 1023 time 337.527 not-muc 190139 unknown 94294 muc 971
362.00/362.10	c iter 1024 time 337.69 not-muc 190139 unknown 94293 muc 972
362.00/362.10	c iter 1025 time 337.867 not-muc 190139 unknown 94292 muc 973
362.00/362.10	c iter 1026 time 338.078 not-muc 190139 unknown 94291 muc 974
362.00/362.10	c iter 1027 time 338.164 not-muc 190139 unknown 94290 muc 975
362.00/362.10	c iter 1028 time 338.271 not-muc 190139 unknown 94289 muc 976
362.00/362.10	c iter 1029 time 338.379 not-muc 190139 unknown 94288 muc 977
362.00/362.10	c iter 1030 time 338.576 not-muc 190139 unknown 94287 muc 978
362.00/362.10	c iter 1031 time 339.168 not-muc 190139 unknown 94286 muc 979
362.00/362.10	c iter 1032 time 339.34 not-muc 190139 unknown 94285 muc 980
362.00/362.10	c iter 1033 time 339.798 not-muc 190139 unknown 94284 muc 981
362.00/362.10	c iter 1034 time 343.978 not-muc 191107 unknown 93316 muc 981
362.00/362.10	c iter 1035 time 345.118 not-muc 191117 unknown 93306 muc 981
362.00/362.10	c iter 1036 time 345.195 not-muc 191117 unknown 93305 muc 982
362.00/362.10	c iter 1037 time 345.326 not-muc 191117 unknown 93304 muc 983
362.00/362.10	c iter 1038 time 345.374 not-muc 191117 unknown 93303 muc 984
362.00/362.10	c iter 1039 time 345.46 not-muc 191117 unknown 93302 muc 985
362.00/362.10	c iter 1040 time 347.774 not-muc 192054 unknown 92365 muc 985
362.00/362.10	c iter 1041 time 347.858 not-muc 192054 unknown 92364 muc 986
362.00/362.10	c iter 1042 time 348.481 not-muc 192054 unknown 92363 muc 987
362.00/362.10	c iter 1043 time 348.83 not-muc 192054 unknown 92362 muc 988
362.00/362.10	c iter 1044 time 348.949 not-muc 192054 unknown 92361 muc 989
362.00/362.10	c iter 1045 time 349.046 not-muc 192054 unknown 92360 muc 990
362.00/362.10	c iter 1046 time 349.148 not-muc 192054 unknown 92359 muc 991
362.00/362.10	c iter 1047 time 349.24 not-muc 192054 unknown 92358 muc 992
362.00/362.10	c iter 1048 time 349.329 not-muc 192054 unknown 92357 muc 993
362.00/362.10	c iter 1049 time 349.405 not-muc 192054 unknown 92356 muc 994
362.00/362.10	c iter 1050 time 349.497 not-muc 192054 unknown 92355 muc 995
362.00/362.10	c iter 1051 time 350.881 not-muc 192142 unknown 92267 muc 995
362.00/362.10	c iter 1052 time 350.939 not-muc 192142 unknown 92266 muc 996
362.00/362.10	c iter 1053 time 351.035 not-muc 192142 unknown 92265 muc 997
362.00/362.10	c iter 1054 time 351.195 not-muc 192142 unknown 92264 muc 998
362.00/362.10	c iter 1055 time 353.054 not-muc 192230 unknown 92176 muc 998
362.00/362.10	c iter 1056 time 353.415 not-muc 192230 unknown 92175 muc 999
362.00/362.10	c iter 1057 time 353.484 not-muc 192230 unknown 92174 muc 1000
362.00/362.10	c iter 1058 time 353.546 not-muc 192230 unknown 92173 muc 1001
362.00/362.10	c iter 1059 time 353.611 not-muc 192230 unknown 92172 muc 1002
362.00/362.10	c iter 1060 time 353.68 not-muc 192230 unknown 92171 muc 1003
362.00/362.10	c iter 1061 time 353.806 not-muc 192230 unknown 92170 muc 1004
362.00/362.10	c iter 1062 time 353.86 not-muc 192230 unknown 92169 muc 1005
362.00/362.10	c iter 1063 time 353.915 not-muc 192230 unknown 92168 muc 1006
362.00/362.10	c iter 1064 time 353.971 not-muc 192230 unknown 92167 muc 1007
362.00/362.10	c iter 1065 time 354.029 not-muc 192230 unknown 92166 muc 1008
362.00/362.10	c iter 1066 time 354.089 not-muc 192230 unknown 92165 muc 1009
362.00/362.10	c iter 1067 time 354.536 not-muc 192230 unknown 92164 muc 1010
362.00/362.10	c iter 1068 time 357.484 not-muc 192455 unknown 91939 muc 1010
362.00/362.10	c iter 1069 time 357.637 not-muc 192455 unknown 91938 muc 1011
362.00/362.10	c iter 1070 time 357.694 not-muc 192455 unknown 91937 muc 1012
362.00/362.10	c iter 1071 time 359.657 not-muc 192519 unknown 91873 muc 1012
362.00/362.10	c iter 1072 time 360.403 not-muc 192529 unknown 91863 muc 1012
366.50/366.54	c iter 1073 time 360.7 not-muc 192529 unknown 91862 muc 1013
366.50/366.54	c iter 1074 time 361.037 not-muc 192529 unknown 91861 muc 1014
366.50/366.54	c iter 1075 time 363.456 not-muc 192681 unknown 91709 muc 1014
366.50/366.54	c iter 1076 time 363.514 not-muc 192681 unknown 91708 muc 1015
366.50/366.54	c iter 1077 time 363.659 not-muc 192681 unknown 91707 muc 1016
366.50/366.54	c iter 1078 time 363.803 not-muc 192681 unknown 91706 muc 1017
366.50/366.54	c ===============================================================================
366.50/366.54	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3493946-1307803587/watcher-3493946-1307803587 -o /tmp/evaluation-result-3493946-1307803587/solver-3493946-1307803587 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493946-1307803587.cnf 

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.00 3.86 2.63 4/189 958
/proc/meminfo: memFree=29518588/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=20792 CPUtime=0 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 685 0 0 0 0 0 0 0 25 0 1 0 891959621 21291008 628 33554432000 4194304 4311632 140735250224544 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 5198 629 216 29 0 1827 0

[startup+0.0345239 s]
/proc/loadavg: 4.00 3.86 2.63 4/189 958
/proc/meminfo: memFree=29518588/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=48420 CPUtime=0.02 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 6523 0 0 0 2 0 0 0 25 0 1 0 891959621 49582080 6411 33554432000 4194304 4311632 140735250224544 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 12105 6422 216 29 0 8734 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 48420

[startup+0.100507 s]
/proc/loadavg: 4.00 3.86 2.63 4/189 958
/proc/meminfo: memFree=29518588/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=69284 CPUtime=0.09 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 11768 0 0 0 8 1 0 0 25 0 1 0 891959621 70946816 11466 33554432000 4194304 4311632 140735250224544 18446744073709551615 270612771525 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 17321 11468 218 29 0 13950 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 69284

[startup+0.300475 s]
/proc/loadavg: 4.00 3.86 2.63 4/189 958
/proc/meminfo: memFree=29518588/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=93576 CPUtime=0.29 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 19067 0 0 0 26 3 0 0 25 0 1 0 891959621 95821824 17956 33554432000 4194304 4311632 140735250224544 18446744073709551615 4231530 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 23394 17957 225 29 0 20023 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93576

[startup+0.700403 s]
/proc/loadavg: 4.00 3.86 2.63 4/189 958
/proc/meminfo: memFree=29518588/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=103660 CPUtime=0.69 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 23857 0 0 0 66 3 0 0 25 0 1 0 891959621 106147840 19856 33554432000 4194304 4311632 140735250224544 18446744073709551615 4296889 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 25915 19856 225 29 0 22544 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103660

[startup+1.50026 s]
/proc/loadavg: 4.00 3.86 2.63 5/190 959
/proc/meminfo: memFree=29363480/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=97844 CPUtime=1.49 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 29605 0 0 0 145 4 0 0 25 0 1 0 891959621 100192256 19351 33554432000 4194304 4311632 140735250224544 18446744073709551615 270616570074 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 24461 19351 245 29 0 21090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97844

[startup+3.10098 s]
/proc/loadavg: 4.00 3.86 2.63 5/190 959
/proc/meminfo: memFree=29273828/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=158660 CPUtime=3.09 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 40629 0 0 0 303 6 0 0 25 0 1 0 891959621 162467840 30371 33554432000 4194304 4311632 140735250224544 18446744073709551615 270616567914 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 39665 30371 251 29 0 36294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158660

[startup+6.30041 s]
/proc/loadavg: 4.08 3.87 2.64 5/190 959
/proc/meminfo: memFree=29148236/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=239568 CPUtime=6.29 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 56903 0 0 0 621 8 0 0 25 0 1 0 891959621 245317632 46644 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 59892 46644 251 29 0 56521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239568

[startup+12.7003 s]
/proc/loadavg: 4.07 3.88 2.65 5/190 960
/proc/meminfo: memFree=28854116/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=453216 CPUtime=12.69 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 95102 0 0 0 1257 12 0 0 25 0 1 0 891959621 464093184 84834 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 113304 84834 251 29 0 109933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 453216

[startup+25.501 s]
/proc/loadavg: 4.06 3.88 2.67 5/190 960
/proc/meminfo: memFree=29875736/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=1017388 CPUtime=25.5 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 190678 0 0 0 2526 24 0 0 25 0 1 0 891959621 1041805312 180401 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264118 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 254347 180401 251 29 0 250976 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1017388

[startup+51.1005 s]
/proc/loadavg: 4.04 3.89 2.71 5/190 961
/proc/meminfo: memFree=28610148/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=1584916 CPUtime=51.09 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 373936 0 0 0 5064 45 0 0 25 0 1 0 891959621 1622953984 363650 33554432000 4194304 4311632 140735250224544 18446744073709551615 4271538 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 396229 363650 269 29 0 392858 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1584916

[startup+102.306 s]
/proc/loadavg: 4.01 3.90 2.77 5/190 962
/proc/meminfo: memFree=26019868/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=4005784 CPUtime=102.3 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 750068 0 0 0 10145 85 0 0 25 0 1 0 891959621 4101922816 739770 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1001446 739770 269 29 0 998075 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 4005784

[startup+162.301 s]
/proc/loadavg: 4.00 3.92 2.85 5/190 964
/proc/meminfo: memFree=24623300/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=4005784 CPUtime=162.29 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 942802 0 0 0 16124 105 0 0 25 0 1 0 891959621 4101922816 932497 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1001446 932497 269 29 0 998075 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 4005784

[startup+222.301 s]
/proc/loadavg: 4.00 3.93 2.92 5/190 965
/proc/meminfo: memFree=24891836/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=222.3 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1076840 0 0 0 22111 119 0 0 25 0 1 0 891959621 6595645440 1066530 33554432000 4194304 4311632 140735250224544 18446744073709551615 4286179 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1066530 269 29 0 1606894 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 6441060

[startup+282.301 s]
/proc/loadavg: 4.00 3.94 2.98 5/190 967
/proc/meminfo: memFree=25723192/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=282.29 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1227787 0 0 0 28096 133 0 0 25 0 1 0 891959621 6595645440 1217469 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1217469 269 29 0 1606894 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 6441060

[startup+342.301 s]
/proc/loadavg: 4.00 3.95 3.04 5/190 968
/proc/meminfo: memFree=23684196/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=342.29 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1446005 0 0 0 34075 154 0 0 25 0 1 0 891959621 6595645440 1435682 33554432000 4194304 4311632 140735250224544 18446744073709551615 4271580 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1435682 269 29 0 1606894 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 6441060

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

[startup+345.5 s]
/proc/loadavg: 4.00 3.95 3.05 5/190 969
/proc/meminfo: memFree=23495332/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=345.49 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1473174 0 0 0 34392 157 0 0 25 0 1 0 891959621 6595645440 1462851 33554432000 4194304 4311632 140735250224544 18446744073709551615 270612766619 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1462851 269 29 0 1606894 0
Current children cumulated CPU time (s) 345.49
Current children cumulated vsize (KiB) 6441060

[startup+358.301 s]
/proc/loadavg: 4.00 3.95 3.06 5/190 969
/proc/meminfo: memFree=23015312/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=358.3 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1557047 0 0 0 35663 167 0 0 25 0 1 0 891959621 6595645440 1546721 33554432000 4194304 4311632 140735250224544 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1546721 269 29 0 1606894 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 6441060

[startup+361.5 s]
/proc/loadavg: 4.00 3.95 3.06 5/190 969
/proc/meminfo: memFree=22880140/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=361.5 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1581319 0 0 0 35981 169 0 0 25 0 1 0 891959621 6595645440 1570991 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1570991 269 29 0 1606894 0
Current children cumulated CPU time (s) 361.5
Current children cumulated vsize (KiB) 6441060

[startup+364.701 s]
/proc/loadavg: 4.00 3.95 3.07 5/190 969
/proc/meminfo: memFree=22759612/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=364.7 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1606127 0 0 0 36298 172 0 0 25 0 1 0 891959621 6595645440 1595798 33554432000 4194304 4311632 140735250224544 18446744073709551615 4271538 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1595798 269 29 0 1606894 0
Current children cumulated CPU time (s) 364.7
Current children cumulated vsize (KiB) 6441060

[startup+365.501 s]
/proc/loadavg: 4.00 3.95 3.07 5/190 969
/proc/meminfo: memFree=22640816/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6441060 CPUtime=365.49 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1610516 0 0 0 36377 172 0 0 25 0 1 0 891959621 6595645440 1600187 33554432000 4194304 4311632 140735250224544 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1610265 1600187 269 29 0 1606894 0
Current children cumulated CPU time (s) 365.49
Current children cumulated vsize (KiB) 6441060

[startup+366.307 s]
/proc/loadavg: 4.00 3.95 3.07 5/190 969
/proc/meminfo: memFree=22560340/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6479408 CPUtime=366.3 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1616133 0 0 0 36455 175 0 0 25 0 1 0 891959621 6634913792 1448134 33554432000 4194304 4311632 140735250224544 18446744073709551615 270613153927 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1619852 1447622 279 29 0 1616481 0
Current children cumulated CPU time (s) 366.3
Current children cumulated vsize (KiB) 6479408

[startup+366.501 s]
/proc/loadavg: 4.00 3.95 3.07 5/190 969
/proc/meminfo: memFree=22560340/32951124 swapFree=67052292/67111528
[pid=958] ppid=956 vsize=6479408 CPUtime=366.5 cores=1,3
/proc/958/stat : 958 (hmuc-a) R 956 958 608 0 -1 4202496 1616133 0 0 0 36455 195 0 0 25 0 1 0 891959621 6634913792 52422 33554432000 4194304 4311632 140735250224544 18446744073709551615 270613153927 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/958/statm: 1619852 52422 279 29 0 1616481 0
Current children cumulated CPU time (s) 366.5
Current children cumulated vsize (KiB) 6479408

Child status: 0
Real time (s): 366.549
CPU time (s): 366.553
CPU user time (s): 364.593
CPU system time (s): 1.9607
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 6479408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 364.593
system time used= 1.9607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1616134
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= 10
involuntary context switches= 271

runsolver used 0.565913 second user time and 1.44178 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-11 16:46:27
IDJOB=3493946
IDBENCH=82489
IDSOLVER=1983
FILE ID=node108/3493946-1307803587
RUNJOBID= node108-1307802576-628
PBS_JOBID= 13551068
Free space on /tmp= 74084 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493946-1307803587/watcher-3493946-1307803587 -o /tmp/evaluation-result-3493946-1307803587/solver-3493946-1307803587 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3493946-1307803587.cnf

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

MD5SUM BENCH= 649b4cf0a21e275b244b1034d05ded52
RANDOM SEED=2069901772

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.82
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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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:      29519504 kB
Buffers:        292568 kB
Cached:         806196 kB
SwapCached:      25932 kB
Active:        2623888 kB
Inactive:       588052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29519504 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            5508 kB
Writeback:           0 kB
AnonPages:     2108492 kB
Mapped:           9724 kB
Slab:           149364 kB
PageTables:       9496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3288340 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= 74080 MiB
End job on node108 at 2011-06-11 16:52:33